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 (4516 MiB free)
memory of node 1: 16384 MiB (13739 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292457-1532340439/watcher-4292457-1532340439 -o /tmp/evaluation-result-4292457-1532340439/solver-4292457-1532340439 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532328652-14414 --watchdog 2560 HOME/xcsp3-exec -seed 308927938 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292457-1532340439.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=16836, runsolver pid=16833
[startup+0.104861 s]*
/proc/loadavg: 1.65 1.70 1.68 4/221 16852
/proc/meminfo: memFree=18676512/32770624 swapFree=67108860/67108860
[pid=16836] ppid=16833 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/16836/stat : 16836 (xcsp3-exec) S 16833 16836 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 51607116 115843072 364 33554432000 4194304 5098028 140732428782672 140732428780776 140584969015932 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33783808 140732428788795 140732428788996 140732428788996 140732428791754 0
/proc/16836/statm: 28282 364 306 221 0 87 0
[pid=16838] ppid=16836 vsize=14082840 memory=29248 CPUtime=0.12 cores=1,3,5,7
/proc/16838/stat : 16838 (java) S 16836 16836 14382 0 -1 1077944320 5618 0 0 0 11 1 0 0 20 0 15 0 51607116 14420828160 7312 33554432000 4194304 4196468 140723883531440 140723883513984 140629563981559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
/proc/16838/statm: 3520710 7312 3029 1 0 3483008 0
[pid=16838/tid=16839] ppid=16836 vsize=14082840 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/16838/task/16839/stat : 16839 (java) R 16836 16836 14382 0 -1 4202560 3556 0 0 0 9 0 0 0 20 0 15 0 51607117 14420828160 7312 33554432000 4194304 4196468 140723883531440 140629568214832 140629191528529 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16840] ppid=16836 vsize=14082840 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16840/stat : 16840 (java) S 16836 16836 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51607117 14420828160 7312 33554432000 4194304 4196468 140723883531440 140629516601744 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16841] ppid=16836 vsize=14082840 memory=139989232543360 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16841/stat : 16841 (java) S 16836 16836 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51607117 14420828160 7312 33554432000 4194304 4196468 140723883531440 140629515548944 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16842] ppid=16836 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16842/stat : 16842 (java) S 16836 16836 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51607117 14420828160 7312 33554432000 4194304 4196468 140723883531440 140629514496656 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16843] ppid=16836 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16843/stat : 16843 (java) S 16836 16836 14382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51607117 14420828160 7312 33554432000 4194304 4196468 140723883531440 140629513443856 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16844] ppid=16836 vsize=14082840 memory=139989232543360 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16844/stat : 16844 (java) S 16836 16836 14382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51607119 14420828160 7312 33554432000 4194304 4196468 140723883531440 140629037267568 140629563992706 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16845] ppid=16836 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16845/stat : 16845 (java) S 16836 16836 14382 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 51607119 14420828160 7312 33554432000 4194304 4196468 140723883531440 140629036213536 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16846] ppid=16836 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16846/stat : 16846 (java) S 16836 16836 14382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51607119 14420828160 7312 33554432000 4194304 4196468 140723883531440 140629035161200 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16847] ppid=16836 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16847/stat : 16847 (java) S 16836 16836 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51607122 14420828160 7312 33554432000 4194304 4196468 140723883531440 140629034109520 140629564000155 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16848] ppid=16836 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16848/stat : 16848 (java) S 16836 16836 14382 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 51607122 14420828160 7312 33554432000 4194304 4196468 140723883531440 140629033056368 140629563992706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16849] ppid=16836 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16849/stat : 16849 (java) S 16836 16836 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51607122 14420828160 7312 33554432000 4194304 4196468 140723883531440 140629032003568 140629563992706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16850] ppid=16836 vsize=14082840 memory=139989232543360 CPUtime=0.01 cores=1,3,5,7
/proc/16838/task/16850/stat : 16850 (java) S 16836 16836 14382 0 -1 1077944384 333 0 0 0 1 0 0 0 20 0 15 0 51607122 14420828160 7312 33554432000 4194304 4196468 140723883531440 140629030951280 140629563992706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16851] ppid=16836 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16851/stat : 16851 (java) S 16836 16836 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51607122 14420828160 7312 33554432000 4194304 4196468 140723883531440 140629029898720 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16852] ppid=16836 vsize=14082840 memory=139989232543360 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16852/stat : 16852 (java) S 16836 16836 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51607122 14420828160 7312 33554432000 4194304 4196468 140723883531440 140629028846512 140629563992706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 30704 KiB
[startup+0.21077 s]*
/proc/loadavg: 1.65 1.70 1.68 3/221 16852
/proc/meminfo: memFree=18665100/32770624 swapFree=67108860/67108860
[pid=16836] ppid=16833 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/16836/stat : 16836 (xcsp3-exec) S 16833 16836 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 51607116 115843072 364 33554432000 4194304 5098028 140732428782672 140732428780776 140584969015932 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33783808 140732428788795 140732428788996 140732428788996 140732428791754 0
/proc/16836/statm: 28282 364 306 221 0 87 0
[pid=16838] ppid=16836 vsize=14082840 memory=40884 CPUtime=0.33 cores=1,3,5,7
/proc/16838/stat : 16838 (java) S 16836 16836 14382 0 -1 1077944320 8238 0 0 0 31 2 0 0 20 0 15 0 51607116 14420828160 10221 33554432000 4194304 4196468 140723883531440 140723883513984 140629563981559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
/proc/16838/statm: 3520710 10221 3164 1 0 3483008 0
[pid=16838/tid=16839] ppid=16836 vsize=14082840 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/16838/task/16839/stat : 16839 (java) R 16836 16836 14382 0 -1 4202560 5376 0 0 0 18 1 0 0 20 0 15 0 51607117 14420828160 10221 33554432000 4194304 4196468 140723883531440 140629568208496 140629563993494 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16840] ppid=16836 vsize=14082840 memory=13660 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16840/stat : 16840 (java) S 16836 16836 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51607117 14420828160 10221 33554432000 4194304 4196468 140723883531440 140629516601744 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16841] ppid=16836 vsize=14082840 memory=139989232843315 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16841/stat : 16841 (java) S 16836 16836 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51607117 14420828160 10221 33554432000 4194304 4196468 140723883531440 140629515548944 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16842] ppid=16836 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16842/stat : 16842 (java) S 16836 16836 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51607117 14420828160 10221 33554432000 4194304 4196468 140723883531440 140629514496656 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16843] ppid=16836 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16843/stat : 16843 (java) S 16836 16836 14382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51607117 14420828160 10221 33554432000 4194304 4196468 140723883531440 140629513443856 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16844] ppid=16836 vsize=14082840 memory=139989232543360 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16844/stat : 16844 (java) S 16836 16836 14382 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 51607119 14420828160 10221 33554432000 4194304 4196468 140723883531440 140629037267568 140629563992706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16845] ppid=16836 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16845/stat : 16845 (java) S 16836 16836 14382 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 51607119 14420828160 10221 33554432000 4194304 4196468 140723883531440 140629036213536 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16846] ppid=16836 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16846/stat : 16846 (java) S 16836 16836 14382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51607119 14420828160 10221 33554432000 4194304 4196468 140723883531440 140629035161200 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16847] ppid=16836 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16847/stat : 16847 (java) S 16836 16836 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51607122 14420828160 10221 33554432000 4194304 4196468 140723883531440 140629034109520 140629564000155 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16848] ppid=16836 vsize=14082840 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/16838/task/16848/stat : 16848 (java) S 16836 16836 14382 0 -1 1077944384 512 0 0 0 2 0 0 0 20 0 15 0 51607122 14420828160 10221 33554432000 4194304 4196468 140723883531440 140629033056368 140629563992706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16849] ppid=16836 vsize=14082840 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/16838/task/16849/stat : 16849 (java) S 16836 16836 14382 0 -1 1077944384 297 0 0 0 3 0 0 0 20 0 15 0 51607122 14420828160 10221 33554432000 4194304 4196468 140723883531440 140629032003568 140629563992706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16850] ppid=16836 vsize=14082840 memory=139989232543360 CPUtime=0.08 cores=1,3,5,7
/proc/16838/task/16850/stat : 16850 (java) R 16836 16836 14382 0 -1 4202560 746 0 0 0 8 0 0 0 20 0 15 0 51607122 14420828160 10221 33554432000 4194304 4196468 140723883531440 140629030951280 140629542999788 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16851] ppid=16836 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16851/stat : 16851 (java) S 16836 16836 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51607122 14420828160 10221 33554432000 4194304 4196468 140723883531440 140629029898720 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16852] ppid=16836 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16852/stat : 16852 (java) S 16836 16836 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51607122 14420828160 10221 33554432000 4194304 4196468 140723883531440 140629028846512 140629563992706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 42340 KiB
[startup+0.310753 s]*
/proc/loadavg: 1.65 1.70 1.68 4/221 16852
/proc/meminfo: memFree=18659144/32770624 swapFree=67108860/67108860
[pid=16836] ppid=16833 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/16836/stat : 16836 (xcsp3-exec) S 16833 16836 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 51607116 115843072 364 33554432000 4194304 5098028 140732428782672 140732428780776 140584969015932 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33783808 140732428788795 140732428788996 140732428788996 140732428791754 0
/proc/16836/statm: 28282 364 306 221 0 87 0
[pid=16838] ppid=16836 vsize=14087096 memory=48080 CPUtime=0.51 cores=1,3,5,7
/proc/16838/stat : 16838 (java) S 16836 16836 14382 0 -1 1077944320 9118 0 0 0 48 3 0 0 20 0 15 0 51607116 14425186304 12020 33554432000 4194304 4196468 140723883531440 140723883513984 140629563981559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
/proc/16838/statm: 3521774 12020 3257 1 0 3483008 0
[pid=16838/tid=16839] ppid=16836 vsize=14087096 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/16838/task/16839/stat : 16839 (java) R 16836 16836 14382 0 -1 4202560 6018 0 0 0 27 2 0 0 20 0 15 0 51607117 14425186304 12020 33554432000 4194304 4196468 140723883531440 140629568217136 140629564003485 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16840] ppid=16836 vsize=14087096 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16840/stat : 16840 (java) S 16836 16836 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51607117 14425186304 12020 33554432000 4194304 4196468 140723883531440 140629516601744 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16841] ppid=16836 vsize=14087096 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16841/stat : 16841 (java) S 16836 16836 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51607117 14425186304 12020 33554432000 4194304 4196468 140723883531440 140629515548944 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16842] ppid=16836 vsize=14087096 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16842/stat : 16842 (java) S 16836 16836 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51607117 14425186304 12020 33554432000 4194304 4196468 140723883531440 140629514496656 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16843] ppid=16836 vsize=14087096 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16843/stat : 16843 (java) S 16836 16836 14382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51607117 14425186304 12020 33554432000 4194304 4196468 140723883531440 140629513443856 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16844] ppid=16836 vsize=14087096 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16844/stat : 16844 (java) S 16836 16836 14382 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 51607119 14425186304 12020 33554432000 4194304 4196468 140723883531440 140629037267568 140629563992706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16845] ppid=16836 vsize=14087096 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16845/stat : 16845 (java) S 16836 16836 14382 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 51607119 14425186304 12020 33554432000 4194304 4196468 140723883531440 140629036213536 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16846] ppid=16836 vsize=14087096 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16846/stat : 16846 (java) S 16836 16836 14382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51607119 14425186304 12020 33554432000 4194304 4196468 140723883531440 140629035161200 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16847] ppid=16836 vsize=14087096 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16847/stat : 16847 (java) S 16836 16836 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51607122 14425186304 12020 33554432000 4194304 4196468 140723883531440 140629034109520 140629564000155 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16848] ppid=16836 vsize=14087096 memory=4426078206164241782 CPUtime=0.03 cores=1,3,5,7
/proc/16838/task/16848/stat : 16848 (java) R 16836 16836 14382 0 -1 4202560 528 0 0 0 3 0 0 0 20 0 15 0 51607122 14425186304 12020 33554432000 4194304 4196468 140723883531440 140629033046160 140629549662998 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16849] ppid=16836 vsize=14087096 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/16838/task/16849/stat : 16849 (java) R 16836 16836 14382 0 -1 4202560 425 0 0 0 5 0 0 0 20 0 15 0 51607122 14425186304 12020 33554432000 4194304 4196468 140723883531440 140629032003664 140629547870232 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16850] ppid=16836 vsize=14087096 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/16838/task/16850/stat : 16850 (java) S 16836 16836 14382 0 -1 1077944384 849 0 0 0 12 0 0 0 20 0 15 0 51607122 14425186304 12020 33554432000 4194304 4196468 140723883531440 140629030951280 140629563992706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16851] ppid=16836 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16851/stat : 16851 (java) S 16836 16836 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51607122 14425186304 12020 33554432000 4194304 4196468 140723883531440 140629029898720 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16852] ppid=16836 vsize=14087096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16852/stat : 16852 (java) S 16836 16836 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51607122 14425186304 12020 33554432000 4194304 4196468 140723883531440 140629028846512 140629563992706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49536 KiB
[startup+0.702826 s]
/proc/loadavg: 1.65 1.70 1.68 4/221 16852
/proc/meminfo: memFree=18645000/32770624 swapFree=67108860/67108860
[pid=16836] ppid=16833 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/16836/stat : 16836 (xcsp3-exec) S 16833 16836 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 51607116 115843072 364 33554432000 4194304 5098028 140732428782672 140732428780776 140584969015932 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33783808 140732428788795 140732428788996 140732428788996 140732428791754 0
/proc/16836/statm: 28282 364 306 221 0 87 0
[pid=16838] ppid=16836 vsize=14089220 memory=79740 CPUtime=1.53 cores=1,3,5,7
/proc/16838/stat : 16838 (java) S 16836 16836 14382 0 -1 1077944320 12110 0 0 0 148 5 0 0 20 0 15 0 51607116 14427361280 19935 33554432000 4194304 4196468 140723883531440 140723883513984 140629563981559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
/proc/16838/statm: 3522305 19935 3336 1 0 3483520 0
[pid=16838/tid=16839] ppid=16836 vsize=14089220 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/16838/task/16839/stat : 16839 (java) R 16836 16836 14382 0 -1 4202560 6957 0 0 0 64 3 0 0 20 0 15 0 51607117 14427361280 19935 33554432000 4194304 4196468 140723883531440 140629568216992 140629195596928 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16840] ppid=16836 vsize=14089220 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16840/stat : 16840 (java) S 16836 16836 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51607117 14427361280 19935 33554432000 4194304 4196468 140723883531440 140629516601744 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16841] ppid=16836 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16841/stat : 16841 (java) S 16836 16836 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51607117 14427361280 19935 33554432000 4194304 4196468 140723883531440 140629515548944 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16842] ppid=16836 vsize=14089220 memory=16920 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16842/stat : 16842 (java) S 16836 16836 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51607117 14427361280 19935 33554432000 4194304 4196468 140723883531440 140629514496656 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16843] ppid=16836 vsize=14089220 memory=2396 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16843/stat : 16843 (java) S 16836 16836 14382 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 51607117 14427361280 19935 33554432000 4194304 4196468 140723883531440 140629513443856 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16844] ppid=16836 vsize=14089220 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16844/stat : 16844 (java) S 16836 16836 14382 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 51607119 14427361280 19935 33554432000 4194304 4196468 140723883531440 140629037267568 140629563992706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16845] ppid=16836 vsize=14089220 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16845/stat : 16845 (java) S 16836 16836 14382 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 51607119 14427361280 19935 33554432000 4194304 4196468 140723883531440 140629036213536 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16846] ppid=16836 vsize=14089220 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16846/stat : 16846 (java) S 16836 16836 14382 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 51607119 14427361280 19935 33554432000 4194304 4196468 140723883531440 140629035161200 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16847] ppid=16836 vsize=14089220 memory=5404 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16847/stat : 16847 (java) S 16836 16836 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51607122 14427361280 19935 33554432000 4194304 4196468 140723883531440 140629034109520 140629564000155 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16848] ppid=16836 vsize=14089220 memory=796 CPUtime=0.22 cores=1,3,5,7
/proc/16838/task/16848/stat : 16848 (java) R 16836 16836 14382 0 -1 4202560 1046 0 0 0 22 0 0 0 20 0 15 0 51607122 14427361280 19935 33554432000 4194304 4196468 140723883531440 140629033056664 140629547467482 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16849] ppid=16836 vsize=14089220 memory=4616 CPUtime=0.26 cores=1,3,5,7
/proc/16838/task/16849/stat : 16849 (java) R 16836 16836 14382 0 -1 4202560 1027 0 0 0 26 0 0 0 20 0 15 0 51607122 14427361280 19935 33554432000 4194304 4196468 140723883531440 140629032003568 140629547475871 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16850] ppid=16836 vsize=14089220 memory=1424 CPUtime=0.35 cores=1,3,5,7
/proc/16838/task/16850/stat : 16850 (java) S 16836 16836 14382 0 -1 1077944384 1772 0 0 0 35 0 0 0 20 0 15 0 51607122 14427361280 19935 33554432000 4194304 4196468 140723883531440 140629030951280 140629563992706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16851] ppid=16836 vsize=14089220 memory=10940 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16851/stat : 16851 (java) S 16836 16836 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51607122 14427361280 19935 33554432000 4194304 4196468 140723883531440 140629029898720 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16852] ppid=16836 vsize=14089220 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16852/stat : 16852 (java) S 16836 16836 14382 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 51607122 14427361280 19935 33554432000 4194304 4196468 140723883531440 140629028846512 140629563992706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
Current children cumulated CPU time: 1.53 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 81196 KiB
[startup+1.50079 s]
/proc/loadavg: 1.65 1.70 1.68 4/221 16852
/proc/meminfo: memFree=18622648/32770624 swapFree=67108860/67108860
[pid=16836] ppid=16833 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/16836/stat : 16836 (xcsp3-exec) S 16833 16836 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 51607116 115843072 364 33554432000 4194304 5098028 140732428782672 140732428780776 140584969015932 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33783808 140732428788795 140732428788996 140732428788996 140732428791754 0
/proc/16836/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/16838/task/16846/stat : 16846 (java) S 16836 16836 14382 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 51607119 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629035161200 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16847] ppid=16836 vsize=14089220 memory=156292 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16847/stat : 16847 (java) S 16836 16836 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51607122 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629034109520 140629564000155 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16848] ppid=16836 vsize=14089220 memory=1456 CPUtime=0.87 cores=1,3,5,7
/proc/16838/task/16848/stat : 16848 (java) S 16836 16836 14382 0 -1 1077944384 7941 0 0 0 86 1 0 0 20 0 15 0 51607122 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629033056368 140629563992706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16849] ppid=16836 vsize=14089220 memory=156292 CPUtime=1.23 cores=1,3,5,7
/proc/16838/task/16849/stat : 16849 (java) S 16836 16836 14382 0 -1 1077944384 12004 0 0 0 122 1 0 0 20 0 15 0 51607122 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629032003568 140629563992706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16850] ppid=16836 vsize=14089220 memory=1456 CPUtime=0.49 cores=1,3,5,7
/proc/16838/task/16850/stat : 16850 (java) S 16836 16836 14382 0 -1 1077944384 7500 0 0 0 48 1 0 0 20 0 15 0 51607122 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629030951280 140629563992706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16851] ppid=16836 vsize=14089220 memory=18476 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16851/stat : 16851 (java) S 16836 16836 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51607122 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629029898720 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16852] ppid=16836 vsize=14089220 memory=1236 CPUtime=0.56 cores=1,3,5,7
/proc/16838/task/16852/stat : 16852 (java) S 16836 16836 14382 0 -1 1077944384 1537 0 0 0 27 29 0 0 20 0 15 0 51607122 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629028846512 140629563992706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
Current children cumulated CPU time: 2327.44 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 157748 KiB
[startup+2382.3 s]
/proc/loadavg: 1.59 1.64 1.73 3/221 17009
/proc/meminfo: memFree=27142636/32770624 swapFree=67108860/67108860
[pid=16836] ppid=16833 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/16836/stat : 16836 (xcsp3-exec) S 16833 16836 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 51607116 115843072 364 33554432000 4194304 5098028 140732428782672 140732428780776 140584969015932 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33783808 140732428788795 140732428788996 140732428788996 140732428791754 0
/proc/16836/statm: 28282 364 306 221 0 87 0
[pid=16838] ppid=16836 vsize=14089220 memory=156292 CPUtime=2387.6 cores=1,3,5,7
/proc/16838/stat : 16838 (java) S 16836 16836 14382 0 -1 1077944320 63681 0 0 0 238706 54 0 0 20 0 15 0 51607116 14427361280 39073 33554432000 4194304 4196468 140723883531440 140723883513984 140629563981559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
/proc/16838/statm: 3522305 39073 3386 1 0 3483520 0
[pid=16838/tid=16839] ppid=16836 vsize=14089220 memory=156292 CPUtime=2380.66 cores=1,3,5,7
/proc/16838/task/16839/stat : 16839 (java) R 16836 16836 14382 0 -1 4202560 19308 0 0 0 238058 8 0 0 20 0 15 0 51607117 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629568220912 140629196145868 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16840] ppid=16836 vsize=14089220 memory=156292 CPUtime=0.8 cores=1,3,5,7
/proc/16838/task/16840/stat : 16840 (java) S 16836 16836 14382 0 -1 1077944384 2968 0 0 0 76 4 0 0 20 0 15 0 51607117 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629516601744 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16841] ppid=16836 vsize=14089220 memory=156292 CPUtime=0.8 cores=1,3,5,7
/proc/16838/task/16841/stat : 16841 (java) S 16836 16836 14382 0 -1 1077944384 2569 0 0 0 77 3 0 0 20 0 15 0 51607117 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629515548944 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16842] ppid=16836 vsize=14089220 memory=156292 CPUtime=0.8 cores=1,3,5,7
/proc/16838/task/16842/stat : 16842 (java) S 16836 16836 14382 0 -1 1077944384 1711 0 0 0 77 3 0 0 20 0 15 0 51607117 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629514496656 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16843] ppid=16836 vsize=14089220 memory=1456 CPUtime=0.8 cores=1,3,5,7
/proc/16838/task/16843/stat : 16843 (java) S 16836 16836 14382 0 -1 1077944384 2812 0 0 0 76 4 0 0 20 0 15 0 51607117 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629513443856 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16844] ppid=16836 vsize=14089220 memory=156292 CPUtime=0.46 cores=1,3,5,7
/proc/16838/task/16844/stat : 16844 (java) S 16836 16836 14382 0 -1 1077944384 3950 0 0 0 43 3 0 0 20 0 15 0 51607119 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629037267568 140629563992706 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16845] ppid=16836 vsize=14089220 memory=156292 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16845/stat : 16845 (java) S 16836 16836 14382 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 51607119 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629036213536 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16846] ppid=16836 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16846/stat : 16846 (java) S 16836 16836 14382 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 51607119 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629035161200 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16847] ppid=16836 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16847/stat : 16847 (java) S 16836 16836 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51607122 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629034109520 140629564000155 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16848] ppid=16836 vsize=14089220 memory=156292 CPUtime=0.87 cores=1,3,5,7
/proc/16838/task/16848/stat : 16848 (java) S 16836 16836 14382 0 -1 1077944384 7941 0 0 0 86 1 0 0 20 0 15 0 51607122 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629033056368 140629563992706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16849] ppid=16836 vsize=14089220 memory=156292 CPUtime=1.23 cores=1,3,5,7
/proc/16838/task/16849/stat : 16849 (java) S 16836 16836 14382 0 -1 1077944384 12004 0 0 0 122 1 0 0 20 0 15 0 51607122 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629032003568 140629563992706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16850] ppid=16836 vsize=14089220 memory=1456 CPUtime=0.49 cores=1,3,5,7
/proc/16838/task/16850/stat : 16850 (java) S 16836 16836 14382 0 -1 1077944384 7500 0 0 0 48 1 0 0 20 0 15 0 51607122 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629030951280 140629563992706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16851] ppid=16836 vsize=14089220 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16851/stat : 16851 (java) S 16836 16836 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51607122 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629029898720 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16852] ppid=16836 vsize=14089220 memory=16960 CPUtime=0.58 cores=1,3,5,7
/proc/16838/task/16852/stat : 16852 (java) S 16836 16836 14382 0 -1 1077944384 1541 0 0 0 28 30 0 0 20 0 15 0 51607122 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629028846512 140629563992706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
Current children cumulated CPU time: 2387.6 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 157748 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2394.7 s]
/proc/loadavg: 1.46 1.61 1.72 3/221 17010
/proc/meminfo: memFree=27142364/32770624 swapFree=67108860/67108860
[pid=16836] ppid=16833 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/16836/stat : 16836 (xcsp3-exec) S 16833 16836 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 51607116 115843072 364 33554432000 4194304 5098028 140732428782672 140732428780776 140584969015932 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33783808 140732428788795 140732428788996 140732428788996 140732428791754 0
/proc/16836/statm: 28282 364 306 221 0 87 0
[pid=16838] ppid=16836 vsize=14089220 memory=156292 CPUtime=2400.01 cores=1,3,5,7
/proc/16838/stat : 16838 (java) S 16836 16836 14382 0 -1 1077944320 63691 0 0 0 239947 54 0 0 20 0 15 0 51607116 14427361280 39073 33554432000 4194304 4196468 140723883531440 140723883513984 140629563981559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
/proc/16838/statm: 3522305 39073 3386 1 0 3483520 0
[pid=16838/tid=16839] ppid=16836 vsize=14089220 memory=156292 CPUtime=2393.05 cores=1,3,5,7
/proc/16838/task/16839/stat : 16839 (java) R 16836 16836 14382 0 -1 4202560 19311 0 0 0 239297 8 0 0 20 0 15 0 51607117 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629568220912 140629196596943 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16840] ppid=16836 vsize=14089220 memory=156292 CPUtime=0.8 cores=1,3,5,7
/proc/16838/task/16840/stat : 16840 (java) S 16836 16836 14382 0 -1 1077944384 2968 0 0 0 76 4 0 0 20 0 15 0 51607117 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629516601744 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16841] ppid=16836 vsize=14089220 memory=1456 CPUtime=0.81 cores=1,3,5,7
/proc/16838/task/16841/stat : 16841 (java) S 16836 16836 14382 0 -1 1077944384 2574 0 0 0 78 3 0 0 20 0 15 0 51607117 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629515548944 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16842] ppid=16836 vsize=14089220 memory=156292 CPUtime=0.8 cores=1,3,5,7
/proc/16838/task/16842/stat : 16842 (java) S 16836 16836 14382 0 -1 1077944384 1711 0 0 0 77 3 0 0 20 0 15 0 51607117 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629514496656 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16843] ppid=16836 vsize=14089220 memory=156292 CPUtime=0.81 cores=1,3,5,7
/proc/16838/task/16843/stat : 16843 (java) S 16836 16836 14382 0 -1 1077944384 2812 0 0 0 77 4 0 0 20 0 15 0 51607117 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629513443856 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16844] ppid=16836 vsize=14089220 memory=1456 CPUtime=0.46 cores=1,3,5,7
/proc/16838/task/16844/stat : 16844 (java) S 16836 16836 14382 0 -1 1077944384 3950 0 0 0 43 3 0 0 20 0 15 0 51607119 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629037267568 140629563992706 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16845] ppid=16836 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16845/stat : 16845 (java) S 16836 16836 14382 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 51607119 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629036213536 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16846] ppid=16836 vsize=14089220 memory=156292 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16846/stat : 16846 (java) S 16836 16836 14382 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 51607119 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629035161200 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16847] ppid=16836 vsize=14089220 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16847/stat : 16847 (java) S 16836 16836 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51607122 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629034109520 140629564000155 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16848] ppid=16836 vsize=14089220 memory=16960 CPUtime=0.87 cores=1,3,5,7
/proc/16838/task/16848/stat : 16848 (java) S 16836 16836 14382 0 -1 1077944384 7941 0 0 0 86 1 0 0 20 0 15 0 51607122 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629033056368 140629563992706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16849] ppid=16836 vsize=14089220 memory=1456 CPUtime=1.23 cores=1,3,5,7
/proc/16838/task/16849/stat : 16849 (java) S 16836 16836 14382 0 -1 1077944384 12004 0 0 0 122 1 0 0 20 0 15 0 51607122 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629032003568 140629563992706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16850] ppid=16836 vsize=14089220 memory=156292 CPUtime=0.49 cores=1,3,5,7
/proc/16838/task/16850/stat : 16850 (java) S 16836 16836 14382 0 -1 1077944384 7500 0 0 0 48 1 0 0 20 0 15 0 51607122 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629030951280 140629563992706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16851] ppid=16836 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16851/stat : 16851 (java) S 16836 16836 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51607122 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629029898720 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16852] ppid=16836 vsize=14089220 memory=156292 CPUtime=0.59 cores=1,3,5,7
/proc/16838/task/16852/stat : 16852 (java) S 16836 16836 14382 0 -1 1077944384 1543 0 0 0 28 31 0 0 20 0 15 0 51607122 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629028846512 140629563992706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 157748 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2394.71 s]
# the end of solver process 16836 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00113 s, system=0.00113 s
[startup+2394.71 s]
# the end of solver process 16838 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.48 s, system=0.552247 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
[startup+2394.7 s]
/proc/loadavg: 1.46 1.61 1.72 3/221 17010
/proc/meminfo: memFree=27142364/32770624 swapFree=67108860/67108860
[pid=16836] ppid=16833 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/16836/stat : 16836 (xcsp3-exec) S 16833 16836 14382 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 51607116 115843072 364 33554432000 4194304 5098028 140732428782672 140732428780776 140584969015932 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33783808 140732428788795 140732428788996 140732428788996 140732428791754 0
/proc/16836/statm: 28282 364 306 221 0 87 0
[pid=16838] ppid=16836 vsize=14089220 memory=156292 CPUtime=2400.01 cores=1,3,5,7
/proc/16838/stat : 16838 (java) S 16836 16836 14382 0 -1 1077944320 63691 0 0 0 239947 54 0 0 20 0 15 0 51607116 14427361280 39073 33554432000 4194304 4196468 140723883531440 140723883513984 140629563981559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
/proc/16838/statm: 3522305 39073 3386 1 0 3483520 0
[pid=16838/tid=16839] ppid=16836 vsize=14089220 memory=156292 CPUtime=2393.05 cores=1,3,5,7
/proc/16838/task/16839/stat : 16839 (java) R 16836 16836 14382 0 -1 4202560 19311 0 0 0 239297 8 0 0 20 0 15 0 51607117 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629568220912 140629196596943 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16840] ppid=16836 vsize=14089220 memory=156292 CPUtime=0.8 cores=1,3,5,7
/proc/16838/task/16840/stat : 16840 (java) S 16836 16836 14382 0 -1 1077944384 2968 0 0 0 76 4 0 0 20 0 15 0 51607117 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629516601744 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16841] ppid=16836 vsize=14089220 memory=1456 CPUtime=0.81 cores=1,3,5,7
/proc/16838/task/16841/stat : 16841 (java) S 16836 16836 14382 0 -1 1077944384 2574 0 0 0 78 3 0 0 20 0 15 0 51607117 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629515548944 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16842] ppid=16836 vsize=14089220 memory=156292 CPUtime=0.8 cores=1,3,5,7
/proc/16838/task/16842/stat : 16842 (java) S 16836 16836 14382 0 -1 1077944384 1711 0 0 0 77 3 0 0 20 0 15 0 51607117 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629514496656 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16843] ppid=16836 vsize=14089220 memory=156292 CPUtime=0.81 cores=1,3,5,7
/proc/16838/task/16843/stat : 16843 (java) S 16836 16836 14382 0 -1 1077944384 2812 0 0 0 77 4 0 0 20 0 15 0 51607117 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629513443856 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16844] ppid=16836 vsize=14089220 memory=1456 CPUtime=0.46 cores=1,3,5,7
/proc/16838/task/16844/stat : 16844 (java) S 16836 16836 14382 0 -1 1077944384 3950 0 0 0 43 3 0 0 20 0 15 0 51607119 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629037267568 140629563992706 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16845] ppid=16836 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16845/stat : 16845 (java) S 16836 16836 14382 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 51607119 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629036213536 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16846] ppid=16836 vsize=14089220 memory=156292 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16846/stat : 16846 (java) S 16836 16836 14382 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 51607119 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629035161200 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16847] ppid=16836 vsize=14089220 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16847/stat : 16847 (java) S 16836 16836 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51607122 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629034109520 140629564000155 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16848] ppid=16836 vsize=14089220 memory=16960 CPUtime=0.87 cores=1,3,5,7
/proc/16838/task/16848/stat : 16848 (java) S 16836 16836 14382 0 -1 1077944384 7941 0 0 0 86 1 0 0 20 0 15 0 51607122 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629033056368 140629563992706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16849] ppid=16836 vsize=14089220 memory=1456 CPUtime=1.23 cores=1,3,5,7
/proc/16838/task/16849/stat : 16849 (java) S 16836 16836 14382 0 -1 1077944384 12004 0 0 0 122 1 0 0 20 0 15 0 51607122 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629032003568 140629563992706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16850] ppid=16836 vsize=14089220 memory=156292 CPUtime=0.49 cores=1,3,5,7
/proc/16838/task/16850/stat : 16850 (java) S 16836 16836 14382 0 -1 1077944384 7500 0 0 0 48 1 0 0 20 0 15 0 51607122 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629030951280 140629563992706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16851] ppid=16836 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/16838/task/16851/stat : 16851 (java) S 16836 16836 14382 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 51607122 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629029898720 140629563991765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
[pid=16838/tid=16852] ppid=16836 vsize=14089220 memory=156292 CPUtime=0.59 cores=1,3,5,7
/proc/16838/task/16852/stat : 16852 (java) S 16836 16836 14382 0 -1 1077944384 1543 0 0 0 28 31 0 0 20 0 15 0 51607122 14427361280 39073 33554432000 4194304 4196468 140723883531440 140629028846512 140629563992706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18587648 140723883533441 140723883533617 140723883533617 140723883536335 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 157748 KiB
Child status: 143
Real time (s): 2394.71
CPU time (s): 2400.03
CPU user time (s): 2399.48
CPU system time (s): 0.552247
CPU usage (%): 100.222
Max. virtual memory (cumulated for all children) (KiB): 14204148
Max. memory (cumulated for all children) (KiB): 229932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.48
system time used= 0.552247
maximum resident set size= 228508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64525
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 64692
involuntary context switches= 1882
# summary of solver processes directly reported to runsolver:
# pid: 16836,16838
# total CPU time (s): 2400.03
# total CPU user time (s): 2399.48
# total CPU system time (s): 0.552247
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.2183 second user time and 23.2718 second system time
The end