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 (13946 MiB free)
memory of node 1: 16384 MiB (15350 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393146-1568313525/watcher-4393146-1568313525 -o /tmp/evaluation-result-4393146-1568313525/solver-4393146-1568313525 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568309633-14094 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1326342584 HOME/instance-4393146-1568313525.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=15057, runsolver pid=15054
[startup+0.100124 s]*
/proc/loadavg: 7.60 4.61 2.48 8/233 15073
/proc/meminfo: memFree=29981412/32770624 swapFree=66996208/67108860
[pid=15057] ppid=15054 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15057/stat : 15057 (xcsp3-exec) S 15054 15057 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407607216 115843072 363 33554432000 4194304 5098028 140734606371472 140734606369576 140058968486524 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29315072 140734606377850 140734606378093 140734606378093 140734606381002 0
/proc/15057/statm: 28282 363 304 221 0 87 0
[pid=15059] ppid=15057 vsize=15144768 memory=30008 CPUtime=0.13 cores=1,3,5,7
/proc/15059/stat : 15059 (java) S 15057 15057 14062 0 -1 1077944320 5476 0 0 0 12 1 0 0 20 0 15 0 407607216 15508242432 7502 33554432000 4194304 4196468 140726687765984 140726687748528 139909741793015 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
/proc/15059/statm: 3786192 7502 3121 1 0 3748377 0
[pid=15059/tid=15060] ppid=15057 vsize=15144768 memory=-2698087569006908830 CPUtime=0.09 cores=1,3,5,7
/proc/15059/task/15060/stat : 15060 (java) R 15057 15057 14062 0 -1 4202560 3385 0 0 0 9 0 0 0 20 0 15 0 407607217 15508242432 7568 33554432000 4194304 4196468 140726687765984 139909746025264 139909379575884 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15061] ppid=15057 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15061/stat : 15061 (java) S 15057 15057 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407607217 15508242432 7568 33554432000 4194304 4196468 140726687765984 139909334641424 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15062] ppid=15057 vsize=15144768 memory=139841532970624 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15062/stat : 15062 (java) S 15057 15057 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407607217 15508242432 7568 33554432000 4194304 4196468 140726687765984 139909333588880 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15063] ppid=15057 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15063/stat : 15063 (java) S 15057 15057 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407607217 15508242432 7568 33554432000 4194304 4196468 140726687765984 139909332536336 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15064] ppid=15057 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15064/stat : 15064 (java) S 15057 15057 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407607217 15508242432 7568 33554432000 4194304 4196468 140726687765984 139909331483792 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15065] ppid=15057 vsize=15144768 memory=139841532970624 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15065/stat : 15065 (java) S 15057 15057 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407607219 15508242432 7568 33554432000 4194304 4196468 140726687765984 139909210376176 139909741804162 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15066] ppid=15057 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15066/stat : 15066 (java) S 15057 15057 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407607219 15508242432 7568 33554432000 4194304 4196468 140726687765984 139909209322400 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15067] ppid=15057 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15067/stat : 15067 (java) S 15057 15057 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407607219 15508242432 7568 33554432000 4194304 4196468 140726687765984 139909208269808 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15068] ppid=15057 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15068/stat : 15068 (java) S 15057 15057 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407607222 15508242432 7568 33554432000 4194304 4196468 140726687765984 139909207218384 139909741811611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15069] ppid=15057 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15069/stat : 15069 (java) R 15057 15057 14062 0 -1 4202560 337 0 0 0 0 0 0 0 20 0 15 0 407607222 15508242432 7568 33554432000 4194304 4196468 140726687765984 139909206157648 139909719465120 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15070] ppid=15057 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15070/stat : 15070 (java) R 15057 15057 14062 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 407607222 15508242432 7568 33554432000 4194304 4196468 140726687765984 139909205113552 139909741803221 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15071] ppid=15057 vsize=15144768 memory=139841532970624 CPUtime=0.02 cores=1,3,5,7
/proc/15059/task/15071/stat : 15071 (java) S 15057 15057 14062 0 -1 1077944384 349 0 0 0 2 0 0 0 20 0 15 0 407607222 15508242432 7568 33554432000 4194304 4196468 140726687765984 139909204060912 139909741804162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15072] ppid=15057 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15072/stat : 15072 (java) S 15057 15057 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407607222 15508242432 7568 33554432000 4194304 4196468 140726687765984 139909203008608 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15073] ppid=15057 vsize=15144768 memory=139841532970624 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15073/stat : 15073 (java) S 15057 15057 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407607222 15508242432 7568 33554432000 4194304 4196468 140726687765984 139909201955120 139909741804162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31460 KiB
[startup+0.212716 s]*
/proc/loadavg: 7.60 4.61 2.48 7/233 15073
/proc/meminfo: memFree=29969312/32770624 swapFree=66996208/67108860
[pid=15057] ppid=15054 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15057/stat : 15057 (xcsp3-exec) S 15054 15057 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407607216 115843072 363 33554432000 4194304 5098028 140734606371472 140734606369576 140058968486524 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29315072 140734606377850 140734606378093 140734606378093 140734606381002 0
/proc/15057/statm: 28282 363 304 221 0 87 0
[pid=15059] ppid=15057 vsize=15144768 memory=41192 CPUtime=0.34 cores=1,3,5,7
/proc/15059/stat : 15059 (java) S 15057 15057 14062 0 -1 1077944320 9004 0 0 0 31 3 0 0 20 0 15 0 407607216 15508242432 10298 33554432000 4194304 4196468 140726687765984 140726687748528 139909741793015 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
/proc/15059/statm: 3786192 10298 3292 1 0 3748377 0
[pid=15059/tid=15060] ppid=15057 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/15059/task/15060/stat : 15060 (java) R 15057 15057 14062 0 -1 4202560 6202 0 0 0 18 2 0 0 20 0 15 0 407607217 15508242432 10298 33554432000 4194304 4196468 140726687765984 139909746028000 139909725836645 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15061] ppid=15057 vsize=15144768 memory=2670165 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15061/stat : 15061 (java) S 15057 15057 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407607217 15508242432 10298 33554432000 4194304 4196468 140726687765984 139909334641424 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15062] ppid=15057 vsize=15144768 memory=2850583 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15062/stat : 15062 (java) S 15057 15057 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407607217 15508242432 10298 33554432000 4194304 4196468 140726687765984 139909333588880 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15063] ppid=15057 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15063/stat : 15063 (java) S 15057 15057 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407607217 15508242432 10298 33554432000 4194304 4196468 140726687765984 139909332536336 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15064] ppid=15057 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15064/stat : 15064 (java) S 15057 15057 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407607217 15508242432 10298 33554432000 4194304 4196468 140726687765984 139909331483792 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15065] ppid=15057 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15065/stat : 15065 (java) S 15057 15057 14062 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 407607219 15508242432 10298 33554432000 4194304 4196468 140726687765984 139909210376176 139909741804162 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15066] ppid=15057 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15066/stat : 15066 (java) S 15057 15057 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407607219 15508242432 10298 33554432000 4194304 4196468 140726687765984 139909209322400 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15067] ppid=15057 vsize=15144768 memory=139841532970624 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15067/stat : 15067 (java) S 15057 15057 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407607219 15508242432 10298 33554432000 4194304 4196468 140726687765984 139909208269808 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15068] ppid=15057 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15068/stat : 15068 (java) S 15057 15057 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407607222 15508242432 10298 33554432000 4194304 4196468 140726687765984 139909207218384 139909741811611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15069] ppid=15057 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15059/task/15069/stat : 15069 (java) S 15057 15057 14062 0 -1 1077944384 389 0 0 0 2 0 0 0 20 0 15 0 407607222 15508242432 10298 33554432000 4194304 4196468 140726687765984 139909206166000 139909741804162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15070] ppid=15057 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/15059/task/15070/stat : 15070 (java) S 15057 15057 14062 0 -1 1077944384 364 0 0 0 2 0 0 0 20 0 15 0 407607222 15508242432 10298 33554432000 4194304 4196468 140726687765984 139909205113456 139909741804162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15071] ppid=15057 vsize=15144768 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15059/task/15071/stat : 15071 (java) S 15057 15057 14062 0 -1 1077944384 746 0 0 0 8 0 0 0 20 0 15 0 407607222 15508242432 10298 33554432000 4194304 4196468 140726687765984 139909204060912 139909741804162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15072] ppid=15057 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15072/stat : 15072 (java) S 15057 15057 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407607222 15508242432 10298 33554432000 4194304 4196468 140726687765984 139909203008608 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15073] ppid=15057 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15073/stat : 15073 (java) S 15057 15057 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407607222 15508242432 10298 33554432000 4194304 4196468 140726687765984 139909201955120 139909741804162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42644 KiB
[startup+0.318876 s]*
/proc/loadavg: 7.60 4.61 2.48 7/233 15073
/proc/meminfo: memFree=29961904/32770624 swapFree=66996208/67108860
[pid=15057] ppid=15054 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15057/stat : 15057 (xcsp3-exec) S 15054 15057 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407607216 115843072 363 33554432000 4194304 5098028 140734606371472 140734606369576 140058968486524 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29315072 140734606377850 140734606378093 140734606378093 140734606381002 0
/proc/15057/statm: 28282 363 304 221 0 87 0
[pid=15059] ppid=15057 vsize=15149024 memory=50600 CPUtime=0.54 cores=1,3,5,7
/proc/15059/stat : 15059 (java) S 15057 15057 14062 0 -1 1077944320 10465 0 0 0 50 4 0 0 20 0 15 0 407607216 15512600576 12650 33554432000 4194304 4196468 140726687765984 140726687748528 139909741793015 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
/proc/15059/statm: 3787256 12650 3366 1 0 3748377 0
[pid=15059/tid=15060] ppid=15057 vsize=15149024 memory=8389772277269004345 CPUtime=0.31 cores=1,3,5,7
/proc/15059/task/15060/stat : 15060 (java) R 15057 15057 14062 0 -1 4202560 7450 0 0 0 28 3 0 0 20 0 15 0 407607217 15512600576 12650 33554432000 4194304 4196468 140726687765984 139909746024128 139909725873502 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15061] ppid=15057 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15061/stat : 15061 (java) S 15057 15057 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407607217 15512600576 12650 33554432000 4194304 4196468 140726687765984 139909334641424 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15062] ppid=15057 vsize=15149024 memory=2853883 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15062/stat : 15062 (java) S 15057 15057 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407607217 15512600576 12650 33554432000 4194304 4196468 140726687765984 139909333588880 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15063] ppid=15057 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15063/stat : 15063 (java) S 15057 15057 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407607217 15512600576 12650 33554432000 4194304 4196468 140726687765984 139909332536336 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15064] ppid=15057 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15064/stat : 15064 (java) S 15057 15057 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407607217 15512600576 12650 33554432000 4194304 4196468 140726687765984 139909331483792 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15065] ppid=15057 vsize=15149024 memory=139841532970624 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15065/stat : 15065 (java) S 15057 15057 14062 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 407607219 15512600576 12650 33554432000 4194304 4196468 140726687765984 139909210376176 139909741804162 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15066] ppid=15057 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15066/stat : 15066 (java) S 15057 15057 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407607219 15512600576 12650 33554432000 4194304 4196468 140726687765984 139909209322400 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15067] ppid=15057 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15067/stat : 15067 (java) S 15057 15057 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407607219 15512600576 12650 33554432000 4194304 4196468 140726687765984 139909208269808 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15068] ppid=15057 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15068/stat : 15068 (java) S 15057 15057 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407607222 15512600576 12650 33554432000 4194304 4196468 140726687765984 139909207218384 139909741811611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15069] ppid=15057 vsize=15149024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/15059/task/15069/stat : 15069 (java) S 15057 15057 14062 0 -1 1077944384 510 0 0 0 5 0 0 0 20 0 15 0 407607222 15512600576 12650 33554432000 4194304 4196468 140726687765984 139909206166000 139909741804162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15070] ppid=15057 vsize=15149024 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/15059/task/15070/stat : 15070 (java) S 15057 15057 14062 0 -1 1077944384 381 0 0 0 4 0 0 0 20 0 15 0 407607222 15512600576 12650 33554432000 4194304 4196468 140726687765984 139909205113456 139909741804162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15071] ppid=15057 vsize=15149024 memory=139841532970624 CPUtime=0.12 cores=1,3,5,7
/proc/15059/task/15071/stat : 15071 (java) S 15057 15057 14062 0 -1 1077944384 824 0 0 0 12 0 0 0 20 0 15 0 407607222 15512600576 12650 33554432000 4194304 4196468 140726687765984 139909204060912 139909741804162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15072] ppid=15057 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15072/stat : 15072 (java) S 15057 15057 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407607222 15512600576 12650 33554432000 4194304 4196468 140726687765984 139909203008608 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15073] ppid=15057 vsize=15149024 memory=139841532970624 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15073/stat : 15073 (java) S 15057 15057 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407607222 15512600576 12650 33554432000 4194304 4196468 140726687765984 139909201955120 139909741804162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 52052 KiB
[startup+0.700744 s]
/proc/loadavg: 7.60 4.61 2.48 8/233 15073
/proc/meminfo: memFree=29945436/32770624 swapFree=66996208/67108860
[pid=15057] ppid=15054 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15057/stat : 15057 (xcsp3-exec) S 15054 15057 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407607216 115843072 363 33554432000 4194304 5098028 140734606371472 140734606369576 140058968486524 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29315072 140734606377850 140734606378093 140734606378093 140734606381002 0
/proc/15057/statm: 28282 363 304 221 0 87 0
[pid=15059] ppid=15057 vsize=15151148 memory=84192 CPUtime=1.65 cores=1,3,5,7
/proc/15059/stat : 15059 (java) S 15057 15057 14062 0 -1 1077944320 14740 0 0 0 159 6 0 0 20 0 15 0 407607216 15514775552 21048 33554432000 4194304 4196468 140726687765984 140726687748528 139909741793015 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
/proc/15059/statm: 3787787 21048 3436 1 0 3748889 0
[pid=15059/tid=15060] ppid=15057 vsize=15151148 memory=11932 CPUtime=0.68 cores=1,3,5,7
/proc/15059/task/15060/stat : 15060 (java) R 15057 15057 14062 0 -1 4202560 8842 0 0 0 64 4 0 0 20 0 15 0 407607217 15514775552 21048 33554432000 4194304 4196468 140726687765984 139909746013968 139909723742049 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15061] ppid=15057 vsize=15151148 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15061/stat : 15061 (java) S 15057 15057 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407607217 15514775552 21048 33554432000 4194304 4196468 140726687765984 139909334641424 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15062] ppid=15057 vsize=15151148 memory=500 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15062/stat : 15062 (java) S 15057 15057 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407607217 15514775552 21048 33554432000 4194304 4196468 140726687765984 139909333588880 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15063] ppid=15057 vsize=15151148 memory=928 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15063/stat : 15063 (java) S 15057 15057 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407607217 15514775552 21048 33554432000 4194304 4196468 140726687765984 139909332536336 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15064] ppid=15057 vsize=15151148 memory=1528 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15064/stat : 15064 (java) S 15057 15057 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407607217 15514775552 21048 33554432000 4194304 4196468 140726687765984 139909331483792 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15065] ppid=15057 vsize=15151148 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15065/stat : 15065 (java) S 15057 15057 14062 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 407607219 15514775552 21048 33554432000 4194304 4196468 140726687765984 139909210376176 139909741804162 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15066] ppid=15057 vsize=15151148 memory=876 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15066/stat : 15066 (java) S 15057 15057 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407607219 15514775552 21048 33554432000 4194304 4196468 140726687765984 139909209322400 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15067] ppid=15057 vsize=15151148 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15067/stat : 15067 (java) S 15057 15057 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407607219 15514775552 21048 33554432000 4194304 4196468 140726687765984 139909208269808 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15068] ppid=15057 vsize=15151148 memory=7086240636179075427 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15068/stat : 15068 (java) S 15057 15057 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407607222 15514775552 21048 33554432000 4194304 4196468 140726687765984 139909207218384 139909741811611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15069] ppid=15057 vsize=15151148 memory=7453282923427948884 CPUtime=0.24 cores=1,3,5,7
/proc/15059/task/15069/stat : 15069 (java) S 15057 15057 14062 0 -1 1077944384 1323 0 0 0 24 0 0 0 20 0 15 0 407607222 15514775552 21048 33554432000 4194304 4196468 140726687765984 139909206166000 139909741804162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15070] ppid=15057 vsize=15151148 memory=7223879631928058176 CPUtime=0.27 cores=1,3,5,7
/proc/15059/task/15070/stat : 15070 (java) S 15057 15057 14062 0 -1 1077944384 1311 0 0 0 27 0 0 0 20 0 15 0 407607222 15514775552 21048 33554432000 4194304 4196468 140726687765984 139909205113456 139909741804162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15071] ppid=15057 vsize=15151148 memory=8514726395714826909 CPUtime=0.42 cores=1,3,5,7
/proc/15059/task/15071/stat : 15071 (java) R 15057 15057 14062 0 -1 4202560 1958 0 0 0 42 0 0 0 20 0 15 0 407607222 15514775552 21048 33554432000 4194304 4196468 140726687765984 139909204060912 139909725873502 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15072] ppid=15057 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15072/stat : 15072 (java) S 15057 15057 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407607222 15514775552 21048 33554432000 4194304 4196468 140726687765984 139909203008608 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15073] ppid=15057 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15073/stat : 15073 (java) S 15057 15057 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407607222 15514775552 21048 33554432000 4194304 4196468 140726687765984 139909201955120 139909741804162 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 85644 KiB
[startup+1.50688 s]
/proc/loadavg: 7.60 4.61 2.48 13/237 15077
/proc/meminfo: memFree=29873040/32770624 swapFree=66996208/67108860
[pid=15057] ppid=15054 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15057/stat : 15057 (xcsp3-exec) S 15054 15057 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407607216 115843072 363 33554432000 4194304 5098028 140734606371472 140734606369576 140058968486524 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29315072 140734606377850 140734606378093 140734606378093 140734606381002 0
/proc/15057/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/15059/stat : 15059 (java) S 15057 15057 14062 0 -1 1077944320 97497 0 0 0 250807 1129 0 0 20 0 19 0 407607216 15789518848 99283 33554432000 4194304 4196468 140726687765984 140726687748528 139909741793015 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
/proc/15059/statm: 3854863 99283 3527 1 0 3815965 0
[pid=15059/tid=15060] ppid=15057 vsize=15419452 memory=1452 CPUtime=0.93 cores=1,3,5,7
/proc/15059/task/15060/stat : 15060 (java) S 15057 15057 14062 0 -1 1077944384 8958 0 0 0 88 5 0 0 20 0 19 0 407607217 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909746033792 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15061] ppid=15057 vsize=15419452 memory=397132 CPUtime=2.47 cores=1,3,5,7
/proc/15059/task/15061/stat : 15061 (java) S 15057 15057 14062 0 -1 1077944384 3829 0 0 0 237 10 0 0 20 0 19 0 407607217 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909334641424 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15062] ppid=15057 vsize=15419452 memory=396108 CPUtime=2.48 cores=1,3,5,7
/proc/15059/task/15062/stat : 15062 (java) S 15057 15057 14062 0 -1 1077944384 3987 0 0 0 237 11 0 0 20 0 19 0 407607217 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909333588880 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15063] ppid=15057 vsize=15419452 memory=393728 CPUtime=2.48 cores=1,3,5,7
/proc/15059/task/15063/stat : 15063 (java) S 15057 15057 14062 0 -1 1077944384 4927 0 0 0 238 10 0 0 20 0 19 0 407607217 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909332536336 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15064] ppid=15057 vsize=15419452 memory=1452 CPUtime=2.48 cores=1,3,5,7
/proc/15059/task/15064/stat : 15064 (java) S 15057 15057 14062 0 -1 1077944384 3997 0 0 0 238 10 0 0 20 0 19 0 407607217 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909331483792 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15065] ppid=15057 vsize=15419452 memory=1452 CPUtime=14.38 cores=1,3,5,7
/proc/15059/task/15065/stat : 15065 (java) S 15057 15057 14062 0 -1 1077944384 3722 0 0 0 353 1085 0 0 20 0 19 0 407607219 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909210376176 139909741804162 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15066] ppid=15057 vsize=15419452 memory=397132 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15066/stat : 15066 (java) S 15057 15057 14062 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 407607219 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909209322464 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15067] ppid=15057 vsize=15419452 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15067/stat : 15067 (java) S 15057 15057 14062 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 407607219 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909208269824 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15068] ppid=15057 vsize=15419452 memory=3624 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15068/stat : 15068 (java) S 15057 15057 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407607222 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909207218384 139909741811611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15069] ppid=15057 vsize=15419452 memory=22888 CPUtime=3.52 cores=1,3,5,7
/proc/15059/task/15069/stat : 15069 (java) S 15057 15057 14062 0 -1 1077944384 19317 0 0 0 351 1 0 0 20 0 19 0 407607222 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909206166000 139909741804162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15070] ppid=15057 vsize=15419452 memory=1380 CPUtime=3.28 cores=1,3,5,7
/proc/15059/task/15070/stat : 15070 (java) S 15057 15057 14062 0 -1 1077944384 16917 0 0 0 327 1 0 0 20 0 19 0 407607222 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909205113456 139909741804162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15071] ppid=15057 vsize=15419452 memory=1128 CPUtime=1.06 cores=1,3,5,7
/proc/15059/task/15071/stat : 15071 (java) S 15057 15057 14062 0 -1 1077944384 11867 0 0 0 105 1 0 0 20 0 19 0 407607222 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909204060912 139909741804162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15072] ppid=15057 vsize=15419452 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15072/stat : 15072 (java) S 15057 15057 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407607222 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909203008608 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15073] ppid=15057 vsize=15419452 memory=397132 CPUtime=0.46 cores=1,3,5,7
/proc/15059/task/15073/stat : 15073 (java) S 15057 15057 14062 0 -1 1077944384 1256 0 0 0 23 23 0 0 20 0 19 0 407607222 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909201955120 139909741804162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15074] ppid=15057 vsize=15419452 memory=61751 CPUtime=618.69 cores=1,3,5,7
/proc/15059/task/15074/stat : 15074 (java) R 15057 15057 14062 0 -1 4202560 3094 0 0 0 61863 6 0 0 20 0 19 0 407607312 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909190646312 139909389086048 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15075] ppid=15057 vsize=15419452 memory=63000 CPUtime=617.73 cores=1,3,5,7
/proc/15059/task/15075/stat : 15075 (java) R 15057 15057 14062 0 -1 4202560 8715 0 0 0 61769 4 0 0 20 0 19 0 407607312 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909189597984 139909388431538 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15076] ppid=15057 vsize=15419452 memory=1548 CPUtime=618.46 cores=1,3,5,7
/proc/15059/task/15076/stat : 15076 (java) R 15057 15057 14062 0 -1 4202560 3300 0 0 0 61840 6 0 0 20 0 19 0 407607312 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909188542600 139909380693919 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15077] ppid=15057 vsize=15419452 memory=628 CPUtime=630.99 cores=1,3,5,7
/proc/15059/task/15077/stat : 15077 (java) R 15057 15057 14062 0 -1 4202560 2240 0 0 0 63094 5 0 0 20 0 19 0 407607312 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909187490048 139909388547597 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
Current children cumulated CPU time: 2519.36 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 398584 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+642.501 s]
/proc/loadavg: 8.96 7.98 5.44 9/237 15329
/proc/meminfo: memFree=28952576/32770624 swapFree=66996212/67108860
[pid=15057] ppid=15054 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15057/stat : 15057 (xcsp3-exec) S 15054 15057 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407607216 115843072 363 33554432000 4194304 5098028 140734606371472 140734606369576 140058968486524 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29315072 140734606377850 140734606378093 140734606378093 140734606381002 0
/proc/15057/statm: 28282 363 304 221 0 87 0
[pid=15059] ppid=15057 vsize=15419452 memory=397132 CPUtime=2520.13 cores=1,3,5,7
/proc/15059/stat : 15059 (java) S 15057 15057 14062 0 -1 1077944320 97498 0 0 0 250883 1130 0 0 20 0 19 0 407607216 15789518848 99283 33554432000 4194304 4196468 140726687765984 140726687748528 139909741793015 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
/proc/15059/statm: 3854863 99283 3527 1 0 3815965 0
[pid=15059/tid=15060] ppid=15057 vsize=15419452 memory=1452 CPUtime=0.93 cores=1,3,5,7
/proc/15059/task/15060/stat : 15060 (java) S 15057 15057 14062 0 -1 1077944384 8958 0 0 0 88 5 0 0 20 0 19 0 407607217 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909746033792 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15061] ppid=15057 vsize=15419452 memory=1452 CPUtime=2.47 cores=1,3,5,7
/proc/15059/task/15061/stat : 15061 (java) S 15057 15057 14062 0 -1 1077944384 3829 0 0 0 237 10 0 0 20 0 19 0 407607217 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909334641424 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15062] ppid=15057 vsize=15419452 memory=393728 CPUtime=2.48 cores=1,3,5,7
/proc/15059/task/15062/stat : 15062 (java) S 15057 15057 14062 0 -1 1077944384 3987 0 0 0 237 11 0 0 20 0 19 0 407607217 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909333588880 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15063] ppid=15057 vsize=15419452 memory=396108 CPUtime=2.48 cores=1,3,5,7
/proc/15059/task/15063/stat : 15063 (java) S 15057 15057 14062 0 -1 1077944384 4927 0 0 0 238 10 0 0 20 0 19 0 407607217 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909332536336 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15064] ppid=15057 vsize=15419452 memory=397132 CPUtime=2.49 cores=1,3,5,7
/proc/15059/task/15064/stat : 15064 (java) S 15057 15057 14062 0 -1 1077944384 3997 0 0 0 239 10 0 0 20 0 19 0 407607217 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909331483792 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15065] ppid=15057 vsize=15419452 memory=1452 CPUtime=14.4 cores=1,3,5,7
/proc/15059/task/15065/stat : 15065 (java) S 15057 15057 14062 0 -1 1077944384 3722 0 0 0 354 1086 0 0 20 0 19 0 407607219 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909210376176 139909741804162 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15066] ppid=15057 vsize=15419452 memory=397132 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15066/stat : 15066 (java) S 15057 15057 14062 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 407607219 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909209322464 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15067] ppid=15057 vsize=15419452 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15067/stat : 15067 (java) S 15057 15057 14062 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 407607219 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909208269824 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15068] ppid=15057 vsize=15419452 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15068/stat : 15068 (java) S 15057 15057 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407607222 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909207218384 139909741811611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15069] ppid=15057 vsize=15419452 memory=1128 CPUtime=3.52 cores=1,3,5,7
/proc/15059/task/15069/stat : 15069 (java) S 15057 15057 14062 0 -1 1077944384 19317 0 0 0 351 1 0 0 20 0 19 0 407607222 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909206166000 139909741804162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15070] ppid=15057 vsize=15419452 memory=1452 CPUtime=3.28 cores=1,3,5,7
/proc/15059/task/15070/stat : 15070 (java) S 15057 15057 14062 0 -1 1077944384 16917 0 0 0 327 1 0 0 20 0 19 0 407607222 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909205113456 139909741804162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15071] ppid=15057 vsize=15419452 memory=397132 CPUtime=1.06 cores=1,3,5,7
/proc/15059/task/15071/stat : 15071 (java) S 15057 15057 14062 0 -1 1077944384 11867 0 0 0 105 1 0 0 20 0 19 0 407607222 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909204060912 139909741804162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15072] ppid=15057 vsize=15419452 memory=61751 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15072/stat : 15072 (java) S 15057 15057 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407607222 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909203008608 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15073] ppid=15057 vsize=15419452 memory=63000 CPUtime=0.46 cores=1,3,5,7
/proc/15059/task/15073/stat : 15073 (java) S 15057 15057 14062 0 -1 1077944384 1256 0 0 0 23 23 0 0 20 0 19 0 407607222 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909201955120 139909741804162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15074] ppid=15057 vsize=15419452 memory=1548 CPUtime=618.88 cores=1,3,5,7
/proc/15059/task/15074/stat : 15074 (java) R 15057 15057 14062 0 -1 4202560 3094 0 0 0 61882 6 0 0 20 0 19 0 407607312 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909190646416 139909388432911 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15075] ppid=15057 vsize=15419452 memory=628 CPUtime=617.92 cores=1,3,5,7
/proc/15059/task/15075/stat : 15075 (java) R 15057 15057 14062 0 -1 4202560 8715 0 0 0 61788 4 0 0 20 0 19 0 407607312 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909189595128 139909386369863 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15076] ppid=15057 vsize=15419452 memory=3624 CPUtime=618.65 cores=1,3,5,7
/proc/15059/task/15076/stat : 15076 (java) R 15057 15057 14062 0 -1 4202560 3301 0 0 0 61859 6 0 0 20 0 19 0 407607312 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909188545584 139909389084146 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15077] ppid=15057 vsize=15419452 memory=22888 CPUtime=631.19 cores=1,3,5,7
/proc/15059/task/15077/stat : 15077 (java) R 15057 15057 14062 0 -1 4202560 2240 0 0 0 63114 5 0 0 20 0 19 0 407607312 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909187489936 139909388547626 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
Current children cumulated CPU time: 2520.13 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 398584 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+642.533 s]
# the end of solver process 15057 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000761 s, system=0.001523 s
[startup+642.56 s]
# the end of solver process 15059 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2509.04 s, system=11.3172 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+642.501 s]
/proc/loadavg: 8.96 7.98 5.44 9/237 15329
/proc/meminfo: memFree=28952576/32770624 swapFree=66996212/67108860
[pid=15057] ppid=15054 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15057/stat : 15057 (xcsp3-exec) S 15054 15057 14062 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 407607216 115843072 363 33554432000 4194304 5098028 140734606371472 140734606369576 140058968486524 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 29315072 140734606377850 140734606378093 140734606378093 140734606381002 0
/proc/15057/statm: 28282 363 304 221 0 87 0
[pid=15059] ppid=15057 vsize=15419452 memory=397132 CPUtime=2520.13 cores=1,3,5,7
/proc/15059/stat : 15059 (java) S 15057 15057 14062 0 -1 1077944320 97498 0 0 0 250883 1130 0 0 20 0 19 0 407607216 15789518848 99283 33554432000 4194304 4196468 140726687765984 140726687748528 139909741793015 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
/proc/15059/statm: 3854863 99283 3527 1 0 3815965 0
[pid=15059/tid=15060] ppid=15057 vsize=15419452 memory=1452 CPUtime=0.93 cores=1,3,5,7
/proc/15059/task/15060/stat : 15060 (java) S 15057 15057 14062 0 -1 1077944384 8958 0 0 0 88 5 0 0 20 0 19 0 407607217 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909746033792 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15061] ppid=15057 vsize=15419452 memory=1452 CPUtime=2.47 cores=1,3,5,7
/proc/15059/task/15061/stat : 15061 (java) S 15057 15057 14062 0 -1 1077944384 3829 0 0 0 237 10 0 0 20 0 19 0 407607217 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909334641424 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15062] ppid=15057 vsize=15419452 memory=393728 CPUtime=2.48 cores=1,3,5,7
/proc/15059/task/15062/stat : 15062 (java) S 15057 15057 14062 0 -1 1077944384 3987 0 0 0 237 11 0 0 20 0 19 0 407607217 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909333588880 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15063] ppid=15057 vsize=15419452 memory=396108 CPUtime=2.48 cores=1,3,5,7
/proc/15059/task/15063/stat : 15063 (java) S 15057 15057 14062 0 -1 1077944384 4927 0 0 0 238 10 0 0 20 0 19 0 407607217 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909332536336 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15064] ppid=15057 vsize=15419452 memory=397132 CPUtime=2.49 cores=1,3,5,7
/proc/15059/task/15064/stat : 15064 (java) S 15057 15057 14062 0 -1 1077944384 3997 0 0 0 239 10 0 0 20 0 19 0 407607217 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909331483792 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15065] ppid=15057 vsize=15419452 memory=1452 CPUtime=14.4 cores=1,3,5,7
/proc/15059/task/15065/stat : 15065 (java) S 15057 15057 14062 0 -1 1077944384 3722 0 0 0 354 1086 0 0 20 0 19 0 407607219 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909210376176 139909741804162 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15066] ppid=15057 vsize=15419452 memory=397132 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15066/stat : 15066 (java) S 15057 15057 14062 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 407607219 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909209322464 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15067] ppid=15057 vsize=15419452 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15067/stat : 15067 (java) S 15057 15057 14062 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 407607219 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909208269824 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15068] ppid=15057 vsize=15419452 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15068/stat : 15068 (java) S 15057 15057 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407607222 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909207218384 139909741811611 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15069] ppid=15057 vsize=15419452 memory=1128 CPUtime=3.52 cores=1,3,5,7
/proc/15059/task/15069/stat : 15069 (java) S 15057 15057 14062 0 -1 1077944384 19317 0 0 0 351 1 0 0 20 0 19 0 407607222 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909206166000 139909741804162 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15070] ppid=15057 vsize=15419452 memory=1452 CPUtime=3.28 cores=1,3,5,7
/proc/15059/task/15070/stat : 15070 (java) S 15057 15057 14062 0 -1 1077944384 16917 0 0 0 327 1 0 0 20 0 19 0 407607222 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909205113456 139909741804162 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15071] ppid=15057 vsize=15419452 memory=397132 CPUtime=1.06 cores=1,3,5,7
/proc/15059/task/15071/stat : 15071 (java) S 15057 15057 14062 0 -1 1077944384 11867 0 0 0 105 1 0 0 20 0 19 0 407607222 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909204060912 139909741804162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15072] ppid=15057 vsize=15419452 memory=61751 CPUtime=0 cores=1,3,5,7
/proc/15059/task/15072/stat : 15072 (java) S 15057 15057 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407607222 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909203008608 139909741803221 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15073] ppid=15057 vsize=15419452 memory=63000 CPUtime=0.46 cores=1,3,5,7
/proc/15059/task/15073/stat : 15073 (java) S 15057 15057 14062 0 -1 1077944384 1256 0 0 0 23 23 0 0 20 0 19 0 407607222 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909201955120 139909741804162 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15074] ppid=15057 vsize=15419452 memory=1548 CPUtime=618.88 cores=1,3,5,7
/proc/15059/task/15074/stat : 15074 (java) R 15057 15057 14062 0 -1 4202560 3094 0 0 0 61882 6 0 0 20 0 19 0 407607312 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909190646416 139909388432911 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15075] ppid=15057 vsize=15419452 memory=628 CPUtime=617.92 cores=1,3,5,7
/proc/15059/task/15075/stat : 15075 (java) R 15057 15057 14062 0 -1 4202560 8715 0 0 0 61788 4 0 0 20 0 19 0 407607312 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909189595128 139909386369863 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15076] ppid=15057 vsize=15419452 memory=3624 CPUtime=618.65 cores=1,3,5,7
/proc/15059/task/15076/stat : 15076 (java) R 15057 15057 14062 0 -1 4202560 3301 0 0 0 61859 6 0 0 20 0 19 0 407607312 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909188545584 139909389084146 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
[pid=15059/tid=15077] ppid=15057 vsize=15419452 memory=22888 CPUtime=631.19 cores=1,3,5,7
/proc/15059/task/15077/stat : 15077 (java) R 15057 15057 14062 0 -1 4202560 2240 0 0 0 63114 5 0 0 20 0 19 0 407607312 15789518848 99283 33554432000 4194304 4196468 140726687765984 139909187489936 139909388547626 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14344192 140726687773679 140726687773850 140726687773850 140726687776719 0
Current children cumulated CPU time: 2520.13 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 398584 KiB
Child status: 143
Real time (s): 642.56
CPU time (s): 2520.36
CPU user time (s): 2509.04
CPU system time (s): 11.3172
CPU usage (%): 392.237
Max. virtual memory (cumulated for all children) (KiB): 15532580
Max. memory (cumulated for all children) (KiB): 403904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2509.04
system time used= 11.3172
maximum resident set size= 402968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98315
page faults= 0
swaps= 0
block input operations= 0
block output operations= 864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54872
involuntary context switches= 52835
# summary of solver processes directly reported to runsolver:
# pid: 15057,15059
# total CPU time (s): 2520.36
# total CPU user time (s): 2509.04
# total CPU system time (s): 11.3172
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.07877 second user time and 7.4176 second system time
The end