runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13001 MiB free)
  memory of node 1: 16384 MiB (12576 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281458-1503187091/watcher-4281458-1503187091 -o /tmp/evaluation-result-4281458-1503187091/solver-4281458-1503187091 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503180405-3599 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 304060344 HOME/instance-4281458-1503187091.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=10355, runsolver pid=10352
Current StackSize limit: 8192 KiB


[startup+0.100139 s]*
/proc/loadavg: 4.48 4.79 5.92 3/200 10376
/proc/meminfo: memFree=26175996/32770624 swapFree=67108860/67108860
[pid=10355] ppid=10352 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/10355/stat : 10355 (xcsp3-exec) S 10352 10355 3572 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151796763 9740288 345 33554432000 4194304 5098028 140723822603520 140723822601624 140407747490428 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37298176 140723822605419 140723822605628 140723822605628 140723822608363 0
/proc/10355/statm: 2378 345 289 221 0 87 0
[pid=10357] ppid=10355 vsize=25999808 memory=28656 CPUtime=0.11 cores=0-7
/proc/10357/stat : 10357 (java) S 10355 10355 3572 0 -1 1077944320 5571 0 0 0 10 1 0 0 20 0 20 0 151796764 26623803392 7164 33554432000 4194304 4196468 140723469515136 140723469497680 139629321203447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
/proc/10357/statm: 6499952 7164 2841 1 0 6488269 0
[pid=10357/tid=10358] ppid=10355 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/10357/task/10358/stat : 10358 (java) R 10355 10355 3572 0 -1 4202560 3598 0 0 0 8 1 0 0 20 0 20 0 151796764 26623803392 7164 33554432000 4194304 4196468 140723469515136 139629325435696 139629321225373 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10359] ppid=10355 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/10357/task/10359/stat : 10359 (java) S 10355 10355 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151796765 26623803392 7164 33554432000 4194304 4196468 140723469515136 139629273823760 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10360] ppid=10355 vsize=25999808 memory=140268679751296 CPUtime=0 cores=0-7
/proc/10357/task/10360/stat : 10360 (java) S 10355 10355 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151796765 26623803392 7164 33554432000 4194304 4196468 140723469515136 139629272771216 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10361] ppid=10355 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10357/task/10361/stat : 10361 (java) S 10355 10355 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151796765 26623803392 7164 33554432000 4194304 4196468 140723469515136 139629271718160 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10362] ppid=10355 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10357/task/10362/stat : 10362 (java) S 10355 10355 3572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151796765 26623803392 7164 33554432000 4194304 4196468 140723469515136 139629270665616 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10363] ppid=10355 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10357/task/10363/stat : 10363 (java) S 10355 10355 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151796765 26623803392 7164 33554432000 4194304 4196468 140723469515136 139629269613584 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10364] ppid=10355 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/10357/task/10364/stat : 10364 (java) S 10355 10355 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151796765 26623803392 7164 33554432000 4194304 4196468 140723469515136 139629268561040 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10365] ppid=10355 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10357/task/10365/stat : 10365 (java) S 10355 10355 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151796765 26623803392 7164 33554432000 4194304 4196468 140723469515136 139629267507984 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10366] ppid=10355 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10357/task/10366/stat : 10366 (java) S 10355 10355 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151796765 26623803392 7164 33554432000 4194304 4196468 140723469515136 139629266455440 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10367] ppid=10355 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10357/task/10367/stat : 10367 (java) S 10355 10355 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151796766 26623803392 7164 33554432000 4194304 4196468 140723469515136 139628716939504 139629321214594 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10368] ppid=10355 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10357/task/10368/stat : 10368 (java) S 10355 10355 3572 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 151796767 26623803392 7164 33554432000 4194304 4196468 140723469515136 139627457930400 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10369] ppid=10355 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10357/task/10369/stat : 10369 (java) S 10355 10355 3572 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151796767 26623803392 7164 33554432000 4194304 4196468 140723469515136 139627456877296 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10370] ppid=10355 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10357/task/10370/stat : 10370 (java) S 10355 10355 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151796769 26623803392 7164 33554432000 4194304 4196468 140723469515136 139627455825872 139629321222043 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10371] ppid=10355 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10357/task/10371/stat : 10371 (java) S 10355 10355 3572 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 151796769 26623803392 7164 33554432000 4194304 4196468 140723469515136 139627454774000 139629321214594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10372] ppid=10355 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10357/task/10372/stat : 10372 (java) S 10355 10355 3572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151796769 26623803392 7164 33554432000 4194304 4196468 140723469515136 139627453721456 139629321214594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10373] ppid=10355 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10357/task/10373/stat : 10373 (java) R 10355 10355 3572 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 151796769 26623803392 7164 33554432000 4194304 4196468 140723469515136 139627452668400 139629321214594 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10374] ppid=10355 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/10357/task/10374/stat : 10374 (java) S 10355 10355 3572 0 -1 1077944384 258 0 0 0 1 0 0 0 20 0 20 0 151796769 26623803392 7164 33554432000 4194304 4196468 140723469515136 139627451615856 139629321214594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10375] ppid=10355 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/10357/task/10375/stat : 10375 (java) S 10355 10355 3572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151796770 26623803392 7164 33554432000 4194304 4196468 140723469515136 139627450563040 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10376] ppid=10355 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/10357/task/10376/stat : 10376 (java) S 10355 10355 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151796770 26623803392 7164 33554432000 4194304 4196468 140723469515136 139627449510576 139629321214594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 30036 KiB

