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 (9411 MiB free)
memory of node 1: 16384 MiB (12383 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394142-1568327945/watcher-4394142-1568327945 -o /tmp/evaluation-result-4394142-1568327945/solver-4394142-1568327945 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568327905-19559 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1168633513 HOME/instance-4394142-1568327945.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=19599, runsolver pid=19595
Current StackSize limit: 8192 KiB
[startup+0.100308 s]*
/proc/loadavg: 0.80 0.84 1.14 4/229 19620
/proc/meminfo: memFree=22289424/32770624 swapFree=66939824/67108860
[pid=19599] ppid=19595 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19599/stat : 19599 (xcsp3-exec) S 19595 19599 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408709437 115843072 363 33554432000 4194304 5098028 140730467194320 140730467192424 139869678699132 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 32567296 140730467201914 140730467202157 140730467202157 140730467205066 0
/proc/19599/statm: 28282 363 304 221 0 87 0
[pid=19605] ppid=19599 vsize=15144768 memory=30036 CPUtime=0.11 cores=0,2,4,6
/proc/19605/stat : 19605 (java) S 19599 19599 19528 0 -1 1077944320 5475 0 0 0 10 1 0 0 20 0 15 0 408709437 15508242432 7509 33554432000 4194304 4196468 140731151151376 140731151133920 140110797094647 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
/proc/19605/statm: 3786192 7509 3115 1 0 3748377 0
[pid=19605/tid=19607] ppid=19599 vsize=15144768 memory=7100839878644302962 CPUtime=0.08 cores=0,2,4,6
/proc/19605/task/19607/stat : 19607 (java) R 19599 19599 19528 0 -1 4202560 3392 0 0 0 7 1 0 0 20 0 15 0 408709437 15508242432 7509 33554432000 4194304 4196468 140731151151376 140110801329184 140110781175134 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19608] ppid=19599 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19608/stat : 19608 (java) S 19599 19599 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408709438 15508242432 7509 33554432000 4194304 4196468 140731151151376 140110760200720 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19609] ppid=19599 vsize=15144768 memory=139963641505408 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19609/stat : 19609 (java) S 19599 19599 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408709438 15508242432 7509 33554432000 4194304 4196468 140731151151376 140110388451984 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19610] ppid=19599 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19610/stat : 19610 (java) S 19599 19599 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408709438 15508242432 7509 33554432000 4194304 4196468 140731151151376 140110387398928 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19611] ppid=19599 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19611/stat : 19611 (java) S 19599 19599 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408709438 15508242432 7509 33554432000 4194304 4196468 140731151151376 140110386346384 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19612] ppid=19599 vsize=15144768 memory=139963641505408 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19612/stat : 19612 (java) S 19599 19599 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408709439 15508242432 7509 33554432000 4194304 4196468 140731151151376 140110265645808 140110797105794 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19613] ppid=19599 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19613/stat : 19613 (java) S 19599 19599 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408709440 15508242432 7509 33554432000 4194304 4196468 140731151151376 140110264592032 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19614] ppid=19599 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19614/stat : 19614 (java) S 19599 19599 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408709440 15508242432 7509 33554432000 4194304 4196468 140731151151376 140110263538928 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19615] ppid=19599 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19615/stat : 19615 (java) S 19599 19599 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408709442 15508242432 7509 33554432000 4194304 4196468 140731151151376 140110262487504 140110797113243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19616] ppid=19599 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19616/stat : 19616 (java) S 19599 19599 19528 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 408709442 15508242432 7509 33554432000 4194304 4196468 140731151151376 140110261434608 140110797105794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19617] ppid=19599 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19617/stat : 19617 (java) S 19599 19599 19528 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 408709442 15508242432 7509 33554432000 4194304 4196468 140731151151376 140110260382064 140110797105794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19618] ppid=19599 vsize=15144768 memory=139963641505408 CPUtime=0.01 cores=0,2,4,6
/proc/19605/task/19618/stat : 19618 (java) S 19599 19599 19528 0 -1 1077944384 341 0 0 0 1 0 0 0 20 0 15 0 408709443 15508242432 7509 33554432000 4194304 4196468 140731151151376 140110259329008 140110797105794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19619] ppid=19599 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19619/stat : 19619 (java) S 19599 19599 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408709443 15508242432 7509 33554432000 4194304 4196468 140731151151376 140110258276704 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19620] ppid=19599 vsize=15144768 memory=139963641505408 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19620/stat : 19620 (java) S 19599 19599 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408709443 15508242432 7509 33554432000 4194304 4196468 140731151151376 140110257224752 140110797105794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31488 KiB
[startup+0.210447 s]*
/proc/loadavg: 0.80 0.84 1.14 5/229 19620
/proc/meminfo: memFree=22269176/32770624 swapFree=66939824/67108860
[pid=19599] ppid=19595 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19599/stat : 19599 (xcsp3-exec) S 19595 19599 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408709437 115843072 363 33554432000 4194304 5098028 140730467194320 140730467192424 139869678699132 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 32567296 140730467201914 140730467202157 140730467202157 140730467205066 0
/proc/19599/statm: 28282 363 304 221 0 87 0
[pid=19605] ppid=19599 vsize=15144768 memory=40440 CPUtime=0.33 cores=0,2,4,6
/proc/19605/stat : 19605 (java) S 19599 19599 19528 0 -1 1077944320 8828 0 0 0 30 3 0 0 20 0 15 0 408709437 15508242432 10110 33554432000 4194304 4196468 140731151151376 140731151133920 140110797094647 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
/proc/19605/statm: 3786192 10110 3240 1 0 3748377 0
[pid=19605/tid=19607] ppid=19599 vsize=15144768 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/19605/task/19607/stat : 19607 (java) R 19599 19599 19528 0 -1 4202560 6144 0 0 0 17 2 0 0 20 0 15 0 408709437 15508242432 10110 33554432000 4194304 4196468 140731151151376 140110801326560 140110781175134 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19608] ppid=19599 vsize=15144768 memory=11079 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19608/stat : 19608 (java) S 19599 19599 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408709438 15508242432 10110 33554432000 4194304 4196468 140731151151376 140110760200720 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19609] ppid=19599 vsize=15144768 memory=3760560910071234592 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19609/stat : 19609 (java) S 19599 19599 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408709438 15508242432 10110 33554432000 4194304 4196468 140731151151376 140110388451984 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19610] ppid=19599 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19610/stat : 19610 (java) S 19599 19599 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408709438 15508242432 10110 33554432000 4194304 4196468 140731151151376 140110387398928 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19611] ppid=19599 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19611/stat : 19611 (java) S 19599 19599 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408709438 15508242432 10110 33554432000 4194304 4196468 140731151151376 140110386346384 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19612] ppid=19599 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19612/stat : 19612 (java) S 19599 19599 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408709439 15508242432 10110 33554432000 4194304 4196468 140731151151376 140110265645808 140110797105794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19613] ppid=19599 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19613/stat : 19613 (java) S 19599 19599 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408709440 15508242432 10110 33554432000 4194304 4196468 140731151151376 140110264592032 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19614] ppid=19599 vsize=15144768 memory=139963641505408 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19614/stat : 19614 (java) S 19599 19599 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408709440 15508242432 10110 33554432000 4194304 4196468 140731151151376 140110263538928 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19615] ppid=19599 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19615/stat : 19615 (java) S 19599 19599 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408709442 15508242432 10110 33554432000 4194304 4196468 140731151151376 140110262487504 140110797113243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19616] ppid=19599 vsize=15144768 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/19605/task/19616/stat : 19616 (java) S 19599 19599 19528 0 -1 1077944384 498 0 0 0 4 0 0 0 20 0 15 0 408709442 15508242432 10110 33554432000 4194304 4196468 140731151151376 140110261434608 140110797105794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19617] ppid=19599 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19617/stat : 19617 (java) S 19599 19599 19528 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 15 0 408709442 15508242432 10110 33554432000 4194304 4196468 140731151151376 140110260382064 140110797105794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19618] ppid=19599 vsize=15144768 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19605/task/19618/stat : 19618 (java) R 19599 19599 19528 0 -1 4202560 750 0 0 0 7 0 0 0 20 0 15 0 408709443 15508242432 10110 33554432000 4194304 4196468 140731151151376 140110259324048 140110776139495 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19619] ppid=19599 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19619/stat : 19619 (java) S 19599 19599 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408709443 15508242432 10110 33554432000 4194304 4196468 140731151151376 140110258276704 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19620] ppid=19599 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19620/stat : 19620 (java) S 19599 19599 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408709443 15508242432 10110 33554432000 4194304 4196468 140731151151376 140110257224752 140110797105794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41892 KiB
[startup+0.310508 s]*
/proc/loadavg: 0.80 0.84 1.14 7/229 19620
/proc/meminfo: memFree=22256076/32770624 swapFree=66939824/67108860
[pid=19599] ppid=19595 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19599/stat : 19599 (xcsp3-exec) S 19595 19599 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408709437 115843072 363 33554432000 4194304 5098028 140730467194320 140730467192424 139869678699132 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 32567296 140730467201914 140730467202157 140730467202157 140730467205066 0
/proc/19599/statm: 28282 363 304 221 0 87 0
[pid=19605] ppid=19599 vsize=15149024 memory=48940 CPUtime=0.52 cores=0,2,4,6
/proc/19605/stat : 19605 (java) S 19599 19599 19528 0 -1 1077944320 10069 0 0 0 48 4 0 0 20 0 15 0 408709437 15512600576 12235 33554432000 4194304 4196468 140731151151376 140731151133920 140110797094647 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
/proc/19605/statm: 3787256 12235 3336 1 0 3748377 0
[pid=19605/tid=19607] ppid=19599 vsize=15149024 memory=8389772277269004345 CPUtime=0.29 cores=0,2,4,6
/proc/19605/task/19607/stat : 19607 (java) R 19599 19599 19528 0 -1 4202560 7160 0 0 0 26 3 0 0 20 0 15 0 408709437 15512600576 12235 33554432000 4194304 4196468 140731151151376 140110801325760 140110797116573 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19608] ppid=19599 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19608/stat : 19608 (java) S 19599 19599 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408709438 15512600576 12235 33554432000 4194304 4196468 140731151151376 140110760200720 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19609] ppid=19599 vsize=15149024 memory=4409645500605923360 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19609/stat : 19609 (java) S 19599 19599 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408709438 15512600576 12235 33554432000 4194304 4196468 140731151151376 140110388451984 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19610] ppid=19599 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19610/stat : 19610 (java) S 19599 19599 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408709438 15512600576 12235 33554432000 4194304 4196468 140731151151376 140110387398928 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19611] ppid=19599 vsize=15149024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19611/stat : 19611 (java) S 19599 19599 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408709438 15512600576 12235 33554432000 4194304 4196468 140731151151376 140110386346384 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19612] ppid=19599 vsize=15149024 memory=139963641505408 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19612/stat : 19612 (java) S 19599 19599 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408709439 15512600576 12235 33554432000 4194304 4196468 140731151151376 140110265645808 140110797105794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19613] ppid=19599 vsize=15149024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19613/stat : 19613 (java) S 19599 19599 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408709440 15512600576 12235 33554432000 4194304 4196468 140731151151376 140110264592032 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19614] ppid=19599 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19614/stat : 19614 (java) S 19599 19599 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408709440 15512600576 12235 33554432000 4194304 4196468 140731151151376 140110263538928 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19615] ppid=19599 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19615/stat : 19615 (java) S 19599 19599 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408709442 15512600576 12235 33554432000 4194304 4196468 140731151151376 140110262487504 140110797113243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19616] ppid=19599 vsize=15149024 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/19605/task/19616/stat : 19616 (java) R 19599 19599 19528 0 -1 1077944384 519 0 0 0 5 0 0 0 20 0 15 0 408709442 15512600576 12235 33554432000 4194304 4196468 140731151151376 140110261434608 140110797105794 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19617] ppid=19599 vsize=15149024 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/19605/task/19617/stat : 19617 (java) R 19599 19599 19528 0 -1 4202560 190 0 0 0 2 0 0 0 20 0 15 0 408709442 15512600576 12235 33554432000 4194304 4196468 140731151151376 140110260363080 140110781994272 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19618] ppid=19599 vsize=15149024 memory=139963641505408 CPUtime=0.12 cores=0,2,4,6
/proc/19605/task/19618/stat : 19618 (java) S 19599 19599 19528 0 -1 1077944384 892 0 0 0 12 0 0 0 20 0 15 0 408709443 15512600576 12235 33554432000 4194304 4196468 140731151151376 140110259329008 140110797105794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19619] ppid=19599 vsize=15149024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19619/stat : 19619 (java) S 19599 19599 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408709443 15512600576 12235 33554432000 4194304 4196468 140731151151376 140110258276704 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19620] ppid=19599 vsize=15149024 memory=139963641505408 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19620/stat : 19620 (java) S 19599 19599 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408709443 15512600576 12235 33554432000 4194304 4196468 140731151151376 140110257224752 140110797105794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 50392 KiB
[startup+0.700838 s]
/proc/loadavg: 0.80 0.84 1.14 6/229 19620
/proc/meminfo: memFree=22216336/32770624 swapFree=66939824/67108860
[pid=19599] ppid=19595 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19599/stat : 19599 (xcsp3-exec) S 19595 19599 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408709437 115843072 363 33554432000 4194304 5098028 140730467194320 140730467192424 139869678699132 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 32567296 140730467201914 140730467202157 140730467202157 140730467205066 0
/proc/19599/statm: 28282 363 304 221 0 87 0
[pid=19605] ppid=19599 vsize=15151148 memory=82116 CPUtime=1.52 cores=0,2,4,6
/proc/19605/stat : 19605 (java) S 19599 19599 19528 0 -1 1077944320 14170 0 0 0 146 6 0 0 20 0 15 0 408709437 15514775552 20529 33554432000 4194304 4196468 140731151151376 140731151133920 140110797094647 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
/proc/19605/statm: 3787787 20529 3449 1 0 3748889 0
[pid=19605/tid=19607] ppid=19599 vsize=15151148 memory=2116 CPUtime=0.67 cores=0,2,4,6
/proc/19605/task/19607/stat : 19607 (java) R 19599 19599 19528 0 -1 4202560 8737 0 0 0 63 4 0 0 20 0 15 0 408709437 15514775552 20529 33554432000 4194304 4196468 140731151151376 140110801331984 140110778676783 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19608] ppid=19599 vsize=15151148 memory=520 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19608/stat : 19608 (java) S 19599 19599 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408709438 15514775552 20529 33554432000 4194304 4196468 140731151151376 140110760200720 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19609] ppid=19599 vsize=15151148 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19609/stat : 19609 (java) S 19599 19599 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408709438 15514775552 20529 33554432000 4194304 4196468 140731151151376 140110388451984 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19610] ppid=19599 vsize=15151148 memory=924 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19610/stat : 19610 (java) S 19599 19599 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408709438 15514775552 20529 33554432000 4194304 4196468 140731151151376 140110387398928 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19611] ppid=19599 vsize=15151148 memory=3688 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19611/stat : 19611 (java) S 19599 19599 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408709438 15514775552 20529 33554432000 4194304 4196468 140731151151376 140110386346384 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19612] ppid=19599 vsize=15151148 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19612/stat : 19612 (java) S 19599 19599 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408709439 15514775552 20529 33554432000 4194304 4196468 140731151151376 140110265645808 140110797105794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19613] ppid=19599 vsize=15151148 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19613/stat : 19613 (java) S 19599 19599 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408709440 15514775552 20529 33554432000 4194304 4196468 140731151151376 140110264592032 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19614] ppid=19599 vsize=15151148 memory=804 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19614/stat : 19614 (java) S 19599 19599 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408709440 15514775552 20529 33554432000 4194304 4196468 140731151151376 140110263538928 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19615] ppid=19599 vsize=15151148 memory=7086240636179272035 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19615/stat : 19615 (java) S 19599 19599 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408709442 15514775552 20529 33554432000 4194304 4196468 140731151151376 140110262487504 140110797113243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19616] ppid=19599 vsize=15151148 memory=7453282923444726100 CPUtime=0.2 cores=0,2,4,6
/proc/19605/task/19616/stat : 19616 (java) S 19599 19599 19528 0 -1 1077944384 1221 0 0 0 20 0 0 0 20 0 15 0 408709442 15514775552 20529 33554432000 4194304 4196468 140731151151376 140110261434608 140110797105794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19617] ppid=19599 vsize=15151148 memory=5792825802846453857 CPUtime=0.23 cores=0,2,4,6
/proc/19605/task/19617/stat : 19617 (java) R 19599 19599 19528 0 -1 4202560 830 0 0 0 23 0 0 0 20 0 15 0 408709442 15514775552 20529 33554432000 4194304 4196468 140731151151376 140110260373520 140110781112087 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19618] ppid=19599 vsize=15151148 memory=8514726395715219869 CPUtime=0.39 cores=0,2,4,6
/proc/19605/task/19618/stat : 19618 (java) S 19599 19599 19528 0 -1 1077944384 2071 0 0 0 39 0 0 0 20 0 15 0 408709443 15514775552 20529 33554432000 4194304 4196468 140731151151376 140110259329008 140110797105794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19619] ppid=19599 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19619/stat : 19619 (java) S 19599 19599 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408709443 15514775552 20529 33554432000 4194304 4196468 140731151151376 140110258276704 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19620] ppid=19599 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19620/stat : 19620 (java) S 19599 19599 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408709443 15514775552 20529 33554432000 4194304 4196468 140731151151376 140110257224752 140110797105794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
Current children cumulated CPU time: 1.52 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 83568 KiB
[startup+1.50725 s]
/proc/loadavg: 0.80 0.84 1.14 9/233 19628
/proc/meminfo: memFree=22076164/32770624 swapFree=66939824/67108860
[pid=19599] ppid=19595 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19599/stat : 19599 (xcsp3-exec) S 19595 19599 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408709437 115843072 363 33554432000 4194304 5098028 140730467194320 140730467192424 139869678699132 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 32567296 140730467201914 140730467202157 140730467202157 140730467205066 0
/proc/19599/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/19605/task/19620/stat : 19620 (java) S 19599 19599 19528 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 19 0 408709443 15789518848 51267 33554432000 4194304 4196468 140731151151376 140110257224752 140110797105794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19625] ppid=19599 vsize=15419452 memory=0 CPUtime=7.08 cores=0,2,4,6
/proc/19605/task/19625/stat : 19625 (java) R 19599 19599 19528 0 -1 4202560 127 0 0 0 708 0 0 0 20 0 19 0 408709514 15789518848 51267 33554432000 4194304 4196468 140731151151376 140110245908096 140110439052463 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19626] ppid=19599 vsize=15419452 memory=14056 CPUtime=6.97 cores=0,2,4,6
/proc/19605/task/19626/stat : 19626 (java) R 19599 19599 19528 0 -1 4202560 679 0 0 0 696 1 0 0 20 0 19 0 408709514 15789518848 51267 33554432000 4194304 4196468 140731151151376 140110248015504 140110439501014 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19627] ppid=19599 vsize=15419452 memory=2116 CPUtime=7.05 cores=0,2,4,6
/proc/19605/task/19627/stat : 19627 (java) R 19599 19599 19528 0 -1 4202560 195 0 0 0 705 0 0 0 20 0 19 0 408709514 15789518848 51267 33554432000 4194304 4196468 140731151151376 140110246960752 140110439131200 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19628] ppid=19599 vsize=15419452 memory=520 CPUtime=6.97 cores=0,2,4,6
/proc/19605/task/19628/stat : 19628 (java) R 19599 19599 19528 0 -1 4202560 360 0 0 0 695 2 0 0 20 0 19 0 408709514 15789518848 51267 33554432000 4194304 4196468 140731151151376 140110244857080 140110776819782 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
Current children cumulated CPU time: 31.64 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 206520 KiB
[startup+9.90125 s]
/proc/loadavg: 2.13 1.13 1.22 12/237 19748
/proc/meminfo: memFree=21891368/32770624 swapFree=66939824/67108860
[pid=19599] ppid=19595 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19599/stat : 19599 (xcsp3-exec) S 19595 19599 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408709437 115843072 363 33554432000 4194304 5098028 140730467194320 140730467192424 139869678699132 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 32567296 140730467201914 140730467202157 140730467202157 140730467205066 0
/proc/19599/statm: 28282 363 304 221 0 87 0
[pid=19605] ppid=19599 vsize=15419452 memory=202012 CPUtime=37.97 cores=0,2,4,6
/proc/19605/stat : 19605 (java) S 19599 19599 19528 0 -1 1077944320 27089 0 0 0 3782 15 0 0 20 0 19 0 408709437 15789518848 50503 33554432000 4194304 4196468 140731151151376 140731151133920 140110797094647 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
/proc/19605/statm: 3854863 50503 3513 1 0 3815965 0
[pid=19605/tid=19607] ppid=19599 vsize=15419452 memory=0 CPUtime=0.72 cores=0,2,4,6
/proc/19605/task/19607/stat : 19607 (java) S 19599 19599 19528 0 -1 1077944384 8807 0 0 0 68 4 0 0 20 0 19 0 408709437 15789518848 50503 33554432000 4194304 4196468 140731151151376 140110801335424 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19608] ppid=19599 vsize=15419452 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/19605/task/19608/stat : 19608 (java) S 19599 19599 19528 0 -1 1077944384 427 0 0 0 1 0 0 0 20 0 19 0 408709438 15789518848 50503 33554432000 4194304 4196468 140731151151376 140110760200720 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19609] ppid=19599 vsize=15419452 memory=3504 CPUtime=0.01 cores=0,2,4,6
/proc/19605/task/19609/stat : 19609 (java) S 19599 19599 19528 0 -1 1077944384 532 0 0 0 1 0 0 0 20 0 19 0 408709438 15789518848 50503 33554432000 4194304 4196468 140731151151376 140110388451984 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19610] ppid=19599 vsize=15419452 memory=38196 CPUtime=0.01 cores=0,2,4,6
/proc/19605/task/19610/stat : 19610 (java) S 19599 19599 19528 0 -1 1077944384 210 0 0 0 1 0 0 0 20 0 19 0 408709438 15789518848 50503 33554432000 4194304 4196468 140731151151376 140110387398928 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19611] ppid=19599 vsize=15419452 memory=988 CPUtime=0.02 cores=0,2,4,6
/proc/19605/task/19611/stat : 19611 (java) S 19599 19599 19528 0 -1 1077944384 1616 0 0 0 2 0 0 0 20 0 19 0 408709438 15789518848 50503 33554432000 4194304 4196468 140731151151376 140110386346384 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19612] ppid=19599 vsize=15419452 memory=2008 CPUtime=0.01 cores=0,2,4,6
/proc/19605/task/19612/stat : 19612 (java) S 19599 19599 19528 0 -1 1077944384 506 0 0 0 1 0 0 0 20 0 19 0 408709439 15789518848 50503 33554432000 4194304 4196468 140731151151376 140110265645808 140110797105794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19613] ppid=19599 vsize=15419452 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19613/stat : 19613 (java) S 19599 19599 19528 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 19 0 408709440 15789518848 50503 33554432000 4194304 4196468 140731151151376 140110264592096 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19614] ppid=19599 vsize=15419452 memory=4164 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19614/stat : 19614 (java) S 19599 19599 19528 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 408709440 15789518848 50503 33554432000 4194304 4196468 140731151151376 140110263538944 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19615] ppid=19599 vsize=15419452 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19615/stat : 19615 (java) S 19599 19599 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408709442 15789518848 50503 33554432000 4194304 4196468 140731151151376 140110262487504 140110797113243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19616] ppid=19599 vsize=15419452 memory=1651 CPUtime=0.92 cores=0,2,4,6
/proc/19605/task/19616/stat : 19616 (java) S 19599 19599 19528 0 -1 1077944384 2934 0 0 0 91 1 0 0 20 0 19 0 408709442 15789518848 50503 33554432000 4194304 4196468 140731151151376 140110261434608 140110797105794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19617] ppid=19599 vsize=15419452 memory=72 CPUtime=1.11 cores=0,2,4,6
/proc/19605/task/19617/stat : 19617 (java) S 19599 19599 19528 0 -1 1077944384 4753 0 0 0 110 1 0 0 20 0 19 0 408709442 15789518848 50503 33554432000 4194304 4196468 140731151151376 140110260382064 140110797105794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19618] ppid=19599 vsize=15419452 memory=0 CPUtime=0.63 cores=0,2,4,6
/proc/19605/task/19618/stat : 19618 (java) S 19599 19599 19528 0 -1 1077944384 4177 0 0 0 62 1 0 0 20 0 19 0 408709443 15789518848 50503 33554432000 4194304 4196468 140731151151376 140110259329008 140110797105794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19619] ppid=19599 vsize=15419452 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19619/stat : 19619 (java) S 19599 19599 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408709443 15789518848 50503 33554432000 4194304 4196468 140731151151376 140110258276704 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19620] ppid=19599 vsize=15419452 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19620/stat : 19620 (java) S 19599 19599 19528 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 19 0 408709443 15789518848 50503 33554432000 4194304 4196468 140731151151376 140110257224752 140110797105794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19625] ppid=19599 vsize=15419452 memory=201988 CPUtime=8.66 cores=0,2,4,6
/proc/19605/task/19625/stat : 19625 (java) R 19599 19599 19528 0 -1 4202560 130 0 0 0 866 0 0 0 20 0 19 0 408709514 15789518848 50503 33554432000 4194304 4196468 140731151151376 140110245908096 140110439987842 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19626] ppid=19599 vsize=15419452 memory=2008 CPUtime=8.55 cores=0,2,4,6
/proc/19605/task/19626/stat : 19626 (java) R 19599 19599 19528 0 -1 4202560 700 0 0 0 854 1 0 0 20 0 19 0 408709514 15789518848 50503 33554432000 4194304 4196468 140731151151376 140110248013176 140110439966583 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19627] ppid=19599 vsize=15419452 memory=1548 CPUtime=8.61 cores=0,2,4,6
/proc/19605/task/19627/stat : 19627 (java) R 19599 19599 19528 0 -1 4202560 197 0 0 0 861 0 0 0 20 0 19 0 408709514 15789518848 50503 33554432000 4194304 4196468 140731151151376 140110246961784 140110439987881 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19628] ppid=19599 vsize=15419452 memory=1608 CPUtime=8.54 cores=0,2,4,6
/proc/19605/task/19628/stat : 19628 (java) R 19599 19599 19528 0 -1 4202560 366 0 0 0 852 2 0 0 20 0 19 0 408709514 15789518848 50503 33554432000 4194304 4196468 140731151151376 140110244858280 140110789345180 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
Current children cumulated CPU time: 37.97 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 203464 KiB
[startup+10.3013 s]*
/proc/loadavg: 2.13 1.13 1.22 12/237 19756
/proc/meminfo: memFree=21774684/32770624 swapFree=66939824/67108860
[pid=19599] ppid=19595 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19599/stat : 19599 (xcsp3-exec) S 19595 19599 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408709437 115843072 363 33554432000 4194304 5098028 140730467194320 140730467192424 139869678699132 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 32567296 140730467201914 140730467202157 140730467202157 140730467205066 0
/proc/19599/statm: 28282 363 304 221 0 87 0
[pid=19605] ppid=19599 vsize=15419452 memory=196888 CPUtime=39.59 cores=0,2,4,6
/proc/19605/stat : 19605 (java) S 19599 19599 19528 0 -1 1077944320 27176 0 0 0 3944 15 0 0 20 0 19 0 408709437 15789518848 49222 33554432000 4194304 4196468 140731151151376 140731151133920 140110797094647 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
/proc/19605/statm: 3854863 49222 3513 1 0 3815965 0
[pid=19605/tid=19607] ppid=19599 vsize=15419452 memory=5795117241467496816 CPUtime=0.72 cores=0,2,4,6
/proc/19605/task/19607/stat : 19607 (java) S 19599 19599 19528 0 -1 1077944384 8807 0 0 0 68 4 0 0 20 0 19 0 408709437 15789518848 49222 33554432000 4194304 4196468 140731151151376 140110801335424 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19608] ppid=19599 vsize=15419452 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/19605/task/19608/stat : 19608 (java) S 19599 19599 19528 0 -1 1077944384 427 0 0 0 1 0 0 0 20 0 19 0 408709438 15789518848 49222 33554432000 4194304 4196468 140731151151376 140110760200720 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19609] ppid=19599 vsize=15419452 memory=139963641505408 CPUtime=0.01 cores=0,2,4,6
/proc/19605/task/19609/stat : 19609 (java) S 19599 19599 19528 0 -1 1077944384 532 0 0 0 1 0 0 0 20 0 19 0 408709438 15789518848 49222 33554432000 4194304 4196468 140731151151376 140110388451984 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19610] ppid=19599 vsize=15419452 memory=6628 CPUtime=0.01 cores=0,2,4,6
/proc/19605/task/19610/stat : 19610 (java) S 19599 19599 19528 0 -1 1077944384 210 0 0 0 1 0 0 0 20 0 19 0 408709438 15789518848 49222 33554432000 4194304 4196468 140731151151376 140110387398928 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19611] ppid=19599 vsize=15419452 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/19605/task/19611/stat : 19611 (java) S 19599 19599 19528 0 -1 1077944384 1616 0 0 0 2 0 0 0 20 0 19 0 408709438 15789518848 49222 33554432000 4194304 4196468 140731151151376 140110386346384 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19612] ppid=19599 vsize=15419452 memory=2319529162808056248 CPUtime=0.01 cores=0,2,4,6
/proc/19605/task/19612/stat : 19612 (java) S 19599 19599 19528 0 -1 1077944384 506 0 0 0 1 0 0 0 20 0 19 0 408709439 15789518848 49222 33554432000 4194304 4196468 140731151151376 140110265645808 140110797105794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19613] ppid=19599 vsize=15419452 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19613/stat : 19613 (java) S 19599 19599 19528 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 19 0 408709440 15789518848 49222 33554432000 4194304 4196468 140731151151376 140110264592096 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19614] ppid=19599 vsize=15419452 memory=202916 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19614/stat : 19614 (java) S 19599 19599 19528 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 408709440 15789518848 49222 33554432000 4194304 4196468 140731151151376 140110263538944 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19615] ppid=19599 vsize=15419452 memory=279927044281088 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19615/stat : 19615 (java) S 19599 19599 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408709442 15789518848 49222 33554432000 4194304 4196468 140731151151376 140110262487504 140110797113243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19616] ppid=19599 vsize=15419452 memory=9023629670928638048 CPUtime=0.92 cores=0,2,4,6
/proc/19605/task/19616/stat : 19616 (java) S 19599 19599 19528 0 -1 1077944384 2934 0 0 0 91 1 0 0 20 0 19 0 408709442 15789518848 49222 33554432000 4194304 4196468 140731151151376 140110261434608 140110797105794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19617] ppid=19599 vsize=15419452 memory=6944656592387989600 CPUtime=1.12 cores=0,2,4,6
/proc/19605/task/19617/stat : 19617 (java) S 19599 19599 19528 0 -1 1077944384 4789 0 0 0 111 1 0 0 20 0 19 0 408709442 15789518848 49222 33554432000 4194304 4196468 140731151151376 140110260382064 140110797105794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19618] ppid=19599 vsize=15419452 memory=6944656592455359580 CPUtime=0.63 cores=0,2,4,6
/proc/19605/task/19618/stat : 19618 (java) S 19599 19599 19528 0 -1 1077944384 4204 0 0 0 62 1 0 0 20 0 19 0 408709443 15789518848 49222 33554432000 4194304 4196468 140731151151376 140110259329008 140110797105794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19619] ppid=19599 vsize=15419452 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19619/stat : 19619 (java) S 19599 19599 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408709443 15789518848 49222 33554432000 4194304 4196468 140731151151376 140110258276704 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19620] ppid=19599 vsize=15419452 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19620/stat : 19620 (java) S 19599 19599 19528 0 -1 1077944384 186 0 0 0 0 0 0 0 20 0 19 0 408709443 15789518848 49222 33554432000 4194304 4196468 140731151151376 140110257224752 140110797105794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19625] ppid=19599 vsize=15419452 memory=6944656575208382560 CPUtime=9.07 cores=0,2,4,6
/proc/19605/task/19625/stat : 19625 (java) R 19599 19599 19528 0 -1 4202560 130 0 0 0 907 0 0 0 20 0 19 0 408709514 15789518848 49222 33554432000 4194304 4196468 140731151151376 140110245908232 140110439129085 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19626] ppid=19599 vsize=15419452 memory=6655300316396806240 CPUtime=8.96 cores=0,2,4,6
/proc/19605/task/19626/stat : 19626 (java) R 19599 19599 19528 0 -1 4202560 701 0 0 0 895 1 0 0 20 0 19 0 408709514 15789518848 49222 33554432000 4194304 4196468 140731151151376 140110248015504 140110439501651 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19627] ppid=19599 vsize=15419452 memory=6944656592455097440 CPUtime=9.01 cores=0,2,4,6
/proc/19605/task/19627/stat : 19627 (java) R 19599 19599 19528 0 -1 4202560 197 0 0 0 901 0 0 0 20 0 19 0 408709514 15789518848 49222 33554432000 4194304 4196468 140731151151376 140110246961784 140110781471760 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19628] ppid=19599 vsize=15419452 memory=8187704045996106359 CPUtime=8.94 cores=0,2,4,6
/proc/19605/task/19628/stat : 19628 (java) R 19599 19599 19528 0 -1 4202560 381 0 0 0 892 2 0 0 20 0 19 0 408709514 15789518848 49222 33554432000 4194304 4196468 140731151151376 140110244856048 140110439987966 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
Current children cumulated CPU time: 39.59 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 198340 KiB
[startup+10.7013 s]
/proc/loadavg: 2.13 1.13 1.22 12/237 19756
/proc/meminfo: memFree=21774684/32770624 swapFree=66939824/67108860
[pid=19599] ppid=19595 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19599/stat : 19599 (xcsp3-exec) S 19595 19599 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408709437 115843072 363 33554432000 4194304 5098028 140730467194320 140730467192424 139869678699132 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 32567296 140730467201914 140730467202157 140730467202157 140730467205066 0
/proc/19599/statm: 28282 363 304 221 0 87 0
[pid=19605] ppid=19599 vsize=15419452 memory=196888 CPUtime=41.15 cores=0,2,4,6
/proc/19605/stat : 19605 (java) S 19599 19599 19528 0 -1 1077944320 27178 0 0 0 4100 15 0 0 20 0 19 0 408709437 15789518848 49222 33554432000 4194304 4196468 140731151151376 140731151133920 140110797094647 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
/proc/19605/statm: 3854863 49222 3513 1 0 3815965 0
[pid=19605/tid=19607] ppid=19599 vsize=15419452 memory=2832 CPUtime=0.72 cores=0,2,4,6
/proc/19605/task/19607/stat : 19607 (java) S 19599 19599 19528 0 -1 1077944384 8807 0 0 0 68 4 0 0 20 0 19 0 408709437 15789518848 49222 33554432000 4194304 4196468 140731151151376 140110801335424 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19608] ppid=19599 vsize=15419452 memory=668 CPUtime=0.01 cores=0,2,4,6
/proc/19605/task/19608/stat : 19608 (java) S 19599 19599 19528 0 -1 1077944384 427 0 0 0 1 0 0 0 20 0 19 0 408709438 15789518848 49222 33554432000 4194304 4196468 140731151151376 140110760200720 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19609] ppid=19599 vsize=15419452 memory=1232 CPUtime=0.01 cores=0,2,4,6
/proc/19605/task/19609/stat : 19609 (java) S 19599 19599 19528 0 -1 1077944384 532 0 0 0 1 0 0 0 20 0 19 0 408709438 15789518848 49222 33554432000 4194304 4196468 140731151151376 140110388451984 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19610] ppid=19599 vsize=15419452 memory=1452 CPUtime=0.01 cores=0,2,4,6
/proc/19605/task/19610/stat : 19610 (java) S 19599 19599 19528 0 -1 1077944384 210 0 0 0 1 0 0 0 20 0 19 0 408709438 15789518848 49222 33554432000 4194304 4196468 140731151151376 140110387398928 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19611] ppid=19599 vsize=15419452 memory=201988 CPUtime=0.02 cores=0,2,4,6
/proc/19605/task/19611/stat : 19611 (java) S 19599 19599 19528 0 -1 1077944384 1616 0 0 0 2 0 0 0 20 0 19 0 408709438 15789518848 49222 33554432000 4194304 4196468 140731151151376 140110386346384 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19612] ppid=19599 vsize=15419452 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/19605/task/19612/stat : 19612 (java) S 19599 19599 19528 0 -1 1077944384 506 0 0 0 1 0 0 0 20 0 19 0 408709439 15789518848 49222 33554432000 4194304 4196468 140731151151376 140110265645808 140110797105794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19613] ppid=19599 vsize=15419452 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19613/stat : 19613 (java) S 19599 19599 19528 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 19 0 408709440 15789518848 49222 33554432000 4194304 4196468 140731151151376 140110264592096 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19614] ppid=19599 vsize=15419452 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19614/stat : 19614 (java) S 19599 19599 19528 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 19 0 408709440 15789518848 49222 33554432000 4194304 4196468 140731151151376 140110263538944 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19615] ppid=19599 vsize=15419452 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19615/stat : 19615 (java) S 19599 19599 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408709442 15789518848 49222 33554432000 4194304 4196468 140731151151376 140110262487504 140110797113243 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19616] ppid=19599 vsize=15419452 memory=0 CPUtime=0.92 cores=0,2,4,6
/proc/19605/task/19616/stat : 19616 (java) S 19599 19599 19528 0 -1 1077944384 2934 0 0 0 91 1 0 0 20 0 19 0 408709442 15789518848 49222 33554432000 4194304 4196468 140731151151376 140110261434608 140110797105794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19617] ppid=19599 vsize=15419452 memory=0 CPUtime=1.12 cores=0,2,4,6
/proc/19605/task/19617/stat : 19617 (java) S 19599 19599 19528 0 -1 1077944384 4789 0 0 0 111 1 0 0 20 0 19 0 408709442 15789518848 49222 33554432000 4194304 4196468 140731151151376 140110260382064 140110797105794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19618] ppid=19599 vsize=15419452 memory=1452 CPUtime=0.63 cores=0,2,4,6
/proc/19605/task/19618/stat : 19618 (java) S 19599 19599 19528 0 -1 1077944384 4204 0 0 0 62 1 0 0 20 0 19 0 408709443 15789518848 49222 33554432000 4194304 4196468 140731151151376 140110259329008 140110797105794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19619] ppid=19599 vsize=15419452 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19619/stat : 19619 (java) S 19599 19599 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408709443 15789518848 49222 33554432000 4194304 4196468 140731151151376 140110258276704 140110797104853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19620] ppid=19599 vsize=15419452 memory=924 CPUtime=0 cores=0,2,4,6
/proc/19605/task/19620/stat : 19620 (java) S 19599 19599 19528 0 -1 1077944384 186 0 0 0 0 0 0 0 20 0 19 0 408709443 15789518848 49222 33554432000 4194304 4196468 140731151151376 140110257224752 140110797105794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19625] ppid=19599 vsize=15419452 memory=3688 CPUtime=9.46 cores=0,2,4,6
/proc/19605/task/19625/stat : 19625 (java) R 19599 19599 19528 0 -1 4202560 131 0 0 0 946 0 0 0 20 0 19 0 408709514 15789518848 49222 33554432000 4194304 4196468 140731151151376 140110245908096 140110439059298 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19626] ppid=19599 vsize=15419452 memory=1984 CPUtime=9.35 cores=0,2,4,6
/proc/19605/task/19626/stat : 19626 (java) R 19599 19599 19528 0 -1 4202560 701 0 0 0 934 1 0 0 20 0 19 0 408709514 15789518848 49222 33554432000 4194304 4196468 140731151151376 140110248015392 140110439988097 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19627] ppid=19599 vsize=15419452 memory=1440 CPUtime=9.4 cores=0,2,4,6
/proc/19605/task/19627/stat : 19627 (java) R 19599 19599 19528 0 -1 4202560 198 0 0 0 940 0 0 0 20 0 19 0 408709514 15789518848 49222 33554432000 4194304 4196468 140731151151376 140110246961648 140110439988102 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
[pid=19605/tid=19628] ppid=19599 vsize=15419452 memory=804 CPUtime=9.33 cores=0,2,4,6
/proc/19605/task/19628/stat : 19628 (java) R 19599 19599 19528 0 -1 4202560 381 0 0 0 931 2 0 0 20 0 19 0 408709514 15789518848 49222 33554432000 4194304 4196468 140731151151376 140110244856840 140110440301556 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27099136 140731151160303 140731151160474 140731151160474 140731151163343 0
Current children cumulated CPU time: 41.15 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 198340 KiB
Child status: 0
Real time (s): 10.7416
CPU time (s): 41.3068
CPU user time (s): 41.1429
CPU system time (s): 0.163885
CPU usage (%): 384.55
Max. virtual memory (cumulated for all children) (KiB): 15532580
Max. memory (cumulated for all children) (KiB): 206520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.1429
system time used= 0.163885
maximum resident set size= 207116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28223
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= 2980
involuntary context switches= 1745
# summary of solver processes directly reported to runsolver:
# pid: 19599
# total CPU time (s): 41.3068
# total CPU user time (s): 41.1429
# total CPU system time (s): 0.163885
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.082961 second user time and 0.16311 second system time
The end