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 (7643 MiB free)
memory of node 1: 16384 MiB (9557 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392926-1568345128/watcher-4392926-1568345128 -o /tmp/evaluation-result-4392926-1568345128/solver-4392926-1568345128 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568343408-4479 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 973210158 HOME/instance-4392926-1568345128.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=5368, runsolver pid=5365
[startup+0.105561 s]*
/proc/loadavg: 9.10 8.77 7.43 7/234 5384
/proc/meminfo: memFree=17594748/32770624 swapFree=66959216/67108860
[pid=5368] ppid=5365 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5368/stat : 5368 (xcsp3-exec) S 5365 5368 3331 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 410453010 115843072 362 33554432000 4194304 5098028 140728584408816 140728584406920 140250362815100 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24891392 140728584414075 140728584414317 140728584414317 140728584417226 0
/proc/5368/statm: 28282 362 304 221 0 87 0
[pid=5370] ppid=5368 vsize=15144768 memory=31260 CPUtime=0.14 cores=1,3,5,7
/proc/5370/stat : 5370 (java) S 5368 5368 3331 0 -1 1077944320 5780 0 0 0 13 1 0 0 20 0 15 0 410453011 15508242432 7815 33554432000 4194304 4196468 140736924510944 140736924493488 140656013016823 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
/proc/5370/statm: 3786192 7815 3145 1 0 3748377 0
[pid=5370/tid=5371] ppid=5368 vsize=15144768 memory=-8976644418600983157 CPUtime=0.09 cores=1,3,5,7
/proc/5370/task/5371/stat : 5371 (java) R 5368 5368 3331 0 -1 4202560 3642 0 0 0 9 0 0 0 20 0 15 0 410453011 15508242432 7815 33554432000 4194304 4196468 140736924510944 140656017246416 140655632453680 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5372] ppid=5368 vsize=15144768 memory=3472468156731299024 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5372/stat : 5372 (java) S 5368 5368 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410453012 15508242432 7815 33554432000 4194304 4196468 140736924510944 140655965637520 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5373] ppid=5368 vsize=15144768 memory=140027836147328 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5373/stat : 5373 (java) S 5368 5368 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410453012 15508242432 7815 33554432000 4194304 4196468 140736924510944 140655964584720 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5374] ppid=5368 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5374/stat : 5374 (java) S 5368 5368 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410453012 15508242432 7815 33554432000 4194304 4196468 140736924510944 140655963532432 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5375] ppid=5368 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5375/stat : 5375 (java) S 5368 5368 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410453012 15508242432 7815 33554432000 4194304 4196468 140736924510944 140655962479632 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5376] ppid=5368 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5376/stat : 5376 (java) S 5368 5368 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410453013 15508242432 7815 33554432000 4194304 4196468 140736924510944 140654886774896 140656013027970 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5377] ppid=5368 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5377/stat : 5377 (java) S 5368 5368 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410453014 15508242432 7815 33554432000 4194304 4196468 140736924510944 140654885720864 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5378] ppid=5368 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5378/stat : 5378 (java) S 5368 5368 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410453014 15508242432 7815 33554432000 4194304 4196468 140736924510944 140654884668528 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5379] ppid=5368 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5379/stat : 5379 (java) S 5368 5368 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410453016 15508242432 7815 33554432000 4194304 4196468 140736924510944 140654883616848 140656013035419 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5380] ppid=5368 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5380/stat : 5380 (java) S 5368 5368 3331 0 -1 1077944384 459 0 0 0 0 0 0 0 20 0 15 0 410453016 15508242432 7815 33554432000 4194304 4196468 140736924510944 140654882564720 140656013027970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5381] ppid=5368 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5381/stat : 5381 (java) S 5368 5368 3331 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 410453016 15508242432 7815 33554432000 4194304 4196468 140736924510944 140654881511920 140656013027970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5382] ppid=5368 vsize=15144768 memory=140027836147328 CPUtime=0.02 cores=1,3,5,7
/proc/5370/task/5382/stat : 5382 (java) R 5368 5368 3331 0 -1 4202560 363 0 0 0 2 0 0 0 20 0 15 0 410453016 15508242432 7815 33554432000 4194304 4196468 140736924510944 140654880459632 140655994580375 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5383] ppid=5368 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5383/stat : 5383 (java) S 5368 5368 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410453016 15508242432 7815 33554432000 4194304 4196468 140736924510944 140654879407072 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5384] ppid=5368 vsize=15144768 memory=140027836147328 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5384/stat : 5384 (java) S 5368 5368 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410453017 15508242432 7815 33554432000 4194304 4196468 140736924510944 140654569937328 140656013027970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 32708 KiB
[startup+0.210742 s]*
/proc/loadavg: 9.10 8.77 7.43 7/234 5384
/proc/meminfo: memFree=17581520/32770624 swapFree=66959216/67108860
[pid=5368] ppid=5365 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5368/stat : 5368 (xcsp3-exec) S 5365 5368 3331 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 410453010 115843072 362 33554432000 4194304 5098028 140728584408816 140728584406920 140250362815100 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24891392 140728584414075 140728584414317 140728584414317 140728584417226 0
/proc/5368/statm: 28282 362 304 221 0 87 0
[pid=5370] ppid=5368 vsize=15144768 memory=42892 CPUtime=0.34 cores=1,3,5,7
/proc/5370/stat : 5370 (java) S 5368 5368 3331 0 -1 1077944320 9468 0 0 0 31 3 0 0 20 0 15 0 410453011 15508242432 10723 33554432000 4194304 4196468 140736924510944 140736924493488 140656013016823 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
/proc/5370/statm: 3786192 10723 3301 1 0 3748377 0
[pid=5370/tid=5371] ppid=5368 vsize=15144768 memory=4212167822348820889 CPUtime=0.2 cores=1,3,5,7
/proc/5370/task/5371/stat : 5371 (java) R 5368 5368 3331 0 -1 4202560 6638 0 0 0 18 2 0 0 20 0 15 0 410453011 15508242432 10723 33554432000 4194304 4196468 140736924510944 140656017252624 140655997060453 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5372] ppid=5368 vsize=15144768 memory=3472468156731299024 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5372/stat : 5372 (java) S 5368 5368 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410453012 15508242432 10723 33554432000 4194304 4196468 140736924510944 140655965637520 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5373] ppid=5368 vsize=15144768 memory=140027836147328 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5373/stat : 5373 (java) S 5368 5368 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410453012 15508242432 10723 33554432000 4194304 4196468 140736924510944 140655964584720 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5374] ppid=5368 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5374/stat : 5374 (java) S 5368 5368 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410453012 15508242432 10723 33554432000 4194304 4196468 140736924510944 140655963532432 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5375] ppid=5368 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5375/stat : 5375 (java) S 5368 5368 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410453012 15508242432 10723 33554432000 4194304 4196468 140736924510944 140655962479632 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5376] ppid=5368 vsize=15144768 memory=140027836147328 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5376/stat : 5376 (java) S 5368 5368 3331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410453013 15508242432 10723 33554432000 4194304 4196468 140736924510944 140654886774896 140656013027970 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5377] ppid=5368 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5377/stat : 5377 (java) S 5368 5368 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410453014 15508242432 10723 33554432000 4194304 4196468 140736924510944 140654885720864 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5378] ppid=5368 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5378/stat : 5378 (java) S 5368 5368 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410453014 15508242432 10723 33554432000 4194304 4196468 140736924510944 140654884668528 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5379] ppid=5368 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5379/stat : 5379 (java) S 5368 5368 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410453016 15508242432 10723 33554432000 4194304 4196468 140736924510944 140654883616848 140656013035419 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5380] ppid=5368 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5370/task/5380/stat : 5380 (java) S 5368 5368 3331 0 -1 1077944384 653 0 0 0 2 0 0 0 20 0 15 0 410453016 15508242432 10723 33554432000 4194304 4196468 140736924510944 140654882564720 140656013027970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5381] ppid=5368 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/5370/task/5381/stat : 5381 (java) S 5368 5368 3331 0 -1 1077944384 117 0 0 0 2 0 0 0 20 0 15 0 410453016 15508242432 10723 33554432000 4194304 4196468 140736924510944 140654881511920 140656013027970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5382] ppid=5368 vsize=15144768 memory=140027836147328 CPUtime=0.08 cores=1,3,5,7
/proc/5370/task/5382/stat : 5382 (java) R 5368 5368 3331 0 -1 4202560 759 0 0 0 8 0 0 0 20 0 15 0 410453016 15508242432 10723 33554432000 4194304 4196468 140736924510944 140654880459632 140656005268336 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5383] ppid=5368 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5383/stat : 5383 (java) S 5368 5368 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410453016 15508242432 10723 33554432000 4194304 4196468 140736924510944 140654879407072 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5384] ppid=5368 vsize=15144768 memory=140027836147328 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5384/stat : 5384 (java) S 5368 5368 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410453017 15508242432 10723 33554432000 4194304 4196468 140736924510944 140654569937328 140656013027970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 44340 KiB
[startup+0.3165 s]*
/proc/loadavg: 9.10 8.77 7.43 7/234 5384
/proc/meminfo: memFree=17573492/32770624 swapFree=66959216/67108860
[pid=5368] ppid=5365 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5368/stat : 5368 (xcsp3-exec) S 5365 5368 3331 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 410453010 115843072 362 33554432000 4194304 5098028 140728584408816 140728584406920 140250362815100 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24891392 140728584414075 140728584414317 140728584414317 140728584417226 0
/proc/5368/statm: 28282 362 304 221 0 87 0
[pid=5370] ppid=5368 vsize=15149024 memory=52624 CPUtime=0.54 cores=1,3,5,7
/proc/5370/stat : 5370 (java) S 5368 5368 3331 0 -1 1077944320 10953 0 0 0 50 4 0 0 20 0 15 0 410453011 15512600576 13156 33554432000 4194304 4196468 140736924510944 140736924493488 140656013016823 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
/proc/5370/statm: 3787256 13156 3367 1 0 3748377 0
[pid=5370/tid=5371] ppid=5368 vsize=15149024 memory=-8976644418600983157 CPUtime=0.31 cores=1,3,5,7
/proc/5370/task/5371/stat : 5371 (java) R 5368 5368 3331 0 -1 4202560 7902 0 0 0 28 3 0 0 20 0 15 0 410453011 15512600576 13156 33554432000 4194304 4196468 140736924510944 140656017251664 140655997097310 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5372] ppid=5368 vsize=15149024 memory=3472468156731299024 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5372/stat : 5372 (java) S 5368 5368 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410453012 15512600576 13156 33554432000 4194304 4196468 140736924510944 140655965637520 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5373] ppid=5368 vsize=15149024 memory=140027836147328 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5373/stat : 5373 (java) S 5368 5368 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410453012 15512600576 13156 33554432000 4194304 4196468 140736924510944 140655964584720 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5374] ppid=5368 vsize=15149024 memory=5 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5374/stat : 5374 (java) S 5368 5368 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410453012 15512600576 13156 33554432000 4194304 4196468 140736924510944 140655963532432 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5375] ppid=5368 vsize=15149024 memory=140027678042143 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5375/stat : 5375 (java) S 5368 5368 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410453012 15512600576 13156 33554432000 4194304 4196468 140736924510944 140655962479632 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5376] ppid=5368 vsize=15149024 memory=280055356063520 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5376/stat : 5376 (java) S 5368 5368 3331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410453013 15512600576 13156 33554432000 4194304 4196468 140736924510944 140654886774896 140656013027970 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5377] ppid=5368 vsize=15149024 memory=140027678019087 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5377/stat : 5377 (java) S 5368 5368 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410453014 15512600576 13156 33554432000 4194304 4196468 140736924510944 140654885720864 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5378] ppid=5368 vsize=15149024 memory=280055514175584 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5378/stat : 5378 (java) S 5368 5368 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410453014 15512600576 13156 33554432000 4194304 4196468 140736924510944 140654884668528 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5379] ppid=5368 vsize=15149024 memory=140027678023695 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5379/stat : 5379 (java) S 5368 5368 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410453016 15512600576 13156 33554432000 4194304 4196468 140736924510944 140654883616848 140656013035419 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5380] ppid=5368 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/5370/task/5380/stat : 5380 (java) S 5368 5368 3331 0 -1 1077944384 672 0 0 0 4 0 0 0 20 0 15 0 410453016 15512600576 13156 33554432000 4194304 4196468 140736924510944 140654882564720 140656013027970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5381] ppid=5368 vsize=15149024 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/5370/task/5381/stat : 5381 (java) S 5368 5368 3331 0 -1 1077944384 228 0 0 0 4 0 0 0 20 0 15 0 410453016 15512600576 13156 33554432000 4194304 4196468 140736924510944 140654881511920 140656013027970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5382] ppid=5368 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/5370/task/5382/stat : 5382 (java) S 5368 5368 3331 0 -1 1077944384 862 0 0 0 12 0 0 0 20 0 15 0 410453016 15512600576 13156 33554432000 4194304 4196468 140736924510944 140654880459632 140656013027970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5383] ppid=5368 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5383/stat : 5383 (java) S 5368 5368 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410453016 15512600576 13156 33554432000 4194304 4196468 140736924510944 140654879407072 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5384] ppid=5368 vsize=15149024 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5384/stat : 5384 (java) S 5368 5368 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410453017 15512600576 13156 33554432000 4194304 4196468 140736924510944 140654569937328 140656013027970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 54072 KiB
[startup+0.701498 s]
/proc/loadavg: 9.10 8.77 7.43 8/236 5386
/proc/meminfo: memFree=17556848/32770624 swapFree=66959216/67108860
[pid=5368] ppid=5365 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5368/stat : 5368 (xcsp3-exec) S 5365 5368 3331 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 410453010 115843072 362 33554432000 4194304 5098028 140728584408816 140728584406920 140250362815100 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24891392 140728584414075 140728584414317 140728584414317 140728584417226 0
/proc/5368/statm: 28282 362 304 221 0 87 0
[pid=5370] ppid=5368 vsize=15417404 memory=81224 CPUtime=1.72 cores=1,3,5,7
/proc/5370/stat : 5370 (java) S 5368 5368 3331 0 -1 1077944320 14664 0 0 0 167 5 0 0 20 0 19 0 410453011 15787421696 20306 33554432000 4194304 4196468 140736924510944 140736924493488 140656013016823 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
/proc/5370/statm: 3854351 20306 3454 1 0 3815453 0
[pid=5370/tid=5371] ppid=5368 vsize=15417404 memory=5787217125598975849 CPUtime=0.49 cores=1,3,5,7
/proc/5370/task/5371/stat : 5371 (java) S 5368 5368 3331 0 -1 1077944384 9040 0 0 0 46 3 0 0 20 0 19 0 410453011 15787421696 20306 33554432000 4194304 4196468 140736924510944 140656017257600 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5372] ppid=5368 vsize=15417404 memory=5940648574951449957 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5372/stat : 5372 (java) S 5368 5368 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 410453012 15787421696 20306 33554432000 4194304 4196468 140736924510944 140655965637520 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5373] ppid=5368 vsize=15417404 memory=7014751519600038756 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5373/stat : 5373 (java) S 5368 5368 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 410453012 15787421696 20306 33554432000 4194304 4196468 140736924510944 140655964584720 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5374] ppid=5368 vsize=15417404 memory=140027836147328 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5374/stat : 5374 (java) S 5368 5368 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 410453012 15787421696 20306 33554432000 4194304 4196468 140736924510944 140655963532432 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5375] ppid=5368 vsize=15417404 memory=3360 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5375/stat : 5375 (java) S 5368 5368 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 410453012 15787421696 20306 33554432000 4194304 4196468 140736924510944 140655962479632 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5376] ppid=5368 vsize=15417404 memory=776 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5376/stat : 5376 (java) S 5368 5368 3331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 410453013 15787421696 20306 33554432000 4194304 4196468 140736924510944 140654886774896 140656013027970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5377] ppid=5368 vsize=15417404 memory=7524201410499929408 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5377/stat : 5377 (java) S 5368 5368 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 410453014 15787421696 20306 33554432000 4194304 4196468 140736924510944 140654885720864 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5378] ppid=5368 vsize=15417404 memory=7451040009616119400 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5378/stat : 5378 (java) S 5368 5368 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 410453014 15787421696 20306 33554432000 4194304 4196468 140736924510944 140654884668528 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5379] ppid=5368 vsize=15417404 memory=7810487918915055718 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5379/stat : 5379 (java) S 5368 5368 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410453016 15787421696 20306 33554432000 4194304 4196468 140736924510944 140654883616848 140656013035419 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5380] ppid=5368 vsize=15417404 memory=-7028383565733675155 CPUtime=0.22 cores=1,3,5,7
/proc/5370/task/5380/stat : 5380 (java) R 5368 5368 3331 0 -1 4202560 1477 0 0 0 22 0 0 0 20 0 19 0 410453016 15787421696 20306 33554432000 4194304 4196468 140736924510944 140654882545736 140655991316592 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5381] ppid=5368 vsize=15417404 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/5370/task/5381/stat : 5381 (java) R 5368 5368 3331 0 -1 4202560 880 0 0 0 23 0 0 0 20 0 19 0 410453016 15787421696 20306 33554432000 4194304 4196468 140736924510944 140654881505112 140655994562031 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5382] ppid=5368 vsize=15417404 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/5370/task/5382/stat : 5382 (java) R 5368 5368 3331 0 -1 4202560 1760 0 0 0 33 0 0 0 20 0 19 0 410453016 15787421696 20306 33554432000 4194304 4196468 140736924510944 140654880455608 140655991700967 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5383] ppid=5368 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5383/stat : 5383 (java) S 5368 5368 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410453016 15787421696 20306 33554432000 4194304 4196468 140736924510944 140654879407072 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5384] ppid=5368 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5384/stat : 5384 (java) S 5368 5368 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 410453017 15787421696 20306 33554432000 4194304 4196468 140736924510944 140654569937328 140656013027970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5385] ppid=5368 vsize=15417404 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/5370/task/5385/stat : 5385 (java) R 5368 5368 3331 0 -1 4202560 63 0 0 0 9 0 0 0 20 0 19 0 410453061 15787421696 20306 33554432000 4194304 4196468 140736924510944 140654560963464 140655635933161 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5386] ppid=5368 vsize=15417404 memory=4580 CPUtime=0.11 cores=1,3,5,7
/proc/5370/task/5386/stat : 5386 (java) R 5368 5368 3331 0 -1 1077944384 67 0 0 0 11 0 0 0 20 0 19 0 410453062 15787421696 20306 33554432000 4194304 4196468 140736924510944 140654559913456 140656013027029 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5387] ppid=5368 vsize=15417404 memory=6944656575208382560 CPUtime=0.12 cores=1,3,5,7
/proc/5370/task/5387/stat : 5387 (java) R 5368 5368 3331 0 -1 4202560 32 0 0 0 12 0 0 0 20 0 19 0 410453062 15787421696 20306 33554432000 4194304 4196468 140736924510944 140654558859464 140655992076945 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5388] ppid=5368 vsize=15417404 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/5370/task/5388/stat : 5388 (java) R 5368 5368 3331 0 -1 4202560 39 0 0 0 9 0 0 0 20 0 19 0 410453062 15787421696 20306 33554432000 4194304 4196468 140736924510944 140654557806736 140655635925039 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 15530532 KiB
################
# More data... #
################
/proc/5370/task/5384/stat : 5384 (java) S 5368 5368 3331 0 -1 1077944384 320 0 0 0 5 5 0 0 20 0 19 0 410453017 15787421696 381859 33554432000 4194304 4196468 140736924510944 140654569937328 140656013027970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5385] ppid=5368 vsize=15417404 memory=824 CPUtime=313.22 cores=1,3,5,7
/proc/5370/task/5385/stat : 5385 (java) R 5368 5368 3331 0 -1 4202560 1957 0 0 0 31317 5 0 0 20 0 19 0 410453061 15787421696 381859 33554432000 4194304 4196468 140736924510944 140654560963912 140655635932655 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5386] ppid=5368 vsize=15417404 memory=1436 CPUtime=312.62 cores=1,3,5,7
/proc/5370/task/5386/stat : 5386 (java) R 5368 5368 3331 0 -1 4202560 18561 0 0 0 31245 17 0 0 20 0 19 0 410453062 15787421696 381859 33554432000 4194304 4196468 140736924510944 140654559912744 140655637049152 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5387] ppid=5368 vsize=15417404 memory=1984 CPUtime=313.09 cores=1,3,5,7
/proc/5370/task/5387/stat : 5387 (java) R 5368 5368 3331 0 -1 4202560 1871 0 0 0 31307 2 0 0 20 0 19 0 410453062 15787421696 381859 33554432000 4194304 4196468 140736924510944 140654558862160 140655633469856 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5388] ppid=5368 vsize=15417404 memory=2008 CPUtime=312.59 cores=1,3,5,7
/proc/5370/task/5388/stat : 5388 (java) R 5368 5368 3331 0 -1 4202560 16270 0 0 0 31251 8 0 0 20 0 19 0 410453062 15787421696 381859 33554432000 4194304 4196468 140736924510944 140654557806400 140655637061758 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
Current children cumulated CPU time: 1262.87 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 1528884 KiB
[startup+319.202 s]
/proc/loadavg: 8.44 8.46 7.68 12/241 5724
/proc/meminfo: memFree=18209184/32770624 swapFree=66959216/67108860
[pid=5368] ppid=5365 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5368/stat : 5368 (xcsp3-exec) S 5365 5368 3331 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 410453010 115843072 362 33554432000 4194304 5098028 140728584408816 140728584406920 140250362815100 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24891392 140728584414075 140728584414317 140728584414317 140728584417226 0
/proc/5368/statm: 28282 362 304 221 0 87 0
[pid=5370] ppid=5368 vsize=15417404 memory=1527436 CPUtime=1266.05 cores=1,3,5,7
/proc/5370/stat : 5370 (java) S 5368 5368 3331 0 -1 1077944320 99938 0 0 0 126497 108 0 0 20 0 19 0 410453011 15787421696 381859 33554432000 4194304 4196468 140736924510944 140736924493488 140656013016823 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
/proc/5370/statm: 3854351 381859 3521 1 0 3815453 0
[pid=5370/tid=5371] ppid=5368 vsize=15417404 memory=1527436 CPUtime=0.49 cores=1,3,5,7
/proc/5370/task/5371/stat : 5371 (java) S 5368 5368 3331 0 -1 1077944384 9040 0 0 0 46 3 0 0 20 0 19 0 410453011 15787421696 381859 33554432000 4194304 4196468 140736924510944 140656017257600 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5372] ppid=5368 vsize=15417404 memory=1720 CPUtime=1.69 cores=1,3,5,7
/proc/5370/task/5372/stat : 5372 (java) S 5368 5368 3331 0 -1 1077944384 2675 0 0 0 155 14 0 0 20 0 19 0 410453012 15787421696 381859 33554432000 4194304 4196468 140736924510944 140655965637520 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5373] ppid=5368 vsize=15417404 memory=10604 CPUtime=1.7 cores=1,3,5,7
/proc/5370/task/5373/stat : 5373 (java) S 5368 5368 3331 0 -1 1077944384 3351 0 0 0 154 16 0 0 20 0 19 0 410453012 15787421696 381859 33554432000 4194304 4196468 140736924510944 140655964584720 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5374] ppid=5368 vsize=15417404 memory=1527436 CPUtime=1.7 cores=1,3,5,7
/proc/5370/task/5374/stat : 5374 (java) S 5368 5368 3331 0 -1 1077944384 2600 0 0 0 155 15 0 0 20 0 19 0 410453012 15787421696 381859 33554432000 4194304 4196468 140736924510944 140655963532432 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5375] ppid=5368 vsize=15417404 memory=580 CPUtime=1.71 cores=1,3,5,7
/proc/5370/task/5375/stat : 5375 (java) S 5368 5368 3331 0 -1 1077944384 3318 0 0 0 155 16 0 0 20 0 19 0 410453012 15787421696 381859 33554432000 4194304 4196468 140736924510944 140655962479632 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5376] ppid=5368 vsize=15417404 memory=1720 CPUtime=0.48 cores=1,3,5,7
/proc/5370/task/5376/stat : 5376 (java) S 5368 5368 3331 0 -1 1077944384 11015 0 0 0 39 9 0 0 20 0 19 0 410453013 15787421696 381859 33554432000 4194304 4196468 140736924510944 140654886774896 140656013027970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5377] ppid=5368 vsize=15417404 memory=10604 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5377/stat : 5377 (java) S 5368 5368 3331 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 410453014 15787421696 381859 33554432000 4194304 4196468 140736924510944 140654885720928 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5378] ppid=5368 vsize=15417404 memory=3360 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5378/stat : 5378 (java) S 5368 5368 3331 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 19 0 410453014 15787421696 381859 33554432000 4194304 4196468 140736924510944 140654884668544 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5379] ppid=5368 vsize=15417404 memory=776 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5379/stat : 5379 (java) S 5368 5368 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410453016 15787421696 381859 33554432000 4194304 4196468 140736924510944 140654883616848 140656013035419 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5380] ppid=5368 vsize=15417404 memory=1564 CPUtime=1.53 cores=1,3,5,7
/proc/5370/task/5380/stat : 5380 (java) S 5368 5368 3331 0 -1 1077944384 12813 0 0 0 153 0 0 0 20 0 19 0 410453016 15787421696 381859 33554432000 4194304 4196468 140736924510944 140654882564720 140656013027970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5381] ppid=5368 vsize=15417404 memory=5964 CPUtime=1.34 cores=1,3,5,7
/proc/5370/task/5381/stat : 5381 (java) S 5368 5368 3331 0 -1 1077944384 10401 0 0 0 133 1 0 0 20 0 19 0 410453016 15787421696 381859 33554432000 4194304 4196468 140736924510944 140654881511920 140656013027970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5382] ppid=5368 vsize=15417404 memory=1060 CPUtime=0.46 cores=1,3,5,7
/proc/5370/task/5382/stat : 5382 (java) S 5368 5368 3331 0 -1 1077944384 4361 0 0 0 46 0 0 0 20 0 19 0 410453016 15787421696 381859 33554432000 4194304 4196468 140736924510944 140654880459632 140656013027970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5383] ppid=5368 vsize=15417404 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5383/stat : 5383 (java) S 5368 5368 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410453016 15787421696 381859 33554432000 4194304 4196468 140736924510944 140654879407072 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5384] ppid=5368 vsize=15417404 memory=1216 CPUtime=0.1 cores=1,3,5,7
/proc/5370/task/5384/stat : 5384 (java) S 5368 5368 3331 0 -1 1077944384 320 0 0 0 5 5 0 0 20 0 19 0 410453017 15787421696 381859 33554432000 4194304 4196468 140736924510944 140654569937328 140656013027970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5385] ppid=5368 vsize=15417404 memory=984 CPUtime=314 cores=1,3,5,7
/proc/5370/task/5385/stat : 5385 (java) R 5368 5368 3331 0 -1 4202560 1957 0 0 0 31395 5 0 0 20 0 19 0 410453061 15787421696 381859 33554432000 4194304 4196468 140736924510944 140654560963912 140655637304684 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5386] ppid=5368 vsize=15417404 memory=14004 CPUtime=313.42 cores=1,3,5,7
/proc/5370/task/5386/stat : 5386 (java) R 5368 5368 3331 0 -1 4202560 18562 0 0 0 31325 17 0 0 20 0 19 0 410453062 15787421696 381859 33554432000 4194304 4196468 140736924510944 140654559915008 140655635912560 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5387] ppid=5368 vsize=15417404 memory=3344 CPUtime=313.89 cores=1,3,5,7
/proc/5370/task/5387/stat : 5387 (java) R 5368 5368 3331 0 -1 4202560 1871 0 0 0 31387 2 0 0 20 0 19 0 410453062 15787421696 381859 33554432000 4194304 4196468 140736924510944 140654558859808 140655633363057 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5388] ppid=5368 vsize=15417404 memory=1448 CPUtime=313.39 cores=1,3,5,7
/proc/5370/task/5388/stat : 5388 (java) R 5368 5368 3331 0 -1 4202560 16270 0 0 0 31331 8 0 0 20 0 19 0 410453062 15787421696 381859 33554432000 4194304 4196468 140736924510944 140654557806688 140655637061489 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
Current children cumulated CPU time: 1266.05 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 1528884 KiB
[startup+319.602 s]
/proc/loadavg: 8.44 8.46 7.68 12/241 5724
/proc/meminfo: memFree=18209184/32770624 swapFree=66959216/67108860
[pid=5368] ppid=5365 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5368/stat : 5368 (xcsp3-exec) S 5365 5368 3331 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 410453010 115843072 362 33554432000 4194304 5098028 140728584408816 140728584406920 140250362815100 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24891392 140728584414075 140728584414317 140728584414317 140728584417226 0
/proc/5368/statm: 28282 362 304 221 0 87 0
[pid=5370] ppid=5368 vsize=15417404 memory=1527436 CPUtime=1267.65 cores=1,3,5,7
/proc/5370/stat : 5370 (java) S 5368 5368 3331 0 -1 1077944320 99938 0 0 0 126657 108 0 0 20 0 19 0 410453011 15787421696 381859 33554432000 4194304 4196468 140736924510944 140736924493488 140656013016823 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
/proc/5370/statm: 3854351 381859 3521 1 0 3815453 0
[pid=5370/tid=5371] ppid=5368 vsize=15417404 memory=4100 CPUtime=0.49 cores=1,3,5,7
/proc/5370/task/5371/stat : 5371 (java) S 5368 5368 3331 0 -1 1077944384 9040 0 0 0 46 3 0 0 20 0 19 0 410453011 15787421696 381859 33554432000 4194304 4196468 140736924510944 140656017257600 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5372] ppid=5368 vsize=15417404 memory=2588 CPUtime=1.69 cores=1,3,5,7
/proc/5370/task/5372/stat : 5372 (java) S 5368 5368 3331 0 -1 1077944384 2675 0 0 0 155 14 0 0 20 0 19 0 410453012 15787421696 381859 33554432000 4194304 4196468 140736924510944 140655965637520 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5373] ppid=5368 vsize=15417404 memory=2588 CPUtime=1.7 cores=1,3,5,7
/proc/5370/task/5373/stat : 5373 (java) S 5368 5368 3331 0 -1 1077944384 3351 0 0 0 154 16 0 0 20 0 19 0 410453012 15787421696 381859 33554432000 4194304 4196468 140736924510944 140655964584720 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5374] ppid=5368 vsize=15417404 memory=1412 CPUtime=1.7 cores=1,3,5,7
/proc/5370/task/5374/stat : 5374 (java) S 5368 5368 3331 0 -1 1077944384 2600 0 0 0 155 15 0 0 20 0 19 0 410453012 15787421696 381859 33554432000 4194304 4196468 140736924510944 140655963532432 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5375] ppid=5368 vsize=15417404 memory=3344 CPUtime=1.71 cores=1,3,5,7
/proc/5370/task/5375/stat : 5375 (java) S 5368 5368 3331 0 -1 1077944384 3318 0 0 0 155 16 0 0 20 0 19 0 410453012 15787421696 381859 33554432000 4194304 4196468 140736924510944 140655962479632 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5376] ppid=5368 vsize=15417404 memory=1448 CPUtime=0.48 cores=1,3,5,7
/proc/5370/task/5376/stat : 5376 (java) S 5368 5368 3331 0 -1 1077944384 11015 0 0 0 39 9 0 0 20 0 19 0 410453013 15787421696 381859 33554432000 4194304 4196468 140736924510944 140654886774896 140656013027970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5377] ppid=5368 vsize=15417404 memory=1527436 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5377/stat : 5377 (java) S 5368 5368 3331 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 410453014 15787421696 381859 33554432000 4194304 4196468 140736924510944 140654885720928 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5378] ppid=5368 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5378/stat : 5378 (java) S 5368 5368 3331 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 19 0 410453014 15787421696 381859 33554432000 4194304 4196468 140736924510944 140654884668544 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5379] ppid=5368 vsize=15417404 memory=1526360 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5379/stat : 5379 (java) S 5368 5368 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410453016 15787421696 381859 33554432000 4194304 4196468 140736924510944 140654883616848 140656013035419 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5380] ppid=5368 vsize=15417404 memory=20696 CPUtime=1.53 cores=1,3,5,7
/proc/5370/task/5380/stat : 5380 (java) S 5368 5368 3331 0 -1 1077944384 12813 0 0 0 153 0 0 0 20 0 19 0 410453016 15787421696 381859 33554432000 4194304 4196468 140736924510944 140654882564720 140656013027970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5381] ppid=5368 vsize=15417404 memory=14048 CPUtime=1.34 cores=1,3,5,7
/proc/5370/task/5381/stat : 5381 (java) S 5368 5368 3331 0 -1 1077944384 10401 0 0 0 133 1 0 0 20 0 19 0 410453016 15787421696 381859 33554432000 4194304 4196468 140736924510944 140654881511920 140656013027970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5382] ppid=5368 vsize=15417404 memory=2124 CPUtime=0.46 cores=1,3,5,7
/proc/5370/task/5382/stat : 5382 (java) S 5368 5368 3331 0 -1 1077944384 4361 0 0 0 46 0 0 0 20 0 19 0 410453016 15787421696 381859 33554432000 4194304 4196468 140736924510944 140654880459632 140656013027970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5383] ppid=5368 vsize=15417404 memory=500 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5383/stat : 5383 (java) S 5368 5368 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410453016 15787421696 381859 33554432000 4194304 4196468 140736924510944 140654879407072 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5384] ppid=5368 vsize=15417404 memory=1556 CPUtime=0.1 cores=1,3,5,7
/proc/5370/task/5384/stat : 5384 (java) S 5368 5368 3331 0 -1 1077944384 320 0 0 0 5 5 0 0 20 0 19 0 410453017 15787421696 381859 33554432000 4194304 4196468 140736924510944 140654569937328 140656013027970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5385] ppid=5368 vsize=15417404 memory=928 CPUtime=314.4 cores=1,3,5,7
/proc/5370/task/5385/stat : 5385 (java) R 5368 5368 3331 0 -1 4202560 1957 0 0 0 31435 5 0 0 20 0 19 0 410453061 15787421696 381859 33554432000 4194304 4196468 140736924510944 140654560963912 140655636186267 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5386] ppid=5368 vsize=15417404 memory=1760 CPUtime=313.82 cores=1,3,5,7
/proc/5370/task/5386/stat : 5386 (java) R 5368 5368 3331 0 -1 4202560 18562 0 0 0 31365 17 0 0 20 0 19 0 410453062 15787421696 381859 33554432000 4194304 4196468 140736924510944 140654559915008 140655635933171 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5387] ppid=5368 vsize=15417404 memory=1360 CPUtime=314.29 cores=1,3,5,7
/proc/5370/task/5387/stat : 5387 (java) R 5368 5368 3331 0 -1 4202560 1871 0 0 0 31427 2 0 0 20 0 19 0 410453062 15787421696 381859 33554432000 4194304 4196468 140736924510944 140654558859808 140655637349196 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5388] ppid=5368 vsize=15417404 memory=2412 CPUtime=313.79 cores=1,3,5,7
/proc/5370/task/5388/stat : 5388 (java) R 5368 5368 3331 0 -1 4202560 16270 0 0 0 31371 8 0 0 20 0 19 0 410453062 15787421696 381859 33554432000 4194304 4196468 140736924510944 140654557806576 140655638171362 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
Current children cumulated CPU time: 1267.65 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 1528884 KiB
[startup+320.001 s]*
/proc/loadavg: 8.44 8.46 7.68 12/238 5741
/proc/meminfo: memFree=18188896/32770624 swapFree=66959216/67108860
[pid=5368] ppid=5365 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5368/stat : 5368 (xcsp3-exec) S 5365 5368 3331 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 410453010 115843072 362 33554432000 4194304 5098028 140728584408816 140728584406920 140250362815100 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24891392 140728584414075 140728584414317 140728584414317 140728584417226 0
/proc/5368/statm: 28282 362 304 221 0 87 0
[pid=5370] ppid=5368 vsize=15417404 memory=1527436 CPUtime=1269.27 cores=1,3,5,7
/proc/5370/stat : 5370 (java) S 5368 5368 3331 0 -1 1077944320 99938 0 0 0 126819 108 0 0 20 0 19 0 410453011 15787421696 381859 33554432000 4194304 4196468 140736924510944 140736924493488 140656013016823 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
/proc/5370/statm: 3854351 381859 3521 1 0 3815453 0
[pid=5370/tid=5371] ppid=5368 vsize=15417404 memory=8112282956445269571 CPUtime=0.49 cores=1,3,5,7
/proc/5370/task/5371/stat : 5371 (java) S 5368 5368 3331 0 -1 1077944384 9040 0 0 0 46 3 0 0 20 0 19 0 410453011 15787421696 381859 33554432000 4194304 4196468 140736924510944 140656017257600 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5372] ppid=5368 vsize=15417404 memory=-7522837415797432224 CPUtime=1.69 cores=1,3,5,7
/proc/5370/task/5372/stat : 5372 (java) S 5368 5368 3331 0 -1 1077944384 2675 0 0 0 155 14 0 0 20 0 19 0 410453012 15787421696 381859 33554432000 4194304 4196468 140736924510944 140655965637520 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5373] ppid=5368 vsize=15417404 memory=8257237230706253920 CPUtime=1.7 cores=1,3,5,7
/proc/5370/task/5373/stat : 5373 (java) S 5368 5368 3331 0 -1 1077944384 3351 0 0 0 154 16 0 0 20 0 19 0 410453012 15787421696 381859 33554432000 4194304 4196468 140736924510944 140655964584720 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5374] ppid=5368 vsize=15417404 memory=8257237230052613020 CPUtime=1.7 cores=1,3,5,7
/proc/5370/task/5374/stat : 5374 (java) S 5368 5368 3331 0 -1 1077944384 2600 0 0 0 155 15 0 0 20 0 19 0 410453012 15787421696 381859 33554432000 4194304 4196468 140736924510944 140655963532432 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5375] ppid=5368 vsize=15417404 memory=-7003737579269690708 CPUtime=1.71 cores=1,3,5,7
/proc/5370/task/5375/stat : 5375 (java) S 5368 5368 3331 0 -1 1077944384 3318 0 0 0 155 16 0 0 20 0 19 0 410453012 15787421696 381859 33554432000 4194304 4196468 140736924510944 140655962479632 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5376] ppid=5368 vsize=15417404 memory=1526860 CPUtime=0.48 cores=1,3,5,7
/proc/5370/task/5376/stat : 5376 (java) S 5368 5368 3331 0 -1 1077944384 11015 0 0 0 39 9 0 0 20 0 19 0 410453013 15787421696 381859 33554432000 4194304 4196468 140736924510944 140654886774896 140656013027970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5377] ppid=5368 vsize=15417404 memory=6872598998417432672 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5377/stat : 5377 (java) S 5368 5368 3331 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 410453014 15787421696 381859 33554432000 4194304 4196468 140736924510944 140654885720928 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5378] ppid=5368 vsize=15417404 memory=6872598998417432672 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5378/stat : 5378 (java) S 5368 5368 3331 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 19 0 410453014 15787421696 381859 33554432000 4194304 4196468 140736924510944 140654884668544 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5379] ppid=5368 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5379/stat : 5379 (java) S 5368 5368 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410453016 15787421696 381859 33554432000 4194304 4196468 140736924510944 140654883616848 140656013035419 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5380] ppid=5368 vsize=15417404 memory=1526864 CPUtime=1.53 cores=1,3,5,7
/proc/5370/task/5380/stat : 5380 (java) S 5368 5368 3331 0 -1 1077944384 12813 0 0 0 153 0 0 0 20 0 19 0 410453016 15787421696 381859 33554432000 4194304 4196468 140736924510944 140654882564720 140656013027970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5381] ppid=5368 vsize=15417404 memory=8112282956445269571 CPUtime=1.34 cores=1,3,5,7
/proc/5370/task/5381/stat : 5381 (java) S 5368 5368 3331 0 -1 1077944384 10401 0 0 0 133 1 0 0 20 0 19 0 410453016 15787421696 381859 33554432000 4194304 4196468 140736924510944 140654881511920 140656013027970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5382] ppid=5368 vsize=15417404 memory=1720 CPUtime=0.46 cores=1,3,5,7
/proc/5370/task/5382/stat : 5382 (java) S 5368 5368 3331 0 -1 1077944384 4361 0 0 0 46 0 0 0 20 0 19 0 410453016 15787421696 381859 33554432000 4194304 4196468 140736924510944 140654880459632 140656013027970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5383] ppid=5368 vsize=15417404 memory=10604 CPUtime=0 cores=1,3,5,7
/proc/5370/task/5383/stat : 5383 (java) S 5368 5368 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410453016 15787421696 381859 33554432000 4194304 4196468 140736924510944 140654879407072 140656013027029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5384] ppid=5368 vsize=15417404 memory=3360 CPUtime=0.1 cores=1,3,5,7
/proc/5370/task/5384/stat : 5384 (java) R 5368 5368 3331 0 -1 1077944384 320 0 0 0 5 5 0 0 20 0 19 0 410453017 15787421696 381859 33554432000 4194304 4196468 140736924510944 140654569937328 140656013027970 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5385] ppid=5368 vsize=15417404 memory=776 CPUtime=314.8 cores=1,3,5,7
/proc/5370/task/5385/stat : 5385 (java) R 5368 5368 3331 0 -1 4202560 1957 0 0 0 31475 5 0 0 20 0 19 0 410453061 15787421696 381859 33554432000 4194304 4196468 140736924510944 140654560963912 140655635933329 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5386] ppid=5368 vsize=15417404 memory=1564 CPUtime=314.23 cores=1,3,5,7
/proc/5370/task/5386/stat : 5386 (java) R 5368 5368 3331 0 -1 4202560 18562 0 0 0 31406 17 0 0 20 0 19 0 410453062 15787421696 381859 33554432000 4194304 4196468 140736924510944 140654559915008 140655637064534 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5387] ppid=5368 vsize=15417404 memory=5964 CPUtime=314.69 cores=1,3,5,7
/proc/5370/task/5387/stat : 5387 (java) R 5368 5368 3331 0 -1 4202560 1871 0 0 0 31467 2 0 0 20 0 19 0 410453062 15787421696 381859 33554432000 4194304 4196468 140736924510944 140654558859808 140655637305016 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
[pid=5370/tid=5388] ppid=5368 vsize=15417404 memory=1060 CPUtime=314.2 cores=1,3,5,7
/proc/5370/task/5388/stat : 5388 (java) R 5368 5368 3331 0 -1 4202560 16270 0 0 0 31412 8 0 0 20 0 19 0 410453062 15787421696 381859 33554432000 4194304 4196468 140736924510944 140654557806576 140655637060564 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25489408 140736924513263 140736924513434 140736924513434 140736924516303 0
Current children cumulated CPU time: 1269.27 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 1528884 KiB
Child status: 0
Real time (s): 320.047
CPU time (s): 1269.39
CPU user time (s): 1268.29
CPU system time (s): 1.09523
CPU usage (%): 396.625
Max. virtual memory (cumulated for all children) (KiB): 15532168
Max. memory (cumulated for all children) (KiB): 1642640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1268.29
system time used= 1.09523
maximum resident set size= 1641264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100702
page faults= 0
swaps= 0
block input operations= 0
block output operations= 528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23704
involuntary context switches= 22960
# summary of solver processes directly reported to runsolver:
# pid: 5368
# total CPU time (s): 1269.39
# total CPU user time (s): 1268.29
# total CPU system time (s): 1.09523
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.04285 second user time and 3.6624 second system time
The end