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 (14181 MiB free)
  memory of node 1: 16384 MiB (13300 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282847-1503211004/watcher-4282847-1503211004 -o /tmp/evaluation-result-4282847-1503211004/solver-4282847-1503211004 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node102-1503209175-21930 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 243127618 HOME/instance-4282847-1503211004.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=22795, runsolver pid=22792
Current StackSize limit: 8192 KiB


[startup+0.100123 s]*
/proc/loadavg: 1.41 1.65 1.55 8/218 22811
/proc/meminfo: memFree=28125180/32770624 swapFree=67108860/67108860
[pid=22795] ppid=22792 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/22795/stat : 22795 (xcsp3-exec) S 22792 22795 21899 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154188527 9740288 346 33554432000 4194304 5098028 140721364493152 140721364491256 140553449443964 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19697664 140721364501621 140721364501824 140721364501824 140721364504555 0
/proc/22795/statm: 2378 346 289 221 0 87 0
[pid=22797] ppid=22795 vsize=13978596 memory=27036 CPUtime=0.12 cores=0,2,4,6
/proc/22797/stat : 22797 (java) S 22795 22795 21899 0 -1 1077944320 5606 0 0 0 11 1 0 0 20 0 15 0 154188527 14314082304 6759 33554432000 4194304 4196468 140728790794848 140728790777392 140678395784951 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
/proc/22797/statm: 3494649 6759 2884 1 0 3482966 0
[pid=22797/tid=22798] ppid=22795 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/22797/task/22798/stat : 22798 (java) R 22795 22795 21899 0 -1 4202560 3581 0 0 0 8 1 0 0 20 0 15 0 154188528 14314082304 6759 33554432000 4194304 4196468 140728790794848 140678400017472 140678395796886 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22799] ppid=22795 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22799/stat : 22799 (java) S 22795 22795 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154188528 14314082304 6759 33554432000 4194304 4196468 140728790794848 140677992028688 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22800] ppid=22795 vsize=13978596 memory=139640777639552 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22800/stat : 22800 (java) S 22795 22795 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188528 14314082304 6759 33554432000 4194304 4196468 140728790794848 140677990976144 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22801] ppid=22795 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22801/stat : 22801 (java) S 22795 22795 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188528 14314082304 6759 33554432000 4194304 4196468 140728790794848 140677989923088 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22802] ppid=22795 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22802/stat : 22802 (java) S 22795 22795 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188528 14314082304 6759 33554432000 4194304 4196468 140728790794848 140677988870544 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22803] ppid=22795 vsize=13978596 memory=139640777639552 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22803/stat : 22803 (java) S 22795 22795 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154188530 14314082304 6759 33554432000 4194304 4196468 140728790794848 140677509491440 140678395796098 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22804] ppid=22795 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22804/stat : 22804 (java) S 22795 22795 21899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154188530 14314082304 6759 33554432000 4194304 4196468 140728790794848 140677508437664 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22805] ppid=22795 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22805/stat : 22805 (java) S 22795 22795 21899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154188530 14314082304 6759 33554432000 4194304 4196468 140728790794848 140677507384560 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22806] ppid=22795 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22806/stat : 22806 (java) S 22795 22795 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188533 14314082304 6759 33554432000 4194304 4196468 140728790794848 140677506333136 140678395803547 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22807] ppid=22795 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22807/stat : 22807 (java) S 22795 22795 21899 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 15 0 154188533 14314082304 6759 33554432000 4194304 4196468 140728790794848 140677505280240 140678395796098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22808] ppid=22795 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22808/stat : 22808 (java) S 22795 22795 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188533 14314082304 6759 33554432000 4194304 4196468 140728790794848 140677504227696 140678395796098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22809] ppid=22795 vsize=13978596 memory=139640777639552 CPUtime=0.01 cores=0,2,4,6
/proc/22797/task/22809/stat : 22809 (java) R 22795 22795 21899 0 -1 4202560 292 0 0 0 1 0 0 0 20 0 15 0 154188533 14314082304 6759 33554432000 4194304 4196468 140728790794848 140677503174640 140678374274736 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22810] ppid=22795 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22810/stat : 22810 (java) S 22795 22795 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188533 14314082304 6759 33554432000 4194304 4196468 140728790794848 140677502122336 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22811] ppid=22795 vsize=13978596 memory=139640777639552 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22811/stat : 22811 (java) S 22795 22795 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188533 14314082304 6759 33554432000 4194304 4196468 140728790794848 140677501070384 140678395796098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 28420 KiB