[startup+0.210677 s]*
/proc/loadavg: 4.48 4.79 5.92 2/200 10376
/proc/meminfo: memFree=26165204/32770624 swapFree=67108860/67108860
[pid=10355] ppid=10352 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/10355/stat : 10355 (xcsp3-exec) S 10352 10355 3572 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151796763 9740288 345 33554432000 4194304 5098028 140723822603520 140723822601624 140407747490428 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37298176 140723822605419 140723822605628 140723822605628 140723822608363 0
/proc/10355/statm: 2378 345 289 221 0 87 0
[pid=10357] ppid=10355 vsize=26004064 memory=41292 CPUtime=0.33 cores=0-7
/proc/10357/stat : 10357 (java) S 10355 10355 3572 0 -1 1077944320 8320 0 0 0 31 2 0 0 20 0 20 0 151796764 26628161536 10323 33554432000 4194304 4196468 140723469515136 140723469497680 139629321203447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
/proc/10357/statm: 6501016 10323 3069 1 0 6488269 0
[pid=10357/tid=10358] ppid=10355 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/10357/task/10358/stat : 10358 (java) D 10355 10355 3572 0 -1 1077944384 5446 0 0 0 18 2 0 0 20 0 20 0 151796764 26628161536 10344 33554432000 4194304 4196468 140723469515136 139629325414256 139629313882669 0 4 0 16800975 18446744072101625380 0 0 -1 6 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10359] ppid=10355 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/10357/task/10359/stat : 10359 (java) S 10355 10355 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151796765 26628161536 10344 33554432000 4194304 4196468 140723469515136 139629273823760 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10360] ppid=10355 vsize=26004096 memory=3473040341032527520 CPUtime=0 cores=0-7
/proc/10357/task/10360/stat : 10360 (java) S 10355 10355 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151796765 26628194304 10344 33554432000 4194304 4196468 140723469515136 139629272771216 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10361] ppid=10355 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/10357/task/10361/stat : 10361 (java) S 10355 10355 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151796765 26628194304 10344 33554432000 4194304 4196468 140723469515136 139629271718160 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10362] ppid=10355 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10357/task/10362/stat : 10362 (java) S 10355 10355 3572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151796765 26628161536 10344 33554432000 4194304 4196468 140723469515136 139629270665616 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10363] ppid=10355 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10357/task/10363/stat : 10363 (java) S 10355 10355 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151796765 26628161536 10344 33554432000 4194304 4196468 140723469515136 139629269613584 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10364] ppid=10355 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/10357/task/10364/stat : 10364 (java) S 10355 10355 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151796765 26628161536 10344 33554432000 4194304 4196468 140723469515136 139629268561040 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10365] ppid=10355 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10357/task/10365/stat : 10365 (java) S 10355 10355 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151796765 26628161536 10344 33554432000 4194304 4196468 140723469515136 139629267507984 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10366] ppid=10355 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10357/task/10366/stat : 10366 (java) S 10355 10355 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151796765 26628161536 10344 33554432000 4194304 4196468 140723469515136 139629266455440 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10367] ppid=10355 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10357/task/10367/stat : 10367 (java) S 10355 10355 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151796766 26628161536 10344 33554432000 4194304 4196468 140723469515136 139628716939504 139629321214594 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10368] ppid=10355 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/10357/task/10368/stat : 10368 (java) S 10355 10355 3572 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 151796767 26628194304 10344 33554432000 4194304 4196468 140723469515136 139627457930400 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10369] ppid=10355 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/10357/task/10369/stat : 10369 (java) S 10355 10355 3572 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151796767 26628194304 10344 33554432000 4194304 4196468 140723469515136 139627456877296 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10370] ppid=10355 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10357/task/10370/stat : 10370 (java) S 10355 10355 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151796769 26628161536 10344 33554432000 4194304 4196468 140723469515136 139627455825872 139629321222043 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10371] ppid=10355 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/10357/task/10371/stat : 10371 (java) S 10355 10355 3572 0 -1 1077944384 341 0 0 0 1 0 0 0 20 0 20 0 151796769 26628161536 10344 33554432000 4194304 4196468 140723469515136 139627454774000 139629321214594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10372] ppid=10355 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/10357/task/10372/stat : 10372 (java) S 10355 10355 3572 0 -1 1077944384 88 0 0 0 1 0 0 0 20 0 20 0 151796769 26628161536 10344 33554432000 4194304 4196468 140723469515136 139627453721456 139629321214594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10373] ppid=10355 vsize=26004064 memory=-1 CPUtime=0.02 cores=0-7
/proc/10357/task/10373/stat : 10373 (java) S 10355 10355 3572 0 -1 1077944384 472 0 0 0 2 0 0 0 20 0 20 0 151796769 26628161536 10344 33554432000 4194304 4196468 140723469515136 139627452668400 139629321214594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10374] ppid=10355 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/10357/task/10374/stat : 10374 (java) S 10355 10355 3572 0 -1 1077944384 695 0 0 0 8 0 0 0 20 0 20 0 151796769 26628161536 10344 33554432000 4194304 4196468 140723469515136 139627451615856 139629321214594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10375] ppid=10355 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10357/task/10375/stat : 10375 (java) S 10355 10355 3572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151796770 26628161536 10344 33554432000 4194304 4196468 140723469515136 139627450563040 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10376] ppid=10355 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/10357/task/10376/stat : 10376 (java) S 10355 10355 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151796770 26628194304 10344 33554432000 4194304 4196468 140723469515136 139627449510576 139629321214594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 42672 KiB

