runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3687917-1337877330/watcher-3687917-1337877330 -o /tmp/evaluation-result-3687917-1337877330/solver-3687917-1337877330 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687917-1337877330.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.97 3/194 24676
/proc/meminfo: memFree=29307660/32873648 swapFree=6844/6844
[pid=24676] ppid=24674 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/24676/stat : 24676 (runsolver) D 24674 24676 23338 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 1 0 253858852 12095488 51 33554432000 4194304 5436572 140734353147056 140734353143352 4883175 0 0 4096 24578 18446744071579943789 0 0 17 0 0 0 0 0 0
/proc/24676/statm: 2953 51 31 304 0 2645 0
[startup+0.0740901 s]
/proc/loadavg: 2.00 2.00 1.97 3/194 24676
/proc/meminfo: memFree=29307660/32873648 swapFree=6844/6844
[pid=24676] ppid=24674 vsize=9558412 CPUtime=0.04 cores=0,2,4,6
/proc/24676/stat : 24676 (java) S 24674 24676 23338 0 -1 4202496 3211 0 1 0 4 0 0 0 20 0 18 0 253858852 9787813888 4420 33554432000 1073741824 1073778376 140734965070048 140734965061184 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24676/statm: 2389603 4420 1759 9 0 2380296 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9558412
[startup+0.100231 s]
/proc/loadavg: 2.00 2.00 1.97 3/194 24676
/proc/meminfo: memFree=29307660/32873648 swapFree=6844/6844
[pid=24676] ppid=24674 vsize=9558412 CPUtime=0.09 cores=0,2,4,6
/proc/24676/stat : 24676 (java) S 24674 24676 23338 0 -1 4202496 4251 0 1 0 8 1 0 0 20 0 18 0 253858852 9787813888 5449 33554432000 1073741824 1073778376 140734965070048 140734965061184 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24676/statm: 2389603 5450 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300205 s]
/proc/loadavg: 2.00 2.00 1.97 3/194 24676
/proc/meminfo: memFree=29307660/32873648 swapFree=6844/6844
[pid=24676] ppid=24674 vsize=9558620 CPUtime=0.44 cores=0,2,4,6
/proc/24676/stat : 24676 (java) S 24674 24676 23338 0 -1 4202496 5633 0 1 0 43 1 0 0 20 0 18 0 253858852 9788026880 8357 33554432000 1073741824 1073778376 140734965070048 140734965061184 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24676/statm: 2389655 8361 2216 9 0 2380348 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9558620
[startup+0.700218 s]
/proc/loadavg: 2.00 2.00 1.97 3/194 24676
/proc/meminfo: memFree=29307660/32873648 swapFree=6844/6844
[pid=24676] ppid=24674 vsize=9624976 CPUtime=1.42 cores=0,2,4,6
/proc/24676/stat : 24676 (java) S 24674 24676 23338 0 -1 4202496 10145 0 1 0 139 3 0 0 20 0 19 0 253858852 9855975424 20690 33554432000 1073741824 1073778376 140734965070048 140734965061184 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24676/statm: 2406244 20690 2247 9 0 2396937 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 9624976
[startup+1.50065 s]
/proc/loadavg: 2.00 2.00 1.97 3/213 24695
/proc/meminfo: memFree=29225216/32873648 swapFree=6844/6844
[pid=24676] ppid=24674 vsize=9624976 CPUtime=2.49 cores=0,2,4,6
/proc/24676/stat : 24676 (java) S 24674 24676 23338 0 -1 4202496 14352 0 1 0 244 5 0 0 20 0 19 0 253858852 9855975424 30790 33554432000 1073741824 1073778376 140734965070048 140734965061184 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24676/statm: 2406244 30790 2281 9 0 2396937 0
[pid=24676/tid=24678] ppid=24674 vsize=9624976 CPUtime=1.43 cores=0,2,4,6
/proc/24676/task/24678/stat : 24678 (java) R 24674 24676 23338 0 -1 4202560 2486 0 1 0 142 1 0 0 20 0 19 0 253858854 9855975424 30790 33554432000 1073741824 1073778376 140734965070048 140055780098408 140055612717223 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24676/tid=24679] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24679/stat : 24679 (java) S 24674 24676 23338 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253858855 9855975424 30790 33554432000 1073741824 1073778376 140734965070048 140055741590056 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24676/tid=24680] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24680/stat : 24680 (java) S 24674 24676 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253858855 9855975424 30790 33554432000 1073741824 1073778376 140734965070048 140055740537256 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24676/tid=24681] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24681/stat : 24681 (java) S 24674 24676 23338 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253858855 9855975424 30790 33554432000 1073741824 1073778376 140734965070048 140055739484456 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24676/tid=24682] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24682/stat : 24682 (java) S 24674 24676 23338 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253858855 9855975424 30790 33554432000 1073741824 1073778376 140734965070048 140055738431656 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24676/tid=24683] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24683/stat : 24683 (java) S 24674 24676 23338 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253858855 9855975424 30790 33554432000 1073741824 1073778376 140734965070048 140055737379880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24676/tid=24684] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24684/stat : 24684 (java) S 24674 24676 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253858855 9855975424 30790 33554432000 1073741824 1073778376 140734965070048 140055736327080 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24676/tid=24685] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24685/stat : 24685 (java) S 24674 24676 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253858855 9855975424 30790 33554432000 1073741824 1073778376 140734965070048 140055735274280 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24676/tid=24686] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24686/stat : 24686 (java) S 24674 24676 23338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253858855 9855975424 30790 33554432000 1073741824 1073778376 140734965070048 140055734221480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24676/tid=24687] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24687/stat : 24687 (java) S 24674 24676 23338 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 19 0 253858856 9855975424 30790 33554432000 1073741824 1073778376 140734965070048 140055603538408 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24676/tid=24688] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24688/stat : 24688 (java) S 24674 24676 23338 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253858856 9855975424 30790 33554432000 1073741824 1073778376 140734965070048 140055602484472 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24676/tid=24689] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24689/stat : 24689 (java) S 24674 24676 23338 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253858856 9855975424 30790 33554432000 1073741824 1073778376 140734965070048 140055601431560 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24676/tid=24690] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24690/stat : 24690 (java) S 24674 24676 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253858859 9855975424 30790 33554432000 1073741824 1073778376 140734965070048 140055600380048 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24676/tid=24691] ppid=24674 vsize=9624976 CPUtime=0.58 cores=0,2,4,6
/proc/24676/task/24691/stat : 24691 (java) S 24674 24676 23338 0 -1 4202560 7793 0 0 0 56 2 0 0 20 0 19 0 253858859 9855975424 30790 33554432000 1073741824 1073778376 140734965070048 140055599328184 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24676/tid=24692] ppid=24674 vsize=9624976 CPUtime=0.39 cores=0,2,4,6
/proc/24676/task/24692/stat : 24692 (java) S 24674 24676 23338 0 -1 4202560 2808 0 0 0 39 0 0 0 20 0 19 0 253858859 9855975424 30790 33554432000 1073741824 1073778376 140734965070048 140055598275384 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24676/tid=24693] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24693/stat : 24693 (java) S 24674 24676 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253858859 9855975424 30790 33554432000 1073741824 1073778376 140734965070048 140055597222776 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24676/tid=24694] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24694/stat : 24694 (java) S 24674 24676 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253858859 9855975424 30790 33554432000 1073741824 1073778376 140734965070048 140054588550088 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24676/tid=24695] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24695/stat : 24695 (java) S 24674 24676 23338 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253858900 9855975424 30790 33554432000 1073741824 1073778376 140734965070048 140054587495592 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 9624976
[startup+3.10155 s]
/proc/loadavg: 2.00 2.00 1.97 3/213 24695
/proc/meminfo: memFree=29174212/32873648 swapFree=6844/6844
[pid=24676] ppid=24674 vsize=9624976 CPUtime=4.19 cores=0,2,4,6
/proc/24676/stat : 24676 (java) S 24674 24676 23338 0 -1 4202496 14896 0 1 0 412 7 0 0 20 0 19 0 253858852 9855975424 40049 33554432000 1073741824 1073778376 140734965070048 140734965061184 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24676/statm: 2406244 40049 2281 9 0 2396937 0
[pid=24676/tid=24678] ppid=24674 vsize=9624976 CPUtime=2.96 cores=0,2,4,6
/proc/24676/task/24678/stat : 24678 (java) R 24674 24676 23338 0 -1 4202560 2487 0 1 0 295 1 0 0 20 0 19 0 253858854 9855975424 40049 33554432000 1073741824 1073778376 140734965070048 140055780098440 140055612748644 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24676/tid=24679] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24679/stat : 24679 (java) S 24674 24676 23338 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253858855 9855975424 40049 33554432000 1073741824 1073778376 140734965070048 140055741590056 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24676/tid=24680] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24680/stat : 24680 (java) S 24674 24676 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253858855 9855975424 40049 33554432000 1073741824 1073778376 140734965070048 140055740537256 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24676/tid=24681] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24681/stat : 24681 (java) S 24674 24676 23338 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 253858855 9855975424 40049 33554432000 1073741824 1073778376 140734965070048 140055739484456 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24676/tid=24682] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24682/stat : 24682 (java) S 24674 24676 23338 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 253858855 9855975424 40049 33554432000 1073741824 1073778376 140734965070048 140055738431656 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24676/tid=24683] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24683/stat : 24683 (java) S 24674 24676 23338 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253858855 9855975424 40049 33554432000 1073741824 1073778376 140734965070048 140055737379880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24676/tid=24684] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24684/stat : 24684 (java) S 24674 24676 23338 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 253858855 9855975424 40049 33554432000 1073741824 1073778376 140734965070048 140055736327080 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24676/tid=24685] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24685/stat : 24685 (java) S 24674 24676 23338 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253858855 9855975424 40049 33554432000 1073741824 1073778376 140734965070048 140055735274280 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24676/tid=24686] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24686/stat : 24686 (java) S 24674 24676 23338 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 253858855 9855975424 40049 33554432000 1073741824 1073778376 140734965070048 140055734221480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24676/tid=24687] ppid=24674 vsize=9624976 CPUtime=0.05 cores=0,2,4,6
/proc/24676/task/24687/stat : 24687 (java) S 24674 24676 23338 0 -1 4202560 41 0 0 0 5 0 0 0 20 0 19 0 253858856 9855975424 40049 33554432000 1073741824 1073778376 140734965070048 140055603538408 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24676/tid=24688] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24688/stat : 24688 (java) S 24674 24676 23338 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253858856 9855975424 40049 33554432000 1073741824 1073778376 140734965070048 140055602484472 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24676/tid=24689] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24689/stat : 24689 (java) S 24674 24676 23338 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253858856 9855975424 40049 33554432000 1073741824 1073778376 140734965070048 140055601431560 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24676/tid=24690] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24690/stat : 24690 (java) S 24674 24676 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253858859 9855975424 40049 33554432000 1073741824 1073778376 140734965070048 140055600380048 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24676/tid=24691] ppid=24674 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/24676/task/24691/stat : 24691 (java) S 24674 24676 23338 0 -1 4202560 7798 0 0 0 57 2 0 0 20 0 19 0 253858859 9855975424 40049 33554432000 1073741824 1073778376 140734965070048 140055599328184 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24676/tid=24692] ppid=24674 vsize=9624976 CPUtime=0.45 cores=0,2,4,6
/proc/24676/task/24692/stat : 24692 (java) S 24674 24676 23338 0 -1 4202560 3283 0 0 0 45 0 0 0 20 0 19 0 253858859 9855975424 40049 33554432000 1073741824 1073778376 140734965070048 140055598275384 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24676/tid=24693] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24693/stat : 24693 (java) S 24674 24676 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253858859 9855975424 40049 33554432000 1073741824 1073778376 140734965070048 140055597222776 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24676/tid=24694] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24694/stat : 24694 (java) S 24674 24676 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253858859 9855975424 40049 33554432000 1073741824 1073778376 140734965070048 140054588550088 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24676/tid=24695] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24695/stat : 24695 (java) S 24674 24676 23338 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253858900 9855975424 40049 33554432000 1073741824 1073778376 140734965070048 140054587495592 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.19
Current children cumulated vsize (KiB) 9624976
[startup+6.30157 s]
/proc/loadavg: 1.91 1.98 1.97 3/213 24695
/proc/meminfo: memFree=29138660/32873648 swapFree=6844/6844
[pid=24676] ppid=24674 vsize=9624976 CPUtime=7.45 cores=0,2,4,6
/proc/24676/stat : 24676 (java) S 24674 24676 23338 0 -1 4202496 15562 0 1 0 737 8 0 0 20 0 19 0 253858852 9855975424 46334 33554432000 1073741824 1073778376 140734965070048 140734965061184 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24676/statm: 2406244 46334 2281 9 0 2396937 0
[pid=24676/tid=24678] ppid=24674 vsize=9624976 CPUtime=6.07 cores=0,2,4,6
/proc/24676/task/24678/stat : 24678 (java) R 24674 24676 23338 0 -1 4202560 2490 0 1 0 606 1 0 0 20 0 19 0 253858854 9855975424 46334 33554432000 1073741824 1073778376 140734965070048 140055780098320 140055612698350 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24676/tid=24679] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24679/stat : 24679 (java) S 24674 24676 23338 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 253858855 9855975424 46334 33554432000 1073741824 1073778376 140734965070048 140055741590056 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24676/tid=24680] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24680/stat : 24680 (java) S 24674 24676 23338 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253858855 9855975424 46334 33554432000 1073741824 1073778376 140734965070048 140055740537256 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24676/tid=24681] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24681/stat : 24681 (java) S 24674 24676 23338 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253858855 9855975424 46334 33554432000 1073741824 1073778376 140734965070048 140055739484456 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24676/tid=24682] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24682/stat : 24682 (java) S 24674 24676 23338 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 19 0 253858855 9855975424 46334 33554432000 1073741824 1073778376 140734965070048 140055738431656 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24676/tid=24683] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24683/stat : 24683 (java) S 24674 24676 23338 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253858855 9855975424 46334 33554432000 1073741824 1073778376 140734965070048 140055737379880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24676/tid=24684] ppid=24674 vsize=9624976 CPUtime=0.01 cores=0,2,4,6
/proc/24676/task/24684/stat : 24684 (java) S 24674 24676 23338 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 253858855 9855975424 46334 33554432000 1073741824 1073778376 140734965070048 140055736327080 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24676/tid=24685] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24685/stat : 24685 (java) S 24674 24676 23338 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253858855 9855975424 46334 33554432000 1073741824 1073778376 140734965070048 140055735274280 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24676/tid=24686] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24686/stat : 24686 (java) S 24674 24676 23338 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 253858855 9855975424 46334 33554432000 1073741824 1073778376 140734965070048 140055734221480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24676/tid=24687] ppid=24674 vsize=9624976 CPUtime=0.11 cores=0,2,4,6
/proc/24676/task/24687/stat : 24687 (java) S 24674 24676 23338 0 -1 4202560 51 0 0 0 11 0 0 0 20 0 19 0 253858856 9855975424 46334 33554432000 1073741824 1073778376 140734965070048 140055603538408 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24676/tid=24688] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24688/stat : 24688 (java) S 24674 24676 23338 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253858856 9855975424 46334 33554432000 1073741824 1073778376 140734965070048 140055602484472 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24676/tid=24689] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24689/stat : 24689 (java) S 24674 24676 23338 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253858856 9855975424 46334 33554432000 1073741824 1073778376 140734965070048 140055601431560 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24676/tid=24690] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24690/stat : 24690 (java) S 24674 24676 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253858859 9855975424 46334 33554432000 1073741824 1073778376 140734965070048 140055600380048 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24676/tid=24691] ppid=24674 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/24676/task/24691/stat : 24691 (java) S 24674 24676 23338 0 -1 4202560 7798 0 0 0 57 2 0 0 20 0 19 0 253858859 9855975424 46334 33554432000 1073741824 1073778376 140734965070048 140055599328184 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24676/tid=24692] ppid=24674 vsize=9624976 CPUtime=0.49 cores=0,2,4,6
/proc/24676/task/24692/stat : 24692 (java) S 24674 24676 23338 0 -1 4202560 3921 0 0 0 47 2 0 0 20 0 19 0 253858859 9855975424 46334 33554432000 1073741824 1073778376 140734965070048 140055598275384 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24676/tid=24693] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24693/stat : 24693 (java) S 24674 24676 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253858859 9855975424 46334 33554432000 1073741824 1073778376 140734965070048 140055597222776 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24676/tid=24694] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24694/stat : 24694 (java) S 24674 24676 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253858859 9855975424 46334 33554432000 1073741824 1073778376 140734965070048 140054588550088 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24676/tid=24695] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24695/stat : 24695 (java) S 24674 24676 23338 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253858900 9855975424 46334 33554432000 1073741824 1073778376 140734965070048 140054587495592 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.45
Current children cumulated vsize (KiB) 9624976
[startup+12.7015 s]
################
# More data... #
################
[pid=24676/tid=24691] ppid=24674 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/24676/task/24691/stat : 24691 (java) S 24674 24676 23338 0 -1 4202560 7798 0 0 0 57 2 0 0 20 0 19 0 253858859 9855975424 147718 33554432000 1073741824 1073778376 140734965070048 140055599328184 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24676/tid=24692] ppid=24674 vsize=9624976 CPUtime=0.56 cores=0,2,4,6
/proc/24676/task/24692/stat : 24692 (java) S 24674 24676 23338 0 -1 4202560 4640 0 0 0 54 2 0 0 20 0 19 0 253858859 9855975424 147718 33554432000 1073741824 1073778376 140734965070048 140055598275384 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24676/tid=24693] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24693/stat : 24693 (java) S 24674 24676 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253858859 9855975424 147718 33554432000 1073741824 1073778376 140734965070048 140055597222776 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24676/tid=24694] ppid=24674 vsize=9624976 CPUtime=0.57 cores=0,2,4,6
/proc/24676/task/24694/stat : 24694 (java) S 24674 24676 23338 0 -1 4202560 95 0 0 0 28 29 0 0 20 0 19 0 253858859 9855975424 147718 33554432000 1073741824 1073778376 140734965070048 140054588550088 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24676/tid=24695] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24695/stat : 24695 (java) S 24674 24676 23338 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253858900 9855975424 147718 33554432000 1073741824 1073778376 140734965070048 140054587495592 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1676.3
Current children cumulated vsize (KiB) 9624976
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/213 24791
/proc/meminfo: memFree=28776648/32873648 swapFree=6844/6844
[pid=24676] ppid=24674 vsize=9624976 CPUtime=1736.89 cores=0,2,4,6
/proc/24676/stat : 24676 (java) S 24674 24676 23338 0 -1 4202496 23179 0 1 0 173560 129 0 0 20 0 19 0 253858852 9855975424 145692 33554432000 1073741824 1073778376 140734965070048 140734965061184 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24676/statm: 2406244 145692 2282 9 0 2396937 0
[pid=24676/tid=24678] ppid=24674 vsize=9624976 CPUtime=1707.78 cores=0,2,4,6
/proc/24676/task/24678/stat : 24678 (java) R 24674 24676 23338 0 -1 4202560 2776 0 1 0 170749 29 0 0 20 0 19 0 253858854 9855975424 145692 33554432000 1073741824 1073778376 140734965070048 140055780097376 140055612806174 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=24676/tid=24679] ppid=24674 vsize=9624976 CPUtime=2.27 cores=0,2,4,6
/proc/24676/task/24679/stat : 24679 (java) S 24674 24676 23338 0 -1 4202560 601 0 0 0 213 14 0 0 20 0 19 0 253858855 9855975424 145692 33554432000 1073741824 1073778376 140734965070048 140055741590056 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24676/tid=24680] ppid=24674 vsize=9624976 CPUtime=2.11 cores=0,2,4,6
/proc/24676/task/24680/stat : 24680 (java) S 24674 24676 23338 0 -1 4202560 480 0 0 0 202 9 0 0 20 0 19 0 253858855 9855975424 145692 33554432000 1073741824 1073778376 140734965070048 140055740537256 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24676/tid=24681] ppid=24674 vsize=9624976 CPUtime=2.27 cores=0,2,4,6
/proc/24676/task/24681/stat : 24681 (java) S 24674 24676 23338 0 -1 4202560 977 0 0 0 217 10 0 0 20 0 19 0 253858855 9855975424 145692 33554432000 1073741824 1073778376 140734965070048 140055739484456 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24676/tid=24682] ppid=24674 vsize=9624976 CPUtime=2.31 cores=0,2,4,6
/proc/24676/task/24682/stat : 24682 (java) S 24674 24676 23338 0 -1 4202560 983 0 0 0 218 13 0 0 20 0 19 0 253858855 9855975424 145692 33554432000 1073741824 1073778376 140734965070048 140055738431656 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24676/tid=24683] ppid=24674 vsize=9624976 CPUtime=2.27 cores=0,2,4,6
/proc/24676/task/24683/stat : 24683 (java) S 24674 24676 23338 0 -1 4202560 572 0 0 0 217 10 0 0 20 0 19 0 253858855 9855975424 145692 33554432000 1073741824 1073778376 140734965070048 140055737379880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24676/tid=24684] ppid=24674 vsize=9624976 CPUtime=2.57 cores=0,2,4,6
/proc/24676/task/24684/stat : 24684 (java) S 24674 24676 23338 0 -1 4202560 1008 0 0 0 244 13 0 0 20 0 19 0 253858855 9855975424 145692 33554432000 1073741824 1073778376 140734965070048 140055736327080 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24676/tid=24685] ppid=24674 vsize=9624976 CPUtime=2.4 cores=0,2,4,6
/proc/24676/task/24685/stat : 24685 (java) S 24674 24676 23338 0 -1 4202560 661 0 0 0 225 15 0 0 20 0 19 0 253858855 9855975424 145692 33554432000 1073741824 1073778376 140734965070048 140055735274280 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24676/tid=24686] ppid=24674 vsize=9624976 CPUtime=2.28 cores=0,2,4,6
/proc/24676/task/24686/stat : 24686 (java) S 24674 24676 23338 0 -1 4202560 646 0 0 0 217 11 0 0 20 0 19 0 253858855 9855975424 145692 33554432000 1073741824 1073778376 140734965070048 140055734221480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24676/tid=24687] ppid=24674 vsize=9624976 CPUtime=4.64 cores=0,2,4,6
/proc/24676/task/24687/stat : 24687 (java) S 24674 24676 23338 0 -1 4202560 753 0 0 0 458 6 0 0 20 0 19 0 253858856 9855975424 145692 33554432000 1073741824 1073778376 140734965070048 140055603538408 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24676/tid=24688] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24688/stat : 24688 (java) S 24674 24676 23338 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253858856 9855975424 145692 33554432000 1073741824 1073778376 140734965070048 140055602484472 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24676/tid=24689] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24689/stat : 24689 (java) S 24674 24676 23338 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253858856 9855975424 145692 33554432000 1073741824 1073778376 140734965070048 140055601431560 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24676/tid=24690] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24690/stat : 24690 (java) S 24674 24676 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253858859 9855975424 145692 33554432000 1073741824 1073778376 140734965070048 140055600380048 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24676/tid=24691] ppid=24674 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/24676/task/24691/stat : 24691 (java) S 24674 24676 23338 0 -1 4202560 7798 0 0 0 57 2 0 0 20 0 19 0 253858859 9855975424 145692 33554432000 1073741824 1073778376 140734965070048 140055599328184 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24676/tid=24692] ppid=24674 vsize=9624976 CPUtime=0.56 cores=0,2,4,6
/proc/24676/task/24692/stat : 24692 (java) S 24674 24676 23338 0 -1 4202560 4640 0 0 0 54 2 0 0 20 0 19 0 253858859 9855975424 145692 33554432000 1073741824 1073778376 140734965070048 140055598275384 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24676/tid=24693] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24693/stat : 24693 (java) S 24674 24676 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253858859 9855975424 145692 33554432000 1073741824 1073778376 140734965070048 140055597222776 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24676/tid=24694] ppid=24674 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/24676/task/24694/stat : 24694 (java) S 24674 24676 23338 0 -1 4202560 99 0 0 0 29 30 0 0 20 0 19 0 253858859 9855975424 145692 33554432000 1073741824 1073778376 140734965070048 140054588550088 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24676/tid=24695] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24695/stat : 24695 (java) S 24674 24676 23338 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253858900 9855975424 145692 33554432000 1073741824 1073778376 140734965070048 140054587495592 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1736.89
Current children cumulated vsize (KiB) 9624976
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 24791
/proc/meminfo: memFree=28778020/32873648 swapFree=6844/6844
[pid=24676] ppid=24674 vsize=9624976 CPUtime=1797.49 cores=0,2,4,6
/proc/24676/stat : 24676 (java) S 24674 24676 23338 0 -1 4202496 23209 0 1 0 179618 131 0 0 20 0 19 0 253858852 9855975424 145436 33554432000 1073741824 1073778376 140734965070048 140734965061184 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24676/statm: 2406244 145436 2282 9 0 2396937 0
[pid=24676/tid=24678] ppid=24674 vsize=9624976 CPUtime=1767.35 cores=0,2,4,6
/proc/24676/task/24678/stat : 24678 (java) R 24674 24676 23338 0 -1 4202560 2796 0 1 0 176705 30 0 0 20 0 19 0 253858854 9855975424 145436 33554432000 1073741824 1073778376 140734965070048 140055780097312 140055612697761 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24676/tid=24679] ppid=24674 vsize=9624976 CPUtime=2.38 cores=0,2,4,6
/proc/24676/task/24679/stat : 24679 (java) S 24674 24676 23338 0 -1 4202560 601 0 0 0 224 14 0 0 20 0 19 0 253858855 9855975424 145436 33554432000 1073741824 1073778376 140734965070048 140055741590056 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24676/tid=24680] ppid=24674 vsize=9624976 CPUtime=2.22 cores=0,2,4,6
/proc/24676/task/24680/stat : 24680 (java) S 24674 24676 23338 0 -1 4202560 480 0 0 0 213 9 0 0 20 0 19 0 253858855 9855975424 145436 33554432000 1073741824 1073778376 140734965070048 140055740537256 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24676/tid=24681] ppid=24674 vsize=9624976 CPUtime=2.39 cores=0,2,4,6
/proc/24676/task/24681/stat : 24681 (java) S 24674 24676 23338 0 -1 4202560 977 0 0 0 229 10 0 0 20 0 19 0 253858855 9855975424 145436 33554432000 1073741824 1073778376 140734965070048 140055739484456 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24676/tid=24682] ppid=24674 vsize=9624976 CPUtime=2.42 cores=0,2,4,6
/proc/24676/task/24682/stat : 24682 (java) S 24674 24676 23338 0 -1 4202560 983 0 0 0 229 13 0 0 20 0 19 0 253858855 9855975424 145436 33554432000 1073741824 1073778376 140734965070048 140055738431656 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24676/tid=24683] ppid=24674 vsize=9624976 CPUtime=2.4 cores=0,2,4,6
/proc/24676/task/24683/stat : 24683 (java) S 24674 24676 23338 0 -1 4202560 572 0 0 0 229 11 0 0 20 0 19 0 253858855 9855975424 145436 33554432000 1073741824 1073778376 140734965070048 140055737379880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24676/tid=24684] ppid=24674 vsize=9624976 CPUtime=2.64 cores=0,2,4,6
/proc/24676/task/24684/stat : 24684 (java) S 24674 24676 23338 0 -1 4202560 1008 0 0 0 250 14 0 0 20 0 19 0 253858855 9855975424 145436 33554432000 1073741824 1073778376 140734965070048 140055736327080 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24676/tid=24685] ppid=24674 vsize=9624976 CPUtime=2.5 cores=0,2,4,6
/proc/24676/task/24685/stat : 24685 (java) S 24674 24676 23338 0 -1 4202560 661 0 0 0 235 15 0 0 20 0 19 0 253858855 9855975424 145436 33554432000 1073741824 1073778376 140734965070048 140055735274280 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24676/tid=24686] ppid=24674 vsize=9624976 CPUtime=2.4 cores=0,2,4,6
/proc/24676/task/24686/stat : 24686 (java) S 24674 24676 23338 0 -1 4202560 646 0 0 0 229 11 0 0 20 0 19 0 253858855 9855975424 145436 33554432000 1073741824 1073778376 140734965070048 140055734221480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=24676/tid=24687] ppid=24674 vsize=9624976 CPUtime=4.64 cores=0,2,4,6
/proc/24676/task/24687/stat : 24687 (java) S 24674 24676 23338 0 -1 4202560 759 0 0 0 458 6 0 0 20 0 19 0 253858856 9855975424 145436 33554432000 1073741824 1073778376 140734965070048 140055603538408 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24676/tid=24688] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24688/stat : 24688 (java) S 24674 24676 23338 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253858856 9855975424 145436 33554432000 1073741824 1073778376 140734965070048 140055602484472 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24676/tid=24689] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24689/stat : 24689 (java) S 24674 24676 23338 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253858856 9855975424 145436 33554432000 1073741824 1073778376 140734965070048 140055601431560 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24676/tid=24690] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24690/stat : 24690 (java) S 24674 24676 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253858859 9855975424 145436 33554432000 1073741824 1073778376 140734965070048 140055600380048 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24676/tid=24691] ppid=24674 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/24676/task/24691/stat : 24691 (java) S 24674 24676 23338 0 -1 4202560 7798 0 0 0 57 2 0 0 20 0 19 0 253858859 9855975424 145436 33554432000 1073741824 1073778376 140734965070048 140055599328184 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24676/tid=24692] ppid=24674 vsize=9624976 CPUtime=0.56 cores=0,2,4,6
/proc/24676/task/24692/stat : 24692 (java) S 24674 24676 23338 0 -1 4202560 4640 0 0 0 54 2 0 0 20 0 19 0 253858859 9855975424 145436 33554432000 1073741824 1073778376 140734965070048 140055598275384 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24676/tid=24693] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24693/stat : 24693 (java) S 24674 24676 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253858859 9855975424 145436 33554432000 1073741824 1073778376 140734965070048 140055597222776 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24676/tid=24694] ppid=24674 vsize=9624976 CPUtime=0.61 cores=0,2,4,6
/proc/24676/task/24694/stat : 24694 (java) S 24674 24676 23338 0 -1 4202560 103 0 0 0 31 30 0 0 20 0 19 0 253858859 9855975424 145436 33554432000 1073741824 1073778376 140734965070048 140054588550088 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24676/tid=24695] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24695/stat : 24695 (java) S 24674 24676 23338 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253858900 9855975424 145436 33554432000 1073741824 1073778376 140734965070048 140054587495592 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1797.49
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1784.8 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 24791
/proc/meminfo: memFree=28778020/32873648 swapFree=6844/6844
[pid=24676] ppid=24674 vsize=9624976 CPUtime=1800.03 cores=0,2,4,6
/proc/24676/stat : 24676 (java) S 24674 24676 23338 0 -1 4202496 23210 0 1 0 179872 131 0 0 20 0 19 0 253858852 9855975424 145435 33554432000 1073741824 1073778376 140734965070048 140734965061184 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/24676/statm: 2406244 145435 2282 9 0 2396937 0
[pid=24676/tid=24678] ppid=24674 vsize=9624976 CPUtime=1769.84 cores=0,2,4,6
/proc/24676/task/24678/stat : 24678 (java) R 24674 24676 23338 0 -1 4202560 2797 0 1 0 176954 30 0 0 20 0 19 0 253858854 9855975424 145435 33554432000 1073741824 1073778376 140734965070048 140055780097360 140055612806174 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=24676/tid=24679] ppid=24674 vsize=9624976 CPUtime=2.38 cores=0,2,4,6
/proc/24676/task/24679/stat : 24679 (java) S 24674 24676 23338 0 -1 4202560 601 0 0 0 224 14 0 0 20 0 19 0 253858855 9855975424 145435 33554432000 1073741824 1073778376 140734965070048 140055741590056 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24676/tid=24680] ppid=24674 vsize=9624976 CPUtime=2.23 cores=0,2,4,6
/proc/24676/task/24680/stat : 24680 (java) S 24674 24676 23338 0 -1 4202560 480 0 0 0 214 9 0 0 20 0 19 0 253858855 9855975424 145435 33554432000 1073741824 1073778376 140734965070048 140055740537256 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24676/tid=24681] ppid=24674 vsize=9624976 CPUtime=2.39 cores=0,2,4,6
/proc/24676/task/24681/stat : 24681 (java) S 24674 24676 23338 0 -1 4202560 977 0 0 0 229 10 0 0 20 0 19 0 253858855 9855975424 145435 33554432000 1073741824 1073778376 140734965070048 140055739484456 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24676/tid=24682] ppid=24674 vsize=9624976 CPUtime=2.42 cores=0,2,4,6
/proc/24676/task/24682/stat : 24682 (java) S 24674 24676 23338 0 -1 4202560 983 0 0 0 229 13 0 0 20 0 19 0 253858855 9855975424 145435 33554432000 1073741824 1073778376 140734965070048 140055738431656 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24676/tid=24683] ppid=24674 vsize=9624976 CPUtime=2.4 cores=0,2,4,6
/proc/24676/task/24683/stat : 24683 (java) S 24674 24676 23338 0 -1 4202560 572 0 0 0 229 11 0 0 20 0 19 0 253858855 9855975424 145435 33554432000 1073741824 1073778376 140734965070048 140055737379880 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24676/tid=24684] ppid=24674 vsize=9624976 CPUtime=2.65 cores=0,2,4,6
/proc/24676/task/24684/stat : 24684 (java) S 24674 24676 23338 0 -1 4202560 1008 0 0 0 251 14 0 0 20 0 19 0 253858855 9855975424 145435 33554432000 1073741824 1073778376 140734965070048 140055736327080 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24676/tid=24685] ppid=24674 vsize=9624976 CPUtime=2.5 cores=0,2,4,6
/proc/24676/task/24685/stat : 24685 (java) S 24674 24676 23338 0 -1 4202560 661 0 0 0 235 15 0 0 20 0 19 0 253858855 9855975424 145435 33554432000 1073741824 1073778376 140734965070048 140055735274280 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24676/tid=24686] ppid=24674 vsize=9624976 CPUtime=2.41 cores=0,2,4,6
/proc/24676/task/24686/stat : 24686 (java) S 24674 24676 23338 0 -1 4202560 646 0 0 0 230 11 0 0 20 0 19 0 253858855 9855975424 145435 33554432000 1073741824 1073778376 140734965070048 140055734221480 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24676/tid=24687] ppid=24674 vsize=9624976 CPUtime=4.64 cores=0,2,4,6
/proc/24676/task/24687/stat : 24687 (java) S 24674 24676 23338 0 -1 4202560 759 0 0 0 458 6 0 0 20 0 19 0 253858856 9855975424 145435 33554432000 1073741824 1073778376 140734965070048 140055603538408 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24676/tid=24688] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24688/stat : 24688 (java) S 24674 24676 23338 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253858856 9855975424 145435 33554432000 1073741824 1073778376 140734965070048 140055602484472 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24676/tid=24689] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24689/stat : 24689 (java) S 24674 24676 23338 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253858856 9855975424 145435 33554432000 1073741824 1073778376 140734965070048 140055601431560 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24676/tid=24690] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24690/stat : 24690 (java) S 24674 24676 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253858859 9855975424 145435 33554432000 1073741824 1073778376 140734965070048 140055600380048 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24676/tid=24691] ppid=24674 vsize=9624976 CPUtime=0.59 cores=0,2,4,6
/proc/24676/task/24691/stat : 24691 (java) S 24674 24676 23338 0 -1 4202560 7798 0 0 0 57 2 0 0 20 0 19 0 253858859 9855975424 145435 33554432000 1073741824 1073778376 140734965070048 140055599328184 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=24676/tid=24692] ppid=24674 vsize=9624976 CPUtime=0.56 cores=0,2,4,6
/proc/24676/task/24692/stat : 24692 (java) S 24674 24676 23338 0 -1 4202560 4640 0 0 0 54 2 0 0 20 0 19 0 253858859 9855975424 145435 33554432000 1073741824 1073778376 140734965070048 140055598275384 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24676/tid=24693] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24693/stat : 24693 (java) S 24674 24676 23338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253858859 9855975424 145435 33554432000 1073741824 1073778376 140734965070048 140055597222776 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24676/tid=24694] ppid=24674 vsize=9624976 CPUtime=0.61 cores=0,2,4,6
/proc/24676/task/24694/stat : 24694 (java) S 24674 24676 23338 0 -1 4202560 103 0 0 0 31 30 0 0 20 0 19 0 253858859 9855975424 145435 33554432000 1073741824 1073778376 140734965070048 140054588550088 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24676/tid=24695] ppid=24674 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/24676/task/24695/stat : 24695 (java) S 24674 24676 23338 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253858900 9855975424 145435 33554432000 1073741824 1073778376 140734965070048 140054587495592 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9624976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24676 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=149247
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=810724
# CPU time returned by wait4() is 1795.96
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1784.85
CPU time (s): 1800.03
CPU user time (s): 1798.72
CPU system time (s): 1.31
CPU usage (%): 100.851
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.15
system time used= 1.81072
maximum resident set size= 830384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23243
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46495
involuntary context switches= 39349
runsolver used 7.08992 second user time and 13.6429 second system time
The end