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 (14894 MiB free)
memory of node 1: 16384 MiB (15487 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394220-1568327561/watcher-4394220-1568327561 -o /tmp/evaluation-result-4394220-1568327561/solver-4394220-1568327561 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568323682-25332 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 147272763 HOME/instance-4394220-1568327561.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=31250, runsolver pid=31247
Current StackSize limit: 8192 KiB
[startup+0.100081 s]*
/proc/loadavg: 8.74 8.68 7.67 8/234 31266
/proc/meminfo: memFree=31093988/32770624 swapFree=66933612/67108860
[pid=31250] ppid=31247 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31250/stat : 31250 (xcsp3-exec) S 31247 31250 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409027611 115843072 362 33554432000 4194304 5098028 140727544680928 140727544679032 140658916594300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18776064 140727544685435 140727544685677 140727544685677 140727544688586 0
/proc/31250/statm: 28282 362 304 221 0 87 0
[pid=31252] ppid=31250 vsize=15144768 memory=30372 CPUtime=0.13 cores=1,3,5,7
/proc/31252/stat : 31252 (java) S 31250 31250 25300 0 -1 1077944320 5527 0 0 0 12 1 0 0 20 0 15 0 409027611 15508242432 7593 33554432000 4194304 4196468 140728469351488 140728469334032 140249376112375 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
/proc/31252/statm: 3786192 7593 3155 1 0 3748377 0
[pid=31252/tid=31253] ppid=31250 vsize=15144768 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/31252/task/31253/stat : 31253 (java) R 31250 31250 25300 0 -1 4202560 3396 0 0 0 9 0 0 0 20 0 15 0 409027611 15508242432 7593 33554432000 4194304 4196468 140728469351488 140249380341968 140249013519264 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31254] ppid=31250 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31254/stat : 31254 (java) S 31250 31250 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409027612 15508242432 7593 33554432000 4194304 4196468 140728469351488 140248968256144 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31255] ppid=31250 vsize=15144768 memory=139843638589056 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31255/stat : 31255 (java) S 31250 31250 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409027612 15508242432 7593 33554432000 4194304 4196468 140728469351488 140248967203344 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31256] ppid=31250 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31256/stat : 31256 (java) S 31250 31250 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409027612 15508242432 7593 33554432000 4194304 4196468 140728469351488 140248966150544 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31257] ppid=31250 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31257/stat : 31257 (java) S 31250 31250 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409027612 15508242432 7593 33554432000 4194304 4196468 140728469351488 140248965097744 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31258] ppid=31250 vsize=15144768 memory=139843638589056 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31258/stat : 31258 (java) S 31250 31250 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409027613 15508242432 7593 33554432000 4194304 4196468 140728469351488 140248710314864 140249376123522 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31259] ppid=31250 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31259/stat : 31259 (java) S 31250 31250 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409027614 15508242432 7593 33554432000 4194304 4196468 140728469351488 140248709260832 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31260] ppid=31250 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31260/stat : 31260 (java) S 31250 31250 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409027614 15508242432 7593 33554432000 4194304 4196468 140728469351488 140248708207984 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31261] ppid=31250 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31261/stat : 31261 (java) S 31250 31250 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409027616 15508242432 7593 33554432000 4194304 4196468 140728469351488 140248707156304 140249376130971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31262] ppid=31250 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31262/stat : 31262 (java) S 31250 31250 25300 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 15 0 409027616 15508242432 7593 33554432000 4194304 4196468 140728469351488 140248706103664 140249376123522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31263] ppid=31250 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31263/stat : 31263 (java) S 31250 31250 25300 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 409027616 15508242432 7593 33554432000 4194304 4196468 140728469351488 140248705050864 140249376123522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31264] ppid=31250 vsize=15144768 memory=139843638589056 CPUtime=0.02 cores=1,3,5,7
/proc/31252/task/31264/stat : 31264 (java) S 31250 31250 25300 0 -1 1077944384 370 0 0 0 2 0 0 0 20 0 15 0 409027616 15508242432 7593 33554432000 4194304 4196468 140728469351488 140248703998064 140249376123522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31265] ppid=31250 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31265/stat : 31265 (java) S 31250 31250 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409027616 15508242432 7593 33554432000 4194304 4196468 140728469351488 140248702945504 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31266] ppid=31250 vsize=15144768 memory=139843638589056 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31266/stat : 31266 (java) S 31250 31250 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409027617 15508242432 7593 33554432000 4194304 4196468 140728469351488 140248701893808 140249376123522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31820 KiB
[startup+0.21157 s]*
/proc/loadavg: 8.74 8.68 7.67 7/234 31266
/proc/meminfo: memFree=31081516/32770624 swapFree=66933612/67108860
[pid=31250] ppid=31247 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31250/stat : 31250 (xcsp3-exec) S 31247 31250 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409027611 115843072 362 33554432000 4194304 5098028 140727544680928 140727544679032 140658916594300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18776064 140727544685435 140727544685677 140727544685677 140727544688586 0
/proc/31250/statm: 28282 362 304 221 0 87 0
[pid=31252] ppid=31250 vsize=15144768 memory=41132 CPUtime=0.34 cores=1,3,5,7
/proc/31252/stat : 31252 (java) S 31250 31250 25300 0 -1 1077944320 9017 0 0 0 32 2 0 0 20 0 15 0 409027611 15508242432 10283 33554432000 4194304 4196468 140728469351488 140728469334032 140249376112375 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
/proc/31252/statm: 3786192 10283 3252 1 0 3748377 0
[pid=31252/tid=31253] ppid=31250 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/31252/task/31253/stat : 31253 (java) R 31250 31250 25300 0 -1 4202560 6204 0 0 0 19 1 0 0 20 0 15 0 409027611 15508242432 10283 33554432000 4194304 4196468 140728469351488 140249380347360 140249376124310 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31254] ppid=31250 vsize=15144768 memory=2964501 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31254/stat : 31254 (java) S 31250 31250 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409027612 15508242432 10283 33554432000 4194304 4196468 140728469351488 140248968256144 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31255] ppid=31250 vsize=15144768 memory=288370219790300800 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31255/stat : 31255 (java) S 31250 31250 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409027612 15508242432 10283 33554432000 4194304 4196468 140728469351488 140248967203344 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31256] ppid=31250 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31256/stat : 31256 (java) S 31250 31250 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409027612 15508242432 10283 33554432000 4194304 4196468 140728469351488 140248966150544 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31257] ppid=31250 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31257/stat : 31257 (java) S 31250 31250 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409027612 15508242432 10283 33554432000 4194304 4196468 140728469351488 140248965097744 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31258] ppid=31250 vsize=15144768 memory=139843638589056 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31258/stat : 31258 (java) S 31250 31250 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409027613 15508242432 10283 33554432000 4194304 4196468 140728469351488 140248710314864 140249376123522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31259] ppid=31250 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31259/stat : 31259 (java) S 31250 31250 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409027614 15508242432 10283 33554432000 4194304 4196468 140728469351488 140248709260832 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31260] ppid=31250 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31260/stat : 31260 (java) S 31250 31250 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409027614 15508242432 10283 33554432000 4194304 4196468 140728469351488 140248708207984 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31261] ppid=31250 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31261/stat : 31261 (java) S 31250 31250 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409027616 15508242432 10283 33554432000 4194304 4196468 140728469351488 140248707156304 140249376130971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31262] ppid=31250 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/31252/task/31262/stat : 31262 (java) S 31250 31250 25300 0 -1 1077944384 453 0 0 0 2 0 0 0 20 0 15 0 409027616 15508242432 10283 33554432000 4194304 4196468 140728469351488 140248706103664 140249376123522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31263] ppid=31250 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/31252/task/31263/stat : 31263 (java) S 31250 31250 25300 0 -1 1077944384 295 0 0 0 2 0 0 0 20 0 15 0 409027616 15508242432 10283 33554432000 4194304 4196468 140728469351488 140248705050864 140249376123522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31264] ppid=31250 vsize=15144768 memory=139843638589056 CPUtime=0.08 cores=1,3,5,7
/proc/31252/task/31264/stat : 31264 (java) R 31250 31250 25300 0 -1 4202560 758 0 0 0 8 0 0 0 20 0 15 0 409027616 15508242432 10283 33554432000 4194304 4196468 140728469351488 140248703998064 140249355534077 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31265] ppid=31250 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31265/stat : 31265 (java) S 31250 31250 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409027616 15508242432 10283 33554432000 4194304 4196468 140728469351488 140248702945504 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31266] ppid=31250 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31266/stat : 31266 (java) S 31250 31250 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409027617 15508242432 10283 33554432000 4194304 4196468 140728469351488 140248701893808 140249376123522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42580 KiB
[startup+0.316623 s]*
/proc/loadavg: 8.74 8.68 7.67 7/234 31266
/proc/meminfo: memFree=31074572/32770624 swapFree=66933612/67108860
[pid=31250] ppid=31247 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31250/stat : 31250 (xcsp3-exec) S 31247 31250 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409027611 115843072 362 33554432000 4194304 5098028 140727544680928 140727544679032 140658916594300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18776064 140727544685435 140727544685677 140727544685677 140727544688586 0
/proc/31250/statm: 28282 362 304 221 0 87 0
[pid=31252] ppid=31250 vsize=15149024 memory=50836 CPUtime=0.53 cores=1,3,5,7
/proc/31252/stat : 31252 (java) S 31250 31250 25300 0 -1 1077944320 10451 0 0 0 50 3 0 0 20 0 15 0 409027611 15512600576 12709 33554432000 4194304 4196468 140728469351488 140728469334032 140249376112375 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
/proc/31252/statm: 3787256 12709 3369 1 0 3748377 0
[pid=31252/tid=31253] ppid=31250 vsize=15149024 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/31252/task/31253/stat : 31253 (java) R 31250 31250 25300 0 -1 4202560 7418 0 0 0 28 2 0 0 20 0 15 0 409027611 15512600576 12709 33554432000 4194304 4196468 140728469351488 140249380349696 140249360192862 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31254] ppid=31250 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31254/stat : 31254 (java) S 31250 31250 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409027612 15512600576 12709 33554432000 4194304 4196468 140728469351488 140248968256144 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31255] ppid=31250 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31255/stat : 31255 (java) S 31250 31250 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409027612 15512600576 12709 33554432000 4194304 4196468 140728469351488 140248967203344 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31256] ppid=31250 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31256/stat : 31256 (java) S 31250 31250 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409027612 15512600576 12709 33554432000 4194304 4196468 140728469351488 140248966150544 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31257] ppid=31250 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31257/stat : 31257 (java) S 31250 31250 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409027612 15512600576 12709 33554432000 4194304 4196468 140728469351488 140248965097744 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31258] ppid=31250 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31258/stat : 31258 (java) S 31250 31250 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409027613 15512600576 12709 33554432000 4194304 4196468 140728469351488 140248710314864 140249376123522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31259] ppid=31250 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31259/stat : 31259 (java) S 31250 31250 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409027614 15512600576 12709 33554432000 4194304 4196468 140728469351488 140248709260832 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31260] ppid=31250 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31260/stat : 31260 (java) S 31250 31250 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409027614 15512600576 12709 33554432000 4194304 4196468 140728469351488 140248708207984 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31261] ppid=31250 vsize=15149024 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31261/stat : 31261 (java) S 31250 31250 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409027616 15512600576 12709 33554432000 4194304 4196468 140728469351488 140248707156304 140249376130971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31262] ppid=31250 vsize=15149024 memory=4426078206164241782 CPUtime=0.03 cores=1,3,5,7
/proc/31252/task/31262/stat : 31262 (java) S 31250 31250 25300 0 -1 1077944384 475 0 0 0 3 0 0 0 20 0 15 0 409027616 15512600576 12709 33554432000 4194304 4196468 140728469351488 140248706103664 140249376123522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31263] ppid=31250 vsize=15149024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/31252/task/31263/stat : 31263 (java) S 31250 31250 25300 0 -1 1077944384 405 0 0 0 5 0 0 0 20 0 15 0 409027616 15512600576 12709 33554432000 4194304 4196468 140728469351488 140248705050864 140249376123522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31264] ppid=31250 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/31252/task/31264/stat : 31264 (java) S 31250 31250 25300 0 -1 1077944384 848 0 0 0 12 0 0 0 20 0 15 0 409027616 15512600576 12709 33554432000 4194304 4196468 140728469351488 140248703998064 140249376123522 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31265] ppid=31250 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31265/stat : 31265 (java) S 31250 31250 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409027616 15512600576 12709 33554432000 4194304 4196468 140728469351488 140248702945504 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31266] ppid=31250 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31266/stat : 31266 (java) S 31250 31250 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409027617 15512600576 12709 33554432000 4194304 4196468 140728469351488 140248701893808 140249376123522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 52284 KiB
[startup+0.706665 s]
/proc/loadavg: 8.74 8.68 7.67 7/234 31266
/proc/meminfo: memFree=31063592/32770624 swapFree=66933612/67108860
[pid=31250] ppid=31247 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31250/stat : 31250 (xcsp3-exec) S 31247 31250 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409027611 115843072 362 33554432000 4194304 5098028 140727544680928 140727544679032 140658916594300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18776064 140727544685435 140727544685677 140727544685677 140727544688586 0
/proc/31250/statm: 28282 362 304 221 0 87 0
[pid=31252] ppid=31250 vsize=15417404 memory=81212 CPUtime=1.55 cores=1,3,5,7
/proc/31252/stat : 31252 (java) S 31250 31250 25300 0 -1 1077944320 13593 0 0 0 149 6 0 0 20 0 19 0 409027611 15787421696 20303 33554432000 4194304 4196468 140728469351488 140728469334032 140249376112375 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
/proc/31252/statm: 3854351 20303 3452 1 0 3815453 0
[pid=31252/tid=31253] ppid=31250 vsize=15417404 memory=20180 CPUtime=0.65 cores=1,3,5,7
/proc/31252/task/31253/stat : 31253 (java) S 31250 31250 25300 0 -1 1077944384 8739 0 0 0 61 4 0 0 20 0 19 0 409027611 15787421696 20303 33554432000 4194304 4196468 140728469351488 140249380353152 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31254] ppid=31250 vsize=15417404 memory=984 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31254/stat : 31254 (java) S 31250 31250 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409027612 15787421696 20303 33554432000 4194304 4196468 140728469351488 140248968256144 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31255] ppid=31250 vsize=15417404 memory=2032 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31255/stat : 31255 (java) S 31250 31250 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409027612 15787421696 20303 33554432000 4194304 4196468 140728469351488 140248967203344 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31256] ppid=31250 vsize=15417404 memory=1332 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31256/stat : 31256 (java) S 31250 31250 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409027612 15787421696 20303 33554432000 4194304 4196468 140728469351488 140248966150544 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31257] ppid=31250 vsize=15417404 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31257/stat : 31257 (java) S 31250 31250 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 409027612 15787421696 20303 33554432000 4194304 4196468 140728469351488 140248965097744 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31258] ppid=31250 vsize=15417404 memory=976 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31258/stat : 31258 (java) S 31250 31250 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 409027613 15787421696 20303 33554432000 4194304 4196468 140728469351488 140248710314864 140249376123522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31259] ppid=31250 vsize=15417404 memory=772 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31259/stat : 31259 (java) S 31250 31250 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409027614 15787421696 20303 33554432000 4194304 4196468 140728469351488 140248709260832 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31260] ppid=31250 vsize=15417404 memory=3932 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31260/stat : 31260 (java) S 31250 31250 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 409027614 15787421696 20303 33554432000 4194304 4196468 140728469351488 140248708207984 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31261] ppid=31250 vsize=15417404 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31261/stat : 31261 (java) S 31250 31250 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409027616 15787421696 20303 33554432000 4194304 4196468 140728469351488 140248707156304 140249376130971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31262] ppid=31250 vsize=15417404 memory=1548 CPUtime=0.18 cores=1,3,5,7
/proc/31252/task/31262/stat : 31262 (java) S 31250 31250 25300 0 -1 1077944384 928 0 0 0 18 0 0 0 20 0 19 0 409027616 15787421696 20303 33554432000 4194304 4196468 140728469351488 140248706103664 140249376123522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31263] ppid=31250 vsize=15417404 memory=1056 CPUtime=0.19 cores=1,3,5,7
/proc/31252/task/31263/stat : 31263 (java) R 31250 31250 25300 0 -1 4202560 634 0 0 0 19 0 0 0 20 0 19 0 409027616 15787421696 20303 33554432000 4194304 4196468 140728469351488 140248705043888 140249354348761 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31264] ppid=31250 vsize=15417404 memory=744 CPUtime=0.43 cores=1,3,5,7
/proc/31252/task/31264/stat : 31264 (java) R 31250 31250 25300 0 -1 4202560 1788 0 0 0 43 0 0 0 20 0 19 0 409027616 15787421696 20303 33554432000 4194304 4196468 140728469351488 140248703996464 140249376124310 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31265] ppid=31250 vsize=15417404 memory=8296 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31265/stat : 31265 (java) S 31250 31250 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409027616 15787421696 20303 33554432000 4194304 4196468 140728469351488 140248702945504 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31266] ppid=31250 vsize=15417404 memory=5952 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31266/stat : 31266 (java) S 31250 31250 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409027617 15787421696 20303 33554432000 4194304 4196468 140728469351488 140248701893808 140249376123522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
Current children cumulated CPU time: 1.55 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 82660 KiB
[startup+1.50363 s]
/proc/loadavg: 8.74 8.68 7.67 11/238 31298
/proc/meminfo: memFree=30963948/32770624 swapFree=66933612/67108860
[pid=31250] ppid=31247 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31250/stat : 31250 (xcsp3-exec) S 31247 31250 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409027611 115843072 362 33554432000 4194304 5098028 140727544680928 140727544679032 140658916594300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18776064 140727544685435 140727544685677 140727544685677 140727544688586 0
/proc/31250/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/31252/task/31266/stat : 31266 (java) S 31250 31250 25300 0 -1 1077944384 621 0 0 0 2 2 0 0 20 0 19 0 409027617 15790571520 76559 33554432000 4194304 4196468 140728469351488 140248701893808 140249376123522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31322] ppid=31250 vsize=15420480 memory=1440 CPUtime=85.64 cores=1,3,5,7
/proc/31252/task/31322/stat : 31322 (java) R 31250 31250 25300 0 -1 4202560 1092 0 0 0 8564 0 0 0 20 0 19 0 409031391 15790571520 76559 33554432000 4194304 4196468 140728469351488 140248692684192 140249018862788 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31323] ppid=31250 vsize=15420480 memory=808 CPUtime=85.45 cores=1,3,5,7
/proc/31252/task/31323/stat : 31323 (java) R 31250 31250 25300 0 -1 4202560 3840 0 0 0 8544 1 0 0 20 0 19 0 409031391 15790571520 76559 33554432000 4194304 4196468 140728469351488 140248690577176 140249020881835 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31324] ppid=31250 vsize=15420480 memory=1772 CPUtime=85.56 cores=1,3,5,7
/proc/31252/task/31324/stat : 31324 (java) R 31250 31250 25300 0 -1 4202560 2773 0 0 0 8555 1 0 0 20 0 19 0 409031391 15790571520 76559 33554432000 4194304 4196468 140728469351488 140248688471720 140249018859986 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31325] ppid=31250 vsize=15420480 memory=294116 CPUtime=85.73 cores=1,3,5,7
/proc/31252/task/31325/stat : 31325 (java) R 31250 31250 25300 0 -1 4202560 515 0 0 0 8573 0 0 0 20 0 19 0 409031391 15790571520 76559 33554432000 4194304 4196468 140728469351488 140248691630368 140249020035138 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
Current children cumulated CPU time: 488.38 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 307684 KiB
[startup+126.401 s]
/proc/loadavg: 9.37 8.80 7.83 8/238 31336
/proc/meminfo: memFree=30190080/32770624 swapFree=66933612/67108860
[pid=31250] ppid=31247 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31250/stat : 31250 (xcsp3-exec) S 31247 31250 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409027611 115843072 362 33554432000 4194304 5098028 140727544680928 140727544679032 140658916594300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18776064 140727544685435 140727544685677 140727544685677 140727544688586 0
/proc/31250/statm: 28282 362 304 221 0 87 0
[pid=31252] ppid=31250 vsize=15420480 memory=319280 CPUtime=494.31 cores=1,3,5,7
/proc/31252/stat : 31252 (java) S 31250 31250 25300 0 -1 1077944320 57034 0 0 0 49395 36 0 0 20 0 19 0 409027611 15790571520 79820 33554432000 4194304 4196468 140728469351488 140728469334032 140249376112375 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
/proc/31252/statm: 3855120 79820 3526 1 0 3816222 0
[pid=31252/tid=31253] ppid=31250 vsize=15420480 memory=1448 CPUtime=0.65 cores=1,3,5,7
/proc/31252/task/31253/stat : 31253 (java) S 31250 31250 25300 0 -1 1077944384 8934 0 0 0 61 4 0 0 20 0 19 0 409027611 15790571520 79820 33554432000 4194304 4196468 140728469351488 140249380353152 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31254] ppid=31250 vsize=15420480 memory=6791534058613427641 CPUtime=0.46 cores=1,3,5,7
/proc/31252/task/31254/stat : 31254 (java) S 31250 31250 25300 0 -1 1077944384 2391 0 0 0 42 4 0 0 20 0 19 0 409027612 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248968256144 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31255] ppid=31250 vsize=15420480 memory=305724 CPUtime=0.46 cores=1,3,5,7
/proc/31252/task/31255/stat : 31255 (java) S 31250 31250 25300 0 -1 1077944384 3626 0 0 0 42 4 0 0 20 0 19 0 409027612 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248967203344 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31256] ppid=31250 vsize=15420480 memory=1412 CPUtime=0.47 cores=1,3,5,7
/proc/31252/task/31256/stat : 31256 (java) S 31250 31250 25300 0 -1 1077944384 1521 0 0 0 44 3 0 0 20 0 19 0 409027612 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248966150544 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31257] ppid=31250 vsize=15420480 memory=3236 CPUtime=0.46 cores=1,3,5,7
/proc/31252/task/31257/stat : 31257 (java) S 31250 31250 25300 0 -1 1077944384 3018 0 0 0 43 3 0 0 20 0 19 0 409027612 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248965097744 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31258] ppid=31250 vsize=15420480 memory=1448 CPUtime=0.35 cores=1,3,5,7
/proc/31252/task/31258/stat : 31258 (java) S 31250 31250 25300 0 -1 1077944384 3305 0 0 0 25 10 0 0 20 0 19 0 409027613 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248710314864 140249376123522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31259] ppid=31250 vsize=15420480 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31259/stat : 31259 (java) S 31250 31250 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409027614 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248709260896 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31260] ppid=31250 vsize=15420480 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31260/stat : 31260 (java) S 31250 31250 25300 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 409027614 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248708208000 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31261] ppid=31250 vsize=15420480 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31261/stat : 31261 (java) S 31250 31250 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409027616 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248707156304 140249376130971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31262] ppid=31250 vsize=15420480 memory=0 CPUtime=1.71 cores=1,3,5,7
/proc/31252/task/31262/stat : 31262 (java) S 31250 31250 25300 0 -1 1077944384 7015 0 0 0 170 1 0 0 20 0 19 0 409027616 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248706103664 140249376123522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31263] ppid=31250 vsize=15420480 memory=139843531637200 CPUtime=1.48 cores=1,3,5,7
/proc/31252/task/31263/stat : 31263 (java) S 31250 31250 25300 0 -1 1077944384 6457 0 0 0 148 0 0 0 20 0 19 0 409027616 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248705050864 140249376123522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31264] ppid=31250 vsize=15420480 memory=1448 CPUtime=0.72 cores=1,3,5,7
/proc/31252/task/31264/stat : 31264 (java) S 31250 31250 25300 0 -1 1077944384 4995 0 0 0 72 0 0 0 20 0 19 0 409027616 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248703998064 140249376123522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 22 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31265] ppid=31250 vsize=15420480 memory=306236 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31265/stat : 31265 (java) S 31250 31250 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409027616 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248702945504 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31266] ppid=31250 vsize=15420480 memory=6943487855420614559 CPUtime=0.04 cores=1,3,5,7
/proc/31252/task/31266/stat : 31266 (java) S 31250 31250 25300 0 -1 1077944384 621 0 0 0 2 2 0 0 20 0 19 0 409027617 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248701893808 140249376123522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31322] ppid=31250 vsize=15420480 memory=-3252517613198930781 CPUtime=87.07 cores=1,3,5,7
/proc/31252/task/31322/stat : 31322 (java) S 31250 31250 25300 0 -1 1077944384 1177 0 0 0 8707 0 0 0 20 0 19 0 409031391 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248692686368 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31323] ppid=31250 vsize=15420480 memory=6944656592455088490 CPUtime=86.89 cores=1,3,5,7
/proc/31252/task/31323/stat : 31323 (java) S 31250 31250 25300 0 -1 1077944384 3861 0 0 0 8688 1 0 0 20 0 19 0 409031391 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248690582352 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31324] ppid=31250 vsize=15420480 memory=293440 CPUtime=86.99 cores=1,3,5,7
/proc/31252/task/31324/stat : 31324 (java) S 31250 31250 25300 0 -1 1077944384 2795 0 0 0 8698 1 0 0 20 0 19 0 409031391 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248688476880 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31325] ppid=31250 vsize=15420480 memory=2832 CPUtime=87.3 cores=1,3,5,7
/proc/31252/task/31325/stat : 31325 (java) R 31250 31250 25300 0 -1 4202560 516 0 0 0 8730 0 0 0 20 0 19 0 409031391 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248691630480 140249020034980 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
Current children cumulated CPU time: 494.31 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 320728 KiB
[startup+126.801 s]
/proc/loadavg: 9.37 8.80 7.83 8/238 31336
/proc/meminfo: memFree=30190080/32770624 swapFree=66933612/67108860
[pid=31250] ppid=31247 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31250/stat : 31250 (xcsp3-exec) S 31247 31250 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409027611 115843072 362 33554432000 4194304 5098028 140727544680928 140727544679032 140658916594300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18776064 140727544685435 140727544685677 140727544685677 140727544688586 0
/proc/31250/statm: 28282 362 304 221 0 87 0
[pid=31252] ppid=31250 vsize=15420480 memory=319280 CPUtime=494.71 cores=1,3,5,7
/proc/31252/stat : 31252 (java) S 31250 31250 25300 0 -1 1077944320 57034 0 0 0 49435 36 0 0 20 0 19 0 409027611 15790571520 79820 33554432000 4194304 4196468 140728469351488 140728469334032 140249376112375 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
/proc/31252/statm: 3855120 79820 3526 1 0 3816222 0
[pid=31252/tid=31253] ppid=31250 vsize=15420480 memory=1440 CPUtime=0.65 cores=1,3,5,7
/proc/31252/task/31253/stat : 31253 (java) S 31250 31250 25300 0 -1 1077944384 8934 0 0 0 61 4 0 0 20 0 19 0 409027611 15790571520 79820 33554432000 4194304 4196468 140728469351488 140249380353152 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31254] ppid=31250 vsize=15420480 memory=808 CPUtime=0.46 cores=1,3,5,7
/proc/31252/task/31254/stat : 31254 (java) S 31250 31250 25300 0 -1 1077944384 2391 0 0 0 42 4 0 0 20 0 19 0 409027612 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248968256144 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31255] ppid=31250 vsize=15420480 memory=2532 CPUtime=0.46 cores=1,3,5,7
/proc/31252/task/31255/stat : 31255 (java) S 31250 31250 25300 0 -1 1077944384 3626 0 0 0 42 4 0 0 20 0 19 0 409027612 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248967203344 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31256] ppid=31250 vsize=15420480 memory=1440 CPUtime=0.47 cores=1,3,5,7
/proc/31252/task/31256/stat : 31256 (java) S 31250 31250 25300 0 -1 1077944384 1521 0 0 0 44 3 0 0 20 0 19 0 409027612 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248966150544 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31257] ppid=31250 vsize=15420480 memory=808 CPUtime=0.46 cores=1,3,5,7
/proc/31252/task/31257/stat : 31257 (java) S 31250 31250 25300 0 -1 1077944384 3018 0 0 0 43 3 0 0 20 0 19 0 409027612 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248965097744 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31258] ppid=31250 vsize=15420480 memory=1772 CPUtime=0.35 cores=1,3,5,7
/proc/31252/task/31258/stat : 31258 (java) S 31250 31250 25300 0 -1 1077944384 3305 0 0 0 25 10 0 0 20 0 19 0 409027613 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248710314864 140249376123522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31259] ppid=31250 vsize=15420480 memory=111632 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31259/stat : 31259 (java) S 31250 31250 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409027614 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248709260896 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31260] ppid=31250 vsize=15420480 memory=804 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31260/stat : 31260 (java) S 31250 31250 25300 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 409027614 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248708208000 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31261] ppid=31250 vsize=15420480 memory=1656 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31261/stat : 31261 (java) S 31250 31250 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409027616 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248707156304 140249376130971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31262] ppid=31250 vsize=15420480 memory=0 CPUtime=1.71 cores=1,3,5,7
/proc/31252/task/31262/stat : 31262 (java) S 31250 31250 25300 0 -1 1077944384 7015 0 0 0 170 1 0 0 20 0 19 0 409027616 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248706103664 140249376123522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31263] ppid=31250 vsize=15420480 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/31252/task/31263/stat : 31263 (java) S 31250 31250 25300 0 -1 1077944384 6457 0 0 0 148 0 0 0 20 0 19 0 409027616 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248705050864 140249376123522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31264] ppid=31250 vsize=15420480 memory=4580 CPUtime=0.72 cores=1,3,5,7
/proc/31252/task/31264/stat : 31264 (java) S 31250 31250 25300 0 -1 1077944384 4995 0 0 0 72 0 0 0 20 0 19 0 409027616 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248703998064 140249376123522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 22 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31265] ppid=31250 vsize=15420480 memory=6944656592455360608 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31265/stat : 31265 (java) S 31250 31250 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409027616 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248702945504 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31266] ppid=31250 vsize=15420480 memory=6944656591801717918 CPUtime=0.04 cores=1,3,5,7
/proc/31252/task/31266/stat : 31266 (java) S 31250 31250 25300 0 -1 1077944384 621 0 0 0 2 2 0 0 20 0 19 0 409027617 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248701893808 140249376123522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31322] ppid=31250 vsize=15420480 memory=6944613755328037012 CPUtime=87.07 cores=1,3,5,7
/proc/31252/task/31322/stat : 31322 (java) S 31250 31250 25300 0 -1 1077944384 1177 0 0 0 8707 0 0 0 20 0 19 0 409031391 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248692686368 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31323] ppid=31250 vsize=15420480 memory=-7739291840220455296 CPUtime=86.89 cores=1,3,5,7
/proc/31252/task/31323/stat : 31323 (java) S 31250 31250 25300 0 -1 1077944384 3861 0 0 0 8688 1 0 0 20 0 19 0 409031391 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248690582352 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31324] ppid=31250 vsize=15420480 memory=5793134778784702809 CPUtime=86.99 cores=1,3,5,7
/proc/31252/task/31324/stat : 31324 (java) S 31250 31250 25300 0 -1 1077944384 2795 0 0 0 8698 1 0 0 20 0 19 0 409031391 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248688476880 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31325] ppid=31250 vsize=15420480 memory=2532 CPUtime=87.7 cores=1,3,5,7
/proc/31252/task/31325/stat : 31325 (java) R 31250 31250 25300 0 -1 4202560 516 0 0 0 8770 0 0 0 20 0 19 0 409031391 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248691630368 140249020034994 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
Current children cumulated CPU time: 494.71 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 320728 KiB
[startup+127.001 s]*
/proc/loadavg: 9.10 8.75 7.82 6/238 31336
/proc/meminfo: memFree=30176116/32770624 swapFree=66933612/67108860
[pid=31250] ppid=31247 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31250/stat : 31250 (xcsp3-exec) S 31247 31250 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409027611 115843072 362 33554432000 4194304 5098028 140727544680928 140727544679032 140658916594300 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18776064 140727544685435 140727544685677 140727544685677 140727544688586 0
/proc/31250/statm: 28282 362 304 221 0 87 0
[pid=31252] ppid=31250 vsize=15420480 memory=319280 CPUtime=494.92 cores=1,3,5,7
/proc/31252/stat : 31252 (java) S 31250 31250 25300 0 -1 1077944320 57034 0 0 0 49456 36 0 0 20 0 19 0 409027611 15790571520 79820 33554432000 4194304 4196468 140728469351488 140728469334032 140249376112375 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
/proc/31252/statm: 3855120 79820 3526 1 0 3816222 0
[pid=31252/tid=31253] ppid=31250 vsize=15420480 memory=6791534058613427641 CPUtime=0.65 cores=1,3,5,7
/proc/31252/task/31253/stat : 31253 (java) S 31250 31250 25300 0 -1 1077944384 8934 0 0 0 61 4 0 0 20 0 19 0 409027611 15790571520 79820 33554432000 4194304 4196468 140728469351488 140249380353152 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31254] ppid=31250 vsize=15420480 memory=6789802306324843961 CPUtime=0.46 cores=1,3,5,7
/proc/31252/task/31254/stat : 31254 (java) S 31250 31250 25300 0 -1 1077944384 2391 0 0 0 42 4 0 0 20 0 19 0 409027612 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248968256144 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31255] ppid=31250 vsize=15420480 memory=1440 CPUtime=0.46 cores=1,3,5,7
/proc/31252/task/31255/stat : 31255 (java) S 31250 31250 25300 0 -1 1077944384 3626 0 0 0 42 4 0 0 20 0 19 0 409027612 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248967203344 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31256] ppid=31250 vsize=15420480 memory=808 CPUtime=0.47 cores=1,3,5,7
/proc/31252/task/31256/stat : 31256 (java) S 31250 31250 25300 0 -1 1077944384 1521 0 0 0 44 3 0 0 20 0 19 0 409027612 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248966150544 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31257] ppid=31250 vsize=15420480 memory=6791534058613427641 CPUtime=0.46 cores=1,3,5,7
/proc/31252/task/31257/stat : 31257 (java) S 31250 31250 25300 0 -1 1077944384 3018 0 0 0 43 3 0 0 20 0 19 0 409027612 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248965097744 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31258] ppid=31250 vsize=15420480 memory=111632 CPUtime=0.35 cores=1,3,5,7
/proc/31252/task/31258/stat : 31258 (java) S 31250 31250 25300 0 -1 1077944384 3305 0 0 0 25 10 0 0 20 0 19 0 409027613 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248710314864 140249376123522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31259] ppid=31250 vsize=15420480 memory=804 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31259/stat : 31259 (java) S 31250 31250 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409027614 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248709260896 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31260] ppid=31250 vsize=15420480 memory=1656 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31260/stat : 31260 (java) S 31250 31250 25300 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 409027614 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248708208000 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31261] ppid=31250 vsize=15420480 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31261/stat : 31261 (java) S 31250 31250 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409027616 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248707156304 140249376130971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31262] ppid=31250 vsize=15420480 memory=916 CPUtime=1.71 cores=1,3,5,7
/proc/31252/task/31262/stat : 31262 (java) S 31250 31250 25300 0 -1 1077944384 7015 0 0 0 170 1 0 0 20 0 19 0 409027616 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248706103664 140249376123522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31263] ppid=31250 vsize=15420480 memory=3848 CPUtime=1.48 cores=1,3,5,7
/proc/31252/task/31263/stat : 31263 (java) S 31250 31250 25300 0 -1 1077944384 6457 0 0 0 148 0 0 0 20 0 19 0 409027616 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248705050864 140249376123522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31264] ppid=31250 vsize=15420480 memory=0 CPUtime=0.72 cores=1,3,5,7
/proc/31252/task/31264/stat : 31264 (java) S 31250 31250 25300 0 -1 1077944384 4995 0 0 0 72 0 0 0 20 0 19 0 409027616 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248703998064 140249376123522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 22 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31265] ppid=31250 vsize=15420480 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31252/task/31265/stat : 31265 (java) S 31250 31250 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409027616 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248702945504 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31266] ppid=31250 vsize=15420480 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/31252/task/31266/stat : 31266 (java) S 31250 31250 25300 0 -1 1077944384 621 0 0 0 2 2 0 0 20 0 19 0 409027617 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248701893808 140249376123522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 30 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31322] ppid=31250 vsize=15420480 memory=1448 CPUtime=87.07 cores=1,3,5,7
/proc/31252/task/31322/stat : 31322 (java) S 31250 31250 25300 0 -1 1077944384 1177 0 0 0 8707 0 0 0 20 0 19 0 409031391 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248692686368 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31323] ppid=31250 vsize=15420480 memory=293440 CPUtime=86.89 cores=1,3,5,7
/proc/31252/task/31323/stat : 31323 (java) S 31250 31250 25300 0 -1 1077944384 3861 0 0 0 8688 1 0 0 20 0 19 0 409031391 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248690582352 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31324] ppid=31250 vsize=15420480 memory=6791534058613427641 CPUtime=86.99 cores=1,3,5,7
/proc/31252/task/31324/stat : 31324 (java) S 31250 31250 25300 0 -1 1077944384 2795 0 0 0 8698 1 0 0 20 0 19 0 409031391 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248688476880 140249376122581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
[pid=31252/tid=31325] ppid=31250 vsize=15420480 memory=6789802306324843961 CPUtime=87.9 cores=1,3,5,7
/proc/31252/task/31325/stat : 31325 (java) R 31250 31250 25300 0 -1 4202560 516 0 0 0 8790 0 0 0 20 0 19 0 409031391 15790571520 79820 33554432000 4194304 4196468 140728469351488 140248691630368 140249020035053 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26742784 140728469353455 140728469353626 140728469353626 140728469356495 0
Current children cumulated CPU time: 494.92 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 320728 KiB
Child status: 0
Real time (s): 127.105
CPU time (s): 495.029
CPU user time (s): 494.653
CPU system time (s): 0.375427
CPU usage (%): 389.464
Max. virtual memory (cumulated for all children) (KiB): 15533608
Max. memory (cumulated for all children) (KiB): 320728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 494.653
system time used= 0.375427
maximum resident set size= 319748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58226
page faults= 0
swaps= 0
block input operations= 0
block output operations= 264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13411
involuntary context switches= 9109
# summary of solver processes directly reported to runsolver:
# pid: 31250
# total CPU time (s): 495.029
# total CPU user time (s): 494.653
# total CPU system time (s): 0.375427
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.906263 second user time and 1.45946 second system time
The end