[startup+0.210685 s]*
/proc/loadavg: 1.41 1.65 1.55 3/218 22811
/proc/meminfo: memFree=28109364/32770624 swapFree=67108860/67108860
[pid=22795] ppid=22792 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/22795/stat : 22795 (xcsp3-exec) S 22792 22795 21899 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154188527 9740288 346 33554432000 4194304 5098028 140721364493152 140721364491256 140553449443964 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19697664 140721364501621 140721364501824 140721364501824 140721364504555 0
/proc/22795/statm: 2378 346 289 221 0 87 0
[pid=22797] ppid=22795 vsize=13982852 memory=39272 CPUtime=0.34 cores=0,2,4,6
/proc/22797/stat : 22797 (java) S 22795 22795 21899 0 -1 1077944320 8413 0 0 0 31 3 0 0 20 0 15 0 154188527 14318440448 9818 33554432000 4194304 4196468 140728790794848 140728790777392 140678395784951 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
/proc/22797/statm: 3495721 9818 3037 1 0 3482974 0
[pid=22797/tid=22798] ppid=22795 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/22797/task/22798/stat : 22798 (java) R 22795 22795 21899 0 -1 1077944384 5381 0 0 0 18 2 0 0 20 0 15 0 154188528 14318440448 9818 33554432000 4194304 4196468 140728790794848 140678399994560 140678388464173 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22799] ppid=22795 vsize=13982884 memory=8961 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22799/stat : 22799 (java) S 22795 22795 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154188528 14318473216 9818 33554432000 4194304 4196468 140728790794848 140677992028688 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22800] ppid=22795 vsize=13982884 memory=3473037488354133664 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22800/stat : 22800 (java) S 22795 22795 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188528 14318473216 9818 33554432000 4194304 4196468 140728790794848 140677990976144 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22801] ppid=22795 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22801/stat : 22801 (java) S 22795 22795 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188528 14318440448 9818 33554432000 4194304 4196468 140728790794848 140677989923088 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22802] ppid=22795 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22802/stat : 22802 (java) S 22795 22795 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188528 14318440448 9818 33554432000 4194304 4196468 140728790794848 140677988870544 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22803] ppid=22795 vsize=13982852 memory=139640777639552 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22803/stat : 22803 (java) S 22795 22795 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154188530 14318440448 9818 33554432000 4194304 4196468 140728790794848 140677509491440 140678395796098 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22804] ppid=22795 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22804/stat : 22804 (java) S 22795 22795 21899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154188530 14318440448 9818 33554432000 4194304 4196468 140728790794848 140677508437664 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22805] ppid=22795 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22805/stat : 22805 (java) S 22795 22795 21899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154188530 14318440448 9818 33554432000 4194304 4196468 140728790794848 140677507384560 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22806] ppid=22795 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22806/stat : 22806 (java) S 22795 22795 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188533 14318440448 9818 33554432000 4194304 4196468 140728790794848 140677506333136 140678395803547 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22807] ppid=22795 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/22797/task/22807/stat : 22807 (java) S 22795 22795 21899 0 -1 1077944384 658 0 0 0 3 0 0 0 20 0 15 0 154188533 14318440448 9818 33554432000 4194304 4196468 140728790794848 140677505280240 140678395796098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22808] ppid=22795 vsize=13982852 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/22797/task/22808/stat : 22808 (java) S 22795 22795 21899 0 -1 1077944384 257 0 0 0 1 0 0 0 20 0 15 0 154188533 14318440448 9818 33554432000 4194304 4196468 140728790794848 140677504227696 140678395796098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22809] ppid=22795 vsize=13982852 memory=139640777639552 CPUtime=0.07 cores=0,2,4,6
/proc/22797/task/22809/stat : 22809 (java) S 22795 22795 21899 0 -1 1077944384 822 0 0 0 7 0 0 0 20 0 15 0 154188533 14318440448 9818 33554432000 4194304 4196468 140728790794848 140677503174640 140678395796098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22810] ppid=22795 vsize=13982884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22810/stat : 22810 (java) S 22795 22795 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188533 14318473216 9818 33554432000 4194304 4196468 140728790794848 140677502122336 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22811] ppid=22795 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22811/stat : 22811 (java) S 22795 22795 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188533 14318473216 9818 33554432000 4194304 4196468 140728790794848 140677501070384 140678395796098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 40656 KiB

