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 (11844 MiB free)
memory of node 1: 16384 MiB (15836 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301823-1532884705/watcher-4301823-1532884705 -o /tmp/evaluation-result-4301823-1532884705/solver-4301823-1532884705 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532879536-13547 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301823-1532884705.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=18293, runsolver pid=18290
[startup+0.100144 s]*
/proc/loadavg: 5.14 3.58 2.85 2/216 18308
/proc/meminfo: memFree=28327456/32770624 swapFree=67108860/67108860
[pid=18293] ppid=18290 vsize=10659012 memory=31520 CPUtime=0.12 cores=1,3,5,7
/proc/18293/stat : 18293 (java) S 18290 18293 13514 0 -1 1077944320 6435 0 0 0 11 1 0 0 20 0 15 0 106033668 10914828288 7880 33554432000 4194304 4196468 140734740454112 140734740436656 140132718427895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
/proc/18293/statm: 2664753 7880 2841 1 0 2627263 0
[pid=18293/tid=18295] ppid=18290 vsize=10659012 memory=-8701690554792186750 CPUtime=0.09 cores=1,3,5,7
/proc/18293/task/18295/stat : 18295 (java) R 18290 18293 13514 0 -1 4202560 4277 0 0 0 8 1 0 0 20 0 15 0 106033669 10914828288 7880 33554432000 4194304 4196468 140734740454112 140132722642496 140132718449821 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18296] ppid=18290 vsize=10659012 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18296/stat : 18296 (java) S 18290 18293 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106033669 10914828288 7880 33554432000 4194304 4196468 140734740454112 140132644502032 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18297] ppid=18290 vsize=10659012 memory=140217865873024 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18297/stat : 18297 (java) S 18290 18293 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106033669 10914828288 7880 33554432000 4194304 4196468 140734740454112 140132643449488 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18298] ppid=18290 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18298/stat : 18298 (java) S 18290 18293 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106033669 10914828288 7880 33554432000 4194304 4196468 140734740454112 140132642396432 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18299] ppid=18290 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18299/stat : 18299 (java) S 18290 18293 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106033669 10914828288 7880 33554432000 4194304 4196468 140734740454112 140132641343888 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18300] ppid=18290 vsize=10659012 memory=140217865873024 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18300/stat : 18300 (java) S 18290 18293 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106033671 10914828288 7880 33554432000 4194304 4196468 140734740454112 140132209326832 140132718439042 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18301] ppid=18290 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18301/stat : 18301 (java) S 18290 18293 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106033671 10914828288 7880 33554432000 4194304 4196468 140734740454112 140132208273056 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18302] ppid=18290 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18302/stat : 18302 (java) S 18290 18293 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106033671 10914828288 7880 33554432000 4194304 4196468 140734740454112 140132207219952 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18303] ppid=18290 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18303/stat : 18303 (java) S 18290 18293 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106033674 10914828288 7880 33554432000 4194304 4196468 140734740454112 140132206168528 140132718446491 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18304] ppid=18290 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18304/stat : 18304 (java) S 18290 18293 13514 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 106033674 10914828288 7880 33554432000 4194304 4196468 140734740454112 140132205115632 140132718439042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18305] ppid=18290 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18305/stat : 18305 (java) R 18290 18293 13514 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 15 0 106033674 10914828288 7880 33554432000 4194304 4196468 140734740454112 140132204063088 140132718439042 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18306] ppid=18290 vsize=10659012 memory=140217865873024 CPUtime=0.02 cores=1,3,5,7
/proc/18293/task/18306/stat : 18306 (java) R 18290 18293 13514 0 -1 4202560 340 0 0 0 2 0 0 0 20 0 15 0 106033674 10914828288 7880 33554432000 4194304 4196468 140734740454112 140132203010032 140132710665022 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18307] ppid=18290 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18307/stat : 18307 (java) S 18290 18293 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106033674 10914828288 7880 33554432000 4194304 4196468 140734740454112 140132201957728 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18308] ppid=18290 vsize=10659012 memory=140217865873024 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18308/stat : 18308 (java) S 18290 18293 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106033674 10914828288 7880 33554432000 4194304 4196468 140734740454112 140132200905776 140132718439042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 31520 KiB
[startup+0.210648 s]*
/proc/loadavg: 5.14 3.58 2.85 4/216 18308
/proc/meminfo: memFree=28317448/32770624 swapFree=67108860/67108860
[pid=18293] ppid=18290 vsize=10659012 memory=41980 CPUtime=0.34 cores=1,3,5,7
/proc/18293/stat : 18293 (java) S 18290 18293 13514 0 -1 1077944320 7638 0 0 0 32 2 0 0 20 0 15 0 106033668 10914828288 10495 33554432000 4194304 4196468 140734740454112 140734740436656 140132718427895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
/proc/18293/statm: 2664753 10495 3004 1 0 2627263 0
[pid=18293/tid=18295] ppid=18290 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/18293/task/18295/stat : 18295 (java) R 18290 18293 13514 0 -1 4202560 4627 0 0 0 19 1 0 0 20 0 15 0 106033669 10914828288 10495 33554432000 4194304 4196468 140734740454112 140132722664176 140132702508382 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18296] ppid=18290 vsize=10659012 memory=331 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18296/stat : 18296 (java) S 18290 18293 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106033669 10914828288 10495 33554432000 4194304 4196468 140734740454112 140132644502032 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18297] ppid=18290 vsize=10659012 memory=140217866504433 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18297/stat : 18297 (java) S 18290 18293 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106033669 10914828288 10495 33554432000 4194304 4196468 140734740454112 140132643449488 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18298] ppid=18290 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18298/stat : 18298 (java) S 18290 18293 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106033669 10914828288 10495 33554432000 4194304 4196468 140734740454112 140132642396432 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18299] ppid=18290 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18299/stat : 18299 (java) S 18290 18293 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106033669 10914828288 10495 33554432000 4194304 4196468 140734740454112 140132641343888 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18300] ppid=18290 vsize=10659012 memory=140217865873024 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18300/stat : 18300 (java) S 18290 18293 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106033671 10914828288 10495 33554432000 4194304 4196468 140734740454112 140132209326832 140132718439042 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18301] ppid=18290 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18301/stat : 18301 (java) S 18290 18293 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106033671 10914828288 10495 33554432000 4194304 4196468 140734740454112 140132208273056 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18302] ppid=18290 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18302/stat : 18302 (java) S 18290 18293 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106033671 10914828288 10495 33554432000 4194304 4196468 140734740454112 140132207219952 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18303] ppid=18290 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18303/stat : 18303 (java) S 18290 18293 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106033674 10914828288 10495 33554432000 4194304 4196468 140734740454112 140132206168528 140132718446491 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18304] ppid=18290 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/18293/task/18304/stat : 18304 (java) S 18290 18293 13514 0 -1 1077944384 455 0 0 0 2 0 0 0 20 0 15 0 106033674 10914828288 10495 33554432000 4194304 4196468 140734740454112 140132205115632 140132718439042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18305] ppid=18290 vsize=10659012 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/18293/task/18305/stat : 18305 (java) S 18290 18293 13514 0 -1 1077944384 537 0 0 0 2 0 0 0 20 0 15 0 106033674 10914828288 10495 33554432000 4194304 4196468 140734740454112 140132204063088 140132718439042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18306] ppid=18290 vsize=10659012 memory=140217865873024 CPUtime=0.08 cores=1,3,5,7
/proc/18293/task/18306/stat : 18306 (java) S 18290 18293 13514 0 -1 1077944384 657 0 0 0 8 0 0 0 20 0 15 0 106033674 10914828288 10495 33554432000 4194304 4196468 140734740454112 140132203010032 140132718439042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18307] ppid=18290 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18307/stat : 18307 (java) S 18290 18293 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106033674 10914828288 10495 33554432000 4194304 4196468 140734740454112 140132201957728 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18308] ppid=18290 vsize=10659012 memory=140217865873024 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18308/stat : 18308 (java) S 18290 18293 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106033674 10914828288 10495 33554432000 4194304 4196468 140734740454112 140132200905776 140132718439042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41980 KiB
[startup+0.310535 s]*
/proc/loadavg: 5.14 3.58 2.85 5/216 18308
/proc/meminfo: memFree=28310128/32770624 swapFree=67108860/67108860
[pid=18293] ppid=18290 vsize=10659088 memory=47300 CPUtime=0.54 cores=1,3,5,7
/proc/18293/stat : 18293 (java) S 18290 18293 13514 0 -1 1077944320 8409 0 0 0 52 2 0 0 20 0 15 0 106033668 10914906112 11825 33554432000 4194304 4196468 140734740454112 140734740436656 140132718427895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
/proc/18293/statm: 2664772 11825 3051 1 0 2627263 0
[pid=18293/tid=18295] ppid=18290 vsize=10659088 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/18293/task/18295/stat : 18295 (java) R 18290 18293 13514 0 -1 4202560 5171 0 0 0 28 1 0 0 20 0 15 0 106033669 10914906112 11825 33554432000 4194304 4196468 140734740454112 140132722662736 140132718439830 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18296] ppid=18290 vsize=10659088 memory=4294977825 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18296/stat : 18296 (java) S 18290 18293 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106033669 10914906112 11825 33554432000 4194304 4196468 140734740454112 140132644502032 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18297] ppid=18290 vsize=10659088 memory=140217866502159 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18297/stat : 18297 (java) S 18290 18293 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106033669 10914906112 11825 33554432000 4194304 4196468 140734740454112 140132643449488 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18298] ppid=18290 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18298/stat : 18298 (java) S 18290 18293 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106033669 10914906112 11825 33554432000 4194304 4196468 140734740454112 140132642396432 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18299] ppid=18290 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18299/stat : 18299 (java) S 18290 18293 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106033669 10914906112 11825 33554432000 4194304 4196468 140734740454112 140132641343888 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18300] ppid=18290 vsize=10659088 memory=140217865873024 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18300/stat : 18300 (java) S 18290 18293 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106033671 10914906112 11825 33554432000 4194304 4196468 140734740454112 140132209326832 140132718439042 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18301] ppid=18290 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18301/stat : 18301 (java) S 18290 18293 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106033671 10914906112 11825 33554432000 4194304 4196468 140734740454112 140132208273056 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18302] ppid=18290 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18302/stat : 18302 (java) S 18290 18293 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106033671 10914906112 11825 33554432000 4194304 4196468 140734740454112 140132207219952 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18303] ppid=18290 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18303/stat : 18303 (java) S 18290 18293 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106033674 10914906112 11825 33554432000 4194304 4196468 140734740454112 140132206168528 140132718446491 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18304] ppid=18290 vsize=10659088 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/18293/task/18304/stat : 18304 (java) S 18290 18293 13514 0 -1 1077944384 499 0 0 0 4 0 0 0 20 0 15 0 106033674 10914906112 11825 33554432000 4194304 4196468 140734740454112 140132205115632 140132718439042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18305] ppid=18290 vsize=10659088 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/18293/task/18305/stat : 18305 (java) S 18290 18293 13514 0 -1 1077944384 627 0 0 0 5 0 0 0 20 0 15 0 106033674 10914906112 11825 33554432000 4194304 4196468 140734740454112 140132204063088 140132718439042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18306] ppid=18290 vsize=10659088 memory=140217865873024 CPUtime=0.13 cores=1,3,5,7
/proc/18293/task/18306/stat : 18306 (java) R 18290 18293 13514 0 -1 4202560 746 0 0 0 13 0 0 0 20 0 15 0 106033674 10914906112 11825 33554432000 4194304 4196468 140734740454112 140132203010032 140132718439830 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18307] ppid=18290 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18307/stat : 18307 (java) S 18290 18293 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106033674 10914906112 11825 33554432000 4194304 4196468 140734740454112 140132201957728 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18308] ppid=18290 vsize=10659088 memory=140217865873024 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18308/stat : 18308 (java) S 18290 18293 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106033674 10914906112 11825 33554432000 4194304 4196468 140734740454112 140132200905776 140132718439042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47300 KiB
[startup+0.700829 s]
/proc/loadavg: 4.97 3.57 2.85 5/216 18308
/proc/meminfo: memFree=28272216/32770624 swapFree=67108860/67108860
[pid=18293] ppid=18290 vsize=10659088 memory=108316 CPUtime=1.55 cores=1,3,5,7
/proc/18293/stat : 18293 (java) S 18290 18293 13514 0 -1 1077944320 12368 0 0 0 152 3 0 0 20 0 15 0 106033668 10914906112 27079 33554432000 4194304 4196468 140734740454112 140734740436656 140132718427895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
/proc/18293/statm: 2664772 27079 3097 1 0 2627263 0
[pid=18293/tid=18295] ppid=18290 vsize=10659088 memory=16868 CPUtime=0.68 cores=1,3,5,7
/proc/18293/task/18295/stat : 18295 (java) R 18290 18293 13514 0 -1 4202560 5276 0 0 0 66 2 0 0 20 0 15 0 106033669 10914906112 27079 33554432000 4194304 4196468 140734740454112 140132722665520 140132319965850 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18296] ppid=18290 vsize=10659088 memory=2324 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18296/stat : 18296 (java) S 18290 18293 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106033669 10914906112 27079 33554432000 4194304 4196468 140734740454112 140132644502032 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18297] ppid=18290 vsize=10659088 memory=1584 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18297/stat : 18297 (java) S 18290 18293 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106033669 10914906112 27079 33554432000 4194304 4196468 140734740454112 140132643449488 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18298] ppid=18290 vsize=10659088 memory=496 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18298/stat : 18298 (java) S 18290 18293 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106033669 10914906112 27079 33554432000 4194304 4196468 140734740454112 140132642396432 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18299] ppid=18290 vsize=10659088 memory=928 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18299/stat : 18299 (java) S 18290 18293 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106033669 10914906112 27079 33554432000 4194304 4196468 140734740454112 140132641343888 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18300] ppid=18290 vsize=10659088 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18300/stat : 18300 (java) S 18290 18293 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106033671 10914906112 27079 33554432000 4194304 4196468 140734740454112 140132209326832 140132718439042 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18301] ppid=18290 vsize=10659088 memory=1968 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18301/stat : 18301 (java) S 18290 18293 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106033671 10914906112 27079 33554432000 4194304 4196468 140734740454112 140132208273056 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18302] ppid=18290 vsize=10659088 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18302/stat : 18302 (java) S 18290 18293 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106033671 10914906112 27079 33554432000 4194304 4196468 140734740454112 140132207219952 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18303] ppid=18290 vsize=10659088 memory=7379241883359864663 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18303/stat : 18303 (java) S 18290 18293 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106033674 10914906112 27079 33554432000 4194304 4196468 140734740454112 140132206168528 140132718446491 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18304] ppid=18290 vsize=10659088 memory=6081108994580573287 CPUtime=0.38 cores=1,3,5,7
/proc/18293/task/18304/stat : 18304 (java) R 18290 18293 13514 0 -1 4202560 3339 0 0 0 38 0 0 0 20 0 15 0 106033674 10914906112 27079 33554432000 4194304 4196468 140734740454112 140132205096648 140132699949286 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18305] ppid=18290 vsize=10659088 memory=6220993253238723945 CPUtime=0.29 cores=1,3,5,7
/proc/18293/task/18305/stat : 18305 (java) S 18290 18293 13514 0 -1 1077944384 1521 0 0 0 29 0 0 0 20 0 15 0 106033674 10914906112 27079 33554432000 4194304 4196468 140734740454112 140132204063088 140132718439042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18306] ppid=18290 vsize=10659088 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/18293/task/18306/stat : 18306 (java) S 18290 18293 13514 0 -1 1077944384 865 0 0 0 18 0 0 0 20 0 15 0 106033674 10914906112 27079 33554432000 4194304 4196468 140734740454112 140132203010032 140132718439042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18307] ppid=18290 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18307/stat : 18307 (java) S 18290 18293 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106033674 10914906112 27079 33554432000 4194304 4196468 140734740454112 140132201957728 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18308] ppid=18290 vsize=10659088 memory=756 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18308/stat : 18308 (java) S 18290 18293 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106033674 10914906112 27079 33554432000 4194304 4196468 140734740454112 140132200905776 140132718439042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
Current children cumulated CPU time: 1.55 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 108316 KiB
[startup+1.50082 s]
/proc/loadavg: 4.97 3.57 2.85 3/216 18308
/proc/meminfo: memFree=28224624/32770624 swapFree=67108860/67108860
[pid=18293] ppid=18290 vsize=10659088 memory=178320 CPUtime=2.49 cores=1,3,5,7
/proc/18293/stat : 18293 (java) S 18290 18293 13514 0 -1 1077944320 12731 0 0 0 244 5 0 0 20 0 15 0 106033668 10914906112 44580 33554432000 4194304 4196468 140734740454112 140734740436656 140132718427895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
/proc/18293/statm: 2664772 44580 3102 1 0 2627263 0
[pid=18293/tid=18295] ppid=18290 vsize=10659088 memory=155792 CPUtime=1.48 cores=1,3,5,7
/proc/18293/task/18295/stat : 18295 (java) R 18290 18293 13514 0 -1 4202560 5426 0 0 0 144 4 0 0 20 0 15 0 106033669 10914906112 44580 33554432000 4194304 4196468 140734740454112 140132722663856 140132320167811 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18296] ppid=18290 vsize=10659088 memory=33 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18296/stat : 18296 (java) S 18290 18293 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106033669 10914906112 44580 33554432000 4194304 4196468 140734740454112 140132644502032 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18297] ppid=18290 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18297/stat : 18297 (java) S 18290 18293 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106033669 10914906112 44580 33554432000 4194304 4196468 140734740454112 140132643449488 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18298] ppid=18290 vsize=10659088 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18298/stat : 18298 (java) S 18290 18293 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106033669 10914906112 44580 33554432000 4194304 4196468 140734740454112 140132642396432 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18299] ppid=18290 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18299/stat : 18299 (java) S 18290 18293 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106033669 10914906112 44580 33554432000 4194304 4196468 140734740454112 140132641343888 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18300] ppid=18290 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18300/stat : 18300 (java) S 18290 18293 13514 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 15 0 106033671 10914906112 44580 33554432000 4194304 4196468 140734740454112 140132209326832 140132718439042 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
################
# More data... #
################
/proc/18293/task/18298/stat : 18298 (java) S 18290 18293 13514 0 -1 1077944384 4015 0 0 0 281 30 0 0 20 0 16 0 106033669 10983067648 414652 33554432000 4194304 4196468 140734740454112 140132642396432 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18299] ppid=18290 vsize=10725652 memory=1658608 CPUtime=3.11 cores=1,3,5,7
/proc/18293/task/18299/stat : 18299 (java) S 18290 18293 13514 0 -1 1077944384 4581 0 0 0 281 30 0 0 20 0 16 0 106033669 10983067648 414652 33554432000 4194304 4196468 140734740454112 140132641343888 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18300] ppid=18290 vsize=10725652 memory=4140 CPUtime=1.07 cores=1,3,5,7
/proc/18293/task/18300/stat : 18300 (java) S 18290 18293 13514 0 -1 1077944384 2519 0 0 0 107 0 0 0 20 0 16 0 106033671 10983067648 414652 33554432000 4194304 4196468 140734740454112 140132209326832 140132718439042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18301] ppid=18290 vsize=10725652 memory=30228 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18301/stat : 18301 (java) S 18290 18293 13514 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 106033671 10983067648 414652 33554432000 4194304 4196468 140734740454112 140132208273120 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18302] ppid=18290 vsize=10725652 memory=1658608 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18302/stat : 18302 (java) S 18290 18293 13514 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 106033671 10983067648 414652 33554432000 4194304 4196468 140734740454112 140132207219968 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18303] ppid=18290 vsize=10725652 memory=2324 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18303/stat : 18303 (java) S 18290 18293 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106033674 10983067648 414652 33554432000 4194304 4196468 140734740454112 140132206168528 140132718446491 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18304] ppid=18290 vsize=10725652 memory=1658608 CPUtime=1.53 cores=1,3,5,7
/proc/18293/task/18304/stat : 18304 (java) S 18290 18293 13514 0 -1 1077944384 7720 0 0 0 152 1 0 0 20 0 16 0 106033674 10983067648 414652 33554432000 4194304 4196468 140734740454112 140132205115632 140132718439042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18305] ppid=18290 vsize=10725652 memory=1992 CPUtime=1.48 cores=1,3,5,7
/proc/18293/task/18305/stat : 18305 (java) S 18290 18293 13514 0 -1 1077944384 7003 0 0 0 148 0 0 0 20 0 16 0 106033674 10983067648 414652 33554432000 4194304 4196468 140734740454112 140132204063088 140132718439042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18306] ppid=18290 vsize=10725652 memory=1658588 CPUtime=0.4 cores=1,3,5,7
/proc/18293/task/18306/stat : 18306 (java) S 18290 18293 13514 0 -1 1077944384 3542 0 0 0 39 1 0 0 20 0 16 0 106033674 10983067648 414652 33554432000 4194304 4196468 140734740454112 140132203010032 140132718439042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18307] ppid=18290 vsize=10725652 memory=1658588 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18307/stat : 18307 (java) S 18290 18293 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106033674 10983067648 414652 33554432000 4194304 4196468 140734740454112 140132201957728 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18308] ppid=18290 vsize=10725652 memory=1658608 CPUtime=0.09 cores=1,3,5,7
/proc/18293/task/18308/stat : 18308 (java) S 18290 18293 13514 0 -1 1077944384 270 0 0 0 4 5 0 0 20 0 16 0 106033674 10983067648 414652 33554432000 4194304 4196468 140734740454112 140132200905776 140132718439042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18309] ppid=18290 vsize=10725652 memory=1658608 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18309/stat : 18309 (java) S 18290 18293 13514 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 106034410 10983067648 414652 33554432000 4194304 4196468 140734740454112 140132199851568 140132718439042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
Current children cumulated CPU time: 175.09 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 1658608 KiB
[startup+222.301 s]
/proc/loadavg: 2.08 2.77 2.68 3/218 18320
/proc/meminfo: memFree=26217744/32770624 swapFree=67108860/67108860
[pid=18293] ppid=18290 vsize=10725652 memory=1658792 CPUtime=235.13 cores=1,3,5,7
/proc/18293/stat : 18293 (java) S 18290 18293 13514 0 -1 1077944320 55481 0 0 0 23370 143 0 0 20 0 16 0 106033668 10983067648 414698 33554432000 4194304 4196468 140734740454112 140734740436656 140132718427895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
/proc/18293/statm: 2681413 414698 3174 1 0 2643904 0
[pid=18293/tid=18295] ppid=18290 vsize=10725652 memory=1658780 CPUtime=218.02 cores=1,3,5,7
/proc/18293/task/18295/stat : 18295 (java) R 18290 18293 13514 0 -1 4202560 14472 0 0 0 21792 10 0 0 20 0 16 0 106033669 10983067648 414698 33554432000 4194304 4196468 140734740454112 140132722664568 140132321688601 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18296] ppid=18290 vsize=10725652 memory=1658780 CPUtime=3.11 cores=1,3,5,7
/proc/18293/task/18296/stat : 18296 (java) S 18290 18293 13514 0 -1 1077944384 3803 0 0 0 281 30 0 0 20 0 16 0 106033669 10983067648 414698 33554432000 4194304 4196468 140734740454112 140132644502032 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18297] ppid=18290 vsize=10725652 memory=1658792 CPUtime=3.07 cores=1,3,5,7
/proc/18293/task/18297/stat : 18297 (java) S 18290 18293 13514 0 -1 1077944384 5887 0 0 0 276 31 0 0 20 0 16 0 106033669 10983067648 414698 33554432000 4194304 4196468 140734740454112 140132643449488 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18298] ppid=18290 vsize=10725652 memory=5456 CPUtime=3.11 cores=1,3,5,7
/proc/18293/task/18298/stat : 18298 (java) S 18290 18293 13514 0 -1 1077944384 4015 0 0 0 281 30 0 0 20 0 16 0 106033669 10983067648 414698 33554432000 4194304 4196468 140734740454112 140132642396432 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18299] ppid=18290 vsize=10725652 memory=0 CPUtime=3.11 cores=1,3,5,7
/proc/18293/task/18299/stat : 18299 (java) S 18290 18293 13514 0 -1 1077944384 4581 0 0 0 281 30 0 0 20 0 16 0 106033669 10983067648 414698 33554432000 4194304 4196468 140734740454112 140132641343888 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18300] ppid=18290 vsize=10725652 memory=1658780 CPUtime=1.07 cores=1,3,5,7
/proc/18293/task/18300/stat : 18300 (java) S 18290 18293 13514 0 -1 1077944384 2568 0 0 0 107 0 0 0 20 0 16 0 106033671 10983067648 414698 33554432000 4194304 4196468 140734740454112 140132209326832 140132718439042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18301] ppid=18290 vsize=10725652 memory=1658780 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18301/stat : 18301 (java) S 18290 18293 13514 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 106033671 10983067648 414698 33554432000 4194304 4196468 140734740454112 140132208273120 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18302] ppid=18290 vsize=10725652 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18302/stat : 18302 (java) S 18290 18293 13514 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 106033671 10983067648 414698 33554432000 4194304 4196468 140734740454112 140132207219968 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18303] ppid=18290 vsize=10725652 memory=2324 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18303/stat : 18303 (java) S 18290 18293 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106033674 10983067648 414698 33554432000 4194304 4196468 140734740454112 140132206168528 140132718446491 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18304] ppid=18290 vsize=10725652 memory=1658780 CPUtime=1.53 cores=1,3,5,7
/proc/18293/task/18304/stat : 18304 (java) S 18290 18293 13514 0 -1 1077944384 7723 0 0 0 152 1 0 0 20 0 16 0 106033674 10983067648 414698 33554432000 4194304 4196468 140734740454112 140132205115632 140132718439042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18305] ppid=18290 vsize=10725652 memory=280435460579744 CPUtime=1.48 cores=1,3,5,7
/proc/18293/task/18305/stat : 18305 (java) S 18290 18293 13514 0 -1 1077944384 7012 0 0 0 148 0 0 0 20 0 16 0 106033674 10983067648 414698 33554432000 4194304 4196468 140734740454112 140132204063088 140132718439042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18306] ppid=18290 vsize=10725652 memory=1658780 CPUtime=0.4 cores=1,3,5,7
/proc/18293/task/18306/stat : 18306 (java) S 18290 18293 13514 0 -1 1077944384 3653 0 0 0 39 1 0 0 20 0 16 0 106033674 10983067648 414698 33554432000 4194304 4196468 140734740454112 140132203010032 140132718439042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18307] ppid=18290 vsize=10725652 memory=1658780 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18307/stat : 18307 (java) S 18290 18293 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106033674 10983067648 414698 33554432000 4194304 4196468 140734740454112 140132201957728 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18308] ppid=18290 vsize=10725652 memory=1658780 CPUtime=0.12 cores=1,3,5,7
/proc/18293/task/18308/stat : 18308 (java) S 18290 18293 13514 0 -1 1077944384 308 0 0 0 5 7 0 0 20 0 16 0 106033674 10983067648 414698 33554432000 4194304 4196468 140734740454112 140132200905776 140132718439042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18309] ppid=18290 vsize=10725652 memory=371 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18309/stat : 18309 (java) S 18290 18293 13514 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 106034410 10983067648 414698 33554432000 4194304 4196468 140734740454112 140132199851568 140132718439042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
Current children cumulated CPU time: 235.13 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 1658792 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+239.201 s]
/proc/loadavg: 2.13 2.75 2.67 3/218 18399
/proc/meminfo: memFree=26361384/32770624 swapFree=67108860/67108860
[pid=18293] ppid=18290 vsize=10725652 memory=1658792 CPUtime=252.04 cores=1,3,5,7
/proc/18293/stat : 18293 (java) S 18290 18293 13514 0 -1 1077944320 55743 0 0 0 25061 143 0 0 20 0 16 0 106033668 10983067648 414698 33554432000 4194304 4196468 140734740454112 140734740436656 140132718427895 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
/proc/18293/statm: 2681413 414698 3174 1 0 2643904 0
[pid=18293/tid=18295] ppid=18290 vsize=10725652 memory=2724 CPUtime=234.92 cores=1,3,5,7
/proc/18293/task/18295/stat : 18295 (java) R 18290 18293 13514 0 -1 4202560 14707 0 0 0 23482 10 0 0 20 0 16 0 106033669 10983067648 414698 33554432000 4194304 4196468 140734740454112 140132722664792 140132319854417 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18296] ppid=18290 vsize=10725652 memory=-3621219749712857441 CPUtime=3.11 cores=1,3,5,7
/proc/18293/task/18296/stat : 18296 (java) S 18290 18293 13514 0 -1 1077944384 3803 0 0 0 281 30 0 0 20 0 16 0 106033669 10983067648 414698 33554432000 4194304 4196468 140734740454112 140132644502032 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18297] ppid=18290 vsize=10725652 memory=35044 CPUtime=3.07 cores=1,3,5,7
/proc/18293/task/18297/stat : 18297 (java) S 18290 18293 13514 0 -1 1077944384 5887 0 0 0 276 31 0 0 20 0 16 0 106033669 10983067648 414698 33554432000 4194304 4196468 140734740454112 140132643449488 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18298] ppid=18290 vsize=10725652 memory=6791534058613427641 CPUtime=3.11 cores=1,3,5,7
/proc/18293/task/18298/stat : 18298 (java) S 18290 18293 13514 0 -1 1077944384 4015 0 0 0 281 30 0 0 20 0 16 0 106033669 10983067648 414698 33554432000 4194304 4196468 140734740454112 140132642396432 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18299] ppid=18290 vsize=10725652 memory=804 CPUtime=3.11 cores=1,3,5,7
/proc/18293/task/18299/stat : 18299 (java) S 18290 18293 13514 0 -1 1077944384 4581 0 0 0 281 30 0 0 20 0 16 0 106033669 10983067648 414698 33554432000 4194304 4196468 140734740454112 140132641343888 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18300] ppid=18290 vsize=10725652 memory=1696 CPUtime=1.07 cores=1,3,5,7
/proc/18293/task/18300/stat : 18300 (java) S 18290 18293 13514 0 -1 1077944384 2568 0 0 0 107 0 0 0 20 0 16 0 106033671 10983067648 414698 33554432000 4194304 4196468 140734740454112 140132209326832 140132718439042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18301] ppid=18290 vsize=10725652 memory=916 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18301/stat : 18301 (java) S 18290 18293 13514 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 106033671 10983067648 414698 33554432000 4194304 4196468 140734740454112 140132208273120 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18302] ppid=18290 vsize=10725652 memory=3852 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18302/stat : 18302 (java) S 18290 18293 13514 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 16 0 106033671 10983067648 414698 33554432000 4194304 4196468 140734740454112 140132207219968 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18303] ppid=18290 vsize=10725652 memory=2592 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18303/stat : 18303 (java) S 18290 18293 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106033674 10983067648 414698 33554432000 4194304 4196468 140734740454112 140132206168528 140132718446491 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18304] ppid=18290 vsize=10725652 memory=2724 CPUtime=1.53 cores=1,3,5,7
/proc/18293/task/18304/stat : 18304 (java) S 18290 18293 13514 0 -1 1077944384 7723 0 0 0 152 1 0 0 20 0 16 0 106033674 10983067648 414698 33554432000 4194304 4196468 140734740454112 140132205115632 140132718439042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18305] ppid=18290 vsize=10725652 memory=1256 CPUtime=1.48 cores=1,3,5,7
/proc/18293/task/18305/stat : 18305 (java) S 18290 18293 13514 0 -1 1077944384 7012 0 0 0 148 0 0 0 20 0 16 0 106033674 10983067648 414698 33554432000 4194304 4196468 140734740454112 140132204063088 140132718439042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18306] ppid=18290 vsize=10725652 memory=10368 CPUtime=0.4 cores=1,3,5,7
/proc/18293/task/18306/stat : 18306 (java) S 18290 18293 13514 0 -1 1077944384 3680 0 0 0 39 1 0 0 20 0 16 0 106033674 10983067648 414698 33554432000 4194304 4196468 140734740454112 140132203010032 140132718439042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18307] ppid=18290 vsize=10725652 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18307/stat : 18307 (java) S 18290 18293 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106033674 10983067648 414698 33554432000 4194304 4196468 140734740454112 140132201957728 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18308] ppid=18290 vsize=10725652 memory=1172 CPUtime=0.14 cores=1,3,5,7
/proc/18293/task/18308/stat : 18308 (java) S 18290 18293 13514 0 -1 1077944384 308 0 0 0 6 8 0 0 20 0 16 0 106033674 10983067648 414698 33554432000 4194304 4196468 140734740454112 140132200905776 140132718439042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18309] ppid=18290 vsize=10725652 memory=1812 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18309/stat : 18309 (java) S 18290 18293 13514 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 106034410 10983067648 414698 33554432000 4194304 4196468 140734740454112 140132199851568 140132718439042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 1658792 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+239.434 s]
# the end of solver process 18293 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.632 s, system=1.45144 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+239.401 s]
/proc/loadavg: 2.13 2.75 2.67 3/218 18399
/proc/meminfo: memFree=26361384/32770624 swapFree=67108860/67108860
[pid=18293] ppid=18290 vsize=10925344 memory=1659092 CPUtime=252.05 cores=1,3,5,7
/proc/18293/stat : 18293 (java) S 18290 18293 13514 0 -1 1077944320 56352 0 0 0 25062 143 0 0 20 0 17 0 106033668 11187552256 414773 33554432000 4194304 4196468 140734740454112 140734740436656 140132718427895 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
/proc/18293/statm: 2731336 414773 3177 1 0 2693827 0
[pid=18293/tid=18295] ppid=18290 vsize=10925344 memory=6791534058613427641 CPUtime=234.93 cores=1,3,5,7
/proc/18293/task/18295/stat : 18295 (java) S 18290 18293 13514 0 -1 1077944384 14765 0 0 0 23483 10 0 0 20 0 17 0 106033669 11187552256 414773 33554432000 4194304 4196468 140734740454112 140132722670768 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18296] ppid=18290 vsize=10925344 memory=756 CPUtime=3.11 cores=1,3,5,7
/proc/18293/task/18296/stat : 18296 (java) S 18290 18293 13514 0 -1 1077944384 3803 0 0 0 281 30 0 0 20 0 17 0 106033669 11187552256 414773 33554432000 4194304 4196468 140734740454112 140132644502032 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18297] ppid=18290 vsize=10925344 memory=14572 CPUtime=3.07 cores=1,3,5,7
/proc/18293/task/18297/stat : 18297 (java) S 18290 18293 13514 0 -1 1077944384 5887 0 0 0 276 31 0 0 20 0 17 0 106033669 11187552256 414773 33554432000 4194304 4196468 140734740454112 140132643449488 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18298] ppid=18290 vsize=10925344 memory=12708 CPUtime=3.11 cores=1,3,5,7
/proc/18293/task/18298/stat : 18298 (java) S 18290 18293 13514 0 -1 1077944384 4015 0 0 0 281 30 0 0 20 0 17 0 106033669 11187552256 414773 33554432000 4194304 4196468 140734740454112 140132642396432 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18299] ppid=18290 vsize=10925344 memory=16868 CPUtime=3.11 cores=1,3,5,7
/proc/18293/task/18299/stat : 18299 (java) S 18290 18293 13514 0 -1 1077944384 4581 0 0 0 281 30 0 0 20 0 17 0 106033669 11187552256 414773 33554432000 4194304 4196468 140734740454112 140132641343888 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18300] ppid=18290 vsize=10925344 memory=2324 CPUtime=1.07 cores=1,3,5,7
/proc/18293/task/18300/stat : 18300 (java) S 18290 18293 13514 0 -1 1077944384 2606 0 0 0 107 0 0 0 20 0 17 0 106033671 11187552256 414773 33554432000 4194304 4196468 140734740454112 140132209326832 140132718439042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18301] ppid=18290 vsize=10925344 memory=1584 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18301/stat : 18301 (java) S 18290 18293 13514 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 17 0 106033671 11187552256 414773 33554432000 4194304 4196468 140734740454112 140132208273120 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18302] ppid=18290 vsize=10925344 memory=756 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18302/stat : 18302 (java) S 18290 18293 13514 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 17 0 106033671 11187552256 414773 33554432000 4194304 4196468 140734740454112 140132207219968 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18303] ppid=18290 vsize=10925344 memory=14572 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18303/stat : 18303 (java) S 18290 18293 13514 0 -1 1077944384 179 0 0 0 0 0 0 0 20 0 17 0 106033674 11187552256 414773 33554432000 4194304 4196468 140734740454112 140132206168528 140132718446491 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18304] ppid=18290 vsize=10925344 memory=12708 CPUtime=1.53 cores=1,3,5,7
/proc/18293/task/18304/stat : 18304 (java) S 18290 18293 13514 0 -1 1077944384 7723 0 0 0 152 1 0 0 20 0 17 0 106033674 11187552256 414773 33554432000 4194304 4196468 140734740454112 140132205115632 140132718439042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18305] ppid=18290 vsize=10925344 memory=16868 CPUtime=1.48 cores=1,3,5,7
/proc/18293/task/18305/stat : 18305 (java) S 18290 18293 13514 0 -1 1077944384 7012 0 0 0 148 0 0 0 20 0 17 0 106033674 11187552256 414773 33554432000 4194304 4196468 140734740454112 140132204063088 140132718439042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18306] ppid=18290 vsize=10925344 memory=2324 CPUtime=0.4 cores=1,3,5,7
/proc/18293/task/18306/stat : 18306 (java) S 18290 18293 13514 0 -1 1077944384 3689 0 0 0 39 1 0 0 20 0 17 0 106033674 11187552256 414773 33554432000 4194304 4196468 140734740454112 140132203010032 140132718439042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18307] ppid=18290 vsize=10925344 memory=1584 CPUtime=0 cores=1,3,5,7
/proc/18293/task/18307/stat : 18307 (java) S 18290 18293 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106033674 11187552256 414773 33554432000 4194304 4196468 140734740454112 140132201957728 140132718438101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
[pid=18293/tid=18308] ppid=18290 vsize=10925344 memory=496 CPUtime=0.14 cores=1,3,5,7
/proc/18293/task/18308/stat : 18308 (java) S 18290 18293 13514 0 -1 1077944384 308 0 0 0 6 8 0 0 20 0 17 0 106033674 11187552256 414773 33554432000 4194304 4196468 140734740454112 140132200905776 140132718439042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38735872 140734740456566 140734740456718 140734740456718 140734740459471 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 10925344 KiB
Current children cumulated memory: 1659092 KiB
Child status: 143
Real time (s): 239.434
CPU time (s): 252.083
CPU user time (s): 250.632
CPU system time (s): 1.45144
CPU usage (%): 105.283
Max. virtual memory (cumulated for all children) (KiB): 10925344
Max. memory (cumulated for all children) (KiB): 1659092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.632
system time used= 1.45144
maximum resident set size= 1659300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56788
page faults= 0
swaps= 0
block input operations= 0
block output operations= 360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7666
involuntary context switches= 317
# summary of solver processes directly reported to runsolver:
# pid: 18293
# total CPU time (s): 252.083
# total CPU user time (s): 250.632
# total CPU system time (s): 1.45144
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.55686 second user time and 2.32116 second system time
The end