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 (7792 MiB free)
memory of node 1: 16384 MiB (8749 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292191-1532279406/watcher-4292191-1532279406 -o /tmp/evaluation-result-4292191-1532279406/solver-4292191-1532279406 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532279307-5949 --watchdog 2560 HOME/xcsp3-exec -seed 1934006287 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292191-1532279406.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=6086, runsolver pid=6083
[startup+0.103195 s]*
/proc/loadavg: 1.42 1.16 1.29 3/225 6102
/proc/meminfo: memFree=16923308/32770624 swapFree=67108860/67108860
[pid=6086] ppid=6083 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6086/stat : 6086 (xcsp3-exec) S 6083 6086 3347 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 45503777 115843072 363 33554432000 4194304 5098028 140734049180944 140734049179048 140491800945276 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13930496 140734049186874 140734049187076 140734049187076 140734049189834 0
/proc/6086/statm: 28282 363 305 221 0 87 0
[pid=6088] ppid=6086 vsize=14082840 memory=28920 CPUtime=0.12 cores=0,2,4,6
/proc/6088/stat : 6088 (java) S 6086 6086 3347 0 -1 1077944320 5644 0 0 0 11 1 0 0 20 0 15 0 45503778 14420828160 7230 33554432000 4194304 4196468 140722089862368 140722089844912 139680666435319 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
/proc/6088/statm: 3520710 7230 3003 1 0 3483008 0
[pid=6088/tid=6089] ppid=6086 vsize=14082840 memory=7685293393086485339 CPUtime=0.1 cores=0,2,4,6
/proc/6088/task/6089/stat : 6089 (java) R 6086 6086 3347 0 -1 4202560 3601 0 0 0 9 1 0 0 20 0 15 0 45503778 14420828160 7296 33554432000 4194304 4196468 140722089862368 139680670668592 139680272375467 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6090] ppid=6086 vsize=14082840 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6090/stat : 6090 (java) S 6086 6086 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45503779 14420828160 7296 33554432000 4194304 4196468 140722089862368 139680596524176 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6091] ppid=6086 vsize=14082840 memory=140690207929984 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6091/stat : 6091 (java) S 6086 6086 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45503779 14420828160 7296 33554432000 4194304 4196468 140722089862368 139680595471376 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6092] ppid=6086 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6092/stat : 6092 (java) S 6086 6086 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45503779 14420828160 7296 33554432000 4194304 4196468 140722089862368 139680594418576 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6093] ppid=6086 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6093/stat : 6093 (java) S 6086 6086 3347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45503779 14420828160 7296 33554432000 4194304 4196468 140722089862368 139680593365776 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6094] ppid=6086 vsize=14082840 memory=140690207929984 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6094/stat : 6094 (java) S 6086 6086 3347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45503780 14420828160 7296 33554432000 4194304 4196468 140722089862368 139680140605808 139680666446466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6095] ppid=6086 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6095/stat : 6095 (java) S 6086 6086 3347 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45503781 14420828160 7296 33554432000 4194304 4196468 140722089862368 139680139551776 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6096] ppid=6086 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6096/stat : 6096 (java) S 6086 6086 3347 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45503781 14420828160 7296 33554432000 4194304 4196468 140722089862368 139680138498928 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6097] ppid=6086 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6097/stat : 6097 (java) S 6086 6086 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45503783 14420828160 7296 33554432000 4194304 4196468 140722089862368 139680137447248 139680666453915 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6098] ppid=6086 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6098/stat : 6098 (java) S 6086 6086 3347 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 45503783 14420828160 7296 33554432000 4194304 4196468 140722089862368 139680136395632 139680666446466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6099] ppid=6086 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6099/stat : 6099 (java) S 6086 6086 3347 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 45503783 14420828160 7296 33554432000 4194304 4196468 140722089862368 139680135342832 139680666446466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6100] ppid=6086 vsize=14082840 memory=140690207929984 CPUtime=0.01 cores=0,2,4,6
/proc/6088/task/6100/stat : 6100 (java) S 6086 6086 3347 0 -1 1077944384 331 0 0 0 1 0 0 0 20 0 15 0 45503783 14420828160 7296 33554432000 4194304 4196468 140722089862368 139680134290032 139680666446466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6101] ppid=6086 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6101/stat : 6101 (java) S 6086 6086 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45503784 14420828160 7296 33554432000 4194304 4196468 140722089862368 139680133237472 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6102] ppid=6086 vsize=14082840 memory=140690207929984 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6102/stat : 6102 (java) S 6086 6086 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45503784 14420828160 7296 33554432000 4194304 4196468 140722089862368 139680132184752 139680666446466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 30372 KiB
[startup+0.211112 s]*
/proc/loadavg: 1.42 1.16 1.29 4/225 6102
/proc/meminfo: memFree=16910608/32770624 swapFree=67108860/67108860
[pid=6086] ppid=6083 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6086/stat : 6086 (xcsp3-exec) S 6083 6086 3347 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 45503777 115843072 363 33554432000 4194304 5098028 140734049180944 140734049179048 140491800945276 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13930496 140734049186874 140734049187076 140734049187076 140734049189834 0
/proc/6086/statm: 28282 363 305 221 0 87 0
[pid=6088] ppid=6086 vsize=14082840 memory=41172 CPUtime=0.34 cores=0,2,4,6
/proc/6088/stat : 6088 (java) S 6086 6086 3347 0 -1 1077944320 8307 0 0 0 32 2 0 0 20 0 15 0 45503778 14420828160 10293 33554432000 4194304 4196468 140722089862368 140722089844912 139680666435319 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
/proc/6088/statm: 3520710 10293 3199 1 0 3483008 0
[pid=6088/tid=6089] ppid=6086 vsize=14082840 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/6088/task/6089/stat : 6089 (java) D 6086 6086 3347 0 -1 1077944384 5430 0 0 0 18 1 0 0 20 0 15 0 45503778 14420828160 10293 33554432000 4194304 4196468 140722089862368 139680670659488 139680659114541 0 4 0 16800975 18446744072101772836 0 0 -1 0 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6090] ppid=6086 vsize=14082840 memory=8967 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6090/stat : 6090 (java) S 6086 6086 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45503779 14420828160 10293 33554432000 4194304 4196468 140722089862368 139680596524176 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6091] ppid=6086 vsize=14082840 memory=140690208195356 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6091/stat : 6091 (java) S 6086 6086 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45503779 14420828160 10293 33554432000 4194304 4196468 140722089862368 139680595471376 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6092] ppid=6086 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6092/stat : 6092 (java) S 6086 6086 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45503779 14420828160 10293 33554432000 4194304 4196468 140722089862368 139680594418576 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6093] ppid=6086 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6093/stat : 6093 (java) S 6086 6086 3347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45503779 14420828160 10293 33554432000 4194304 4196468 140722089862368 139680593365776 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6094] ppid=6086 vsize=14082840 memory=140690207929984 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6094/stat : 6094 (java) S 6086 6086 3347 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45503780 14420828160 10293 33554432000 4194304 4196468 140722089862368 139680140605808 139680666446466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6095] ppid=6086 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6095/stat : 6095 (java) S 6086 6086 3347 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45503781 14420828160 10293 33554432000 4194304 4196468 140722089862368 139680139551776 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6096] ppid=6086 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6096/stat : 6096 (java) S 6086 6086 3347 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45503781 14420828160 10293 33554432000 4194304 4196468 140722089862368 139680138498928 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6097] ppid=6086 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6097/stat : 6097 (java) S 6086 6086 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45503783 14420828160 10293 33554432000 4194304 4196468 140722089862368 139680137447248 139680666453915 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6098] ppid=6086 vsize=14082840 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6088/task/6098/stat : 6098 (java) S 6086 6086 3347 0 -1 1077944384 347 0 0 0 2 0 0 0 20 0 15 0 45503783 14420828160 10293 33554432000 4194304 4196468 140722089862368 139680136395632 139680666446466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6099] ppid=6086 vsize=14082840 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/6088/task/6099/stat : 6099 (java) S 6086 6086 3347 0 -1 1077944384 535 0 0 0 2 0 0 0 20 0 15 0 45503783 14420828160 10293 33554432000 4194304 4196468 140722089862368 139680135342832 139680666446466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6100] ppid=6086 vsize=14082840 memory=140690207929984 CPUtime=0.07 cores=0,2,4,6
/proc/6088/task/6100/stat : 6100 (java) S 6086 6086 3347 0 -1 1077944384 696 0 0 0 7 0 0 0 20 0 15 0 45503783 14420828160 10293 33554432000 4194304 4196468 140722089862368 139680134290032 139680666446466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6101] ppid=6086 vsize=14082872 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6101/stat : 6101 (java) S 6086 6086 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45503784 14420860928 10293 33554432000 4194304 4196468 140722089862368 139680133237472 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6102] ppid=6086 vsize=14082872 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6102/stat : 6102 (java) S 6086 6086 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45503784 14420860928 10293 33554432000 4194304 4196468 140722089862368 139680132184752 139680666446466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 42624 KiB
[startup+0.310982 s]*
/proc/loadavg: 1.42 1.16 1.29 3/225 6102
/proc/meminfo: memFree=16905148/32770624 swapFree=67108860/67108860
[pid=6086] ppid=6083 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6086/stat : 6086 (xcsp3-exec) S 6083 6086 3347 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 45503777 115843072 363 33554432000 4194304 5098028 140734049180944 140734049179048 140491800945276 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13930496 140734049186874 140734049187076 140734049187076 140734049189834 0
/proc/6086/statm: 28282 363 305 221 0 87 0
[pid=6088] ppid=6086 vsize=14087096 memory=47780 CPUtime=0.51 cores=0,2,4,6
/proc/6088/stat : 6088 (java) S 6086 6086 3347 0 -1 1077944320 9088 0 0 0 48 3 0 0 20 0 15 0 45503778 14425186304 11945 33554432000 4194304 4196468 140722089862368 140722089844912 139680666435319 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
/proc/6088/statm: 3521774 11945 3234 1 0 3483008 0
[pid=6088/tid=6089] ppid=6086 vsize=14087096 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/6088/task/6089/stat : 6089 (java) R 6086 6086 3347 0 -1 4202560 6141 0 0 0 27 2 0 0 20 0 15 0 45503778 14425186304 11945 33554432000 4194304 4196468 140722089862368 139680670666432 139680650515806 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6090] ppid=6086 vsize=14087096 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6090/stat : 6090 (java) S 6086 6086 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45503779 14425186304 11945 33554432000 4194304 4196468 140722089862368 139680596524176 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6091] ppid=6086 vsize=14087096 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6091/stat : 6091 (java) S 6086 6086 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45503779 14425186304 11945 33554432000 4194304 4196468 140722089862368 139680595471376 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6092] ppid=6086 vsize=14087096 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6092/stat : 6092 (java) S 6086 6086 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45503779 14425186304 11945 33554432000 4194304 4196468 140722089862368 139680594418576 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6093] ppid=6086 vsize=14087096 memory=7379517710693473142 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6093/stat : 6093 (java) S 6086 6086 3347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45503779 14425186304 11945 33554432000 4194304 4196468 140722089862368 139680593365776 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6094] ppid=6086 vsize=14087096 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6094/stat : 6094 (java) S 6086 6086 3347 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45503780 14425186304 11945 33554432000 4194304 4196468 140722089862368 139680140605808 139680666446466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6095] ppid=6086 vsize=14087096 memory=-7522837583045875833 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6095/stat : 6095 (java) S 6086 6086 3347 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45503781 14425186304 11945 33554432000 4194304 4196468 140722089862368 139680139551776 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6096] ppid=6086 vsize=14087096 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6096/stat : 6096 (java) S 6086 6086 3347 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45503781 14425186304 11945 33554432000 4194304 4196468 140722089862368 139680138498928 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6097] ppid=6086 vsize=14087096 memory=-6516833586042938556 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6097/stat : 6097 (java) S 6086 6086 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45503783 14425186304 11945 33554432000 4194304 4196468 140722089862368 139680137447248 139680666453915 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6098] ppid=6086 vsize=14087096 memory=8325818968683490714 CPUtime=0.04 cores=0,2,4,6
/proc/6088/task/6098/stat : 6098 (java) S 6086 6086 3347 0 -1 1077944384 366 0 0 0 4 0 0 0 20 0 15 0 45503783 14425186304 11945 33554432000 4194304 4196468 140722089862368 139680136395632 139680666446466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6099] ppid=6086 vsize=14087096 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/6088/task/6099/stat : 6099 (java) S 6086 6086 3347 0 -1 1077944384 539 0 0 0 4 0 0 0 20 0 15 0 45503783 14425186304 11945 33554432000 4194304 4196468 140722089862368 139680135342832 139680666446466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6100] ppid=6086 vsize=14087096 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/6088/task/6100/stat : 6100 (java) S 6086 6086 3347 0 -1 1077944384 753 0 0 0 12 0 0 0 20 0 15 0 45503783 14425186304 11945 33554432000 4194304 4196468 140722089862368 139680134290032 139680666446466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6101] ppid=6086 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6101/stat : 6101 (java) S 6086 6086 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45503784 14425186304 11945 33554432000 4194304 4196468 140722089862368 139680133237472 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6102] ppid=6086 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6102/stat : 6102 (java) S 6086 6086 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45503784 14425186304 11945 33554432000 4194304 4196468 140722089862368 139680132184752 139680666446466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 49232 KiB
[startup+0.700819 s]
/proc/loadavg: 1.42 1.16 1.29 4/225 6102
/proc/meminfo: memFree=16890336/32770624 swapFree=67108860/67108860
[pid=6086] ppid=6083 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6086/stat : 6086 (xcsp3-exec) S 6083 6086 3347 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 45503777 115843072 363 33554432000 4194304 5098028 140734049180944 140734049179048 140491800945276 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13930496 140734049186874 140734049187076 140734049187076 140734049189834 0
/proc/6086/statm: 28282 363 305 221 0 87 0
[pid=6088] ppid=6086 vsize=14089220 memory=83904 CPUtime=1.51 cores=0,2,4,6
/proc/6088/stat : 6088 (java) S 6086 6086 3347 0 -1 1077944320 12618 0 0 0 146 5 0 0 20 0 15 0 45503778 14427361280 20976 33554432000 4194304 4196468 140722089862368 140722089844912 139680666435319 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
/proc/6088/statm: 3522305 20976 3342 1 0 3483520 0
[pid=6088/tid=6089] ppid=6086 vsize=14089220 memory=3472328296227679313 CPUtime=0.67 cores=0,2,4,6
/proc/6088/task/6089/stat : 6089 (java) R 6086 6086 3347 0 -1 4202560 7054 0 0 0 64 3 0 0 20 0 15 0 45503778 14427361280 20976 33554432000 4194304 4196468 140722089862368 139680670671632 139680650515806 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6090] ppid=6086 vsize=14089220 memory=-7082918048272507482 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6090/stat : 6090 (java) S 6086 6086 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45503779 14427361280 20976 33554432000 4194304 4196468 140722089862368 139680596524176 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6091] ppid=6086 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6091/stat : 6091 (java) S 6086 6086 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45503779 14427361280 20976 33554432000 4194304 4196468 140722089862368 139680595471376 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6092] ppid=6086 vsize=14089220 memory=15388 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6092/stat : 6092 (java) S 6086 6086 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45503779 14427361280 20976 33554432000 4194304 4196468 140722089862368 139680594418576 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6093] ppid=6086 vsize=14089220 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6093/stat : 6093 (java) S 6086 6086 3347 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45503779 14427361280 20976 33554432000 4194304 4196468 140722089862368 139680593365776 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6094] ppid=6086 vsize=14089220 memory=2324 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6094/stat : 6094 (java) S 6086 6086 3347 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45503780 14427361280 20976 33554432000 4194304 4196468 140722089862368 139680140605808 139680666446466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6095] ppid=6086 vsize=14089220 memory=1844 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6095/stat : 6095 (java) S 6086 6086 3347 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45503781 14427361280 20976 33554432000 4194304 4196468 140722089862368 139680139551776 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6096] ppid=6086 vsize=14089220 memory=796 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6096/stat : 6096 (java) S 6086 6086 3347 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45503781 14427361280 20976 33554432000 4194304 4196468 140722089862368 139680138498928 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6097] ppid=6086 vsize=14089220 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6097/stat : 6097 (java) S 6086 6086 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45503783 14427361280 20976 33554432000 4194304 4196468 140722089862368 139680137447248 139680666453915 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6098] ppid=6086 vsize=14089220 memory=12984 CPUtime=0.21 cores=0,2,4,6
/proc/6088/task/6098/stat : 6098 (java) S 6086 6086 3347 0 -1 1077944384 968 0 0 0 21 0 0 0 20 0 15 0 45503783 14427361280 20976 33554432000 4194304 4196468 140722089862368 139680136395632 139680666446466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6099] ppid=6086 vsize=14089220 memory=5664 CPUtime=0.22 cores=0,2,4,6
/proc/6088/task/6099/stat : 6099 (java) S 6086 6086 3347 0 -1 1077944384 1267 0 0 0 22 0 0 0 20 0 15 0 45503783 14427361280 20976 33554432000 4194304 4196468 140722089862368 139680135342832 139680666446466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6100] ppid=6086 vsize=14089220 memory=4620 CPUtime=0.37 cores=0,2,4,6
/proc/6088/task/6100/stat : 6100 (java) S 6086 6086 3347 0 -1 1077944384 2025 0 0 0 37 0 0 0 20 0 15 0 45503783 14427361280 20976 33554432000 4194304 4196468 140722089862368 139680134290032 139680666446466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6101] ppid=6086 vsize=14089220 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6101/stat : 6101 (java) S 6086 6086 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45503784 14427361280 20976 33554432000 4194304 4196468 140722089862368 139680133237472 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6102] ppid=6086 vsize=14089220 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6102/stat : 6102 (java) S 6086 6086 3347 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45503784 14427361280 20976 33554432000 4194304 4196468 140722089862368 139680132184752 139680666446466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
Current children cumulated CPU time: 1.51 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 85356 KiB
[startup+1.50128 s]
/proc/loadavg: 1.42 1.16 1.29 5/225 6102
/proc/meminfo: memFree=16859188/32770624 swapFree=67108860/67108860
[pid=6086] ppid=6083 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6086/stat : 6086 (xcsp3-exec) S 6083 6086 3347 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 45503777 115843072 363 33554432000 4194304 5098028 140734049180944 140734049179048 140491800945276 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13930496 140734049186874 140734049187076 140734049187076 140734049189834 0
/proc/6086/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/6088/task/6096/stat : 6096 (java) S 6086 6086 3347 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 45503781 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680138498928 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6097] ppid=6086 vsize=14089220 memory=577108 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6097/stat : 6097 (java) S 6086 6086 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45503783 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680137447248 139680666453915 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6098] ppid=6086 vsize=14089220 memory=4036 CPUtime=2.1 cores=0,2,4,6
/proc/6088/task/6098/stat : 6098 (java) S 6086 6086 3347 0 -1 1077944384 15762 0 0 0 209 1 0 0 20 0 15 0 45503783 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680136395632 139680666446466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6099] ppid=6086 vsize=14089220 memory=288230574492221466 CPUtime=1.81 cores=0,2,4,6
/proc/6088/task/6099/stat : 6099 (java) S 6086 6086 3347 0 -1 1077944384 14165 0 0 0 179 2 0 0 20 0 15 0 45503783 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680135342832 139680666446466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6100] ppid=6086 vsize=14089220 memory=288230621803970871 CPUtime=0.66 cores=0,2,4,6
/proc/6088/task/6100/stat : 6100 (java) S 6086 6086 3347 0 -1 1077944384 7855 0 0 0 64 2 0 0 20 0 15 0 45503783 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680134290032 139680666446466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6101] ppid=6086 vsize=14089220 memory=33 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6101/stat : 6101 (java) S 6086 6086 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45503784 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680133237472 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6102] ppid=6086 vsize=14089220 memory=6655300316396806240 CPUtime=0.66 cores=0,2,4,6
/proc/6088/task/6102/stat : 6102 (java) S 6086 6086 3347 0 -1 1077944384 1248 0 0 0 32 34 0 0 20 0 15 0 45503784 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680132184752 139680666446466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 24 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
Current children cumulated CPU time: 2279.18 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 578560 KiB
[startup+2322.3 s]
/proc/loadavg: 1.89 1.68 1.57 3/222 6255
/proc/meminfo: memFree=16274144/32770624 swapFree=67108860/67108860
[pid=6086] ppid=6083 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6086/stat : 6086 (xcsp3-exec) S 6083 6086 3347 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 45503777 115843072 363 33554432000 4194304 5098028 140734049180944 140734049179048 140491800945276 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13930496 140734049186874 140734049187076 140734049187076 140734049189834 0
/proc/6086/statm: 28282 363 305 221 0 87 0
[pid=6088] ppid=6086 vsize=14089220 memory=577108 CPUtime=2339.23 cores=0,2,4,6
/proc/6088/stat : 6088 (java) S 6086 6086 3347 0 -1 1077944320 194277 0 0 0 233745 178 0 0 20 0 15 0 45503778 14427361280 144277 33554432000 4194304 4196468 140722089862368 140722089844912 139680666435319 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
/proc/6088/statm: 3522305 144277 3412 1 0 3483520 0
[pid=6088/tid=6089] ppid=6086 vsize=14089220 memory=577108 CPUtime=2316.29 cores=0,2,4,6
/proc/6088/task/6089/stat : 6089 (java) R 6086 6086 3347 0 -1 4202560 100978 0 0 0 231530 99 0 0 20 0 15 0 45503778 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680670674736 139680277620339 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6090] ppid=6086 vsize=14089220 memory=577108 CPUtime=4.12 cores=0,2,4,6
/proc/6088/task/6090/stat : 6090 (java) S 6086 6086 3347 0 -1 1077944384 13230 0 0 0 401 11 0 0 20 0 15 0 45503779 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680596524176 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6091] ppid=6086 vsize=14089220 memory=577108 CPUtime=4.11 cores=0,2,4,6
/proc/6088/task/6091/stat : 6091 (java) S 6086 6086 3347 0 -1 1077944384 7765 0 0 0 402 9 0 0 20 0 15 0 45503779 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680595471376 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6092] ppid=6086 vsize=14089220 memory=577108 CPUtime=4.09 cores=0,2,4,6
/proc/6088/task/6092/stat : 6092 (java) S 6086 6086 3347 0 -1 1077944384 10428 0 0 0 398 11 0 0 20 0 15 0 45503779 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680594418576 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6093] ppid=6086 vsize=14089220 memory=1452 CPUtime=4.1 cores=0,2,4,6
/proc/6088/task/6093/stat : 6093 (java) S 6086 6086 3347 0 -1 1077944384 11730 0 0 0 400 10 0 0 20 0 15 0 45503779 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680593365776 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6094] ppid=6086 vsize=14089220 memory=577108 CPUtime=1.17 cores=0,2,4,6
/proc/6088/task/6094/stat : 6094 (java) S 6086 6086 3347 0 -1 1077944384 9705 0 0 0 107 10 0 0 20 0 15 0 45503780 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680140605808 139680666446466 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6095] ppid=6086 vsize=14089220 memory=577108 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6095/stat : 6095 (java) S 6086 6086 3347 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 45503781 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680139551776 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6096] ppid=6086 vsize=14089220 memory=577108 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6096/stat : 6096 (java) S 6086 6086 3347 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 45503781 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680138498928 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6097] ppid=6086 vsize=14089220 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6097/stat : 6097 (java) S 6086 6086 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45503783 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680137447248 139680666453915 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6098] ppid=6086 vsize=14089220 memory=577108 CPUtime=2.1 cores=0,2,4,6
/proc/6088/task/6098/stat : 6098 (java) S 6086 6086 3347 0 -1 1077944384 15766 0 0 0 209 1 0 0 20 0 15 0 45503783 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680136395632 139680666446466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6099] ppid=6086 vsize=14089220 memory=577108 CPUtime=1.81 cores=0,2,4,6
/proc/6088/task/6099/stat : 6099 (java) S 6086 6086 3347 0 -1 1077944384 14169 0 0 0 179 2 0 0 20 0 15 0 45503783 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680135342832 139680666446466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6100] ppid=6086 vsize=14089220 memory=1452 CPUtime=0.66 cores=0,2,4,6
/proc/6088/task/6100/stat : 6100 (java) S 6086 6086 3347 0 -1 1077944384 7859 0 0 0 64 2 0 0 20 0 15 0 45503783 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680134290032 139680666446466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6101] ppid=6086 vsize=14089220 memory=577108 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6101/stat : 6101 (java) S 6086 6086 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45503784 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680133237472 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6102] ppid=6086 vsize=14089220 memory=301741373374332954 CPUtime=0.67 cores=0,2,4,6
/proc/6088/task/6102/stat : 6102 (java) S 6086 6086 3347 0 -1 1077944384 1269 0 0 0 32 35 0 0 20 0 15 0 45503784 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680132184752 139680666446466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 24 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
Current children cumulated CPU time: 2339.23 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 578560 KiB
[startup+2382.3 s]
/proc/loadavg: 2.03 1.75 1.61 3/221 6256
/proc/meminfo: memFree=16211840/32770624 swapFree=67108860/67108860
[pid=6086] ppid=6083 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6086/stat : 6086 (xcsp3-exec) S 6083 6086 3347 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 45503777 115843072 363 33554432000 4194304 5098028 140734049180944 140734049179048 140491800945276 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13930496 140734049186874 140734049187076 140734049187076 140734049189834 0
/proc/6086/statm: 28282 363 305 221 0 87 0
[pid=6088] ppid=6086 vsize=14089220 memory=577108 CPUtime=2399.3 cores=0,2,4,6
/proc/6088/stat : 6088 (java) S 6086 6086 3347 0 -1 1077944320 195558 0 0 0 239750 180 0 0 20 0 15 0 45503778 14427361280 144277 33554432000 4194304 4196468 140722089862368 140722089844912 139680666435319 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
/proc/6088/statm: 3522305 144277 3412 1 0 3483520 0
[pid=6088/tid=6089] ppid=6086 vsize=14089220 memory=577108 CPUtime=2376.25 cores=0,2,4,6
/proc/6088/task/6089/stat : 6089 (java) R 6086 6086 3347 0 -1 4202560 101462 0 0 0 237526 99 0 0 20 0 15 0 45503778 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680670674848 139680279601787 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6090] ppid=6086 vsize=14089220 memory=577108 CPUtime=4.13 cores=0,2,4,6
/proc/6088/task/6090/stat : 6090 (java) S 6086 6086 3347 0 -1 1077944384 13316 0 0 0 402 11 0 0 20 0 15 0 45503779 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680596524176 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6091] ppid=6086 vsize=14089220 memory=577108 CPUtime=4.13 cores=0,2,4,6
/proc/6088/task/6091/stat : 6091 (java) S 6086 6086 3347 0 -1 1077944384 8090 0 0 0 404 9 0 0 20 0 15 0 45503779 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680595471376 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6092] ppid=6086 vsize=14089220 memory=577108 CPUtime=4.11 cores=0,2,4,6
/proc/6088/task/6092/stat : 6092 (java) S 6086 6086 3347 0 -1 1077944384 10454 0 0 0 400 11 0 0 20 0 15 0 45503779 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680594418576 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6093] ppid=6086 vsize=14089220 memory=577108 CPUtime=4.12 cores=0,2,4,6
/proc/6088/task/6093/stat : 6093 (java) S 6086 6086 3347 0 -1 1077944384 11747 0 0 0 402 10 0 0 20 0 15 0 45503779 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680593365776 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6094] ppid=6086 vsize=14089220 memory=0 CPUtime=1.18 cores=0,2,4,6
/proc/6088/task/6094/stat : 6094 (java) S 6086 6086 3347 0 -1 1077944384 9882 0 0 0 108 10 0 0 20 0 15 0 45503780 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680140605808 139680666446466 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6095] ppid=6086 vsize=14089220 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6095/stat : 6095 (java) S 6086 6086 3347 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 45503781 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680139551776 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6096] ppid=6086 vsize=14089220 memory=577108 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6096/stat : 6096 (java) S 6086 6086 3347 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 45503781 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680138498928 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6097] ppid=6086 vsize=14089220 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6097/stat : 6097 (java) S 6086 6086 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45503783 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680137447248 139680666453915 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6098] ppid=6086 vsize=14089220 memory=577108 CPUtime=2.1 cores=0,2,4,6
/proc/6088/task/6098/stat : 6098 (java) S 6086 6086 3347 0 -1 1077944384 15768 0 0 0 209 1 0 0 20 0 15 0 45503783 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680136395632 139680666446466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 22 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6099] ppid=6086 vsize=14089220 memory=7380 CPUtime=1.81 cores=0,2,4,6
/proc/6088/task/6099/stat : 6099 (java) S 6086 6086 3347 0 -1 1077944384 14173 0 0 0 179 2 0 0 20 0 15 0 45503783 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680135342832 139680666446466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6100] ppid=6086 vsize=14089220 memory=840 CPUtime=0.66 cores=0,2,4,6
/proc/6088/task/6100/stat : 6100 (java) S 6086 6086 3347 0 -1 1077944384 8005 0 0 0 64 2 0 0 20 0 15 0 45503783 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680134290032 139680666446466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6101] ppid=6086 vsize=14089220 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6101/stat : 6101 (java) S 6086 6086 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45503784 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680133237472 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6102] ppid=6086 vsize=14089220 memory=1452 CPUtime=0.69 cores=0,2,4,6
/proc/6088/task/6102/stat : 6102 (java) S 6086 6086 3347 0 -1 1077944384 1283 0 0 0 33 36 0 0 20 0 15 0 45503784 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680132184752 139680666446466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 24 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
Current children cumulated CPU time: 2399.3 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 578560 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2383 s]*
/proc/loadavg: 2.03 1.75 1.61 3/221 6256
/proc/meminfo: memFree=16207868/32770624 swapFree=67108860/67108860
[pid=6086] ppid=6083 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6086/stat : 6086 (xcsp3-exec) S 6083 6086 3347 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 45503777 115843072 363 33554432000 4194304 5098028 140734049180944 140734049179048 140491800945276 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13930496 140734049186874 140734049187076 140734049187076 140734049189834 0
/proc/6086/statm: 28282 363 305 221 0 87 0
[pid=6088] ppid=6086 vsize=14089220 memory=577108 CPUtime=2400 cores=0,2,4,6
/proc/6088/stat : 6088 (java) S 6086 6086 3347 0 -1 1077944320 195561 0 0 0 239820 180 0 0 20 0 15 0 45503778 14427361280 144277 33554432000 4194304 4196468 140722089862368 140722089844912 139680666435319 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
/proc/6088/statm: 3522305 144277 3412 1 0 3483520 0
[pid=6088/tid=6089] ppid=6086 vsize=14089220 memory=8112282956445269571 CPUtime=2376.96 cores=0,2,4,6
/proc/6088/task/6089/stat : 6089 (java) R 6086 6086 3347 0 -1 4202560 101463 0 0 0 237597 99 0 0 20 0 15 0 45503778 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680670674656 139680277698277 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6090] ppid=6086 vsize=14089220 memory=4126316290023845779 CPUtime=4.13 cores=0,2,4,6
/proc/6088/task/6090/stat : 6090 (java) S 6086 6086 3347 0 -1 1077944384 13316 0 0 0 402 11 0 0 20 0 15 0 45503779 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680596524176 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6091] ppid=6086 vsize=14089220 memory=1452 CPUtime=4.13 cores=0,2,4,6
/proc/6088/task/6091/stat : 6091 (java) S 6086 6086 3347 0 -1 1077944384 8090 0 0 0 404 9 0 0 20 0 15 0 45503779 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680595471376 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6092] ppid=6086 vsize=14089220 memory=577108 CPUtime=4.11 cores=0,2,4,6
/proc/6088/task/6092/stat : 6092 (java) S 6086 6086 3347 0 -1 1077944384 10455 0 0 0 400 11 0 0 20 0 15 0 45503779 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680594418576 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6093] ppid=6086 vsize=14089220 memory=4100 CPUtime=4.12 cores=0,2,4,6
/proc/6088/task/6093/stat : 6093 (java) S 6086 6086 3347 0 -1 1077944384 11748 0 0 0 402 10 0 0 20 0 15 0 45503779 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680593365776 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6094] ppid=6086 vsize=14089220 memory=1404 CPUtime=1.18 cores=0,2,4,6
/proc/6088/task/6094/stat : 6094 (java) S 6086 6086 3347 0 -1 1077944384 9882 0 0 0 108 10 0 0 20 0 15 0 45503780 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680140605808 139680666446466 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6095] ppid=6086 vsize=14089220 memory=2916 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6095/stat : 6095 (java) S 6086 6086 3347 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 45503781 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680139551776 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6096] ppid=6086 vsize=14089220 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6096/stat : 6096 (java) S 6086 6086 3347 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 45503781 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680138498928 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6097] ppid=6086 vsize=14089220 memory=349752 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6097/stat : 6097 (java) S 6086 6086 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45503783 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680137447248 139680666453915 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6098] ppid=6086 vsize=14089220 memory=8384 CPUtime=2.1 cores=0,2,4,6
/proc/6088/task/6098/stat : 6098 (java) S 6086 6086 3347 0 -1 1077944384 15768 0 0 0 209 1 0 0 20 0 15 0 45503783 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680136395632 139680666446466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 22 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6099] ppid=6086 vsize=14089220 memory=15872 CPUtime=1.81 cores=0,2,4,6
/proc/6088/task/6099/stat : 6099 (java) S 6086 6086 3347 0 -1 1077944384 14173 0 0 0 179 2 0 0 20 0 15 0 45503783 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680135342832 139680666446466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6100] ppid=6086 vsize=14089220 memory=16432 CPUtime=0.66 cores=0,2,4,6
/proc/6088/task/6100/stat : 6100 (java) S 6086 6086 3347 0 -1 1077944384 8005 0 0 0 64 2 0 0 20 0 15 0 45503783 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680134290032 139680666446466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6101] ppid=6086 vsize=14089220 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/6088/task/6101/stat : 6101 (java) S 6086 6086 3347 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45503784 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680133237472 139680666445525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
[pid=6088/tid=6102] ppid=6086 vsize=14089220 memory=1236 CPUtime=0.69 cores=0,2,4,6
/proc/6088/task/6102/stat : 6102 (java) S 6086 6086 3347 0 -1 1077944384 1283 0 0 0 33 36 0 0 20 0 15 0 45503784 14427361280 144277 33554432000 4194304 4196468 140722089862368 139680132184752 139680666446466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 24 0 0 6293624 6294260 6897664 140722089866369 140722089866545 140722089866545 140722089869263 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 578560 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2383.02 s]
# the end of solver process 6086 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001131 s, system=0.001131 s
[startup+2383.02 s]
# the end of solver process 6088 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.22 s, system=1.80729 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2383.02
CPU time (s): 2400.03
CPU user time (s): 2398.22
CPU system time (s): 1.80729
CPU usage (%): 100.714
Max. virtual memory (cumulated for all children) (KiB): 14202348
Max. memory (cumulated for all children) (KiB): 2385848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.22
system time used= 1.80729
maximum resident set size= 2406948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 196387
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 82816
involuntary context switches= 4680
# summary of solver processes directly reported to runsolver:
# pid: 6086,6088
# total CPU time (s): 2400.03
# total CPU user time (s): 2398.22
# total CPU system time (s): 1.80729
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4493 second user time and 20.0088 second system time
The end