runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201109011757/gj-user-solver-1.0/rand437.cudf.user-upgrades.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/user-upgrades/rand437.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/rand437.cudf.user-upgrades.result -sum(pin-priority-1),-sum(pin-priority-500),-sum(pin-priority-700),-notuptodate,-removed,-changed Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.28 1.08 1.02 4/37 26700 /proc/meminfo: memFree=477920/1048576 swapFree=0/0 [pid=26699] ppid=26698 vsize=2572 CPUtime=0 /proc/26699/stat : 26699 (gj-user-solver-) S 26698 26699 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72129240 2633728 270 1283457024 134512640 135304128 4289393760 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26699/statm: 643 270 229 194 0 30 0 [pid=26700] ppid=26699 vsize=11040 CPUtime=0.01 /proc/26700/stat : 26700 (java) R 26699 26699 22717 34817 22717 4202496 753 0 0 0 1 0 0 0 25 0 1 0 72129240 11304960 489 1283457024 134512640 134550932 4288477920 18446744073709551615 4159903458 0 0 0 0 0 0 0 17 0 0 0 0 /proc/26700/statm: 2760 489 187 10 0 1102 0 [startup+0.165688 s] /proc/loadavg: 1.28 1.08 1.02 4/37 26700 /proc/meminfo: memFree=477920/1048576 swapFree=0/0 [pid=26699] ppid=26698 vsize=2572 CPUtime=0 /proc/26699/stat : 26699 (gj-user-solver-) S 26698 26699 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72129240 2633728 270 1283457024 134512640 135304128 4289393760 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26699/statm: 643 270 229 194 0 30 0 [pid=26700] ppid=26699 vsize=409920 CPUtime=0.16 /proc/26700/stat : 26700 (java) S 26699 26699 22717 34817 22717 4202496 4010 0 1 0 16 0 0 0 25 0 9 0 72129240 419758080 3437 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26700/statm: 102480 3437 1926 10 0 96628 0 Current children cumulated CPU time (s) 0.16 Current children cumulated vsize (KiB) 412492 [startup+0.205687 s] /proc/loadavg: 1.28 1.08 1.02 4/37 26700 /proc/meminfo: memFree=477920/1048576 swapFree=0/0 [pid=26699] ppid=26698 vsize=2572 CPUtime=0 /proc/26699/stat : 26699 (gj-user-solver-) S 26698 26699 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72129240 2633728 270 1283457024 134512640 135304128 4289393760 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26699/statm: 643 270 229 194 0 30 0 [pid=26700] ppid=26699 vsize=409920 CPUtime=0.2 /proc/26700/stat : 26700 (java) S 26699 26699 22717 34817 22717 4202496 4100 0 1 0 20 0 0 0 25 0 9 0 72129240 419758080 3527 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26700/statm: 102480 3527 1926 10 0 96628 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 412492 [startup+0.305714 s] /proc/loadavg: 1.28 1.08 1.02 4/37 26700 /proc/meminfo: memFree=477920/1048576 swapFree=0/0 [pid=26699] ppid=26698 vsize=2572 CPUtime=0 /proc/26699/stat : 26699 (gj-user-solver-) S 26698 26699 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72129240 2633728 270 1283457024 134512640 135304128 4289393760 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26699/statm: 643 270 229 194 0 30 0 [pid=26700] ppid=26699 vsize=410472 CPUtime=0.3 /proc/26700/stat : 26700 (java) S 26699 26699 22717 34817 22717 4202496 4469 0 1 0 30 0 0 0 25 0 9 0 72129240 420323328 3896 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26700/statm: 102618 3896 1945 10 0 96766 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 413044 [startup+0.70584 s] /proc/loadavg: 1.28 1.08 1.02 4/37 26700 /proc/meminfo: memFree=477920/1048576 swapFree=0/0 [pid=26699] ppid=26698 vsize=2572 CPUtime=0 /proc/26699/stat : 26699 (gj-user-solver-) S 26698 26699 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72129240 2633728 270 1283457024 134512640 135304128 4289393760 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26699/statm: 643 270 229 194 0 30 0 [pid=26700] ppid=26699 vsize=410612 CPUtime=0.7 /proc/26700/stat : 26700 (java) S 26699 26699 22717 34817 22717 4202496 12370 0 1 0 68 2 0 0 25 0 9 0 72129240 420466688 11610 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26700/statm: 102653 11610 2901 10 0 96801 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 413184 [startup+1.50611 s] /proc/loadavg: 1.28 1.08 1.02 2/46 26709 /proc/meminfo: memFree=420672/1048576 swapFree=0/0 [pid=26699] ppid=26698 vsize=2572 CPUtime=0 /proc/26699/stat : 26699 (gj-user-solver-) S 26698 26699 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72129240 2633728 270 1283457024 134512640 135304128 4289393760 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26699/statm: 643 270 229 194 0 30 0 [pid=26700] ppid=26699 vsize=410744 CPUtime=1.51 /proc/26700/stat : 26700 (java) S 26699 26699 22717 34817 22717 4202496 27418 0 1 0 146 5 0 0 25 0 9 0 72129240 420601856 26658 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26700/statm: 102686 26658 2901 10 0 96834 0 [pid=26700/tid=26702] ppid=26699 vsize=410744 CPUtime=0.82 /proc/26700/task/26702/stat : 26702 (java) R 26699 26699 22717 34817 22717 4202560 6712 0 1 0 82 0 0 0 25 0 9 0 72129241 420601856 26658 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26700/tid=26703] ppid=26699 vsize=410744 CPUtime=0.63 /proc/26700/task/26703/stat : 26703 (java) R 26699 26699 22717 34817 22717 4202560 19321 0 0 0 59 4 0 0 18 0 9 0 72129241 420601856 26658 1283457024 134512640 134550932 4288477920 18446744073709551615 4152475296 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=26700/tid=26704] ppid=26699 vsize=410744 CPUtime=0 /proc/26700/task/26704/stat : 26704 (java) S 26699 26699 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 72129242 420601856 26658 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26705] ppid=26699 vsize=410744 CPUtime=0 /proc/26700/task/26705/stat : 26705 (java) S 26699 26699 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 72129242 420601856 26658 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26706] ppid=26699 vsize=410744 CPUtime=0 /proc/26700/task/26706/stat : 26706 (java) S 26699 26699 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72129243 420601856 26658 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26707] ppid=26699 vsize=410744 CPUtime=0.02 /proc/26700/task/26707/stat : 26707 (java) S 26699 26699 22717 34817 22717 4202560 446 0 0 0 2 0 0 0 16 0 9 0 72129243 420601856 26658 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26708] ppid=26699 vsize=410744 CPUtime=0 /proc/26700/task/26708/stat : 26708 (java) S 26699 26699 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 9 0 72129243 420601856 26658 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26709] ppid=26699 vsize=410744 CPUtime=0 /proc/26700/task/26709/stat : 26709 (java) S 26699 26699 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 9 0 72129243 420601856 26658 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.51 Current children cumulated vsize (KiB) 413316 [startup+3.10645 s] /proc/loadavg: 1.28 1.08 1.02 2/46 26709 /proc/meminfo: memFree=348876/1048576 swapFree=0/0 [pid=26699] ppid=26698 vsize=2572 CPUtime=0 /proc/26699/stat : 26699 (gj-user-solver-) S 26698 26699 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72129240 2633728 270 1283457024 134512640 135304128 4289393760 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26699/statm: 643 270 229 194 0 30 0 [pid=26700] ppid=26699 vsize=410876 CPUtime=3.1 /proc/26700/stat : 26700 (java) S 26699 26699 22717 34817 22717 4202496 51070 0 1 0 300 10 0 0 25 0 9 0 72129240 420737024 50310 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26700/statm: 102719 50310 2901 10 0 96867 0 [pid=26700/tid=26702] ppid=26699 vsize=410876 CPUtime=1.44 /proc/26700/task/26702/stat : 26702 (java) R 26699 26699 22717 34817 22717 4202560 13865 0 1 0 138 6 0 0 25 0 9 0 72129241 420737024 50310 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26700/tid=26703] ppid=26699 vsize=410876 CPUtime=1.61 /proc/26700/task/26703/stat : 26703 (java) R 26699 26699 22717 34817 22717 4202560 35817 0 0 0 157 4 0 0 16 0 9 0 72129241 420737024 50310 1283457024 134512640 134550932 4288477920 18446744073709551615 4150781880 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=26700/tid=26704] ppid=26699 vsize=410876 CPUtime=0 /proc/26700/task/26704/stat : 26704 (java) S 26699 26699 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 72129242 420737024 50310 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26705] ppid=26699 vsize=410876 CPUtime=0 /proc/26700/task/26705/stat : 26705 (java) S 26699 26699 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 72129242 420737024 50310 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26706] ppid=26699 vsize=410876 CPUtime=0 /proc/26700/task/26706/stat : 26706 (java) S 26699 26699 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72129243 420737024 50310 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26707] ppid=26699 vsize=410876 CPUtime=0.04 /proc/26700/task/26707/stat : 26707 (java) S 26699 26699 22717 34817 22717 4202560 449 0 0 0 4 0 0 0 15 0 9 0 72129243 420737024 50310 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26708] ppid=26699 vsize=410876 CPUtime=0 /proc/26700/task/26708/stat : 26708 (java) S 26699 26699 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 9 0 72129243 420737024 50310 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26709] ppid=26699 vsize=410876 CPUtime=0 /proc/26700/task/26709/stat : 26709 (java) S 26699 26699 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 9 0 72129243 420737024 50310 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 413448 [startup+6.30738 s] /proc/loadavg: 1.33 1.10 1.03 2/46 26709 /proc/meminfo: memFree=211856/1048576 swapFree=0/0 [pid=26699] ppid=26698 vsize=2572 CPUtime=0 /proc/26699/stat : 26699 (gj-user-solver-) S 26698 26699 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72129240 2633728 270 1283457024 134512640 135304128 4289393760 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26699/statm: 643 270 229 194 0 30 0 [pid=26700] ppid=26699 vsize=439916 CPUtime=6.3 /proc/26700/stat : 26700 (java) S 26699 26699 22717 34817 22717 4202496 78234 0 1 0 608 22 0 0 25 0 9 0 72129240 450473984 77468 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26700/statm: 109979 77468 2902 10 0 104127 0 [pid=26700/tid=26702] ppid=26699 vsize=439916 CPUtime=2.31 /proc/26700/task/26702/stat : 26702 (java) R 26699 26699 22717 34817 22717 4202560 13882 0 1 0 225 6 0 0 25 0 9 0 72129241 450473984 77468 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26700/tid=26703] ppid=26699 vsize=439916 CPUtime=3.92 /proc/26700/task/26703/stat : 26703 (java) R 26699 26699 22717 34817 22717 4202560 62946 0 0 0 377 15 0 0 16 0 9 0 72129241 450473984 77468 1283457024 134512640 134550932 4288477920 18446744073709551615 4152273435 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=26700/tid=26704] ppid=26699 vsize=439916 CPUtime=0 /proc/26700/task/26704/stat : 26704 (java) S 26699 26699 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 72129242 450473984 77468 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26705] ppid=26699 vsize=439916 CPUtime=0 /proc/26700/task/26705/stat : 26705 (java) S 26699 26699 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 72129242 450473984 77468 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26706] ppid=26699 vsize=439916 CPUtime=0 /proc/26700/task/26706/stat : 26706 (java) S 26699 26699 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72129243 450473984 77468 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26707] ppid=26699 vsize=439916 CPUtime=0.05 /proc/26700/task/26707/stat : 26707 (java) S 26699 26699 22717 34817 22717 4202560 467 0 0 0 5 0 0 0 15 0 9 0 72129243 450473984 77468 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26708] ppid=26699 vsize=439916 CPUtime=0 /proc/26700/task/26708/stat : 26708 (java) S 26699 26699 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 9 0 72129243 450473984 77468 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26709] ppid=26699 vsize=439916 CPUtime=0 /proc/26700/task/26709/stat : 26709 (java) S 26699 26699 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 9 0 72129243 450473984 77468 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 442488 [startup+12.7092 s] /proc/loadavg: 1.39 1.11 1.03 2/47 26710 /proc/meminfo: memFree=206888/1048576 swapFree=0/0 [pid=26699] ppid=26698 vsize=2572 CPUtime=0 /proc/26699/stat : 26699 (gj-user-solver-) S 26698 26699 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72129240 2633728 270 1283457024 134512640 135304128 4289393760 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26699/statm: 643 270 229 194 0 30 0 [pid=26700] ppid=26699 vsize=411884 CPUtime=12.7 /proc/26700/stat : 26700 (java) S 26699 26699 22717 34817 22717 4202496 99930 0 1 0 1240 30 0 0 25 0 10 0 72129240 421769216 70655 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26700/statm: 102971 70655 2919 10 0 97116 0 [pid=26700/tid=26702] ppid=26699 vsize=411884 CPUtime=4.5 /proc/26700/task/26702/stat : 26702 (java) R 26699 26699 22717 34817 22717 4202560 14134 0 1 0 443 7 0 0 25 0 10 0 72129241 421769216 70655 1283457024 134512640 134550932 4288477920 18446744073709551615 4115499209 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26700/tid=26703] ppid=26699 vsize=411884 CPUtime=8.07 /proc/26700/task/26703/stat : 26703 (java) S 26699 26699 22717 34817 22717 4202560 84304 0 0 0 785 22 0 0 16 0 10 0 72129241 421769216 70655 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26704] ppid=26699 vsize=411884 CPUtime=0 /proc/26700/task/26704/stat : 26704 (java) S 26699 26699 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72129242 421769216 70655 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26705] ppid=26699 vsize=411884 CPUtime=0 /proc/26700/task/26705/stat : 26705 (java) S 26699 26699 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72129242 421769216 70655 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26706] ppid=26699 vsize=411884 CPUtime=0 /proc/26700/task/26706/stat : 26706 (java) S 26699 26699 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72129243 421769216 70655 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26707] ppid=26699 vsize=411884 CPUtime=0.1 /proc/26700/task/26707/stat : 26707 (java) S 26699 26699 22717 34817 22717 4202560 548 0 0 0 10 0 0 0 15 0 10 0 72129243 421769216 70655 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26708] ppid=26699 vsize=411884 CPUtime=0 /proc/26700/task/26708/stat : 26708 (java) S 26699 26699 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 72129243 421769216 70655 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26709] ppid=26699 vsize=411884 CPUtime=0 /proc/26700/task/26709/stat : 26709 (java) S 26699 26699 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 72129243 421769216 70655 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26710] ppid=26699 vsize=411884 CPUtime=0 /proc/26700/task/26710/stat : 26710 (java) S 26699 26699 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72130360 421769216 70655 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 414456 Solver just ended. Dumping a history of the last processes samples [startup+12.8093 s] /proc/loadavg: 1.39 1.11 1.03 2/47 26710 /proc/meminfo: memFree=206888/1048576 swapFree=0/0 [pid=26699] ppid=26698 vsize=2572 CPUtime=0 /proc/26699/stat : 26699 (gj-user-solver-) S 26698 26699 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72129240 2633728 270 1283457024 134512640 135304128 4289393760 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26699/statm: 643 270 229 194 0 30 0 [pid=26700] ppid=26699 vsize=411884 CPUtime=12.8 /proc/26700/stat : 26700 (java) S 26699 26699 22717 34817 22717 4202496 99930 0 1 0 1250 30 0 0 25 0 10 0 72129240 421769216 70655 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26700/statm: 102971 70655 2919 10 0 97116 0 [pid=26700/tid=26702] ppid=26699 vsize=411884 CPUtime=4.6 /proc/26700/task/26702/stat : 26702 (java) R 26699 26699 22717 34817 22717 4202560 14134 0 1 0 453 7 0 0 25 0 10 0 72129241 421769216 70655 1283457024 134512640 134550932 4288477920 18446744073709551615 4115506569 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26700/tid=26703] ppid=26699 vsize=411884 CPUtime=8.07 /proc/26700/task/26703/stat : 26703 (java) S 26699 26699 22717 34817 22717 4202560 84304 0 0 0 785 22 0 0 16 0 10 0 72129241 421769216 70655 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26704] ppid=26699 vsize=411884 CPUtime=0 /proc/26700/task/26704/stat : 26704 (java) S 26699 26699 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72129242 421769216 70655 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26705] ppid=26699 vsize=411884 CPUtime=0 /proc/26700/task/26705/stat : 26705 (java) S 26699 26699 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72129242 421769216 70655 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26706] ppid=26699 vsize=411884 CPUtime=0 /proc/26700/task/26706/stat : 26706 (java) S 26699 26699 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72129243 421769216 70655 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26707] ppid=26699 vsize=411884 CPUtime=0.1 /proc/26700/task/26707/stat : 26707 (java) S 26699 26699 22717 34817 22717 4202560 548 0 0 0 10 0 0 0 15 0 10 0 72129243 421769216 70655 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26708] ppid=26699 vsize=411884 CPUtime=0 /proc/26700/task/26708/stat : 26708 (java) S 26699 26699 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 72129243 421769216 70655 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26709] ppid=26699 vsize=411884 CPUtime=0 /proc/26700/task/26709/stat : 26709 (java) S 26699 26699 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 72129243 421769216 70655 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26710] ppid=26699 vsize=411884 CPUtime=0 /proc/26700/task/26710/stat : 26710 (java) S 26699 26699 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72130360 421769216 70655 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.8 Current children cumulated vsize (KiB) 414456 [startup+16.0105 s] /proc/loadavg: 1.36 1.11 1.03 2/47 26710 /proc/meminfo: memFree=206888/1048576 swapFree=0/0 [pid=26699] ppid=26698 vsize=2572 CPUtime=0 /proc/26699/stat : 26699 (gj-user-solver-) S 26698 26699 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72129240 2633728 270 1283457024 134512640 135304128 4289393760 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26699/statm: 643 270 229 194 0 30 0 [pid=26700] ppid=26699 vsize=411884 CPUtime=16 /proc/26700/stat : 26700 (java) S 26699 26699 22717 34817 22717 4202496 99941 0 1 0 1566 34 0 0 25 0 10 0 72129240 421769216 70666 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26700/statm: 102971 70666 2921 10 0 97116 0 [pid=26700/tid=26702] ppid=26699 vsize=411884 CPUtime=7.68 /proc/26700/task/26702/stat : 26702 (java) R 26699 26699 22717 34817 22717 4202560 14135 0 1 0 758 10 0 0 25 0 10 0 72129241 421769216 70666 1283457024 134512640 134550932 4288477920 18446744073709551615 4114911127 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26700/tid=26703] ppid=26699 vsize=411884 CPUtime=8.15 /proc/26700/task/26703/stat : 26703 (java) S 26699 26699 22717 34817 22717 4202560 84306 0 0 0 793 22 0 0 16 0 10 0 72129241 421769216 70666 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26704] ppid=26699 vsize=411884 CPUtime=0 /proc/26700/task/26704/stat : 26704 (java) S 26699 26699 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72129242 421769216 70666 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26705] ppid=26699 vsize=411884 CPUtime=0 /proc/26700/task/26705/stat : 26705 (java) S 26699 26699 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72129242 421769216 70666 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26706] ppid=26699 vsize=411884 CPUtime=0 /proc/26700/task/26706/stat : 26706 (java) S 26699 26699 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72129243 421769216 70666 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26707] ppid=26699 vsize=411884 CPUtime=0.15 /proc/26700/task/26707/stat : 26707 (java) S 26699 26699 22717 34817 22717 4202560 556 0 0 0 13 2 0 0 15 0 10 0 72129243 421769216 70666 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26708] ppid=26699 vsize=411884 CPUtime=0 /proc/26700/task/26708/stat : 26708 (java) S 26699 26699 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 72129243 421769216 70666 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26709] ppid=26699 vsize=411884 CPUtime=0 /proc/26700/task/26709/stat : 26709 (java) S 26699 26699 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 72129243 421769216 70666 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26710] ppid=26699 vsize=411884 CPUtime=0 /proc/26700/task/26710/stat : 26710 (java) S 26699 26699 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72130360 421769216 70666 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 16 Current children cumulated vsize (KiB) 414456 [startup+16.8108 s] /proc/loadavg: 1.36 1.11 1.03 2/47 26710 /proc/meminfo: memFree=206888/1048576 swapFree=0/0 [pid=26699] ppid=26698 vsize=2572 CPUtime=0 /proc/26699/stat : 26699 (gj-user-solver-) S 26698 26699 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72129240 2633728 270 1283457024 134512640 135304128 4289393760 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26699/statm: 643 270 229 194 0 30 0 [pid=26700] ppid=26699 vsize=411884 CPUtime=16.79 /proc/26700/stat : 26700 (java) S 26699 26699 22717 34817 22717 4202496 99943 0 1 0 1645 34 0 0 25 0 10 0 72129240 421769216 70668 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26700/statm: 102971 70668 2921 10 0 97116 0 [pid=26700/tid=26702] ppid=26699 vsize=411884 CPUtime=8.48 /proc/26700/task/26702/stat : 26702 (java) R 26699 26699 22717 34817 22717 4202560 14135 0 1 0 838 10 0 0 25 0 10 0 72129241 421769216 70668 1283457024 134512640 134550932 4288477920 18446744073709551615 4114911119 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26700/tid=26703] ppid=26699 vsize=411884 CPUtime=8.15 /proc/26700/task/26703/stat : 26703 (java) S 26699 26699 22717 34817 22717 4202560 84306 0 0 0 793 22 0 0 16 0 10 0 72129241 421769216 70668 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26704] ppid=26699 vsize=411884 CPUtime=0 /proc/26700/task/26704/stat : 26704 (java) S 26699 26699 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72129242 421769216 70668 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26705] ppid=26699 vsize=411884 CPUtime=0 /proc/26700/task/26705/stat : 26705 (java) S 26699 26699 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72129242 421769216 70668 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26706] ppid=26699 vsize=411884 CPUtime=0 /proc/26700/task/26706/stat : 26706 (java) S 26699 26699 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72129243 421769216 70668 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26707] ppid=26699 vsize=411884 CPUtime=0.15 /proc/26700/task/26707/stat : 26707 (java) S 26699 26699 22717 34817 22717 4202560 558 0 0 0 13 2 0 0 15 0 10 0 72129243 421769216 70668 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26708] ppid=26699 vsize=411884 CPUtime=0 /proc/26700/task/26708/stat : 26708 (java) S 26699 26699 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 72129243 421769216 70668 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26709] ppid=26699 vsize=411884 CPUtime=0 /proc/26700/task/26709/stat : 26709 (java) S 26699 26699 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 72129243 421769216 70668 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26710] ppid=26699 vsize=411884 CPUtime=0 /proc/26700/task/26710/stat : 26710 (java) S 26699 26699 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72130360 421769216 70668 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 16.79 Current children cumulated vsize (KiB) 414456 [startup+17.211 s] /proc/loadavg: 1.36 1.11 1.03 2/47 26710 /proc/meminfo: memFree=206888/1048576 swapFree=0/0 [pid=26699] ppid=26698 vsize=2572 CPUtime=0 /proc/26699/stat : 26699 (gj-user-solver-) S 26698 26699 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72129240 2633728 270 1283457024 134512640 135304128 4289393760 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26699/statm: 643 270 229 194 0 30 0 [pid=26700] ppid=26699 vsize=411884 CPUtime=17.19 /proc/26700/stat : 26700 (java) S 26699 26699 22717 34817 22717 4202496 99943 0 1 0 1685 34 0 0 25 0 10 0 72129240 421769216 70668 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26700/statm: 102971 70668 2921 10 0 97116 0 [pid=26700/tid=26702] ppid=26699 vsize=411884 CPUtime=8.86 /proc/26700/task/26702/stat : 26702 (java) R 26699 26699 22717 34817 22717 4202560 14135 0 1 0 876 10 0 0 25 0 10 0 72129241 421769216 70668 1283457024 134512640 134550932 4288477920 18446744073709551615 4115300966 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26700/tid=26703] ppid=26699 vsize=411884 CPUtime=8.17 /proc/26700/task/26703/stat : 26703 (java) S 26699 26699 22717 34817 22717 4202560 84306 0 0 0 795 22 0 0 16 0 10 0 72129241 421769216 70668 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26704] ppid=26699 vsize=411884 CPUtime=0 /proc/26700/task/26704/stat : 26704 (java) S 26699 26699 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72129242 421769216 70668 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26705] ppid=26699 vsize=411884 CPUtime=0 /proc/26700/task/26705/stat : 26705 (java) S 26699 26699 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72129242 421769216 70668 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26706] ppid=26699 vsize=411884 CPUtime=0 /proc/26700/task/26706/stat : 26706 (java) S 26699 26699 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72129243 421769216 70668 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26707] ppid=26699 vsize=411884 CPUtime=0.15 /proc/26700/task/26707/stat : 26707 (java) S 26699 26699 22717 34817 22717 4202560 558 0 0 0 13 2 0 0 15 0 10 0 72129243 421769216 70668 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26708] ppid=26699 vsize=411884 CPUtime=0 /proc/26700/task/26708/stat : 26708 (java) S 26699 26699 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 72129243 421769216 70668 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26709] ppid=26699 vsize=411884 CPUtime=0 /proc/26700/task/26709/stat : 26709 (java) S 26699 26699 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 72129243 421769216 70668 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26710] ppid=26699 vsize=411884 CPUtime=0 /proc/26700/task/26710/stat : 26710 (java) S 26699 26699 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72130360 421769216 70668 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 17.19 Current children cumulated vsize (KiB) 414456 [startup+17.411 s] /proc/loadavg: 1.36 1.11 1.03 2/47 26710 /proc/meminfo: memFree=206888/1048576 swapFree=0/0 [pid=26699] ppid=26698 vsize=2572 CPUtime=0 /proc/26699/stat : 26699 (gj-user-solver-) S 26698 26699 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72129240 2633728 270 1283457024 134512640 135304128 4289393760 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26699/statm: 643 270 229 194 0 30 0 [pid=26700] ppid=26699 vsize=411884 CPUtime=17.39 /proc/26700/stat : 26700 (java) S 26699 26699 22717 34817 22717 4202496 99943 0 1 0 1705 34 0 0 25 0 10 0 72129240 421769216 70668 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26700/statm: 102971 70668 2921 10 0 97116 0 [pid=26700/tid=26702] ppid=26699 vsize=411884 CPUtime=9.06 /proc/26700/task/26702/stat : 26702 (java) R 26699 26699 22717 34817 22717 4202560 14135 0 1 0 896 10 0 0 25 0 10 0 72129241 421769216 70668 1283457024 134512640 134550932 4288477920 18446744073709551615 4115506591 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26700/tid=26703] ppid=26699 vsize=411884 CPUtime=8.17 /proc/26700/task/26703/stat : 26703 (java) S 26699 26699 22717 34817 22717 4202560 84306 0 0 0 795 22 0 0 16 0 10 0 72129241 421769216 70668 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26704] ppid=26699 vsize=411884 CPUtime=0 /proc/26700/task/26704/stat : 26704 (java) S 26699 26699 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72129242 421769216 70668 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26705] ppid=26699 vsize=411884 CPUtime=0 /proc/26700/task/26705/stat : 26705 (java) S 26699 26699 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72129242 421769216 70668 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26706] ppid=26699 vsize=411884 CPUtime=0 /proc/26700/task/26706/stat : 26706 (java) S 26699 26699 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72129243 421769216 70668 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26707] ppid=26699 vsize=411884 CPUtime=0.15 /proc/26700/task/26707/stat : 26707 (java) S 26699 26699 22717 34817 22717 4202560 558 0 0 0 13 2 0 0 15 0 10 0 72129243 421769216 70668 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26708] ppid=26699 vsize=411884 CPUtime=0 /proc/26700/task/26708/stat : 26708 (java) S 26699 26699 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 72129243 421769216 70668 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26709] ppid=26699 vsize=411884 CPUtime=0 /proc/26700/task/26709/stat : 26709 (java) S 26699 26699 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 72129243 421769216 70668 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26710] ppid=26699 vsize=411884 CPUtime=0 /proc/26700/task/26710/stat : 26710 (java) S 26699 26699 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72130360 421769216 70668 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 17.39 Current children cumulated vsize (KiB) 414456 [startup+17.5111 s] /proc/loadavg: 1.36 1.11 1.03 2/47 26710 /proc/meminfo: memFree=206888/1048576 swapFree=0/0 [pid=26699] ppid=26698 vsize=2572 CPUtime=0 /proc/26699/stat : 26699 (gj-user-solver-) S 26698 26699 22717 34817 22717 4202496 373 0 0 0 0 0 0 0 18 0 1 0 72129240 2633728 270 1283457024 134512640 135304128 4289393760 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26699/statm: 643 270 229 194 0 30 0 [pid=26700] ppid=26699 vsize=411884 CPUtime=17.49 /proc/26700/stat : 26700 (java) S 26699 26699 22717 34817 22717 4202496 99943 0 1 0 1715 34 0 0 25 0 10 0 72129240 421769216 70668 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26700/statm: 102971 70668 2921 10 0 97116 0 [pid=26700/tid=26702] ppid=26699 vsize=411884 CPUtime=9.16 /proc/26700/task/26702/stat : 26702 (java) R 26699 26699 22717 34817 22717 4202560 14135 0 1 0 906 10 0 0 25 0 10 0 72129241 421769216 70668 1283457024 134512640 134550932 4288477920 18446744073709551615 4115499213 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26700/tid=26703] ppid=26699 vsize=411884 CPUtime=8.17 /proc/26700/task/26703/stat : 26703 (java) S 26699 26699 22717 34817 22717 4202560 84306 0 0 0 795 22 0 0 16 0 10 0 72129241 421769216 70668 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26704] ppid=26699 vsize=411884 CPUtime=0 /proc/26700/task/26704/stat : 26704 (java) S 26699 26699 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72129242 421769216 70668 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26705] ppid=26699 vsize=411884 CPUtime=0 /proc/26700/task/26705/stat : 26705 (java) S 26699 26699 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72129242 421769216 70668 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26706] ppid=26699 vsize=411884 CPUtime=0 /proc/26700/task/26706/stat : 26706 (java) S 26699 26699 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72129243 421769216 70668 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26707] ppid=26699 vsize=411884 CPUtime=0.15 /proc/26700/task/26707/stat : 26707 (java) S 26699 26699 22717 34817 22717 4202560 558 0 0 0 13 2 0 0 15 0 10 0 72129243 421769216 70668 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26708] ppid=26699 vsize=411884 CPUtime=0 /proc/26700/task/26708/stat : 26708 (java) S 26699 26699 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 72129243 421769216 70668 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26709] ppid=26699 vsize=411884 CPUtime=0 /proc/26700/task/26709/stat : 26709 (java) S 26699 26699 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 15 0 10 0 72129243 421769216 70668 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=26700/tid=26710] ppid=26699 vsize=411884 CPUtime=0 /proc/26700/task/26710/stat : 26710 (java) S 26699 26699 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 72130360 421769216 70668 1283457024 134512640 134550932 4288477920 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 17.49 Current children cumulated vsize (KiB) 414456 Child status: 0 Real time (s): 17.5656 CPU time (s): 17.5531 CPU user time (s): 17.1891 CPU system time (s): 0.364022 CPU usage (%): 99.9287 Max. virtual memory (cumulated for all children) (KiB): 442512 getrusage(RUSAGE_CHILDREN,...) data: user time used= 17.1891 system time used= 0.364022 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 100332 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1166 involuntary context switches= 1443 runsolver used 0 second user time and 0 second system time The end