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 (14784 MiB free)
memory of node 1: 16384 MiB (14943 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392967-1568319779/watcher-4392967-1568319779 -o /tmp/evaluation-result-4392967-1568319779/solver-4392967-1568319779 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568309633-14093 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1211849347 HOME/instance-4392967-1568319779.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=23212, runsolver pid=23209
Current StackSize limit: 8192 KiB
[startup+0.100065 s]*
/proc/loadavg: 7.54 7.83 7.96 7/234 23228
/proc/meminfo: memFree=30424916/32770624 swapFree=66996296/67108860
[pid=23212] ppid=23209 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23212/stat : 23212 (xcsp3-exec) S 23209 23212 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408232569 115843072 363 33554432000 4194304 5098028 140723901114672 140723901112776 140304398176892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39333888 140723901117306 140723901117549 140723901117549 140723901120458 0
/proc/23212/statm: 28282 363 304 221 0 87 0
[pid=23214] ppid=23212 vsize=15144768 memory=30080 CPUtime=0.1 cores=0,2,4,6
/proc/23214/stat : 23214 (java) S 23212 23212 14062 0 -1 1077944320 5473 0 0 0 9 1 0 0 20 0 15 0 408232569 15508242432 7520 33554432000 4194304 4196468 140722599860896 140722599843440 139705659105015 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
/proc/23214/statm: 3786192 7520 3119 1 0 3748377 0
[pid=23214/tid=23215] ppid=23212 vsize=15144768 memory=576460756329955459 CPUtime=0.08 cores=0,2,4,6
/proc/23214/task/23215/stat : 23215 (java) R 23212 23212 14062 0 -1 4202560 3386 0 0 0 7 1 0 0 20 0 15 0 408232569 15508242432 7520 33554432000 4194304 4196468 140722599860896 139705663327776 139705659116950 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23216] ppid=23212 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23216/stat : 23216 (java) S 23212 23212 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408232570 15508242432 7520 33554432000 4194304 4196468 140722599860896 139705624385936 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23217] ppid=23212 vsize=15144768 memory=3835289500878866080 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23217/stat : 23217 (java) S 23212 23212 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408232570 15508242432 7520 33554432000 4194304 4196468 140722599860896 139705250064656 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23218] ppid=23212 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23218/stat : 23218 (java) S 23212 23212 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408232570 15508242432 7520 33554432000 4194304 4196468 140722599860896 139705249012368 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23219] ppid=23212 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23219/stat : 23219 (java) S 23212 23212 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408232570 15508242432 7520 33554432000 4194304 4196468 140722599860896 139705247959568 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23220] ppid=23212 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23220/stat : 23220 (java) S 23212 23212 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408232572 15508242432 7520 33554432000 4194304 4196468 140722599860896 139705127631472 139705659116162 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23221] ppid=23212 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23221/stat : 23221 (java) S 23212 23212 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408232572 15508242432 7520 33554432000 4194304 4196468 140722599860896 139705126577440 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23222] ppid=23212 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23222/stat : 23222 (java) S 23212 23212 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408232572 15508242432 7520 33554432000 4194304 4196468 140722599860896 139705125525104 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23223] ppid=23212 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23223/stat : 23223 (java) S 23212 23212 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408232575 15508242432 7520 33554432000 4194304 4196468 140722599860896 139705124473424 139705659123611 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23224] ppid=23212 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23224/stat : 23224 (java) R 23212 23212 14062 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 408232575 15508242432 7520 33554432000 4194304 4196468 140722599860896 139705123420272 139705659116162 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23225] ppid=23212 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23225/stat : 23225 (java) S 23212 23212 14062 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 408232575 15508242432 7520 33554432000 4194304 4196468 140722599860896 139705122367472 139705659116162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23226] ppid=23212 vsize=15144768 memory=139938182432384 CPUtime=0.01 cores=0,2,4,6
/proc/23214/task/23226/stat : 23226 (java) R 23212 23212 14062 0 -1 4202560 351 0 0 0 1 0 0 0 20 0 15 0 408232575 15508242432 7520 33554432000 4194304 4196468 140722599860896 139705121315184 139705659126362 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23227] ppid=23212 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23227/stat : 23227 (java) S 23212 23212 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408232575 15508242432 7520 33554432000 4194304 4196468 140722599860896 139705120262624 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23228] ppid=23212 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23228/stat : 23228 (java) S 23212 23212 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408232576 15508242432 7520 33554432000 4194304 4196468 140722599860896 139705119210416 139705659116162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31532 KiB
[startup+0.211022 s]*
/proc/loadavg: 7.54 7.83 7.96 7/234 23228
/proc/meminfo: memFree=30411952/32770624 swapFree=66996296/67108860
[pid=23212] ppid=23209 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23212/stat : 23212 (xcsp3-exec) S 23209 23212 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408232569 115843072 363 33554432000 4194304 5098028 140723901114672 140723901112776 140304398176892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39333888 140723901117306 140723901117549 140723901117549 140723901120458 0
/proc/23212/statm: 28282 363 304 221 0 87 0
[pid=23214] ppid=23212 vsize=15144768 memory=41440 CPUtime=0.32 cores=0,2,4,6
/proc/23214/stat : 23214 (java) S 23212 23212 14062 0 -1 1077944320 9027 0 0 0 29 3 0 0 20 0 15 0 408232569 15508242432 10360 33554432000 4194304 4196468 140722599860896 140722599843440 139705659105015 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
/proc/23214/statm: 3786192 10360 3283 1 0 3748377 0
[pid=23214/tid=23215] ppid=23212 vsize=15144768 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/23214/task/23215/stat : 23215 (java) R 23212 23212 14062 0 -1 4202560 6190 0 0 0 17 2 0 0 20 0 15 0 408232569 15508242432 10360 33554432000 4194304 4196468 140722599860896 139705663336928 139705659116950 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23216] ppid=23212 vsize=15144768 memory=2669798 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23216/stat : 23216 (java) S 23212 23212 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408232570 15508242432 10360 33554432000 4194304 4196468 140722599860896 139705624385936 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23217] ppid=23212 vsize=15144768 memory=139938185278007 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23217/stat : 23217 (java) S 23212 23212 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408232570 15508242432 10360 33554432000 4194304 4196468 140722599860896 139705250064656 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23218] ppid=23212 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23218/stat : 23218 (java) S 23212 23212 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408232570 15508242432 10360 33554432000 4194304 4196468 140722599860896 139705249012368 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23219] ppid=23212 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23219/stat : 23219 (java) S 23212 23212 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408232570 15508242432 10360 33554432000 4194304 4196468 140722599860896 139705247959568 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23220] ppid=23212 vsize=15144768 memory=139938182432384 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23220/stat : 23220 (java) S 23212 23212 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408232572 15508242432 10360 33554432000 4194304 4196468 140722599860896 139705127631472 139705659116162 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23221] ppid=23212 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23221/stat : 23221 (java) S 23212 23212 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408232572 15508242432 10360 33554432000 4194304 4196468 140722599860896 139705126577440 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23222] ppid=23212 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23222/stat : 23222 (java) S 23212 23212 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408232572 15508242432 10360 33554432000 4194304 4196468 140722599860896 139705125525104 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23223] ppid=23212 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23223/stat : 23223 (java) S 23212 23212 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408232575 15508242432 10360 33554432000 4194304 4196468 140722599860896 139705124473424 139705659123611 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23224] ppid=23212 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23214/task/23224/stat : 23224 (java) S 23212 23212 14062 0 -1 1077944384 452 0 0 0 2 0 0 0 20 0 15 0 408232575 15508242432 10360 33554432000 4194304 4196468 140722599860896 139705123420272 139705659116162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23225] ppid=23212 vsize=15144768 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/23214/task/23225/stat : 23225 (java) S 23212 23212 14062 0 -1 1077944384 333 0 0 0 1 0 0 0 20 0 15 0 408232575 15508242432 10360 33554432000 4194304 4196468 140722599860896 139705122367472 139705659116162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23226] ppid=23212 vsize=15144768 memory=139938182432384 CPUtime=0.07 cores=0,2,4,6
/proc/23214/task/23226/stat : 23226 (java) R 23212 23212 14062 0 -1 4202560 745 0 0 0 7 0 0 0 20 0 15 0 408232575 15508242432 10360 33554432000 4194304 4196468 140722599860896 139705121310224 139705638034352 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23227] ppid=23212 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23227/stat : 23227 (java) S 23212 23212 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408232575 15508242432 10360 33554432000 4194304 4196468 140722599860896 139705120262624 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23228] ppid=23212 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23228/stat : 23228 (java) S 23212 23212 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408232576 15508242432 10360 33554432000 4194304 4196468 140722599860896 139705119210416 139705659116162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42892 KiB
[startup+0.311041 s]*
/proc/loadavg: 7.54 7.83 7.96 7/234 23228
/proc/meminfo: memFree=30406968/32770624 swapFree=66996296/67108860
[pid=23212] ppid=23209 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23212/stat : 23212 (xcsp3-exec) S 23209 23212 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408232569 115843072 363 33554432000 4194304 5098028 140723901114672 140723901112776 140304398176892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39333888 140723901117306 140723901117549 140723901117549 140723901120458 0
/proc/23212/statm: 28282 363 304 221 0 87 0
[pid=23214] ppid=23212 vsize=15149024 memory=49348 CPUtime=0.51 cores=0,2,4,6
/proc/23214/stat : 23214 (java) S 23212 23212 14062 0 -1 1077944320 10168 0 0 0 47 4 0 0 20 0 15 0 408232569 15512600576 12337 33554432000 4194304 4196468 140722599860896 140722599843440 139705659105015 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
/proc/23214/statm: 3787256 12337 3317 1 0 3748377 0
[pid=23214/tid=23215] ppid=23212 vsize=15149024 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/23214/task/23215/stat : 23215 (java) R 23212 23212 14062 0 -1 4202560 7205 0 0 0 27 2 0 0 20 0 15 0 408232569 15512600576 12337 33554432000 4194304 4196468 140722599860896 139705663336128 139705651783029 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23216] ppid=23212 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23216/stat : 23216 (java) S 23212 23212 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408232570 15512600576 12337 33554432000 4194304 4196468 140722599860896 139705624385936 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23217] ppid=23212 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23217/stat : 23217 (java) S 23212 23212 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408232570 15512600576 12337 33554432000 4194304 4196468 140722599860896 139705250064656 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23218] ppid=23212 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23218/stat : 23218 (java) S 23212 23212 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408232570 15512600576 12337 33554432000 4194304 4196468 140722599860896 139705249012368 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23219] ppid=23212 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23219/stat : 23219 (java) S 23212 23212 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408232570 15512600576 12337 33554432000 4194304 4196468 140722599860896 139705247959568 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23220] ppid=23212 vsize=15149024 memory=-7305852742256935071 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23220/stat : 23220 (java) S 23212 23212 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408232572 15512600576 12337 33554432000 4194304 4196468 140722599860896 139705127631472 139705659116162 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23221] ppid=23212 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23221/stat : 23221 (java) S 23212 23212 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408232572 15512600576 12337 33554432000 4194304 4196468 140722599860896 139705126577440 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23222] ppid=23212 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23222/stat : 23222 (java) S 23212 23212 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408232572 15512600576 12337 33554432000 4194304 4196468 140722599860896 139705125525104 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23223] ppid=23212 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23223/stat : 23223 (java) S 23212 23212 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408232575 15512600576 12337 33554432000 4194304 4196468 140722599860896 139705124473424 139705659123611 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23224] ppid=23212 vsize=15149024 memory=7827413994055111515 CPUtime=0.04 cores=0,2,4,6
/proc/23214/task/23224/stat : 23224 (java) S 23212 23212 14062 0 -1 1077944384 458 0 0 0 4 0 0 0 20 0 15 0 408232575 15512600576 12337 33554432000 4194304 4196468 140722599860896 139705123420272 139705659116162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23225] ppid=23212 vsize=15149024 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/23214/task/23225/stat : 23225 (java) R 23212 23212 14062 0 -1 4202560 369 0 0 0 3 0 0 0 20 0 15 0 408232575 15512600576 12337 33554432000 4194304 4196468 140722599860896 139705122357392 139705639805312 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23226] ppid=23212 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/23214/task/23226/stat : 23226 (java) R 23212 23212 14062 0 -1 4202560 833 0 0 0 12 0 0 0 20 0 15 0 408232575 15512600576 12337 33554432000 4194304 4196468 140722599860896 139705121315184 139705659126362 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23227] ppid=23212 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23227/stat : 23227 (java) S 23212 23212 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408232575 15512600576 12337 33554432000 4194304 4196468 140722599860896 139705120262624 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23228] ppid=23212 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23228/stat : 23228 (java) S 23212 23212 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408232576 15512600576 12337 33554432000 4194304 4196468 140722599860896 139705119210416 139705659116162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 50800 KiB
[startup+0.701541 s]
/proc/loadavg: 7.54 7.83 7.96 8/234 23228
/proc/meminfo: memFree=30387788/32770624 swapFree=66996296/67108860
[pid=23212] ppid=23209 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23212/stat : 23212 (xcsp3-exec) S 23209 23212 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408232569 115843072 363 33554432000 4194304 5098028 140723901114672 140723901112776 140304398176892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39333888 140723901117306 140723901117549 140723901117549 140723901120458 0
/proc/23212/statm: 28282 363 304 221 0 87 0
[pid=23214] ppid=23212 vsize=15151148 memory=89004 CPUtime=1.71 cores=0,2,4,6
/proc/23214/stat : 23214 (java) S 23212 23212 14062 0 -1 1077944320 15050 0 0 0 165 6 0 0 20 0 15 0 408232569 15514775552 22251 33554432000 4194304 4196468 140722599860896 140722599843440 139705659105015 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
/proc/23214/statm: 3787787 22251 3453 1 0 3748889 0
[pid=23214/tid=23215] ppid=23212 vsize=15151148 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/23214/task/23215/stat : 23215 (java) R 23212 23212 14062 0 -1 4202560 8361 0 0 0 63 4 0 0 20 0 15 0 408232569 15514775552 22251 33554432000 4194304 4196468 140722599860896 139705663341872 139705643185502 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23216] ppid=23212 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23216/stat : 23216 (java) S 23212 23212 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408232570 15514775552 22251 33554432000 4194304 4196468 140722599860896 139705624385936 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23217] ppid=23212 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23217/stat : 23217 (java) S 23212 23212 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408232570 15514775552 22251 33554432000 4194304 4196468 140722599860896 139705250064656 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23218] ppid=23212 vsize=15151148 memory=772 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23218/stat : 23218 (java) S 23212 23212 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408232570 15514775552 22251 33554432000 4194304 4196468 140722599860896 139705249012368 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23219] ppid=23212 vsize=15151148 memory=4008 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23219/stat : 23219 (java) S 23212 23212 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408232570 15514775552 22251 33554432000 4194304 4196468 140722599860896 139705247959568 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23220] ppid=23212 vsize=15151148 memory=948 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23220/stat : 23220 (java) S 23212 23212 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408232572 15514775552 22251 33554432000 4194304 4196468 140722599860896 139705127631472 139705659116162 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23221] ppid=23212 vsize=15151148 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23221/stat : 23221 (java) S 23212 23212 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408232572 15514775552 22251 33554432000 4194304 4196468 140722599860896 139705126577440 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23222] ppid=23212 vsize=15151148 memory=9404 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23222/stat : 23222 (java) S 23212 23212 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408232572 15514775552 22251 33554432000 4194304 4196468 140722599860896 139705125525104 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23223] ppid=23212 vsize=15151148 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23223/stat : 23223 (java) S 23212 23212 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408232575 15514775552 22251 33554432000 4194304 4196468 140722599860896 139705124473424 139705659123611 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23224] ppid=23212 vsize=15151148 memory=628 CPUtime=0.28 cores=0,2,4,6
/proc/23214/task/23224/stat : 23224 (java) R 23212 23212 14062 0 -1 4202560 1440 0 0 0 28 0 0 0 20 0 15 0 408232575 15514775552 22251 33554432000 4194304 4196468 140722599860896 139705123409888 139705638760241 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23225] ppid=23212 vsize=15151148 memory=1056 CPUtime=0.35 cores=0,2,4,6
/proc/23214/task/23225/stat : 23225 (java) R 23212 23212 14062 0 -1 4202560 1951 0 0 0 34 1 0 0 20 0 15 0 408232575 15514775552 22251 33554432000 4194304 4196468 140722599860896 139705122353496 139705640628738 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23226] ppid=23212 vsize=15151148 memory=1556 CPUtime=0.39 cores=0,2,4,6
/proc/23214/task/23226/stat : 23226 (java) R 23212 23212 14062 0 -1 4202560 1991 0 0 0 39 0 0 0 20 0 15 0 408232575 15514775552 22251 33554432000 4194304 4196468 140722599860896 139705121315184 139705659126362 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23227] ppid=23212 vsize=15151148 memory=5908 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23227/stat : 23227 (java) S 23212 23212 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408232575 15514775552 22251 33554432000 4194304 4196468 140722599860896 139705120262624 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23228] ppid=23212 vsize=15151148 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23228/stat : 23228 (java) S 23212 23212 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408232576 15514775552 22251 33554432000 4194304 4196468 140722599860896 139705119210416 139705659116162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 90456 KiB
[startup+1.50076 s]
/proc/loadavg: 7.33 7.78 7.94 9/234 23228
/proc/meminfo: memFree=30300792/32770624 swapFree=66996296/67108860
[pid=23212] ppid=23209 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23212/stat : 23212 (xcsp3-exec) S 23209 23212 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408232569 115843072 363 33554432000 4194304 5098028 140723901114672 140723901112776 140304398176892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39333888 140723901117306 140723901117549 140723901117549 140723901120458 0
/proc/23212/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/23214/task/23224/stat : 23224 (java) S 23212 23212 14062 0 -1 1077944384 7287 0 0 0 221 1 0 0 20 0 19 0 408232575 15789518848 61351 33554432000 4194304 4196468 140722599860896 139705123420272 139705659116162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 31 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23225] ppid=23212 vsize=15419452 memory=19876 CPUtime=2.06 cores=0,2,4,6
/proc/23214/task/23225/stat : 23225 (java) S 23212 23212 14062 0 -1 1077944384 6570 0 0 0 205 1 0 0 20 0 19 0 408232575 15789518848 61351 33554432000 4194304 4196468 140722599860896 139705122367472 139705659116162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23226] ppid=23212 vsize=15419452 memory=22084 CPUtime=0.81 cores=0,2,4,6
/proc/23214/task/23226/stat : 23226 (java) S 23212 23212 14062 0 -1 1077944384 5022 0 0 0 80 1 0 0 20 0 19 0 408232575 15789518848 61351 33554432000 4194304 4196468 140722599860896 139705121315184 139705659116162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 32 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23227] ppid=23212 vsize=15419452 memory=12024 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23227/stat : 23227 (java) S 23212 23212 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408232575 15789518848 61351 33554432000 4194304 4196468 140722599860896 139705120262624 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23228] ppid=23212 vsize=15419452 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23228/stat : 23228 (java) S 23212 23212 14062 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 19 0 408232576 15789518848 61351 33554432000 4194304 4196468 140722599860896 139705119210416 139705659116162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 30 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23229] ppid=23212 vsize=15419452 memory=500 CPUtime=12.6 cores=0,2,4,6
/proc/23214/task/23229/stat : 23229 (java) R 23212 23212 14062 0 -1 4202560 344 0 0 0 1260 0 0 0 20 0 19 0 408232676 15789518848 61351 33554432000 4194304 4196468 140722599860896 139705109998464 139705301216396 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23230] ppid=23212 vsize=15419452 memory=928 CPUtime=12.39 cores=0,2,4,6
/proc/23214/task/23230/stat : 23230 (java) R 23212 23212 14062 0 -1 4202560 1084 0 0 0 1239 0 0 0 20 0 19 0 408232676 15789518848 61351 33554432000 4194304 4196468 140722599860896 139705108947688 139705298730532 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23231] ppid=23212 vsize=15419452 memory=1528 CPUtime=12.69 cores=0,2,4,6
/proc/23214/task/23231/stat : 23231 (java) R 23212 23212 14062 0 -1 4202560 419 0 0 0 1268 1 0 0 20 0 19 0 408232676 15789518848 61351 33554432000 4194304 4196468 140722599860896 139705107894712 139705302722234 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23232] ppid=23212 vsize=15419452 memory=1448 CPUtime=12.64 cores=0,2,4,6
/proc/23214/task/23232/stat : 23232 (java) R 23212 23212 14062 0 -1 4202560 475 0 0 0 1264 0 0 0 20 0 19 0 408232676 15789518848 61351 33554432000 4194304 4196468 140722599860896 139705106840312 139705302169201 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
Current children cumulated CPU time: 56.73 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 246856 KiB
[startup+15.4015 s]
/proc/loadavg: 7.59 7.82 7.95 9/239 23234
/proc/meminfo: memFree=30205916/32770624 swapFree=66996296/67108860
[pid=23212] ppid=23209 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23212/stat : 23212 (xcsp3-exec) S 23209 23212 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408232569 115843072 363 33554432000 4194304 5098028 140723901114672 140723901112776 140304398176892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39333888 140723901117306 140723901117549 140723901117549 140723901120458 0
/proc/23212/statm: 28282 363 304 221 0 87 0
[pid=23214] ppid=23212 vsize=15419452 memory=245404 CPUtime=59.92 cores=0,2,4,6
/proc/23214/stat : 23214 (java) S 23212 23212 14062 0 -1 1077944320 35297 0 0 0 5973 19 0 0 20 0 19 0 408232569 15789518848 61351 33554432000 4194304 4196468 140722599860896 140722599843440 139705659105015 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
/proc/23214/statm: 3854863 61351 3530 1 0 3815965 0
[pid=23214/tid=23215] ppid=23212 vsize=15419452 memory=6791534058613427641 CPUtime=1.03 cores=0,2,4,6
/proc/23214/task/23215/stat : 23215 (java) S 23212 23212 14062 0 -1 1077944384 9599 0 0 0 98 5 0 0 20 0 19 0 408232569 15789518848 61351 33554432000 4194304 4196468 140722599860896 139705663345792 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23216] ppid=23212 vsize=15419452 memory=1452 CPUtime=0.04 cores=0,2,4,6
/proc/23214/task/23216/stat : 23216 (java) S 23212 23212 14062 0 -1 1077944384 264 0 0 0 3 1 0 0 20 0 19 0 408232570 15789518848 61351 33554432000 4194304 4196468 140722599860896 139705624385936 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23217] ppid=23212 vsize=15419452 memory=245404 CPUtime=0.04 cores=0,2,4,6
/proc/23214/task/23217/stat : 23217 (java) S 23212 23212 14062 0 -1 1077944384 249 0 0 0 3 1 0 0 20 0 19 0 408232570 15789518848 61351 33554432000 4194304 4196468 140722599860896 139705250064656 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23218] ppid=23212 vsize=15419452 memory=1452 CPUtime=0.04 cores=0,2,4,6
/proc/23214/task/23218/stat : 23218 (java) S 23212 23212 14062 0 -1 1077944384 580 0 0 0 3 1 0 0 20 0 19 0 408232570 15789518848 61351 33554432000 4194304 4196468 140722599860896 139705249012368 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23219] ppid=23212 vsize=15419452 memory=245372 CPUtime=0.04 cores=0,2,4,6
/proc/23214/task/23219/stat : 23219 (java) S 23212 23212 14062 0 -1 1077944384 1476 0 0 0 2 2 0 0 20 0 19 0 408232570 15789518848 61351 33554432000 4194304 4196468 140722599860896 139705247959568 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23220] ppid=23212 vsize=15419452 memory=1164 CPUtime=0.01 cores=0,2,4,6
/proc/23214/task/23220/stat : 23220 (java) S 23212 23212 14062 0 -1 1077944384 440 0 0 0 1 0 0 0 20 0 19 0 408232572 15789518848 61351 33554432000 4194304 4196468 140722599860896 139705127631472 139705659116162 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23221] ppid=23212 vsize=15419452 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23221/stat : 23221 (java) S 23212 23212 14062 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 408232572 15789518848 61351 33554432000 4194304 4196468 140722599860896 139705126577504 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23222] ppid=23212 vsize=15419452 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23222/stat : 23222 (java) S 23212 23212 14062 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 19 0 408232572 15789518848 61351 33554432000 4194304 4196468 140722599860896 139705125525120 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23223] ppid=23212 vsize=15419452 memory=245392 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23223/stat : 23223 (java) S 23212 23212 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408232575 15789518848 61351 33554432000 4194304 4196468 140722599860896 139705124473424 139705659123611 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23224] ppid=23212 vsize=15419452 memory=1128 CPUtime=2.22 cores=0,2,4,6
/proc/23214/task/23224/stat : 23224 (java) S 23212 23212 14062 0 -1 1077944384 7287 0 0 0 221 1 0 0 20 0 19 0 408232575 15789518848 61351 33554432000 4194304 4196468 140722599860896 139705123420272 139705659116162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 31 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23225] ppid=23212 vsize=15419452 memory=772 CPUtime=2.06 cores=0,2,4,6
/proc/23214/task/23225/stat : 23225 (java) S 23212 23212 14062 0 -1 1077944384 6570 0 0 0 205 1 0 0 20 0 19 0 408232575 15789518848 61351 33554432000 4194304 4196468 140722599860896 139705122367472 139705659116162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23226] ppid=23212 vsize=15419452 memory=2241 CPUtime=0.81 cores=0,2,4,6
/proc/23214/task/23226/stat : 23226 (java) S 23212 23212 14062 0 -1 1077944384 5022 0 0 0 80 1 0 0 20 0 19 0 408232575 15789518848 61351 33554432000 4194304 4196468 140722599860896 139705121315184 139705659116162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 32 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23227] ppid=23212 vsize=15419452 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23227/stat : 23227 (java) S 23212 23212 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408232575 15789518848 61351 33554432000 4194304 4196468 140722599860896 139705120262624 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23228] ppid=23212 vsize=15419452 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23228/stat : 23228 (java) S 23212 23212 14062 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 19 0 408232576 15789518848 61351 33554432000 4194304 4196468 140722599860896 139705119210416 139705659116162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 30 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23229] ppid=23212 vsize=15419452 memory=5791726317272917849 CPUtime=13.4 cores=0,2,4,6
/proc/23214/task/23229/stat : 23229 (java) R 23212 23212 14062 0 -1 4202560 344 0 0 0 1340 0 0 0 20 0 19 0 408232676 15789518848 61351 33554432000 4194304 4196468 140722599860896 139705109998464 139705302062793 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23230] ppid=23212 vsize=15419452 memory=5787213827348127825 CPUtime=13.19 cores=0,2,4,6
/proc/23214/task/23230/stat : 23230 (java) R 23212 23212 14062 0 -1 4202560 1089 0 0 0 1319 0 0 0 20 0 19 0 408232676 15789518848 61351 33554432000 4194304 4196468 140722599860896 139705108947688 139705301678369 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23231] ppid=23212 vsize=15419452 memory=7649399362773201714 CPUtime=13.49 cores=0,2,4,6
/proc/23214/task/23231/stat : 23231 (java) R 23212 23212 14062 0 -1 4202560 419 0 0 0 1348 1 0 0 20 0 19 0 408232676 15789518848 61351 33554432000 4194304 4196468 140722599860896 139705107894712 139705302874682 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23232] ppid=23212 vsize=15419452 memory=4294969648 CPUtime=13.42 cores=0,2,4,6
/proc/23214/task/23232/stat : 23232 (java) R 23212 23212 14062 0 -1 4202560 477 0 0 0 1342 0 0 0 20 0 19 0 408232676 15789518848 61351 33554432000 4194304 4196468 140722599860896 139705106840312 139705301216146 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
Current children cumulated CPU time: 59.92 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 246856 KiB
[startup+15.8015 s]
/proc/loadavg: 7.59 7.82 7.95 9/239 23234
/proc/meminfo: memFree=30205916/32770624 swapFree=66996296/67108860
[pid=23212] ppid=23209 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23212/stat : 23212 (xcsp3-exec) S 23209 23212 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408232569 115843072 363 33554432000 4194304 5098028 140723901114672 140723901112776 140304398176892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39333888 140723901117306 140723901117549 140723901117549 140723901120458 0
/proc/23212/statm: 28282 363 304 221 0 87 0
[pid=23214] ppid=23212 vsize=15419452 memory=245404 CPUtime=61.52 cores=0,2,4,6
/proc/23214/stat : 23214 (java) S 23212 23212 14062 0 -1 1077944320 35344 0 0 0 6133 19 0 0 20 0 19 0 408232569 15789518848 61351 33554432000 4194304 4196468 140722599860896 140722599843440 139705659105015 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
/proc/23214/statm: 3854863 61351 3530 1 0 3815965 0
[pid=23214/tid=23215] ppid=23212 vsize=15419452 memory=500 CPUtime=1.03 cores=0,2,4,6
/proc/23214/task/23215/stat : 23215 (java) S 23212 23212 14062 0 -1 1077944384 9599 0 0 0 98 5 0 0 20 0 19 0 408232569 15789518848 61351 33554432000 4194304 4196468 140722599860896 139705663345792 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23216] ppid=23212 vsize=15419452 memory=928 CPUtime=0.04 cores=0,2,4,6
/proc/23214/task/23216/stat : 23216 (java) S 23212 23212 14062 0 -1 1077944384 264 0 0 0 3 1 0 0 20 0 19 0 408232570 15789518848 61351 33554432000 4194304 4196468 140722599860896 139705624385936 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23217] ppid=23212 vsize=15419452 memory=1528 CPUtime=0.04 cores=0,2,4,6
/proc/23214/task/23217/stat : 23217 (java) S 23212 23212 14062 0 -1 1077944384 249 0 0 0 3 1 0 0 20 0 19 0 408232570 15789518848 61351 33554432000 4194304 4196468 140722599860896 139705250064656 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23218] ppid=23212 vsize=15419452 memory=1448 CPUtime=0.04 cores=0,2,4,6
/proc/23214/task/23218/stat : 23218 (java) S 23212 23212 14062 0 -1 1077944384 580 0 0 0 3 1 0 0 20 0 19 0 408232570 15789518848 61351 33554432000 4194304 4196468 140722599860896 139705249012368 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23219] ppid=23212 vsize=15419452 memory=876 CPUtime=0.04 cores=0,2,4,6
/proc/23214/task/23219/stat : 23219 (java) S 23212 23212 14062 0 -1 1077944384 1476 0 0 0 2 2 0 0 20 0 19 0 408232570 15789518848 61351 33554432000 4194304 4196468 140722599860896 139705247959568 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23220] ppid=23212 vsize=15419452 memory=1980 CPUtime=0.01 cores=0,2,4,6
/proc/23214/task/23220/stat : 23220 (java) S 23212 23212 14062 0 -1 1077944384 440 0 0 0 1 0 0 0 20 0 19 0 408232572 15789518848 61351 33554432000 4194304 4196468 140722599860896 139705127631472 139705659116162 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23221] ppid=23212 vsize=15419452 memory=3624 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23221/stat : 23221 (java) S 23212 23212 14062 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 408232572 15789518848 61351 33554432000 4194304 4196468 140722599860896 139705126577504 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23222] ppid=23212 vsize=15419452 memory=23080 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23222/stat : 23222 (java) S 23212 23212 14062 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 19 0 408232572 15789518848 61351 33554432000 4194304 4196468 140722599860896 139705125525120 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23223] ppid=23212 vsize=15419452 memory=984 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23223/stat : 23223 (java) S 23212 23212 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408232575 15789518848 61351 33554432000 4194304 4196468 140722599860896 139705124473424 139705659123611 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23224] ppid=23212 vsize=15419452 memory=2024 CPUtime=2.22 cores=0,2,4,6
/proc/23214/task/23224/stat : 23224 (java) S 23212 23212 14062 0 -1 1077944384 7287 0 0 0 221 1 0 0 20 0 19 0 408232575 15789518848 61351 33554432000 4194304 4196468 140722599860896 139705123420272 139705659116162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 31 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23225] ppid=23212 vsize=15419452 memory=1380 CPUtime=2.06 cores=0,2,4,6
/proc/23214/task/23225/stat : 23225 (java) S 23212 23212 14062 0 -1 1077944384 6570 0 0 0 205 1 0 0 20 0 19 0 408232575 15789518848 61351 33554432000 4194304 4196468 140722599860896 139705122367472 139705659116162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23226] ppid=23212 vsize=15419452 memory=1128 CPUtime=0.81 cores=0,2,4,6
/proc/23214/task/23226/stat : 23226 (java) S 23212 23212 14062 0 -1 1077944384 5022 0 0 0 80 1 0 0 20 0 19 0 408232575 15789518848 61351 33554432000 4194304 4196468 140722599860896 139705121315184 139705659116162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 32 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23227] ppid=23212 vsize=15419452 memory=772 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23227/stat : 23227 (java) S 23212 23212 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408232575 15789518848 61351 33554432000 4194304 4196468 140722599860896 139705120262624 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23228] ppid=23212 vsize=15419452 memory=4008 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23228/stat : 23228 (java) S 23212 23212 14062 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 19 0 408232576 15789518848 61351 33554432000 4194304 4196468 140722599860896 139705119210416 139705659116162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 30 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23229] ppid=23212 vsize=15419452 memory=948 CPUtime=13.8 cores=0,2,4,6
/proc/23214/task/23229/stat : 23229 (java) R 23212 23212 14062 0 -1 4202560 344 0 0 0 1380 0 0 0 20 0 19 0 408232676 15789518848 61351 33554432000 4194304 4196468 140722599860896 139705109998464 139705302062864 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23230] ppid=23212 vsize=15419452 memory=2241 CPUtime=13.59 cores=0,2,4,6
/proc/23214/task/23230/stat : 23230 (java) R 23212 23212 14062 0 -1 4202560 1091 0 0 0 1359 0 0 0 20 0 19 0 408232676 15789518848 61351 33554432000 4194304 4196468 140722599860896 139705108947688 139705301678145 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23231] ppid=23212 vsize=15419452 memory=6399501272259 CPUtime=13.89 cores=0,2,4,6
/proc/23214/task/23231/stat : 23231 (java) R 23212 23212 14062 0 -1 4202560 420 0 0 0 1388 1 0 0 20 0 19 0 408232676 15789518848 61351 33554432000 4194304 4196468 140722599860896 139705107894712 139705302726423 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23232] ppid=23212 vsize=15419452 memory=288230617509003574 CPUtime=13.82 cores=0,2,4,6
/proc/23214/task/23232/stat : 23232 (java) R 23212 23212 14062 0 -1 4202560 478 0 0 0 1382 0 0 0 20 0 19 0 408232676 15789518848 61351 33554432000 4194304 4196468 140722599860896 139705106840312 139705302722079 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
Current children cumulated CPU time: 61.52 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 246856 KiB
[startup+16.2015 s]*
/proc/loadavg: 7.70 7.84 7.96 9/239 23234
/proc/meminfo: memFree=30205916/32770624 swapFree=66996296/67108860
[pid=23212] ppid=23209 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/23212/stat : 23212 (xcsp3-exec) S 23209 23212 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 408232569 115843072 363 33554432000 4194304 5098028 140723901114672 140723901112776 140304398176892 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39333888 140723901117306 140723901117549 140723901117549 140723901120458 0
/proc/23212/statm: 28282 363 304 221 0 87 0
[pid=23214] ppid=23212 vsize=15419452 memory=245100 CPUtime=63.14 cores=0,2,4,6
/proc/23214/stat : 23214 (java) S 23212 23212 14062 0 -1 1077944320 35969 0 0 0 6295 19 0 0 20 0 15 0 408232569 15789518848 61275 33554432000 4194304 4196468 140722599860896 140722599843440 139705659105015 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
/proc/23214/statm: 3854863 61275 3532 1 0 3815965 0
[pid=23214/tid=23215] ppid=23212 vsize=15419452 memory=8317482817917895235 CPUtime=1.03 cores=0,2,4,6
/proc/23214/task/23215/stat : 23215 (java) R 23212 23212 14062 0 -1 4202560 9948 0 0 0 98 5 0 0 20 0 15 0 408232569 15789518848 61277 33554432000 4194304 4196468 140722599860896 139705663345880 139705659116950 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23216] ppid=23212 vsize=15419452 memory=1380 CPUtime=0.04 cores=0,2,4,6
/proc/23214/task/23216/stat : 23216 (java) S 23212 23212 14062 0 -1 1077944384 264 0 0 0 3 1 0 0 20 0 15 0 408232570 15789518848 61277 33554432000 4194304 4196468 140722599860896 139705624385936 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23217] ppid=23212 vsize=15419452 memory=1128 CPUtime=0.04 cores=0,2,4,6
/proc/23214/task/23217/stat : 23217 (java) S 23212 23212 14062 0 -1 1077944384 249 0 0 0 3 1 0 0 20 0 15 0 408232570 15789518848 61277 33554432000 4194304 4196468 140722599860896 139705250064656 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23218] ppid=23212 vsize=15419452 memory=772 CPUtime=0.04 cores=0,2,4,6
/proc/23214/task/23218/stat : 23218 (java) S 23212 23212 14062 0 -1 1077944384 580 0 0 0 3 1 0 0 20 0 15 0 408232570 15789518848 61277 33554432000 4194304 4196468 140722599860896 139705249012368 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23219] ppid=23212 vsize=15419452 memory=4008 CPUtime=0.04 cores=0,2,4,6
/proc/23214/task/23219/stat : 23219 (java) S 23212 23212 14062 0 -1 1077944384 1476 0 0 0 2 2 0 0 20 0 15 0 408232570 15789518848 61277 33554432000 4194304 4196468 140722599860896 139705247959568 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23220] ppid=23212 vsize=15419452 memory=1452 CPUtime=0.01 cores=0,2,4,6
/proc/23214/task/23220/stat : 23220 (java) S 23212 23212 14062 0 -1 1077944384 440 0 0 0 1 0 0 0 20 0 15 0 408232572 15789518848 61277 33554432000 4194304 4196468 140722599860896 139705127631472 139705659116162 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23221] ppid=23212 vsize=15419452 memory=245852 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23221/stat : 23221 (java) S 23212 23212 14062 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 408232572 15789518848 61277 33554432000 4194304 4196468 140722599860896 139705126577504 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23222] ppid=23212 vsize=15419452 memory=9404 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23222/stat : 23222 (java) S 23212 23212 14062 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 15 0 408232572 15789518848 61277 33554432000 4194304 4196468 140722599860896 139705125525120 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23223] ppid=23212 vsize=15419452 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23223/stat : 23223 (java) S 23212 23212 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408232575 15789518848 61277 33554432000 4194304 4196468 140722599860896 139705124473424 139705659123611 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23224] ppid=23212 vsize=15419452 memory=0 CPUtime=2.22 cores=0,2,4,6
/proc/23214/task/23224/stat : 23224 (java) S 23212 23212 14062 0 -1 1077944384 7287 0 0 0 221 1 0 0 20 0 15 0 408232575 15789518848 61277 33554432000 4194304 4196468 140722599860896 139705123420272 139705659116162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 31 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23225] ppid=23212 vsize=15419452 memory=0 CPUtime=2.06 cores=0,2,4,6
/proc/23214/task/23225/stat : 23225 (java) S 23212 23212 14062 0 -1 1077944384 6570 0 0 0 205 1 0 0 20 0 15 0 408232575 15789518848 61277 33554432000 4194304 4196468 140722599860896 139705122367472 139705659116162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23226] ppid=23212 vsize=15419452 memory=139938020874640 CPUtime=0.81 cores=0,2,4,6
/proc/23214/task/23226/stat : 23226 (java) R 23212 23212 14062 0 -1 4202560 5031 0 0 0 80 1 0 0 20 0 15 0 408232575 15789518848 61277 33554432000 4194304 4196468 140722599860896 139705121315184 139705651344673 0 4 0 16800975 0 0 0 -1 0 0 0 32 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23227] ppid=23212 vsize=15419452 memory=5908 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23227/stat : 23227 (java) S 23212 23212 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408232575 15789518848 61277 33554432000 4194304 4196468 140722599860896 139705120262624 139705659115221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
[pid=23214/tid=23228] ppid=23212 vsize=15419452 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/23214/task/23228/stat : 23228 (java) S 23212 23212 14062 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 15 0 408232576 15789518848 61277 33554432000 4194304 4196468 140722599860896 139705119210416 139705659116162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 30 0 0 6293624 6294260 36646912 140722599867375 140722599867546 140722599867546 140722599870415 0
Current children cumulated CPU time: 63.14 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 246552 KiB
Child status: 0
Real time (s): 16.232
CPU time (s): 63.1684
CPU user time (s): 62.9665
CPU system time (s): 0.201855
CPU usage (%): 389.161
Max. virtual memory (cumulated for all children) (KiB): 15532580
Max. memory (cumulated for all children) (KiB): 247456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 62.9665
system time used= 0.201855
maximum resident set size= 265052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37443
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3019
involuntary context switches= 2006
# summary of solver processes directly reported to runsolver:
# pid: 23212
# total CPU time (s): 63.1684
# total CPU user time (s): 62.9665
# total CPU system time (s): 0.201855
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.130597 second user time and 0.225315 second system time
The end