[startup+0.310284 s]*
/proc/loadavg: 4.48 4.79 5.92 4/200 10376
/proc/meminfo: memFree=26160428/32770624 swapFree=67108860/67108860
[pid=10355] ppid=10352 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/10355/stat : 10355 (xcsp3-exec) S 10352 10355 3572 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151796763 9740288 345 33554432000 4194304 5098028 140723822603520 140723822601624 140407747490428 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37298176 140723822605419 140723822605628 140723822605628 140723822608363 0
/proc/10355/statm: 2378 345 289 221 0 87 0
[pid=10357] ppid=10355 vsize=26004064 memory=46188 CPUtime=0.5 cores=0-7
/proc/10357/stat : 10357 (java) S 10355 10355 3572 0 -1 1077944320 9184 0 0 0 47 3 0 0 20 0 20 0 151796764 26628161536 11547 33554432000 4194304 4196468 140723469515136 140723469497680 139629321203447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
/proc/10357/statm: 6501016 11547 3095 1 0 6488269 0
[pid=10357/tid=10358] ppid=10355 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/10357/task/10358/stat : 10358 (java) R 10355 10355 3572 0 -1 4202560 6104 0 0 0 27 2 0 0 20 0 20 0 151796764 26628161536 12059 33554432000 4194304 4196468 140723469515136 139629325441440 139628933924819 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10359] ppid=10355 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10357/task/10359/stat : 10359 (java) S 10355 10355 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151796765 26628161536 12059 33554432000 4194304 4196468 140723469515136 139629273823760 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10360] ppid=10355 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10357/task/10360/stat : 10360 (java) S 10355 10355 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151796765 26628161536 12059 33554432000 4194304 4196468 140723469515136 139629272771216 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10361] ppid=10355 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10357/task/10361/stat : 10361 (java) S 10355 10355 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151796765 26628161536 12059 33554432000 4194304 4196468 140723469515136 139629271718160 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10362] ppid=10355 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10357/task/10362/stat : 10362 (java) S 10355 10355 3572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151796765 26628161536 12059 33554432000 4194304 4196468 140723469515136 139629270665616 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10363] ppid=10355 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/10357/task/10363/stat : 10363 (java) S 10355 10355 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151796765 26628161536 12059 33554432000 4194304 4196468 140723469515136 139629269613584 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10364] ppid=10355 vsize=26004064 memory=140268531708847 CPUtime=0 cores=0-7
/proc/10357/task/10364/stat : 10364 (java) S 10355 10355 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151796765 26628161536 12059 33554432000 4194304 4196468 140723469515136 139629268561040 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10365] ppid=10355 vsize=26004064 memory=140268531711152 CPUtime=0 cores=0-7
/proc/10357/task/10365/stat : 10365 (java) S 10355 10355 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151796765 26628161536 12059 33554432000 4194304 4196468 140723469515136 139629267507984 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10366] ppid=10355 vsize=26004064 memory=140268531713456 CPUtime=0 cores=0-7
/proc/10357/task/10366/stat : 10366 (java) S 10355 10355 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151796765 26628161536 12059 33554432000 4194304 4196468 140723469515136 139629266455440 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10367] ppid=10355 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10357/task/10367/stat : 10367 (java) S 10355 10355 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151796766 26628161536 12059 33554432000 4194304 4196468 140723469515136 139628716939504 139629321214594 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10368] ppid=10355 vsize=26004064 memory=280537063433872 CPUtime=0 cores=0-7
/proc/10357/task/10368/stat : 10368 (java) S 10355 10355 3572 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 151796767 26628161536 12059 33554432000 4194304 4196468 140723469515136 139627457930400 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10369] ppid=10355 vsize=26004064 memory=280537063440784 CPUtime=0 cores=0-7
/proc/10357/task/10369/stat : 10369 (java) S 10355 10355 3572 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151796767 26628161536 12059 33554432000 4194304 4196468 140723469515136 139627456877296 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10370] ppid=10355 vsize=26004064 memory=280537063382064 CPUtime=0 cores=0-7
/proc/10357/task/10370/stat : 10370 (java) S 10355 10355 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151796769 26628161536 12059 33554432000 4194304 4196468 140723469515136 139627455825872 139629321222043 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10371] ppid=10355 vsize=26004064 memory=280537063454608 CPUtime=0.01 cores=0-7
/proc/10357/task/10371/stat : 10371 (java) S 10355 10355 3572 0 -1 1077944384 341 0 0 0 1 0 0 0 20 0 20 0 151796769 26628161536 12059 33554432000 4194304 4196468 140723469515136 139627454774000 139629321214594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10372] ppid=10355 vsize=26004064 memory=280537063461520 CPUtime=0.02 cores=0-7
/proc/10357/task/10372/stat : 10372 (java) R 10355 10355 3572 0 -1 1077944384 99 0 0 0 2 0 0 0 20 0 20 0 151796769 26628161536 12059 33554432000 4194304 4196468 140723469515136 139627453721456 139629321214594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10373] ppid=10355 vsize=26004064 memory=280537063459216 CPUtime=0.03 cores=0-7
/proc/10357/task/10373/stat : 10373 (java) R 10355 10355 3572 0 -1 4202560 541 0 0 0 3 0 0 0 20 0 20 0 151796769 26628161536 12059 33554432000 4194304 4196468 140723469515136 139627452668400 139629321215382 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10374] ppid=10355 vsize=26004064 memory=280537063475376 CPUtime=0.12 cores=0-7
/proc/10357/task/10374/stat : 10374 (java) R 10355 10355 3572 0 -1 4202560 814 0 0 0 12 0 0 0 20 0 20 0 151796769 26628161536 12059 33554432000 4194304 4196468 140723469515136 139627451611808 139629321215382 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10375] ppid=10355 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/10357/task/10375/stat : 10375 (java) S 10355 10355 3572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151796770 26628161536 12059 33554432000 4194304 4196468 140723469515136 139627450563040 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10376] ppid=10355 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/10357/task/10376/stat : 10376 (java) S 10355 10355 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151796770 26628161536 12059 33554432000 4194304 4196468 140723469515136 139627449510576 139629321214594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47568 KiB

