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 (4306 MiB free)
memory of node 1: 16384 MiB (13152 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399017-1568699565/watcher-4399017-1568699565 -o /tmp/evaluation-result-4399017-1568699565/solver-4399017-1568699565 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568698608-10316 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1869906192 HOME/instance-4399017-1568699565.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=11185, runsolver pid=11182
[startup+0.100059 s]*
/proc/loadavg: 7.22 7.16 7.21 4/232 11203
/proc/meminfo: memFree=17859344/32770624 swapFree=66953076/67108860
[pid=11185] ppid=11182 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11185/stat : 11185 (xcsp3-exec) S 11182 11185 10284 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446225398 115843072 363 33554432000 4194304 5098028 140732428347520 140732428345624 140170279764604 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19169280 140732428354426 140732428354669 140732428354669 140732428357578 0
/proc/11185/statm: 28282 363 304 221 0 87 0
[pid=11187] ppid=11185 vsize=15144776 memory=29064 CPUtime=0.13 cores=1,3,5,7
/proc/11187/stat : 11187 (java) S 11185 11185 10284 0 -1 1077944320 5696 0 0 0 11 2 0 0 20 0 15 0 446225398 15508250624 7266 33554432000 4194304 4196468 140735354035488 140735354018032 139736161754871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
/proc/11187/statm: 3786194 7266 3181 1 0 3748377 0
[pid=11187/tid=11188] ppid=11185 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7
/proc/11187/task/11188/stat : 11188 (java) R 11185 11185 10284 0 -1 4202560 3604 0 0 0 8 1 0 0 20 0 15 0 446225398 15508250624 7266 33554432000 4194304 4196468 140735354035488 139736165977568 139736145798501 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11189] ppid=11185 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11189/stat : 11189 (java) S 11185 11185 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446225399 15508250624 7266 33554432000 4194304 4196468 140735354035488 139736097991440 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11190] ppid=11185 vsize=15144776 memory=3835009722252064416 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11190/stat : 11190 (java) S 11185 11185 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446225399 15508250624 7266 33554432000 4194304 4196468 140735354035488 139736096938896 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11191] ppid=11185 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11191/stat : 11191 (java) S 11185 11185 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446225399 15508250624 7266 33554432000 4194304 4196468 140735354035488 139736095886352 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11192] ppid=11185 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11192/stat : 11192 (java) S 11185 11185 10284 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446225399 15508250624 7266 33554432000 4194304 4196468 140735354035488 139736094833808 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11193] ppid=11185 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11193/stat : 11193 (java) S 11185 11185 10284 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446225400 15508250624 7266 33554432000 4194304 4196468 140735354035488 139735697508336 139736161766018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11194] ppid=11185 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11194/stat : 11194 (java) S 11185 11185 10284 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446225401 15508250624 7266 33554432000 4194304 4196468 140735354035488 139735696454560 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11195] ppid=11185 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11195/stat : 11195 (java) S 11185 11185 10284 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446225401 15508250624 7266 33554432000 4194304 4196468 140735354035488 139735695401968 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11196] ppid=11185 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11196/stat : 11196 (java) S 11185 11185 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446225403 15508250624 7266 33554432000 4194304 4196468 140735354035488 139735694350544 139736161773467 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11197] ppid=11185 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11197/stat : 11197 (java) S 11185 11185 10284 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 446225403 15508250624 7266 33554432000 4194304 4196468 140735354035488 139735693298160 139736161766018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11198] ppid=11185 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11198/stat : 11198 (java) S 11185 11185 10284 0 -1 1077944384 160 0 0 0 0 0 0 0 20 0 15 0 446225403 15508250624 7266 33554432000 4194304 4196468 140735354035488 139735692245616 139736161766018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11199] ppid=11185 vsize=15144776 memory=140552200582784 CPUtime=0.02 cores=1,3,5,7
/proc/11187/task/11199/stat : 11199 (java) R 11185 11185 10284 0 -1 4202560 356 0 0 0 2 0 0 0 20 0 15 0 446225403 15508250624 7266 33554432000 4194304 4196468 140735354035488 139735691193072 139736161766806 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11200] ppid=11185 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11200/stat : 11200 (java) S 11185 11185 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446225404 15508250624 7266 33554432000 4194304 4196468 140735354035488 139735690140768 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11201] ppid=11185 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11201/stat : 11201 (java) S 11185 11185 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446225404 15508250624 7266 33554432000 4194304 4196468 140735354035488 139735689087280 139736161766018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30516 KiB
[startup+0.210839 s]*
/proc/loadavg: 7.22 7.16 7.21 3/232 11203
/proc/meminfo: memFree=17846340/32770624 swapFree=66953076/67108860
[pid=11185] ppid=11182 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11185/stat : 11185 (xcsp3-exec) S 11182 11185 10284 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446225398 115843072 363 33554432000 4194304 5098028 140732428347520 140732428345624 140170279764604 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19169280 140732428354426 140732428354669 140732428354669 140732428357578 0
/proc/11185/statm: 28282 363 304 221 0 87 0
[pid=11187] ppid=11185 vsize=15144776 memory=40920 CPUtime=0.34 cores=1,3,5,7
/proc/11187/stat : 11187 (java) S 11185 11185 10284 0 -1 1077944320 9472 0 0 0 31 3 0 0 20 0 15 0 446225398 15508250624 10230 33554432000 4194304 4196468 140735354035488 140735354018032 139736161754871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
/proc/11187/statm: 3786194 10230 3312 1 0 3748377 0
[pid=11187/tid=11188] ppid=11185 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/11187/task/11188/stat : 11188 (java) R 11185 11185 10284 0 -1 4202560 6650 0 0 0 18 2 0 0 20 0 15 0 446225398 15508250624 10230 33554432000 4194304 4196468 140735354035488 139736165991632 139736145798501 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11189] ppid=11185 vsize=15144776 memory=1946935 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11189/stat : 11189 (java) S 11185 11185 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446225399 15508250624 10230 33554432000 4194304 4196468 140735354035488 139736097991440 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11190] ppid=11185 vsize=15144776 memory=140552203928578 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11190/stat : 11190 (java) S 11185 11185 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446225399 15508250624 10230 33554432000 4194304 4196468 140735354035488 139736096938896 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11191] ppid=11185 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11191/stat : 11191 (java) S 11185 11185 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446225399 15508250624 10230 33554432000 4194304 4196468 140735354035488 139736095886352 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11192] ppid=11185 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11192/stat : 11192 (java) S 11185 11185 10284 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446225399 15508250624 10230 33554432000 4194304 4196468 140735354035488 139736094833808 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11193] ppid=11185 vsize=15144776 memory=140552200582784 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11193/stat : 11193 (java) S 11185 11185 10284 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 446225400 15508250624 10230 33554432000 4194304 4196468 140735354035488 139735697508336 139736161766018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11194] ppid=11185 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11194/stat : 11194 (java) S 11185 11185 10284 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446225401 15508250624 10230 33554432000 4194304 4196468 140735354035488 139735696454560 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11195] ppid=11185 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11195/stat : 11195 (java) S 11185 11185 10284 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446225401 15508250624 10230 33554432000 4194304 4196468 140735354035488 139735695401968 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11196] ppid=11185 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11196/stat : 11196 (java) S 11185 11185 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446225403 15508250624 10230 33554432000 4194304 4196468 140735354035488 139735694350544 139736161773467 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11197] ppid=11185 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/11187/task/11197/stat : 11197 (java) S 11185 11185 10284 0 -1 1077944384 493 0 0 0 2 0 0 0 20 0 15 0 446225403 15508250624 10230 33554432000 4194304 4196468 140735354035488 139735693298160 139736161766018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11198] ppid=11185 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/11187/task/11198/stat : 11198 (java) S 11185 11185 10284 0 -1 1077944384 254 0 0 0 2 0 0 0 20 0 15 0 446225403 15508250624 10230 33554432000 4194304 4196468 140735354035488 139735692245616 139736161766018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11199] ppid=11185 vsize=15144776 memory=140552200582784 CPUtime=0.08 cores=1,3,5,7
/proc/11187/task/11199/stat : 11199 (java) S 11185 11185 10284 0 -1 1077944384 780 0 0 0 8 0 0 0 20 0 15 0 446225403 15508250624 10230 33554432000 4194304 4196468 140735354035488 139735691193072 139736161766018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11200] ppid=11185 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11200/stat : 11200 (java) S 11185 11185 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446225404 15508250624 10230 33554432000 4194304 4196468 140735354035488 139735690140768 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11201] ppid=11185 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11201/stat : 11201 (java) S 11185 11185 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446225404 15508250624 10230 33554432000 4194304 4196468 140735354035488 139735689087280 139736161766018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42372 KiB
[startup+0.3184 s]*
/proc/loadavg: 7.22 7.16 7.21 3/232 11203
/proc/meminfo: memFree=17838808/32770624 swapFree=66953076/67108860
[pid=11185] ppid=11182 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11185/stat : 11185 (xcsp3-exec) S 11182 11185 10284 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446225398 115843072 363 33554432000 4194304 5098028 140732428347520 140732428345624 140170279764604 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19169280 140732428354426 140732428354669 140732428354669 140732428357578 0
/proc/11185/statm: 28282 363 304 221 0 87 0
[pid=11187] ppid=11185 vsize=15149032 memory=50716 CPUtime=0.54 cores=1,3,5,7
/proc/11187/stat : 11187 (java) S 11185 11185 10284 0 -1 1077944320 11003 0 0 0 49 5 0 0 20 0 15 0 446225398 15512608768 12679 33554432000 4194304 4196468 140735354035488 140735354018032 139736161754871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
/proc/11187/statm: 3787258 12679 3365 1 0 3748377 0
[pid=11187/tid=11188] ppid=11185 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/11187/task/11188/stat : 11188 (java) R 11185 11185 10284 0 -1 4202560 7945 0 0 0 27 3 0 0 20 0 15 0 446225398 15512608768 12679 33554432000 4194304 4196468 140735354035488 139736165985984 139735771228272 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11189] ppid=11185 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11189/stat : 11189 (java) S 11185 11185 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446225399 15512608768 12679 33554432000 4194304 4196468 140735354035488 139736097991440 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11190] ppid=11185 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11190/stat : 11190 (java) S 11185 11185 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446225399 15512608768 12679 33554432000 4194304 4196468 140735354035488 139736096938896 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11191] ppid=11185 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11191/stat : 11191 (java) S 11185 11185 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446225399 15512608768 12679 33554432000 4194304 4196468 140735354035488 139736095886352 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11192] ppid=11185 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11192/stat : 11192 (java) S 11185 11185 10284 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446225399 15512608768 12679 33554432000 4194304 4196468 140735354035488 139736094833808 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11193] ppid=11185 vsize=15149032 memory=-7305852742256935071 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11193/stat : 11193 (java) S 11185 11185 10284 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 446225400 15512608768 12679 33554432000 4194304 4196468 140735354035488 139735697508336 139736161766018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11194] ppid=11185 vsize=15149032 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11194/stat : 11194 (java) S 11185 11185 10284 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446225401 15512608768 12679 33554432000 4194304 4196468 140735354035488 139735696454560 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11195] ppid=11185 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11195/stat : 11195 (java) S 11185 11185 10284 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446225401 15512608768 12679 33554432000 4194304 4196468 140735354035488 139735695401968 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11196] ppid=11185 vsize=15149032 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11196/stat : 11196 (java) S 11185 11185 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446225403 15512608768 12679 33554432000 4194304 4196468 140735354035488 139735694350544 139736161773467 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11197] ppid=11185 vsize=15149032 memory=7827413994055111515 CPUtime=0.05 cores=1,3,5,7
/proc/11187/task/11197/stat : 11197 (java) R 11185 11185 10284 0 -1 4202560 596 0 0 0 5 0 0 0 20 0 15 0 446225403 15512608768 12679 33554432000 4194304 4196468 140735354035488 139735693298160 139736154739913 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11198] ppid=11185 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/11187/task/11198/stat : 11198 (java) R 11185 11185 10284 0 -1 1077944384 270 0 0 0 3 0 0 0 20 0 15 0 446225403 15512608768 12679 33554432000 4194304 4196468 140735354035488 139735692245616 139736161766018 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11199] ppid=11185 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/11187/task/11199/stat : 11199 (java) R 11185 11185 10284 0 -1 4202560 887 0 0 0 12 0 0 0 20 0 15 0 446225403 15512608768 12679 33554432000 4194304 4196468 140735354035488 139735691190880 139736146920526 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11200] ppid=11185 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11200/stat : 11200 (java) S 11185 11185 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446225404 15512608768 12679 33554432000 4194304 4196468 140735354035488 139735690140768 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11201] ppid=11185 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11201/stat : 11201 (java) S 11185 11185 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446225404 15512608768 12679 33554432000 4194304 4196468 140735354035488 139735689087280 139736161766018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52168 KiB
[startup+0.707163 s]
/proc/loadavg: 7.22 7.16 7.21 6/232 11203
/proc/meminfo: memFree=17818900/32770624 swapFree=66953076/67108860
[pid=11185] ppid=11182 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11185/stat : 11185 (xcsp3-exec) S 11182 11185 10284 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446225398 115843072 363 33554432000 4194304 5098028 140732428347520 140732428345624 140170279764604 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19169280 140732428354426 140732428354669 140732428354669 140732428357578 0
/proc/11185/statm: 28282 363 304 221 0 87 0
[pid=11187] ppid=11185 vsize=15417412 memory=94840 CPUtime=1.79 cores=1,3,5,7
/proc/11187/stat : 11187 (java) S 11185 11185 10284 0 -1 1077944320 15569 0 0 0 173 6 0 0 20 0 19 0 446225398 15787429888 23710 33554432000 4194304 4196468 140735354035488 140735354018032 139736161754871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
/proc/11187/statm: 3854353 23710 3461 1 0 3815453 0
[pid=11187/tid=11188] ppid=11185 vsize=15417412 memory=0 CPUtime=0.56 cores=1,3,5,7
/proc/11187/task/11188/stat : 11188 (java) S 11185 11185 10284 0 -1 1077944384 9117 0 0 0 52 4 0 0 20 0 19 0 446225398 15787429888 23710 33554432000 4194304 4196468 140735354035488 139736165995648 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11189] ppid=11185 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11189/stat : 11189 (java) S 11185 11185 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446225399 15787429888 23710 33554432000 4194304 4196468 140735354035488 139736097991440 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11190] ppid=11185 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11190/stat : 11190 (java) S 11185 11185 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446225399 15787429888 23710 33554432000 4194304 4196468 140735354035488 139736096938896 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11191] ppid=11185 vsize=15417412 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11191/stat : 11191 (java) S 11185 11185 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446225399 15787429888 23710 33554432000 4194304 4196468 140735354035488 139736095886352 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11192] ppid=11185 vsize=15417412 memory=1188 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11192/stat : 11192 (java) S 11185 11185 10284 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 446225399 15787429888 23710 33554432000 4194304 4196468 140735354035488 139736094833808 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11193] ppid=11185 vsize=15417412 memory=1536 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11193/stat : 11193 (java) S 11185 11185 10284 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 446225400 15787429888 23710 33554432000 4194304 4196468 140735354035488 139735697508336 139736161766018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11194] ppid=11185 vsize=15417412 memory=9592 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11194/stat : 11194 (java) S 11185 11185 10284 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446225401 15787429888 23710 33554432000 4194304 4196468 140735354035488 139735696454560 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11195] ppid=11185 vsize=15417412 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11195/stat : 11195 (java) S 11185 11185 10284 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 446225401 15787429888 23710 33554432000 4194304 4196468 140735354035488 139735695401968 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11196] ppid=11185 vsize=15417412 memory=780 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11196/stat : 11196 (java) S 11185 11185 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446225403 15787429888 23710 33554432000 4194304 4196468 140735354035488 139735694350544 139736161773467 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11197] ppid=11185 vsize=15417412 memory=620 CPUtime=0.28 cores=1,3,5,7
/proc/11187/task/11197/stat : 11197 (java) R 11185 11185 10284 0 -1 4202560 1634 0 0 0 28 0 0 0 20 0 19 0 446225403 15787429888 23710 33554432000 4194304 4196468 140735354035488 139735693284040 139736143299407 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11198] ppid=11185 vsize=15417412 memory=1496 CPUtime=0.32 cores=1,3,5,7
/proc/11187/task/11198/stat : 11198 (java) R 11185 11185 10284 0 -1 4202560 1402 0 0 0 32 0 0 0 20 0 19 0 446225403 15787429888 23710 33554432000 4194304 4196468 140735354035488 139735692231712 139736146880660 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11199] ppid=11185 vsize=15417412 memory=1016 CPUtime=0.35 cores=1,3,5,7
/proc/11187/task/11199/stat : 11199 (java) S 11185 11185 10284 0 -1 1077944384 1952 0 0 0 35 0 0 0 20 0 19 0 446225403 15787429888 23710 33554432000 4194304 4196468 140735354035488 139735691188576 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11200] ppid=11185 vsize=15417412 memory=6016 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11200/stat : 11200 (java) S 11185 11185 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446225404 15787429888 23710 33554432000 4194304 4196468 140735354035488 139735690140768 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11201] ppid=11185 vsize=15417412 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11201/stat : 11201 (java) S 11185 11185 10284 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446225404 15787429888 23710 33554432000 4194304 4196468 140735354035488 139735689087280 139736161766018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
Current children cumulated CPU time: 1.79 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 96292 KiB
[startup+1.50216 s]
/proc/loadavg: 7.22 7.16 7.21 2/236 11207
/proc/meminfo: memFree=17792896/32770624 swapFree=66953076/67108860
[pid=11185] ppid=11182 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11185/stat : 11185 (xcsp3-exec) S 11182 11185 10284 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446225398 115843072 363 33554432000 4194304 5098028 140732428347520 140732428345624 140170279764604 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19169280 140732428354426 140732428354669 140732428354669 140732428357578 0
/proc/11185/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/11187/stat : 11187 (java) S 11185 11185 10284 0 -1 1077944320 81766 0 0 0 207481 34 0 0 20 0 19 0 446225398 15787429888 60823 33554432000 4194304 4196468 140735354035488 140735354018032 139736161754871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
/proc/11187/statm: 3854353 60823 3538 1 0 3815453 0
[pid=11187/tid=11188] ppid=11185 vsize=15417412 memory=243292 CPUtime=0.56 cores=1,3,5,7
/proc/11187/task/11188/stat : 11188 (java) S 11185 11185 10284 0 -1 1077944384 9117 0 0 0 52 4 0 0 20 0 19 0 446225398 15787429888 60823 33554432000 4194304 4196468 140735354035488 139736165995648 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11189] ppid=11185 vsize=15417412 memory=1452 CPUtime=0.34 cores=1,3,5,7
/proc/11187/task/11189/stat : 11189 (java) S 11185 11185 10284 0 -1 1077944384 1457 0 0 0 31 3 0 0 20 0 19 0 446225399 15787429888 60823 33554432000 4194304 4196468 140735354035488 139736097991440 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11190] ppid=11185 vsize=15417412 memory=291 CPUtime=0.34 cores=1,3,5,7
/proc/11187/task/11190/stat : 11190 (java) S 11185 11185 10284 0 -1 1077944384 1417 0 0 0 31 3 0 0 20 0 19 0 446225399 15787429888 60823 33554432000 4194304 4196468 140735354035488 139736096938896 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11191] ppid=11185 vsize=15417412 memory=61 CPUtime=0.33 cores=1,3,5,7
/proc/11187/task/11191/stat : 11191 (java) S 11185 11185 10284 0 -1 1077944384 2543 0 0 0 30 3 0 0 20 0 19 0 446225399 15787429888 60823 33554432000 4194304 4196468 140735354035488 139736095886352 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11192] ppid=11185 vsize=15417412 memory=620 CPUtime=0.34 cores=1,3,5,7
/proc/11187/task/11192/stat : 11192 (java) S 11185 11185 10284 0 -1 1077944384 2796 0 0 0 30 4 0 0 20 0 19 0 446225399 15787429888 60823 33554432000 4194304 4196468 140735354035488 139736094833808 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11193] ppid=11185 vsize=15417412 memory=1496 CPUtime=0.18 cores=1,3,5,7
/proc/11187/task/11193/stat : 11193 (java) S 11185 11185 10284 0 -1 1077944384 2465 0 0 0 14 4 0 0 20 0 19 0 446225400 15787429888 60823 33554432000 4194304 4196468 140735354035488 139735697508336 139736161766018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11194] ppid=11185 vsize=15417412 memory=235008 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11194/stat : 11194 (java) S 11185 11185 10284 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 19 0 446225401 15787429888 60823 33554432000 4194304 4196468 140735354035488 139735696454624 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11195] ppid=11185 vsize=15417412 memory=4156 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11195/stat : 11195 (java) S 11185 11185 10284 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 19 0 446225401 15787429888 60823 33554432000 4194304 4196468 140735354035488 139735695401984 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11196] ppid=11185 vsize=15417412 memory=201492 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11196/stat : 11196 (java) S 11185 11185 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446225403 15787429888 60823 33554432000 4194304 4196468 140735354035488 139735694350544 139736161773467 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11197] ppid=11185 vsize=15417412 memory=1452 CPUtime=3.05 cores=1,3,5,7
/proc/11187/task/11197/stat : 11197 (java) S 11185 11185 10284 0 -1 1077944384 23587 0 0 0 302 3 0 0 20 0 19 0 446225403 15787429888 60823 33554432000 4194304 4196468 140735354035488 139735693298160 139736161766018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11198] ppid=11185 vsize=15417412 memory=0 CPUtime=2.91 cores=1,3,5,7
/proc/11187/task/11198/stat : 11198 (java) S 11185 11185 10284 0 -1 1077944384 18314 0 0 0 290 1 0 0 20 0 19 0 446225403 15787429888 60823 33554432000 4194304 4196468 140735354035488 139735692245616 139736161766018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11199] ppid=11185 vsize=15417412 memory=7453003716192724325 CPUtime=0.61 cores=1,3,5,7
/proc/11187/task/11199/stat : 11199 (java) S 11185 11185 10284 0 -1 1077944384 9971 0 0 0 60 1 0 0 20 0 19 0 446225403 15787429888 60823 33554432000 4194304 4196468 140735354035488 139735691193072 139736161766018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11200] ppid=11185 vsize=15417412 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11200/stat : 11200 (java) S 11185 11185 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446225404 15787429888 60823 33554432000 4194304 4196468 140735354035488 139735690140768 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11201] ppid=11185 vsize=15417412 memory=243292 CPUtime=0.2 cores=1,3,5,7
/proc/11187/task/11201/stat : 11201 (java) S 11185 11185 10284 0 -1 1077944384 1223 0 0 0 15 5 0 0 20 0 19 0 446225404 15787429888 60823 33554432000 4194304 4196468 140735354035488 139735689087280 139736161766018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 30 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11204] ppid=11185 vsize=15417412 memory=237056 CPUtime=516.96 cores=1,3,5,7
/proc/11187/task/11204/stat : 11204 (java) R 11185 11185 10284 0 -1 4202560 1271 0 0 0 51695 1 0 0 20 0 19 0 446225456 15787429888 60823 33554432000 4194304 4196468 140735354035488 139735612192288 139735776251721 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11205] ppid=11185 vsize=15417412 memory=1452 CPUtime=516.42 cores=1,3,5,7
/proc/11187/task/11205/stat : 11205 (java) R 11185 11185 10284 0 -1 4202560 1012 0 0 0 51642 0 0 0 20 0 19 0 446225456 15787429888 60823 33554432000 4194304 4196468 140735354035488 139735611137776 139735775900238 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11206] ppid=11185 vsize=15417412 memory=1452 CPUtime=516.29 cores=1,3,5,7
/proc/11187/task/11206/stat : 11206 (java) R 11185 11185 10284 0 -1 4202560 2641 0 0 0 51627 2 0 0 20 0 19 0 446225456 15787429888 60823 33554432000 4194304 4196468 140735354035488 139735610085976 139735776622481 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11207] ppid=11185 vsize=15417412 memory=243292 CPUtime=516.49 cores=1,3,5,7
/proc/11187/task/11207/stat : 11207 (java) R 11185 11185 10284 0 -1 4202560 2519 0 0 0 51648 1 0 0 20 0 19 0 446225456 15787429888 60823 33554432000 4194304 4196468 140735354035488 139735609032936 139735776912615 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
Current children cumulated CPU time: 2075.15 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 244744 KiB
[startup+582.301 s]
/proc/loadavg: 8.06 7.93 7.61 10/237 12210
/proc/meminfo: memFree=27161680/32770624 swapFree=66953076/67108860
[pid=11185] ppid=11182 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11185/stat : 11185 (xcsp3-exec) S 11182 11185 10284 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446225398 115843072 363 33554432000 4194304 5098028 140732428347520 140732428345624 140170279764604 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19169280 140732428354426 140732428354669 140732428354669 140732428357578 0
/proc/11185/statm: 28282 363 304 221 0 87 0
[pid=11187] ppid=11185 vsize=15417412 memory=276228 CPUtime=2313.79 cores=1,3,5,7
/proc/11187/stat : 11187 (java) S 11185 11185 10284 0 -1 1077944320 82401 0 0 0 231342 37 0 0 20 0 19 0 446225398 15787429888 69057 33554432000 4194304 4196468 140735354035488 140735354018032 139736161754871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
/proc/11187/statm: 3854353 69057 3538 1 0 3815453 0
[pid=11187/tid=11188] ppid=11185 vsize=15417412 memory=276228 CPUtime=0.56 cores=1,3,5,7
/proc/11187/task/11188/stat : 11188 (java) S 11185 11185 10284 0 -1 1077944384 9117 0 0 0 52 4 0 0 20 0 19 0 446225398 15787429888 69057 33554432000 4194304 4196468 140735354035488 139736165995648 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11189] ppid=11185 vsize=15417412 memory=1452 CPUtime=0.44 cores=1,3,5,7
/proc/11187/task/11189/stat : 11189 (java) S 11185 11185 10284 0 -1 1077944384 1508 0 0 0 40 4 0 0 20 0 19 0 446225399 15787429888 69057 33554432000 4194304 4196468 140735354035488 139736097991440 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11190] ppid=11185 vsize=15417412 memory=3624 CPUtime=0.44 cores=1,3,5,7
/proc/11187/task/11190/stat : 11190 (java) S 11185 11185 10284 0 -1 1077944384 1456 0 0 0 40 4 0 0 20 0 19 0 446225399 15787429888 69057 33554432000 4194304 4196468 140735354035488 139736096938896 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11191] ppid=11185 vsize=15417412 memory=1452 CPUtime=0.43 cores=1,3,5,7
/proc/11187/task/11191/stat : 11191 (java) S 11185 11185 10284 0 -1 1077944384 2573 0 0 0 39 4 0 0 20 0 19 0 446225399 15787429888 69057 33554432000 4194304 4196468 140735354035488 139736095886352 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11192] ppid=11185 vsize=15417412 memory=3624 CPUtime=0.44 cores=1,3,5,7
/proc/11187/task/11192/stat : 11192 (java) S 11185 11185 10284 0 -1 1077944384 2834 0 0 0 39 5 0 0 20 0 19 0 446225399 15787429888 69057 33554432000 4194304 4196468 140735354035488 139736094833808 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11193] ppid=11185 vsize=15417412 memory=274180 CPUtime=0.22 cores=1,3,5,7
/proc/11187/task/11193/stat : 11193 (java) S 11185 11185 10284 0 -1 1077944384 2470 0 0 0 18 4 0 0 20 0 19 0 446225400 15787429888 69057 33554432000 4194304 4196468 140735354035488 139735697508336 139736161766018 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11194] ppid=11185 vsize=15417412 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11194/stat : 11194 (java) S 11185 11185 10284 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 19 0 446225401 15787429888 69057 33554432000 4194304 4196468 140735354035488 139735696454624 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11195] ppid=11185 vsize=15417412 memory=276228 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11195/stat : 11195 (java) S 11185 11185 10284 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 19 0 446225401 15787429888 69057 33554432000 4194304 4196468 140735354035488 139735695401984 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11196] ppid=11185 vsize=15417412 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11196/stat : 11196 (java) S 11185 11185 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446225403 15787429888 69057 33554432000 4194304 4196468 140735354035488 139735694350544 139736161773467 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11197] ppid=11185 vsize=15417412 memory=1452 CPUtime=3.05 cores=1,3,5,7
/proc/11187/task/11197/stat : 11197 (java) S 11185 11185 10284 0 -1 1077944384 23587 0 0 0 302 3 0 0 20 0 19 0 446225403 15787429888 69057 33554432000 4194304 4196468 140735354035488 139735693298160 139736161766018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11198] ppid=11185 vsize=15417412 memory=274180 CPUtime=2.92 cores=1,3,5,7
/proc/11187/task/11198/stat : 11198 (java) S 11185 11185 10284 0 -1 1077944384 18648 0 0 0 291 1 0 0 20 0 19 0 446225403 15787429888 69057 33554432000 4194304 4196468 140735354035488 139735692245616 139736161766018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11199] ppid=11185 vsize=15417412 memory=274180 CPUtime=0.61 cores=1,3,5,7
/proc/11187/task/11199/stat : 11199 (java) S 11185 11185 10284 0 -1 1077944384 9971 0 0 0 60 1 0 0 20 0 19 0 446225403 15787429888 69057 33554432000 4194304 4196468 140735354035488 139735691193072 139736161766018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11200] ppid=11185 vsize=15417412 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11200/stat : 11200 (java) S 11185 11185 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446225404 15787429888 69057 33554432000 4194304 4196468 140735354035488 139735690140768 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11201] ppid=11185 vsize=15417412 memory=1452 CPUtime=0.21 cores=1,3,5,7
/proc/11187/task/11201/stat : 11201 (java) S 11185 11185 10284 0 -1 1077944384 1229 0 0 0 16 5 0 0 20 0 19 0 446225404 15787429888 69057 33554432000 4194304 4196468 140735354035488 139735689087280 139736161766018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 30 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11204] ppid=11185 vsize=15417412 memory=276228 CPUtime=576.52 cores=1,3,5,7
/proc/11187/task/11204/stat : 11204 (java) R 11185 11185 10284 0 -1 4202560 1286 0 0 0 57651 1 0 0 20 0 19 0 446225456 15787429888 69057 33554432000 4194304 4196468 140735354035488 139735612189960 139735776961064 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11205] ppid=11185 vsize=15417412 memory=1452 CPUtime=576.1 cores=1,3,5,7
/proc/11187/task/11205/stat : 11205 (java) R 11185 11185 10284 0 -1 4202560 1027 0 0 0 57609 1 0 0 20 0 19 0 446225456 15787429888 69057 33554432000 4194304 4196468 140735354035488 139735611140864 139735776626919 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11206] ppid=11185 vsize=15417412 memory=1452 CPUtime=575.72 cores=1,3,5,7
/proc/11187/task/11206/stat : 11206 (java) R 11185 11185 10284 0 -1 4202560 2688 0 0 0 57570 2 0 0 20 0 19 0 446225456 15787429888 69057 33554432000 4194304 4196468 140735354035488 139735610085232 139735776704029 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11207] ppid=11185 vsize=15417412 memory=6791534058613427641 CPUtime=575.99 cores=1,3,5,7
/proc/11187/task/11207/stat : 11207 (java) R 11185 11185 10284 0 -1 4202560 2574 0 0 0 57598 1 0 0 20 0 19 0 446225456 15787429888 69057 33554432000 4194304 4196468 140735354035488 139735609032952 139735776249667 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
Current children cumulated CPU time: 2313.79 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 277680 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+634.201 s]
/proc/loadavg: 8.48 8.08 7.68 9/237 12239
/proc/meminfo: memFree=26935196/32770624 swapFree=66953076/67108860
[pid=11185] ppid=11182 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11185/stat : 11185 (xcsp3-exec) S 11182 11185 10284 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446225398 115843072 363 33554432000 4194304 5098028 140732428347520 140732428345624 140170279764604 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 19169280 140732428354426 140732428354669 140732428354669 140732428357578 0
/proc/11185/statm: 28282 363 304 221 0 87 0
[pid=11187] ppid=11185 vsize=15417412 memory=294956 CPUtime=2520.07 cores=1,3,5,7
/proc/11187/stat : 11187 (java) S 11185 11185 10284 0 -1 1077944320 85336 0 0 0 251967 40 0 0 20 0 19 0 446225398 15787429888 73739 33554432000 4194304 4196468 140735354035488 140735354018032 139736161754871 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
/proc/11187/statm: 3854353 73739 3538 1 0 3815453 0
[pid=11187/tid=11188] ppid=11185 vsize=15417412 memory=1536 CPUtime=0.56 cores=1,3,5,7
/proc/11187/task/11188/stat : 11188 (java) S 11185 11185 10284 0 -1 1077944384 9117 0 0 0 52 4 0 0 20 0 19 0 446225398 15787429888 73739 33554432000 4194304 4196468 140735354035488 139736165995648 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11189] ppid=11185 vsize=15417412 memory=9592 CPUtime=0.53 cores=1,3,5,7
/proc/11187/task/11189/stat : 11189 (java) S 11185 11185 10284 0 -1 1077944384 1615 0 0 0 49 4 0 0 20 0 19 0 446225399 15787429888 73739 33554432000 4194304 4196468 140735354035488 139736097991440 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11190] ppid=11185 vsize=15417412 memory=2828 CPUtime=0.53 cores=1,3,5,7
/proc/11187/task/11190/stat : 11190 (java) S 11185 11185 10284 0 -1 1077944384 1527 0 0 0 49 4 0 0 20 0 19 0 446225399 15787429888 73739 33554432000 4194304 4196468 140735354035488 139736096938896 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11191] ppid=11185 vsize=15417412 memory=1384 CPUtime=0.52 cores=1,3,5,7
/proc/11187/task/11191/stat : 11191 (java) S 11185 11185 10284 0 -1 1077944384 2723 0 0 0 47 5 0 0 20 0 19 0 446225399 15787429888 73739 33554432000 4194304 4196468 140735354035488 139736095886352 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11192] ppid=11185 vsize=15417412 memory=4156 CPUtime=0.53 cores=1,3,5,7
/proc/11187/task/11192/stat : 11192 (java) S 11185 11185 10284 0 -1 1077944384 3279 0 0 0 48 5 0 0 20 0 19 0 446225399 15787429888 73739 33554432000 4194304 4196468 140735354035488 139736094833808 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11193] ppid=11185 vsize=15417412 memory=1056 CPUtime=0.26 cores=1,3,5,7
/proc/11187/task/11193/stat : 11193 (java) S 11185 11185 10284 0 -1 1077944384 2740 0 0 0 21 5 0 0 20 0 19 0 446225400 15787429888 73739 33554432000 4194304 4196468 140735354035488 139735697508336 139736161766018 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11194] ppid=11185 vsize=15417412 memory=1188 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11194/stat : 11194 (java) S 11185 11185 10284 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 19 0 446225401 15787429888 73739 33554432000 4194304 4196468 140735354035488 139735696454624 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11195] ppid=11185 vsize=15417412 memory=1536 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11195/stat : 11195 (java) S 11185 11185 10284 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 19 0 446225401 15787429888 73739 33554432000 4194304 4196468 140735354035488 139735695401984 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11196] ppid=11185 vsize=15417412 memory=9592 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11196/stat : 11196 (java) S 11185 11185 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446225403 15787429888 73739 33554432000 4194304 4196468 140735354035488 139735694350544 139736161773467 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11197] ppid=11185 vsize=15417412 memory=2828 CPUtime=3.06 cores=1,3,5,7
/proc/11187/task/11197/stat : 11197 (java) S 11185 11185 10284 0 -1 1077944384 23590 0 0 0 303 3 0 0 20 0 19 0 446225403 15787429888 73739 33554432000 4194304 4196468 140735354035488 139735693298160 139736161766018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11198] ppid=11185 vsize=15417412 memory=780 CPUtime=2.95 cores=1,3,5,7
/proc/11187/task/11198/stat : 11198 (java) S 11185 11185 10284 0 -1 1077944384 19961 0 0 0 293 2 0 0 20 0 19 0 446225403 15787429888 73739 33554432000 4194304 4196468 140735354035488 139735692245616 139736161766018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11199] ppid=11185 vsize=15417412 memory=524 CPUtime=0.61 cores=1,3,5,7
/proc/11187/task/11199/stat : 11199 (java) S 11185 11185 10284 0 -1 1077944384 9979 0 0 0 60 1 0 0 20 0 19 0 446225403 15787429888 73739 33554432000 4194304 4196468 140735354035488 139735691193072 139736161766018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11200] ppid=11185 vsize=15417412 memory=1568 CPUtime=0 cores=1,3,5,7
/proc/11187/task/11200/stat : 11200 (java) S 11185 11185 10284 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446225404 15787429888 73739 33554432000 4194304 4196468 140735354035488 139735690140768 139736161765077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11201] ppid=11185 vsize=15417412 memory=928 CPUtime=0.24 cores=1,3,5,7
/proc/11187/task/11201/stat : 11201 (java) S 11185 11185 10284 0 -1 1077944384 1253 0 0 0 18 6 0 0 20 0 19 0 446225404 15787429888 73739 33554432000 4194304 4196468 140735354035488 139735689087280 139736161766018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 30 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11204] ppid=11185 vsize=15417412 memory=3520 CPUtime=627.76 cores=1,3,5,7
/proc/11187/task/11204/stat : 11204 (java) R 11185 11185 10284 0 -1 4202560 1354 0 0 0 62775 1 0 0 20 0 19 0 446225456 15787429888 73739 33554432000 4194304 4196468 140735354035488 139735612189944 139735774173233 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11205] ppid=11185 vsize=15417412 memory=1976 CPUtime=627.42 cores=1,3,5,7
/proc/11187/task/11205/stat : 11205 (java) R 11185 11185 10284 0 -1 4202560 1082 0 0 0 62741 1 0 0 20 0 19 0 446225456 15787429888 73739 33554432000 4194304 4196468 140735354035488 139735611138520 139735775040396 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11206] ppid=11185 vsize=15417412 memory=2512 CPUtime=627.4 cores=1,3,5,7
/proc/11187/task/11206/stat : 11206 (java) R 11185 11185 10284 0 -1 4202560 2901 0 0 0 62738 2 0 0 20 0 19 0 446225456 15787429888 73739 33554432000 4194304 4196468 140735354035488 139735610085120 139735777826184 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
[pid=11187/tid=11207] ppid=11185 vsize=15417412 memory=808 CPUtime=627.58 cores=1,3,5,7
/proc/11187/task/11207/stat : 11207 (java) R 11185 11185 10284 0 -1 4202560 2782 0 0 0 62757 1 0 0 20 0 19 0 446225456 15787429888 73739 33554432000 4194304 4196468 140735354035488 139735609035600 139735776626710 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10031104 140735354037231 140735354037402 140735354037402 140735354040271 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 296408 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+634.235 s]
# the end of solver process 11185 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002308 s, system=0 s
[startup+634.303 s]
# the end of solver process 11187 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520.06 s, system=0.408148 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 634.303
CPU time (s): 2520.47
CPU user time (s): 2520.06
CPU system time (s): 0.408148
CPU usage (%): 397.36
Max. virtual memory (cumulated for all children) (KiB): 15534028
Max. memory (cumulated for all children) (KiB): 296408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.06
system time used= 0.408148
maximum resident set size= 295532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86380
page faults= 0
swaps= 0
block input operations= 0
block output operations= 928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26323
involuntary context switches= 41653
# summary of solver processes directly reported to runsolver:
# pid: 11185,11187
# total CPU time (s): 2520.47
# total CPU user time (s): 2520.06
# total CPU system time (s): 0.408148
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.98747 second user time and 7.45561 second system time
The end