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 (4380 MiB free)
memory of node 1: 16384 MiB (6946 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404109-1568991282/watcher-4404109-1568991282 -o /var/tmp/evaluation-result-4404109-1568991282/solver-4404109-1568991282 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node149-1568989977-29018 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 528844282 HOME/instance-4404109-1568991282.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=30370, runsolver pid=30367
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 8.55 8.36 6.61 7/234 30386
/proc/meminfo: memFree=11583860/32770624 swapFree=66956680/67108860
[pid=30370] ppid=30367 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30370/stat : 30370 (xcsp3-exec) S 30367 30370 28986 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475366812 115843072 364 33554432000 4194304 5098028 140721246336912 140721246335016 140259416437372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31891456 140721246339927 140721246340185 140721246340185 140721246343110 0
/proc/30370/statm: 28282 364 305 221 0 87 0
[pid=30372] ppid=30370 vsize=15144776 memory=27740 CPUtime=0.1 cores=1,3,5,7
/proc/30372/stat : 30372 (java) S 30370 30370 28986 0 -1 1077944320 5444 0 0 0 9 1 0 0 20 0 15 0 475366812 15508250624 6935 33554432000 4194304 4196468 140732572621024 140732572603568 140700600856311 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
/proc/30372/statm: 3786194 6935 3090 1 0 3748377 0
[pid=30372/tid=30373] ppid=30370 vsize=15144776 memory=-6962121287837372198 CPUtime=0.08 cores=1,3,5,7
/proc/30372/task/30373/stat : 30373 (java) R 30370 30370 28986 0 -1 4202560 3462 0 0 0 7 1 0 0 20 0 15 0 475366812 15508250624 6935 33554432000 4194304 4196468 140732572621024 140700605084416 140700584936798 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30374] ppid=30370 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30374/stat : 30374 (java) S 30370 30370 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475366813 15508250624 6935 33554432000 4194304 4196468 140732572621024 140700512512656 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30375] ppid=30370 vsize=15144776 memory=139959211574912 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30375/stat : 30375 (java) S 30370 30370 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475366813 15508250624 6935 33554432000 4194304 4196468 140732572621024 140700192598544 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30376] ppid=30370 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30376/stat : 30376 (java) S 30370 30370 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475366813 15508250624 6935 33554432000 4194304 4196468 140732572621024 140700191545744 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30377] ppid=30370 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30377/stat : 30377 (java) S 30370 30370 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475366813 15508250624 6935 33554432000 4194304 4196468 140732572621024 140700190492944 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30378] ppid=30370 vsize=15144776 memory=139959211574912 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30378/stat : 30378 (java) S 30370 30370 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475366814 15508250624 6935 33554432000 4194304 4196468 140732572621024 140699743411056 140700600867458 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30379] ppid=30370 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30379/stat : 30379 (java) S 30370 30370 28986 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475366815 15508250624 6935 33554432000 4194304 4196468 140732572621024 140699742357024 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30380] ppid=30370 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30380/stat : 30380 (java) S 30370 30370 28986 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475366815 15508250624 6935 33554432000 4194304 4196468 140732572621024 140699741304176 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30381] ppid=30370 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30381/stat : 30381 (java) S 30370 30370 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475366817 15508250624 6935 33554432000 4194304 4196468 140732572621024 140699740252496 140700600874907 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30382] ppid=30370 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30382/stat : 30382 (java) S 30370 30370 28986 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 475366819 15508250624 6935 33554432000 4194304 4196468 140732572621024 140699739199856 140700600867458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30383] ppid=30370 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30383/stat : 30383 (java) S 30370 30370 28986 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 475366819 15508250624 6935 33554432000 4194304 4196468 140732572621024 140699738147056 140700600867458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30384] ppid=30370 vsize=15144776 memory=139959211574912 CPUtime=0.01 cores=1,3,5,7
/proc/30372/task/30384/stat : 30384 (java) S 30370 30370 28986 0 -1 1077944384 259 0 0 0 1 0 0 0 20 0 15 0 475366819 15508250624 6935 33554432000 4194304 4196468 140732572621024 140699737094256 140700600867458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30385] ppid=30370 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30385/stat : 30385 (java) S 30370 30370 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475366819 15508250624 6935 33554432000 4194304 4196468 140732572621024 140699736041696 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30386] ppid=30370 vsize=15144776 memory=139959211574912 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30386/stat : 30386 (java) S 30370 30370 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475366819 15508250624 6935 33554432000 4194304 4196468 140732572621024 140699734990000 140700600867458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29196 KiB
[startup+0.210698 s]*
/proc/loadavg: 8.55 8.36 6.61 7/234 30386
/proc/meminfo: memFree=11570124/32770624 swapFree=66956680/67108860
[pid=30370] ppid=30367 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30370/stat : 30370 (xcsp3-exec) S 30367 30370 28986 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475366812 115843072 364 33554432000 4194304 5098028 140721246336912 140721246335016 140259416437372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31891456 140721246339927 140721246340185 140721246340185 140721246343110 0
/proc/30370/statm: 28282 364 305 221 0 87 0
[pid=30372] ppid=30370 vsize=15144776 memory=40404 CPUtime=0.31 cores=1,3,5,7
/proc/30372/stat : 30372 (java) S 30370 30370 28986 0 -1 1077944320 9280 0 0 0 28 3 0 0 20 0 15 0 475366812 15508250624 10101 33554432000 4194304 4196468 140732572621024 140732572603568 140700600856311 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
/proc/30372/statm: 3786194 10101 3292 1 0 3748377 0
[pid=30372/tid=30373] ppid=30370 vsize=15144776 memory=7883960649037381690 CPUtime=0.18 cores=1,3,5,7
/proc/30372/task/30373/stat : 30373 (java) R 30370 30370 28986 0 -1 4202560 6514 0 0 0 16 2 0 0 20 0 15 0 475366812 15508250624 10101 33554432000 4194304 4196468 140732572621024 140700605090400 140700568441415 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30374] ppid=30370 vsize=15144776 memory=1943324 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30374/stat : 30374 (java) S 30370 30370 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475366813 15508250624 10101 33554432000 4194304 4196468 140732572621024 140700512512656 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30375] ppid=30370 vsize=15144776 memory=139959211603673 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30375/stat : 30375 (java) S 30370 30370 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475366813 15508250624 10101 33554432000 4194304 4196468 140732572621024 140700192598544 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30376] ppid=30370 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30376/stat : 30376 (java) S 30370 30370 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475366813 15508250624 10101 33554432000 4194304 4196468 140732572621024 140700191545744 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30377] ppid=30370 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30377/stat : 30377 (java) S 30370 30370 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475366813 15508250624 10101 33554432000 4194304 4196468 140732572621024 140700190492944 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30378] ppid=30370 vsize=15144776 memory=139959211574912 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30378/stat : 30378 (java) S 30370 30370 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475366814 15508250624 10101 33554432000 4194304 4196468 140732572621024 140699743411056 140700600867458 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30379] ppid=30370 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30379/stat : 30379 (java) S 30370 30370 28986 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475366815 15508250624 10101 33554432000 4194304 4196468 140732572621024 140699742357024 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30380] ppid=30370 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30380/stat : 30380 (java) S 30370 30370 28986 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475366815 15508250624 10101 33554432000 4194304 4196468 140732572621024 140699741304176 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30381] ppid=30370 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30381/stat : 30381 (java) S 30370 30370 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475366817 15508250624 10101 33554432000 4194304 4196468 140732572621024 140699740252496 140700600874907 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30382] ppid=30370 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30372/task/30382/stat : 30382 (java) S 30370 30370 28986 0 -1 1077944384 383 0 0 0 2 0 0 0 20 0 15 0 475366819 15508250624 10101 33554432000 4194304 4196468 140732572621024 140699739199856 140700600867458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30383] ppid=30370 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/30372/task/30383/stat : 30383 (java) S 30370 30370 28986 0 -1 1077944384 267 0 0 0 2 0 0 0 20 0 15 0 475366819 15508250624 10101 33554432000 4194304 4196468 140732572621024 140699738147056 140700600867458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30384] ppid=30370 vsize=15144776 memory=139959211574912 CPUtime=0.07 cores=1,3,5,7
/proc/30372/task/30384/stat : 30384 (java) S 30370 30370 28986 0 -1 1077944384 810 0 0 0 7 0 0 0 20 0 15 0 475366819 15508250624 10101 33554432000 4194304 4196468 140732572621024 140699737094256 140700600867458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30385] ppid=30370 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30385/stat : 30385 (java) S 30370 30370 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475366819 15508250624 10101 33554432000 4194304 4196468 140732572621024 140699736041696 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30386] ppid=30370 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30386/stat : 30386 (java) S 30370 30370 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475366819 15508250624 10101 33554432000 4194304 4196468 140732572621024 140699734990000 140700600867458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41860 KiB
[startup+0.310287 s]*
/proc/loadavg: 8.55 8.36 6.61 8/234 30386
/proc/meminfo: memFree=11565508/32770624 swapFree=66956680/67108860
[pid=30370] ppid=30367 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30370/stat : 30370 (xcsp3-exec) S 30367 30370 28986 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475366812 115843072 364 33554432000 4194304 5098028 140721246336912 140721246335016 140259416437372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31891456 140721246339927 140721246340185 140721246340185 140721246343110 0
/proc/30370/statm: 28282 364 305 221 0 87 0
[pid=30372] ppid=30370 vsize=15149032 memory=46892 CPUtime=0.5 cores=1,3,5,7
/proc/30372/stat : 30372 (java) S 30370 30370 28986 0 -1 1077944320 10531 0 0 0 46 4 0 0 20 0 15 0 475366812 15512608768 11723 33554432000 4194304 4196468 140732572621024 140732572603568 140700600856311 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
/proc/30372/statm: 3787258 11723 3358 1 0 3748377 0
[pid=30372/tid=30373] ppid=30370 vsize=15149032 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/30372/task/30373/stat : 30373 (java) R 30370 30370 28986 0 -1 4202560 7582 0 0 0 26 2 0 0 20 0 15 0 475366812 15512608768 11723 33554432000 4194304 4196468 140732572621024 140700605092144 140700600868246 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30374] ppid=30370 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30374/stat : 30374 (java) S 30370 30370 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475366813 15512608768 11723 33554432000 4194304 4196468 140732572621024 140700512512656 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30375] ppid=30370 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30375/stat : 30375 (java) S 30370 30370 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475366813 15512608768 11723 33554432000 4194304 4196468 140732572621024 140700192598544 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30376] ppid=30370 vsize=15149032 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30376/stat : 30376 (java) S 30370 30370 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475366813 15512608768 11723 33554432000 4194304 4196468 140732572621024 140700191545744 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30377] ppid=30370 vsize=15149032 memory=7161331908245094050 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30377/stat : 30377 (java) S 30370 30370 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475366813 15512608768 11723 33554432000 4194304 4196468 140732572621024 140700190492944 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30378] ppid=30370 vsize=15149032 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30378/stat : 30378 (java) S 30370 30370 28986 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475366814 15512608768 11723 33554432000 4194304 4196468 140732572621024 140699743411056 140700600867458 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30379] ppid=30370 vsize=15149032 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30379/stat : 30379 (java) S 30370 30370 28986 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475366815 15512608768 11723 33554432000 4194304 4196468 140732572621024 140699742357024 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30380] ppid=30370 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30380/stat : 30380 (java) S 30370 30370 28986 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475366815 15512608768 11723 33554432000 4194304 4196468 140732572621024 140699741304176 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30381] ppid=30370 vsize=15149032 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30381/stat : 30381 (java) S 30370 30370 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475366817 15512608768 11723 33554432000 4194304 4196468 140732572621024 140699740252496 140700600874907 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30382] ppid=30370 vsize=15149032 memory=4426078206164241782 CPUtime=0.03 cores=1,3,5,7
/proc/30372/task/30382/stat : 30382 (java) S 30370 30370 28986 0 -1 1077944384 410 0 0 0 3 0 0 0 20 0 15 0 475366819 15512608768 11723 33554432000 4194304 4196468 140732572621024 140699739199856 140700600867458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30383] ppid=30370 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/30372/task/30383/stat : 30383 (java) S 30370 30370 28986 0 -1 1077944384 273 0 0 0 3 0 0 0 20 0 15 0 475366819 15512608768 11723 33554432000 4194304 4196468 140732572621024 140699738147056 140700600867458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30384] ppid=30370 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/30372/task/30384/stat : 30384 (java) R 30370 30370 28986 0 -1 4202560 957 0 0 0 12 0 0 0 20 0 15 0 475366819 15512608768 11723 33554432000 4194304 4196468 140732572621024 140699737094256 140700579469980 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30385] ppid=30370 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30385/stat : 30385 (java) S 30370 30370 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475366819 15512608768 11723 33554432000 4194304 4196468 140732572621024 140699736041696 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30386] ppid=30370 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30386/stat : 30386 (java) S 30370 30370 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475366819 15512608768 11723 33554432000 4194304 4196468 140732572621024 140699734990000 140700600867458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 48348 KiB
[startup+0.700731 s]
/proc/loadavg: 8.55 8.36 6.61 8/234 30386
/proc/meminfo: memFree=11538140/32770624 swapFree=66956680/67108860
[pid=30370] ppid=30367 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30370/stat : 30370 (xcsp3-exec) S 30367 30370 28986 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475366812 115843072 364 33554432000 4194304 5098028 140721246336912 140721246335016 140259416437372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31891456 140721246339927 140721246340185 140721246340185 140721246343110 0
/proc/30370/statm: 28282 364 305 221 0 87 0
[pid=30372] ppid=30370 vsize=15152180 memory=136584 CPUtime=1.64 cores=1,3,5,7
/proc/30372/stat : 30372 (java) S 30370 30370 28986 0 -1 1077944320 14799 0 0 0 158 6 0 0 20 0 15 0 475366812 15515832320 34146 33554432000 4194304 4196468 140732572621024 140732572603568 140700600856311 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
/proc/30372/statm: 3788045 34146 3443 1 0 3749145 0
[pid=30372/tid=30373] ppid=30370 vsize=15151156 memory=33 CPUtime=0.66 cores=1,3,5,7
/proc/30372/task/30373/stat : 30373 (java) R 30370 30370 28986 0 -1 4202560 8789 0 0 0 62 4 0 0 20 0 15 0 475366812 15514783744 34146 33554432000 4194304 4196468 140732572621024 140700605066160 140700593535533 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30374] ppid=30370 vsize=15152180 memory=288230600314300172 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30374/stat : 30374 (java) S 30370 30370 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475366813 15515832320 34146 33554432000 4194304 4196468 140732572621024 140700512512656 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30375] ppid=30370 vsize=15152180 memory=16106952818009964 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30375/stat : 30375 (java) S 30370 30370 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475366813 15515832320 34146 33554432000 4194304 4196468 140732572621024 140700192598544 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30376] ppid=30370 vsize=15152180 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30376/stat : 30376 (java) S 30370 30370 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475366813 15515832320 34146 33554432000 4194304 4196468 140732572621024 140700191545744 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30377] ppid=30370 vsize=15152180 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30377/stat : 30377 (java) S 30370 30370 28986 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475366813 15515832320 34146 33554432000 4194304 4196468 140732572621024 140700190492944 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30378] ppid=30370 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30378/stat : 30378 (java) S 30370 30370 28986 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475366814 15514783744 34146 33554432000 4194304 4196468 140732572621024 140699743411056 140700600867458 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30379] ppid=30370 vsize=15152180 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30379/stat : 30379 (java) S 30370 30370 28986 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475366815 15515832320 34146 33554432000 4194304 4196468 140732572621024 140699742357024 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30380] ppid=30370 vsize=15152180 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30380/stat : 30380 (java) S 30370 30370 28986 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475366815 15515832320 34146 33554432000 4194304 4196468 140732572621024 140699741304176 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30381] ppid=30370 vsize=15152180 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30381/stat : 30381 (java) S 30370 30370 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475366817 15515832320 34146 33554432000 4194304 4196468 140732572621024 140699740252496 140700600874907 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30382] ppid=30370 vsize=15151156 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/30372/task/30382/stat : 30382 (java) S 30370 30370 28986 0 -1 1077944384 1498 0 0 0 33 0 0 0 20 0 15 0 475366819 15514783744 34146 33554432000 4194304 4196468 140732572621024 140699739199856 140700600867458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30383] ppid=30370 vsize=15151156 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/30372/task/30383/stat : 30383 (java) R 30370 30370 28986 0 -1 4202560 1455 0 0 0 32 0 0 0 20 0 15 0 475366819 15514783744 34146 33554432000 4194304 4196468 140732572621024 140699738146240 140700584243115 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30384] ppid=30370 vsize=15152180 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/30372/task/30384/stat : 30384 (java) S 30370 30370 28986 0 -1 1077944384 1763 0 0 0 29 0 0 0 20 0 15 0 475366819 15515832320 34146 33554432000 4194304 4196468 140732572621024 140699737094256 140700600867458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30385] ppid=30370 vsize=15152180 memory=4639074098508484691 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30385/stat : 30385 (java) S 30370 30370 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475366819 15515832320 34146 33554432000 4194304 4196468 140732572621024 140699736041696 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30386] ppid=30370 vsize=15152180 memory=7379258371839585650 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30386/stat : 30386 (java) S 30370 30370 28986 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475366819 15515832320 34146 33554432000 4194304 4196468 140732572621024 140699734990000 140700600867458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 15265308 KiB
Current children cumulated memory: 138040 KiB
[startup+1.50081 s]
/proc/loadavg: 8.55 8.36 6.61 10/234 30386
/proc/meminfo: memFree=11433344/32770624 swapFree=66956680/67108860
[pid=30370] ppid=30367 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30370/stat : 30370 (xcsp3-exec) S 30367 30370 28986 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475366812 115843072 364 33554432000 4194304 5098028 140721246336912 140721246335016 140259416437372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31891456 140721246339927 140721246340185 140721246340185 140721246343110 0
/proc/30370/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/30372/task/30386/stat : 30386 (java) S 30370 30370 28986 0 -1 1077944384 1130 0 0 0 3 0 0 0 20 0 19 0 475366819 15994011648 103012 33554432000 4194304 4196468 140732572621024 140699734990000 140700600867458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30429] ppid=30370 vsize=15619152 memory=988 CPUtime=56.26 cores=1,3,5,7
/proc/30372/task/30429/stat : 30429 (java) R 30370 30370 28986 0 -1 4202560 466 0 0 0 5626 0 0 0 20 0 19 0 475369629 15994011648 103012 33554432000 4194304 4196468 140732572621024 140699720514616 140700199387299 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30430] ppid=30370 vsize=15619152 memory=412048 CPUtime=56.34 cores=1,3,5,7
/proc/30372/task/30430/stat : 30430 (java) R 30370 30370 28986 0 -1 4202560 1428 0 0 0 5634 0 0 0 20 0 19 0 475369629 15994011648 103012 33554432000 4194304 4196468 140732572621024 140699719462712 140700199387462 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30431] ppid=30370 vsize=15619152 memory=6791534058613427641 CPUtime=56.15 cores=1,3,5,7
/proc/30372/task/30431/stat : 30431 (java) R 30370 30370 28986 0 -1 4202560 1278 0 0 0 5615 0 0 0 20 0 19 0 475369629 15994011648 103012 33554432000 4194304 4196468 140732572621024 140699717356992 140700199387524 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30432] ppid=30370 vsize=15619152 memory=412048 CPUtime=55.77 cores=1,3,5,7
/proc/30372/task/30432/stat : 30432 (java) R 30370 30370 28986 0 -1 4202560 1487 0 0 0 5577 0 0 0 20 0 19 0 475369629 15994011648 103012 33554432000 4194304 4196468 140732572621024 140699723674168 140700199387144 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
Current children cumulated CPU time: 334.37 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 413504 KiB
[startup+85.6013 s]
/proc/loadavg: 8.74 8.49 6.82 9/237 30441
/proc/meminfo: memFree=11149588/32770624 swapFree=66956680/67108860
[pid=30370] ppid=30367 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30370/stat : 30370 (xcsp3-exec) S 30367 30370 28986 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475366812 115843072 364 33554432000 4194304 5098028 140721246336912 140721246335016 140259416437372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31891456 140721246339927 140721246340185 140721246340185 140721246343110 0
/proc/30370/statm: 28282 364 305 221 0 87 0
[pid=30372] ppid=30370 vsize=15619152 memory=412048 CPUtime=337.56 cores=1,3,5,7
/proc/30372/stat : 30372 (java) S 30370 30370 28986 0 -1 1077944320 87875 0 0 0 33726 30 0 0 20 0 19 0 475366812 15994011648 103012 33554432000 4194304 4196468 140732572621024 140732572603568 140700600856311 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
/proc/30372/statm: 3904788 103012 3529 1 0 3865888 0
[pid=30372/tid=30373] ppid=30370 vsize=15619152 memory=988 CPUtime=1.67 cores=1,3,5,7
/proc/30372/task/30373/stat : 30373 (java) S 30370 30370 28986 0 -1 1077944384 10914 0 0 0 161 6 0 0 20 0 19 0 475366812 15994011648 103012 33554432000 4194304 4196468 140732572621024 140700605097088 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30374] ppid=30370 vsize=15619152 memory=6791534058613427641 CPUtime=0.05 cores=1,3,5,7
/proc/30372/task/30374/stat : 30374 (java) S 30370 30370 28986 0 -1 1077944384 558 0 0 0 3 2 0 0 20 0 19 0 475366813 15994011648 103012 33554432000 4194304 4196468 140732572621024 140700512512656 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30375] ppid=30370 vsize=15619152 memory=1728 CPUtime=0.03 cores=1,3,5,7
/proc/30372/task/30375/stat : 30375 (java) S 30370 30370 28986 0 -1 1077944384 157 0 0 0 2 1 0 0 20 0 19 0 475366813 15994011648 103012 33554432000 4194304 4196468 140732572621024 140700192598544 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30376] ppid=30370 vsize=15619152 memory=1056 CPUtime=0.05 cores=1,3,5,7
/proc/30372/task/30376/stat : 30376 (java) S 30370 30370 28986 0 -1 1077944384 474 0 0 0 3 2 0 0 20 0 19 0 475366813 15994011648 103012 33554432000 4194304 4196468 140732572621024 140700191545744 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30377] ppid=30370 vsize=15619152 memory=1556 CPUtime=0.06 cores=1,3,5,7
/proc/30372/task/30377/stat : 30377 (java) S 30370 30370 28986 0 -1 1077944384 1055 0 0 0 4 2 0 0 20 0 19 0 475366813 15994011648 103012 33554432000 4194304 4196468 140732572621024 140700190492944 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30378] ppid=30370 vsize=15619152 memory=11632 CPUtime=0.02 cores=1,3,5,7
/proc/30372/task/30378/stat : 30378 (java) S 30370 30370 28986 0 -1 1077944384 1275 0 0 0 1 1 0 0 20 0 19 0 475366814 15994011648 103012 33554432000 4194304 4196468 140732572621024 140699743411056 140700600867458 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30379] ppid=30370 vsize=15619152 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30379/stat : 30379 (java) S 30370 30370 28986 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 475366815 15994011648 103012 33554432000 4194304 4196468 140732572621024 140699742357088 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30380] ppid=30370 vsize=15619152 memory=2112 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30380/stat : 30380 (java) S 30370 30370 28986 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 19 0 475366815 15994011648 103012 33554432000 4194304 4196468 140732572621024 140699741304192 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30381] ppid=30370 vsize=15619152 memory=12040 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30381/stat : 30381 (java) S 30370 30370 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475366817 15994011648 103012 33554432000 4194304 4196468 140732572621024 140699740252496 140700600874907 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30382] ppid=30370 vsize=15619152 memory=31840 CPUtime=3.64 cores=1,3,5,7
/proc/30372/task/30382/stat : 30382 (java) S 30370 30370 28986 0 -1 1077944384 22733 0 0 0 361 3 0 0 20 0 19 0 475366819 15994011648 103012 33554432000 4194304 4196468 140732572621024 140699739199856 140700600867458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30383] ppid=30370 vsize=15619152 memory=1556 CPUtime=3.9 cores=1,3,5,7
/proc/30372/task/30383/stat : 30383 (java) S 30370 30370 28986 0 -1 1077944384 22194 0 0 0 387 3 0 0 20 0 19 0 475366819 15994011648 103012 33554432000 4194304 4196468 140732572621024 140699738147056 140700600867458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30384] ppid=30370 vsize=15619152 memory=532 CPUtime=0.95 cores=1,3,5,7
/proc/30372/task/30384/stat : 30384 (java) S 30370 30370 28986 0 -1 1077944384 12501 0 0 0 93 2 0 0 20 0 19 0 475366819 15994011648 103012 33554432000 4194304 4196468 140732572621024 140699737094256 140700600867458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30385] ppid=30370 vsize=15619152 memory=928 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30385/stat : 30385 (java) S 30370 30370 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475366819 15994011648 103012 33554432000 4194304 4196468 140732572621024 140699736041696 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30386] ppid=30370 vsize=15619152 memory=1720 CPUtime=0.03 cores=1,3,5,7
/proc/30372/task/30386/stat : 30386 (java) S 30370 30370 28986 0 -1 1077944384 1130 0 0 0 3 0 0 0 20 0 19 0 475366819 15994011648 103012 33554432000 4194304 4196468 140732572621024 140699734990000 140700600867458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30429] ppid=30370 vsize=15619152 memory=1976 CPUtime=57.06 cores=1,3,5,7
/proc/30372/task/30429/stat : 30429 (java) R 30370 30370 28986 0 -1 4202560 466 0 0 0 5706 0 0 0 20 0 19 0 475369629 15994011648 103012 33554432000 4194304 4196468 140732572621024 140699720514616 140700199387225 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30430] ppid=30370 vsize=15619152 memory=1088 CPUtime=57.14 cores=1,3,5,7
/proc/30372/task/30430/stat : 30430 (java) R 30370 30370 28986 0 -1 4202560 1428 0 0 0 5714 0 0 0 20 0 19 0 475369629 15994011648 103012 33554432000 4194304 4196468 140732572621024 140699719462712 140700199387439 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30431] ppid=30370 vsize=15619152 memory=988 CPUtime=56.93 cores=1,3,5,7
/proc/30372/task/30431/stat : 30431 (java) R 30370 30370 28986 0 -1 4202560 1278 0 0 0 5693 0 0 0 20 0 19 0 475369629 15994011648 103012 33554432000 4194304 4196468 140732572621024 140699717356992 140700199387524 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30432] ppid=30370 vsize=15619152 memory=780 CPUtime=56.57 cores=1,3,5,7
/proc/30372/task/30432/stat : 30432 (java) R 30370 30370 28986 0 -1 4202560 1487 0 0 0 5657 0 0 0 20 0 19 0 475369629 15994011648 103012 33554432000 4194304 4196468 140732572621024 140699723674168 140700199387434 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
Current children cumulated CPU time: 337.56 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 413504 KiB
[startup+86.0013 s]*
/proc/loadavg: 8.74 8.49 6.82 9/237 30441
/proc/meminfo: memFree=11149712/32770624 swapFree=66956680/67108860
[pid=30370] ppid=30367 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30370/stat : 30370 (xcsp3-exec) S 30367 30370 28986 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475366812 115843072 364 33554432000 4194304 5098028 140721246336912 140721246335016 140259416437372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31891456 140721246339927 140721246340185 140721246340185 140721246343110 0
/proc/30370/statm: 28282 364 305 221 0 87 0
[pid=30372] ppid=30370 vsize=15619152 memory=412048 CPUtime=339.18 cores=1,3,5,7
/proc/30372/stat : 30372 (java) S 30370 30370 28986 0 -1 1077944320 87875 0 0 0 33888 30 0 0 20 0 19 0 475366812 15994011648 103012 33554432000 4194304 4196468 140732572621024 140732572603568 140700600856311 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
/proc/30372/statm: 3904788 103012 3529 1 0 3865888 0
[pid=30372/tid=30373] ppid=30370 vsize=15619152 memory=7022364632946311227 CPUtime=1.67 cores=1,3,5,7
/proc/30372/task/30373/stat : 30373 (java) S 30370 30370 28986 0 -1 1077944384 10914 0 0 0 161 6 0 0 20 0 19 0 475366812 15994011648 103012 33554432000 4194304 4196468 140732572621024 140700605097088 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30374] ppid=30370 vsize=15619152 memory=288288891625275963 CPUtime=0.05 cores=1,3,5,7
/proc/30372/task/30374/stat : 30374 (java) S 30370 30370 28986 0 -1 1077944384 558 0 0 0 3 2 0 0 20 0 19 0 475366813 15994011648 103012 33554432000 4194304 4196468 140732572621024 140700512512656 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30375] ppid=30370 vsize=15619152 memory=3760564204327956759 CPUtime=0.03 cores=1,3,5,7
/proc/30372/task/30375/stat : 30375 (java) S 30370 30370 28986 0 -1 1077944384 157 0 0 0 2 1 0 0 20 0 19 0 475366813 15994011648 103012 33554432000 4194304 4196468 140732572621024 140700192598544 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30376] ppid=30370 vsize=15619152 memory=6944656575208382560 CPUtime=0.05 cores=1,3,5,7
/proc/30372/task/30376/stat : 30376 (java) S 30370 30370 28986 0 -1 1077944384 474 0 0 0 3 2 0 0 20 0 19 0 475366813 15994011648 103012 33554432000 4194304 4196468 140732572621024 140700191545744 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30377] ppid=30370 vsize=15619152 memory=8505664916391803507 CPUtime=0.06 cores=1,3,5,7
/proc/30372/task/30377/stat : 30377 (java) S 30370 30370 28986 0 -1 1077944384 1055 0 0 0 4 2 0 0 20 0 19 0 475366813 15994011648 103012 33554432000 4194304 4196468 140732572621024 140700190492944 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30378] ppid=30370 vsize=15619152 memory=6371301990763347553 CPUtime=0.02 cores=1,3,5,7
/proc/30372/task/30378/stat : 30378 (java) S 30370 30370 28986 0 -1 1077944384 1275 0 0 0 1 1 0 0 20 0 19 0 475366814 15994011648 103012 33554432000 4194304 4196468 140732572621024 140699743411056 140700600867458 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30379] ppid=30370 vsize=15619152 memory=3761690091369734195 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30379/stat : 30379 (java) S 30370 30370 28986 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 475366815 15994011648 103012 33554432000 4194304 4196468 140732572621024 140699742357088 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30380] ppid=30370 vsize=15619152 memory=279918305277520 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30380/stat : 30380 (java) S 30370 30370 28986 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 19 0 475366815 15994011648 103012 33554432000 4194304 4196468 140732572621024 140699741304192 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30381] ppid=30370 vsize=15619152 memory=3472328304868209716 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30381/stat : 30381 (java) S 30370 30370 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475366817 15994011648 103012 33554432000 4194304 4196468 140732572621024 140699740252496 140700600874907 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30382] ppid=30370 vsize=15619152 memory=0 CPUtime=3.64 cores=1,3,5,7
/proc/30372/task/30382/stat : 30382 (java) S 30370 30370 28986 0 -1 1077944384 22733 0 0 0 361 3 0 0 20 0 19 0 475366819 15994011648 103012 33554432000 4194304 4196468 140732572621024 140699739199856 140700600867458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30383] ppid=30370 vsize=15619152 memory=8319106358720084020 CPUtime=3.9 cores=1,3,5,7
/proc/30372/task/30383/stat : 30383 (java) S 30370 30370 28986 0 -1 1077944384 22194 0 0 0 387 3 0 0 20 0 19 0 475366819 15994011648 103012 33554432000 4194304 4196468 140732572621024 140699738147056 140700600867458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30384] ppid=30370 vsize=15619152 memory=8751464017575819317 CPUtime=0.95 cores=1,3,5,7
/proc/30372/task/30384/stat : 30384 (java) S 30370 30370 28986 0 -1 1077944384 12501 0 0 0 93 2 0 0 20 0 19 0 475366819 15994011648 103012 33554432000 4194304 4196468 140732572621024 140699737094256 140700600867458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30385] ppid=30370 vsize=15619152 memory=8387335774387518873 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30385/stat : 30385 (java) S 30370 30370 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475366819 15994011648 103012 33554432000 4194304 4196468 140732572621024 140699736041696 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30386] ppid=30370 vsize=15619152 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/30372/task/30386/stat : 30386 (java) S 30370 30370 28986 0 -1 1077944384 1130 0 0 0 3 0 0 0 20 0 19 0 475366819 15994011648 103012 33554432000 4194304 4196468 140732572621024 140699734990000 140700600867458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30429] ppid=30370 vsize=15619152 memory=0 CPUtime=57.47 cores=1,3,5,7
/proc/30372/task/30429/stat : 30429 (java) R 30370 30370 28986 0 -1 4202560 466 0 0 0 5747 0 0 0 20 0 19 0 475369629 15994011648 103012 33554432000 4194304 4196468 140732572621024 140699720514616 140700199387339 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30430] ppid=30370 vsize=15619152 memory=0 CPUtime=57.55 cores=1,3,5,7
/proc/30372/task/30430/stat : 30430 (java) R 30370 30370 28986 0 -1 4202560 1428 0 0 0 5755 0 0 0 20 0 19 0 475369629 15994011648 103012 33554432000 4194304 4196468 140732572621024 140699719462712 140700199387710 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30431] ppid=30370 vsize=15619152 memory=0 CPUtime=57.33 cores=1,3,5,7
/proc/30372/task/30431/stat : 30431 (java) R 30370 30370 28986 0 -1 4202560 1278 0 0 0 5733 0 0 0 20 0 19 0 475369629 15994011648 103012 33554432000 4194304 4196468 140732572621024 140699717356992 140700199799197 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30432] ppid=30370 vsize=15619152 memory=0 CPUtime=56.98 cores=1,3,5,7
/proc/30372/task/30432/stat : 30432 (java) R 30370 30370 28986 0 -1 4202560 1487 0 0 0 5698 0 0 0 20 0 19 0 475369629 15994011648 103012 33554432000 4194304 4196468 140732572621024 140699723674168 140700199387374 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
Current children cumulated CPU time: 339.18 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 413504 KiB
[startup+86.1193 s]
/proc/loadavg: 8.74 8.49 6.82 9/237 30441
/proc/meminfo: memFree=11149712/32770624 swapFree=66956680/67108860
[pid=30370] ppid=30367 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30370/stat : 30370 (xcsp3-exec) S 30367 30370 28986 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475366812 115843072 364 33554432000 4194304 5098028 140721246336912 140721246335016 140259416437372 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31891456 140721246339927 140721246340185 140721246340185 140721246343110 0
/proc/30370/statm: 28282 364 305 221 0 87 0
[pid=30372] ppid=30370 vsize=15619152 memory=412048 CPUtime=339.61 cores=1,3,5,7
/proc/30372/stat : 30372 (java) S 30370 30370 28986 0 -1 1077944320 87875 0 0 0 33931 30 0 0 20 0 19 0 475366812 15994011648 103012 33554432000 4194304 4196468 140732572621024 140732572603568 140700600856311 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
/proc/30372/statm: 3904788 103012 3529 1 0 3865888 0
[pid=30372/tid=30373] ppid=30370 vsize=15619152 memory=1456 CPUtime=1.67 cores=1,3,5,7
/proc/30372/task/30373/stat : 30373 (java) S 30370 30370 28986 0 -1 1077944384 10914 0 0 0 161 6 0 0 20 0 19 0 475366812 15994011648 103012 33554432000 4194304 4196468 140732572621024 140700605097088 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30374] ppid=30370 vsize=15619152 memory=412048 CPUtime=0.05 cores=1,3,5,7
/proc/30372/task/30374/stat : 30374 (java) S 30370 30370 28986 0 -1 1077944384 558 0 0 0 3 2 0 0 20 0 19 0 475366813 15994011648 103012 33554432000 4194304 4196468 140732572621024 140700512512656 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30375] ppid=30370 vsize=15619152 memory=412048 CPUtime=0.03 cores=1,3,5,7
/proc/30372/task/30375/stat : 30375 (java) S 30370 30370 28986 0 -1 1077944384 157 0 0 0 2 1 0 0 20 0 19 0 475366813 15994011648 103012 33554432000 4194304 4196468 140732572621024 140700192598544 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30376] ppid=30370 vsize=15619152 memory=412048 CPUtime=0.05 cores=1,3,5,7
/proc/30372/task/30376/stat : 30376 (java) S 30370 30370 28986 0 -1 1077944384 474 0 0 0 3 2 0 0 20 0 19 0 475366813 15994011648 103012 33554432000 4194304 4196468 140732572621024 140700191545744 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30377] ppid=30370 vsize=15619152 memory=412048 CPUtime=0.06 cores=1,3,5,7
/proc/30372/task/30377/stat : 30377 (java) S 30370 30370 28986 0 -1 1077944384 1055 0 0 0 4 2 0 0 20 0 19 0 475366813 15994011648 103012 33554432000 4194304 4196468 140732572621024 140700190492944 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30378] ppid=30370 vsize=15619152 memory=1456 CPUtime=0.02 cores=1,3,5,7
/proc/30372/task/30378/stat : 30378 (java) S 30370 30370 28986 0 -1 1077944384 1275 0 0 0 1 1 0 0 20 0 19 0 475366814 15994011648 103012 33554432000 4194304 4196468 140732572621024 140699743411056 140700600867458 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30379] ppid=30370 vsize=15619152 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30379/stat : 30379 (java) S 30370 30370 28986 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 475366815 15994011648 103012 33554432000 4194304 4196468 140732572621024 140699742357088 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30380] ppid=30370 vsize=15619152 memory=412048 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30380/stat : 30380 (java) S 30370 30370 28986 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 19 0 475366815 15994011648 103012 33554432000 4194304 4196468 140732572621024 140699741304192 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30381] ppid=30370 vsize=15619152 memory=412048 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30381/stat : 30381 (java) S 30370 30370 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475366817 15994011648 103012 33554432000 4194304 4196468 140732572621024 140699740252496 140700600874907 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30382] ppid=30370 vsize=15619152 memory=1456 CPUtime=3.64 cores=1,3,5,7
/proc/30372/task/30382/stat : 30382 (java) S 30370 30370 28986 0 -1 1077944384 22733 0 0 0 361 3 0 0 20 0 19 0 475366819 15994011648 103012 33554432000 4194304 4196468 140732572621024 140699739199856 140700600867458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30383] ppid=30370 vsize=15619152 memory=988 CPUtime=3.9 cores=1,3,5,7
/proc/30372/task/30383/stat : 30383 (java) S 30370 30370 28986 0 -1 1077944384 22194 0 0 0 387 3 0 0 20 0 19 0 475366819 15994011648 103012 33554432000 4194304 4196468 140732572621024 140699738147056 140700600867458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30384] ppid=30370 vsize=15619152 memory=1428 CPUtime=0.95 cores=1,3,5,7
/proc/30372/task/30384/stat : 30384 (java) S 30370 30370 28986 0 -1 1077944384 12501 0 0 0 93 2 0 0 20 0 19 0 475366819 15994011648 103012 33554432000 4194304 4196468 140732572621024 140699737094256 140700600867458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30385] ppid=30370 vsize=15619152 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/30372/task/30385/stat : 30385 (java) S 30370 30370 28986 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475366819 15994011648 103012 33554432000 4194304 4196468 140732572621024 140699736041696 140700600866517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30386] ppid=30370 vsize=15619152 memory=1456 CPUtime=0.03 cores=1,3,5,7
/proc/30372/task/30386/stat : 30386 (java) S 30370 30370 28986 0 -1 1077944384 1130 0 0 0 3 0 0 0 20 0 19 0 475366819 15994011648 103012 33554432000 4194304 4196468 140732572621024 140699734990000 140700600867458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30429] ppid=30370 vsize=15619152 memory=0 CPUtime=57.58 cores=1,3,5,7
/proc/30372/task/30429/stat : 30429 (java) R 30370 30370 28986 0 -1 4202560 466 0 0 0 5758 0 0 0 20 0 19 0 475369629 15994011648 103012 33554432000 4194304 4196468 140732572621024 140699720514616 140700200021954 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30430] ppid=30370 vsize=15619152 memory=6933690305039933585 CPUtime=57.66 cores=1,3,5,7
/proc/30372/task/30430/stat : 30430 (java) R 30370 30370 28986 0 -1 4202560 1428 0 0 0 5766 0 0 0 20 0 19 0 475369629 15994011648 103012 33554432000 4194304 4196468 140732572621024 140699719462712 140700199387439 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30431] ppid=30370 vsize=15619152 memory=412048 CPUtime=57.44 cores=1,3,5,7
/proc/30372/task/30431/stat : 30431 (java) R 30370 30370 28986 0 -1 4202560 1278 0 0 0 5744 0 0 0 20 0 19 0 475369629 15994011648 103012 33554432000 4194304 4196468 140732572621024 140699717356992 140700199387374 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
[pid=30372/tid=30432] ppid=30370 vsize=15619152 memory=1088 CPUtime=57.09 cores=1,3,5,7
/proc/30372/task/30432/stat : 30432 (java) R 30370 30370 28986 0 -1 4202560 1487 0 0 0 5709 0 0 0 20 0 19 0 475369629 15994011648 103012 33554432000 4194304 4196468 140732572621024 140699723674168 140700199585804 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33271808 140732572623835 140732572624010 140732572624010 140732572626895 0
Current children cumulated CPU time: 339.61 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 413504 KiB
Child status: 0
Real time (s): 86.134
CPU time (s): 339.654
CPU user time (s): 339.342
CPU system time (s): 0.312442
CPU usage (%): 394.332
Max. virtual memory (cumulated for all children) (KiB): 15732280
Max. memory (cumulated for all children) (KiB): 419620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 339.342
system time used= 0.312442
maximum resident set size= 418164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89119
page faults= 0
swaps= 0
block input operations= 8
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5835
involuntary context switches= 6357
# summary of solver processes directly reported to runsolver:
# pid: 30370
# total CPU time (s): 339.654
# total CPU user time (s): 339.342
# total CPU system time (s): 0.312442
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.568485 second user time and 1.09009 second system time
The end