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 (10283 MiB free)
memory of node 1: 16384 MiB (13668 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284122-1503226108/watcher-4284122-1503226108 -o /tmp/evaluation-result-4284122-1503226108/solver-4284122-1503226108 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node115-1503215350-27175 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1483941299 HOME/instance-4284122-1503226108.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=28621, runsolver pid=28618
Current StackSize limit: 8192 KiB
[startup+0.100305 s]*
/proc/loadavg: 2.14 2.02 1.98 3/218 28637
/proc/meminfo: memFree=24509260/32770624 swapFree=67108860/67108860
[pid=28621] ppid=28618 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28621/stat : 28621 (xcsp3-exec) S 28618 28621 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155698335 9740288 346 33554432000 4194304 5098028 140732286833552 140732286831656 140099920278140 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10493952 140732286837870 140732286838075 140732286838075 140732286840811 0
/proc/28621/statm: 2378 346 289 221 0 87 0
[pid=28623] ppid=28621 vsize=13978596 memory=28280 CPUtime=0.12 cores=1,3,5,7
/proc/28623/stat : 28623 (java) S 28621 28621 21109 0 -1 1077944320 5331 0 0 0 11 1 0 0 20 0 15 0 155698335 14314082304 7070 33554432000 4194304 4196468 140723099900688 140723099883232 139794341551863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
/proc/28623/statm: 3494649 7070 2901 1 0 3482966 0
[pid=28623/tid=28624] ppid=28621 vsize=13978596 memory=-6962121287837372198 CPUtime=0.08 cores=1,3,5,7
/proc/28623/task/28624/stat : 28624 (java) R 28621 28621 21109 0 -1 4202560 3326 0 0 0 8 0 0 0 20 0 15 0 155698335 14314082304 7070 33554432000 4194304 4196468 140723099900688 139794345783968 139793954582281 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28625] ppid=28621 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28625/stat : 28625 (java) S 28621 28621 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155698336 14314082304 7070 33554432000 4194304 4196468 140723099900688 139794279151888 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28626] ppid=28621 vsize=13978596 memory=139640790242944 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28626/stat : 28626 (java) S 28621 28621 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155698336 14314082304 7070 33554432000 4194304 4196468 140723099900688 139794278099344 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28627] ppid=28621 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28627/stat : 28627 (java) S 28621 28621 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155698336 14314082304 7070 33554432000 4194304 4196468 140723099900688 139794277046800 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28628] ppid=28621 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28628/stat : 28628 (java) S 28621 28621 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155698336 14314082304 7070 33554432000 4194304 4196468 140723099900688 139794275994256 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28629] ppid=28621 vsize=13978596 memory=139640790242944 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28629/stat : 28629 (java) S 28621 28621 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155698337 14314082304 7070 33554432000 4194304 4196468 140723099900688 139793882917360 139794341563010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28630] ppid=28621 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28630/stat : 28630 (java) S 28621 28621 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155698338 14314082304 7070 33554432000 4194304 4196468 140723099900688 139793881863584 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28631] ppid=28621 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28631/stat : 28631 (java) S 28621 28621 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155698338 14314082304 7070 33554432000 4194304 4196468 140723099900688 139793880810992 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28632] ppid=28621 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28632/stat : 28632 (java) S 28621 28621 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155698340 14314082304 7070 33554432000 4194304 4196468 140723099900688 139793879759568 139794341570459 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28633] ppid=28621 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28633/stat : 28633 (java) S 28621 28621 21109 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 155698340 14314082304 7070 33554432000 4194304 4196468 140723099900688 139793878706160 139794341563010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28634] ppid=28621 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28634/stat : 28634 (java) S 28621 28621 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155698341 14314082304 7070 33554432000 4194304 4196468 140723099900688 139793877653616 139794341563010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28635] ppid=28621 vsize=13978596 memory=139640790242944 CPUtime=0.01 cores=1,3,5,7
/proc/28623/task/28635/stat : 28635 (java) R 28621 28621 21109 0 -1 4202560 328 0 0 0 1 0 0 0 20 0 15 0 155698341 14314082304 7070 33554432000 4194304 4196468 140723099900688 139793876601072 139794320493414 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28636] ppid=28621 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28636/stat : 28636 (java) S 28621 28621 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155698341 14314082304 7070 33554432000 4194304 4196468 140723099900688 139793875548768 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28637] ppid=28621 vsize=13978596 memory=139640790242944 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28637/stat : 28637 (java) S 28621 28621 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155698341 14314082304 7136 33554432000 4194304 4196468 140723099900688 139793874496304 139794341563010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29664 KiB
[startup+0.21068 s]*
/proc/loadavg: 2.14 2.02 1.98 3/218 28637
/proc/meminfo: memFree=24497116/32770624 swapFree=67108860/67108860
[pid=28621] ppid=28618 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28621/stat : 28621 (xcsp3-exec) S 28618 28621 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155698335 9740288 346 33554432000 4194304 5098028 140732286833552 140732286831656 140099920278140 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10493952 140732286837870 140732286838075 140732286838075 140732286840811 0
/proc/28621/statm: 2378 346 289 221 0 87 0
[pid=28623] ppid=28621 vsize=13982852 memory=40580 CPUtime=0.34 cores=1,3,5,7
/proc/28623/stat : 28623 (java) S 28621 28621 21109 0 -1 1077944320 8217 0 0 0 32 2 0 0 20 0 15 0 155698335 14318440448 10145 33554432000 4194304 4196468 140723099900688 140723099883232 139794341551863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
/proc/28623/statm: 3495713 10145 3062 1 0 3482966 0
[pid=28623/tid=28624] ppid=28621 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/28623/task/28624/stat : 28624 (java) D 28621 28621 21109 0 -1 1077944384 5315 0 0 0 18 1 0 0 20 0 15 0 155698335 14318440448 10145 33554432000 4194304 4196468 140723099900688 139794345762656 139794334231085 0 4 0 16800975 18446744072101580324 0 0 -1 5 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28625] ppid=28621 vsize=13982852 memory=9005 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28625/stat : 28625 (java) S 28621 28621 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155698336 14318440448 10145 33554432000 4194304 4196468 140723099900688 139794279151888 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28626] ppid=28621 vsize=13982852 memory=139640790990020 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28626/stat : 28626 (java) S 28621 28621 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155698336 14318440448 10145 33554432000 4194304 4196468 140723099900688 139794278099344 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28627] ppid=28621 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28627/stat : 28627 (java) S 28621 28621 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155698336 14318440448 10145 33554432000 4194304 4196468 140723099900688 139794277046800 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28628] ppid=28621 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28628/stat : 28628 (java) S 28621 28621 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155698336 14318440448 10145 33554432000 4194304 4196468 140723099900688 139794275994256 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28629] ppid=28621 vsize=13982852 memory=139640790242944 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28629/stat : 28629 (java) S 28621 28621 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155698337 14318440448 10145 33554432000 4194304 4196468 140723099900688 139793882917360 139794341563010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28630] ppid=28621 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28630/stat : 28630 (java) S 28621 28621 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155698338 14318440448 10145 33554432000 4194304 4196468 140723099900688 139793881863584 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28631] ppid=28621 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28631/stat : 28631 (java) S 28621 28621 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155698338 14318440448 10145 33554432000 4194304 4196468 140723099900688 139793880810992 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28632] ppid=28621 vsize=13982884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28632/stat : 28632 (java) S 28621 28621 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155698340 14318473216 10145 33554432000 4194304 4196468 140723099900688 139793879759568 139794341570459 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28633] ppid=28621 vsize=13982884 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/28623/task/28633/stat : 28633 (java) S 28621 28621 21109 0 -1 1077944384 488 0 0 0 1 0 0 0 20 0 15 0 155698340 14318473216 10145 33554432000 4194304 4196468 140723099900688 139793878706160 139794341563010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28634] ppid=28621 vsize=13982852 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/28623/task/28634/stat : 28634 (java) S 28621 28621 21109 0 -1 1077944384 365 0 0 0 3 0 0 0 20 0 15 0 155698341 14318440448 10145 33554432000 4194304 4196468 140723099900688 139793877653616 139794341563010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28635] ppid=28621 vsize=13982852 memory=139640790242944 CPUtime=0.08 cores=1,3,5,7
/proc/28623/task/28635/stat : 28635 (java) S 28621 28621 21109 0 -1 1077944384 750 0 0 0 8 0 0 0 20 0 15 0 155698341 14318440448 10145 33554432000 4194304 4196468 140723099900688 139793876601072 139794341563010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28636] ppid=28621 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28636/stat : 28636 (java) S 28621 28621 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155698341 14318440448 10145 33554432000 4194304 4196468 140723099900688 139793875548768 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28637] ppid=28621 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28637/stat : 28637 (java) S 28621 28621 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155698341 14318440448 10145 33554432000 4194304 4196468 140723099900688 139793874496304 139794341563010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41964 KiB
[startup+0.312458 s]*
/proc/loadavg: 2.14 2.02 1.98 4/218 28637
/proc/meminfo: memFree=24490664/32770624 swapFree=67108860/67108860
[pid=28621] ppid=28618 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28621/stat : 28621 (xcsp3-exec) S 28618 28621 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155698335 9740288 346 33554432000 4194304 5098028 140732286833552 140732286831656 140099920278140 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10493952 140732286837870 140732286838075 140732286838075 140732286840811 0
/proc/28621/statm: 2378 346 289 221 0 87 0
[pid=28623] ppid=28621 vsize=13982852 memory=46924 CPUtime=0.52 cores=1,3,5,7
/proc/28623/stat : 28623 (java) S 28621 28621 21109 0 -1 1077944320 8966 0 0 0 49 3 0 0 20 0 15 0 155698335 14318440448 11731 33554432000 4194304 4196468 140723099900688 140723099883232 139794341551863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
/proc/28623/statm: 3495713 11731 3077 1 0 3482966 0
[pid=28623/tid=28624] ppid=28621 vsize=13982852 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/28623/task/28624/stat : 28624 (java) R 28621 28621 21109 0 -1 4202560 5907 0 0 0 28 2 0 0 20 0 15 0 155698335 14318440448 11731 33554432000 4194304 4196468 140723099900688 139794345789328 139794341573789 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28625] ppid=28621 vsize=13982852 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28625/stat : 28625 (java) S 28621 28621 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155698336 14318440448 11731 33554432000 4194304 4196468 140723099900688 139794279151888 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28626] ppid=28621 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28626/stat : 28626 (java) S 28621 28621 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155698336 14318440448 11731 33554432000 4194304 4196468 140723099900688 139794278099344 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28627] ppid=28621 vsize=13982852 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28627/stat : 28627 (java) S 28621 28621 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155698336 14318440448 11731 33554432000 4194304 4196468 140723099900688 139794277046800 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28628] ppid=28621 vsize=13982852 memory=4500088472188524148 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28628/stat : 28628 (java) S 28621 28621 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155698336 14318440448 11731 33554432000 4194304 4196468 140723099900688 139794275994256 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28629] ppid=28621 vsize=13982852 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28629/stat : 28629 (java) S 28621 28621 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155698337 14318440448 11731 33554432000 4194304 4196468 140723099900688 139793882917360 139794341563010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28630] ppid=28621 vsize=13982852 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28630/stat : 28630 (java) S 28621 28621 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155698338 14318440448 11731 33554432000 4194304 4196468 140723099900688 139793881863584 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28631] ppid=28621 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28631/stat : 28631 (java) S 28621 28621 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155698338 14318440448 11731 33554432000 4194304 4196468 140723099900688 139793880810992 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28632] ppid=28621 vsize=13982852 memory=7683298805979255643 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28632/stat : 28632 (java) S 28621 28621 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155698340 14318440448 11731 33554432000 4194304 4196468 140723099900688 139793879759568 139794341570459 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28633] ppid=28621 vsize=13982852 memory=8508281356422055839 CPUtime=0.02 cores=1,3,5,7
/proc/28623/task/28633/stat : 28633 (java) R 28621 28621 21109 0 -1 4202560 506 0 0 0 2 0 0 0 20 0 15 0 155698340 14318440448 11731 33554432000 4194304 4196468 140723099900688 139793878706256 139794325948550 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28634] ppid=28621 vsize=13982852 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/28623/task/28634/stat : 28634 (java) R 28621 28621 21109 0 -1 1077944384 393 0 0 0 5 0 0 0 20 0 15 0 155698341 14318440448 11731 33554432000 4194304 4196468 140723099900688 139793877653616 139794341563010 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28635] ppid=28621 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/28623/task/28635/stat : 28635 (java) R 28621 28621 21109 0 -1 4202560 855 0 0 0 13 0 0 0 20 0 15 0 155698341 14318440448 11731 33554432000 4194304 4196468 140723099900688 139793876599032 139794325811703 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28636] ppid=28621 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28636/stat : 28636 (java) S 28621 28621 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155698341 14318440448 11731 33554432000 4194304 4196468 140723099900688 139793875548768 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28637] ppid=28621 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28637/stat : 28637 (java) S 28621 28621 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155698341 14318440448 11731 33554432000 4194304 4196468 140723099900688 139793874496304 139794341563010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48308 KiB
[startup+0.700799 s]
/proc/loadavg: 2.14 2.02 1.98 5/218 28637
/proc/meminfo: memFree=24462008/32770624 swapFree=67108860/67108860
[pid=28621] ppid=28618 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28621/stat : 28621 (xcsp3-exec) S 28618 28621 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155698335 9740288 346 33554432000 4194304 5098028 140732286833552 140732286831656 140099920278140 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10493952 140732286837870 140732286838075 140732286838075 140732286840811 0
/proc/28621/statm: 2378 346 289 221 0 87 0
[pid=28623] ppid=28621 vsize=13984976 memory=104456 CPUtime=1.68 cores=1,3,5,7
/proc/28623/stat : 28623 (java) S 28621 28621 21109 0 -1 1077944320 12591 0 0 0 163 5 0 0 20 0 15 0 155698335 14320615424 26114 33554432000 4194304 4196468 140723099900688 140723099883232 139794341551863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
/proc/28623/statm: 3496244 26114 3199 1 0 3483478 0
[pid=28623/tid=28624] ppid=28621 vsize=13984976 memory=33 CPUtime=0.66 cores=1,3,5,7
/proc/28623/task/28624/stat : 28624 (java) R 28621 28621 21109 0 -1 4202560 6516 0 0 0 63 3 0 0 20 0 15 0 155698335 14320615424 26114 33554432000 4194304 4196468 140723099900688 139794345787056 139794341563798 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28625] ppid=28621 vsize=13984976 memory=288230587427463936 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28625/stat : 28625 (java) S 28621 28621 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155698336 14320615424 26114 33554432000 4194304 4196468 140723099900688 139794279151888 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28626] ppid=28621 vsize=13984976 memory=16106957111054841 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28626/stat : 28626 (java) S 28621 28621 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155698336 14320615424 26114 33554432000 4194304 4196468 140723099900688 139794278099344 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28627] ppid=28621 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28627/stat : 28627 (java) S 28621 28621 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155698336 14320615424 26114 33554432000 4194304 4196468 140723099900688 139794277046800 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28628] ppid=28621 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28628/stat : 28628 (java) S 28621 28621 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155698336 14320615424 26114 33554432000 4194304 4196468 140723099900688 139794275994256 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28629] ppid=28621 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28629/stat : 28629 (java) S 28621 28621 21109 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 155698337 14320615424 26114 33554432000 4194304 4196468 140723099900688 139793882917360 139794341563010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28630] ppid=28621 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28630/stat : 28630 (java) S 28621 28621 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155698338 14320615424 26114 33554432000 4194304 4196468 140723099900688 139793881863584 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28631] ppid=28621 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28631/stat : 28631 (java) S 28621 28621 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155698338 14320615424 26114 33554432000 4194304 4196468 140723099900688 139793880810992 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28632] ppid=28621 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28632/stat : 28632 (java) S 28621 28621 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155698340 14320615424 26114 33554432000 4194304 4196468 140723099900688 139793879759568 139794341570459 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28633] ppid=28621 vsize=13984976 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/28623/task/28633/stat : 28633 (java) R 28621 28621 21109 0 -1 4202560 1597 0 0 0 30 0 0 0 20 0 15 0 155698340 14320615424 26114 33554432000 4194304 4196468 140723099900688 139793878706160 139794325050704 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28634] ppid=28621 vsize=13984976 memory=3477739170001873772 CPUtime=0.34 cores=1,3,5,7
/proc/28623/task/28634/stat : 28634 (java) R 28621 28621 21109 0 -1 4202560 1431 0 0 0 34 0 0 0 20 0 15 0 155698341 14320615424 26114 33554432000 4194304 4196468 140723099900688 139793877653616 139794341563798 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28635] ppid=28621 vsize=13984976 memory=7596000627610839658 CPUtime=0.34 cores=1,3,5,7
/proc/28623/task/28635/stat : 28635 (java) S 28621 28621 21109 0 -1 1077944384 1737 0 0 0 34 0 0 0 20 0 15 0 155698341 14320615424 26114 33554432000 4194304 4196468 140723099900688 139793876601072 139794341563010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28636] ppid=28621 vsize=13984976 memory=7594587674001172330 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28636/stat : 28636 (java) S 28621 28621 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155698341 14320615424 26114 33554432000 4194304 4196468 140723099900688 139793875548768 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28637] ppid=28621 vsize=13984976 memory=7300704776819335744 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28637/stat : 28637 (java) S 28621 28621 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155698341 14320615424 26114 33554432000 4194304 4196468 140723099900688 139793874496304 139794341563010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 105840 KiB
[startup+1.5009 s]
/proc/loadavg: 2.14 2.02 1.98 6/218 28637
/proc/meminfo: memFree=24402064/32770624 swapFree=67108860/67108860
[pid=28621] ppid=28618 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28621/stat : 28621 (xcsp3-exec) S 28618 28621 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155698335 9740288 346 33554432000 4194304 5098028 140732286833552 140732286831656 140099920278140 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10493952 140732286837870 140732286838075 140732286838075 140732286840811 0
/proc/28621/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/28623/task/28631/stat : 28631 (java) S 28621 28621 21109 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 155698338 14320615424 82803 33554432000 4194304 4196468 140723099900688 139793880810992 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28632] ppid=28621 vsize=13984976 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28632/stat : 28632 (java) S 28621 28621 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155698340 14320615424 82803 33554432000 4194304 4196468 140723099900688 139793879759568 139794341570459 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28633] ppid=28621 vsize=13984976 memory=2408 CPUtime=7.86 cores=1,3,5,7
/proc/28623/task/28633/stat : 28633 (java) S 28621 28621 21109 0 -1 1077944384 42624 0 0 0 782 4 0 0 20 0 15 0 155698340 14320615424 82803 33554432000 4194304 4196468 140723099900688 139793878706160 139794341563010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28634] ppid=28621 vsize=13984976 memory=1384 CPUtime=7.31 cores=1,3,5,7
/proc/28623/task/28634/stat : 28634 (java) S 28621 28621 21109 0 -1 1077944384 55637 0 0 0 725 6 0 0 20 0 15 0 155698341 14320615424 82803 33554432000 4194304 4196468 140723099900688 139793877653616 139794341563010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28635] ppid=28621 vsize=13984976 memory=331212 CPUtime=1.1 cores=1,3,5,7
/proc/28623/task/28635/stat : 28635 (java) S 28621 28621 21109 0 -1 1077944384 14545 0 0 0 105 5 0 0 20 0 15 0 155698341 14320615424 82803 33554432000 4194304 4196468 140723099900688 139793876601072 139794341563010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28636] ppid=28621 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28636/stat : 28636 (java) S 28621 28621 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155698341 14320615424 82803 33554432000 4194304 4196468 140723099900688 139793875548768 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28637] ppid=28621 vsize=13984976 memory=330880 CPUtime=0.97 cores=1,3,5,7
/proc/28623/task/28637/stat : 28637 (java) S 28621 28621 21109 0 -1 1077944384 2396 0 0 0 47 50 0 0 20 0 15 0 155698341 14320615424 82803 33554432000 4194304 4196468 140723099900688 139793874496304 139794341563010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
Current children cumulated CPU time: 2357.29 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 332596 KiB
[startup+2382.3 s]
/proc/loadavg: 1.66 1.83 1.81 3/217 28966
/proc/meminfo: memFree=25301372/32770624 swapFree=67108860/67108860
[pid=28621] ppid=28618 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28621/stat : 28621 (xcsp3-exec) S 28618 28621 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155698335 9740288 346 33554432000 4194304 5098028 140732286833552 140732286831656 140099920278140 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10493952 140732286837870 140732286838075 140732286838075 140732286840811 0
/proc/28621/statm: 2378 346 289 221 0 87 0
[pid=28623] ppid=28621 vsize=13984976 memory=334752 CPUtime=2418.8 cores=1,3,5,7
/proc/28623/stat : 28623 (java) S 28621 28621 21109 0 -1 1077944320 209979 0 0 0 241738 142 0 0 20 0 15 0 155698335 14320615424 83688 33554432000 4194304 4196468 140723099900688 140723099883232 139794341551863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
/proc/28623/statm: 3496244 83688 3284 1 0 3483478 0
[pid=28623/tid=28624] ppid=28621 vsize=13984976 memory=333704 CPUtime=2374.37 cores=1,3,5,7
/proc/28623/task/28624/stat : 28624 (java) R 28621 28621 21109 0 -1 4202560 29851 0 0 0 237428 9 0 0 20 0 15 0 155698335 14320615424 83688 33554432000 4194304 4196468 140723099900688 139794345791584 139793959602797 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28625] ppid=28621 vsize=13984976 memory=1384 CPUtime=6.55 cores=1,3,5,7
/proc/28623/task/28625/stat : 28625 (java) S 28621 28621 21109 0 -1 1077944384 9031 0 0 0 639 16 0 0 20 0 15 0 155698336 14320615424 83688 33554432000 4194304 4196468 140723099900688 139794279151888 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28626] ppid=28621 vsize=13984976 memory=1384 CPUtime=6.53 cores=1,3,5,7
/proc/28623/task/28626/stat : 28626 (java) S 28621 28621 21109 0 -1 1077944384 8367 0 0 0 635 18 0 0 20 0 15 0 155698336 14320615424 83688 33554432000 4194304 4196468 140723099900688 139794278099344 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28627] ppid=28621 vsize=13984976 memory=1384 CPUtime=6.55 cores=1,3,5,7
/proc/28623/task/28627/stat : 28627 (java) S 28621 28621 21109 0 -1 1077944384 11203 0 0 0 638 17 0 0 20 0 15 0 155698336 14320615424 83688 33554432000 4194304 4196468 140723099900688 139794277046800 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28628] ppid=28621 vsize=13984976 memory=1384 CPUtime=6.55 cores=1,3,5,7
/proc/28623/task/28628/stat : 28628 (java) S 28621 28621 21109 0 -1 1077944384 10530 0 0 0 637 18 0 0 20 0 15 0 155698336 14320615424 83688 33554432000 4194304 4196468 140723099900688 139794275994256 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28629] ppid=28621 vsize=13984976 memory=18444 CPUtime=0.89 cores=1,3,5,7
/proc/28623/task/28629/stat : 28629 (java) S 28621 28621 21109 0 -1 1077944384 24427 0 0 0 80 9 0 0 20 0 15 0 155698337 14320615424 83688 33554432000 4194304 4196468 140723099900688 139793882917360 139794341563010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28630] ppid=28621 vsize=13984976 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28630/stat : 28630 (java) S 28621 28621 21109 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 155698338 14320615424 83688 33554432000 4194304 4196468 140723099900688 139793881863584 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28631] ppid=28621 vsize=13984976 memory=279281324569280 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28631/stat : 28631 (java) S 28621 28621 21109 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 155698338 14320615424 83688 33554432000 4194304 4196468 140723099900688 139793880810992 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28632] ppid=28621 vsize=13984976 memory=7524779865302132065 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28632/stat : 28632 (java) S 28621 28621 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155698340 14320615424 83688 33554432000 4194304 4196468 140723099900688 139793879759568 139794341570459 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28633] ppid=28621 vsize=13984976 memory=3296 CPUtime=7.86 cores=1,3,5,7
/proc/28623/task/28633/stat : 28633 (java) S 28621 28621 21109 0 -1 1077944384 42626 0 0 0 782 4 0 0 20 0 15 0 155698340 14320615424 83688 33554432000 4194304 4196468 140723099900688 139793878706160 139794341563010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28634] ppid=28621 vsize=13984976 memory=1384 CPUtime=7.31 cores=1,3,5,7
/proc/28623/task/28634/stat : 28634 (java) S 28621 28621 21109 0 -1 1077944384 55639 0 0 0 725 6 0 0 20 0 15 0 155698341 14320615424 83688 33554432000 4194304 4196468 140723099900688 139793877653616 139794341563010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28635] ppid=28621 vsize=13984976 memory=4132 CPUtime=1.1 cores=1,3,5,7
/proc/28623/task/28635/stat : 28635 (java) S 28621 28621 21109 0 -1 1077944384 14547 0 0 0 105 5 0 0 20 0 15 0 155698341 14320615424 83688 33554432000 4194304 4196468 140723099900688 139793876601072 139794341563010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28636] ppid=28621 vsize=13984976 memory=43088 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28636/stat : 28636 (java) S 28621 28621 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155698341 14320615424 83688 33554432000 4194304 4196468 140723099900688 139793875548768 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28637] ppid=28621 vsize=13984976 memory=1384 CPUtime=1 cores=1,3,5,7
/proc/28623/task/28637/stat : 28637 (java) S 28621 28621 21109 0 -1 1077944384 2413 0 0 0 48 52 0 0 20 0 15 0 155698341 14320615424 83688 33554432000 4194304 4196468 140723099900688 139793874496304 139794341563010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
Current children cumulated CPU time: 2418.8 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 336136 KiB
[startup+2442.3 s]
/proc/loadavg: 1.72 1.82 1.81 3/217 28967
/proc/meminfo: memFree=25300528/32770624 swapFree=67108860/67108860
[pid=28621] ppid=28618 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28621/stat : 28621 (xcsp3-exec) S 28618 28621 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155698335 9740288 346 33554432000 4194304 5098028 140732286833552 140732286831656 140099920278140 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10493952 140732286837870 140732286838075 140732286838075 140732286840811 0
/proc/28621/statm: 2378 346 289 221 0 87 0
[pid=28623] ppid=28621 vsize=13984976 memory=334644 CPUtime=2479.53 cores=1,3,5,7
/proc/28623/stat : 28623 (java) S 28621 28621 21109 0 -1 1077944320 213088 0 0 0 247808 145 0 0 20 0 15 0 155698335 14320615424 83661 33554432000 4194304 4196468 140723099900688 140723099883232 139794341551863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
/proc/28623/statm: 3496244 83661 3284 1 0 3483478 0
[pid=28623/tid=28624] ppid=28621 vsize=13984976 memory=334644 CPUtime=2434.09 cores=1,3,5,7
/proc/28623/task/28624/stat : 28624 (java) R 28621 28621 21109 0 -1 4202560 30341 0 0 0 243400 9 0 0 20 0 15 0 155698335 14320615424 83661 33554432000 4194304 4196468 140723099900688 139794345791664 139793962860764 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28625] ppid=28621 vsize=13984976 memory=334644 CPUtime=6.79 cores=1,3,5,7
/proc/28623/task/28625/stat : 28625 (java) S 28621 28621 21109 0 -1 1077944384 9331 0 0 0 663 16 0 0 20 0 15 0 155698336 14320615424 83661 33554432000 4194304 4196468 140723099900688 139794279151888 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28626] ppid=28621 vsize=13984976 memory=334640 CPUtime=6.77 cores=1,3,5,7
/proc/28623/task/28626/stat : 28626 (java) S 28621 28621 21109 0 -1 1077944384 8669 0 0 0 659 18 0 0 20 0 15 0 155698336 14320615424 83661 33554432000 4194304 4196468 140723099900688 139794278099344 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28627] ppid=28621 vsize=13984976 memory=334644 CPUtime=6.79 cores=1,3,5,7
/proc/28623/task/28627/stat : 28627 (java) S 28621 28621 21109 0 -1 1077944384 11759 0 0 0 662 17 0 0 20 0 15 0 155698336 14320615424 83661 33554432000 4194304 4196468 140723099900688 139794277046800 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28628] ppid=28621 vsize=13984976 memory=334644 CPUtime=6.79 cores=1,3,5,7
/proc/28623/task/28628/stat : 28628 (java) S 28621 28621 21109 0 -1 1077944384 10827 0 0 0 660 19 0 0 20 0 15 0 155698336 14320615424 83661 33554432000 4194304 4196468 140723099900688 139794275994256 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28629] ppid=28621 vsize=13984976 memory=334644 CPUtime=0.92 cores=1,3,5,7
/proc/28623/task/28629/stat : 28629 (java) S 28621 28621 21109 0 -1 1077944384 25587 0 0 0 82 10 0 0 20 0 15 0 155698337 14320615424 83661 33554432000 4194304 4196468 140723099900688 139793882917360 139794341563010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28630] ppid=28621 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28630/stat : 28630 (java) S 28621 28621 21109 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 155698338 14320615424 83661 33554432000 4194304 4196468 140723099900688 139793881863584 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28631] ppid=28621 vsize=13984976 memory=334644 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28631/stat : 28631 (java) S 28621 28621 21109 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 155698338 14320615424 83661 33554432000 4194304 4196468 140723099900688 139793880810992 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28632] ppid=28621 vsize=13984976 memory=334584 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28632/stat : 28632 (java) S 28621 28621 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155698340 14320615424 83661 33554432000 4194304 4196468 140723099900688 139793879759568 139794341570459 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28633] ppid=28621 vsize=13984976 memory=1384 CPUtime=7.86 cores=1,3,5,7
/proc/28623/task/28633/stat : 28633 (java) S 28621 28621 21109 0 -1 1077944384 42626 0 0 0 782 4 0 0 20 0 15 0 155698340 14320615424 83661 33554432000 4194304 4196468 140723099900688 139793878706160 139794341563010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28634] ppid=28621 vsize=13984976 memory=4132 CPUtime=7.31 cores=1,3,5,7
/proc/28623/task/28634/stat : 28634 (java) S 28621 28621 21109 0 -1 1077944384 55639 0 0 0 725 6 0 0 20 0 15 0 155698341 14320615424 83661 33554432000 4194304 4196468 140723099900688 139793877653616 139794341563010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28635] ppid=28621 vsize=13984976 memory=1384 CPUtime=1.1 cores=1,3,5,7
/proc/28623/task/28635/stat : 28635 (java) S 28621 28621 21109 0 -1 1077944384 14547 0 0 0 105 5 0 0 20 0 15 0 155698341 14320615424 83661 33554432000 4194304 4196468 140723099900688 139793876601072 139794341563010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28636] ppid=28621 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28636/stat : 28636 (java) S 28621 28621 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155698341 14320615424 83661 33554432000 4194304 4196468 140723099900688 139793875548768 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28637] ppid=28621 vsize=13984976 memory=4132 CPUtime=1.02 cores=1,3,5,7
/proc/28623/task/28637/stat : 28637 (java) S 28621 28621 21109 0 -1 1077944384 2417 0 0 0 49 53 0 0 20 0 15 0 155698341 14320615424 83661 33554432000 4194304 4196468 140723099900688 139793874496304 139794341563010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
Current children cumulated CPU time: 2479.53 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 336028 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2482.4 s]
/proc/loadavg: 1.80 1.82 1.81 3/217 28968
/proc/meminfo: memFree=25301108/32770624 swapFree=67108860/67108860
[pid=28621] ppid=28618 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/28621/stat : 28621 (xcsp3-exec) S 28618 28621 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155698335 9740288 346 33554432000 4194304 5098028 140732286833552 140732286831656 140099920278140 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 10493952 140732286837870 140732286838075 140732286838075 140732286840811 0
/proc/28621/statm: 2378 346 289 221 0 87 0
[pid=28623] ppid=28621 vsize=13984976 memory=333296 CPUtime=2520.04 cores=1,3,5,7
/proc/28623/stat : 28623 (java) S 28621 28621 21109 0 -1 1077944320 213994 0 0 0 251858 146 0 0 20 0 15 0 155698335 14320615424 83324 33554432000 4194304 4196468 140723099900688 140723099883232 139794341551863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
/proc/28623/statm: 3496244 83324 3284 1 0 3483478 0
[pid=28623/tid=28624] ppid=28621 vsize=13984976 memory=6791534058613427641 CPUtime=2474.03 cores=1,3,5,7
/proc/28623/task/28624/stat : 28624 (java) R 28621 28621 21109 0 -1 4202560 30520 0 0 0 247394 9 0 0 20 0 15 0 155698335 14320615424 83324 33554432000 4194304 4196468 140723099900688 139794345791280 139793960687100 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28625] ppid=28621 vsize=13984976 memory=333296 CPUtime=6.92 cores=1,3,5,7
/proc/28623/task/28625/stat : 28625 (java) S 28621 28621 21109 0 -1 1077944384 9505 0 0 0 676 16 0 0 20 0 15 0 155698336 14320615424 83324 33554432000 4194304 4196468 140723099900688 139794279151888 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28626] ppid=28621 vsize=13984976 memory=1720 CPUtime=6.9 cores=1,3,5,7
/proc/28623/task/28626/stat : 28626 (java) S 28621 28621 21109 0 -1 1077944384 8779 0 0 0 672 18 0 0 20 0 15 0 155698336 14320615424 83324 33554432000 4194304 4196468 140723099900688 139794278099344 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28627] ppid=28621 vsize=13984976 memory=1008 CPUtime=6.92 cores=1,3,5,7
/proc/28623/task/28627/stat : 28627 (java) S 28621 28621 21109 0 -1 1077944384 11851 0 0 0 675 17 0 0 20 0 15 0 155698336 14320615424 83324 33554432000 4194304 4196468 140723099900688 139794277046800 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28628] ppid=28621 vsize=13984976 memory=1384 CPUtime=6.92 cores=1,3,5,7
/proc/28623/task/28628/stat : 28628 (java) S 28621 28621 21109 0 -1 1077944384 10951 0 0 0 673 19 0 0 20 0 15 0 155698336 14320615424 83324 33554432000 4194304 4196468 140723099900688 139794275994256 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28629] ppid=28621 vsize=13984976 memory=333296 CPUtime=0.94 cores=1,3,5,7
/proc/28623/task/28629/stat : 28629 (java) S 28621 28621 21109 0 -1 1077944384 25793 0 0 0 84 10 0 0 20 0 15 0 155698337 14320615424 83324 33554432000 4194304 4196468 140723099900688 139793882917360 139794341563010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28630] ppid=28621 vsize=13984976 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28630/stat : 28630 (java) S 28621 28621 21109 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 155698338 14320615424 83324 33554432000 4194304 4196468 140723099900688 139793881863584 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28631] ppid=28621 vsize=13984976 memory=4468 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28631/stat : 28631 (java) S 28621 28621 21109 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 155698338 14320615424 83324 33554432000 4194304 4196468 140723099900688 139793880810992 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28632] ppid=28621 vsize=13984976 memory=932 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28632/stat : 28632 (java) S 28621 28621 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155698340 14320615424 83324 33554432000 4194304 4196468 140723099900688 139793879759568 139794341570459 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28633] ppid=28621 vsize=13984976 memory=1576 CPUtime=7.86 cores=1,3,5,7
/proc/28623/task/28633/stat : 28633 (java) S 28621 28621 21109 0 -1 1077944384 42628 0 0 0 782 4 0 0 20 0 15 0 155698340 14320615424 83324 33554432000 4194304 4196468 140723099900688 139793878706160 139794341563010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28634] ppid=28621 vsize=13984976 memory=333296 CPUtime=7.31 cores=1,3,5,7
/proc/28623/task/28634/stat : 28634 (java) S 28621 28621 21109 0 -1 1077944384 55641 0 0 0 725 6 0 0 20 0 15 0 155698341 14320615424 83324 33554432000 4194304 4196468 140723099900688 139793877653616 139794341563010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28635] ppid=28621 vsize=13984976 memory=333296 CPUtime=1.1 cores=1,3,5,7
/proc/28623/task/28635/stat : 28635 (java) S 28621 28621 21109 0 -1 1077944384 14549 0 0 0 105 5 0 0 20 0 15 0 155698341 14320615424 83324 33554432000 4194304 4196468 140723099900688 139793876601072 139794341563010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28636] ppid=28621 vsize=13984976 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/28623/task/28636/stat : 28636 (java) S 28621 28621 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155698341 14320615424 83324 33554432000 4194304 4196468 140723099900688 139793875548768 139794341562069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
[pid=28623/tid=28637] ppid=28621 vsize=13984976 memory=2200 CPUtime=1.04 cores=1,3,5,7
/proc/28623/task/28637/stat : 28637 (java) S 28621 28621 21109 0 -1 1077944384 2432 0 0 0 49 55 0 0 20 0 15 0 155698341 14320615424 83324 33554432000 4194304 4196468 140723099900688 139793874496304 139794341563010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39698432 140723099903127 140723099903303 140723099903303 140723099905999 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 334680 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2482.41 s]
# the end of solver process 28621 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000829 s, system=0.001221 s
[startup+2482.41 s]
# the end of solver process 28623 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.59 s, system=1.47284 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): 2482.41
CPU time (s): 2520.07
CPU user time (s): 2518.59
CPU system time (s): 1.47284
CPU usage (%): 101.517
Max. virtual memory (cumulated for all children) (KiB): 13998116
Max. memory (cumulated for all children) (KiB): 573652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.59
system time used= 1.47284
maximum resident set size= 575632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 214857
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75838
involuntary context switches= 2186
# summary of solver processes directly reported to runsolver:
# pid: 28621,28623
# total CPU time (s): 2520.07
# total CPU user time (s): 2518.59
# total CPU system time (s): 1.47284
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6866 second user time and 23.186 second system time
The end