runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3455444-1307196956/watcher-3455444-1307196956 -o /tmp/evaluation-result-3455444-1307196956/solver-3455444-1307196956 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455444-1307196956.opb
running on 4 cores: 1,3,5,7
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: 3.56 3.63 3.54 3/596 3742
/proc/meminfo: memFree=19995704/32951124 swapFree=58940260/67111528
[pid=3742] ppid=3740 vsize=24004 CPUtime=0 cores=1,3,5,7
/proc/3742/stat : 3742 (java) S 3740 3742 2924 0 -1 4202496 1140 0 0 0 0 0 0 0 22 0 2 0 831293337 24580096 876 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699477989 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/3742/statm: 6001 876 664 9 0 381 0
[pid=3742/tid=3743] ppid=3740 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3743/stat : 3743 (java) R 3740 3742 2924 0 -1 4202560 7094 0 1 0 0 0 0 0 23 0 2 0 831293338 10694979584 7909 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212687369275 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.081462 s]
/proc/loadavg: 3.56 3.63 3.54 3/596 3742
/proc/meminfo: memFree=19995704/32951124 swapFree=58940260/67111528
[pid=3742] ppid=3740 vsize=10474048 CPUtime=0.07 cores=1,3,5,7
/proc/3742/stat : 3742 (java) S 3740 3742 2924 0 -1 4202496 11980 0 1 0 6 1 0 0 22 0 18 0 831293337 10725425152 11676 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3742/statm: 2618512 11677 1755 9 0 2609246 0
[pid=3742/tid=3743] ppid=3740 vsize=10474048 CPUtime=0.05 cores=1,3,5,7
/proc/3742/task/3743/stat : 3743 (java) R 3740 3742 2924 0 -1 4202560 10807 0 1 0 5 0 0 0 22 0 18 0 831293338 10725425152 11677 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 47217337045763 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10474048
[startup+0.100421 s]
/proc/loadavg: 3.56 3.63 3.54 3/596 3742
/proc/meminfo: memFree=19995704/32951124 swapFree=58940260/67111528
[pid=3742] ppid=3740 vsize=10540608 CPUtime=0.1 cores=1,3,5,7
/proc/3742/stat : 3742 (java) S 3740 3742 2924 0 -1 4202496 12981 0 1 0 9 1 0 0 22 0 18 0 831293337 10793582592 12677 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3742/statm: 2635152 12677 2092 9 0 2625886 0
[pid=3742/tid=3743] ppid=3740 vsize=10540608 CPUtime=0.07 cores=1,3,5,7
/proc/3742/task/3743/stat : 3743 (java) R 3740 3742 2924 0 -1 4202560 11104 0 1 0 7 0 0 0 22 0 18 0 831293338 10793582592 12677 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 47217338098438 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540608
[startup+0.300385 s]
/proc/loadavg: 3.56 3.63 3.54 3/596 3742
/proc/meminfo: memFree=19995704/32951124 swapFree=58940260/67111528
[pid=3742] ppid=3740 vsize=10543680 CPUtime=0.47 cores=1,3,5,7
/proc/3742/stat : 3742 (java) S 3740 3742 2924 0 -1 4202496 16649 0 1 0 45 2 0 0 22 0 18 0 831293337 10796728320 16123 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3742/statm: 2635920 16135 2200 9 0 2626654 0
[pid=3742/tid=3743] ppid=3740 vsize=10543680 CPUtime=0.28 cores=1,3,5,7
/proc/3742/task/3743/stat : 3743 (java) R 3740 3742 2924 0 -1 4202560 13373 0 1 0 27 1 0 0 22 0 18 0 831293338 10796728320 16135 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 46912505492926 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10543680
[startup+0.700334 s]
/proc/loadavg: 3.56 3.63 3.54 3/596 3742
/proc/meminfo: memFree=19995704/32951124 swapFree=58940260/67111528
[pid=3742] ppid=3740 vsize=10546752 CPUtime=1.26 cores=1,3,5,7
/proc/3742/stat : 3742 (java) S 3740 3742 2924 0 -1 4202496 49322 0 1 0 120 6 0 0 22 0 18 0 831293337 10799874048 46465 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3742/statm: 2636688 46465 2221 9 0 2627422 0
[pid=3742/tid=3743] ppid=3740 vsize=10546752 CPUtime=0.68 cores=1,3,5,7
/proc/3742/task/3743/stat : 3743 (java) R 3740 3742 2924 0 -1 4202560 41523 0 1 0 63 5 0 0 18 0 18 0 831293338 10799874048 46465 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 46912505217649 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 10546752
[startup+1.50117 s]
/proc/loadavg: 3.56 3.63 3.54 6/614 3760
/proc/meminfo: memFree=19704540/32951124 swapFree=58940260/67111528
[pid=3742] ppid=3740 vsize=10557104 CPUtime=3.39 cores=1,3,5,7
/proc/3742/stat : 3742 (java) S 3740 3742 2924 0 -1 4202496 98389 0 1 0 327 12 0 0 22 0 22 0 831293337 10810474496 92337 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3742/statm: 2639276 92343 2238 9 0 2630010 0
[pid=3742/tid=3743] ppid=3740 vsize=10557104 CPUtime=1.18 cores=1,3,5,7
/proc/3742/task/3743/stat : 3743 (java) S 3740 3742 2924 0 -1 4202560 79440 0 1 0 109 9 0 0 19 0 22 0 831293338 10810474496 92346 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491840 0 4 0 16800975 18446604461875049536 0 0 -1 5 0 0 0
[pid=3742/tid=3745] ppid=3740 vsize=10557104 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3745/stat : 3745 (java) S 3740 3742 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831293340 10810474496 92351 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 7 0 0 0
[pid=3742/tid=3746] ppid=3740 vsize=10557104 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3746/stat : 3746 (java) S 3740 3742 2924 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831293340 10810474496 92354 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 7 0 0 0
[pid=3742/tid=3747] ppid=3740 vsize=10557104 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3747/stat : 3747 (java) S 3740 3742 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831293340 10810474496 92357 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 7 0 0 0
[pid=3742/tid=3748] ppid=3740 vsize=10557104 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3748/stat : 3748 (java) S 3740 3742 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831293340 10810474496 92360 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 7 0 0 0
[pid=3742/tid=3749] ppid=3740 vsize=10557104 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3749/stat : 3749 (java) S 3740 3742 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831293340 10810474496 92363 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 7 0 0 0
[pid=3742/tid=3750] ppid=3740 vsize=10557104 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3750/stat : 3750 (java) S 3740 3742 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831293340 10810474496 92367 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 7 0 0 0
[pid=3742/tid=3751] ppid=3740 vsize=10557104 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3751/stat : 3751 (java) S 3740 3742 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831293340 10810474496 92370 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 7 0 0 0
[pid=3742/tid=3752] ppid=3740 vsize=10557104 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3752/stat : 3752 (java) S 3740 3742 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831293340 10810474496 92374 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 7 0 0 0
[pid=3742/tid=3753] ppid=3740 vsize=10557104 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3753/stat : 3753 (java) S 3740 3742 2924 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 22 0 831293341 10810474496 92377 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491840 0 0 0 16800975 18446604461875049536 0 0 -1 3 0 0 0
[pid=3742/tid=3754] ppid=3740 vsize=10557104 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3754/stat : 3754 (java) S 3740 3742 2924 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831293341 10810474496 92381 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 1 0 0 0
[pid=3742/tid=3755] ppid=3740 vsize=10557104 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3755/stat : 3755 (java) S 3740 3742 2924 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831293341 10810474496 92384 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 1 0 0 0
[pid=3742/tid=3756] ppid=3740 vsize=10557104 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3756/stat : 3756 (java) S 3740 3742 2924 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831293343 10810474496 92387 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699498929 0 4 0 16800975 18446604461875049536 0 0 -1 1 0 0 0
[pid=3742/tid=3757] ppid=3740 vsize=10557104 CPUtime=0.82 cores=1,3,5,7
/proc/3742/task/3757/stat : 3757 (java) S 3740 3742 2924 0 -1 4202560 7977 0 0 0 81 1 0 0 16 0 22 0 831293343 10810474496 92389 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 1 0 0 0
[pid=3742/tid=3758] ppid=3740 vsize=10557104 CPUtime=0.82 cores=1,3,5,7
/proc/3742/task/3758/stat : 3758 (java) R 3740 3742 2924 0 -1 4202560 4471 0 0 0 82 0 0 0 17 0 22 0 831293343 10810474496 92393 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 47217337870582 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3742/tid=3759] ppid=3740 vsize=10557104 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3759/stat : 3759 (java) S 3740 3742 2924 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831293343 10810474496 92396 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 1 0 0 0
[pid=3742/tid=3760] ppid=3740 vsize=10557104 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3760/stat : 3760 (java) S 3740 3742 2924 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831293343 10810474496 92400 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491840 0 4 0 16800975 18446604461875049536 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.39
Current children cumulated vsize (KiB) 10557104
[startup+3.10088 s]
/proc/loadavg: 3.56 3.63 3.54 5/618 3764
/proc/meminfo: memFree=19395524/32951124 swapFree=58940260/67111528
[pid=3742] ppid=3740 vsize=10558128 CPUtime=7.21 cores=1,3,5,7
/proc/3742/stat : 3742 (java) S 3740 3742 2924 0 -1 4202496 271159 0 1 0 689 32 0 0 22 0 22 0 831293337 10811523072 263496 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3742/statm: 2639532 263502 2242 9 0 2630266 0
[pid=3742/tid=3743] ppid=3740 vsize=10558128 CPUtime=1.18 cores=1,3,5,7
/proc/3742/task/3743/stat : 3743 (java) S 3740 3742 2924 0 -1 4202560 79440 0 1 0 109 9 0 0 15 0 22 0 831293338 10811523072 263505 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491840 0 4 0 16800975 18446604461875049536 0 0 -1 5 0 0 0
[pid=3742/tid=3745] ppid=3740 vsize=10558128 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3745/stat : 3745 (java) S 3740 3742 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831293340 10811523072 263509 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 7 0 0 0
[pid=3742/tid=3746] ppid=3740 vsize=10558128 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3746/stat : 3746 (java) S 3740 3742 2924 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831293340 10811523072 263513 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 7 0 0 0
[pid=3742/tid=3747] ppid=3740 vsize=10558128 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3747/stat : 3747 (java) S 3740 3742 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831293340 10811523072 263516 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 7 0 0 0
[pid=3742/tid=3748] ppid=3740 vsize=10558128 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3748/stat : 3748 (java) S 3740 3742 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831293340 10811523072 263520 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 7 0 0 0
[pid=3742/tid=3749] ppid=3740 vsize=10558128 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3749/stat : 3749 (java) S 3740 3742 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831293340 10811523072 263523 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 7 0 0 0
[pid=3742/tid=3750] ppid=3740 vsize=10558128 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3750/stat : 3750 (java) S 3740 3742 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831293340 10811523072 263526 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 7 0 0 0
[pid=3742/tid=3751] ppid=3740 vsize=10558128 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3751/stat : 3751 (java) S 3740 3742 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831293340 10811523072 263529 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 7 0 0 0
[pid=3742/tid=3752] ppid=3740 vsize=10558128 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3752/stat : 3752 (java) S 3740 3742 2924 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831293340 10811523072 263531 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 7 0 0 0
[pid=3742/tid=3753] ppid=3740 vsize=10558128 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3753/stat : 3753 (java) S 3740 3742 2924 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 22 0 831293341 10811523072 263535 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491840 0 0 0 16800975 18446604461875049536 0 0 -1 3 0 0 0
[pid=3742/tid=3754] ppid=3740 vsize=10558128 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3754/stat : 3754 (java) S 3740 3742 2924 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831293341 10811523072 263538 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 1 0 0 0
[pid=3742/tid=3755] ppid=3740 vsize=10558128 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3755/stat : 3755 (java) S 3740 3742 2924 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831293341 10811523072 263540 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 1 0 0 0
[pid=3742/tid=3756] ppid=3740 vsize=10558128 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3756/stat : 3756 (java) S 3740 3742 2924 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831293343 10811523072 263543 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699498929 0 4 0 16800975 18446604461875049536 0 0 -1 1 0 0 0
[pid=3742/tid=3757] ppid=3740 vsize=10558128 CPUtime=1.1 cores=1,3,5,7
/proc/3742/task/3757/stat : 3757 (java) S 3740 3742 2924 0 -1 4202560 8102 0 0 0 109 1 0 0 16 0 22 0 831293343 10811523072 263548 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 1 0 0 0
[pid=3742/tid=3758] ppid=3740 vsize=10558128 CPUtime=1.15 cores=1,3,5,7
/proc/3742/task/3758/stat : 3758 (java) S 3740 3742 2924 0 -1 4202560 6141 0 0 0 115 0 0 0 15 0 22 0 831293343 10811523072 263553 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 5 0 0 0
[pid=3742/tid=3759] ppid=3740 vsize=10558128 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3759/stat : 3759 (java) S 3740 3742 2924 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831293343 10811523072 263557 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 1 0 0 0
[pid=3742/tid=3760] ppid=3740 vsize=10558128 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3760/stat : 3760 (java) S 3740 3742 2924 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831293343 10811523072 263562 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491840 0 4 0 16800975 18446604461875049536 0 0 -1 5 0 0 0
[pid=3742/tid=3761] ppid=3740 vsize=10558128 CPUtime=1.86 cores=1,3,5,7
/proc/3742/task/3761/stat : 3761 (java) R 3740 3742 2924 0 -1 4202560 800 0 0 0 186 0 0 0 22 0 22 0 831293460 10811523072 263565 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 46912506170208 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=3742/tid=3762] ppid=3740 vsize=10558128 CPUtime=1.86 cores=1,3,5,7
/proc/3742/task/3762/stat : 3762 (java) R 3740 3742 2924 0 -1 4202560 175581 0 0 0 167 19 0 0 25 0 22 0 831293460 10811523072 263570 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 46912505857791 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3742/tid=3763] ppid=3740 vsize=10558128 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3763/stat : 3763 (java) S 3740 3742 2924 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 831293465 10811523072 263573 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491840 0 4 0 16800975 18446604461875049536 0 0 -1 3 0 0 0
[pid=3742/tid=3764] ppid=3740 vsize=10558128 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3764/stat : 3764 (java) S 3740 3742 2924 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 831293466 10811523072 263577 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491840 0 4 0 16800975 18446604461875049536 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.21
Current children cumulated vsize (KiB) 10558128
[startup+6.30129 s]
/proc/loadavg: 3.59 3.63 3.55 5/618 3764
/proc/meminfo: memFree=18526732/32951124 swapFree=58940260/67111528
[pid=3742] ppid=3740 vsize=10558128 CPUtime=13.66 cores=1,3,5,7
/proc/3742/stat : 3742 (java) S 3740 3742 2924 0 -1 4202496 376777 0 1 0 1323 43 0 0 22 0 22 0 831293337 10811523072 369010 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3742/statm: 2639532 369010 2267 9 0 2630266 0
[pid=3742/tid=3743] ppid=3740 vsize=10558128 CPUtime=1.18 cores=1,3,5,7
/proc/3742/task/3743/stat : 3743 (java) S 3740 3742 2924 0 -1 4202560 79440 0 1 0 109 9 0 0 15 0 22 0 831293338 10811523072 369010 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491840 0 4 0 16800975 18446604461875049536 0 0 -1 5 0 0 0
[pid=3742/tid=3745] ppid=3740 vsize=10558128 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3745/stat : 3745 (java) S 3740 3742 2924 0 -1 4202560 406 0 0 0 0 0 0 0 18 0 22 0 831293340 10811523072 369010 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 1 0 0 0
[pid=3742/tid=3746] ppid=3740 vsize=10558128 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3746/stat : 3746 (java) S 3740 3742 2924 0 -1 4202560 704 0 0 0 0 0 0 0 18 0 22 0 831293340 10811523072 369010 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 1 0 0 0
[pid=3742/tid=3747] ppid=3740 vsize=10558128 CPUtime=0.01 cores=1,3,5,7
/proc/3742/task/3747/stat : 3747 (java) S 3740 3742 2924 0 -1 4202560 746 0 0 0 1 0 0 0 18 0 22 0 831293340 10811523072 369010 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 5 0 0 0
[pid=3742/tid=3748] ppid=3740 vsize=10558128 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3748/stat : 3748 (java) S 3740 3742 2924 0 -1 4202560 331 0 0 0 0 0 0 0 16 0 22 0 831293340 10811523072 369010 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 5 0 0 0
[pid=3742/tid=3749] ppid=3740 vsize=10558128 CPUtime=0.02 cores=1,3,5,7
/proc/3742/task/3749/stat : 3749 (java) S 3740 3742 2924 0 -1 4202560 1597 0 0 0 2 0 0 0 18 0 22 0 831293340 10811523072 369010 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 5 0 0 0
[pid=3742/tid=3750] ppid=3740 vsize=10558128 CPUtime=0.02 cores=1,3,5,7
/proc/3742/task/3750/stat : 3750 (java) S 3740 3742 2924 0 -1 4202560 1671 0 0 0 2 0 0 0 18 0 22 0 831293340 10811523072 369010 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 7 0 0 0
[pid=3742/tid=3751] ppid=3740 vsize=10558128 CPUtime=0.04 cores=1,3,5,7
/proc/3742/task/3751/stat : 3751 (java) S 3740 3742 2924 0 -1 4202560 2638 0 0 0 4 0 0 0 18 0 22 0 831293340 10811523072 369010 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 7 0 0 0
[pid=3742/tid=3752] ppid=3740 vsize=10558128 CPUtime=0.01 cores=1,3,5,7
/proc/3742/task/3752/stat : 3752 (java) S 3740 3742 2924 0 -1 4202560 1373 0 0 0 1 0 0 0 18 0 22 0 831293340 10811523072 369010 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 5 0 0 0
[pid=3742/tid=3753] ppid=3740 vsize=10558128 CPUtime=0.21 cores=1,3,5,7
/proc/3742/task/3753/stat : 3753 (java) S 3740 3742 2924 0 -1 4202560 9256 0 0 0 21 0 0 0 15 0 22 0 831293341 10811523072 369010 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491840 0 0 0 16800975 18446604461875049536 0 0 -1 3 0 0 0
[pid=3742/tid=3754] ppid=3740 vsize=10558128 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3754/stat : 3754 (java) S 3740 3742 2924 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831293341 10811523072 369010 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 1 0 0 0
[pid=3742/tid=3755] ppid=3740 vsize=10558128 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3755/stat : 3755 (java) S 3740 3742 2924 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831293341 10811523072 369010 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 1 0 0 0
[pid=3742/tid=3756] ppid=3740 vsize=10558128 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3756/stat : 3756 (java) S 3740 3742 2924 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831293343 10811523072 369010 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699498929 0 4 0 16800975 18446604461875049536 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/3742/task/3747/stat : 3747 (java) S 3740 3742 2924 0 -1 4202560 4421 0 0 0 56 0 0 0 15 0 22 0 831293340 10811523072 971368 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 3 0 0 0
[pid=3742/tid=3748] ppid=3740 vsize=10558128 CPUtime=0.67 cores=1,3,5,7
/proc/3742/task/3748/stat : 3748 (java) S 3740 3742 2924 0 -1 4202560 6885 0 0 0 67 0 0 0 16 0 22 0 831293340 10811523072 971368 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 7 0 0 0
[pid=3742/tid=3749] ppid=3740 vsize=10558128 CPUtime=0.73 cores=1,3,5,7
/proc/3742/task/3749/stat : 3749 (java) S 3740 3742 2924 0 -1 4202560 9844 0 0 0 73 0 0 0 16 0 22 0 831293340 10811523072 971368 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 1 0 0 0
[pid=3742/tid=3750] ppid=3740 vsize=10558128 CPUtime=0.89 cores=1,3,5,7
/proc/3742/task/3750/stat : 3750 (java) S 3740 3742 2924 0 -1 4202560 12814 0 0 0 88 1 0 0 16 0 22 0 831293340 10811523072 971368 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 7 0 0 0
[pid=3742/tid=3751] ppid=3740 vsize=10558128 CPUtime=0.76 cores=1,3,5,7
/proc/3742/task/3751/stat : 3751 (java) S 3740 3742 2924 0 -1 4202560 14019 0 0 0 75 1 0 0 15 0 22 0 831293340 10811523072 971368 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 7 0 0 0
[pid=3742/tid=3752] ppid=3740 vsize=10558128 CPUtime=0.7 cores=1,3,5,7
/proc/3742/task/3752/stat : 3752 (java) S 3740 3742 2924 0 -1 4202560 10450 0 0 0 69 1 0 0 15 0 22 0 831293340 10811523072 971368 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 3 0 0 0
[pid=3742/tid=3753] ppid=3740 vsize=10558128 CPUtime=22.45 cores=1,3,5,7
/proc/3742/task/3753/stat : 3753 (java) S 3740 3742 2924 0 -1 4202560 50775 0 0 0 2240 5 0 0 15 0 22 0 831293341 10811523072 971368 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491840 0 0 0 16800975 18446604461875049536 0 0 -1 5 0 0 0
[pid=3742/tid=3754] ppid=3740 vsize=10558128 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3754/stat : 3754 (java) S 3740 3742 2924 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831293341 10811523072 971368 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 1 0 0 0
[pid=3742/tid=3755] ppid=3740 vsize=10558128 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3755/stat : 3755 (java) S 3740 3742 2924 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831293341 10811523072 971368 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 1 0 0 0
[pid=3742/tid=3756] ppid=3740 vsize=10558128 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3756/stat : 3756 (java) S 3740 3742 2924 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831293343 10811523072 971368 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699498929 0 4 0 16800975 18446604461875049536 0 0 -1 1 0 0 0
[pid=3742/tid=3757] ppid=3740 vsize=10558128 CPUtime=1.46 cores=1,3,5,7
/proc/3742/task/3757/stat : 3757 (java) S 3740 3742 2924 0 -1 4202560 8132 0 0 0 145 1 0 0 15 0 22 0 831293343 10811523072 971368 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 1 0 0 0
[pid=3742/tid=3758] ppid=3740 vsize=10558128 CPUtime=1.68 cores=1,3,5,7
/proc/3742/task/3758/stat : 3758 (java) S 3740 3742 2924 0 -1 4202560 8903 0 0 0 167 1 0 0 15 0 22 0 831293343 10811523072 971368 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 5 0 0 0
[pid=3742/tid=3759] ppid=3740 vsize=10558128 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3759/stat : 3759 (java) S 3740 3742 2924 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831293343 10811523072 971368 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 1 0 0 0
[pid=3742/tid=3760] ppid=3740 vsize=10558128 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3760/stat : 3760 (java) S 3740 3742 2924 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 831293343 10811523072 971368 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491840 0 4 0 16800975 18446604461875049536 0 0 -1 3 0 0 0
[pid=3742/tid=3761] ppid=3740 vsize=10558128 CPUtime=796.91 cores=1,3,5,7
/proc/3742/task/3761/stat : 3761 (java) R 3740 3742 2924 0 -1 4202560 1295 0 0 0 79691 0 0 0 25 0 22 0 831293460 10811523072 971368 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 46912505863787 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3742/tid=3762] ppid=3740 vsize=10558128 CPUtime=796.93 cores=1,3,5,7
/proc/3742/task/3762/stat : 3762 (java) R 3740 3742 2924 0 -1 4202560 760593 0 0 0 79609 84 0 0 25 0 22 0 831293460 10811523072 971368 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 46912506144025 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3742/tid=3763] ppid=3740 vsize=10558128 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3763/stat : 3763 (java) S 3740 3742 2924 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 831293465 10811523072 971368 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491840 0 4 0 16800975 18446604461875049536 0 0 -1 3 0 0 0
[pid=3742/tid=3764] ppid=3740 vsize=10558128 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3764/stat : 3764 (java) S 3740 3742 2924 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 831293466 10811523072 971368 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491840 0 4 0 16800975 18446604461875049536 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1626.43
Current children cumulated vsize (KiB) 10558128
[startup+882.302 s]
/proc/loadavg: 4.03 3.90 3.68 5/618 3962
/proc/meminfo: memFree=15674792/32951124 swapFree=58940260/67111528
[pid=3742] ppid=3740 vsize=10558128 CPUtime=1744.83 cores=1,3,5,7
/proc/3742/stat : 3742 (java) S 3740 3742 2924 0 -1 4202496 985132 0 1 0 174371 112 0 0 22 0 22 0 831293337 10811523072 973065 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3742/statm: 2639532 973065 2267 9 0 2630266 0
[pid=3742/tid=3743] ppid=3740 vsize=10558128 CPUtime=1.18 cores=1,3,5,7
/proc/3742/task/3743/stat : 3743 (java) S 3740 3742 2924 0 -1 4202560 79461 0 1 0 109 9 0 0 15 0 22 0 831293338 10811523072 973065 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491840 0 4 0 16800975 18446604461875049536 0 0 -1 1 0 0 0
[pid=3742/tid=3745] ppid=3740 vsize=10558128 CPUtime=0.69 cores=1,3,5,7
/proc/3742/task/3745/stat : 3745 (java) S 3740 3742 2924 0 -1 4202560 7969 0 0 0 69 0 0 0 15 0 22 0 831293340 10811523072 973065 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 7 0 0 0
[pid=3742/tid=3746] ppid=3740 vsize=10558128 CPUtime=0.77 cores=1,3,5,7
/proc/3742/task/3746/stat : 3746 (java) S 3740 3742 2924 0 -1 4202560 6641 0 0 0 76 1 0 0 15 0 22 0 831293340 10811523072 973065 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 1 0 0 0
[pid=3742/tid=3747] ppid=3740 vsize=10558128 CPUtime=0.63 cores=1,3,5,7
/proc/3742/task/3747/stat : 3747 (java) S 3740 3742 2924 0 -1 4202560 5023 0 0 0 63 0 0 0 16 0 22 0 831293340 10811523072 973065 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 3 0 0 0
[pid=3742/tid=3748] ppid=3740 vsize=10558128 CPUtime=0.72 cores=1,3,5,7
/proc/3742/task/3748/stat : 3748 (java) S 3740 3742 2924 0 -1 4202560 7235 0 0 0 72 0 0 0 15 0 22 0 831293340 10811523072 973065 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 3 0 0 0
[pid=3742/tid=3749] ppid=3740 vsize=10558128 CPUtime=0.82 cores=1,3,5,7
/proc/3742/task/3749/stat : 3749 (java) S 3740 3742 2924 0 -1 4202560 9857 0 0 0 82 0 0 0 16 0 22 0 831293340 10811523072 973065 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 1 0 0 0
[pid=3742/tid=3750] ppid=3740 vsize=10558128 CPUtime=0.96 cores=1,3,5,7
/proc/3742/task/3750/stat : 3750 (java) S 3740 3742 2924 0 -1 4202560 13555 0 0 0 95 1 0 0 16 0 22 0 831293340 10811523072 973065 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 7 0 0 0
[pid=3742/tid=3751] ppid=3740 vsize=10558128 CPUtime=0.8 cores=1,3,5,7
/proc/3742/task/3751/stat : 3751 (java) S 3740 3742 2924 0 -1 4202560 14027 0 0 0 79 1 0 0 15 0 22 0 831293340 10811523072 973065 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 3 0 0 0
[pid=3742/tid=3752] ppid=3740 vsize=10558128 CPUtime=0.73 cores=1,3,5,7
/proc/3742/task/3752/stat : 3752 (java) S 3740 3742 2924 0 -1 4202560 10450 0 0 0 72 1 0 0 16 0 22 0 831293340 10811523072 973065 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 3 0 0 0
[pid=3742/tid=3753] ppid=3740 vsize=10558128 CPUtime=24.26 cores=1,3,5,7
/proc/3742/task/3753/stat : 3753 (java) S 3740 3742 2924 0 -1 4202560 50779 0 0 0 2421 5 0 0 16 0 22 0 831293341 10811523072 973065 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491840 0 0 0 16800975 18446604461875049536 0 0 -1 5 0 0 0
[pid=3742/tid=3754] ppid=3740 vsize=10558128 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3754/stat : 3754 (java) S 3740 3742 2924 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831293341 10811523072 973065 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 1 0 0 0
[pid=3742/tid=3755] ppid=3740 vsize=10558128 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3755/stat : 3755 (java) S 3740 3742 2924 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831293341 10811523072 973065 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 1 0 0 0
[pid=3742/tid=3756] ppid=3740 vsize=10558128 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3756/stat : 3756 (java) S 3740 3742 2924 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831293343 10811523072 973065 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699498929 0 4 0 16800975 18446604461875049536 0 0 -1 1 0 0 0
[pid=3742/tid=3757] ppid=3740 vsize=10558128 CPUtime=1.46 cores=1,3,5,7
/proc/3742/task/3757/stat : 3757 (java) S 3740 3742 2924 0 -1 4202560 8132 0 0 0 145 1 0 0 15 0 22 0 831293343 10811523072 973065 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 1 0 0 0
[pid=3742/tid=3758] ppid=3740 vsize=10558128 CPUtime=1.68 cores=1,3,5,7
/proc/3742/task/3758/stat : 3758 (java) S 3740 3742 2924 0 -1 4202560 8903 0 0 0 167 1 0 0 15 0 22 0 831293343 10811523072 973065 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 5 0 0 0
[pid=3742/tid=3759] ppid=3740 vsize=10558128 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3759/stat : 3759 (java) S 3740 3742 2924 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831293343 10811523072 973065 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 1 0 0 0
[pid=3742/tid=3760] ppid=3740 vsize=10558128 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3760/stat : 3760 (java) S 3740 3742 2924 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 831293343 10811523072 973065 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491840 0 4 0 16800975 18446604461875049536 0 0 -1 3 0 0 0
[pid=3742/tid=3761] ppid=3740 vsize=10558128 CPUtime=854.98 cores=1,3,5,7
/proc/3742/task/3761/stat : 3761 (java) R 3740 3742 2924 0 -1 4202560 1300 0 0 0 85498 0 0 0 18 0 22 0 831293460 10811523072 973065 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 46912506128324 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3742/tid=3762] ppid=3740 vsize=10558128 CPUtime=855 cores=1,3,5,7
/proc/3742/task/3762/stat : 3762 (java) R 3740 3742 2924 0 -1 4202560 760593 0 0 0 85416 84 0 0 18 0 22 0 831293460 10811523072 973065 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 46912506144311 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3742/tid=3763] ppid=3740 vsize=10558128 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3763/stat : 3763 (java) S 3740 3742 2924 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 831293465 10811523072 973065 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491840 0 4 0 16800975 18446604461875049536 0 0 -1 3 0 0 0
[pid=3742/tid=3764] ppid=3740 vsize=10558128 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3764/stat : 3764 (java) S 3740 3742 2924 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 831293466 10811523072 973065 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491840 0 4 0 16800975 18446604461875049536 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1744.83
Current children cumulated vsize (KiB) 10558128
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+909.901 s]
/proc/loadavg: 4.07 3.92 3.69 5/618 3962
/proc/meminfo: memFree=15643164/32951124 swapFree=58940260/67111528
[pid=3742] ppid=3740 vsize=10558128 CPUtime=1800.09 cores=1,3,5,7
/proc/3742/stat : 3742 (java) S 3740 3742 2924 0 -1 4202496 985137 0 1 0 179897 112 0 0 22 0 22 0 831293337 10811523072 973065 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3742/statm: 2639532 973065 2267 9 0 2630266 0
[pid=3742/tid=3743] ppid=3740 vsize=10558128 CPUtime=1.18 cores=1,3,5,7
/proc/3742/task/3743/stat : 3743 (java) S 3740 3742 2924 0 -1 4202560 79461 0 1 0 109 9 0 0 15 0 22 0 831293338 10811523072 973065 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491840 0 4 0 16800975 18446604461875049536 0 0 -1 1 0 0 0
[pid=3742/tid=3745] ppid=3740 vsize=10558128 CPUtime=0.71 cores=1,3,5,7
/proc/3742/task/3745/stat : 3745 (java) S 3740 3742 2924 0 -1 4202560 7969 0 0 0 71 0 0 0 16 0 22 0 831293340 10811523072 973065 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 7 0 0 0
[pid=3742/tid=3746] ppid=3740 vsize=10558128 CPUtime=0.79 cores=1,3,5,7
/proc/3742/task/3746/stat : 3746 (java) S 3740 3742 2924 0 -1 4202560 6641 0 0 0 78 1 0 0 16 0 22 0 831293340 10811523072 973065 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 1 0 0 0
[pid=3742/tid=3747] ppid=3740 vsize=10558128 CPUtime=0.66 cores=1,3,5,7
/proc/3742/task/3747/stat : 3747 (java) S 3740 3742 2924 0 -1 4202560 5023 0 0 0 66 0 0 0 16 0 22 0 831293340 10811523072 973065 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 3 0 0 0
[pid=3742/tid=3748] ppid=3740 vsize=10558128 CPUtime=0.72 cores=1,3,5,7
/proc/3742/task/3748/stat : 3748 (java) S 3740 3742 2924 0 -1 4202560 7235 0 0 0 72 0 0 0 16 0 22 0 831293340 10811523072 973065 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 3 0 0 0
[pid=3742/tid=3749] ppid=3740 vsize=10558128 CPUtime=0.84 cores=1,3,5,7
/proc/3742/task/3749/stat : 3749 (java) S 3740 3742 2924 0 -1 4202560 9857 0 0 0 84 0 0 0 16 0 22 0 831293340 10811523072 973065 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 5 0 0 0
[pid=3742/tid=3750] ppid=3740 vsize=10558128 CPUtime=0.96 cores=1,3,5,7
/proc/3742/task/3750/stat : 3750 (java) S 3740 3742 2924 0 -1 4202560 13555 0 0 0 95 1 0 0 16 0 22 0 831293340 10811523072 973065 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 7 0 0 0
[pid=3742/tid=3751] ppid=3740 vsize=10558128 CPUtime=0.8 cores=1,3,5,7
/proc/3742/task/3751/stat : 3751 (java) S 3740 3742 2924 0 -1 4202560 14027 0 0 0 79 1 0 0 15 0 22 0 831293340 10811523072 973065 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 3 0 0 0
[pid=3742/tid=3752] ppid=3740 vsize=10558128 CPUtime=0.73 cores=1,3,5,7
/proc/3742/task/3752/stat : 3752 (java) S 3740 3742 2924 0 -1 4202560 10450 0 0 0 72 1 0 0 15 0 22 0 831293340 10811523072 973065 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 1 0 0 0
[pid=3742/tid=3753] ppid=3740 vsize=10558128 CPUtime=24.26 cores=1,3,5,7
/proc/3742/task/3753/stat : 3753 (java) S 3740 3742 2924 0 -1 4202560 50781 0 0 0 2421 5 0 0 15 0 22 0 831293341 10811523072 973065 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491840 0 0 0 16800975 18446604461875049536 0 0 -1 5 0 0 0
[pid=3742/tid=3754] ppid=3740 vsize=10558128 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3754/stat : 3754 (java) S 3740 3742 2924 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831293341 10811523072 973065 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 1 0 0 0
[pid=3742/tid=3755] ppid=3740 vsize=10558128 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3755/stat : 3755 (java) S 3740 3742 2924 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 831293341 10811523072 973065 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 1 0 0 0
[pid=3742/tid=3756] ppid=3740 vsize=10558128 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3756/stat : 3756 (java) S 3740 3742 2924 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831293343 10811523072 973065 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699498929 0 4 0 16800975 18446604461875049536 0 0 -1 1 0 0 0
[pid=3742/tid=3757] ppid=3740 vsize=10558128 CPUtime=1.46 cores=1,3,5,7
/proc/3742/task/3757/stat : 3757 (java) S 3740 3742 2924 0 -1 4202560 8132 0 0 0 145 1 0 0 15 0 22 0 831293343 10811523072 973065 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 1 0 0 0
[pid=3742/tid=3758] ppid=3740 vsize=10558128 CPUtime=1.68 cores=1,3,5,7
/proc/3742/task/3758/stat : 3758 (java) S 3740 3742 2924 0 -1 4202560 8903 0 0 0 167 1 0 0 15 0 22 0 831293343 10811523072 973065 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 5 0 0 0
[pid=3742/tid=3759] ppid=3740 vsize=10558128 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3759/stat : 3759 (java) S 3740 3742 2924 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831293343 10811523072 973065 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491225 0 4 0 16800975 18446604461875049536 0 0 -1 1 0 0 0
[pid=3742/tid=3760] ppid=3740 vsize=10558128 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3760/stat : 3760 (java) S 3740 3742 2924 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 831293343 10811523072 973065 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491840 0 4 0 16800975 18446604461875049536 0 0 -1 3 0 0 0
[pid=3742/tid=3761] ppid=3740 vsize=10558128 CPUtime=882.58 cores=1,3,5,7
/proc/3742/task/3761/stat : 3761 (java) R 3740 3742 2924 0 -1 4202560 1301 0 0 0 88258 0 0 0 25 0 22 0 831293460 10811523072 973065 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 46912506138469 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3742/tid=3762] ppid=3740 vsize=10558128 CPUtime=882.6 cores=1,3,5,7
/proc/3742/task/3762/stat : 3762 (java) R 3740 3742 2924 0 -1 4202560 760593 0 0 0 88176 84 0 0 25 0 22 0 831293460 10811523072 973065 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 46912506143936 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3742/tid=3763] ppid=3740 vsize=10558128 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3763/stat : 3763 (java) S 3740 3742 2924 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 831293465 10811523072 973065 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491840 0 4 0 16800975 18446604461875049536 0 0 -1 3 0 0 0
[pid=3742/tid=3764] ppid=3740 vsize=10558128 CPUtime=0 cores=1,3,5,7
/proc/3742/task/3764/stat : 3764 (java) S 3740 3742 2924 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 831293466 10811523072 973065 33554432000 1073741824 1073778376 140733431702208 18446744073709551615 212699491840 0 4 0 16800975 18446604461875049536 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10558128
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+910.028 s]
/proc/loadavg: 4.07 3.92 3.69 5/618 3962
/proc/meminfo: memFree=15643164/32951124 swapFree=58940260/67111528
[pid=3742] ppid=3740 vsize=0 CPUtime=1800.3 cores=1,3,5,7
/proc/3742/stat : 3742 (java) Z 3740 3742 2924 0 -1 4203548 985166 0 1 0 179911 119 0 0 17 0 2 0 831293337 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3742/statm: 0 0 0 0 0 0 0
[pid=3742/tid=3758] ppid=3740 vsize=0 CPUtime=1.77 cores=1,3,5,7
/proc/3742/task/3758/stat : 3758 (java) R 3740 3742 2924 0 -1 4203588 8903 0 0 0 169 8 0 0 16 0 2 0 831293343 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 0
[startup+910.101 s]
/proc/loadavg: 4.07 3.92 3.69 5/618 3962
/proc/meminfo: memFree=15643164/32951124 swapFree=58940260/67111528
[pid=3742] ppid=3740 vsize=0 CPUtime=1800.38 cores=1,3,5,7
/proc/3742/stat : 3742 (java) Z 3740 3742 2924 0 -1 4203548 985166 0 1 0 179911 127 0 0 17 0 2 0 831293337 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/3742/statm: 0 0 0 0 0 0 0
[pid=3742/tid=3758] ppid=3740 vsize=0 CPUtime=1.84 cores=1,3,5,7
/proc/3742/task/3758/stat : 3758 (java) R 3740 3742 2924 0 -1 4203588 8903 0 0 0 169 15 0 0 16 0 2 0 831293343 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.38
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 910.116
CPU time (s): 1800.4
CPU user time (s): 1799.11
CPU system time (s): 1.2868
CPU usage (%): 197.821
Max. virtual memory (cumulated for all children) (KiB): 10558128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.11
system time used= 1.2868
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 985166
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= 23609
involuntary context switches= 22149
runsolver used 5.33619 second user time and 12.887 second system time
The end