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 (15263 MiB free)
memory of node 1: 16384 MiB (15060 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393135-1568320430/watcher-4393135-1568320430 -o /tmp/evaluation-result-4393135-1568320430/solver-4393135-1568320430 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568312479-6784 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1519576178 HOME/instance-4393135-1568320430.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=18185, runsolver pid=18182
Current StackSize limit: 8192 KiB
[startup+0.100107 s]*
/proc/loadavg: 8.72 8.69 8.42 8/233 18201
/proc/meminfo: memFree=31034884/32770624 swapFree=66979540/67108860
[pid=18185] ppid=18182 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/18185/stat : 18185 (xcsp3-exec) S 18182 18185 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408305728 115843072 362 33554432000 4194304 5098028 140725930934448 140725930932552 140010542404220 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19251200 140725930943354 140725930943597 140725930943597 140725930946506 0
/proc/18185/statm: 28282 362 304 221 0 87 0
[pid=18187] ppid=18185 vsize=15144768 memory=28676 CPUtime=0.13 cores=0,2,4,6
/proc/18187/stat : 18187 (java) S 18185 18185 6753 0 -1 1077944320 5679 0 0 0 12 1 0 0 20 0 15 0 408305728 15508242432 7169 33554432000 4194304 4196468 140732141278544 140732141261088 140107191070455 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
/proc/18187/statm: 3786192 7169 3120 1 0 3748377 0
[pid=18187/tid=18188] ppid=18185 vsize=15144768 memory=7100839878644302962 CPUtime=0.09 cores=0,2,4,6
/proc/18187/task/18188/stat : 18188 (java) R 18185 18185 6753 0 -1 4202560 3571 0 0 0 9 0 0 0 20 0 15 0 408305728 15508242432 7169 33554432000 4194304 4196468 140732141278544 140107195302920 140107175150942 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18189] ppid=18185 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18189/stat : 18189 (java) S 18185 18185 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408305729 15508242432 7169 33554432000 4194304 4196468 140732141278544 140107143691024 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18190] ppid=18185 vsize=15144768 memory=140497808623232 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18190/stat : 18190 (java) S 18185 18185 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408305729 15508242432 7169 33554432000 4194304 4196468 140732141278544 140107142638480 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18191] ppid=18185 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18191/stat : 18191 (java) S 18185 18185 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408305729 15508242432 7169 33554432000 4194304 4196468 140732141278544 140107141585936 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18192] ppid=18185 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18192/stat : 18192 (java) S 18185 18185 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408305729 15508242432 7169 33554432000 4194304 4196468 140732141278544 140107140533392 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18193] ppid=18185 vsize=15144768 memory=140497808623232 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18193/stat : 18193 (java) S 18185 18185 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408305731 15508242432 7169 33554432000 4194304 4196468 140732141278544 140106659629040 140107191081602 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18194] ppid=18185 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18194/stat : 18194 (java) S 18185 18185 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408305731 15508242432 7235 33554432000 4194304 4196468 140732141278544 140106658575264 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18195] ppid=18185 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18195/stat : 18195 (java) S 18185 18185 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408305731 15508242432 7235 33554432000 4194304 4196468 140732141278544 140106657522672 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18196] ppid=18185 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18196/stat : 18196 (java) S 18185 18185 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408305734 15508242432 7235 33554432000 4194304 4196468 140732141278544 140106656471248 140107191089051 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18197] ppid=18185 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18197/stat : 18197 (java) R 18185 18185 6753 0 -1 4202560 333 0 0 0 0 0 0 0 20 0 15 0 408305734 15508242432 7235 33554432000 4194304 4196468 140732141278544 140106655418864 140107168903312 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18198] ppid=18185 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18198/stat : 18198 (java) R 18185 18185 6753 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 408305734 15508242432 7235 33554432000 4194304 4196468 140732141278544 140106654366320 140107191081602 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18199] ppid=18185 vsize=15144768 memory=140497808623232 CPUtime=0.02 cores=0,2,4,6
/proc/18187/task/18199/stat : 18199 (java) S 18185 18185 6753 0 -1 1077944384 368 0 0 0 2 0 0 0 20 0 15 0 408305734 15508242432 7235 33554432000 4194304 4196468 140732141278544 140106653313776 140107191081602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18200] ppid=18185 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18200/stat : 18200 (java) S 18185 18185 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408305734 15508242432 7235 33554432000 4194304 4196468 140732141278544 140106652261472 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18201] ppid=18185 vsize=15144768 memory=140497808623232 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18201/stat : 18201 (java) S 18185 18185 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408305734 15508242432 7235 33554432000 4194304 4196468 140732141278544 140106651207984 140107191081602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30124 KiB
[startup+0.213907 s]*
/proc/loadavg: 8.72 8.69 8.42 8/233 18201
/proc/meminfo: memFree=31021592/32770624 swapFree=66979540/67108860
[pid=18185] ppid=18182 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/18185/stat : 18185 (xcsp3-exec) S 18182 18185 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408305728 115843072 362 33554432000 4194304 5098028 140725930934448 140725930932552 140010542404220 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19251200 140725930943354 140725930943597 140725930943597 140725930946506 0
/proc/18185/statm: 28282 362 304 221 0 87 0
[pid=18187] ppid=18185 vsize=15144768 memory=40960 CPUtime=0.35 cores=0,2,4,6
/proc/18187/stat : 18187 (java) S 18185 18185 6753 0 -1 1077944320 9452 0 0 0 32 3 0 0 20 0 15 0 408305728 15508242432 10240 33554432000 4194304 4196468 140732141278544 140732141261088 140107191070455 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
/proc/18187/statm: 3786192 10240 3303 1 0 3748377 0
[pid=18187/tid=18188] ppid=18185 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/18187/task/18188/stat : 18188 (java) R 18185 18185 6753 0 -1 4202560 6606 0 0 0 18 2 0 0 20 0 15 0 408305728 15508242432 10240 33554432000 4194304 4196468 140732141278544 140107195303632 140107175150942 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18189] ppid=18185 vsize=15144768 memory=2995868 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18189/stat : 18189 (java) S 18185 18185 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408305729 15508242432 10240 33554432000 4194304 4196468 140732141278544 140107143691024 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18190] ppid=18185 vsize=15144768 memory=140497808641448 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18190/stat : 18190 (java) S 18185 18185 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408305729 15508242432 10240 33554432000 4194304 4196468 140732141278544 140107142638480 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18191] ppid=18185 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18191/stat : 18191 (java) S 18185 18185 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408305729 15508242432 10240 33554432000 4194304 4196468 140732141278544 140107141585936 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18192] ppid=18185 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18192/stat : 18192 (java) S 18185 18185 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408305729 15508242432 10240 33554432000 4194304 4196468 140732141278544 140107140533392 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18193] ppid=18185 vsize=15144768 memory=140497808623232 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18193/stat : 18193 (java) S 18185 18185 6753 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 408305731 15508242432 10240 33554432000 4194304 4196468 140732141278544 140106659629040 140107191081602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18194] ppid=18185 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18194/stat : 18194 (java) S 18185 18185 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408305731 15508242432 10240 33554432000 4194304 4196468 140732141278544 140106658575264 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18195] ppid=18185 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18195/stat : 18195 (java) S 18185 18185 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408305731 15508242432 10240 33554432000 4194304 4196468 140732141278544 140106657522672 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18196] ppid=18185 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18196/stat : 18196 (java) S 18185 18185 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408305734 15508242432 10240 33554432000 4194304 4196468 140732141278544 140106656471248 140107191089051 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18197] ppid=18185 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18187/task/18197/stat : 18197 (java) S 18185 18185 6753 0 -1 1077944384 381 0 0 0 2 0 0 0 20 0 15 0 408305734 15508242432 10240 33554432000 4194304 4196468 140732141278544 140106655418864 140107191081602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18198] ppid=18185 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/18187/task/18198/stat : 18198 (java) S 18185 18185 6753 0 -1 1077944384 370 0 0 0 2 0 0 0 20 0 15 0 408305734 15508242432 10240 33554432000 4194304 4196468 140732141278544 140106654366320 140107191081602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18199] ppid=18185 vsize=15144768 memory=140497808623232 CPUtime=0.08 cores=0,2,4,6
/proc/18187/task/18199/stat : 18199 (java) S 18185 18185 6753 0 -1 1077944384 794 0 0 0 8 0 0 0 20 0 15 0 408305734 15508242432 10240 33554432000 4194304 4196468 140732141278544 140106653313776 140107191081602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18200] ppid=18185 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18200/stat : 18200 (java) S 18185 18185 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408305734 15508242432 10240 33554432000 4194304 4196468 140732141278544 140106652261472 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18201] ppid=18185 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18201/stat : 18201 (java) S 18185 18185 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408305734 15508242432 10240 33554432000 4194304 4196468 140732141278544 140106651207984 140107191081602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42408 KiB
[startup+0.312213 s]*
/proc/loadavg: 8.72 8.69 8.42 9/233 18201
/proc/meminfo: memFree=31014612/32770624 swapFree=66979540/67108860
[pid=18185] ppid=18182 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/18185/stat : 18185 (xcsp3-exec) S 18182 18185 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408305728 115843072 362 33554432000 4194304 5098028 140725930934448 140725930932552 140010542404220 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19251200 140725930943354 140725930943597 140725930943597 140725930946506 0
/proc/18185/statm: 28282 362 304 221 0 87 0
[pid=18187] ppid=18185 vsize=15149024 memory=49972 CPUtime=0.54 cores=0,2,4,6
/proc/18187/stat : 18187 (java) S 18185 18185 6753 0 -1 1077944320 10861 0 0 0 50 4 0 0 20 0 15 0 408305728 15512600576 12493 33554432000 4194304 4196468 140732141278544 140732141261088 140107191070455 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
/proc/18187/statm: 3787256 12493 3365 1 0 3748377 0
[pid=18187/tid=18188] ppid=18185 vsize=15149024 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/18187/task/18188/stat : 18188 (java) R 18185 18185 6753 0 -1 4202560 7780 0 0 0 28 2 0 0 20 0 15 0 408305728 15512600576 12558 33554432000 4194304 4196468 140732141278544 140107195304240 140107175150942 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18189] ppid=18185 vsize=15149024 memory=2996209 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18189/stat : 18189 (java) S 18185 18185 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408305729 15512600576 12558 33554432000 4194304 4196468 140732141278544 140107143691024 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18190] ppid=18185 vsize=15149024 memory=3161056 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18190/stat : 18190 (java) S 18185 18185 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408305729 15512600576 12562 33554432000 4194304 4196468 140732141278544 140107142638480 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18191] ppid=18185 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18191/stat : 18191 (java) S 18185 18185 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408305729 15512600576 12562 33554432000 4194304 4196468 140732141278544 140107141585936 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18192] ppid=18185 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18192/stat : 18192 (java) S 18185 18185 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408305729 15512600576 12562 33554432000 4194304 4196468 140732141278544 140107140533392 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18193] ppid=18185 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18193/stat : 18193 (java) S 18185 18185 6753 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 408305731 15512600576 12562 33554432000 4194304 4196468 140732141278544 140106659629040 140107191081602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18194] ppid=18185 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18194/stat : 18194 (java) S 18185 18185 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408305731 15512600576 12562 33554432000 4194304 4196468 140732141278544 140106658575264 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18195] ppid=18185 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18195/stat : 18195 (java) S 18185 18185 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408305731 15512600576 12562 33554432000 4194304 4196468 140732141278544 140106657522672 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18196] ppid=18185 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18196/stat : 18196 (java) S 18185 18185 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408305734 15512600576 12562 33554432000 4194304 4196468 140732141278544 140106656471248 140107191089051 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18197] ppid=18185 vsize=15149024 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/18187/task/18197/stat : 18197 (java) R 18185 18185 6753 0 -1 4202560 510 0 0 0 5 0 0 0 20 0 15 0 408305734 15512600576 12562 33554432000 4194304 4196468 140732141278544 140106655409248 140107172613747 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18198] ppid=18185 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/18187/task/18198/stat : 18198 (java) S 18185 18185 6753 0 -1 1077944384 379 0 0 0 4 0 0 0 20 0 15 0 408305734 15512600576 12562 33554432000 4194304 4196468 140732141278544 140106654366320 140107191081602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18199] ppid=18185 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/18187/task/18199/stat : 18199 (java) S 18185 18185 6753 0 -1 1077944384 893 0 0 0 12 0 0 0 20 0 15 0 408305734 15512600576 12562 33554432000 4194304 4196468 140732141278544 140106653313776 140107191081602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18200] ppid=18185 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18200/stat : 18200 (java) S 18185 18185 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408305734 15512600576 12562 33554432000 4194304 4196468 140732141278544 140106652261472 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18201] ppid=18185 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18201/stat : 18201 (java) S 18185 18185 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408305734 15512600576 12562 33554432000 4194304 4196468 140732141278544 140106651207984 140107191081602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51420 KiB
[startup+0.700842 s]
/proc/loadavg: 8.72 8.69 8.42 7/233 18201
/proc/meminfo: memFree=30995016/32770624 swapFree=66979540/67108860
[pid=18185] ppid=18182 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/18185/stat : 18185 (xcsp3-exec) S 18182 18185 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408305728 115843072 362 33554432000 4194304 5098028 140725930934448 140725930932552 140010542404220 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19251200 140725930943354 140725930943597 140725930943597 140725930946506 0
/proc/18185/statm: 28282 362 304 221 0 87 0
[pid=18187] ppid=18185 vsize=15151148 memory=115124 CPUtime=1.7 cores=0,2,4,6
/proc/18187/stat : 18187 (java) S 18185 18185 6753 0 -1 1077944320 13779 0 0 0 165 5 0 0 20 0 15 0 408305728 15514775552 28781 33554432000 4194304 4196468 140732141278544 140732141261088 140107191070455 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
/proc/18187/statm: 3787787 28781 3453 1 0 3748889 0
[pid=18187/tid=18188] ppid=18185 vsize=15151148 memory=1787444593921 CPUtime=0.68 cores=0,2,4,6
/proc/18187/task/18188/stat : 18188 (java) R 18185 18185 6753 0 -1 4202560 8356 0 0 0 65 3 0 0 20 0 15 0 408305728 15514775552 28781 33554432000 4194304 4196468 140732141278544 140107195305680 140106819882685 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18189] ppid=18185 vsize=15151148 memory=512 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18189/stat : 18189 (java) S 18185 18185 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408305729 15514775552 28781 33554432000 4194304 4196468 140732141278544 140107143691024 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18190] ppid=18185 vsize=15151148 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18190/stat : 18190 (java) S 18185 18185 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408305729 15514775552 28781 33554432000 4194304 4196468 140732141278544 140107142638480 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18191] ppid=18185 vsize=15151148 memory=928 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18191/stat : 18191 (java) S 18185 18185 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408305729 15514775552 28781 33554432000 4194304 4196468 140732141278544 140107141585936 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18192] ppid=18185 vsize=15151148 memory=3772 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18192/stat : 18192 (java) S 18185 18185 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408305729 15514775552 28781 33554432000 4194304 4196468 140732141278544 140107140533392 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18193] ppid=18185 vsize=15151148 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18193/stat : 18193 (java) S 18185 18185 6753 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 408305731 15514775552 28781 33554432000 4194304 4196468 140732141278544 140106659629040 140107191081602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18194] ppid=18185 vsize=15151148 memory=920 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18194/stat : 18194 (java) S 18185 18185 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408305731 15514775552 28781 33554432000 4194304 4196468 140732141278544 140106658575264 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18195] ppid=18185 vsize=15151148 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18195/stat : 18195 (java) S 18185 18185 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408305731 15514775552 28781 33554432000 4194304 4196468 140732141278544 140106657522672 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18196] ppid=18185 vsize=15151148 memory=2404 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18196/stat : 18196 (java) S 18185 18185 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408305734 15514775552 28781 33554432000 4194304 4196468 140732141278544 140106656471248 140107191089051 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18197] ppid=18185 vsize=15151148 memory=1764 CPUtime=0.35 cores=0,2,4,6
/proc/18187/task/18197/stat : 18197 (java) S 18185 18185 6753 0 -1 1077944384 1234 0 0 0 35 0 0 0 20 0 15 0 408305734 15514775552 28781 33554432000 4194304 4196468 140732141278544 140106655418864 140107191081602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18198] ppid=18185 vsize=15151148 memory=111632 CPUtime=0.32 cores=0,2,4,6
/proc/18187/task/18198/stat : 18198 (java) S 18185 18185 6753 0 -1 1077944384 1178 0 0 0 32 0 0 0 20 0 15 0 408305734 15514775552 28781 33554432000 4194304 4196468 140732141278544 140106654366320 140107191081602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18199] ppid=18185 vsize=15151148 memory=804 CPUtime=0.31 cores=0,2,4,6
/proc/18187/task/18199/stat : 18199 (java) S 18185 18185 6753 0 -1 1077944384 1703 0 0 0 31 0 0 0 20 0 15 0 408305734 15514775552 28781 33554432000 4194304 4196468 140732141278544 140106653313776 140107191081602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18200] ppid=18185 vsize=15151148 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18200/stat : 18200 (java) S 18185 18185 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408305734 15514775552 28781 33554432000 4194304 4196468 140732141278544 140106652261472 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18201] ppid=18185 vsize=15151148 memory=924 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18201/stat : 18201 (java) S 18185 18185 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408305734 15514775552 28781 33554432000 4194304 4196468 140732141278544 140106651207984 140107191081602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 116572 KiB
[startup+1.50127 s]
/proc/loadavg: 8.72 8.69 8.42 6/233 18201
/proc/meminfo: memFree=30874980/32770624 swapFree=66979540/67108860
[pid=18185] ppid=18182 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/18185/stat : 18185 (xcsp3-exec) S 18182 18185 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408305728 115843072 362 33554432000 4194304 5098028 140725930934448 140725930932552 140010542404220 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19251200 140725930943354 140725930943597 140725930943597 140725930946506 0
/proc/18185/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/18187/stat : 18187 (java) S 18185 18185 6753 0 -1 1077944320 121827 0 0 0 206065 136 0 0 20 0 19 0 408305728 15789518848 494730 33554432000 4194304 4196468 140732141278544 140732141261088 140107191070455 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
/proc/18187/statm: 3854863 494730 3551 1 0 3815965 0
[pid=18187/tid=18188] ppid=18185 vsize=15419452 memory=1448 CPUtime=7.77 cores=0,2,4,6
/proc/18187/task/18188/stat : 18188 (java) S 18185 18185 6753 0 -1 1077944384 12956 0 0 0 760 17 0 0 20 0 19 0 408305728 15789518848 494730 33554432000 4194304 4196468 140732141278544 140107195311232 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18189] ppid=18185 vsize=15419452 memory=1978920 CPUtime=1.45 cores=0,2,4,6
/proc/18187/task/18189/stat : 18189 (java) S 18185 18185 6753 0 -1 1077944384 899 0 0 0 119 26 0 0 20 0 19 0 408305729 15789518848 494730 33554432000 4194304 4196468 140732141278544 140107143691024 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18190] ppid=18185 vsize=15419452 memory=1448 CPUtime=1.47 cores=0,2,4,6
/proc/18187/task/18190/stat : 18190 (java) S 18185 18185 6753 0 -1 1077944384 1297 0 0 0 121 26 0 0 20 0 19 0 408305729 15789518848 494730 33554432000 4194304 4196468 140732141278544 140107142638480 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18191] ppid=18185 vsize=15419452 memory=1978920 CPUtime=1.45 cores=0,2,4,6
/proc/18187/task/18191/stat : 18191 (java) S 18185 18185 6753 0 -1 1077944384 1548 0 0 0 119 26 0 0 20 0 19 0 408305729 15789518848 494730 33554432000 4194304 4196468 140732141278544 140107141585936 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18192] ppid=18185 vsize=15419452 memory=1978920 CPUtime=1.46 cores=0,2,4,6
/proc/18187/task/18192/stat : 18192 (java) S 18185 18185 6753 0 -1 1077944384 1030 0 0 0 121 25 0 0 20 0 19 0 408305729 15789518848 494730 33554432000 4194304 4196468 140732141278544 140107140533392 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18193] ppid=18185 vsize=15419452 memory=1978920 CPUtime=0.07 cores=0,2,4,6
/proc/18187/task/18193/stat : 18193 (java) S 18185 18185 6753 0 -1 1077944384 3274 0 0 0 6 1 0 0 20 0 19 0 408305731 15789518848 494730 33554432000 4194304 4196468 140732141278544 140106659629040 140107191081602 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18194] ppid=18185 vsize=15419452 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18194/stat : 18194 (java) S 18185 18185 6753 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 408305731 15789518848 494730 33554432000 4194304 4196468 140732141278544 140106658575328 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18195] ppid=18185 vsize=15419452 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18195/stat : 18195 (java) S 18185 18185 6753 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 408305731 15789518848 494730 33554432000 4194304 4196468 140732141278544 140106657522688 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18196] ppid=18185 vsize=15419452 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18196/stat : 18196 (java) S 18185 18185 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408305734 15789518848 494730 33554432000 4194304 4196468 140732141278544 140106656471248 140107191089051 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18197] ppid=18185 vsize=15419452 memory=0 CPUtime=4.77 cores=0,2,4,6
/proc/18187/task/18197/stat : 18197 (java) S 18185 18185 6753 0 -1 1077944384 23448 0 0 0 475 2 0 0 20 0 19 0 408305734 15789518848 494730 33554432000 4194304 4196468 140732141278544 140106655418864 140107191081602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18198] ppid=18185 vsize=15419452 memory=1448 CPUtime=5.01 cores=0,2,4,6
/proc/18187/task/18198/stat : 18198 (java) S 18185 18185 6753 0 -1 1077944384 30994 0 0 0 499 2 0 0 20 0 19 0 408305734 15789518848 494730 33554432000 4194304 4196468 140732141278544 140106654366320 140107191081602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18199] ppid=18185 vsize=15419452 memory=1978920 CPUtime=0.98 cores=0,2,4,6
/proc/18187/task/18199/stat : 18199 (java) S 18185 18185 6753 0 -1 1077944384 15515 0 0 0 96 2 0 0 20 0 19 0 408305734 15789518848 494730 33554432000 4194304 4196468 140732141278544 140106653313776 140107191081602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18200] ppid=18185 vsize=15419452 memory=1978920 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18200/stat : 18200 (java) S 18185 18185 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408305734 15789518848 494730 33554432000 4194304 4196468 140732141278544 140106652261472 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18201] ppid=18185 vsize=15419452 memory=1448 CPUtime=0.16 cores=0,2,4,6
/proc/18187/task/18201/stat : 18201 (java) S 18185 18185 6753 0 -1 1077944384 1688 0 0 0 12 4 0 0 20 0 19 0 408305734 15789518848 494730 33554432000 4194304 4196468 140732141278544 140106651207984 140107191081602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18204] ppid=18185 vsize=15419452 memory=1448 CPUtime=507.6 cores=0,2,4,6
/proc/18187/task/18204/stat : 18204 (java) R 18185 18185 6753 0 -1 4202560 6117 0 0 0 50760 0 0 0 20 0 19 0 408306665 15789518848 494730 33554432000 4194304 4196468 140732141278544 140106641996616 140106821429262 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18205] ppid=18185 vsize=15419452 memory=1978920 CPUtime=510.05 cores=0,2,4,6
/proc/18187/task/18205/stat : 18205 (java) R 18185 18185 6753 0 -1 4202560 11104 0 0 0 51004 1 0 0 20 0 19 0 408306665 15789518848 494730 33554432000 4194304 4196468 140732141278544 140106640945176 140106825839997 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18206] ppid=18185 vsize=15419452 memory=16936 CPUtime=508.34 cores=0,2,4,6
/proc/18187/task/18206/stat : 18206 (java) R 18185 18185 6753 0 -1 4202560 6094 0 0 0 50834 0 0 0 20 0 19 0 408306665 15789518848 494730 33554432000 4194304 4196468 140732141278544 140106639892632 140106821429222 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18207] ppid=18185 vsize=15419452 memory=2004 CPUtime=511.26 cores=0,2,4,6
/proc/18187/task/18207/stat : 18207 (java) R 18185 18185 6753 0 -1 4202560 4505 0 0 0 51126 0 0 0 20 0 19 0 408306665 15789518848 494730 33554432000 4194304 4196468 140732141278544 140106638840072 140106821429311 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
Current children cumulated CPU time: 2062.01 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 1980368 KiB
[startup+582.301 s]
/proc/loadavg: 8.28 8.45 8.40 10/238 18420
/proc/meminfo: memFree=29128664/32770624 swapFree=66979556/67108860
[pid=18185] ppid=18182 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/18185/stat : 18185 (xcsp3-exec) S 18182 18185 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408305728 115843072 362 33554432000 4194304 5098028 140725930934448 140725930932552 140010542404220 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19251200 140725930943354 140725930943597 140725930943597 140725930946506 0
/proc/18185/statm: 28282 362 304 221 0 87 0
[pid=18187] ppid=18185 vsize=15419452 memory=1979348 CPUtime=2300.92 cores=0,2,4,6
/proc/18187/stat : 18187 (java) S 18185 18185 6753 0 -1 1077944320 127126 0 0 0 229956 136 0 0 20 0 19 0 408305728 15789518848 494837 33554432000 4194304 4196468 140732141278544 140732141261088 140107191070455 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
/proc/18187/statm: 3854863 494837 3551 1 0 3815965 0
[pid=18187/tid=18188] ppid=18185 vsize=15419452 memory=1979348 CPUtime=7.77 cores=0,2,4,6
/proc/18187/task/18188/stat : 18188 (java) S 18185 18185 6753 0 -1 1077944384 12956 0 0 0 760 17 0 0 20 0 19 0 408305728 15789518848 494837 33554432000 4194304 4196468 140732141278544 140107195311232 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18189] ppid=18185 vsize=15419452 memory=1979348 CPUtime=1.45 cores=0,2,4,6
/proc/18187/task/18189/stat : 18189 (java) S 18185 18185 6753 0 -1 1077944384 899 0 0 0 119 26 0 0 20 0 19 0 408305729 15789518848 494837 33554432000 4194304 4196468 140732141278544 140107143691024 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18190] ppid=18185 vsize=15419452 memory=1448 CPUtime=1.47 cores=0,2,4,6
/proc/18187/task/18190/stat : 18190 (java) S 18185 18185 6753 0 -1 1077944384 1297 0 0 0 121 26 0 0 20 0 19 0 408305729 15789518848 494837 33554432000 4194304 4196468 140732141278544 140107142638480 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18191] ppid=18185 vsize=15419452 memory=0 CPUtime=1.45 cores=0,2,4,6
/proc/18187/task/18191/stat : 18191 (java) S 18185 18185 6753 0 -1 1077944384 1548 0 0 0 119 26 0 0 20 0 19 0 408305729 15789518848 494837 33554432000 4194304 4196468 140732141278544 140107141585936 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18192] ppid=18185 vsize=15419452 memory=385 CPUtime=1.46 cores=0,2,4,6
/proc/18187/task/18192/stat : 18192 (java) S 18185 18185 6753 0 -1 1077944384 1030 0 0 0 121 25 0 0 20 0 19 0 408305729 15789518848 494837 33554432000 4194304 4196468 140732141278544 140107140533392 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18193] ppid=18185 vsize=15419452 memory=1448 CPUtime=0.07 cores=0,2,4,6
/proc/18187/task/18193/stat : 18193 (java) S 18185 18185 6753 0 -1 1077944384 3358 0 0 0 6 1 0 0 20 0 19 0 408305731 15789518848 494837 33554432000 4194304 4196468 140732141278544 140106659629040 140107191081602 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18194] ppid=18185 vsize=15419452 memory=1978920 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18194/stat : 18194 (java) S 18185 18185 6753 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 408305731 15789518848 494837 33554432000 4194304 4196468 140732141278544 140106658575328 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18195] ppid=18185 vsize=15419452 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18195/stat : 18195 (java) S 18185 18185 6753 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 408305731 15789518848 494837 33554432000 4194304 4196468 140732141278544 140106657522688 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18196] ppid=18185 vsize=15419452 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18196/stat : 18196 (java) S 18185 18185 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408305734 15789518848 494837 33554432000 4194304 4196468 140732141278544 140106656471248 140107191089051 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18197] ppid=18185 vsize=15419452 memory=1979348 CPUtime=4.79 cores=0,2,4,6
/proc/18187/task/18197/stat : 18197 (java) S 18185 18185 6753 0 -1 1077944384 24319 0 0 0 477 2 0 0 20 0 19 0 408305734 15789518848 494837 33554432000 4194304 4196468 140732141278544 140106655418864 140107191081602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18198] ppid=18185 vsize=15419452 memory=1979348 CPUtime=5.04 cores=0,2,4,6
/proc/18187/task/18198/stat : 18198 (java) S 18185 18185 6753 0 -1 1077944384 32140 0 0 0 502 2 0 0 20 0 19 0 408305734 15789518848 494837 33554432000 4194304 4196468 140732141278544 140106654366320 140107191081602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18199] ppid=18185 vsize=15419452 memory=1448 CPUtime=0.98 cores=0,2,4,6
/proc/18187/task/18199/stat : 18199 (java) S 18185 18185 6753 0 -1 1077944384 16392 0 0 0 96 2 0 0 20 0 19 0 408305734 15789518848 494837 33554432000 4194304 4196468 140732141278544 140106653313776 140107191081602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18200] ppid=18185 vsize=15419452 memory=1979348 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18200/stat : 18200 (java) S 18185 18185 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408305734 15789518848 494837 33554432000 4194304 4196468 140732141278544 140106652261472 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18201] ppid=18185 vsize=15419452 memory=3620 CPUtime=0.18 cores=0,2,4,6
/proc/18187/task/18201/stat : 18201 (java) S 18185 18185 6753 0 -1 1077944384 1732 0 0 0 14 4 0 0 20 0 19 0 408305734 15789518848 494837 33554432000 4194304 4196468 140732141278544 140106651207984 140107191081602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18204] ppid=18185 vsize=15419452 memory=16936 CPUtime=567.57 cores=0,2,4,6
/proc/18187/task/18204/stat : 18204 (java) R 18185 18185 6753 0 -1 4202560 6485 0 0 0 56757 0 0 0 20 0 19 0 408306665 15789518848 494837 33554432000 4194304 4196468 140732141278544 140106641996616 140106825861077 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18205] ppid=18185 vsize=15419452 memory=5784 CPUtime=570.01 cores=0,2,4,6
/proc/18187/task/18205/stat : 18205 (java) R 18185 18185 6753 0 -1 4202560 12021 0 0 0 57000 1 0 0 20 0 19 0 408306665 15789518848 494837 33554432000 4194304 4196468 140732141278544 140106640944984 140106825860951 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18206] ppid=18185 vsize=15419452 memory=512 CPUtime=567.27 cores=0,2,4,6
/proc/18187/task/18206/stat : 18206 (java) R 18185 18185 6753 0 -1 4202560 6440 0 0 0 56727 0 0 0 20 0 19 0 408306665 15789518848 494837 33554432000 4194304 4196468 140732141278544 140106639892632 140106821953652 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18207] ppid=18185 vsize=15419452 memory=-3622645143214314312 CPUtime=571.23 cores=0,2,4,6
/proc/18187/task/18207/stat : 18207 (java) R 18185 18185 6753 0 -1 4202560 5151 0 0 0 57123 0 0 0 20 0 19 0 408306665 15789518848 494837 33554432000 4194304 4196468 140732141278544 140106638839648 140106821429279 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
Current children cumulated CPU time: 2300.92 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 1980796 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+637.401 s]
/proc/loadavg: 8.55 8.49 8.42 9/239 18426
/proc/meminfo: memFree=29198488/32770624 swapFree=66979556/67108860
[pid=18185] ppid=18182 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/18185/stat : 18185 (xcsp3-exec) S 18182 18185 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408305728 115843072 362 33554432000 4194304 5098028 140725930934448 140725930932552 140010542404220 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19251200 140725930943354 140725930943597 140725930943597 140725930946506 0
/proc/18185/statm: 28282 362 304 221 0 87 0
[pid=18187] ppid=18185 vsize=15419452 memory=1980448 CPUtime=2520.3 cores=0,2,4,6
/proc/18187/stat : 18187 (java) S 18185 18185 6753 0 -1 1077944320 129743 0 0 0 251894 136 0 0 20 0 19 0 408305728 15789518848 495112 33554432000 4194304 4196468 140732141278544 140732141261088 140107191070455 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
/proc/18187/statm: 3854863 495112 3551 1 0 3815965 0
[pid=18187/tid=18188] ppid=18185 vsize=15419452 memory=1448 CPUtime=7.77 cores=0,2,4,6
/proc/18187/task/18188/stat : 18188 (java) S 18185 18185 6753 0 -1 1077944384 12956 0 0 0 760 17 0 0 20 0 19 0 408305728 15789518848 495112 33554432000 4194304 4196468 140732141278544 140107195311232 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18189] ppid=18185 vsize=15419452 memory=6791534058613427641 CPUtime=1.45 cores=0,2,4,6
/proc/18187/task/18189/stat : 18189 (java) S 18185 18185 6753 0 -1 1077944384 899 0 0 0 119 26 0 0 20 0 19 0 408305729 15789518848 495112 33554432000 4194304 4196468 140732141278544 140107143691024 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18190] ppid=18185 vsize=15419452 memory=1448 CPUtime=1.47 cores=0,2,4,6
/proc/18187/task/18190/stat : 18190 (java) S 18185 18185 6753 0 -1 1077944384 1297 0 0 0 121 26 0 0 20 0 19 0 408305729 15789518848 495112 33554432000 4194304 4196468 140732141278544 140107142638480 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18191] ppid=18185 vsize=15419452 memory=548888 CPUtime=1.45 cores=0,2,4,6
/proc/18187/task/18191/stat : 18191 (java) S 18185 18185 6753 0 -1 1077944384 1548 0 0 0 119 26 0 0 20 0 19 0 408305729 15789518848 495112 33554432000 4194304 4196468 140732141278544 140107141585936 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18192] ppid=18185 vsize=15419452 memory=1628 CPUtime=1.46 cores=0,2,4,6
/proc/18187/task/18192/stat : 18192 (java) S 18185 18185 6753 0 -1 1077944384 1030 0 0 0 121 25 0 0 20 0 19 0 408305729 15789518848 495112 33554432000 4194304 4196468 140732141278544 140107140533392 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18193] ppid=18185 vsize=15419452 memory=8317482817917895235 CPUtime=0.07 cores=0,2,4,6
/proc/18187/task/18193/stat : 18193 (java) S 18185 18185 6753 0 -1 1077944384 3364 0 0 0 6 1 0 0 20 0 19 0 408305731 15789518848 495112 33554432000 4194304 4196468 140732141278544 140106659629040 140107191081602 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18194] ppid=18185 vsize=15419452 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18194/stat : 18194 (java) S 18185 18185 6753 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 19 0 408305731 15789518848 495112 33554432000 4194304 4196468 140732141278544 140106658575328 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18195] ppid=18185 vsize=15419452 memory=111632 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18195/stat : 18195 (java) S 18185 18185 6753 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 408305731 15789518848 495112 33554432000 4194304 4196468 140732141278544 140106657522688 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18196] ppid=18185 vsize=15419452 memory=804 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18196/stat : 18196 (java) S 18185 18185 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408305734 15789518848 495112 33554432000 4194304 4196468 140732141278544 140106656471248 140107191089051 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18197] ppid=18185 vsize=15419452 memory=1808 CPUtime=4.79 cores=0,2,4,6
/proc/18187/task/18197/stat : 18197 (java) S 18185 18185 6753 0 -1 1077944384 25073 0 0 0 477 2 0 0 20 0 19 0 408305734 15789518848 495112 33554432000 4194304 4196468 140732141278544 140106655418864 140107191081602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18198] ppid=18185 vsize=15419452 memory=924 CPUtime=5.04 cores=0,2,4,6
/proc/18187/task/18198/stat : 18198 (java) S 18185 18185 6753 0 -1 1077944384 32276 0 0 0 502 2 0 0 20 0 19 0 408305734 15789518848 495112 33554432000 4194304 4196468 140732141278544 140106654366320 140107191081602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18199] ppid=18185 vsize=15419452 memory=3848 CPUtime=0.98 cores=0,2,4,6
/proc/18187/task/18199/stat : 18199 (java) S 18185 18185 6753 0 -1 1077944384 16396 0 0 0 96 2 0 0 20 0 19 0 408305734 15789518848 495112 33554432000 4194304 4196468 140732141278544 140106653313776 140107191081602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18200] ppid=18185 vsize=15419452 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/18187/task/18200/stat : 18200 (java) S 18185 18185 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408305734 15789518848 495112 33554432000 4194304 4196468 140732141278544 140106652261472 140107191080661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18201] ppid=18185 vsize=15419452 memory=1980448 CPUtime=0.2 cores=0,2,4,6
/proc/18187/task/18201/stat : 18201 (java) S 18185 18185 6753 0 -1 1077944384 1760 0 0 0 15 5 0 0 20 0 19 0 408305734 15789518848 495112 33554432000 4194304 4196468 140732141278544 140106651207984 140107191081602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18204] ppid=18185 vsize=15419452 memory=3772 CPUtime=622.65 cores=0,2,4,6
/proc/18187/task/18204/stat : 18204 (java) R 18185 18185 6753 0 -1 4202560 6684 0 0 0 62264 1 0 0 20 0 19 0 408306665 15789518848 495112 33554432000 4194304 4196468 140732141278544 140106641997176 140106821429222 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18205] ppid=18185 vsize=15419452 memory=1440 CPUtime=625.09 cores=0,2,4,6
/proc/18187/task/18205/stat : 18205 (java) R 18185 18185 6753 0 -1 4202560 12895 0 0 0 62508 1 0 0 20 0 19 0 408306665 15789518848 495112 33554432000 4194304 4196468 140732141278544 140106640945272 140106825860687 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18206] ppid=18185 vsize=15419452 memory=920 CPUtime=622.31 cores=0,2,4,6
/proc/18187/task/18206/stat : 18206 (java) R 18185 18185 6753 0 -1 4202560 6771 0 0 0 62231 0 0 0 20 0 19 0 408306665 15789518848 495112 33554432000 4194304 4196468 140732141278544 140106639892632 140106821429262 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
[pid=18187/tid=18207] ppid=18185 vsize=15419452 memory=1984 CPUtime=625.39 cores=0,2,4,6
/proc/18187/task/18207/stat : 18207 (java) R 18185 18185 6753 0 -1 4202560 5436 0 0 0 62539 0 0 0 20 0 19 0 408306665 15789518848 495112 33554432000 4194304 4196468 140732141278544 140106638840488 140106821429287 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36663296 140732141286383 140732141286554 140732141286554 140732141289423 0
Current children cumulated CPU time: 2520.3 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 1981896 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+637.424 s]
# the end of solver process 18185 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001162 s, system=0.001162 s
[startup+637.491 s]
# the end of solver process 18187 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.25 s, system=1.37944 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 637.491
CPU time (s): 2520.63
CPU user time (s): 2519.25
CPU system time (s): 1.37944
CPU usage (%): 395.398
Max. virtual memory (cumulated for all children) (KiB): 15532580
Max. memory (cumulated for all children) (KiB): 1989436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.25
system time used= 1.37944
maximum resident set size= 1988208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130878
page faults= 0
swaps= 0
block input operations= 0
block output operations= 872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18208
involuntary context switches= 36757
# summary of solver processes directly reported to runsolver:
# pid: 18185,18187
# total CPU time (s): 2520.63
# total CPU user time (s): 2519.25
# total CPU system time (s): 1.37944
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.85096 second user time and 7.39397 second system time
The end