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 (10486 MiB free)
memory of node 1: 16384 MiB (12659 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301927-1532886866/watcher-4301927-1532886866 -o /tmp/evaluation-result-4301927-1532886866/solver-4301927-1532886866 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532878307-6428 --watchdog 312 HOME/xcsp3-exec -seed 428202785 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301927-1532886866.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Current StackSize limit: 8192 KiB
solver pid=13842, runsolver pid=13839
[startup+0.100143 s]*
/proc/loadavg: 2.02 1.97 1.92 3/217 13858
/proc/meminfo: memFree=23684860/32770624 swapFree=67108860/67108860
[pid=13842] ppid=13839 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/13842/stat : 13842 (xcsp3-exec) S 13839 13842 6396 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106249740 115843072 363 33554432000 4194304 5098028 140731148726048 140731148724152 140036837507708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30642176 140731148727361 140731148727561 140731148727561 140731148730314 0
/proc/13842/statm: 28282 363 306 221 0 87 0
[pid=13844] ppid=13842 vsize=14082940 memory=28416 CPUtime=0.12 cores=1,3,5,7
/proc/13844/stat : 13844 (java) S 13842 13842 6396 0 -1 1077944320 5514 0 0 0 11 1 0 0 20 0 15 0 106249741 14420930560 7104 33554432000 4194304 4196468 140734721357888 140734721340432 140087246520055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
/proc/13844/statm: 3520735 7104 3002 1 0 3483012 0
[pid=13844/tid=13845] ppid=13842 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/13844/task/13845/stat : 13845 (java) R 13842 13842 6396 0 -1 4202560 3531 0 0 0 8 1 0 0 20 0 15 0 106249741 14420930560 7104 33554432000 4194304 4196468 140734721357888 140087250753328 140087246531990 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13846] ppid=13842 vsize=14082940 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13846/stat : 13846 (java) S 13842 13842 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106249742 14420930560 7104 33554432000 4194304 4196468 140734721357888 140087205280400 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13847] ppid=13842 vsize=14082940 memory=140141213644416 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13847/stat : 13847 (java) S 13842 13842 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106249742 14420930560 7104 33554432000 4194304 4196468 140734721357888 140086840998416 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13848] ppid=13842 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13848/stat : 13848 (java) S 13842 13842 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106249742 14420930560 7104 33554432000 4194304 4196468 140734721357888 140086839945616 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13849] ppid=13842 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13849/stat : 13849 (java) S 13842 13842 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106249742 14420930560 7104 33554432000 4194304 4196468 140734721357888 140086838892816 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13850] ppid=13842 vsize=14082940 memory=140141213644416 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13850/stat : 13850 (java) S 13842 13842 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106249743 14420930560 7104 33554432000 4194304 4196468 140734721357888 140086720658288 140087246531202 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13851] ppid=13842 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13851/stat : 13851 (java) S 13842 13842 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106249743 14420930560 7104 33554432000 4194304 4196468 140734721357888 140086719604256 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13852] ppid=13842 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13852/stat : 13852 (java) S 13842 13842 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106249744 14420930560 7104 33554432000 4194304 4196468 140734721357888 140086718551408 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13853] ppid=13842 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13853/stat : 13853 (java) S 13842 13842 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106249746 14420930560 7104 33554432000 4194304 4196468 140734721357888 140086717499728 140087246538651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13854] ppid=13842 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13854/stat : 13854 (java) S 13842 13842 6396 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 106249746 14420930560 7104 33554432000 4194304 4196468 140734721357888 140086716447088 140087246531202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13855] ppid=13842 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13855/stat : 13855 (java) S 13842 13842 6396 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 106249746 14420930560 7104 33554432000 4194304 4196468 140734721357888 140086715394288 140087246531202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13856] ppid=13842 vsize=14082940 memory=140141213644416 CPUtime=0.01 cores=1,3,5,7
/proc/13844/task/13856/stat : 13856 (java) S 13842 13842 6396 0 -1 1077944384 264 0 0 0 1 0 0 0 20 0 15 0 106249746 14420930560 7104 33554432000 4194304 4196468 140734721357888 140086714341488 140087246531202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13857] ppid=13842 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13857/stat : 13857 (java) S 13842 13842 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106249746 14420930560 7104 33554432000 4194304 4196468 140734721357888 140086713288928 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13858] ppid=13842 vsize=14082940 memory=140141213644416 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13858/stat : 13858 (java) S 13842 13842 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106249746 14420930560 7104 33554432000 4194304 4196468 140734721357888 140086712237232 140087246531202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 29868 KiB
[startup+0.210758 s]*
/proc/loadavg: 2.02 1.97 1.92 4/217 13858
/proc/meminfo: memFree=23672860/32770624 swapFree=67108860/67108860
[pid=13842] ppid=13839 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/13842/stat : 13842 (xcsp3-exec) S 13839 13842 6396 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106249740 115843072 363 33554432000 4194304 5098028 140731148726048 140731148724152 140036837507708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30642176 140731148727361 140731148727561 140731148727561 140731148730314 0
/proc/13842/statm: 28282 363 306 221 0 87 0
[pid=13844] ppid=13842 vsize=14082940 memory=40848 CPUtime=0.35 cores=1,3,5,7
/proc/13844/stat : 13844 (java) S 13842 13842 6396 0 -1 1077944320 8243 0 0 0 32 3 0 0 20 0 15 0 106249741 14420930560 10212 33554432000 4194304 4196468 140734721357888 140734721340432 140087246520055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
/proc/13844/statm: 3520735 10212 3214 1 0 3483012 0
[pid=13844/tid=13845] ppid=13842 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/13844/task/13845/stat : 13845 (java) R 13842 13842 6396 0 -1 4202560 5458 0 0 0 18 2 0 0 20 0 15 0 106249741 14420930560 10212 33554432000 4194304 4196468 140734721357888 140087250755040 140087230600542 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13846] ppid=13842 vsize=14082940 memory=12591 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13846/stat : 13846 (java) S 13842 13842 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106249742 14420930560 10212 33554432000 4194304 4196468 140734721357888 140087205280400 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13847] ppid=13842 vsize=14082940 memory=3617433560904234656 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13847/stat : 13847 (java) S 13842 13842 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106249742 14420930560 10212 33554432000 4194304 4196468 140734721357888 140086840998416 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13848] ppid=13842 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13848/stat : 13848 (java) S 13842 13842 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106249742 14420930560 10212 33554432000 4194304 4196468 140734721357888 140086839945616 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13849] ppid=13842 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13849/stat : 13849 (java) S 13842 13842 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106249742 14420930560 10212 33554432000 4194304 4196468 140734721357888 140086838892816 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13850] ppid=13842 vsize=14082940 memory=140141213644416 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13850/stat : 13850 (java) S 13842 13842 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106249743 14420930560 10212 33554432000 4194304 4196468 140734721357888 140086720658288 140087246531202 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13851] ppid=13842 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13851/stat : 13851 (java) S 13842 13842 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106249743 14420930560 10212 33554432000 4194304 4196468 140734721357888 140086719604256 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13852] ppid=13842 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13852/stat : 13852 (java) S 13842 13842 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106249744 14420930560 10212 33554432000 4194304 4196468 140734721357888 140086718551408 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13853] ppid=13842 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13853/stat : 13853 (java) S 13842 13842 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106249746 14420930560 10212 33554432000 4194304 4196468 140734721357888 140086717499728 140087246538651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13854] ppid=13842 vsize=14082940 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13844/task/13854/stat : 13854 (java) S 13842 13842 6396 0 -1 1077944384 376 0 0 0 2 0 0 0 20 0 15 0 106249746 14420930560 10212 33554432000 4194304 4196468 140734721357888 140086716447088 140087246531202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13855] ppid=13842 vsize=14082940 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/13844/task/13855/stat : 13855 (java) S 13842 13842 6396 0 -1 1077944384 301 0 0 0 2 0 0 0 20 0 15 0 106249746 14420930560 10212 33554432000 4194304 4196468 140734721357888 140086715394288 140087246531202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13856] ppid=13842 vsize=14082940 memory=140141213644416 CPUtime=0.08 cores=1,3,5,7
/proc/13844/task/13856/stat : 13856 (java) S 13842 13842 6396 0 -1 1077944384 810 0 0 0 8 0 0 0 20 0 15 0 106249746 14420930560 10212 33554432000 4194304 4196468 140734721357888 140086714341488 140087246531202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13857] ppid=13842 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13857/stat : 13857 (java) S 13842 13842 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106249746 14420930560 10212 33554432000 4194304 4196468 140734721357888 140086713288928 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13858] ppid=13842 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13858/stat : 13858 (java) S 13842 13842 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106249746 14420930560 10212 33554432000 4194304 4196468 140734721357888 140086712237232 140087246531202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42300 KiB
[startup+0.317666 s]*
/proc/loadavg: 2.02 1.97 1.92 4/217 13858
/proc/meminfo: memFree=23665416/32770624 swapFree=67108860/67108860
[pid=13842] ppid=13839 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/13842/stat : 13842 (xcsp3-exec) S 13839 13842 6396 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106249740 115843072 363 33554432000 4194304 5098028 140731148726048 140731148724152 140036837507708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30642176 140731148727361 140731148727561 140731148727561 140731148730314 0
/proc/13842/statm: 28282 363 306 221 0 87 0
[pid=13844] ppid=13842 vsize=14087196 memory=48484 CPUtime=0.54 cores=1,3,5,7
/proc/13844/stat : 13844 (java) S 13842 13842 6396 0 -1 1077944320 9280 0 0 0 51 3 0 0 20 0 15 0 106249741 14425288704 12121 33554432000 4194304 4196468 140734721357888 140734721340432 140087246520055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
/proc/13844/statm: 3521799 12121 3258 1 0 3483012 0
[pid=13844/tid=13845] ppid=13842 vsize=14087196 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/13844/task/13845/stat : 13845 (java) R 13842 13842 6396 0 -1 4202560 6256 0 0 0 28 2 0 0 20 0 15 0 106249741 14425288704 12121 33554432000 4194304 4196468 140734721357888 140087250751168 140087230600542 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13846] ppid=13842 vsize=14087196 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13846/stat : 13846 (java) S 13842 13842 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106249742 14425288704 12121 33554432000 4194304 4196468 140734721357888 140087205280400 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13847] ppid=13842 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13847/stat : 13847 (java) S 13842 13842 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106249742 14425288704 12121 33554432000 4194304 4196468 140734721357888 140086840998416 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13848] ppid=13842 vsize=14087196 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13848/stat : 13848 (java) S 13842 13842 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106249742 14425288704 12121 33554432000 4194304 4196468 140734721357888 140086839945616 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13849] ppid=13842 vsize=14087196 memory=7379517710693473142 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13849/stat : 13849 (java) S 13842 13842 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106249742 14425288704 12121 33554432000 4194304 4196468 140734721357888 140086838892816 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13850] ppid=13842 vsize=14087196 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13850/stat : 13850 (java) S 13842 13842 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106249743 14425288704 12121 33554432000 4194304 4196468 140734721357888 140086720658288 140087246531202 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13851] ppid=13842 vsize=14087196 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13851/stat : 13851 (java) S 13842 13842 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106249743 14425288704 12121 33554432000 4194304 4196468 140734721357888 140086719604256 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13852] ppid=13842 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13852/stat : 13852 (java) S 13842 13842 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106249744 14425288704 12121 33554432000 4194304 4196468 140734721357888 140086718551408 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13853] ppid=13842 vsize=14087196 memory=8693815914432465728 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13853/stat : 13853 (java) S 13842 13842 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106249746 14425288704 12121 33554432000 4194304 4196468 140734721357888 140086717499728 140087246538651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13854] ppid=13842 vsize=14087196 memory=4628975386420216973 CPUtime=0.05 cores=1,3,5,7
/proc/13844/task/13854/stat : 13854 (java) S 13842 13842 6396 0 -1 1077944384 482 0 0 0 5 0 0 0 20 0 15 0 106249746 14425288704 12121 33554432000 4194304 4196468 140734721357888 140086716447088 140087246531202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13855] ppid=13842 vsize=14087196 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/13844/task/13855/stat : 13855 (java) S 13842 13842 6396 0 -1 1077944384 313 0 0 0 4 0 0 0 20 0 15 0 106249746 14425288704 12121 33554432000 4194304 4196468 140734721357888 140086715394288 140087246531202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13856] ppid=13842 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/13844/task/13856/stat : 13856 (java) S 13842 13842 6396 0 -1 1077944384 937 0 0 0 12 0 0 0 20 0 15 0 106249746 14425288704 12121 33554432000 4194304 4196468 140734721357888 140086714341488 140087246531202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13857] ppid=13842 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13857/stat : 13857 (java) S 13842 13842 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106249746 14425288704 12121 33554432000 4194304 4196468 140734721357888 140086713288928 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13858] ppid=13842 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13858/stat : 13858 (java) S 13842 13842 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106249746 14425288704 12186 33554432000 4194304 4196468 140734721357888 140086712237232 140087246531202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49936 KiB
[startup+0.705709 s]
/proc/loadavg: 2.02 1.97 1.92 5/217 13858
/proc/meminfo: memFree=23648112/32770624 swapFree=67108860/67108860
[pid=13842] ppid=13839 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/13842/stat : 13842 (xcsp3-exec) S 13839 13842 6396 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106249740 115843072 363 33554432000 4194304 5098028 140731148726048 140731148724152 140036837507708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30642176 140731148727361 140731148727561 140731148727561 140731148730314 0
/proc/13842/statm: 28282 363 306 221 0 87 0
[pid=13844] ppid=13842 vsize=14089320 memory=80264 CPUtime=1.6 cores=1,3,5,7
/proc/13844/stat : 13844 (java) S 13842 13842 6396 0 -1 1077944320 13815 0 0 0 154 6 0 0 20 0 15 0 106249741 14427463680 20066 33554432000 4194304 4196468 140734721357888 140734721340432 140087246520055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
/proc/13844/statm: 3522330 20066 3370 1 0 3483524 0
[pid=13844/tid=13845] ppid=13842 vsize=14089320 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/13844/task/13845/stat : 13845 (java) R 13842 13842 6396 0 -1 4202560 7133 0 0 0 64 3 0 0 20 0 15 0 106249741 14427463680 20066 33554432000 4194304 4196468 140734721357888 140087250757368 140087246531990 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13846] ppid=13842 vsize=14089320 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13846/stat : 13846 (java) S 13842 13842 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106249742 14427463680 20066 33554432000 4194304 4196468 140734721357888 140087205280400 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13847] ppid=13842 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13847/stat : 13847 (java) S 13842 13842 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106249742 14427463680 20066 33554432000 4194304 4196468 140734721357888 140086840998416 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13848] ppid=13842 vsize=14089320 memory=30232 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13848/stat : 13848 (java) S 13842 13842 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106249742 14427463680 20066 33554432000 4194304 4196468 140734721357888 140086839945616 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13849] ppid=13842 vsize=14089320 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13849/stat : 13849 (java) S 13842 13842 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106249742 14427463680 20066 33554432000 4194304 4196468 140734721357888 140086838892816 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13850] ppid=13842 vsize=14089320 memory=2416 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13850/stat : 13850 (java) S 13842 13842 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106249743 14427463680 20066 33554432000 4194304 4196468 140734721357888 140086720658288 140087246531202 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13851] ppid=13842 vsize=14089320 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13851/stat : 13851 (java) S 13842 13842 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106249743 14427463680 20066 33554432000 4194304 4196468 140734721357888 140086719604256 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13852] ppid=13842 vsize=14089320 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13852/stat : 13852 (java) S 13842 13842 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106249744 14427463680 20066 33554432000 4194304 4196468 140734721357888 140086718551408 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13853] ppid=13842 vsize=14089320 memory=796 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13853/stat : 13853 (java) S 13842 13842 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106249746 14427463680 20066 33554432000 4194304 4196468 140734721357888 140086717499728 140087246538651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13854] ppid=13842 vsize=14089320 memory=5408 CPUtime=0.25 cores=1,3,5,7
/proc/13844/task/13854/stat : 13854 (java) R 13842 13842 6396 0 -1 4202560 1786 0 0 0 25 0 0 0 20 0 15 0 106249746 14427463680 20066 33554432000 4194304 4196468 140734721357888 140086716428104 140087225853673 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13855] ppid=13842 vsize=14089320 memory=1008 CPUtime=0.25 cores=1,3,5,7
/proc/13844/task/13855/stat : 13855 (java) R 13842 13842 6396 0 -1 4202560 1453 0 0 0 25 0 0 0 20 0 15 0 106249746 14427463680 20066 33554432000 4194304 4196468 140734721357888 140086715380312 140087228064770 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13856] ppid=13842 vsize=14089320 memory=9992 CPUtime=0.39 cores=1,3,5,7
/proc/13844/task/13856/stat : 13856 (java) R 13842 13842 6396 0 -1 4202560 2144 0 0 0 38 1 0 0 20 0 15 0 106249746 14427463680 20066 33554432000 4194304 4196468 140734721357888 140086714341488 140087246541402 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13857] ppid=13842 vsize=14089320 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13857/stat : 13857 (java) S 13842 13842 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106249746 14427463680 20066 33554432000 4194304 4196468 140734721357888 140086713288928 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13858] ppid=13842 vsize=14089320 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13858/stat : 13858 (java) S 13842 13842 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106249746 14427463680 20066 33554432000 4194304 4196468 140734721357888 140086712237232 140087246531202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
Current children cumulated CPU time: 1.6 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 81716 KiB
[startup+1.50088 s]
/proc/loadavg: 2.02 1.97 1.92 5/217 13858
/proc/meminfo: memFree=23611304/32770624 swapFree=67108860/67108860
[pid=13842] ppid=13839 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/13842/stat : 13842 (xcsp3-exec) S 13839 13842 6396 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106249740 115843072 363 33554432000 4194304 5098028 140731148726048 140731148724152 140036837507708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30642176 140731148727361 140731148727561 140731148727561 140731148730314 0
/proc/13842/statm: 28282 363 306 221 0 87 0
################
# More data... #
################
/proc/13844/task/13852/stat : 13852 (java) S 13842 13842 6396 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 106249744 14427463680 64412 33554432000 4194304 4196468 140734721357888 140086718551408 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13853] ppid=13842 vsize=14089320 memory=7598811100138176585 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13853/stat : 13853 (java) S 13842 13842 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106249746 14427463680 64412 33554432000 4194304 4196468 140734721357888 140086717499728 140087246538651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13854] ppid=13842 vsize=14089320 memory=0 CPUtime=3.27 cores=1,3,5,7
/proc/13844/task/13854/stat : 13854 (java) S 13842 13842 6396 0 -1 1077944384 20317 0 0 0 326 1 0 0 20 0 15 0 106249746 14427463680 64412 33554432000 4194304 4196468 140734721357888 140086716447088 140087246531202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13855] ppid=13842 vsize=14089320 memory=5939233486339991394 CPUtime=3.25 cores=1,3,5,7
/proc/13844/task/13855/stat : 13855 (java) S 13842 13842 6396 0 -1 1077944384 22269 0 0 0 323 2 0 0 20 0 15 0 106249746 14427463680 64412 33554432000 4194304 4196468 140734721357888 140086715394288 140087246531202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13856] ppid=13842 vsize=14089320 memory=4128 CPUtime=0.56 cores=1,3,5,7
/proc/13844/task/13856/stat : 13856 (java) S 13842 13842 6396 0 -1 1077944384 7568 0 0 0 54 2 0 0 20 0 15 0 106249746 14427463680 64412 33554432000 4194304 4196468 140734721357888 140086714341488 140087246531202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13857] ppid=13842 vsize=14089320 memory=30232 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13857/stat : 13857 (java) S 13842 13842 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106249746 14427463680 64412 33554432000 4194304 4196468 140734721357888 140086713288928 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13858] ppid=13842 vsize=14089320 memory=1292 CPUtime=0.02 cores=1,3,5,7
/proc/13844/task/13858/stat : 13858 (java) S 13842 13842 6396 0 -1 1077944384 1590 0 0 0 1 1 0 0 20 0 15 0 106249746 14427463680 64412 33554432000 4194304 4196468 140734721357888 140086712237232 140087246531202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
Current children cumulated CPU time: 109.43 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 259100 KiB
[startup+162.301 s]
/proc/loadavg: 2.10 2.01 1.95 5/217 13939
/proc/meminfo: memFree=23417704/32770624 swapFree=67108860/67108860
[pid=13842] ppid=13839 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/13842/stat : 13842 (xcsp3-exec) S 13839 13842 6396 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106249740 115843072 363 33554432000 4194304 5098028 140731148726048 140731148724152 140036837507708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30642176 140731148727361 140731148727561 140731148727561 140731148730314 0
/proc/13842/statm: 28282 363 306 221 0 87 0
[pid=13844] ppid=13842 vsize=14089320 memory=254152 CPUtime=169.54 cores=1,3,5,7
/proc/13844/stat : 13844 (java) S 13842 13842 6396 0 -1 1077944320 72187 0 0 0 16939 15 0 0 20 0 15 0 106249741 14427463680 63538 33554432000 4194304 4196468 140734721357888 140734721340432 140087246520055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
/proc/13844/statm: 3522330 63538 3423 1 0 3483524 0
[pid=13844/tid=13845] ppid=13842 vsize=14089320 memory=254152 CPUtime=162.24 cores=1,3,5,7
/proc/13844/task/13845/stat : 13845 (java) R 13842 13842 6396 0 -1 4202560 12188 0 0 0 16219 5 0 0 20 0 15 0 106249741 14427463680 63538 33554432000 4194304 4196468 140734721357888 140087250759248 140086888629718 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13846] ppid=13842 vsize=14089320 memory=254152 CPUtime=0.01 cores=1,3,5,7
/proc/13844/task/13846/stat : 13846 (java) S 13842 13842 6396 0 -1 1077944384 1478 0 0 0 1 0 0 0 20 0 15 0 106249742 14427463680 63538 33554432000 4194304 4196468 140734721357888 140087205280400 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13847] ppid=13842 vsize=14089320 memory=254152 CPUtime=0.01 cores=1,3,5,7
/proc/13844/task/13847/stat : 13847 (java) S 13842 13842 6396 0 -1 1077944384 438 0 0 0 1 0 0 0 20 0 15 0 106249742 14427463680 63538 33554432000 4194304 4196468 140734721357888 140086840998416 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13848] ppid=13842 vsize=14089320 memory=1452 CPUtime=0.01 cores=1,3,5,7
/proc/13844/task/13848/stat : 13848 (java) S 13842 13842 6396 0 -1 1077944384 796 0 0 0 1 0 0 0 20 0 15 0 106249742 14427463680 63538 33554432000 4194304 4196468 140734721357888 140086839945616 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13849] ppid=13842 vsize=14089320 memory=1452 CPUtime=0.01 cores=1,3,5,7
/proc/13844/task/13849/stat : 13849 (java) S 13842 13842 6396 0 -1 1077944384 870 0 0 0 1 0 0 0 20 0 15 0 106249742 14427463680 63538 33554432000 4194304 4196468 140734721357888 140086838892816 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13850] ppid=13842 vsize=14089320 memory=257752 CPUtime=0.01 cores=1,3,5,7
/proc/13844/task/13850/stat : 13850 (java) S 13842 13842 6396 0 -1 1077944384 1057 0 0 0 1 0 0 0 20 0 15 0 106249743 14427463680 63538 33554432000 4194304 4196468 140734721357888 140086720658288 140087246531202 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13851] ppid=13842 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13851/stat : 13851 (java) S 13842 13842 6396 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 106249743 14427463680 63538 33554432000 4194304 4196468 140734721357888 140086719604256 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13852] ppid=13842 vsize=14089320 memory=257700 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13852/stat : 13852 (java) S 13842 13842 6396 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 106249744 14427463680 63538 33554432000 4194304 4196468 140734721357888 140086718551408 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13853] ppid=13842 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13853/stat : 13853 (java) S 13842 13842 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106249746 14427463680 63538 33554432000 4194304 4196468 140734721357888 140086717499728 140087246538651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13854] ppid=13842 vsize=14089320 memory=329 CPUtime=3.29 cores=1,3,5,7
/proc/13844/task/13854/stat : 13854 (java) S 13842 13842 6396 0 -1 1077944384 20703 0 0 0 328 1 0 0 20 0 15 0 106249746 14427463680 63538 33554432000 4194304 4196468 140734721357888 140086716447088 140087246531202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13855] ppid=13842 vsize=14089320 memory=1452 CPUtime=3.31 cores=1,3,5,7
/proc/13844/task/13855/stat : 13855 (java) S 13842 13842 6396 0 -1 1077944384 23514 0 0 0 328 3 0 0 20 0 15 0 106249746 14427463680 63538 33554432000 4194304 4196468 140734721357888 140086715394288 140087246531202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13856] ppid=13842 vsize=14089320 memory=254152 CPUtime=0.57 cores=1,3,5,7
/proc/13844/task/13856/stat : 13856 (java) S 13842 13842 6396 0 -1 1077944384 8127 0 0 0 55 2 0 0 20 0 15 0 106249746 14427463680 63538 33554432000 4194304 4196468 140734721357888 140086714341488 140087246531202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13857] ppid=13842 vsize=14089320 memory=254152 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13857/stat : 13857 (java) S 13842 13842 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106249746 14427463680 63538 33554432000 4194304 4196468 140734721357888 140086713288928 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13858] ppid=13842 vsize=14089320 memory=1452 CPUtime=0.03 cores=1,3,5,7
/proc/13844/task/13858/stat : 13858 (java) S 13842 13842 6396 0 -1 1077944384 1635 0 0 0 1 2 0 0 20 0 15 0 106249746 14427463680 63538 33554432000 4194304 4196468 140734721357888 140086712237232 140087246531202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
Current children cumulated CPU time: 169.54 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 255604 KiB
[startup+222.301 s]
/proc/loadavg: 2.04 2.01 1.95 3/217 13941
/proc/meminfo: memFree=22753460/32770624 swapFree=67108860/67108860
[pid=13842] ppid=13839 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/13842/stat : 13842 (xcsp3-exec) S 13839 13842 6396 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106249740 115843072 363 33554432000 4194304 5098028 140731148726048 140731148724152 140036837507708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30642176 140731148727361 140731148727561 140731148727561 140731148730314 0
/proc/13842/statm: 28282 363 306 221 0 87 0
[pid=13844] ppid=13842 vsize=14089320 memory=259344 CPUtime=229.58 cores=1,3,5,7
/proc/13844/stat : 13844 (java) S 13842 13842 6396 0 -1 1077944320 74826 0 0 0 22941 17 0 0 20 0 15 0 106249741 14427463680 64836 33554432000 4194304 4196468 140734721357888 140734721340432 140087246520055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
/proc/13844/statm: 3522330 64836 3423 1 0 3483524 0
[pid=13844/tid=13845] ppid=13842 vsize=14089320 memory=259344 CPUtime=222.22 cores=1,3,5,7
/proc/13844/task/13845/stat : 13845 (java) R 13842 13842 6396 0 -1 4202560 12905 0 0 0 22217 5 0 0 20 0 15 0 106249741 14427463680 64836 33554432000 4194304 4196468 140734721357888 140087250756024 140086888555264 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13846] ppid=13842 vsize=14089320 memory=259344 CPUtime=0.01 cores=1,3,5,7
/proc/13844/task/13846/stat : 13846 (java) S 13842 13842 6396 0 -1 1077944384 1551 0 0 0 1 0 0 0 20 0 15 0 106249742 14427463680 64836 33554432000 4194304 4196468 140734721357888 140087205280400 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13847] ppid=13842 vsize=14089320 memory=259344 CPUtime=0.01 cores=1,3,5,7
/proc/13844/task/13847/stat : 13847 (java) S 13842 13842 6396 0 -1 1077944384 516 0 0 0 1 0 0 0 20 0 15 0 106249742 14427463680 64836 33554432000 4194304 4196468 140734721357888 140086840998416 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13848] ppid=13842 vsize=14089320 memory=259344 CPUtime=0.01 cores=1,3,5,7
/proc/13844/task/13848/stat : 13848 (java) S 13842 13842 6396 0 -1 1077944384 811 0 0 0 1 0 0 0 20 0 15 0 106249742 14427463680 64836 33554432000 4194304 4196468 140734721357888 140086839945616 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13849] ppid=13842 vsize=14089320 memory=1452 CPUtime=0.01 cores=1,3,5,7
/proc/13844/task/13849/stat : 13849 (java) S 13842 13842 6396 0 -1 1077944384 1280 0 0 0 1 0 0 0 20 0 15 0 106249742 14427463680 64836 33554432000 4194304 4196468 140734721357888 140086838892816 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13850] ppid=13842 vsize=14089320 memory=1452 CPUtime=0.01 cores=1,3,5,7
/proc/13844/task/13850/stat : 13850 (java) S 13842 13842 6396 0 -1 1077944384 1295 0 0 0 1 0 0 0 20 0 15 0 106249743 14427463680 64836 33554432000 4194304 4196468 140734721357888 140086720658288 140087246531202 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13851] ppid=13842 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13851/stat : 13851 (java) S 13842 13842 6396 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 106249743 14427463680 64836 33554432000 4194304 4196468 140734721357888 140086719604256 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13852] ppid=13842 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13852/stat : 13852 (java) S 13842 13842 6396 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 106249744 14427463680 64836 33554432000 4194304 4196468 140734721357888 140086718551408 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13853] ppid=13842 vsize=14089320 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13853/stat : 13853 (java) S 13842 13842 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106249746 14427463680 64836 33554432000 4194304 4196468 140734721357888 140086717499728 140087246538651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13854] ppid=13842 vsize=14089320 memory=30232 CPUtime=3.29 cores=1,3,5,7
/proc/13844/task/13854/stat : 13854 (java) S 13842 13842 6396 0 -1 1077944384 20705 0 0 0 328 1 0 0 20 0 15 0 106249746 14427463680 64836 33554432000 4194304 4196468 140734721357888 140086716447088 140087246531202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13855] ppid=13842 vsize=14089320 memory=0 CPUtime=3.32 cores=1,3,5,7
/proc/13844/task/13855/stat : 13855 (java) S 13842 13842 6396 0 -1 1077944384 24319 0 0 0 329 3 0 0 20 0 15 0 106249746 14427463680 64836 33554432000 4194304 4196468 140734721357888 140086715394288 140087246531202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13856] ppid=13842 vsize=14089320 memory=14533713421 CPUtime=0.57 cores=1,3,5,7
/proc/13844/task/13856/stat : 13856 (java) S 13842 13842 6396 0 -1 1077944384 8397 0 0 0 55 2 0 0 20 0 15 0 106249746 14427463680 64836 33554432000 4194304 4196468 140734721357888 140086714341488 140087246531202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13857] ppid=13842 vsize=14089320 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13857/stat : 13857 (java) S 13842 13842 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106249746 14427463680 64836 33554432000 4194304 4196468 140734721357888 140086713288928 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13858] ppid=13842 vsize=14089320 memory=288230621803970871 CPUtime=0.04 cores=1,3,5,7
/proc/13844/task/13858/stat : 13858 (java) S 13842 13842 6396 0 -1 1077944384 1666 0 0 0 1 3 0 0 20 0 15 0 106249746 14427463680 64836 33554432000 4194304 4196468 140734721357888 140086712237232 140087246531202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
Current children cumulated CPU time: 229.58 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 260796 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+244.801 s]
/proc/loadavg: 2.03 2.01 1.95 3/217 13941
/proc/meminfo: memFree=22747564/32770624 swapFree=67108860/67108860
[pid=13842] ppid=13839 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/13842/stat : 13842 (xcsp3-exec) S 13839 13842 6396 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 106249740 115843072 363 33554432000 4194304 5098028 140731148726048 140731148724152 140036837507708 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30642176 140731148727361 140731148727561 140731148727561 140731148730314 0
/proc/13842/statm: 28282 363 306 221 0 87 0
[pid=13844] ppid=13842 vsize=14089320 memory=259344 CPUtime=252.09 cores=1,3,5,7
/proc/13844/stat : 13844 (java) S 13842 13842 6396 0 -1 1077944320 74845 0 0 0 25192 17 0 0 20 0 15 0 106249741 14427463680 64836 33554432000 4194304 4196468 140734721357888 140734721340432 140087246520055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
/proc/13844/statm: 3522330 64836 3423 1 0 3483524 0
[pid=13844/tid=13845] ppid=13842 vsize=14089320 memory=6791534058613427641 CPUtime=244.72 cores=1,3,5,7
/proc/13844/task/13845/stat : 13845 (java) R 13842 13842 6396 0 -1 4202560 12911 0 0 0 24467 5 0 0 20 0 15 0 106249741 14427463680 64836 33554432000 4194304 4196468 140734721357888 140087250759248 140086887058958 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13846] ppid=13842 vsize=14089320 memory=1704 CPUtime=0.01 cores=1,3,5,7
/proc/13844/task/13846/stat : 13846 (java) S 13842 13842 6396 0 -1 1077944384 1551 0 0 0 1 0 0 0 20 0 15 0 106249742 14427463680 64836 33554432000 4194304 4196468 140734721357888 140087205280400 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13847] ppid=13842 vsize=14089320 memory=796 CPUtime=0.01 cores=1,3,5,7
/proc/13844/task/13847/stat : 13847 (java) S 13842 13842 6396 0 -1 1077944384 516 0 0 0 1 0 0 0 20 0 15 0 106249742 14427463680 64836 33554432000 4194304 4196468 140734721357888 140086840998416 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13848] ppid=13842 vsize=14089320 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/13844/task/13848/stat : 13848 (java) S 13842 13842 6396 0 -1 1077944384 811 0 0 0 1 0 0 0 20 0 15 0 106249742 14427463680 64836 33554432000 4194304 4196468 140734721357888 140086839945616 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13849] ppid=13842 vsize=14089320 memory=259344 CPUtime=0.01 cores=1,3,5,7
/proc/13844/task/13849/stat : 13849 (java) S 13842 13842 6396 0 -1 1077944384 1285 0 0 0 1 0 0 0 20 0 15 0 106249742 14427463680 64836 33554432000 4194304 4196468 140734721357888 140086838892816 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13850] ppid=13842 vsize=14089320 memory=1452 CPUtime=0.01 cores=1,3,5,7
/proc/13844/task/13850/stat : 13850 (java) S 13842 13842 6396 0 -1 1077944384 1301 0 0 0 1 0 0 0 20 0 15 0 106249743 14427463680 64836 33554432000 4194304 4196468 140734721357888 140086720658288 140087246531202 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13851] ppid=13842 vsize=14089320 memory=259344 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13851/stat : 13851 (java) S 13842 13842 6396 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 106249743 14427463680 64836 33554432000 4194304 4196468 140734721357888 140086719604256 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13852] ppid=13842 vsize=14089320 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13852/stat : 13852 (java) S 13842 13842 6396 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 106249744 14427463680 64836 33554432000 4194304 4196468 140734721357888 140086718551408 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13853] ppid=13842 vsize=14089320 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13853/stat : 13853 (java) S 13842 13842 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106249746 14427463680 64836 33554432000 4194304 4196468 140734721357888 140086717499728 140087246538651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13854] ppid=13842 vsize=14089320 memory=6791534058613427641 CPUtime=3.29 cores=1,3,5,7
/proc/13844/task/13854/stat : 13854 (java) S 13842 13842 6396 0 -1 1077944384 20705 0 0 0 328 1 0 0 20 0 15 0 106249746 14427463680 64836 33554432000 4194304 4196468 140734721357888 140086716447088 140087246531202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13855] ppid=13842 vsize=14089320 memory=1200 CPUtime=3.32 cores=1,3,5,7
/proc/13844/task/13855/stat : 13855 (java) S 13842 13842 6396 0 -1 1077944384 24319 0 0 0 329 3 0 0 20 0 15 0 106249746 14427463680 64836 33554432000 4194304 4196468 140734721357888 140086715394288 140087246531202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13856] ppid=13842 vsize=14089320 memory=10624 CPUtime=0.57 cores=1,3,5,7
/proc/13844/task/13856/stat : 13856 (java) S 13842 13842 6396 0 -1 1077944384 8397 0 0 0 55 2 0 0 20 0 15 0 106249746 14427463680 64836 33554432000 4194304 4196468 140734721357888 140086714341488 140087246531202 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13857] ppid=13842 vsize=14089320 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/13844/task/13857/stat : 13857 (java) S 13842 13842 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106249746 14427463680 64836 33554432000 4194304 4196468 140734721357888 140086713288928 140087246530261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
[pid=13844/tid=13858] ppid=13842 vsize=14089320 memory=1428 CPUtime=0.04 cores=1,3,5,7
/proc/13844/task/13858/stat : 13858 (java) S 13842 13842 6396 0 -1 1077944384 1668 0 0 0 1 3 0 0 20 0 15 0 106249746 14427463680 64836 33554432000 4194304 4196468 140734721357888 140086712237232 140087246531202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39763968 140734721365132 140734721365302 140734721365302 140734721368015 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 260796 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+244.81 s]
# the end of solver process 13842 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001068 s, system=0.001068 s
[startup+244.819 s]
# the end of solver process 13844 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.936 s, system=0.188121 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): 244.819
CPU time (s): 252.124
CPU user time (s): 251.936
CPU system time (s): 0.188121
CPU usage (%): 102.984
Max. virtual memory (cumulated for all children) (KiB): 14205176
Max. memory (cumulated for all children) (KiB): 261276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.936
system time used= 0.188121
maximum resident set size= 262392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75785
page faults= 0
swaps= 0
block input operations= 0
block output operations= 416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8070
involuntary context switches= 131
# summary of solver processes directly reported to runsolver:
# pid: 13842,13844
# total CPU time (s): 252.124
# total CPU user time (s): 251.936
# total CPU system time (s): 0.188121
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.53218 second user time and 2.05655 second system time
The end