[startup+0.310529 s]*
/proc/loadavg: 1.41 1.65 1.55 9/218 22811
/proc/meminfo: memFree=28100908/32770624 swapFree=67108860/67108860
[pid=22795] ppid=22792 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/22795/stat : 22795 (xcsp3-exec) S 22792 22795 21899 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154188527 9740288 346 33554432000 4194304 5098028 140721364493152 140721364491256 140553449443964 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19697664 140721364501621 140721364501824 140721364501824 140721364504555 0
/proc/22795/statm: 2378 346 289 221 0 87 0
[pid=22797] ppid=22795 vsize=13982852 memory=46664 CPUtime=0.51 cores=0,2,4,6
/proc/22797/stat : 22797 (java) S 22795 22795 21899 0 -1 1077944320 9336 0 0 0 48 3 0 0 20 0 15 0 154188527 14318440448 11666 33554432000 4194304 4196468 140728790794848 140728790777392 140678395784951 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
/proc/22797/statm: 3495713 11666 3113 1 0 3482966 0
[pid=22797/tid=22798] ppid=22795 vsize=13982852 memory=7883960649037381690 CPUtime=0.29 cores=0,2,4,6
/proc/22797/task/22798/stat : 22798 (java) R 22795 22795 21899 0 -1 4202560 6027 0 0 0 27 2 0 0 20 0 15 0 154188528 14318440448 11666 33554432000 4194304 4196468 140728790794848 140678400024176 140678033638259 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22799] ppid=22795 vsize=13982852 memory=9323 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22799/stat : 22799 (java) S 22795 22795 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154188528 14318440448 11666 33554432000 4194304 4196468 140728790794848 140677992028688 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22800] ppid=22795 vsize=13982852 memory=4192908638979096608 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22800/stat : 22800 (java) S 22795 22795 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188528 14318440448 11666 33554432000 4194304 4196468 140728790794848 140677990976144 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22801] ppid=22795 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22801/stat : 22801 (java) S 22795 22795 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188528 14318440448 11666 33554432000 4194304 4196468 140728790794848 140677989923088 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22802] ppid=22795 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22802/stat : 22802 (java) S 22795 22795 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188528 14318440448 11666 33554432000 4194304 4196468 140728790794848 140677988870544 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22803] ppid=22795 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22803/stat : 22803 (java) S 22795 22795 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154188530 14318440448 11666 33554432000 4194304 4196468 140728790794848 140677509491440 140678395796098 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22804] ppid=22795 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22804/stat : 22804 (java) S 22795 22795 21899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154188530 14318440448 11666 33554432000 4194304 4196468 140728790794848 140677508437664 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22805] ppid=22795 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22805/stat : 22805 (java) S 22795 22795 21899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154188530 14318440448 11666 33554432000 4194304 4196468 140728790794848 140677507384560 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22806] ppid=22795 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22806/stat : 22806 (java) S 22795 22795 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188533 14318440448 11666 33554432000 4194304 4196468 140728790794848 140677506333136 140678395803547 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22807] ppid=22795 vsize=13982852 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/22797/task/22807/stat : 22807 (java) S 22795 22795 21899 0 -1 1077944384 685 0 0 0 4 0 0 0 20 0 15 0 154188533 14318440448 11666 33554432000 4194304 4196468 140728790794848 140677505280240 140678395796098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22808] ppid=22795 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22797/task/22808/stat : 22808 (java) S 22795 22795 21899 0 -1 1077944384 320 0 0 0 2 0 0 0 20 0 15 0 154188533 14318440448 11666 33554432000 4194304 4196468 140728790794848 140677504227696 140678395796098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22809] ppid=22795 vsize=13982852 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/22797/task/22809/stat : 22809 (java) R 22795 22795 21899 0 -1 4202560 1001 0 0 0 13 0 0 0 20 0 15 0 154188533 14318440448 11666 33554432000 4194304 4196468 140728790794848 140677503171008 140678374739541 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22810] ppid=22795 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22810/stat : 22810 (java) S 22795 22795 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188533 14318440448 11666 33554432000 4194304 4196468 140728790794848 140677502122336 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22811] ppid=22795 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22811/stat : 22811 (java) S 22795 22795 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188533 14318440448 11666 33554432000 4194304 4196468 140728790794848 140677501070384 140678395796098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48048 KiB