[startup+0.700981 s]
/proc/loadavg: 4.48 4.79 5.92 5/200 10376
/proc/meminfo: memFree=26134620/32770624 swapFree=67108860/67108860
[pid=10355] ppid=10352 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/10355/stat : 10355 (xcsp3-exec) S 10352 10355 3572 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151796763 9740288 345 33554432000 4194304 5098028 140723822603520 140723822601624 140407747490428 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37298176 140723822605419 140723822605628 140723822605628 140723822608363 0
/proc/10355/statm: 2378 345 289 221 0 87 0
[pid=10357] ppid=10355 vsize=26006188 memory=96584 CPUtime=2.04 cores=0-7
/proc/10357/stat : 10357 (java) S 10355 10355 3572 0 -1 1077944320 13746 0 0 0 199 5 0 0 20 0 20 0 151796764 26630336512 24146 33554432000 4194304 4196468 140723469515136 140723469497680 139629321203447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
/proc/10357/statm: 6501547 24146 3197 1 0 6488781 0
[pid=10357/tid=10358] ppid=10355 vsize=26006188 memory=280537063833264 CPUtime=0.67 cores=0-7
/proc/10357/task/10358/stat : 10358 (java) R 10355 10355 3572 0 -1 4202560 6717 0 0 0 64 3 0 0 20 0 20 0 151796764 26630336512 24146 33554432000 4194304 4196468 140723469515136 139629325439456 139628936382287 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10359] ppid=10355 vsize=26006188 memory=140268531917680 CPUtime=0 cores=0-7
/proc/10357/task/10359/stat : 10359 (java) S 10355 10355 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151796765 26630336512 24146 33554432000 4194304 4196468 140723469515136 139629273823760 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10360] ppid=10355 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/10357/task/10360/stat : 10360 (java) S 10355 10355 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151796765 26630336512 24146 33554432000 4194304 4196468 140723469515136 139629272771216 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10361] ppid=10355 vsize=26006188 memory=1004 CPUtime=0 cores=0-7
/proc/10357/task/10361/stat : 10361 (java) S 10355 10355 3572 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151796765 26630336512 24146 33554432000 4194304 4196468 140723469515136 139629271718160 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0

################
# More data... #
################

[pid=10357/tid=10440] ppid=10355 vsize=26538700 memory=2263092 CPUtime=144.14 cores=0-7
/proc/10357/task/10440/stat : 10440 (java) R 10355 10355 3572 0 -1 4202560 3994 0 0 0 14396 18 0 0 20 0 28 0 151798529 27175628800 565773 33554432000 4194304 4196468 140723469515136 139626829279088 139628941024702 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
Current children cumulated CPU time: 1288.22 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2264472 KiB

