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 (11095 MiB free)
memory of node 1: 16384 MiB (13113 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393275-1568320126/watcher-4393275-1568320126 -o /tmp/evaluation-result-4393275-1568320126/solver-4393275-1568320126 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568312851-11622 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1868769551 HOME/instance-4393275-1568320126.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=20355, runsolver pid=20352
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 7.27 8.25 8.08 7/233 20371
/proc/meminfo: memFree=24774744/32770624 swapFree=66952812/67108860
[pid=20355] ppid=20352 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20355/stat : 20355 (xcsp3-exec) S 20352 20355 11591 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407954592 115843072 363 33554432000 4194304 5098028 140729818135056 140729818133160 139867813126780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37715968 140729818141562 140729818141805 140729818141805 140729818144714 0
/proc/20355/statm: 28282 363 304 221 0 87 0
[pid=20357] ppid=20355 vsize=15144768 memory=28896 CPUtime=0.13 cores=0,2,4,6
/proc/20357/stat : 20357 (java) S 20355 20355 11591 0 -1 1077944320 5706 0 0 0 12 1 0 0 20 0 15 0 407954592 15508242432 7224 33554432000 4194304 4196468 140726940123856 140726940106400 140502960099063 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
/proc/20357/statm: 3786192 7224 3120 1 0 3748377 0
[pid=20357/tid=20358] ppid=20355 vsize=15144768 memory=7100839861464564850 CPUtime=0.09 cores=0,2,4,6
/proc/20357/task/20358/stat : 20358 (java) R 20355 20355 11591 0 -1 4202560 3612 0 0 0 8 1 0 0 20 0 15 0 407954593 15508242432 7224 33554432000 4194304 4196468 140726940123856 140502964323312 140502944179550 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20359] ppid=20355 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20359/stat : 20359 (java) S 20355 20355 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407954594 15508242432 7224 33554432000 4194304 4196468 140726940123856 140502888139280 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20360] ppid=20355 vsize=15144768 memory=140327873087104 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20360/stat : 20360 (java) S 20355 20355 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407954594 15508242432 7224 33554432000 4194304 4196468 140726940123856 140502887086736 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20361] ppid=20355 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20361/stat : 20361 (java) S 20355 20355 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407954594 15508242432 7224 33554432000 4194304 4196468 140726940123856 140502886033680 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20362] ppid=20355 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20362/stat : 20362 (java) S 20355 20355 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407954594 15508242432 7224 33554432000 4194304 4196468 140726940123856 140502884981136 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20363] ppid=20355 vsize=15144768 memory=140327873087104 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20363/stat : 20363 (java) S 20355 20355 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407954595 15508242432 7224 33554432000 4194304 4196468 140726940123856 140501832973040 140502960110210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20364] ppid=20355 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20364/stat : 20364 (java) S 20355 20355 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407954595 15508242432 7224 33554432000 4194304 4196468 140726940123856 140501831919264 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20365] ppid=20355 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20365/stat : 20365 (java) S 20355 20355 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407954596 15508242432 7224 33554432000 4194304 4196468 140726940123856 140501830866160 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20366] ppid=20355 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20366/stat : 20366 (java) S 20355 20355 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407954598 15508242432 7224 33554432000 4194304 4196468 140726940123856 140501829814736 140502960117659 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20367] ppid=20355 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20367/stat : 20367 (java) R 20355 20355 11591 0 -1 4202560 330 0 0 0 0 0 0 0 20 0 15 0 407954598 15508242432 7224 33554432000 4194304 4196468 140726940123856 140501828753344 140502960120410 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20368] ppid=20355 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20368/stat : 20368 (java) R 20355 20355 11591 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 407954598 15508242432 7224 33554432000 4194304 4196468 140726940123856 140501827709296 140502960110210 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20369] ppid=20355 vsize=15144768 memory=140327873087104 CPUtime=0.02 cores=0,2,4,6
/proc/20357/task/20369/stat : 20369 (java) R 20355 20355 11591 0 -1 4202560 354 0 0 0 2 0 0 0 20 0 15 0 407954598 15508242432 7224 33554432000 4194304 4196468 140726940123856 140501826656240 140502960120410 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20370] ppid=20355 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20370/stat : 20370 (java) S 20355 20355 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407954598 15508242432 7290 33554432000 4194304 4196468 140726940123856 140501825603936 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20371] ppid=20355 vsize=15144768 memory=140327873087104 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20371/stat : 20371 (java) S 20355 20355 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407954599 15508242432 7290 33554432000 4194304 4196468 140726940123856 140501824551984 140502960110210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30348 KiB
[startup+0.213127 s]*
/proc/loadavg: 7.27 8.25 8.08 7/233 20371
/proc/meminfo: memFree=24763404/32770624 swapFree=66952812/67108860
[pid=20355] ppid=20352 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20355/stat : 20355 (xcsp3-exec) S 20352 20355 11591 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407954592 115843072 363 33554432000 4194304 5098028 140729818135056 140729818133160 139867813126780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37715968 140729818141562 140729818141805 140729818141805 140729818144714 0
/proc/20355/statm: 28282 363 304 221 0 87 0
[pid=20357] ppid=20355 vsize=15144768 memory=39964 CPUtime=0.34 cores=0,2,4,6
/proc/20357/stat : 20357 (java) S 20355 20355 11591 0 -1 1077944320 9310 0 0 0 31 3 0 0 20 0 15 0 407954592 15508242432 9991 33554432000 4194304 4196468 140726940123856 140726940106400 140502960099063 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
/proc/20357/statm: 3786192 9991 3261 1 0 3748377 0
[pid=20357/tid=20358] ppid=20355 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/20357/task/20358/stat : 20358 (java) R 20355 20355 11591 0 -1 4202560 6583 0 0 0 18 2 0 0 20 0 15 0 407954593 15508242432 9991 33554432000 4194304 4196468 140726940123856 140502964334864 140502960110998 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20359] ppid=20355 vsize=15144768 memory=13655 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20359/stat : 20359 (java) S 20355 20355 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407954594 15508242432 9991 33554432000 4194304 4196468 140726940123856 140502888139280 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20360] ppid=20355 vsize=15144768 memory=140327873104720 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20360/stat : 20360 (java) S 20355 20355 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407954594 15508242432 9991 33554432000 4194304 4196468 140726940123856 140502887086736 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20361] ppid=20355 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20361/stat : 20361 (java) S 20355 20355 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407954594 15508242432 9991 33554432000 4194304 4196468 140726940123856 140502886033680 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20362] ppid=20355 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20362/stat : 20362 (java) S 20355 20355 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407954594 15508242432 9991 33554432000 4194304 4196468 140726940123856 140502884981136 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20363] ppid=20355 vsize=15144768 memory=140327873087104 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20363/stat : 20363 (java) S 20355 20355 11591 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407954595 15508242432 9991 33554432000 4194304 4196468 140726940123856 140501832973040 140502960110210 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20364] ppid=20355 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20364/stat : 20364 (java) S 20355 20355 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407954595 15508242432 9991 33554432000 4194304 4196468 140726940123856 140501831919264 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20365] ppid=20355 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20365/stat : 20365 (java) S 20355 20355 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407954596 15508242432 9991 33554432000 4194304 4196468 140726940123856 140501830866160 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20366] ppid=20355 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20366/stat : 20366 (java) S 20355 20355 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407954598 15508242432 9991 33554432000 4194304 4196468 140726940123856 140501829814736 140502960117659 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20367] ppid=20355 vsize=15144768 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/20357/task/20367/stat : 20367 (java) S 20355 20355 11591 0 -1 1077944384 443 0 0 0 3 0 0 0 20 0 15 0 407954598 15508242432 9991 33554432000 4194304 4196468 140726940123856 140501828761840 140502960110210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20368] ppid=20355 vsize=15144768 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/20357/task/20368/stat : 20368 (java) S 20355 20355 11591 0 -1 1077944384 187 0 0 0 1 0 0 0 20 0 15 0 407954598 15508242432 9991 33554432000 4194304 4196468 140726940123856 140501827709296 140502960110210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20369] ppid=20355 vsize=15144768 memory=140327873087104 CPUtime=0.08 cores=0,2,4,6
/proc/20357/task/20369/stat : 20369 (java) S 20355 20355 11591 0 -1 1077944384 791 0 0 0 8 0 0 0 20 0 15 0 407954598 15508242432 9991 33554432000 4194304 4196468 140726940123856 140501826656240 140502960110210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20370] ppid=20355 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20370/stat : 20370 (java) S 20355 20355 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407954598 15508242432 9991 33554432000 4194304 4196468 140726940123856 140501825603936 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20371] ppid=20355 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20371/stat : 20371 (java) S 20355 20355 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407954599 15508242432 9991 33554432000 4194304 4196468 140726940123856 140501824551984 140502960110210 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41416 KiB
[startup+0.310841 s]*
/proc/loadavg: 7.27 8.25 8.08 8/233 20371
/proc/meminfo: memFree=24754532/32770624 swapFree=66952812/67108860
[pid=20355] ppid=20352 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20355/stat : 20355 (xcsp3-exec) S 20352 20355 11591 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407954592 115843072 363 33554432000 4194304 5098028 140729818135056 140729818133160 139867813126780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37715968 140729818141562 140729818141805 140729818141805 140729818144714 0
/proc/20355/statm: 28282 363 304 221 0 87 0
[pid=20357] ppid=20355 vsize=15149024 memory=49720 CPUtime=0.52 cores=0,2,4,6
/proc/20357/stat : 20357 (java) S 20355 20355 11591 0 -1 1077944320 10781 0 0 0 48 4 0 0 20 0 15 0 407954592 15512600576 12430 33554432000 4194304 4196468 140726940123856 140726940106400 140502960099063 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
/proc/20357/statm: 3787256 12430 3334 1 0 3748377 0
[pid=20357/tid=20358] ppid=20355 vsize=15149024 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/20357/task/20358/stat : 20358 (java) R 20355 20355 11591 0 -1 4202560 7752 0 0 0 26 3 0 0 20 0 15 0 407954593 15512600576 12498 33554432000 4194304 4196468 140726940123856 140502964325680 140502944179550 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20359] ppid=20355 vsize=15149024 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20359/stat : 20359 (java) S 20355 20355 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407954594 15512600576 12498 33554432000 4194304 4196468 140726940123856 140502888139280 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20360] ppid=20355 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20360/stat : 20360 (java) S 20355 20355 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407954594 15512600576 12498 33554432000 4194304 4196468 140726940123856 140502887086736 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20361] ppid=20355 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20361/stat : 20361 (java) S 20355 20355 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407954594 15512600576 12498 33554432000 4194304 4196468 140726940123856 140502886033680 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20362] ppid=20355 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20362/stat : 20362 (java) S 20355 20355 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407954594 15512600576 12498 33554432000 4194304 4196468 140726940123856 140502884981136 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20363] ppid=20355 vsize=15149024 memory=-7305852742256935071 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20363/stat : 20363 (java) S 20355 20355 11591 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407954595 15512600576 12498 33554432000 4194304 4196468 140726940123856 140501832973040 140502960110210 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20364] ppid=20355 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20364/stat : 20364 (java) S 20355 20355 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407954595 15512600576 12498 33554432000 4194304 4196468 140726940123856 140501831919264 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20365] ppid=20355 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20365/stat : 20365 (java) S 20355 20355 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407954596 15512600576 12498 33554432000 4194304 4196468 140726940123856 140501830866160 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20366] ppid=20355 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20366/stat : 20366 (java) S 20355 20355 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407954598 15512600576 12498 33554432000 4194304 4196468 140726940123856 140501829814736 140502960117659 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20367] ppid=20355 vsize=15149024 memory=7827413994055111515 CPUtime=0.04 cores=0,2,4,6
/proc/20357/task/20367/stat : 20367 (java) S 20355 20355 11591 0 -1 1077944384 450 0 0 0 4 0 0 0 20 0 15 0 407954598 15512600576 12498 33554432000 4194304 4196468 140726940123856 140501828761840 140502960110210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20368] ppid=20355 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/20357/task/20368/stat : 20368 (java) R 20355 20355 11591 0 -1 4202560 341 0 0 0 4 0 0 0 20 0 15 0 407954598 15512600576 12498 33554432000 4194304 4196468 140726940123856 140501827709392 140502945028563 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20369] ppid=20355 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/20357/task/20369/stat : 20369 (java) S 20355 20355 11591 0 -1 1077944384 937 0 0 0 12 0 0 0 20 0 15 0 407954598 15512600576 12498 33554432000 4194304 4196468 140726940123856 140501826656240 140502960110210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20370] ppid=20355 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20370/stat : 20370 (java) S 20355 20355 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407954598 15512600576 12498 33554432000 4194304 4196468 140726940123856 140501825603936 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20371] ppid=20355 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20371/stat : 20371 (java) S 20355 20355 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407954599 15512600576 12498 33554432000 4194304 4196468 140726940123856 140501824551984 140502960110210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51172 KiB
[startup+0.701517 s]
/proc/loadavg: 7.27 8.25 8.08 6/233 20371
/proc/meminfo: memFree=24738820/32770624 swapFree=66952812/67108860
[pid=20355] ppid=20352 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20355/stat : 20355 (xcsp3-exec) S 20352 20355 11591 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407954592 115843072 363 33554432000 4194304 5098028 140729818135056 140729818133160 139867813126780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37715968 140729818141562 140729818141805 140729818141805 140729818144714 0
/proc/20355/statm: 28282 363 304 221 0 87 0
[pid=20357] ppid=20355 vsize=15151148 memory=96728 CPUtime=1.61 cores=0,2,4,6
/proc/20357/stat : 20357 (java) S 20355 20355 11591 0 -1 1077944320 15316 0 0 0 154 7 0 0 20 0 15 0 407954592 15514775552 24182 33554432000 4194304 4196468 140726940123856 140726940106400 140502960099063 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
/proc/20357/statm: 3787787 24182 3452 1 0 3748889 0
[pid=20357/tid=20358] ppid=20355 vsize=15151148 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/20357/task/20358/stat : 20358 (java) R 20355 20355 11591 0 -1 4202560 9313 0 0 0 62 5 0 0 20 0 15 0 407954593 15514775552 24182 33554432000 4194304 4196468 140726940123856 140502964336256 140502557077257 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20359] ppid=20355 vsize=15151148 memory=38044 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20359/stat : 20359 (java) S 20355 20355 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407954594 15514775552 24182 33554432000 4194304 4196468 140726940123856 140502888139280 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20360] ppid=20355 vsize=15151148 memory=992 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20360/stat : 20360 (java) S 20355 20355 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407954594 15514775552 24182 33554432000 4194304 4196468 140726940123856 140502887086736 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20361] ppid=20355 vsize=15151148 memory=2044 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20361/stat : 20361 (java) S 20355 20355 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407954594 15514775552 24182 33554432000 4194304 4196468 140726940123856 140502886033680 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20362] ppid=20355 vsize=15151148 memory=1324 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20362/stat : 20362 (java) S 20355 20355 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407954594 15514775552 24182 33554432000 4194304 4196468 140726940123856 140502884981136 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20363] ppid=20355 vsize=15151148 memory=11624 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20363/stat : 20363 (java) S 20355 20355 11591 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407954595 15514775552 24182 33554432000 4194304 4196468 140726940123856 140501832973040 140502960110210 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20364] ppid=20355 vsize=15151148 memory=752 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20364/stat : 20364 (java) S 20355 20355 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407954595 15514775552 24182 33554432000 4194304 4196468 140726940123856 140501831919264 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20365] ppid=20355 vsize=15151148 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20365/stat : 20365 (java) S 20355 20355 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407954596 15514775552 24182 33554432000 4194304 4196468 140726940123856 140501830866160 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20366] ppid=20355 vsize=15151148 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20366/stat : 20366 (java) S 20355 20355 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407954598 15514775552 24182 33554432000 4194304 4196468 140726940123856 140501829814736 140502960117659 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20367] ppid=20355 vsize=15151148 memory=944 CPUtime=0.26 cores=0,2,4,6
/proc/20357/task/20367/stat : 20367 (java) R 20355 20355 11591 0 -1 4202560 1055 0 0 0 26 0 0 0 20 0 15 0 407954598 15514775552 24182 33554432000 4194304 4196468 140726940123856 140501828742856 140502943595851 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20368] ppid=20355 vsize=15151148 memory=4004 CPUtime=0.23 cores=0,2,4,6
/proc/20357/task/20368/stat : 20368 (java) R 20355 20355 11591 0 -1 4202560 1307 0 0 0 23 0 0 0 20 0 15 0 407954598 15514775552 24182 33554432000 4194304 4196468 140726940123856 140501827698672 140502960120410 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20369] ppid=20355 vsize=15151148 memory=780 CPUtime=0.4 cores=0,2,4,6
/proc/20357/task/20369/stat : 20369 (java) R 20355 20355 11591 0 -1 4202560 2333 0 0 0 40 0 0 0 20 0 15 0 407954598 15514775552 24182 33554432000 4194304 4196468 140726940123856 140501826650592 140502960110998 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20370] ppid=20355 vsize=15151148 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20370/stat : 20370 (java) S 20355 20355 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407954598 15514775552 24182 33554432000 4194304 4196468 140726940123856 140501825603936 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20371] ppid=20355 vsize=15151148 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20371/stat : 20371 (java) S 20355 20355 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407954599 15514775552 24182 33554432000 4194304 4196468 140726940123856 140501824551984 140502960110210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 98180 KiB
[startup+1.51052 s]
/proc/loadavg: 7.27 8.25 8.08 10/236 20402
/proc/meminfo: memFree=24620428/32770624 swapFree=66952812/67108860
[pid=20355] ppid=20352 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20355/stat : 20355 (xcsp3-exec) S 20352 20355 11591 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407954592 115843072 363 33554432000 4194304 5098028 140729818135056 140729818133160 139867813126780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37715968 140729818141562 140729818141805 140729818141805 140729818144714 0
/proc/20355/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/20357/task/20371/stat : 20371 (java) S 20355 20355 11591 0 -1 1077944384 398 0 0 0 0 0 0 0 20 0 19 0 407954599 15926894592 94206 33554432000 4194304 4196468 140726940123856 140501824551984 140502960110210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20460] ppid=20355 vsize=15553608 memory=0 CPUtime=15.97 cores=0,2,4,6
/proc/20357/task/20460/stat : 20460 (java) S 20355 20355 11591 0 -1 1077944384 228 0 0 0 1597 0 0 0 20 0 19 0 407955924 15926894592 94206 33554432000 4194304 4196468 140726940123856 140501807169712 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20461] ppid=20355 vsize=15553608 memory=31 CPUtime=15.78 cores=0,2,4,6
/proc/20357/task/20461/stat : 20461 (java) S 20355 20355 11591 0 -1 1077944384 1290 0 0 0 1577 1 0 0 20 0 19 0 407955924 15926894592 94206 33554432000 4194304 4196468 140726940123856 140501809276112 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20462] ppid=20355 vsize=15553608 memory=0 CPUtime=15.84 cores=0,2,4,6
/proc/20357/task/20462/stat : 20462 (java) S 20355 20355 11591 0 -1 1077944384 921 0 0 0 1584 0 0 0 20 0 19 0 407955924 15926894592 94206 33554432000 4194304 4196468 140726940123856 140501808223568 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20463] ppid=20355 vsize=15553608 memory=2044 CPUtime=15.97 cores=0,2,4,6
/proc/20357/task/20463/stat : 20463 (java) R 20355 20355 11591 0 -1 4202560 282 0 0 0 1597 0 0 0 20 0 19 0 407955924 15926894592 94206 33554432000 4194304 4196468 140726940123856 140501813473064 140502566111265 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
Current children cumulated CPU time: 104.84 s
Current children cumulated vsize: 15666736 KiB
Current children cumulated memory: 378276 KiB
[startup+30.0008 s]*
/proc/loadavg: 7.54 8.23 8.08 6/237 20465
/proc/meminfo: memFree=24425192/32770624 swapFree=66952812/67108860
[pid=20355] ppid=20352 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20355/stat : 20355 (xcsp3-exec) S 20352 20355 11591 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407954592 115843072 363 33554432000 4194304 5098028 140729818135056 140729818133160 139867813126780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37715968 140729818141562 140729818141805 140729818141805 140729818144714 0
/proc/20355/statm: 28282 363 304 221 0 87 0
[pid=20357] ppid=20355 vsize=15553608 memory=376824 CPUtime=105.25 cores=0,2,4,6
/proc/20357/stat : 20357 (java) S 20355 20355 11591 0 -1 1077944320 46817 0 0 0 10504 21 0 0 20 0 19 0 407954592 15926894592 94206 33554432000 4194304 4196468 140726940123856 140726940106400 140502960099063 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
/proc/20357/statm: 3888402 94206 3527 1 0 3849504 0
[pid=20357/tid=20358] ppid=20355 vsize=15553608 memory=8317482817917895235 CPUtime=0.73 cores=0,2,4,6
/proc/20357/task/20358/stat : 20358 (java) S 20355 20355 11591 0 -1 1077944384 9767 0 0 0 68 5 0 0 20 0 19 0 407954593 15926894592 94206 33554432000 4194304 4196468 140726940123856 140502964339840 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20359] ppid=20355 vsize=15553608 memory=4126316290023845779 CPUtime=0.04 cores=0,2,4,6
/proc/20357/task/20359/stat : 20359 (java) S 20355 20355 11591 0 -1 1077944384 1650 0 0 0 3 1 0 0 20 0 19 0 407954594 15926894592 94206 33554432000 4194304 4196468 140726940123856 140502888139280 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20360] ppid=20355 vsize=15553608 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/20357/task/20360/stat : 20360 (java) S 20355 20355 11591 0 -1 1077944384 268 0 0 0 3 1 0 0 20 0 19 0 407954594 15926894592 94206 33554432000 4194304 4196468 140726940123856 140502887086736 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20361] ppid=20355 vsize=15553608 memory=140327722522033 CPUtime=0.03 cores=0,2,4,6
/proc/20357/task/20361/stat : 20361 (java) S 20355 20355 11591 0 -1 1077944384 176 0 0 0 2 1 0 0 20 0 19 0 407954594 15926894592 94206 33554432000 4194304 4196468 140726940123856 140502886033680 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20362] ppid=20355 vsize=15553608 memory=6791534058613427641 CPUtime=0.05 cores=0,2,4,6
/proc/20357/task/20362/stat : 20362 (java) S 20355 20355 11591 0 -1 1077944384 321 0 0 0 4 1 0 0 20 0 19 0 407954594 15926894592 94206 33554432000 4194304 4196468 140726940123856 140502884981136 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20363] ppid=20355 vsize=15553608 memory=14135532779211192 CPUtime=0.02 cores=0,2,4,6
/proc/20357/task/20363/stat : 20363 (java) S 20355 20355 11591 0 -1 1077944384 490 0 0 0 1 1 0 0 20 0 19 0 407954595 15926894592 94206 33554432000 4194304 4196468 140726940123856 140501832973040 140502960110210 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20364] ppid=20355 vsize=15553608 memory=-8634980985311628903 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20364/stat : 20364 (java) S 20355 20355 11591 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 407954595 15926894592 94206 33554432000 4194304 4196468 140726940123856 140501831919328 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20365] ppid=20355 vsize=15553608 memory=7100839878645619564 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20365/stat : 20365 (java) S 20355 20355 11591 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 407954596 15926894592 94206 33554432000 4194304 4196468 140726940123856 140501830866160 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20366] ppid=20355 vsize=15553608 memory=7897517683652307531 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20366/stat : 20366 (java) S 20355 20355 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407954598 15926894592 94206 33554432000 4194304 4196468 140726940123856 140501829814736 140502960117659 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20367] ppid=20355 vsize=15553608 memory=8514726395715349656 CPUtime=2.78 cores=0,2,4,6
/proc/20357/task/20367/stat : 20367 (java) S 20355 20355 11591 0 -1 1077944384 9426 0 0 0 277 1 0 0 20 0 19 0 407954598 15926894592 94206 33554432000 4194304 4196468 140726940123856 140501828761840 140502960110210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20368] ppid=20355 vsize=15553608 memory=3047711553320166262 CPUtime=3.12 cores=0,2,4,6
/proc/20357/task/20368/stat : 20368 (java) S 20355 20355 11591 0 -1 1077944384 10806 0 0 0 311 1 0 0 20 0 19 0 407954598 15926894592 94206 33554432000 4194304 4196468 140726940123856 140501827709296 140502960110210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20369] ppid=20355 vsize=15553608 memory=7824336315716348491 CPUtime=0.84 cores=0,2,4,6
/proc/20357/task/20369/stat : 20369 (java) S 20355 20355 11591 0 -1 1077944384 5166 0 0 0 83 1 0 0 20 0 19 0 407954598 15926894592 94206 33554432000 4194304 4196468 140726940123856 140501826656240 140502960110210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20370] ppid=20355 vsize=15553608 memory=7953756517010139492 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20370/stat : 20370 (java) S 20355 20355 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407954598 15926894592 94206 33554432000 4194304 4196468 140726940123856 140501825603936 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20371] ppid=20355 vsize=15553608 memory=-7023579799431922829 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20371/stat : 20371 (java) S 20355 20355 11591 0 -1 1077944384 398 0 0 0 0 0 0 0 20 0 19 0 407954599 15926894592 94206 33554432000 4194304 4196468 140726940123856 140501824551984 140502960110210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20460] ppid=20355 vsize=15553608 memory=-7666414585839465563 CPUtime=15.97 cores=0,2,4,6
/proc/20357/task/20460/stat : 20460 (java) S 20355 20355 11591 0 -1 1077944384 228 0 0 0 1597 0 0 0 20 0 19 0 407955924 15926894592 94206 33554432000 4194304 4196468 140726940123856 140501807169712 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20461] ppid=20355 vsize=15553608 memory=-6520478321162704286 CPUtime=15.78 cores=0,2,4,6
/proc/20357/task/20461/stat : 20461 (java) S 20355 20355 11591 0 -1 1077944384 1290 0 0 0 1577 1 0 0 20 0 19 0 407955924 15926894592 94206 33554432000 4194304 4196468 140726940123856 140501809276112 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20462] ppid=20355 vsize=15553608 memory=-7521736447810188379 CPUtime=15.84 cores=0,2,4,6
/proc/20357/task/20462/stat : 20462 (java) S 20355 20355 11591 0 -1 1077944384 921 0 0 0 1584 0 0 0 20 0 19 0 407955924 15926894592 94206 33554432000 4194304 4196468 140726940123856 140501808223568 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20463] ppid=20355 vsize=15553608 memory=-8412652160765825907 CPUtime=16.38 cores=0,2,4,6
/proc/20357/task/20463/stat : 20463 (java) R 20355 20355 11591 0 -1 4202560 282 0 0 0 1638 0 0 0 20 0 19 0 407955924 15926894592 94206 33554432000 4194304 4196468 140726940123856 140501813473064 140502566111409 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
Current children cumulated CPU time: 105.25 s
Current children cumulated vsize: 15666736 KiB
Current children cumulated memory: 378276 KiB
[startup+30.2008 s]
/proc/loadavg: 7.54 8.23 8.08 6/237 20465
/proc/meminfo: memFree=24425192/32770624 swapFree=66952812/67108860
[pid=20355] ppid=20352 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20355/stat : 20355 (xcsp3-exec) S 20352 20355 11591 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407954592 115843072 363 33554432000 4194304 5098028 140729818135056 140729818133160 139867813126780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37715968 140729818141562 140729818141805 140729818141805 140729818144714 0
/proc/20355/statm: 28282 363 304 221 0 87 0
[pid=20357] ppid=20355 vsize=15553608 memory=376824 CPUtime=105.44 cores=0,2,4,6
/proc/20357/stat : 20357 (java) S 20355 20355 11591 0 -1 1077944320 46817 0 0 0 10523 21 0 0 20 0 19 0 407954592 15926894592 94206 33554432000 4194304 4196468 140726940123856 140726940106400 140502960099063 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
/proc/20357/statm: 3888402 94206 3527 1 0 3849504 0
[pid=20357/tid=20358] ppid=20355 vsize=15553608 memory=14135532779211192 CPUtime=0.73 cores=0,2,4,6
/proc/20357/task/20358/stat : 20358 (java) S 20355 20355 11591 0 -1 1077944384 9767 0 0 0 68 5 0 0 20 0 19 0 407954593 15926894592 94206 33554432000 4194304 4196468 140726940123856 140502964339840 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20359] ppid=20355 vsize=15553608 memory=376708 CPUtime=0.04 cores=0,2,4,6
/proc/20357/task/20359/stat : 20359 (java) S 20355 20355 11591 0 -1 1077944384 1650 0 0 0 3 1 0 0 20 0 19 0 407954594 15926894592 94206 33554432000 4194304 4196468 140726940123856 140502888139280 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20360] ppid=20355 vsize=15553608 memory=1436 CPUtime=0.04 cores=0,2,4,6
/proc/20357/task/20360/stat : 20360 (java) S 20355 20355 11591 0 -1 1077944384 268 0 0 0 3 1 0 0 20 0 19 0 407954594 15926894592 94206 33554432000 4194304 4196468 140726940123856 140502887086736 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20361] ppid=20355 vsize=15553608 memory=1984 CPUtime=0.03 cores=0,2,4,6
/proc/20357/task/20361/stat : 20361 (java) S 20355 20355 11591 0 -1 1077944384 176 0 0 0 2 1 0 0 20 0 19 0 407954594 15926894592 94206 33554432000 4194304 4196468 140726940123856 140502886033680 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20362] ppid=20355 vsize=15553608 memory=2492 CPUtime=0.05 cores=0,2,4,6
/proc/20357/task/20362/stat : 20362 (java) S 20355 20355 11591 0 -1 1077944384 321 0 0 0 4 1 0 0 20 0 19 0 407954594 15926894592 94206 33554432000 4194304 4196468 140726940123856 140502884981136 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20363] ppid=20355 vsize=15553608 memory=1764 CPUtime=0.02 cores=0,2,4,6
/proc/20357/task/20363/stat : 20363 (java) S 20355 20355 11591 0 -1 1077944384 490 0 0 0 1 1 0 0 20 0 19 0 407954595 15926894592 94206 33554432000 4194304 4196468 140726940123856 140501832973040 140502960110210 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20364] ppid=20355 vsize=15553608 memory=38044 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20364/stat : 20364 (java) S 20355 20355 11591 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 407954595 15926894592 94206 33554432000 4194304 4196468 140726940123856 140501831919328 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20365] ppid=20355 vsize=15553608 memory=992 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20365/stat : 20365 (java) S 20355 20355 11591 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 407954596 15926894592 94206 33554432000 4194304 4196468 140726940123856 140501830866160 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20366] ppid=20355 vsize=15553608 memory=280655443395520 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20366/stat : 20366 (java) S 20355 20355 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407954598 15926894592 94206 33554432000 4194304 4196468 140726940123856 140501829814736 140502960117659 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20367] ppid=20355 vsize=15553608 memory=22353 CPUtime=2.78 cores=0,2,4,6
/proc/20357/task/20367/stat : 20367 (java) S 20355 20355 11591 0 -1 1077944384 9426 0 0 0 277 1 0 0 20 0 19 0 407954598 15926894592 94206 33554432000 4194304 4196468 140726940123856 140501828761840 140502960110210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20368] ppid=20355 vsize=15553608 memory=140327722081872 CPUtime=3.12 cores=0,2,4,6
/proc/20357/task/20368/stat : 20368 (java) S 20355 20355 11591 0 -1 1077944384 10806 0 0 0 311 1 0 0 20 0 19 0 407954598 15926894592 94206 33554432000 4194304 4196468 140726940123856 140501827709296 140502960110210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20369] ppid=20355 vsize=15553608 memory=140327722081968 CPUtime=0.84 cores=0,2,4,6
/proc/20357/task/20369/stat : 20369 (java) S 20355 20355 11591 0 -1 1077944384 5166 0 0 0 83 1 0 0 20 0 19 0 407954598 15926894592 94206 33554432000 4194304 4196468 140726940123856 140501826656240 140502960110210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20370] ppid=20355 vsize=15553608 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20370/stat : 20370 (java) S 20355 20355 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407954598 15926894592 94206 33554432000 4194304 4196468 140726940123856 140501825603936 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20371] ppid=20355 vsize=15553608 memory=7100839878645619564 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20371/stat : 20371 (java) S 20355 20355 11591 0 -1 1077944384 398 0 0 0 0 0 0 0 20 0 19 0 407954599 15926894592 94206 33554432000 4194304 4196468 140726940123856 140501824551984 140502960110210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20460] ppid=20355 vsize=15553608 memory=7897517683652307531 CPUtime=15.97 cores=0,2,4,6
/proc/20357/task/20460/stat : 20460 (java) S 20355 20355 11591 0 -1 1077944384 228 0 0 0 1597 0 0 0 20 0 19 0 407955924 15926894592 94206 33554432000 4194304 4196468 140726940123856 140501807169712 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20461] ppid=20355 vsize=15553608 memory=8514726395715349656 CPUtime=15.78 cores=0,2,4,6
/proc/20357/task/20461/stat : 20461 (java) S 20355 20355 11591 0 -1 1077944384 1290 0 0 0 1577 1 0 0 20 0 19 0 407955924 15926894592 94206 33554432000 4194304 4196468 140726940123856 140501809276112 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20462] ppid=20355 vsize=15553608 memory=3047711553320166262 CPUtime=15.84 cores=0,2,4,6
/proc/20357/task/20462/stat : 20462 (java) S 20355 20355 11591 0 -1 1077944384 921 0 0 0 1584 0 0 0 20 0 19 0 407955924 15926894592 94206 33554432000 4194304 4196468 140726940123856 140501808223568 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20463] ppid=20355 vsize=15553608 memory=7824336315716348491 CPUtime=16.57 cores=0,2,4,6
/proc/20357/task/20463/stat : 20463 (java) R 20355 20355 11591 0 -1 4202560 282 0 0 0 1657 0 0 0 20 0 19 0 407955924 15926894592 94206 33554432000 4194304 4196468 140726940123856 140501813473064 140502566111233 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
Current children cumulated CPU time: 105.44 s
Current children cumulated vsize: 15666736 KiB
Current children cumulated memory: 378276 KiB
[startup+30.3009 s]
/proc/loadavg: 7.54 8.23 8.08 6/237 20465
/proc/meminfo: memFree=24425192/32770624 swapFree=66952812/67108860
[pid=20355] ppid=20352 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20355/stat : 20355 (xcsp3-exec) S 20352 20355 11591 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407954592 115843072 363 33554432000 4194304 5098028 140729818135056 140729818133160 139867813126780 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37715968 140729818141562 140729818141805 140729818141805 140729818144714 0
/proc/20355/statm: 28282 363 304 221 0 87 0
[pid=20357] ppid=20355 vsize=15553608 memory=376824 CPUtime=105.54 cores=0,2,4,6
/proc/20357/stat : 20357 (java) S 20355 20355 11591 0 -1 1077944320 46817 0 0 0 10533 21 0 0 20 0 19 0 407954592 15926894592 94206 33554432000 4194304 4196468 140726940123856 140726940106400 140502960099063 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
/proc/20357/statm: 3888402 94206 3527 1 0 3849504 0
[pid=20357/tid=20358] ppid=20355 vsize=15553608 memory=6656426216303648864 CPUtime=0.73 cores=0,2,4,6
/proc/20357/task/20358/stat : 20358 (java) S 20355 20355 11591 0 -1 1077944384 9767 0 0 0 68 5 0 0 20 0 19 0 407954593 15926894592 94206 33554432000 4194304 4196468 140726940123856 140502964339840 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20359] ppid=20355 vsize=15553608 memory=6656426216303648864 CPUtime=0.04 cores=0,2,4,6
/proc/20357/task/20359/stat : 20359 (java) S 20355 20355 11591 0 -1 1077944384 1650 0 0 0 3 1 0 0 20 0 19 0 407954594 15926894592 94206 33554432000 4194304 4196468 140726940123856 140502888139280 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20360] ppid=20355 vsize=15553608 memory=3612 CPUtime=0.04 cores=0,2,4,6
/proc/20357/task/20360/stat : 20360 (java) S 20355 20355 11591 0 -1 1077944384 268 0 0 0 3 1 0 0 20 0 19 0 407954594 15926894592 94206 33554432000 4194304 4196468 140726940123856 140502887086736 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20361] ppid=20355 vsize=15553608 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/20357/task/20361/stat : 20361 (java) S 20355 20355 11591 0 -1 1077944384 176 0 0 0 2 1 0 0 20 0 19 0 407954594 15926894592 94206 33554432000 4194304 4196468 140726940123856 140502886033680 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20362] ppid=20355 vsize=15553608 memory=500 CPUtime=0.05 cores=0,2,4,6
/proc/20357/task/20362/stat : 20362 (java) S 20355 20355 11591 0 -1 1077944384 321 0 0 0 4 1 0 0 20 0 19 0 407954594 15926894592 94206 33554432000 4194304 4196468 140726940123856 140502884981136 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20363] ppid=20355 vsize=15553608 memory=1556 CPUtime=0.02 cores=0,2,4,6
/proc/20357/task/20363/stat : 20363 (java) S 20355 20355 11591 0 -1 1077944384 490 0 0 0 1 1 0 0 20 0 19 0 407954595 15926894592 94206 33554432000 4194304 4196468 140726940123856 140501832973040 140502960110210 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20364] ppid=20355 vsize=15553608 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20364/stat : 20364 (java) S 20355 20355 11591 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 407954595 15926894592 94206 33554432000 4194304 4196468 140726940123856 140501831919328 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20365] ppid=20355 vsize=15553608 memory=500 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20365/stat : 20365 (java) S 20355 20355 11591 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 407954596 15926894592 94206 33554432000 4194304 4196468 140726940123856 140501830866160 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20366] ppid=20355 vsize=15553608 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20366/stat : 20366 (java) S 20355 20355 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407954598 15926894592 94206 33554432000 4194304 4196468 140726940123856 140501829814736 140502960117659 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20367] ppid=20355 vsize=15553608 memory=4004 CPUtime=2.78 cores=0,2,4,6
/proc/20357/task/20367/stat : 20367 (java) S 20355 20355 11591 0 -1 1077944384 9426 0 0 0 277 1 0 0 20 0 19 0 407954598 15926894592 94206 33554432000 4194304 4196468 140726940123856 140501828761840 140502960110210 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20368] ppid=20355 vsize=15553608 memory=1452 CPUtime=3.12 cores=0,2,4,6
/proc/20357/task/20368/stat : 20368 (java) S 20355 20355 11591 0 -1 1077944384 10806 0 0 0 311 1 0 0 20 0 19 0 407954598 15926894592 94206 33554432000 4194304 4196468 140726940123856 140501827709296 140502960110210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20369] ppid=20355 vsize=15553608 memory=924 CPUtime=0.84 cores=0,2,4,6
/proc/20357/task/20369/stat : 20369 (java) S 20355 20355 11591 0 -1 1077944384 5166 0 0 0 83 1 0 0 20 0 19 0 407954598 15926894592 94206 33554432000 4194304 4196468 140726940123856 140501826656240 140502960110210 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20370] ppid=20355 vsize=15553608 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20370/stat : 20370 (java) S 20355 20355 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407954598 15926894592 94206 33554432000 4194304 4196468 140726940123856 140501825603936 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20371] ppid=20355 vsize=15553608 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20357/task/20371/stat : 20371 (java) S 20355 20355 11591 0 -1 1077944384 398 0 0 0 0 0 0 0 20 0 19 0 407954599 15926894592 94206 33554432000 4194304 4196468 140726940123856 140501824551984 140502960110210 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20460] ppid=20355 vsize=15553608 memory=1452 CPUtime=15.97 cores=0,2,4,6
/proc/20357/task/20460/stat : 20460 (java) S 20355 20355 11591 0 -1 1077944384 228 0 0 0 1597 0 0 0 20 0 19 0 407955924 15926894592 94206 33554432000 4194304 4196468 140726940123856 140501807169712 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20461] ppid=20355 vsize=15553608 memory=38044 CPUtime=15.78 cores=0,2,4,6
/proc/20357/task/20461/stat : 20461 (java) S 20355 20355 11591 0 -1 1077944384 1290 0 0 0 1577 1 0 0 20 0 19 0 407955924 15926894592 94206 33554432000 4194304 4196468 140726940123856 140501809276112 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20462] ppid=20355 vsize=15553608 memory=992 CPUtime=15.84 cores=0,2,4,6
/proc/20357/task/20462/stat : 20462 (java) S 20355 20355 11591 0 -1 1077944384 921 0 0 0 1584 0 0 0 20 0 19 0 407955924 15926894592 94206 33554432000 4194304 4196468 140726940123856 140501808223568 140502960109269 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
[pid=20357/tid=20463] ppid=20355 vsize=15553608 memory=3612 CPUtime=16.67 cores=0,2,4,6
/proc/20357/task/20463/stat : 20463 (java) R 20355 20355 11591 0 -1 4202560 282 0 0 0 1667 0 0 0 20 0 19 0 407955924 15926894592 94206 33554432000 4194304 4196468 140726940123856 140501813473064 140502566111074 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28160000 140726940128239 140726940128410 140726940128410 140726940131279 0
Current children cumulated CPU time: 105.54 s
Current children cumulated vsize: 15666736 KiB
Current children cumulated memory: 378276 KiB
Child status: 0
Real time (s): 30.3305
CPU time (s): 105.584
CPU user time (s): 105.363
CPU system time (s): 0.220713
CPU usage (%): 348.112
Max. virtual memory (cumulated for all children) (KiB): 15666736
Max. memory (cumulated for all children) (KiB): 378276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 105.363
system time used= 0.220713
maximum resident set size= 376952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47927
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4070
involuntary context switches= 2640
# summary of solver processes directly reported to runsolver:
# pid: 20355
# total CPU time (s): 105.584
# total CPU user time (s): 105.363
# total CPU system time (s): 0.220713
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.214433 second user time and 0.365939 second system time
The end