runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4097640-1466114008/watcher-4097640-1466114008 -o /tmp/evaluation-result-4097640-1466114008/solver-4097640-1466114008 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466112166-19500 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4097640-1466114008.opb
pid=22782
running on 8 cores: 4-7,12-15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.28 4.19 3.82 4/285 22785
/proc/meminfo: memFree=29197800/32872528 swapFree=7036/7036
[pid=22785] ppid=22782 vsize=8483292 CPUtime=0 cores=4-7,12-15
/proc/22785/stat : 22785 (java) S 22782 22785 19483 0 -1 4202496 2066 0 1 0 0 0 0 0 20 0 3 0 13445433 8686891008 2180 33554432000 1073741824 1073778376 140736537018320 140736537009456 216811995197 0 0 0 16784584 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/22785/statm: 2120823 2180 951 9 0 2111932 0
[pid=22785/tid=22786] ppid=22782 vsize=8748520 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22786/stat : 22786 (java) R 22782 22785 19483 0 -1 4202560 854 0 1 0 0 0 0 0 20 0 6 0 13445433 8958484480 2196 33554432000 1073741824 1073778376 140736537018320 140213874255704 216808678375 0 4 0 16784584 0 0 0 -1 7 0 0 0 0 0
[pid=22785/tid=22787] ppid=22782 vsize=8815084 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22787/stat : 22787 (java) S 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 7 0 13445434 9026646016 2200 33554432000 1073741824 1073778376 140736537018320 140213846707432 216812008508 0 4 0 16784584 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=22785/tid=22788] ppid=22782 vsize=8881648 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22788/stat : 22788 (java) S 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 13445434 9094807552 2205 33554432000 1073741824 1073778376 140736537018320 140213845654888 216812008508 0 4 0 16784584 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=22785/tid=22789] ppid=22782 vsize=8948212 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22789/stat : 22789 (java) S 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 9 0 13445434 9162969088 2211 33554432000 1073741824 1073778376 140736537018320 140213844601832 216812008508 0 4 0 16784584 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=22785/tid=22790] ppid=22782 vsize=8950268 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22790/stat : 22790 (java) S 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 13445434 9165074432 2217 33554432000 1073741824 1073778376 140736537018320 140213843549288 216812008508 0 4 0 16784584 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=22785/tid=22791] ppid=22782 vsize=8950268 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22791/stat : 22791 (java) S 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 13445434 9165074432 2218 33554432000 1073741824 1073778376 140736537018320 140213842496232 216812008508 0 4 0 16784584 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=22785/tid=22792] ppid=22782 vsize=8950268 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22792/stat : 22792 (java) S 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 13445434 9165074432 2221 33554432000 1073741824 1073778376 140736537018320 140213841443688 216812008508 0 4 0 16784584 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=22785/tid=22793] ppid=22782 vsize=8951296 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22793/stat : 22793 (java) S 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 12 0 13445434 9166127104 2223 33554432000 1073741824 1073778376 140736537018320 140213840390632 216812008508 0 4 0 16784584 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=22785/tid=22794] ppid=22782 vsize=8951296 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22794/stat : 22794 (java) R 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 12 0 13445434 9166127104 2226 33554432000 1073741824 1073778376 140736537018320 140213874255704 216808637824 0 4 0 16784584 0 0 0 -1 12 0 0 0 0 0
[pid=22785/tid=22795] ppid=22782 vsize=8952324 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22795/stat : 22795 (java) R 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 13 0 13445434 9167179776 2229 33554432000 1073741824 1073778376 140736537018320 140213874255704 216808637824 0 4 0 16784584 0 0 0 -1 13 0 0 0 0 0
[pid=22785/tid=22796] ppid=22782 vsize=8953352 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22796/stat : 22796 (java) R 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 14 0 13445434 9168232448 2235 33554432000 1073741824 1073778376 140736537018320 140213874255704 216808637824 0 4 0 16784584 0 0 0 -1 14 0 0 0 0 0
[pid=22785/tid=22797] ppid=22782 vsize=8954380 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22797/stat : 22797 (java) R 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 15 0 13445434 9169285120 2238 33554432000 1073741824 1073778376 140736537018320 140213874255704 216808637824 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0
[pid=22785/tid=22798] ppid=22782 vsize=8954380 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22798/stat : 22798 (java) R 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 15 0 13445434 9169285120 2238 33554432000 1073741824 1073778376 140736537018320 140213874255704 216808637824 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0
[pid=22785/tid=22799] ppid=22782 vsize=8954380 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22799/stat : 22799 (java) R 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 15 0 13445434 9169285120 2238 33554432000 1073741824 1073778376 140736537018320 140213874255704 216808637824 0 4 0 16784584 0 0 0 -1 6 0 0 0 0 0
[startup+0.100069 s]
/proc/loadavg: 4.28 4.19 3.82 4/285 22785
/proc/meminfo: memFree=29197800/32872528 swapFree=7036/7036
[pid=22785] ppid=22782 vsize=9896436 CPUtime=0.11 cores=4-7,12-15
/proc/22785/stat : 22785 (java) S 22782 22785 19483 0 -1 4202496 4538 0 1 0 10 1 0 0 20 0 23 0 13445433 10133950464 6154 33554432000 1073741824 1073778376 140736537018320 140736537009456 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/22785/statm: 2474109 6154 2156 9 0 2464786 0
[pid=22785/tid=22786] ppid=22782 vsize=9896436 CPUtime=0.08 cores=4-7,12-15
/proc/22785/task/22786/stat : 22786 (java) R 22782 22785 19483 0 -1 4202560 2424 0 1 0 8 0 0 0 20 0 23 0 13445433 10133950464 6154 33554432000 1073741824 1073778376 140736537018320 140213874252704 140213877056914 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=22785/tid=22787] ppid=22782 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22787/stat : 22787 (java) S 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 13445434 10133950464 6154 33554432000 1073741824 1073778376 140736537018320 140213846707112 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=22785/tid=22788] ppid=22782 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22788/stat : 22788 (java) S 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 13445434 10133950464 6154 33554432000 1073741824 1073778376 140736537018320 140213845654568 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22785/tid=22789] ppid=22782 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22789/stat : 22789 (java) S 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 13445434 10133950464 6154 33554432000 1073741824 1073778376 140736537018320 140213844601512 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22785/tid=22790] ppid=22782 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22790/stat : 22790 (java) S 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 13445434 10133950464 6154 33554432000 1073741824 1073778376 140736537018320 140213843548968 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22785/tid=22791] ppid=22782 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22791/stat : 22791 (java) S 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 13445434 10133950464 6154 33554432000 1073741824 1073778376 140736537018320 140213842495912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22785/tid=22792] ppid=22782 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22792/stat : 22792 (java) S 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 13445434 10133950464 6154 33554432000 1073741824 1073778376 140736537018320 140213841443368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22785/tid=22793] ppid=22782 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22793/stat : 22793 (java) S 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 13445434 10133950464 6154 33554432000 1073741824 1073778376 140736537018320 140213840390312 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22785/tid=22794] ppid=22782 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22794/stat : 22794 (java) S 22782 22785 19483 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 13445434 10133950464 6154 33554432000 1073741824 1073778376 140736537018320 140213839337768 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=22785/tid=22795] ppid=22782 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22795/stat : 22795 (java) S 22782 22785 19483 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 13445434 10133950464 6154 33554432000 1073741824 1073778376 140736537018320 140213709482920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=22785/tid=22796] ppid=22782 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22796/stat : 22796 (java) S 22782 22785 19483 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 13445434 10133950464 6155 33554432000 1073741824 1073778376 140736537018320 140213708430376 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=22785/tid=22797] ppid=22782 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22797/stat : 22797 (java) S 22782 22785 19483 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 13445434 10133950464 6155 33554432000 1073741824 1073778376 140736537018320 140213707377320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22785/tid=22798] ppid=22782 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22798/stat : 22798 (java) S 22782 22785 19483 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 13445434 10133950464 6155 33554432000 1073741824 1073778376 140736537018320 140213706324776 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22785/tid=22799] ppid=22782 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22799/stat : 22799 (java) S 22782 22785 19483 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 13445434 10133950464 6155 33554432000 1073741824 1073778376 140736537018320 140213705271720 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9896436
[startup+0.20132 s]
/proc/loadavg: 4.28 4.19 3.82 4/285 22785
/proc/meminfo: memFree=29197800/32872528 swapFree=7036/7036
[pid=22785] ppid=22782 vsize=9896436 CPUtime=0.28 cores=4-7,12-15
/proc/22785/stat : 22785 (java) S 22782 22785 19483 0 -1 4202496 5022 0 1 0 27 1 0 0 20 0 23 0 13445433 10133950464 7048 33554432000 1073741824 1073778376 140736537018320 140736537009456 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/22785/statm: 2474109 7048 2216 9 0 2464786 0
[pid=22785/tid=22786] ppid=22782 vsize=9896436 CPUtime=0.18 cores=4-7,12-15
/proc/22785/task/22786/stat : 22786 (java) R 22782 22785 19483 0 -1 4202560 2439 0 1 0 18 0 0 0 20 0 23 0 13445433 10133950464 7048 33554432000 1073741824 1073778376 140736537018320 140213874238144 140213881682032 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=22785/tid=22787] ppid=22782 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22787/stat : 22787 (java) S 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 13445434 10133950464 7048 33554432000 1073741824 1073778376 140736537018320 140213846707112 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=22785/tid=22788] ppid=22782 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22788/stat : 22788 (java) S 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 13445434 10133950464 7048 33554432000 1073741824 1073778376 140736537018320 140213845654568 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22785/tid=22789] ppid=22782 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22789/stat : 22789 (java) S 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 13445434 10133950464 7048 33554432000 1073741824 1073778376 140736537018320 140213844601512 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22785/tid=22790] ppid=22782 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22790/stat : 22790 (java) S 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 13445434 10133950464 7048 33554432000 1073741824 1073778376 140736537018320 140213843548968 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22785/tid=22791] ppid=22782 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22791/stat : 22791 (java) S 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 13445434 10133950464 7048 33554432000 1073741824 1073778376 140736537018320 140213842495912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22785/tid=22792] ppid=22782 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22792/stat : 22792 (java) S 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 13445434 10133950464 7048 33554432000 1073741824 1073778376 140736537018320 140213841443368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22785/tid=22793] ppid=22782 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22793/stat : 22793 (java) S 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 13445434 10133950464 7048 33554432000 1073741824 1073778376 140736537018320 140213840390312 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22785/tid=22794] ppid=22782 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22794/stat : 22794 (java) S 22782 22785 19483 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 13445434 10133950464 7048 33554432000 1073741824 1073778376 140736537018320 140213839337768 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=22785/tid=22795] ppid=22782 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22795/stat : 22795 (java) S 22782 22785 19483 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 13445434 10133950464 7048 33554432000 1073741824 1073778376 140736537018320 140213709482920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=22785/tid=22796] ppid=22782 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22796/stat : 22796 (java) S 22782 22785 19483 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 13445434 10133950464 7048 33554432000 1073741824 1073778376 140736537018320 140213708430376 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=22785/tid=22797] ppid=22782 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22797/stat : 22797 (java) S 22782 22785 19483 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 13445434 10133950464 7048 33554432000 1073741824 1073778376 140736537018320 140213707377320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22785/tid=22798] ppid=22782 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22798/stat : 22798 (java) S 22782 22785 19483 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 13445434 10133950464 7048 33554432000 1073741824 1073778376 140736537018320 140213706324776 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22785/tid=22799] ppid=22782 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22799/stat : 22799 (java) S 22782 22785 19483 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 13445434 10133950464 7048 33554432000 1073741824 1073778376 140736537018320 140213705271720 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9896436
[startup+0.300864 s]
/proc/loadavg: 4.28 4.19 3.82 4/285 22785
/proc/meminfo: memFree=29197800/32872528 swapFree=7036/7036
[pid=22785] ppid=22782 vsize=9896436 CPUtime=0.52 cores=4-7,12-15
/proc/22785/stat : 22785 (java) S 22782 22785 19483 0 -1 4202496 5973 0 1 0 50 2 0 0 20 0 23 0 13445433 10133950464 9584 33554432000 1073741824 1073778376 140736537018320 140736537009456 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/22785/statm: 2474109 9584 2234 9 0 2464786 0
[pid=22785/tid=22786] ppid=22782 vsize=9896436 CPUtime=0.27 cores=4-7,12-15
/proc/22785/task/22786/stat : 22786 (java) R 22782 22785 19483 0 -1 4202560 2443 0 1 0 26 1 0 0 20 0 23 0 13445433 10133950464 9584 33554432000 1073741824 1073778376 140736537018320 140213874238144 140213720678944 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=22785/tid=22787] ppid=22782 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22787/stat : 22787 (java) S 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 13445434 10133950464 9584 33554432000 1073741824 1073778376 140736537018320 140213846707112 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=22785/tid=22788] ppid=22782 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22788/stat : 22788 (java) S 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 13445434 10133950464 9584 33554432000 1073741824 1073778376 140736537018320 140213845654568 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22785/tid=22789] ppid=22782 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22789/stat : 22789 (java) S 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 13445434 10133950464 9584 33554432000 1073741824 1073778376 140736537018320 140213844601512 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22785/tid=22790] ppid=22782 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22790/stat : 22790 (java) S 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 13445434 10133950464 9584 33554432000 1073741824 1073778376 140736537018320 140213843548968 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22785/tid=22791] ppid=22782 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22791/stat : 22791 (java) S 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 13445434 10133950464 9584 33554432000 1073741824 1073778376 140736537018320 140213842495912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22785/tid=22792] ppid=22782 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22792/stat : 22792 (java) S 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 13445434 10133950464 9584 33554432000 1073741824 1073778376 140736537018320 140213841443368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22785/tid=22793] ppid=22782 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22793/stat : 22793 (java) S 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 23 0 13445434 10133950464 9584 33554432000 1073741824 1073778376 140736537018320 140213840390312 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22785/tid=22794] ppid=22782 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22794/stat : 22794 (java) S 22782 22785 19483 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 13445434 10133950464 9584 33554432000 1073741824 1073778376 140736537018320 140213839337768 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=22785/tid=22795] ppid=22782 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22795/stat : 22795 (java) S 22782 22785 19483 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 13445434 10133950464 9584 33554432000 1073741824 1073778376 140736537018320 140213709482920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=22785/tid=22796] ppid=22782 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22796/stat : 22796 (java) S 22782 22785 19483 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 13445434 10133950464 9584 33554432000 1073741824 1073778376 140736537018320 140213708430376 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=22785/tid=22797] ppid=22782 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22797/stat : 22797 (java) S 22782 22785 19483 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 13445434 10133950464 9584 33554432000 1073741824 1073778376 140736537018320 140213707377320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22785/tid=22798] ppid=22782 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22798/stat : 22798 (java) S 22782 22785 19483 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 13445434 10133950464 9584 33554432000 1073741824 1073778376 140736537018320 140213706324776 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22785/tid=22799] ppid=22782 vsize=9896436 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22799/stat : 22799 (java) S 22782 22785 19483 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 23 0 13445434 10133950464 9584 33554432000 1073741824 1073778376 140736537018320 140213705271720 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9896436
[startup+0.700978 s]
/proc/loadavg: 4.28 4.19 3.82 4/285 22785
/proc/meminfo: memFree=29197800/32872528 swapFree=7036/7036
[pid=22785] ppid=22782 vsize=10162692 CPUtime=2.04 cores=4-7,12-15
/proc/22785/stat : 22785 (java) S 22782 22785 19483 0 -1 4202496 12960 0 1 0 200 4 0 0 20 0 27 0 13445433 10406596608 17931 33554432000 1073741824 1073778376 140736537018320 140736537009456 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/22785/statm: 2540673 17931 2267 9 0 2531350 0
[pid=22785/tid=22786] ppid=22782 vsize=10162692 CPUtime=0.34 cores=4-7,12-15
/proc/22785/task/22786/stat : 22786 (java) S 22782 22785 19483 0 -1 4202560 2463 0 1 0 33 1 0 0 20 0 27 0 13445433 10406596608 17931 33554432000 1073741824 1073778376 140736537018320 140213874254712 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22785/tid=22787] ppid=22782 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22787/stat : 22787 (java) S 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 13445434 10406596608 17931 33554432000 1073741824 1073778376 140736537018320 140213846707112 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=22785/tid=22788] ppid=22782 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22788/stat : 22788 (java) S 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 13445434 10406596608 17931 33554432000 1073741824 1073778376 140736537018320 140213845654568 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22785/tid=22789] ppid=22782 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22789/stat : 22789 (java) S 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 13445434 10406596608 17931 33554432000 1073741824 1073778376 140736537018320 140213844601512 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22785/tid=22790] ppid=22782 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22790/stat : 22790 (java) S 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 13445434 10406596608 17931 33554432000 1073741824 1073778376 140736537018320 140213843548968 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22785/tid=22791] ppid=22782 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22791/stat : 22791 (java) S 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 13445434 10406596608 17931 33554432000 1073741824 1073778376 140736537018320 140213842495912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22785/tid=22792] ppid=22782 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22792/stat : 22792 (java) S 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 13445434 10406596608 17931 33554432000 1073741824 1073778376 140736537018320 140213841443368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22785/tid=22793] ppid=22782 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22793/stat : 22793 (java) S 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 13445434 10406596608 17931 33554432000 1073741824 1073778376 140736537018320 140213840390312 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22785/tid=22794] ppid=22782 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22794/stat : 22794 (java) S 22782 22785 19483 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 13445434 10406596608 17931 33554432000 1073741824 1073778376 140736537018320 140213839337768 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=22785/tid=22795] ppid=22782 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22795/stat : 22795 (java) S 22782 22785 19483 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 13445434 10406596608 17931 33554432000 1073741824 1073778376 140736537018320 140213709482920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=22785/tid=22796] ppid=22782 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22796/stat : 22796 (java) S 22782 22785 19483 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 13445434 10406596608 17931 33554432000 1073741824 1073778376 140736537018320 140213708430376 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=22785/tid=22797] ppid=22782 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22797/stat : 22797 (java) S 22782 22785 19483 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 13445434 10406596608 17931 33554432000 1073741824 1073778376 140736537018320 140213707377320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22785/tid=22798] ppid=22782 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22798/stat : 22798 (java) S 22782 22785 19483 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 13445434 10406596608 17931 33554432000 1073741824 1073778376 140736537018320 140213706324776 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
################
# More data... #
################
/proc/22785/task/22805/stat : 22805 (java) S 22782 22785 19483 0 -1 4202560 11816 0 0 0 127 2 0 0 20 0 27 0 13445438 10406596608 602615 33554432000 1073741824 1073778376 140736537018320 140212810632120 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22785/tid=22806] ppid=22782 vsize=10162692 CPUtime=1.43 cores=4-7,12-15
/proc/22785/task/22806/stat : 22806 (java) S 22782 22785 19483 0 -1 4202560 7073 0 0 0 142 1 0 0 20 0 27 0 13445438 10406596608 602615 33554432000 1073741824 1073778376 140736537018320 140212809579064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22785/tid=22807] ppid=22782 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22807/stat : 22807 (java) S 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 13445438 10406596608 602615 33554432000 1073741824 1073778376 140736537018320 140212808526712 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=22785/tid=22808] ppid=22782 vsize=10162692 CPUtime=0.35 cores=4-7,12-15
/proc/22785/task/22808/stat : 22808 (java) S 22782 22785 19483 0 -1 4202560 45 0 0 0 14 21 0 0 20 0 27 0 13445438 10406596608 602615 33554432000 1073741824 1073778376 140736537018320 140212807473864 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=22785/tid=22809] ppid=22782 vsize=10162692 CPUtime=753.62 cores=4-7,12-15
/proc/22785/task/22809/stat : 22809 (java) R 22782 22785 19483 0 -1 4202560 190 0 0 0 75349 13 0 0 20 0 27 0 13445470 10406596608 602615 33554432000 1073741824 1073778376 140736537018320 140212806417288 140213721316668 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0
[pid=22785/tid=22810] ppid=22782 vsize=10162692 CPUtime=753.7 cores=4-7,12-15
/proc/22785/task/22810/stat : 22810 (java) R 22782 22785 19483 0 -1 4202560 1599 0 0 0 75328 42 0 0 20 0 27 0 13445470 10406596608 602615 33554432000 1073741824 1073778376 140736537018320 140212805364984 140213721295231 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22785/tid=22811] ppid=22782 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22811/stat : 22811 (java) S 22782 22785 19483 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 13445470 10406596608 602615 33554432000 1073741824 1073778376 140736537018320 140212804314024 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22785/tid=22812] ppid=22782 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22812/stat : 22812 (java) S 22782 22785 19483 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 13445470 10406596608 602615 33554432000 1073741824 1073778376 140736537018320 140212803261992 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1556.25
Current children cumulated vsize (KiB) 10162692
[startup+822.301 s]
/proc/loadavg: 4.00 4.08 3.95 5/311 22853
/proc/meminfo: memFree=26967080/32872528 swapFree=7036/7036
[pid=22785] ppid=22782 vsize=10162692 CPUtime=1678.81 cores=4-7,12-15
/proc/22785/stat : 22785 (java) S 22782 22785 19483 0 -1 4202496 31169 0 1 0 167642 239 0 0 20 0 27 0 13445433 10406596608 606827 33554432000 1073741824 1073778376 140736537018320 140736537009456 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/22785/statm: 2540673 606827 2293 9 0 2531350 0
[pid=22785/tid=22786] ppid=22782 vsize=10162692 CPUtime=0.39 cores=4-7,12-15
/proc/22785/task/22786/stat : 22786 (java) S 22782 22785 19483 0 -1 4202560 2471 0 1 0 36 3 0 0 20 0 27 0 13445433 10406596608 606827 33554432000 1073741824 1073778376 140736537018320 140213874254712 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=22785/tid=22787] ppid=22782 vsize=10162692 CPUtime=3.41 cores=4-7,12-15
/proc/22785/task/22787/stat : 22787 (java) S 22782 22785 19483 0 -1 4202560 441 0 0 0 327 14 0 0 20 0 27 0 13445434 10406596608 606827 33554432000 1073741824 1073778376 140736537018320 140213846707112 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=22785/tid=22788] ppid=22782 vsize=10162692 CPUtime=3.41 cores=4-7,12-15
/proc/22785/task/22788/stat : 22788 (java) S 22782 22785 19483 0 -1 4202560 428 0 0 0 329 12 0 0 20 0 27 0 13445434 10406596608 606827 33554432000 1073741824 1073778376 140736537018320 140213845654568 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22785/tid=22789] ppid=22782 vsize=10162692 CPUtime=3.19 cores=4-7,12-15
/proc/22785/task/22789/stat : 22789 (java) S 22782 22785 19483 0 -1 4202560 372 0 0 0 307 12 0 0 20 0 27 0 13445434 10406596608 606827 33554432000 1073741824 1073778376 140736537018320 140213844601512 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22785/tid=22790] ppid=22782 vsize=10162692 CPUtime=3.53 cores=4-7,12-15
/proc/22785/task/22790/stat : 22790 (java) S 22782 22785 19483 0 -1 4202560 428 0 0 0 340 13 0 0 20 0 27 0 13445434 10406596608 606827 33554432000 1073741824 1073778376 140736537018320 140213843548968 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22785/tid=22791] ppid=22782 vsize=10162692 CPUtime=3.24 cores=4-7,12-15
/proc/22785/task/22791/stat : 22791 (java) S 22782 22785 19483 0 -1 4202560 373 0 0 0 312 12 0 0 20 0 27 0 13445434 10406596608 606827 33554432000 1073741824 1073778376 140736537018320 140213842495912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22785/tid=22792] ppid=22782 vsize=10162692 CPUtime=3.55 cores=4-7,12-15
/proc/22785/task/22792/stat : 22792 (java) S 22782 22785 19483 0 -1 4202560 391 0 0 0 341 14 0 0 20 0 27 0 13445434 10406596608 606827 33554432000 1073741824 1073778376 140736537018320 140213841443368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=22785/tid=22793] ppid=22782 vsize=10162692 CPUtime=3.34 cores=4-7,12-15
/proc/22785/task/22793/stat : 22793 (java) S 22782 22785 19483 0 -1 4202560 429 0 0 0 320 14 0 0 20 0 27 0 13445434 10406596608 606827 33554432000 1073741824 1073778376 140736537018320 140213840390312 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=22785/tid=22794] ppid=22782 vsize=10162692 CPUtime=3.55 cores=4-7,12-15
/proc/22785/task/22794/stat : 22794 (java) S 22782 22785 19483 0 -1 4202560 413 0 0 0 341 14 0 0 20 0 27 0 13445434 10406596608 606827 33554432000 1073741824 1073778376 140736537018320 140213839337768 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22785/tid=22795] ppid=22782 vsize=10162692 CPUtime=3.43 cores=4-7,12-15
/proc/22785/task/22795/stat : 22795 (java) S 22782 22785 19483 0 -1 4202560 432 0 0 0 333 10 0 0 20 0 27 0 13445434 10406596608 606827 33554432000 1073741824 1073778376 140736537018320 140213709482920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=22785/tid=22796] ppid=22782 vsize=10162692 CPUtime=3.29 cores=4-7,12-15
/proc/22785/task/22796/stat : 22796 (java) S 22782 22785 19483 0 -1 4202560 416 0 0 0 317 12 0 0 20 0 27 0 13445434 10406596608 606827 33554432000 1073741824 1073778376 140736537018320 140213708430376 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=22785/tid=22797] ppid=22782 vsize=10162692 CPUtime=3.59 cores=4-7,12-15
/proc/22785/task/22797/stat : 22797 (java) S 22782 22785 19483 0 -1 4202560 396 0 0 0 348 11 0 0 20 0 27 0 13445434 10406596608 606827 33554432000 1073741824 1073778376 140736537018320 140213707377320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=22785/tid=22798] ppid=22782 vsize=10162692 CPUtime=3.48 cores=4-7,12-15
/proc/22785/task/22798/stat : 22798 (java) S 22782 22785 19483 0 -1 4202560 414 0 0 0 335 13 0 0 20 0 27 0 13445434 10406596608 606827 33554432000 1073741824 1073778376 140736537018320 140213706324776 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22785/tid=22799] ppid=22782 vsize=10162692 CPUtime=3.58 cores=4-7,12-15
/proc/22785/task/22799/stat : 22799 (java) S 22782 22785 19483 0 -1 4202560 434 0 0 0 346 12 0 0 20 0 27 0 13445434 10406596608 606827 33554432000 1073741824 1073778376 140736537018320 140213705271720 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=22785/tid=22801] ppid=22782 vsize=10162692 CPUtime=0.15 cores=4-7,12-15
/proc/22785/task/22801/stat : 22801 (java) S 22782 22785 19483 0 -1 4202560 1308 0 0 0 7 8 0 0 20 0 27 0 13445435 10406596608 606827 33554432000 1073741824 1073778376 140736537018320 140212814842344 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=22785/tid=22802] ppid=22782 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22802/stat : 22802 (java) S 22782 22785 19483 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 13445436 10406596608 606827 33554432000 1073741824 1073778376 140736537018320 140212813788152 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=22785/tid=22803] ppid=22782 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22803/stat : 22803 (java) S 22782 22785 19483 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 13445436 10406596608 606827 33554432000 1073741824 1073778376 140736537018320 140212812735496 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=22785/tid=22804] ppid=22782 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22804/stat : 22804 (java) S 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 13445438 10406596608 606827 33554432000 1073741824 1073778376 140736537018320 140212811684752 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=22785/tid=22805] ppid=22782 vsize=10162692 CPUtime=1.29 cores=4-7,12-15
/proc/22785/task/22805/stat : 22805 (java) S 22782 22785 19483 0 -1 4202560 11816 0 0 0 127 2 0 0 20 0 27 0 13445438 10406596608 606827 33554432000 1073741824 1073778376 140736537018320 140212810632120 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22785/tid=22806] ppid=22782 vsize=10162692 CPUtime=1.43 cores=4-7,12-15
/proc/22785/task/22806/stat : 22806 (java) S 22782 22785 19483 0 -1 4202560 7073 0 0 0 142 1 0 0 20 0 27 0 13445438 10406596608 606827 33554432000 1073741824 1073778376 140736537018320 140212809579064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22785/tid=22807] ppid=22782 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22807/stat : 22807 (java) S 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 13445438 10406596608 606827 33554432000 1073741824 1073778376 140736537018320 140212808526712 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=22785/tid=22808] ppid=22782 vsize=10162692 CPUtime=0.38 cores=4-7,12-15
/proc/22785/task/22808/stat : 22808 (java) S 22782 22785 19483 0 -1 4202560 47 0 0 0 15 23 0 0 20 0 27 0 13445438 10406596608 606827 33554432000 1073741824 1073778376 140736537018320 140212807473864 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=22785/tid=22809] ppid=22782 vsize=10162692 CPUtime=812.91 cores=4-7,12-15
/proc/22785/task/22809/stat : 22809 (java) R 22782 22785 19483 0 -1 4202560 202 0 0 0 81277 14 0 0 20 0 27 0 13445470 10406596608 606827 33554432000 1073741824 1073778376 140736537018320 140212806417920 140213721111218 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0
[pid=22785/tid=22810] ppid=22782 vsize=10162692 CPUtime=812.99 cores=4-7,12-15
/proc/22785/task/22810/stat : 22810 (java) R 22782 22785 19483 0 -1 4202560 1620 0 0 0 81256 43 0 0 20 0 27 0 13445470 10406596608 606827 33554432000 1073741824 1073778376 140736537018320 140212805364112 140213721111218 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22785/tid=22811] ppid=22782 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22811/stat : 22811 (java) S 22782 22785 19483 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 13445470 10406596608 606827 33554432000 1073741824 1073778376 140736537018320 140212804314024 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22785/tid=22812] ppid=22782 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22812/stat : 22812 (java) S 22782 22785 19483 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 13445470 10406596608 606827 33554432000 1073741824 1073778376 140736537018320 140212803261992 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1678.81
Current children cumulated vsize (KiB) 10162692
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+881.601 s]
/proc/loadavg: 5.40 4.40 4.06 5/311 23000
/proc/meminfo: memFree=26552564/32872528 swapFree=7036/7036
[pid=22785] ppid=22782 vsize=10162692 CPUtime=1800 cores=4-7,12-15
/proc/22785/stat : 22785 (java) S 22782 22785 19483 0 -1 4202496 31276 0 1 0 179754 246 0 0 20 0 27 0 13445433 10406596608 610160 33554432000 1073741824 1073778376 140736537018320 140736537009456 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0
/proc/22785/statm: 2540673 610160 2293 9 0 2531350 0
[pid=22785/tid=22786] ppid=22782 vsize=10162692 CPUtime=0.39 cores=4-7,12-15
/proc/22785/task/22786/stat : 22786 (java) S 22782 22785 19483 0 -1 4202560 2471 0 1 0 36 3 0 0 20 0 27 0 13445433 10406596608 610160 33554432000 1073741824 1073778376 140736537018320 140213874254712 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=22785/tid=22787] ppid=22782 vsize=10162692 CPUtime=3.69 cores=4-7,12-15
/proc/22785/task/22787/stat : 22787 (java) S 22782 22785 19483 0 -1 4202560 449 0 0 0 355 14 0 0 20 0 27 0 13445434 10406596608 610160 33554432000 1073741824 1073778376 140736537018320 140213846707112 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=22785/tid=22788] ppid=22782 vsize=10162692 CPUtime=3.63 cores=4-7,12-15
/proc/22785/task/22788/stat : 22788 (java) S 22782 22785 19483 0 -1 4202560 430 0 0 0 350 13 0 0 20 0 27 0 13445434 10406596608 610160 33554432000 1073741824 1073778376 140736537018320 140213845654568 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22785/tid=22789] ppid=22782 vsize=10162692 CPUtime=3.47 cores=4-7,12-15
/proc/22785/task/22789/stat : 22789 (java) S 22782 22785 19483 0 -1 4202560 377 0 0 0 334 13 0 0 20 0 27 0 13445434 10406596608 610160 33554432000 1073741824 1073778376 140736537018320 140213844601512 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=22785/tid=22790] ppid=22782 vsize=10162692 CPUtime=3.82 cores=4-7,12-15
/proc/22785/task/22790/stat : 22790 (java) S 22782 22785 19483 0 -1 4202560 433 0 0 0 368 14 0 0 20 0 27 0 13445434 10406596608 610160 33554432000 1073741824 1073778376 140736537018320 140213843548968 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22785/tid=22791] ppid=22782 vsize=10162692 CPUtime=3.5 cores=4-7,12-15
/proc/22785/task/22791/stat : 22791 (java) S 22782 22785 19483 0 -1 4202560 376 0 0 0 338 12 0 0 20 0 27 0 13445434 10406596608 610160 33554432000 1073741824 1073778376 140736537018320 140213842495912 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=22785/tid=22792] ppid=22782 vsize=10162692 CPUtime=3.86 cores=4-7,12-15
/proc/22785/task/22792/stat : 22792 (java) S 22782 22785 19483 0 -1 4202560 397 0 0 0 371 15 0 0 20 0 27 0 13445434 10406596608 610160 33554432000 1073741824 1073778376 140736537018320 140213841443368 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=22785/tid=22793] ppid=22782 vsize=10162692 CPUtime=3.58 cores=4-7,12-15
/proc/22785/task/22793/stat : 22793 (java) S 22782 22785 19483 0 -1 4202560 435 0 0 0 343 15 0 0 20 0 27 0 13445434 10406596608 610160 33554432000 1073741824 1073778376 140736537018320 140213840390312 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=22785/tid=22794] ppid=22782 vsize=10162692 CPUtime=3.85 cores=4-7,12-15
/proc/22785/task/22794/stat : 22794 (java) S 22782 22785 19483 0 -1 4202560 419 0 0 0 370 15 0 0 20 0 27 0 13445434 10406596608 610160 33554432000 1073741824 1073778376 140736537018320 140213839337768 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22785/tid=22795] ppid=22782 vsize=10162692 CPUtime=3.67 cores=4-7,12-15
/proc/22785/task/22795/stat : 22795 (java) S 22782 22785 19483 0 -1 4202560 434 0 0 0 357 10 0 0 20 0 27 0 13445434 10406596608 610160 33554432000 1073741824 1073778376 140736537018320 140213709482920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22785/tid=22796] ppid=22782 vsize=10162692 CPUtime=3.59 cores=4-7,12-15
/proc/22785/task/22796/stat : 22796 (java) S 22782 22785 19483 0 -1 4202560 422 0 0 0 347 12 0 0 20 0 27 0 13445434 10406596608 610160 33554432000 1073741824 1073778376 140736537018320 140213708430376 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22785/tid=22797] ppid=22782 vsize=10162692 CPUtime=3.9 cores=4-7,12-15
/proc/22785/task/22797/stat : 22797 (java) S 22782 22785 19483 0 -1 4202560 403 0 0 0 378 12 0 0 20 0 27 0 13445434 10406596608 610160 33554432000 1073741824 1073778376 140736537018320 140213707377320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22785/tid=22798] ppid=22782 vsize=10162692 CPUtime=3.78 cores=4-7,12-15
/proc/22785/task/22798/stat : 22798 (java) S 22782 22785 19483 0 -1 4202560 417 0 0 0 364 14 0 0 20 0 27 0 13445434 10406596608 610160 33554432000 1073741824 1073778376 140736537018320 140213706324776 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=22785/tid=22799] ppid=22782 vsize=10162692 CPUtime=3.87 cores=4-7,12-15
/proc/22785/task/22799/stat : 22799 (java) S 22782 22785 19483 0 -1 4202560 435 0 0 0 375 12 0 0 20 0 27 0 13445434 10406596608 610160 33554432000 1073741824 1073778376 140736537018320 140213705271720 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=22785/tid=22801] ppid=22782 vsize=10162692 CPUtime=0.16 cores=4-7,12-15
/proc/22785/task/22801/stat : 22801 (java) S 22782 22785 19483 0 -1 4202560 1312 0 0 0 7 9 0 0 20 0 27 0 13445435 10406596608 610160 33554432000 1073741824 1073778376 140736537018320 140212814842344 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=22785/tid=22802] ppid=22782 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22802/stat : 22802 (java) S 22782 22785 19483 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 13445436 10406596608 610160 33554432000 1073741824 1073778376 140736537018320 140212813788152 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=22785/tid=22803] ppid=22782 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22803/stat : 22803 (java) S 22782 22785 19483 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 13445436 10406596608 610160 33554432000 1073741824 1073778376 140736537018320 140212812735496 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=22785/tid=22804] ppid=22782 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22804/stat : 22804 (java) S 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 13445438 10406596608 610160 33554432000 1073741824 1073778376 140736537018320 140212811684752 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=22785/tid=22805] ppid=22782 vsize=10162692 CPUtime=1.29 cores=4-7,12-15
/proc/22785/task/22805/stat : 22805 (java) S 22782 22785 19483 0 -1 4202560 11816 0 0 0 127 2 0 0 20 0 27 0 13445438 10406596608 610160 33554432000 1073741824 1073778376 140736537018320 140212810632120 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22785/tid=22806] ppid=22782 vsize=10162692 CPUtime=1.43 cores=4-7,12-15
/proc/22785/task/22806/stat : 22806 (java) S 22782 22785 19483 0 -1 4202560 7073 0 0 0 142 1 0 0 20 0 27 0 13445438 10406596608 610160 33554432000 1073741824 1073778376 140736537018320 140212809579064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22785/tid=22807] ppid=22782 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22807/stat : 22807 (java) S 22782 22785 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 13445438 10406596608 610160 33554432000 1073741824 1073778376 140736537018320 140212808526712 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=22785/tid=22808] ppid=22782 vsize=10162692 CPUtime=0.41 cores=4-7,12-15
/proc/22785/task/22808/stat : 22808 (java) S 22782 22785 19483 0 -1 4202560 51 0 0 0 16 25 0 0 20 0 27 0 13445438 10406596608 610160 33554432000 1073741824 1073778376 140736537018320 140212807473864 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22785/tid=22809] ppid=22782 vsize=10162692 CPUtime=871.52 cores=4-7,12-15
/proc/22785/task/22809/stat : 22809 (java) R 22782 22785 19483 0 -1 4202560 216 0 0 0 87137 15 0 0 20 0 27 0 13445470 10406596608 610160 33554432000 1073741824 1073778376 140736537018320 140212806417936 140213721111218 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22785/tid=22810] ppid=22782 vsize=10162692 CPUtime=871.6 cores=4-7,12-15
/proc/22785/task/22810/stat : 22810 (java) R 22782 22785 19483 0 -1 4202560 1645 0 0 0 87116 44 0 0 20 0 27 0 13445470 10406596608 610160 33554432000 1073741824 1073778376 140736537018320 140212805363904 140213721005095 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22785/tid=22811] ppid=22782 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22811/stat : 22811 (java) S 22782 22785 19483 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 13445470 10406596608 610160 33554432000 1073741824 1073778376 140736537018320 140212804314024 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22785/tid=22812] ppid=22782 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22785/task/22812/stat : 22812 (java) S 22782 22785 19483 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 13445470 10406596608 610160 33554432000 1073741824 1073778376 140736537018320 140212803261992 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 10162692
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 22785 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22785 and gives
# childrusage.ru_utime.tv_sec=1792
# childrusage.ru_utime.tv_usec=598483
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=922555
# CPU time returned by wait4() is 1795.52
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 881.663
CPU time (s): 1800
CPU user time (s): 1797.54
CPU system time (s): 2.46
CPU usage (%): 204.16
Max. virtual memory (cumulated for all children) (KiB): 10163052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.6
system time used= 2.92256
maximum resident set size= 2442112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31310
page faults= 1
swaps= 0
block input operations= 0
block output operations= 912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44711
involuntary context switches= 52195
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.84296 second user time and 10.7394 second system time
The end