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 (3205 MiB free)
memory of node 1: 16384 MiB (6032 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306884-1534050174/watcher-4306884-1534050174 -o /tmp/evaluation-result-4306884-1534050174/solver-4306884-1534050174 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534040134-26256 --watchdog 2580 HOME/xcsp3-exec -seed 586929266 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306884-1534050174.xml
running on 4 cores: 0,2,4,6
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=27491, runsolver pid=27488
Current StackSize limit: 8192 KiB
[startup+0.100123 s]*
/proc/loadavg: 1.95 1.85 1.86 4/218 27507
/proc/meminfo: memFree=9434952/32770624 swapFree=67108792/67108860
[pid=27491] ppid=27488 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27491/stat : 27491 (xcsp3-exec) S 27488 27491 24759 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 222580682 115843072 364 33554432000 4194304 5098028 140725992490720 140725992488824 139747324072572 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16416768 140725992494139 140725992494340 140725992494340 140725992497098 0
/proc/27491/statm: 28282 364 306 221 0 87 0
[pid=27493] ppid=27491 vsize=14082940 memory=27768 CPUtime=0.12 cores=0,2,4,6
/proc/27493/stat : 27493 (java) S 27491 27491 24759 0 -1 1077944320 5789 0 0 0 11 1 0 0 20 0 15 0 222580682 14420930560 6942 33554432000 4194304 4196468 140733581122624 140733581105168 140102600232695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
/proc/27493/statm: 3520735 6942 3039 1 0 3483012 0
[pid=27493/tid=27494] ppid=27491 vsize=14082940 memory=8514701219880730790 CPUtime=0.09 cores=0,2,4,6
/proc/27493/task/27494/stat : 27494 (java) R 27491 27491 24759 0 -1 4202560 3762 0 0 0 9 0 0 0 20 0 15 0 222580682 14420930560 6942 33554432000 4194304 4196468 140733581122624 140102604461872 140102600244630 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27495] ppid=27491 vsize=14082940 memory=3472468058893079760 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27495/stat : 27495 (java) S 27491 27491 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222580683 14420930560 6942 33554432000 4194304 4196468 140733581122624 140102195845648 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27496] ppid=27491 vsize=14082940 memory=139929997928064 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27496/stat : 27496 (java) S 27491 27491 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222580683 14420930560 6942 33554432000 4194304 4196468 140733581122624 140102194793104 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27497] ppid=27491 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27497/stat : 27497 (java) S 27491 27491 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222580683 14420930560 6942 33554432000 4194304 4196468 140733581122624 140102193740048 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27498] ppid=27491 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27498/stat : 27498 (java) S 27491 27491 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222580683 14420930560 6942 33554432000 4194304 4196468 140733581122624 140102192687504 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27499] ppid=27491 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27499/stat : 27499 (java) S 27491 27491 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222580684 14420930560 6942 33554432000 4194304 4196468 140733581122624 140101579819760 140102600243842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27500] ppid=27491 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27500/stat : 27500 (java) S 27491 27491 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222580685 14420930560 6942 33554432000 4194304 4196468 140733581122624 140101578765984 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27501] ppid=27491 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27501/stat : 27501 (java) S 27491 27491 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222580685 14420930560 6942 33554432000 4194304 4196468 140733581122624 140101577712880 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27502] ppid=27491 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27502/stat : 27502 (java) S 27491 27491 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222580688 14420930560 6942 33554432000 4194304 4196468 140733581122624 140101576661456 140102600251291 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27503] ppid=27491 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27503/stat : 27503 (java) S 27491 27491 24759 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 15 0 222580688 14420930560 6942 33554432000 4194304 4196468 140733581122624 140101575608560 140102600243842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27504] ppid=27491 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27504/stat : 27504 (java) S 27491 27491 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222580688 14420930560 6942 33554432000 4194304 4196468 140733581122624 140101574556016 140102600243842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27505] ppid=27491 vsize=14082940 memory=139929997928064 CPUtime=0.01 cores=0,2,4,6
/proc/27493/task/27505/stat : 27505 (java) R 27491 27491 24759 0 -1 4202560 299 0 0 0 1 0 0 0 20 0 15 0 222580688 14420930560 6942 33554432000 4194304 4196468 140733581122624 140101573502960 140102593329531 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27506] ppid=27491 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27506/stat : 27506 (java) S 27491 27491 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222580688 14420930560 6942 33554432000 4194304 4196468 140733581122624 140101572450656 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27507] ppid=27491 vsize=14082940 memory=139929997928064 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27507/stat : 27507 (java) S 27491 27491 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222580688 14420930560 6942 33554432000 4194304 4196468 140733581122624 140101571398704 140102600243842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 29224 KiB
[startup+0.210858 s]*
/proc/loadavg: 1.95 1.85 1.86 5/218 27507
/proc/meminfo: memFree=9416616/32770624 swapFree=67108792/67108860
[pid=27491] ppid=27488 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27491/stat : 27491 (xcsp3-exec) S 27488 27491 24759 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 222580682 115843072 364 33554432000 4194304 5098028 140725992490720 140725992488824 139747324072572 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16416768 140725992494139 140725992494340 140725992494340 140725992497098 0
/proc/27491/statm: 28282 364 306 221 0 87 0
[pid=27493] ppid=27491 vsize=14082940 memory=39476 CPUtime=0.34 cores=0,2,4,6
/proc/27493/stat : 27493 (java) S 27491 27491 24759 0 -1 1077944320 8435 0 0 0 32 2 0 0 20 0 15 0 222580682 14420930560 9869 33554432000 4194304 4196468 140733581122624 140733581105168 140102600232695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
/proc/27493/statm: 3520735 9869 3181 1 0 3483012 0
[pid=27493/tid=27494] ppid=27491 vsize=14082940 memory=5852833025768652961 CPUtime=0.2 cores=0,2,4,6
/proc/27493/task/27494/stat : 27494 (java) R 27491 27491 24759 0 -1 4202560 5500 0 0 0 19 1 0 0 20 0 15 0 222580682 14420930560 9869 33554432000 4194304 4196468 140733581122624 140102604467680 140102584276325 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27495] ppid=27491 vsize=14082940 memory=3472468058893079760 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27495/stat : 27495 (java) S 27491 27491 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222580683 14420930560 9869 33554432000 4194304 4196468 140733581122624 140102195845648 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27496] ppid=27491 vsize=14082940 memory=139929997928064 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27496/stat : 27496 (java) S 27491 27491 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222580683 14420930560 9869 33554432000 4194304 4196468 140733581122624 140102194793104 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27497] ppid=27491 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27497/stat : 27497 (java) S 27491 27491 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222580683 14420930560 9869 33554432000 4194304 4196468 140733581122624 140102193740048 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27498] ppid=27491 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27498/stat : 27498 (java) S 27491 27491 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222580683 14420930560 9869 33554432000 4194304 4196468 140733581122624 140102192687504 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27499] ppid=27491 vsize=14082940 memory=139929997928064 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27499/stat : 27499 (java) S 27491 27491 24759 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 222580684 14420930560 9869 33554432000 4194304 4196468 140733581122624 140101579819760 140102600243842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27500] ppid=27491 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27500/stat : 27500 (java) S 27491 27491 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222580685 14420930560 9869 33554432000 4194304 4196468 140733581122624 140101578765984 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27501] ppid=27491 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27501/stat : 27501 (java) S 27491 27491 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222580685 14420930560 9869 33554432000 4194304 4196468 140733581122624 140101577712880 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27502] ppid=27491 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27502/stat : 27502 (java) S 27491 27491 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222580688 14420930560 9869 33554432000 4194304 4196468 140733581122624 140101576661456 140102600251291 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27503] ppid=27491 vsize=14082940 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/27493/task/27503/stat : 27503 (java) S 27491 27491 24759 0 -1 1077944384 553 0 0 0 2 0 0 0 20 0 15 0 222580688 14420930560 9869 33554432000 4194304 4196468 140733581122624 140101575608560 140102600243842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27504] ppid=27491 vsize=14082940 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/27493/task/27504/stat : 27504 (java) S 27491 27491 24759 0 -1 1077944384 193 0 0 0 2 0 0 0 20 0 15 0 222580688 14420930560 9869 33554432000 4194304 4196468 140733581122624 140101574556016 140102600243842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27505] ppid=27491 vsize=14082940 memory=139929997928064 CPUtime=0.08 cores=0,2,4,6
/proc/27493/task/27505/stat : 27505 (java) R 27491 27491 24759 0 -1 4202560 880 0 0 0 8 0 0 0 20 0 15 0 222580688 14420930560 9869 33554432000 4194304 4196468 140733581122624 140101573502960 140102600254042 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27506] ppid=27491 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27506/stat : 27506 (java) S 27491 27491 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222580688 14420930560 9869 33554432000 4194304 4196468 140733581122624 140101572450656 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27507] ppid=27491 vsize=14082940 memory=139929997928064 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27507/stat : 27507 (java) S 27491 27491 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222580688 14420930560 9869 33554432000 4194304 4196468 140733581122624 140101571398704 140102600243842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 40932 KiB
[startup+0.312197 s]*
/proc/loadavg: 1.95 1.85 1.86 7/218 27507
/proc/meminfo: memFree=9402464/32770624 swapFree=67108792/67108860
[pid=27491] ppid=27488 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27491/stat : 27491 (xcsp3-exec) S 27488 27491 24759 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 222580682 115843072 364 33554432000 4194304 5098028 140725992490720 140725992488824 139747324072572 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16416768 140725992494139 140725992494340 140725992494340 140725992497098 0
/proc/27491/statm: 28282 364 306 221 0 87 0
[pid=27493] ppid=27491 vsize=14087196 memory=47112 CPUtime=0.53 cores=0,2,4,6
/proc/27493/stat : 27493 (java) S 27491 27491 24759 0 -1 1077944320 9495 0 0 0 51 2 0 0 20 0 15 0 222580682 14425288704 11778 33554432000 4194304 4196468 140733581122624 140733581105168 140102600232695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
/proc/27493/statm: 3521799 11778 3274 1 0 3483012 0
[pid=27493/tid=27494] ppid=27491 vsize=14087196 memory=8514701219881125278 CPUtime=0.29 cores=0,2,4,6
/proc/27493/task/27494/stat : 27494 (java) R 27491 27491 24759 0 -1 4202560 6207 0 0 0 28 1 0 0 20 0 15 0 222580682 14425288704 11844 33554432000 4194304 4196468 140733581122624 140102604469472 140102584313182 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27495] ppid=27491 vsize=14087196 memory=3472468058893079760 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27495/stat : 27495 (java) S 27491 27491 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222580683 14425288704 11844 33554432000 4194304 4196468 140733581122624 140102195845648 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27496] ppid=27491 vsize=14087196 memory=139929997928064 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27496/stat : 27496 (java) S 27491 27491 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222580683 14425288704 11844 33554432000 4194304 4196468 140733581122624 140102194793104 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27497] ppid=27491 vsize=14087196 memory=12 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27497/stat : 27497 (java) S 27491 27491 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222580683 14425288704 11844 33554432000 4194304 4196468 140733581122624 140102193740048 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27498] ppid=27491 vsize=14087196 memory=139929900427295 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27498/stat : 27498 (java) S 27491 27491 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222580683 14425288704 11844 33554432000 4194304 4196468 140733581122624 140102192687504 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27499] ppid=27491 vsize=14087196 memory=279859800815360 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27499/stat : 27499 (java) S 27491 27491 24759 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 222580684 14425288704 11844 33554432000 4194304 4196468 140733581122624 140101579819760 140102600243842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27500] ppid=27491 vsize=14087196 memory=139929900404239 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27500/stat : 27500 (java) S 27491 27491 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222580685 14425288704 11844 33554432000 4194304 4196468 140733581122624 140101578765984 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27501] ppid=27491 vsize=14087196 memory=279859898341472 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27501/stat : 27501 (java) S 27491 27491 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222580685 14425288704 11844 33554432000 4194304 4196468 140733581122624 140101577712880 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27502] ppid=27491 vsize=14087196 memory=139929900408847 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27502/stat : 27502 (java) S 27491 27491 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222580688 14425288704 11844 33554432000 4194304 4196468 140733581122624 140101576661456 140102600251291 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27503] ppid=27491 vsize=14087196 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/27493/task/27503/stat : 27503 (java) R 27491 27491 24759 0 -1 4202560 661 0 0 0 5 0 0 0 20 0 15 0 222580688 14425288704 11844 33554432000 4194304 4196468 140733581122624 140101575608560 140102577493952 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27504] ppid=27491 vsize=14087196 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/27493/task/27504/stat : 27504 (java) S 27491 27491 24759 0 -1 1077944384 215 0 0 0 4 0 0 0 20 0 15 0 222580688 14425288704 11844 33554432000 4194304 4196468 140733581122624 140101574556016 140102600243842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27505] ppid=27491 vsize=14087196 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/27493/task/27505/stat : 27505 (java) S 27491 27491 24759 0 -1 1077944384 1107 0 0 0 13 0 0 0 20 0 15 0 222580688 14425288704 11844 33554432000 4194304 4196468 140733581122624 140101573502960 140102600243842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27506] ppid=27491 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27506/stat : 27506 (java) S 27491 27491 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222580688 14425288704 11844 33554432000 4194304 4196468 140733581122624 140101572450656 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27507] ppid=27491 vsize=14087196 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27507/stat : 27507 (java) S 27491 27491 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222580688 14425288704 11844 33554432000 4194304 4196468 140733581122624 140101571398704 140102600243842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 48568 KiB
[startup+0.701905 s]
/proc/loadavg: 1.95 1.85 1.86 5/201 27507
/proc/meminfo: memFree=9427160/32770624 swapFree=67108792/67108860
[pid=27491] ppid=27488 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27491/stat : 27491 (xcsp3-exec) S 27488 27491 24759 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 222580682 115843072 364 33554432000 4194304 5098028 140725992490720 140725992488824 139747324072572 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16416768 140725992494139 140725992494340 140725992494340 140725992497098 0
/proc/27491/statm: 28282 364 306 221 0 87 0
[pid=27493] ppid=27491 vsize=14089320 memory=80336 CPUtime=1.53 cores=0,2,4,6
/proc/27493/stat : 27493 (java) S 27491 27491 24759 0 -1 1077944320 14895 0 0 0 148 5 0 0 20 0 15 0 222580682 14427463680 20084 33554432000 4194304 4196468 140733581122624 140733581105168 140102600232695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
/proc/27493/statm: 3522330 20084 3367 1 0 3483524 0
[pid=27493/tid=27494] ppid=27491 vsize=14089320 memory=139934292895359 CPUtime=0.66 cores=0,2,4,6
/proc/27493/task/27494/stat : 27494 (java) R 27491 27491 24759 0 -1 4202560 7250 0 0 0 64 2 0 0 20 0 15 0 222580682 14427463680 20084 33554432000 4194304 4196468 140733581122624 140102604472048 140102241612923 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27495] ppid=27491 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27495/stat : 27495 (java) S 27491 27491 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222580683 14427463680 20084 33554432000 4194304 4196468 140733581122624 140102195845648 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27496] ppid=27491 vsize=14089320 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27496/stat : 27496 (java) S 27491 27491 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222580683 14427463680 20084 33554432000 4194304 4196468 140733581122624 140102194793104 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27497] ppid=27491 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27497/stat : 27497 (java) S 27491 27491 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222580683 14427463680 20084 33554432000 4194304 4196468 140733581122624 140102193740048 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27498] ppid=27491 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27498/stat : 27498 (java) S 27491 27491 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222580683 14427463680 20084 33554432000 4194304 4196468 140733581122624 140102192687504 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27499] ppid=27491 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27499/stat : 27499 (java) S 27491 27491 24759 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 222580684 14427463680 20084 33554432000 4194304 4196468 140733581122624 140101579819760 140102600243842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27500] ppid=27491 vsize=14089320 memory=1800 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27500/stat : 27500 (java) S 27491 27491 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222580685 14427463680 20084 33554432000 4194304 4196468 140733581122624 140101578765984 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27501] ppid=27491 vsize=14089320 memory=1264 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27501/stat : 27501 (java) S 27491 27491 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222580685 14427463680 20084 33554432000 4194304 4196468 140733581122624 140101577712880 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27502] ppid=27491 vsize=14089320 memory=7084 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27502/stat : 27502 (java) S 27491 27491 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222580688 14427463680 20084 33554432000 4194304 4196468 140733581122624 140101576661456 140102600251291 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27503] ppid=27491 vsize=14089320 memory=748 CPUtime=0.23 cores=0,2,4,6
/proc/27493/task/27503/stat : 27503 (java) R 27491 27491 24759 0 -1 4202560 1942 0 0 0 23 0 0 0 20 0 15 0 222580688 14427463680 20084 33554432000 4194304 4196468 140733581122624 140101575594504 140102592522144 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27504] ppid=27491 vsize=14089320 memory=872 CPUtime=0.22 cores=0,2,4,6
/proc/27493/task/27504/stat : 27504 (java) D 27491 27491 24759 0 -1 4202560 1887 0 0 0 22 0 0 0 20 0 15 0 222580688 14427463680 20084 33554432000 4194304 4196468 140733581122624 140101574536952 140102592949847 0 4 0 16800975 18446744071582151463 0 0 -1 0 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27505] ppid=27491 vsize=14089320 memory=1220 CPUtime=0.36 cores=0,2,4,6
/proc/27493/task/27505/stat : 27505 (java) D 27491 27491 24759 0 -1 4202560 2505 0 0 0 36 0 0 0 20 0 15 0 222580688 14427463680 20084 33554432000 4194304 4196468 140733581122624 140101573499768 140102592949847 0 4 0 16800975 18446744071582151463 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27506] ppid=27491 vsize=14089320 memory=1108 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27506/stat : 27506 (java) S 27491 27491 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222580688 14427463680 20084 33554432000 4194304 4196468 140733581122624 140101572450656 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27507] ppid=27491 vsize=14089320 memory=15336 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27507/stat : 27507 (java) S 27491 27491 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222580688 14427463680 20084 33554432000 4194304 4196468 140733581122624 140101571398704 140102600243842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
Current children cumulated CPU time: 1.53 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 81792 KiB
[startup+1.50081 s]
/proc/loadavg: 1.95 1.85 1.86 5/203 27568
/proc/meminfo: memFree=9398156/32770624 swapFree=67108792/67108860
[pid=27491] ppid=27488 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27491/stat : 27491 (xcsp3-exec) S 27488 27491 24759 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 222580682 115843072 364 33554432000 4194304 5098028 140725992490720 140725992488824 139747324072572 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16416768 140725992494139 140725992494340 140725992494340 140725992497098 0
/proc/27491/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/27493/task/27501/stat : 27501 (java) S 27491 27491 24759 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 222580685 14427463680 2240291 33554432000 4194304 4196468 140733581122624 140101577712880 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27502] ppid=27491 vsize=14089320 memory=496 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27502/stat : 27502 (java) S 27491 27491 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222580688 14427463680 2240291 33554432000 4194304 4196468 140733581122624 140101576661456 140102600251291 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27503] ppid=27491 vsize=14089320 memory=1616 CPUtime=3.51 cores=0,2,4,6
/proc/27493/task/27503/stat : 27503 (java) S 27491 27491 24759 0 -1 1077944384 22363 0 0 0 349 2 0 0 20 0 15 0 222580688 14427463680 2240291 33554432000 4194304 4196468 140733581122624 140101575608560 140102600243842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 61 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27504] ppid=27491 vsize=14089320 memory=1456 CPUtime=3.57 cores=0,2,4,6
/proc/27493/task/27504/stat : 27504 (java) S 27491 27491 24759 0 -1 1077944384 20823 0 0 0 354 3 0 0 20 0 15 0 222580688 14427463680 2240291 33554432000 4194304 4196468 140733581122624 140101574556016 140102600243842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27505] ppid=27491 vsize=14089320 memory=1456 CPUtime=0.69 cores=0,2,4,6
/proc/27493/task/27505/stat : 27505 (java) S 27491 27491 24759 0 -1 1077944384 10844 0 0 0 67 2 0 0 20 0 15 0 222580688 14427463680 2240291 33554432000 4194304 4196468 140733581122624 140101573502960 140102600243842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 60 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27506] ppid=27491 vsize=14089320 memory=2680 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27506/stat : 27506 (java) S 27491 27491 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222580688 14427463680 2240291 33554432000 4194304 4196468 140733581122624 140101572450656 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27507] ppid=27491 vsize=14089320 memory=1408 CPUtime=0.59 cores=0,2,4,6
/proc/27493/task/27507/stat : 27507 (java) S 27491 27491 24759 0 -1 1077944384 1517 0 0 0 26 33 0 0 20 0 15 0 222580688 14427463680 2240291 33554432000 4194304 4196468 140733581122624 140101571398704 140102600243842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 60 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
Current children cumulated CPU time: 2349.71 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 8962620 KiB
[startup+2382.3 s]
/proc/loadavg: 1.48 1.55 1.62 3/218 27658
/proc/meminfo: memFree=5986352/32770624 swapFree=67108792/67108860
[pid=27491] ppid=27488 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27491/stat : 27491 (xcsp3-exec) S 27488 27491 24759 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 222580682 115843072 364 33554432000 4194304 5098028 140725992490720 140725992488824 139747324072572 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16416768 140725992494139 140725992494340 140725992494340 140725992497098 0
/proc/27491/statm: 28282 364 306 221 0 87 0
[pid=27493] ppid=27491 vsize=14089320 memory=8963212 CPUtime=2411.22 cores=0,2,4,6
/proc/27493/stat : 27493 (java) S 27491 27491 24759 0 -1 1077944320 739042 0 0 0 239570 1552 0 0 20 0 15 0 222580682 14427463680 2240803 33554432000 4194304 4196468 140733581122624 140733581105168 140102600232695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
/proc/27493/statm: 3522330 2240803 3441 1 0 3483524 0
[pid=27493/tid=27494] ppid=27491 vsize=14089320 memory=8963212 CPUtime=2372.34 cores=0,2,4,6
/proc/27493/task/27494/stat : 27494 (java) R 27491 27491 24759 0 -1 4202560 454308 0 0 0 235861 1373 0 0 20 0 15 0 222580682 14427463680 2240803 33554432000 4194304 4196468 140733581122624 140102604472416 140102242954025 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27495] ppid=27491 vsize=14089320 memory=1456 CPUtime=7.22 cores=0,2,4,6
/proc/27493/task/27495/stat : 27495 (java) S 27491 27491 24759 0 -1 1077944384 47803 0 0 0 688 34 0 0 20 0 15 0 222580683 14427463680 2240803 33554432000 4194304 4196468 140733581122624 140102195845648 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27496] ppid=27491 vsize=14089320 memory=8963212 CPUtime=7.23 cores=0,2,4,6
/proc/27493/task/27496/stat : 27496 (java) S 27491 27491 24759 0 -1 1077944384 47225 0 0 0 697 26 0 0 20 0 15 0 222580683 14427463680 2240803 33554432000 4194304 4196468 140733581122624 140102194793104 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27497] ppid=27491 vsize=14089320 memory=8963212 CPUtime=7.23 cores=0,2,4,6
/proc/27493/task/27497/stat : 27497 (java) S 27491 27491 24759 0 -1 1077944384 47690 0 0 0 697 26 0 0 20 0 15 0 222580683 14427463680 2240803 33554432000 4194304 4196468 140733581122624 140102193740048 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27498] ppid=27491 vsize=14089320 memory=8963212 CPUtime=7.23 cores=0,2,4,6
/proc/27493/task/27498/stat : 27498 (java) S 27491 27491 24759 0 -1 1077944384 40701 0 0 0 695 28 0 0 20 0 15 0 222580683 14427463680 2240803 33554432000 4194304 4196468 140733581122624 140102192687504 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27499] ppid=27491 vsize=14089320 memory=1456 CPUtime=1.51 cores=0,2,4,6
/proc/27493/task/27499/stat : 27499 (java) S 27491 27491 24759 0 -1 1077944384 44362 0 0 0 117 34 0 0 20 0 15 0 222580684 14427463680 2240803 33554432000 4194304 4196468 140733581122624 140101579819760 140102600243842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27500] ppid=27491 vsize=14089320 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27500/stat : 27500 (java) S 27491 27491 24759 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 222580685 14427463680 2240803 33554432000 4194304 4196468 140733581122624 140101578765984 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27501] ppid=27491 vsize=14089320 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27501/stat : 27501 (java) S 27491 27491 24759 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 222580685 14427463680 2240803 33554432000 4194304 4196468 140733581122624 140101577712880 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27502] ppid=27491 vsize=14089320 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27502/stat : 27502 (java) S 27491 27491 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222580688 14427463680 2240803 33554432000 4194304 4196468 140733581122624 140101576661456 140102600251291 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27503] ppid=27491 vsize=14089320 memory=8963212 CPUtime=3.51 cores=0,2,4,6
/proc/27493/task/27503/stat : 27503 (java) S 27491 27491 24759 0 -1 1077944384 22365 0 0 0 349 2 0 0 20 0 15 0 222580688 14427463680 2240803 33554432000 4194304 4196468 140733581122624 140101575608560 140102600243842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 61 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27504] ppid=27491 vsize=14089320 memory=1456 CPUtime=3.57 cores=0,2,4,6
/proc/27493/task/27504/stat : 27504 (java) S 27491 27491 24759 0 -1 1077944384 20825 0 0 0 354 3 0 0 20 0 15 0 222580688 14427463680 2240803 33554432000 4194304 4196468 140733581122624 140101574556016 140102600243842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27505] ppid=27491 vsize=14089320 memory=8963212 CPUtime=0.69 cores=0,2,4,6
/proc/27493/task/27505/stat : 27505 (java) S 27491 27491 24759 0 -1 1077944384 10847 0 0 0 67 2 0 0 20 0 15 0 222580688 14427463680 2240803 33554432000 4194304 4196468 140733581122624 140101573502960 140102600243842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 60 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27506] ppid=27491 vsize=14089320 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27506/stat : 27506 (java) S 27491 27491 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222580688 14427463680 2240803 33554432000 4194304 4196468 140733581122624 140101572450656 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27507] ppid=27491 vsize=14089320 memory=8963212 CPUtime=0.6 cores=0,2,4,6
/proc/27493/task/27507/stat : 27507 (java) S 27491 27491 24759 0 -1 1077944384 1538 0 0 0 26 34 0 0 20 0 15 0 222580688 14427463680 2240803 33554432000 4194304 4196468 140733581122624 140101571398704 140102600243842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 60 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
Current children cumulated CPU time: 2411.22 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 8964668 KiB
[startup+2442.3 s]
/proc/loadavg: 1.50 1.53 1.61 3/218 27659
/proc/meminfo: memFree=6119176/32770624 swapFree=67108792/67108860
[pid=27491] ppid=27488 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27491/stat : 27491 (xcsp3-exec) S 27488 27491 24759 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 222580682 115843072 364 33554432000 4194304 5098028 140725992490720 140725992488824 139747324072572 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16416768 140725992494139 140725992494340 140725992494340 140725992497098 0
/proc/27491/statm: 28282 364 306 221 0 87 0
[pid=27493] ppid=27491 vsize=14089320 memory=8963220 CPUtime=2472.71 cores=0,2,4,6
/proc/27493/stat : 27493 (java) S 27491 27491 24759 0 -1 1077944320 748745 0 0 0 245718 1553 0 0 20 0 15 0 222580682 14427463680 2240805 33554432000 4194304 4196468 140733581122624 140733581105168 140102600232695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
/proc/27493/statm: 3522330 2240805 3441 1 0 3483524 0
[pid=27493/tid=27494] ppid=27491 vsize=14089320 memory=8963220 CPUtime=2431.8 cores=0,2,4,6
/proc/27493/task/27494/stat : 27494 (java) R 27491 27491 24759 0 -1 4202560 455571 0 0 0 241807 1373 0 0 20 0 15 0 222580682 14427463680 2240805 33554432000 4194304 4196468 140733581122624 140102604472416 140102243436407 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27495] ppid=27491 vsize=14089320 memory=8963220 CPUtime=7.72 cores=0,2,4,6
/proc/27493/task/27495/stat : 27495 (java) S 27491 27491 24759 0 -1 1077944384 50178 0 0 0 738 34 0 0 20 0 15 0 222580683 14427463680 2240805 33554432000 4194304 4196468 140733581122624 140102195845648 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27496] ppid=27491 vsize=14089320 memory=8963220 CPUtime=7.73 cores=0,2,4,6
/proc/27493/task/27496/stat : 27496 (java) S 27491 27491 24759 0 -1 1077944384 49466 0 0 0 747 26 0 0 20 0 15 0 222580683 14427463680 2240805 33554432000 4194304 4196468 140733581122624 140102194793104 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27497] ppid=27491 vsize=14089320 memory=8963220 CPUtime=7.73 cores=0,2,4,6
/proc/27493/task/27497/stat : 27497 (java) S 27491 27491 24759 0 -1 1077944384 49112 0 0 0 747 26 0 0 20 0 15 0 222580683 14427463680 2240805 33554432000 4194304 4196468 140733581122624 140102193740048 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27498] ppid=27491 vsize=14089320 memory=8963220 CPUtime=7.73 cores=0,2,4,6
/proc/27493/task/27498/stat : 27498 (java) S 27491 27491 24759 0 -1 1077944384 42963 0 0 0 745 28 0 0 20 0 15 0 222580683 14427463680 2240805 33554432000 4194304 4196468 140733581122624 140102192687504 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27499] ppid=27491 vsize=14089320 memory=8963220 CPUtime=1.52 cores=0,2,4,6
/proc/27493/task/27499/stat : 27499 (java) S 27491 27491 24759 0 -1 1077944384 44476 0 0 0 118 34 0 0 20 0 15 0 222580684 14427463680 2240805 33554432000 4194304 4196468 140733581122624 140101579819760 140102600243842 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27500] ppid=27491 vsize=14089320 memory=8963220 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27500/stat : 27500 (java) S 27491 27491 24759 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 222580685 14427463680 2240805 33554432000 4194304 4196468 140733581122624 140101578765984 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27501] ppid=27491 vsize=14089320 memory=8963220 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27501/stat : 27501 (java) S 27491 27491 24759 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 222580685 14427463680 2240805 33554432000 4194304 4196468 140733581122624 140101577712880 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27502] ppid=27491 vsize=14089320 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27502/stat : 27502 (java) S 27491 27491 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222580688 14427463680 2240805 33554432000 4194304 4196468 140733581122624 140101576661456 140102600251291 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27503] ppid=27491 vsize=14089320 memory=8963220 CPUtime=3.51 cores=0,2,4,6
/proc/27493/task/27503/stat : 27503 (java) S 27491 27491 24759 0 -1 1077944384 22368 0 0 0 349 2 0 0 20 0 15 0 222580688 14427463680 2240805 33554432000 4194304 4196468 140733581122624 140101575608560 140102600243842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 61 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27504] ppid=27491 vsize=14089320 memory=1456 CPUtime=3.57 cores=0,2,4,6
/proc/27493/task/27504/stat : 27504 (java) S 27491 27491 24759 0 -1 1077944384 20827 0 0 0 354 3 0 0 20 0 15 0 222580688 14427463680 2240805 33554432000 4194304 4196468 140733581122624 140101574556016 140102600243842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27505] ppid=27491 vsize=14089320 memory=1456 CPUtime=0.69 cores=0,2,4,6
/proc/27493/task/27505/stat : 27505 (java) S 27491 27491 24759 0 -1 1077944384 10849 0 0 0 67 2 0 0 20 0 15 0 222580688 14427463680 2240805 33554432000 4194304 4196468 140733581122624 140101573502960 140102600243842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 60 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27506] ppid=27491 vsize=14089320 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27506/stat : 27506 (java) S 27491 27491 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222580688 14427463680 2240805 33554432000 4194304 4196468 140733581122624 140101572450656 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27507] ppid=27491 vsize=14089320 memory=8963220 CPUtime=0.62 cores=0,2,4,6
/proc/27493/task/27507/stat : 27507 (java) S 27491 27491 24759 0 -1 1077944384 1557 0 0 0 27 35 0 0 20 0 15 0 222580688 14427463680 2240805 33554432000 4194304 4196468 140733581122624 140101571398704 140102600243842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 60 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
Current children cumulated CPU time: 2472.71 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 8964676 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2488.4 s]
/proc/loadavg: 1.59 1.54 1.60 3/218 27660
/proc/meminfo: memFree=4220380/32770624 swapFree=67108792/67108860
[pid=27491] ppid=27488 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/27491/stat : 27491 (xcsp3-exec) S 27488 27491 24759 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 222580682 115843072 364 33554432000 4194304 5098028 140725992490720 140725992488824 139747324072572 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16416768 140725992494139 140725992494340 140725992494340 140725992497098 0
/proc/27491/statm: 28282 364 306 221 0 87 0
[pid=27493] ppid=27491 vsize=14089320 memory=8965272 CPUtime=2520.04 cores=0,2,4,6
/proc/27493/stat : 27493 (java) S 27491 27491 24759 0 -1 1077944320 757725 0 0 0 250449 1555 0 0 20 0 15 0 222580682 14427463680 2241318 33554432000 4194304 4196468 140733581122624 140733581105168 140102600232695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
/proc/27493/statm: 3522330 2241318 3441 1 0 3483524 0
[pid=27493/tid=27494] ppid=27491 vsize=14089320 memory=1800 CPUtime=2477.46 cores=0,2,4,6
/proc/27493/task/27494/stat : 27494 (java) R 27491 27491 24759 0 -1 4202560 456101 0 0 0 246373 1373 0 0 20 0 15 0 222580682 14427463680 2241318 33554432000 4194304 4196468 140733581122624 140102604472528 140102244268223 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27495] ppid=27491 vsize=14089320 memory=6791534058613427641 CPUtime=8.13 cores=0,2,4,6
/proc/27493/task/27495/stat : 27495 (java) S 27491 27491 24759 0 -1 1077944384 52643 0 0 0 779 34 0 0 20 0 15 0 222580683 14427463680 2241318 33554432000 4194304 4196468 140733581122624 140102195845648 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27496] ppid=27491 vsize=14089320 memory=3304 CPUtime=8.14 cores=0,2,4,6
/proc/27493/task/27496/stat : 27496 (java) S 27491 27491 24759 0 -1 1077944384 51200 0 0 0 788 26 0 0 20 0 15 0 222580683 14427463680 2241318 33554432000 4194304 4196468 140733581122624 140102194793104 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27497] ppid=27491 vsize=14089320 memory=496 CPUtime=8.14 cores=0,2,4,6
/proc/27493/task/27497/stat : 27497 (java) S 27491 27491 24759 0 -1 1077944384 51507 0 0 0 788 26 0 0 20 0 15 0 222580683 14427463680 2241318 33554432000 4194304 4196468 140733581122624 140102193740048 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27498] ppid=27491 vsize=14089320 memory=1616 CPUtime=8.14 cores=0,2,4,6
/proc/27493/task/27498/stat : 27498 (java) S 27491 27491 24759 0 -1 1077944384 44685 0 0 0 786 28 0 0 20 0 15 0 222580683 14427463680 2241318 33554432000 4194304 4196468 140733581122624 140102192687504 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27499] ppid=27491 vsize=14089320 memory=1168 CPUtime=1.53 cores=0,2,4,6
/proc/27493/task/27499/stat : 27499 (java) S 27491 27491 24759 0 -1 1077944384 44589 0 0 0 119 34 0 0 20 0 15 0 222580684 14427463680 2241318 33554432000 4194304 4196468 140733581122624 140101579819760 140102600243842 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27500] ppid=27491 vsize=14089320 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27500/stat : 27500 (java) S 27491 27491 24759 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 222580685 14427463680 2241318 33554432000 4194304 4196468 140733581122624 140101578765984 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27501] ppid=27491 vsize=14089320 memory=7084 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27501/stat : 27501 (java) S 27491 27491 24759 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 222580685 14427463680 2241318 33554432000 4194304 4196468 140733581122624 140101577712880 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27502] ppid=27491 vsize=14089320 memory=748 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27502/stat : 27502 (java) S 27491 27491 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222580688 14427463680 2241318 33554432000 4194304 4196468 140733581122624 140101576661456 140102600251291 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27503] ppid=27491 vsize=14089320 memory=872 CPUtime=3.51 cores=0,2,4,6
/proc/27493/task/27503/stat : 27503 (java) S 27491 27491 24759 0 -1 1077944384 22370 0 0 0 349 2 0 0 20 0 15 0 222580688 14427463680 2241318 33554432000 4194304 4196468 140733581122624 140101575608560 140102600243842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 61 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27504] ppid=27491 vsize=14089320 memory=1220 CPUtime=3.57 cores=0,2,4,6
/proc/27493/task/27504/stat : 27504 (java) S 27491 27491 24759 0 -1 1077944384 20829 0 0 0 354 3 0 0 20 0 15 0 222580688 14427463680 2241318 33554432000 4194304 4196468 140733581122624 140101574556016 140102600243842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27505] ppid=27491 vsize=14089320 memory=1108 CPUtime=0.69 cores=0,2,4,6
/proc/27493/task/27505/stat : 27505 (java) S 27491 27491 24759 0 -1 1077944384 10851 0 0 0 67 2 0 0 20 0 15 0 222580688 14427463680 2241318 33554432000 4194304 4196468 140733581122624 140101573502960 140102600243842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 60 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27506] ppid=27491 vsize=14089320 memory=15336 CPUtime=0 cores=0,2,4,6
/proc/27493/task/27506/stat : 27506 (java) S 27491 27491 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222580688 14427463680 2241318 33554432000 4194304 4196468 140733581122624 140101572450656 140102600242901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
[pid=27493/tid=27507] ppid=27491 vsize=14089320 memory=15840 CPUtime=0.63 cores=0,2,4,6
/proc/27493/task/27507/stat : 27507 (java) S 27491 27491 24759 0 -1 1077944384 1572 0 0 0 27 36 0 0 20 0 15 0 222580688 14427463680 2241318 33554432000 4194304 4196468 140733581122624 140101571398704 140102600243842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 60 0 0 6293624 6294260 24580096 140733581124742 140733581124913 140733581124913 140733581127631 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 8966728 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2488.41 s]
# the end of solver process 27491 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001116 s, system=0.001116 s
[startup+2488.47 s]
# the end of solver process 27493 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2504.51 s, system=15.6173 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): 2488.47
CPU time (s): 2520.13
CPU user time (s): 2504.51
CPU system time (s): 15.6173
CPU usage (%): 101.272
Max. virtual memory (cumulated for all children) (KiB): 14204412
Max. memory (cumulated for all children) (KiB): 8976436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2504.51
system time used= 15.6173
maximum resident set size= 8974980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 758547
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 79333
involuntary context switches= 4287
# summary of solver processes directly reported to runsolver:
# pid: 27491,27493
# total CPU time (s): 2520.13
# total CPU user time (s): 2504.51
# total CPU system time (s): 15.6173
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2431 second user time and 23.6163 second system time
The end