[startup+0.701323 s]
/proc/loadavg: 1.41 1.65 1.55 6/218 22811
/proc/meminfo: memFree=28044508/32770624 swapFree=67108860/67108860
[pid=22795] ppid=22792 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/22795/stat : 22795 (xcsp3-exec) S 22792 22795 21899 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154188527 9740288 346 33554432000 4194304 5098028 140721364493152 140721364491256 140553449443964 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19697664 140721364501621 140721364501824 140721364501824 140721364504555 0
/proc/22795/statm: 2378 346 289 221 0 87 0
[pid=22797] ppid=22795 vsize=13982928 memory=113608 CPUtime=1.7 cores=0,2,4,6
/proc/22797/stat : 22797 (java) S 22795 22795 21899 0 -1 1077944320 12266 0 0 0 165 5 0 0 20 0 15 0 154188527 14318518272 28402 33554432000 4194304 4196468 140728790794848 140728790777392 140678395784951 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
/proc/22797/statm: 3495732 28402 3191 1 0 3482966 0
[pid=22797/tid=22798] ppid=22795 vsize=13982928 memory=24592 CPUtime=0.67 cores=0,2,4,6
/proc/22797/task/22798/stat : 22798 (java) R 22795 22795 21899 0 -1 4202560 6323 0 0 0 64 3 0 0 20 0 15 0 154188528 14318518272 28402 33554432000 4194304 4196468 140728790794848 140678400019248 140678037155564 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22799] ppid=22795 vsize=13982928 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22799/stat : 22799 (java) S 22795 22795 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154188528 14318518272 28402 33554432000 4194304 4196468 140728790794848 140677992028688 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22800] ppid=22795 vsize=13982928 memory=648 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22800/stat : 22800 (java) S 22795 22795 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188528 14318518272 28402 33554432000 4194304 4196468 140728790794848 140677990976144 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22801] ppid=22795 vsize=13982928 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22801/stat : 22801 (java) S 22795 22795 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188528 14318518272 28402 33554432000 4194304 4196468 140728790794848 140677989923088 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22802] ppid=22795 vsize=13982928 memory=956 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22802/stat : 22802 (java) S 22795 22795 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188528 14318518272 28402 33554432000 4194304 4196468 140728790794848 140677988870544 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22803] ppid=22795 vsize=13982928 memory=2468 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22803/stat : 22803 (java) S 22795 22795 21899 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154188530 14318518272 28402 33554432000 4194304 4196468 140728790794848 140677509491440 140678395796098 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22804] ppid=22795 vsize=13982928 memory=928 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22804/stat : 22804 (java) S 22795 22795 21899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154188530 14318518272 28402 33554432000 4194304 4196468 140728790794848 140677508437664 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22805] ppid=22795 vsize=13982928 memory=1576 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22805/stat : 22805 (java) S 22795 22795 21899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154188530 14318518272 28402 33554432000 4194304 4196468 140728790794848 140677507384560 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22806] ppid=22795 vsize=13982928 memory=2236 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22806/stat : 22806 (java) S 22795 22795 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188533 14318518272 28402 33554432000 4194304 4196468 140728790794848 140677506333136 140678395803547 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22807] ppid=22795 vsize=13982928 memory=4316 CPUtime=0.37 cores=0,2,4,6
/proc/22797/task/22807/stat : 22807 (java) R 22795 22795 21899 0 -1 4202560 1692 0 0 0 37 0 0 0 20 0 15 0 154188533 14318518272 28402 33554432000 4194304 4196468 140728790794848 140677505280240 140678381829476 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22808] ppid=22795 vsize=13982928 memory=2196 CPUtime=0.35 cores=0,2,4,6
/proc/22797/task/22808/stat : 22808 (java) R 22795 22795 21899 0 -1 4202560 1283 0 0 0 35 0 0 0 20 0 15 0 154188533 14318518272 28402 33554432000 4194304 4196468 140728790794848 140677504214264 140678380892629 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22809] ppid=22795 vsize=13982928 memory=7784 CPUtime=0.27 cores=0,2,4,6
/proc/22797/task/22809/stat : 22809 (java) S 22795 22795 21899 0 -1 1077944384 1662 0 0 0 27 0 0 0 20 0 15 0 154188533 14318518272 28402 33554432000 4194304 4196468 140728790794848 140677503174640 140678395796098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22810] ppid=22795 vsize=13982928 memory=832 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22810/stat : 22810 (java) S 22795 22795 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188533 14318518272 28402 33554432000 4194304 4196468 140728790794848 140677502122336 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22811] ppid=22795 vsize=13982928 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22811/stat : 22811 (java) S 22795 22795 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154188533 14318518272 28402 33554432000 4194304 4196468 140728790794848 140677501070384 140678395796098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 114992 KiB

[startup+1.50079 s]
/proc/loadavg: 1.41 1.65 1.55 6/218 22811
/proc/meminfo: memFree=27858580/32770624 swapFree=67108860/67108860
[pid=22795] ppid=22792 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/22795/stat : 22795 (xcsp3-exec) S 22792 22795 21899 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154188527 9740288 346 33554432000 4194304 5098028 140721364493152 140721364491256 140553449443964 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19697664 140721364501621 140721364501824 140721364501824 140721364504555 0
/proc/22795/statm: 2378 346 289 221 0 87 0

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