[startup+222.302 s]
/proc/loadavg: 8.22 6.68 6.44 9/207 10440
/proc/meminfo: memFree=23933080/32770624 swapFree=67108860/67108860
[pid=10355] ppid=10352 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/10355/stat : 10355 (xcsp3-exec) S 10352 10355 3572 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151796763 9740288 345 33554432000 4194304 5098028 140723822603520 140723822601624 140407747490428 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37298176 140723822605419 140723822605628 140723822605628 140723822608363 0
/proc/10355/statm: 2378 345 289 221 0 87 0
[pid=10357] ppid=10355 vsize=26538700 memory=2273708 CPUtime=1766.75 cores=0-7
/proc/10357/stat : 10357 (java) S 10355 10355 3572 0 -1 1077944320 75308 0 0 0 176492 183 0 0 20 0 28 0 151796764 27175628800 568427 33554432000 4194304 4196468 140723469515136 140723469497680 139629321203447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
/proc/10357/statm: 6634675 568427 3287 1 0 6621909 0
[pid=10357/tid=10358] ppid=10355 vsize=26538700 memory=1380 CPUtime=1.24 cores=0-7
/proc/10357/task/10358/stat : 10358 (java) S 10355 10355 3572 0 -1 1077944384 7166 0 0 0 119 5 0 0 20 0 28 0 151796764 27175628800 568427 33554432000 4194304 4196468 140723469515136 139629325444224 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10359] ppid=10355 vsize=26538700 memory=2269100 CPUtime=0.17 cores=0-7
/proc/10357/task/10359/stat : 10359 (java) S 10355 10355 3572 0 -1 1077944384 631 0 0 0 11 6 0 0 20 0 28 0 151796765 27175628800 568427 33554432000 4194304 4196468 140723469515136 139629273823760 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10360] ppid=10355 vsize=26538700 memory=2273708 CPUtime=0.19 cores=0-7
/proc/10357/task/10360/stat : 10360 (java) S 10355 10355 3572 0 -1 1077944384 1985 0 0 0 11 8 0 0 20 0 28 0 151796765 27175628800 568427 33554432000 4194304 4196468 140723469515136 139629272771216 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10361] ppid=10355 vsize=26538700 memory=2270200 CPUtime=0.19 cores=0-7
/proc/10357/task/10361/stat : 10361 (java) S 10355 10355 3572 0 -1 1077944384 604 0 0 0 12 7 0 0 20 0 28 0 151796765 27175628800 568427 33554432000 4194304 4196468 140723469515136 139629271718160 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10362] ppid=10355 vsize=26538700 memory=42316 CPUtime=0.18 cores=0-7
/proc/10357/task/10362/stat : 10362 (java) S 10355 10355 3572 0 -1 1077944384 850 0 0 0 11 7 0 0 20 0 28 0 151796765 27175628800 568427 33554432000 4194304 4196468 140723469515136 139629270665616 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10363] ppid=10355 vsize=26538700 memory=2332 CPUtime=0.2 cores=0-7
/proc/10357/task/10363/stat : 10363 (java) S 10355 10355 3572 0 -1 1077944384 2217 0 0 0 13 7 0 0 20 0 28 0 151796765 27175628800 568427 33554432000 4194304 4196468 140723469515136 139629269613584 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10364] ppid=10355 vsize=26538700 memory=6791534058613427641 CPUtime=0.19 cores=0-7
/proc/10357/task/10364/stat : 10364 (java) S 10355 10355 3572 0 -1 1077944384 780 0 0 0 12 7 0 0 20 0 28 0 151796765 27175628800 568427 33554432000 4194304 4196468 140723469515136 139629268561040 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10365] ppid=10355 vsize=26538700 memory=1380 CPUtime=0.2 cores=0-7
/proc/10357/task/10365/stat : 10365 (java) S 10355 10355 3572 0 -1 1077944384 1018 0 0 0 12 8 0 0 20 0 28 0 151796765 27175628800 568427 33554432000 4194304 4196468 140723469515136 139629267507984 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10366] ppid=10355 vsize=26538700 memory=1380 CPUtime=0.2 cores=0-7
/proc/10357/task/10366/stat : 10366 (java) S 10355 10355 3572 0 -1 1077944384 2291 0 0 0 12 8 0 0 20 0 28 0 151796765 27175628800 568427 33554432000 4194304 4196468 140723469515136 139629266455440 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10367] ppid=10355 vsize=26538700 memory=2269100 CPUtime=0.06 cores=0-7
/proc/10357/task/10367/stat : 10367 (java) S 10355 10355 3572 0 -1 1077944384 3837 0 0 0 3 3 0 0 20 0 28 0 151796766 27175628800 568427 33554432000 4194304 4196468 140723469515136 139628716939504 139629321214594 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10368] ppid=10355 vsize=26538700 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/10357/task/10368/stat : 10368 (java) S 10355 10355 3572 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 151796767 27175628800 568427 33554432000 4194304 4196468 140723469515136 139627457930464 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10369] ppid=10355 vsize=26538700 memory=42316 CPUtime=0 cores=0-7
/proc/10357/task/10369/stat : 10369 (java) S 10355 10355 3572 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 151796767 27175628800 568427 33554432000 4194304 4196468 140723469515136 139627456877312 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10370] ppid=10355 vsize=26538700 memory=4132 CPUtime=0 cores=0-7
/proc/10357/task/10370/stat : 10370 (java) S 10355 10355 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151796769 27175628800 568427 33554432000 4194304 4196468 140723469515136 139627455825872 139629321222043 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10371] ppid=10355 vsize=26538700 memory=42316 CPUtime=1.9 cores=0-7
/proc/10357/task/10371/stat : 10371 (java) S 10355 10355 3572 0 -1 1077944384 5071 0 0 0 189 1 0 0 20 0 28 0 151796769 27175628800 568427 33554432000 4194304 4196468 140723469515136 139627454774000 139629321214594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10372] ppid=10355 vsize=26538700 memory=1004 CPUtime=2.17 cores=0-7
/proc/10357/task/10372/stat : 10372 (java) S 10355 10355 3572 0 -1 1077944384 6347 0 0 0 216 1 0 0 20 0 28 0 151796769 27175628800 568427 33554432000 4194304 4196468 140723469515136 139627453721456 139629321214594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10373] ppid=10355 vsize=26538700 memory=1436 CPUtime=2.16 cores=0-7
/proc/10357/task/10373/stat : 10373 (java) S 10355 10355 3572 0 -1 1077944384 5470 0 0 0 216 0 0 0 20 0 28 0 151796769 27175628800 568427 33554432000 4194304 4196468 140723469515136 139627452668400 139629321214594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10374] ppid=10355 vsize=26538700 memory=0 CPUtime=0.7 cores=0-7
/proc/10357/task/10374/stat : 10374 (java) S 10355 10355 3572 0 -1 1077944384 5163 0 0 0 69 1 0 0 20 0 28 0 151796769 27175628800 568427 33554432000 4194304 4196468 140723469515136 139627451615856 139629321214594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10375] ppid=10355 vsize=26538700 memory=46659719400170 CPUtime=0 cores=0-7
/proc/10357/task/10375/stat : 10375 (java) S 10355 10355 3572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151796770 27175628800 568427 33554432000 4194304 4196468 140723469515136 139627450563040 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10376] ppid=10355 vsize=26538700 memory=2269100 CPUtime=0.05 cores=0-7
/proc/10357/task/10376/stat : 10376 (java) S 10355 10355 3572 0 -1 1077944384 1350 0 0 0 1 4 0 0 20 0 28 0 151796770 27175628800 568427 33554432000 4194304 4196468 140723469515136 139627449510576 139629321214594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10433] ppid=10355 vsize=26538700 memory=2270200 CPUtime=203.97 cores=0-7
/proc/10357/task/10433/stat : 10433 (java) R 10355 10355 3572 0 -1 4202560 851 0 0 0 20396 1 0 0 20 0 28 0 151798529 27175628800 568427 33554432000 4194304 4196468 140723469515136 139626835593792 139628941025287 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10434] ppid=10355 vsize=26538700 memory=1380 CPUtime=203.93 cores=0-7
/proc/10357/task/10434/stat : 10434 (java) R 10355 10355 3572 0 -1 4202560 1169 0 0 0 20392 1 0 0 20 0 28 0 151798529 27175628800 568427 33554432000 4194304 4196468 140723469515136 139626833489600 139628941024552 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10435] ppid=10355 vsize=26538700 memory=164 CPUtime=204.45 cores=0-7
/proc/10357/task/10435/stat : 10435 (java) R 10355 10355 3572 0 -1 4202560 967 0 0 0 20445 0 0 0 20 0 28 0 151798529 27175628800 568427 33554432000 4194304 4196468 140723469515136 139626831380688 139628941737044 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10436] ppid=10355 vsize=26538700 memory=576583242059703325 CPUtime=202.47 cores=0-7
/proc/10357/task/10436/stat : 10436 (java) R 10355 10355 3572 0 -1 4202560 774 0 0 0 20244 3 0 0 20 0 28 0 151798529 27175628800 568427 33554432000 4194304 4196468 140723469515136 139626834543528 139628941024657 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10437] ppid=10355 vsize=26538700 memory=1380 CPUtime=204.4 cores=0-7
/proc/10357/task/10437/stat : 10437 (java) R 10355 10355 3572 0 -1 4202560 4700 0 0 0 20421 19 0 0 20 0 28 0 151798529 27175628800 568427 33554432000 4194304 4196468 140723469515136 139626832433832 139628941024543 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10438] ppid=10355 vsize=26538700 memory=1380 CPUtime=204.06 cores=0-7
/proc/10357/task/10438/stat : 10438 (java) R 10355 10355 3572 0 -1 4202560 1201 0 0 0 20402 4 0 0 20 0 28 0 151798529 27175628800 568427 33554432000 4194304 4196468 140723469515136 139626830332584 139628940815168 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10439] ppid=10355 vsize=26538700 memory=42316 CPUtime=203.96 cores=0-7
/proc/10357/task/10439/stat : 10439 (java) R 10355 10355 3572 0 -1 4202560 9619 0 0 0 20359 37 0 0 20 0 28 0 151798529 27175628800 568427 33554432000 4194304 4196468 140723469515136 139626836648232 139628941025479 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10440] ppid=10355 vsize=26538700 memory=2332 CPUtime=204.11 cores=0-7
/proc/10357/task/10440/stat : 10440 (java) R 10355 10355 3572 0 -1 4202560 4489 0 0 0 20392 19 0 0 20 0 28 0 151798529 27175628800 568427 33554432000 4194304 4196468 140723469515136 139626829277728 139628940553177 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
Current children cumulated CPU time: 1766.75 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2275088 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 8.13 6.81 6.49 9/207 10440
/proc/meminfo: memFree=23928156/32770624 swapFree=67108860/67108860
[pid=10355] ppid=10352 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/10355/stat : 10355 (xcsp3-exec) S 10352 10355 3572 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151796763 9740288 345 33554432000 4194304 5098028 140723822603520 140723822601624 140407747490428 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37298176 140723822605419 140723822605628 140723822605628 140723822608363 0
/proc/10355/statm: 2378 345 289 221 0 87 0
[pid=10357] ppid=10355 vsize=26538700 memory=2278252 CPUtime=2003.65 cores=0-7
/proc/10357/stat : 10357 (java) S 10355 10355 3572 0 -1 1077944320 78123 0 0 0 200173 192 0 0 20 0 28 0 151796764 27175628800 569563 33554432000 4194304 4196468 140723469515136 140723469497680 139629321203447 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
/proc/10357/statm: 6634675 569563 3287 1 0 6621909 0
[pid=10357/tid=10358] ppid=10355 vsize=26538700 memory=6791534058613427641 CPUtime=1.24 cores=0-7
/proc/10357/task/10358/stat : 10358 (java) S 10355 10355 3572 0 -1 1077944384 7166 0 0 0 119 5 0 0 20 0 28 0 151796764 27175628800 569563 33554432000 4194304 4196468 140723469515136 139629325444224 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10359] ppid=10355 vsize=26538700 memory=4872558044660077418 CPUtime=0.19 cores=0-7
/proc/10357/task/10359/stat : 10359 (java) S 10355 10355 3572 0 -1 1077944384 653 0 0 0 12 7 0 0 20 0 28 0 151796765 27175628800 569563 33554432000 4194304 4196468 140723469515136 139629273823760 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10360] ppid=10355 vsize=26538700 memory=6791534058613427641 CPUtime=0.2 cores=0-7
/proc/10357/task/10360/stat : 10360 (java) S 10355 10355 3572 0 -1 1077944384 2354 0 0 0 11 9 0 0 20 0 28 0 151796765 27175628800 569563 33554432000 4194304 4196468 140723469515136 139629272771216 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10361] ppid=10355 vsize=26538700 memory=2278252 CPUtime=0.2 cores=0-7
/proc/10357/task/10361/stat : 10361 (java) S 10355 10355 3572 0 -1 1077944384 636 0 0 0 12 8 0 0 20 0 28 0 151796765 27175628800 569563 33554432000 4194304 4196468 140723469515136 139629271718160 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10362] ppid=10355 vsize=26538700 memory=1436 CPUtime=0.19 cores=0-7
/proc/10357/task/10362/stat : 10362 (java) S 10355 10355 3572 0 -1 1077944384 880 0 0 0 12 7 0 0 20 0 28 0 151796765 27175628800 569563 33554432000 4194304 4196468 140723469515136 139629270665616 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10363] ppid=10355 vsize=26538700 memory=1200 CPUtime=0.22 cores=0-7
/proc/10357/task/10363/stat : 10363 (java) S 10355 10355 3572 0 -1 1077944384 2247 0 0 0 14 8 0 0 20 0 28 0 151796765 27175628800 569563 33554432000 4194304 4196468 140723469515136 139629269613584 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10364] ppid=10355 vsize=26538700 memory=15876 CPUtime=0.2 cores=0-7
/proc/10357/task/10364/stat : 10364 (java) S 10355 10355 3572 0 -1 1077944384 806 0 0 0 13 7 0 0 20 0 28 0 151796765 27175628800 569563 33554432000 4194304 4196468 140723469515136 139629268561040 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10365] ppid=10355 vsize=26538700 memory=4040 CPUtime=0.2 cores=0-7
/proc/10357/task/10365/stat : 10365 (java) S 10355 10355 3572 0 -1 1077944384 1118 0 0 0 12 8 0 0 20 0 28 0 151796765 27175628800 569563 33554432000 4194304 4196468 140723469515136 139629267507984 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10366] ppid=10355 vsize=26538700 memory=24116 CPUtime=0.2 cores=0-7
/proc/10357/task/10366/stat : 10366 (java) S 10355 10355 3572 0 -1 1077944384 2365 0 0 0 12 8 0 0 20 0 28 0 151796765 27175628800 569563 33554432000 4194304 4196468 140723469515136 139629266455440 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10367] ppid=10355 vsize=26538700 memory=1380 CPUtime=0.09 cores=0-7
/proc/10357/task/10367/stat : 10367 (java) S 10355 10355 3572 0 -1 1077944384 4100 0 0 0 4 5 0 0 20 0 28 0 151796766 27175628800 569563 33554432000 4194304 4196468 140723469515136 139628716939504 139629321214594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10368] ppid=10355 vsize=26538700 memory=1380 CPUtime=0 cores=0-7
/proc/10357/task/10368/stat : 10368 (java) S 10355 10355 3572 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 151796767 27175628800 569563 33554432000 4194304 4196468 140723469515136 139627457930464 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10369] ppid=10355 vsize=26538700 memory=2278252 CPUtime=0 cores=0-7
/proc/10357/task/10369/stat : 10369 (java) S 10355 10355 3572 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 151796767 27175628800 569563 33554432000 4194304 4196468 140723469515136 139627456877312 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10370] ppid=10355 vsize=26538700 memory=2278252 CPUtime=0 cores=0-7
/proc/10357/task/10370/stat : 10370 (java) S 10355 10355 3572 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151796769 27175628800 569563 33554432000 4194304 4196468 140723469515136 139627455825872 139629321222043 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10371] ppid=10355 vsize=26538700 memory=1156 CPUtime=1.9 cores=0-7
/proc/10357/task/10371/stat : 10371 (java) S 10355 10355 3572 0 -1 1077944384 5074 0 0 0 189 1 0 0 20 0 28 0 151796769 27175628800 569563 33554432000 4194304 4196468 140723469515136 139627454774000 139629321214594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10372] ppid=10355 vsize=26538700 memory=1380 CPUtime=2.17 cores=0-7
/proc/10357/task/10372/stat : 10372 (java) S 10355 10355 3572 0 -1 1077944384 6355 0 0 0 216 1 0 0 20 0 28 0 151796769 27175628800 569563 33554432000 4194304 4196468 140723469515136 139627453721456 139629321214594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10373] ppid=10355 vsize=26538700 memory=1380 CPUtime=2.16 cores=0-7
/proc/10357/task/10373/stat : 10373 (java) S 10355 10355 3572 0 -1 1077944384 5473 0 0 0 216 0 0 0 20 0 28 0 151796769 27175628800 569563 33554432000 4194304 4196468 140723469515136 139627452668400 139629321214594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10374] ppid=10355 vsize=26538700 memory=2278252 CPUtime=0.7 cores=0-7
/proc/10357/task/10374/stat : 10374 (java) S 10355 10355 3572 0 -1 1077944384 5167 0 0 0 69 1 0 0 20 0 28 0 151796769 27175628800 569563 33554432000 4194304 4196468 140723469515136 139627451615856 139629321214594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10375] ppid=10355 vsize=26538700 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/10357/task/10375/stat : 10375 (java) S 10355 10355 3572 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151796770 27175628800 569563 33554432000 4194304 4196468 140723469515136 139627450563040 139629321213653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10376] ppid=10355 vsize=26538700 memory=4872558044660077418 CPUtime=0.05 cores=0-7
/proc/10357/task/10376/stat : 10376 (java) S 10355 10355 3572 0 -1 1077944384 1372 0 0 0 1 4 0 0 20 0 28 0 151796770 27175628800 569563 33554432000 4194304 4196468 140723469515136 139627449510576 139629321214594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10433] ppid=10355 vsize=26538700 memory=0 CPUtime=233.64 cores=0-7
/proc/10357/task/10433/stat : 10433 (java) R 10355 10355 3572 0 -1 4202560 940 0 0 0 23363 1 0 0 20 0 28 0 151798529 27175628800 569563 33554432000 4194304 4196468 140723469515136 139626835594280 139628941663856 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10434] ppid=10355 vsize=26538700 memory=0 CPUtime=233.6 cores=0-7
/proc/10357/task/10434/stat : 10434 (java) R 10355 10355 3572 0 -1 4202560 1225 0 0 0 23359 1 0 0 20 0 28 0 151798529 27175628800 569563 33554432000 4194304 4196468 140723469515136 139626833489520 139628940552583 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10435] ppid=10355 vsize=26538700 memory=0 CPUtime=234.12 cores=0-7
/proc/10357/task/10435/stat : 10435 (java) R 10355 10355 3572 0 -1 4202560 1024 0 0 0 23412 0 0 0 20 0 28 0 151798529 27175628800 569563 33554432000 4194304 4196468 140723469515136 139626831384816 139629302609668 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10436] ppid=10355 vsize=26538700 memory=0 CPUtime=231.82 cores=0-7
/proc/10357/task/10436/stat : 10436 (java) R 10355 10355 3572 0 -1 4202560 835 0 0 0 23179 3 0 0 20 0 28 0 151798529 27175628800 569563 33554432000 4194304 4196468 140723469515136 139626834542960 139628934943124 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10437] ppid=10355 vsize=26538700 memory=2236 CPUtime=234.08 cores=0-7
/proc/10357/task/10437/stat : 10437 (java) R 10355 10355 3572 0 -1 4202560 4917 0 0 0 23388 20 0 0 20 0 28 0 151798529 27175628800 569563 33554432000 4194304 4196468 140723469515136 139626832437232 139628940469802 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10438] ppid=10355 vsize=26538700 memory=4084 CPUtime=233.63 cores=0-7
/proc/10357/task/10438/stat : 10438 (java) R 10355 10355 3572 0 -1 4202560 1235 0 0 0 23359 4 0 0 20 0 28 0 151798529 27175628800 569563 33554432000 4194304 4196468 140723469515136 139626830332192 139628940469493 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10439] ppid=10355 vsize=26538700 memory=932 CPUtime=233.46 cores=0-7
/proc/10357/task/10439/stat : 10439 (java) R 10355 10355 3572 0 -1 4202560 10376 0 0 0 23306 40 0 0 20 0 28 0 151798529 27175628800 569563 33554432000 4194304 4196468 140723469515136 139626836643504 139628941138638 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
[pid=10357/tid=10440] ppid=10355 vsize=26538700 memory=1572 CPUtime=233.8 cores=0-7
/proc/10357/task/10440/stat : 10440 (java) R 10355 10355 3572 0 -1 4202560 5047 0 0 0 23361 19 0 0 20 0 28 0 151798529 27175628800 569563 33554432000 4194304 4196468 140723469515136 139626829277920 139628940553190 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8593408 140723469517976 140723469518152 140723469518152 140723469520847 0
Current children cumulated CPU time: 2003.65 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2279632 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+252.042 s]
# the end of solver process 10355 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000999 s, system=0.000999 s

[startup+252.123 s]
# the end of solver process 10357 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2002.51 s, system=1.94533 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 252.123
CPU time (s): 2004.46
CPU user time (s): 2002.51
CPU system time (s): 1.94533
CPU usage (%): 795.031
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 2279632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2002.51
system time used= 1.94533
maximum resident set size= 2283896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79888
page faults= 0
swaps= 0
block input operations= 0
block output operations= 440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11865
involuntary context switches= 20585


# summary of solver processes directly reported to runsolver:
#   pid: 10355,10357
#   total CPU time (s): 2004.46
#   total CPU user time (s): 2002.51
#   total CPU system time (s): 1.94533

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.55539 second user time and 2.52229 second system time

The end