/proc/22797/task/22805/stat : 22805 (java) S 22795 22795 21899 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 154188530 14320615424 103564 33554432000 4194304 4196468 140728790794848 140677507384576 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22806] ppid=22795 vsize=13984976 memory=7667220471481394280 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22806/stat : 22806 (java) S 22795 22795 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188533 14320615424 103564 33554432000 4194304 4196468 140728790794848 140677506333136 140678395803547 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22807] ppid=22795 vsize=13984976 memory=4136 CPUtime=2.81 cores=0,2,4,6
/proc/22797/task/22807/stat : 22807 (java) S 22795 22795 21899 0 -1 1077944384 13170 0 0 0 280 1 0 0 20 0 15 0 154188533 14320615424 103564 33554432000 4194304 4196468 140728790794848 140677505280240 140678395796098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22808] ppid=22795 vsize=13984976 memory=42856 CPUtime=2.53 cores=0,2,4,6
/proc/22797/task/22808/stat : 22808 (java) S 22795 22795 21899 0 -1 1077944384 11082 0 0 0 251 2 0 0 20 0 15 0 154188533 14320615424 103564 33554432000 4194304 4196468 140728790794848 140677504227696 140678395796098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22809] ppid=22795 vsize=13984976 memory=1296 CPUtime=0.67 cores=0,2,4,6
/proc/22797/task/22809/stat : 22809 (java) S 22795 22795 21899 0 -1 1077944384 5001 0 0 0 66 1 0 0 20 0 15 0 154188533 14320615424 103564 33554432000 4194304 4196468 140728790794848 140677503174640 140678395796098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22810] ppid=22795 vsize=13984976 memory=42856 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22810/stat : 22810 (java) S 22795 22795 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188533 14320615424 103564 33554432000 4194304 4196468 140728790794848 140677502122336 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22811] ppid=22795 vsize=13984976 memory=1296 CPUtime=0.02 cores=0,2,4,6
/proc/22797/task/22811/stat : 22811 (java) S 22795 22795 21899 0 -1 1077944384 459 0 0 0 1 1 0 0 20 0 15 0 154188533 14320615424 103564 33554432000 4194304 4196468 140728790794848 140677501070384 140678395796098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 12 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
Current children cumulated CPU time: 108.66 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 415640 KiB

[startup+162.301 s]
/proc/loadavg: 1.86 1.76 1.60 3/217 22814
/proc/meminfo: memFree=26497024/32770624 swapFree=67108860/67108860
[pid=22795] ppid=22792 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/22795/stat : 22795 (xcsp3-exec) S 22792 22795 21899 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154188527 9740288 346 33554432000 4194304 5098028 140721364493152 140721364491256 140553449443964 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19697664 140721364501621 140721364501824 140721364501824 140721364504555 0
/proc/22795/statm: 2378 346 289 221 0 87 0
[pid=22797] ppid=22795 vsize=13984976 memory=652520 CPUtime=168.77 cores=0,2,4,6
/proc/22797/stat : 22797 (java) S 22795 22795 21899 0 -1 1077944320 48852 0 0 0 16841 36 0 0 20 0 15 0 154188527 14320615424 163130 33554432000 4194304 4196468 140728790794848 140728790777392 140678395784951 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
/proc/22797/statm: 3496244 163130 3268 1 0 3483478 0
[pid=22797/tid=22798] ppid=22795 vsize=13984976 memory=652520 CPUtime=162.11 cores=0,2,4,6
/proc/22797/task/22798/stat : 22798 (java) R 22795 22795 21899 0 -1 4202560 11814 0 0 0 16201 10 0 0 20 0 15 0 154188528 14320615424 163130 33554432000 4194304 4196468 140728790794848 140678400024592 140678040949657 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22799] ppid=22795 vsize=13984976 memory=652520 CPUtime=0.12 cores=0,2,4,6
/proc/22797/task/22799/stat : 22799 (java) S 22795 22795 21899 0 -1 1077944384 621 0 0 0 8 4 0 0 20 0 15 0 154188528 14320615424 163130 33554432000 4194304 4196468 140728790794848 140677992028688 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22800] ppid=22795 vsize=13984976 memory=652520 CPUtime=0.1 cores=0,2,4,6
/proc/22797/task/22800/stat : 22800 (java) S 22795 22795 21899 0 -1 1077944384 426 0 0 0 7 3 0 0 20 0 15 0 154188528 14320615424 163130 33554432000 4194304 4196468 140728790794848 140677990976144 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22801] ppid=22795 vsize=13984976 memory=652520 CPUtime=0.12 cores=0,2,4,6
/proc/22797/task/22801/stat : 22801 (java) S 22795 22795 21899 0 -1 1077944384 672 0 0 0 8 4 0 0 20 0 15 0 154188528 14320615424 163130 33554432000 4194304 4196468 140728790794848 140677989923088 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22802] ppid=22795 vsize=13984976 memory=652520 CPUtime=0.12 cores=0,2,4,6
/proc/22797/task/22802/stat : 22802 (java) S 22795 22795 21899 0 -1 1077944384 2193 0 0 0 8 4 0 0 20 0 15 0 154188528 14320615424 163130 33554432000 4194304 4196468 140728790794848 140677988870544 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22803] ppid=22795 vsize=13984976 memory=652520 CPUtime=0.01 cores=0,2,4,6
/proc/22797/task/22803/stat : 22803 (java) S 22795 22795 21899 0 -1 1077944384 1375 0 0 0 1 0 0 0 20 0 15 0 154188530 14320615424 163130 33554432000 4194304 4196468 140728790794848 140677509491440 140678395796098 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22804] ppid=22795 vsize=13984976 memory=652520 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22804/stat : 22804 (java) S 22795 22795 21899 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 154188530 14320615424 163130 33554432000 4194304 4196468 140728790794848 140677508437728 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22805] ppid=22795 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22805/stat : 22805 (java) S 22795 22795 21899 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 154188530 14320615424 163130 33554432000 4194304 4196468 140728790794848 140677507384576 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22806] ppid=22795 vsize=13984976 memory=652520 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22806/stat : 22806 (java) S 22795 22795 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188533 14320615424 163130 33554432000 4194304 4196468 140728790794848 140677506333136 140678395803547 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22807] ppid=22795 vsize=13984976 memory=1384 CPUtime=2.82 cores=0,2,4,6
/proc/22797/task/22807/stat : 22807 (java) S 22795 22795 21899 0 -1 1077944384 13371 0 0 0 281 1 0 0 20 0 15 0 154188533 14320615424 163130 33554432000 4194304 4196468 140728790794848 140677505280240 140678395796098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22808] ppid=22795 vsize=13984976 memory=928 CPUtime=2.56 cores=0,2,4,6
/proc/22797/task/22808/stat : 22808 (java) S 22795 22795 21899 0 -1 1077944384 11192 0 0 0 254 2 0 0 20 0 15 0 154188533 14320615424 163130 33554432000 4194304 4196468 140728790794848 140677504227696 140678395796098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22809] ppid=22795 vsize=13984976 memory=1384 CPUtime=0.67 cores=0,2,4,6
/proc/22797/task/22809/stat : 22809 (java) S 22795 22795 21899 0 -1 1077944384 5421 0 0 0 66 1 0 0 20 0 15 0 154188533 14320615424 163130 33554432000 4194304 4196468 140728790794848 140677503174640 140678395796098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22810] ppid=22795 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22810/stat : 22810 (java) S 22795 22795 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188533 14320615424 163130 33554432000 4194304 4196468 140728790794848 140677502122336 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22811] ppid=22795 vsize=13984976 memory=6791534058613427641 CPUtime=0.04 cores=0,2,4,6
/proc/22797/task/22811/stat : 22811 (java) S 22795 22795 21899 0 -1 1077944384 464 0 0 0 2 2 0 0 20 0 15 0 154188533 14320615424 163130 33554432000 4194304 4196468 140728790794848 140677501070384 140678395796098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
Current children cumulated CPU time: 168.77 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 653904 KiB

[startup+222.301 s]
/proc/loadavg: 1.87 1.78 1.62 3/217 22815
/proc/meminfo: memFree=26470348/32770624 swapFree=67108860/67108860
[pid=22795] ppid=22792 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/22795/stat : 22795 (xcsp3-exec) S 22792 22795 21899 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154188527 9740288 346 33554432000 4194304 5098028 140721364493152 140721364491256 140553449443964 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19697664 140721364501621 140721364501824 140721364501824 140721364504555 0
/proc/22795/statm: 2378 346 289 221 0 87 0
[pid=22797] ppid=22795 vsize=13984976 memory=675136 CPUtime=228.96 cores=0,2,4,6
/proc/22797/stat : 22797 (java) S 22795 22795 21899 0 -1 1077944320 54090 0 0 0 22856 40 0 0 20 0 15 0 154188527 14320615424 168784 33554432000 4194304 4196468 140728790794848 140728790777392 140678395784951 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
/proc/22797/statm: 3496244 168784 3270 1 0 3483478 0
[pid=22797/tid=22798] ppid=22795 vsize=13984976 memory=652584 CPUtime=222.09 cores=0,2,4,6
/proc/22797/task/22798/stat : 22798 (java) R 22795 22795 21899 0 -1 4202560 13057 0 0 0 22199 10 0 0 20 0 15 0 154188528 14320615424 168784 33554432000 4194304 4196468 140728790794848 140678400024592 140678040953504 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22799] ppid=22795 vsize=13984976 memory=1384 CPUtime=0.14 cores=0,2,4,6
/proc/22797/task/22799/stat : 22799 (java) S 22795 22795 21899 0 -1 1077944384 1570 0 0 0 9 5 0 0 20 0 15 0 154188528 14320615424 168784 33554432000 4194304 4196468 140728790794848 140677992028688 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22800] ppid=22795 vsize=13984976 memory=675136 CPUtime=0.13 cores=0,2,4,6
/proc/22797/task/22800/stat : 22800 (java) S 22795 22795 21899 0 -1 1077944384 575 0 0 0 9 4 0 0 20 0 15 0 154188528 14320615424 168784 33554432000 4194304 4196468 140728790794848 140677990976144 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22801] ppid=22795 vsize=13984976 memory=652584 CPUtime=0.13 cores=0,2,4,6
/proc/22797/task/22801/stat : 22801 (java) S 22795 22795 21899 0 -1 1077944384 721 0 0 0 9 4 0 0 20 0 15 0 154188528 14320615424 168784 33554432000 4194304 4196468 140728790794848 140677989923088 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22802] ppid=22795 vsize=13984976 memory=652584 CPUtime=0.13 cores=0,2,4,6
/proc/22797/task/22802/stat : 22802 (java) S 22795 22795 21899 0 -1 1077944384 2410 0 0 0 9 4 0 0 20 0 15 0 154188528 14320615424 168784 33554432000 4194304 4196468 140728790794848 140677988870544 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22803] ppid=22795 vsize=13984976 memory=2404 CPUtime=0.01 cores=0,2,4,6
/proc/22797/task/22803/stat : 22803 (java) S 22795 22795 21899 0 -1 1077944384 1585 0 0 0 1 0 0 0 20 0 15 0 154188530 14320615424 168784 33554432000 4194304 4196468 140728790794848 140677509491440 140678395796098 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22804] ppid=22795 vsize=13984976 memory=1732 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22804/stat : 22804 (java) S 22795 22795 21899 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 154188530 14320615424 168784 33554432000 4194304 4196468 140728790794848 140677508437728 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22805] ppid=22795 vsize=13984976 memory=652584 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22805/stat : 22805 (java) S 22795 22795 21899 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 154188530 14320615424 168784 33554432000 4194304 4196468 140728790794848 140677507384576 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22806] ppid=22795 vsize=13984976 memory=4136 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22806/stat : 22806 (java) S 22795 22795 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188533 14320615424 168784 33554432000 4194304 4196468 140728790794848 140677506333136 140678395803547 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22807] ppid=22795 vsize=13984976 memory=1384 CPUtime=2.91 cores=0,2,4,6
/proc/22797/task/22807/stat : 22807 (java) S 22795 22795 21899 0 -1 1077944384 15352 0 0 0 289 2 0 0 20 0 15 0 154188533 14320615424 168784 33554432000 4194304 4196468 140728790794848 140677505280240 140678395796098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22808] ppid=22795 vsize=13984976 memory=1384 CPUtime=2.56 cores=0,2,4,6
/proc/22797/task/22808/stat : 22808 (java) S 22795 22795 21899 0 -1 1077944384 11196 0 0 0 254 2 0 0 20 0 15 0 154188533 14320615424 168784 33554432000 4194304 4196468 140728790794848 140677504227696 140678395796098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22809] ppid=22795 vsize=13984976 memory=1384 CPUtime=0.68 cores=0,2,4,6
/proc/22797/task/22809/stat : 22809 (java) S 22795 22795 21899 0 -1 1077944384 5823 0 0 0 67 1 0 0 20 0 15 0 154188533 14320615424 168784 33554432000 4194304 4196468 140728790794848 140677503174640 140678395796098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22810] ppid=22795 vsize=13984976 memory=675136 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22810/stat : 22810 (java) S 22795 22795 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188533 14320615424 168784 33554432000 4194304 4196468 140728790794848 140677502122336 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22811] ppid=22795 vsize=13984976 memory=24592 CPUtime=0.07 cores=0,2,4,6
/proc/22797/task/22811/stat : 22811 (java) S 22795 22795 21899 0 -1 1077944384 498 0 0 0 3 4 0 0 20 0 15 0 154188533 14320615424 168784 33554432000 4194304 4196468 140728790794848 140677501070384 140678395796098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
Current children cumulated CPU time: 228.96 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 676520 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 1.91 1.80 1.63 5/215 22846
/proc/meminfo: memFree=27514264/32770624 swapFree=67108860/67108860
[pid=22795] ppid=22792 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/22795/stat : 22795 (xcsp3-exec) S 22792 22795 21899 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154188527 9740288 346 33554432000 4194304 5098028 140721364493152 140721364491256 140553449443964 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 19697664 140721364501621 140721364501824 140721364501824 140721364504555 0
/proc/22795/statm: 2378 346 289 221 0 87 0
[pid=22797] ppid=22795 vsize=13984976 memory=675136 CPUtime=246.66 cores=0,2,4,6
/proc/22797/stat : 22797 (java) S 22795 22795 21899 0 -1 1077944320 54165 0 0 0 24626 40 0 0 20 0 15 0 154188527 14320615424 168784 33554432000 4194304 4196468 140728790794848 140728790777392 140678395784951 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
/proc/22797/statm: 3496244 168784 3270 1 0 3483478 0
[pid=22797/tid=22798] ppid=22795 vsize=13984976 memory=6791534058613427641 CPUtime=239.8 cores=0,2,4,6
/proc/22797/task/22798/stat : 22798 (java) R 22795 22795 21899 0 -1 4202560 13132 0 0 0 23970 10 0 0 20 0 15 0 154188528 14320615424 168784 33554432000 4194304 4196468 140728790794848 140678400024592 140678039870454 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22799] ppid=22795 vsize=13984976 memory=4872558044660077418 CPUtime=0.14 cores=0,2,4,6
/proc/22797/task/22799/stat : 22799 (java) S 22795 22795 21899 0 -1 1077944384 1570 0 0 0 9 5 0 0 20 0 15 0 154188528 14320615424 168784 33554432000 4194304 4196468 140728790794848 140677992028688 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22800] ppid=22795 vsize=13984976 memory=1004 CPUtime=0.13 cores=0,2,4,6
/proc/22797/task/22800/stat : 22800 (java) S 22795 22795 21899 0 -1 1077944384 575 0 0 0 9 4 0 0 20 0 15 0 154188528 14320615424 168784 33554432000 4194304 4196468 140728790794848 140677990976144 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22801] ppid=22795 vsize=13984976 memory=1944 CPUtime=0.13 cores=0,2,4,6
/proc/22797/task/22801/stat : 22801 (java) S 22795 22795 21899 0 -1 1077944384 721 0 0 0 9 4 0 0 20 0 15 0 154188528 14320615424 168784 33554432000 4194304 4196468 140728790794848 140677989923088 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22802] ppid=22795 vsize=13984976 memory=1424 CPUtime=0.13 cores=0,2,4,6
/proc/22797/task/22802/stat : 22802 (java) S 22795 22795 21899 0 -1 1077944384 2410 0 0 0 9 4 0 0 20 0 15 0 154188528 14320615424 168784 33554432000 4194304 4196468 140728790794848 140677988870544 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22803] ppid=22795 vsize=13984976 memory=8608 CPUtime=0.01 cores=0,2,4,6
/proc/22797/task/22803/stat : 22803 (java) S 22795 22795 21899 0 -1 1077944384 1585 0 0 0 1 0 0 0 20 0 15 0 154188530 14320615424 168784 33554432000 4194304 4196468 140728790794848 140677509491440 140678395796098 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22804] ppid=22795 vsize=13984976 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22804/stat : 22804 (java) S 22795 22795 21899 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 154188530 14320615424 168784 33554432000 4194304 4196468 140728790794848 140677508437728 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22805] ppid=22795 vsize=13984976 memory=11104 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22805/stat : 22805 (java) S 22795 22795 21899 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 154188530 14320615424 168784 33554432000 4194304 4196468 140728790794848 140677507384576 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22806] ppid=22795 vsize=13984976 memory=3176 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22806/stat : 22806 (java) S 22795 22795 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188533 14320615424 168784 33554432000 4194304 4196468 140728790794848 140677506333136 140678395803547 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22807] ppid=22795 vsize=13984976 memory=1384 CPUtime=2.91 cores=0,2,4,6
/proc/22797/task/22807/stat : 22807 (java) S 22795 22795 21899 0 -1 1077944384 15352 0 0 0 289 2 0 0 20 0 15 0 154188533 14320615424 168784 33554432000 4194304 4196468 140728790794848 140677505280240 140678395796098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22808] ppid=22795 vsize=13984976 memory=1200800 CPUtime=2.56 cores=0,2,4,6
/proc/22797/task/22808/stat : 22808 (java) S 22795 22795 21899 0 -1 1077944384 11196 0 0 0 254 2 0 0 20 0 15 0 154188533 14320615424 168784 33554432000 4194304 4196468 140728790794848 140677504227696 140678395796098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22809] ppid=22795 vsize=13984976 memory=1160 CPUtime=0.68 cores=0,2,4,6
/proc/22797/task/22809/stat : 22809 (java) S 22795 22795 21899 0 -1 1077944384 5823 0 0 0 67 1 0 0 20 0 15 0 154188533 14320615424 168784 33554432000 4194304 4196468 140728790794848 140677503174640 140678395796098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22810] ppid=22795 vsize=13984976 memory=3088 CPUtime=0 cores=0,2,4,6
/proc/22797/task/22810/stat : 22810 (java) S 22795 22795 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154188533 14320615424 168784 33554432000 4194304 4196468 140728790794848 140677502122336 140678395795157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
[pid=22797/tid=22811] ppid=22795 vsize=13984976 memory=1384 CPUtime=0.08 cores=0,2,4,6
/proc/22797/task/22811/stat : 22811 (java) S 22795 22795 21899 0 -1 1077944384 498 0 0 0 4 4 0 0 20 0 15 0 154188533 14320615424 168784 33554432000 4194304 4196468 140728790794848 140677501070384 140678395796098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 33738752 140728790803613 140728790803788 140728790803788 140728790806479 0
Current children cumulated CPU time: 246.66 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 676520 KiB

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

[startup+240.02 s]
# the end of solver process 22795 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.00191 s, system=0 s

[startup+240.024 s]
# the end of solver process 22797 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=246.283 s, system=0.415175 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): 240.024
CPU time (s): 246.698
CPU user time (s): 246.283
CPU system time (s): 0.415175
CPU usage (%): 102.78
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 676524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 246.283
system time used= 0.415175
maximum resident set size= 675740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55177
page faults= 0
swaps= 0
block input operations= 0
block output operations= 360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7988
involuntary context switches= 390


# summary of solver processes directly reported to runsolver:
#   pid: 22795,22797
#   total CPU time (s): 246.698
#   total CPU user time (s): 246.283
#   total CPU system time (s): 0.415175

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.56945 second user time and 2.17666 second system time

The end