runsolver version 3.4.2 (svn: 4680) 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: 63837 MiB (63237 MiB free)
memory of node 1: 64465 MiB (63804 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515175-1751232781/watcher-4515175-1751232781 -o /tmp/evaluation-result-4515175-1751232781/solver-4515175-1751232781 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751232781-31327 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4515175-1751232781 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4515175-1751232781.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=31379, runsolver pid=31370
[startup+0.100074 s]*
/proc/loadavg: 1.11 1.70 2.54 9/316 31449
/proc/meminfo: memFree=130034460/131382120 swapFree=33010684/33010684
[pid=31379] ppid=31370 vsize=18930384 memory=47432 CPUtime=0.11 cores=5,7
/proc/31379/stat : 31379 (java) S 31370 31379 28556 0 -1 4194304 5686 0 0 0 7 4 0 0 20 0 18 0 38957278 19384713216 11858 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
/proc/31379/statm: 4732596 11858 5143 1 0 546923 0
[pid=31379/tid=31396] ppid=31370 vsize=18930384 memory=4026532124 CPUtime=0.07 cores=5,7
/proc/31379/task/31396/stat : 31396 (java) R 31370 31379 28556 0 -1 4194368 4594 0 0 0 4 3 0 0 20 0 18 0 38957280 19384713216 11890 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31433] ppid=31370 vsize=18930384 memory=15877 CPUtime=0 cores=5,7
/proc/31379/task/31433/stat : 31433 (Finalizer) S 31370 31379 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38957285 19384713216 11986 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31442] ppid=31370 vsize=18930384 memory=58494082614266 CPUtime=0 cores=5,7
/proc/31379/task/31442/stat : 31442 (Common-Cleaner) S 31370 31379 28556 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 38957286 19384713216 11986 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 47432 KiB
[startup+0.214843 s]*
/proc/loadavg: 1.82 1.84 2.58 8/318 31451
/proc/meminfo: memFree=130032220/131382120 swapFree=33010684/33010684
[pid=31379] ppid=31370 vsize=18930384 memory=52236 CPUtime=0.28 cores=5,7
/proc/31379/stat : 31379 (java) S 31370 31379 28556 0 -1 4194304 6182 0 0 0 24 4 0 0 20 0 18 0 38957278 19384713216 13059 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
/proc/31379/statm: 4732596 13059 5367 1 0 547294 0
[pid=31379/tid=31396] ppid=31370 vsize=18930384 memory=4026597660 CPUtime=0.18 cores=5,7
/proc/31379/task/31396/stat : 31396 (java) R 31370 31379 28556 0 -1 4194368 4974 0 0 0 15 3 0 0 20 0 18 0 38957280 19384713216 13059 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31433] ppid=31370 vsize=18930384 memory=15877 CPUtime=0 cores=5,7
/proc/31379/task/31433/stat : 31433 (Finalizer) S 31370 31379 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38957285 19384713216 13059 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31442] ppid=31370 vsize=18930384 memory=58494082614266 CPUtime=0 cores=5,7
/proc/31379/task/31442/stat : 31442 (Common-Cleaner) S 31370 31379 28556 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 38957286 19384713216 13059 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 52236 KiB
[startup+0.317192 s]*
/proc/loadavg: 1.82 1.84 2.58 10/318 31451
/proc/meminfo: memFree=130017004/131382120 swapFree=33010684/33010684
[pid=31379] ppid=31370 vsize=18930384 memory=58320 CPUtime=0.44 cores=5,7
/proc/31379/stat : 31379 (java) S 31370 31379 28556 0 -1 4194304 6696 0 0 0 39 5 0 0 20 0 18 0 38957278 19384713216 14580 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
/proc/31379/statm: 4732596 14580 5367 1 0 547739 0
[pid=31379/tid=31396] ppid=31370 vsize=18930384 memory=-6000919481263025004 CPUtime=0.26 cores=5,7
/proc/31379/task/31396/stat : 31396 (java) R 31370 31379 28556 0 -1 4194368 5153 0 0 0 23 3 0 0 20 0 18 0 38957280 19384713216 14580 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31433] ppid=31370 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/31379/task/31433/stat : 31433 (Finalizer) S 31370 31379 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38957285 19384713216 14580 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31442] ppid=31370 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/31379/task/31442/stat : 31442 (Common-Cleaner) S 31370 31379 28556 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 38957286 19384713216 14580 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58320 KiB
[startup+0.700399 s]
/proc/loadavg: 1.82 1.84 2.58 10/318 31451
/proc/meminfo: memFree=129992492/131382120 swapFree=33010684/33010684
[pid=31379] ppid=31370 vsize=18930384 memory=90952 CPUtime=1.14 cores=5,7
/proc/31379/stat : 31379 (java) S 31370 31379 28556 0 -1 4194304 8672 0 0 0 106 8 0 0 20 0 18 0 38957278 19384713216 22738 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
/proc/31379/statm: 4732596 22738 5431 1 0 549020 0
[pid=31379/tid=31396] ppid=31370 vsize=18930384 memory=17152 CPUtime=0.55 cores=5,7
/proc/31379/task/31396/stat : 31396 (java) R 31370 31379 28556 0 -1 4194368 5293 0 0 0 50 5 0 0 20 0 18 0 38957280 19384713216 22738 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31433] ppid=31370 vsize=18930384 memory=10496 CPUtime=0 cores=5,7
/proc/31379/task/31433/stat : 31433 (Finalizer) S 31370 31379 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38957285 19384713216 22738 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31442] ppid=31370 vsize=18930384 memory=3200 CPUtime=0 cores=5,7
/proc/31379/task/31442/stat : 31442 (Common-Cleaner) S 31370 31379 28556 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 38957286 19384713216 22738 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 90952 KiB
[startup+1.50026 s]
/proc/loadavg: 1.82 1.84 2.58 9/322 31455
/proc/meminfo: memFree=129737788/131382120 swapFree=33010684/33010684
[pid=31379] ppid=31370 vsize=19063512 memory=174608 CPUtime=2.7 cores=5,7
/proc/31379/stat : 31379 (java) S 31370 31379 28556 0 -1 4194304 13491 0 1 0 258 12 0 0 20 0 20 0 38957278 19521036288 43652 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
/proc/31379/statm: 4765878 43652 5463 1 0 550583 0
[pid=31379/tid=31396] ppid=31370 vsize=19063512 memory=3200 CPUtime=1.19 cores=5,7
/proc/31379/task/31396/stat : 31396 (java) R 31370 31379 28556 0 -1 4194368 5878 0 0 0 111 8 0 0 20 0 20 0 38957280 19521036288 43652 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31433] ppid=31370 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/31379/task/31433/stat : 31433 (Finalizer) S 31370 31379 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38957285 19521036288 43652 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31442] ppid=31370 vsize=19063512 memory=10496 CPUtime=0 cores=5,7
/proc/31379/task/31442/stat : 31442 (Common-Cleaner) S 31370 31379 28556 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 38957286 19521036288 43652 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31454] ppid=31370 vsize=19063512 memory=16352 CPUtime=0 cores=5,7
/proc/31379/task/31454/stat : 31454 (Timer-0) S 31370 31379 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38957373 19521036288 43652 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 174608 KiB
[startup+3.10534 s]
/proc/loadavg: 1.82 1.84 2.58 6/326 31459
/proc/meminfo: memFree=128498180/131382120 swapFree=33010684/33010684
[pid=31379] ppid=31370 vsize=19063512 memory=426844 CPUtime=5.69 cores=5,7
/proc/31379/stat : 31379 (java) S 31370 31379 28556 0 -1 4194304 16652 0 1 0 550 19 0 0 20 0 20 0 38957278 19521036288 106711 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
/proc/31379/statm: 4765878 106711 5463 1 0 891675 0
[pid=31379/tid=31396] ppid=31370 vsize=19063512 memory=10496 CPUtime=2.61 cores=5,7
/proc/31379/task/31396/stat : 31396 (java) R 31370 31379 28556 0 -1 4194368 6411 0 0 0 249 12 0 0 20 0 20 0 38957280 19521036288 106711 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31433] ppid=31370 vsize=19063512 memory=16352 CPUtime=0 cores=5,7
/proc/31379/task/31433/stat : 31433 (Finalizer) S 31370 31379 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38957285 19521036288 106711 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31442] ppid=31370 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/31379/task/31442/stat : 31442 (Common-Cleaner) S 31370 31379 28556 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 38957286 19521036288 106711 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31454] ppid=31370 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/31379/task/31454/stat : 31454 (Timer-0) S 31370 31379 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38957373 19521036288 106711 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
Current children cumulated CPU time: 5.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 426844 KiB
[startup+6.30041 s]
/proc/loadavg: 2.16 1.90 2.60 5/326 31459
/proc/meminfo: memFree=125888408/131382120 swapFree=33010684/33010684
[pid=31379] ppid=31370 vsize=19063512 memory=1328580 CPUtime=9.21 cores=5,7
/proc/31379/stat : 31379 (java) S 31370 31379 28556 0 -1 4194304 19017 0 1 0 876 45 0 0 20 0 20 0 38957278 19521036288 332145 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
/proc/31379/statm: 4765878 332145 5463 1 0 2040575 0
[pid=31379/tid=31396] ppid=31370 vsize=19063512 memory=0 CPUtime=5.3 cores=5,7
/proc/31379/task/31396/stat : 31396 (java) S 31370 31379 28556 0 -1 4194368 6807 0 0 0 499 31 0 0 20 0 20 0 38957280 19521036288 332145 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31433] ppid=31370 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/31379/task/31433/stat : 31433 (Finalizer) S 31370 31379 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38957285 19521036288 332145 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31442] ppid=31370 vsize=19063512 memory=10496 CPUtime=0 cores=5,7
/proc/31379/task/31442/stat : 31442 (Common-Cleaner) S 31370 31379 28556 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 38957286 19521036288 332145 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31454] ppid=31370 vsize=19063512 memory=174608 CPUtime=0 cores=5,7
/proc/31379/task/31454/stat : 31454 (Timer-0) S 31370 31379 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38957373 19521036288 332145 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
Current children cumulated CPU time: 9.21 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1328580 KiB
[startup+12.7005 s]
/proc/loadavg: 2.39 1.96 2.61 5/328 31461
/proc/meminfo: memFree=121895824/131382120 swapFree=33010684/33010684
[pid=31379] ppid=31370 vsize=19063512 memory=2614604 CPUtime=16.2 cores=5,7
/proc/31379/stat : 31379 (java) S 31370 31379 28556 0 -1 4194304 20668 0 1 0 1540 80 0 0 20 0 20 0 38957278 19521036288 653651 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
/proc/31379/statm: 4765878 653651 5463 1 0 2450003 0
[pid=31379/tid=31396] ppid=31370 vsize=19063512 memory=174608 CPUtime=10.9 cores=5,7
/proc/31379/task/31396/stat : 31396 (java) R 31370 31379 28556 0 -1 4194368 7189 0 0 0 1036 54 0 0 20 0 20 0 38957280 19521036288 653651 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31433] ppid=31370 vsize=19063512 memory=2614604 CPUtime=0 cores=5,7
/proc/31379/task/31433/stat : 31433 (Finalizer) S 31370 31379 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38957285 19521036288 653651 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31442] ppid=31370 vsize=19063512 memory=16352 CPUtime=0 cores=5,7
/proc/31379/task/31442/stat : 31442 (Common-Cleaner) S 31370 31379 28556 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 38957286 19521036288 653651 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31454] ppid=31370 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/31379/task/31454/stat : 31454 (Timer-0) S 31370 31379 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38957373 19521036288 653651 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
Current children cumulated CPU time: 16.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2614604 KiB
[startup+25.5005 s]
/proc/loadavg: 2.71 2.04 2.64 7/328 31461
/proc/meminfo: memFree=115634204/131382120 swapFree=33010684/33010684
[pid=31379] ppid=31370 vsize=19063512 memory=4450692 CPUtime=29.9 cores=5,7
/proc/31379/stat : 31379 (java) S 31370 31379 28556 0 -1 4194304 21910 0 1 0 2866 124 0 0 20 0 20 0 38957278 19521036288 1112673 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
/proc/31379/statm: 4765878 1112673 5463 1 0 2775875 0
[pid=31379/tid=31396] ppid=31370 vsize=19063512 memory=2614604 CPUtime=22.62 cores=5,7
/proc/31379/task/31396/stat : 31396 (java) R 31370 31379 28556 0 -1 4194368 7780 0 0 0 2180 82 0 0 20 0 20 0 38957280 19521036288 1112673 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31433] ppid=31370 vsize=19063512 memory=3018100 CPUtime=0 cores=5,7
/proc/31379/task/31433/stat : 31433 (Finalizer) S 31370 31379 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38957285 19521036288 1112673 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31442] ppid=31370 vsize=19063512 memory=3018100 CPUtime=0 cores=5,7
/proc/31379/task/31442/stat : 31442 (Common-Cleaner) S 31370 31379 28556 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 38957286 19521036288 1112673 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31454] ppid=31370 vsize=19063512 memory=2337 CPUtime=0 cores=5,7
/proc/31379/task/31454/stat : 31454 (Timer-0) S 31370 31379 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38957373 19521036288 1112673 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
Current children cumulated CPU time: 29.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4450692 KiB
[startup+51.1138 s]
/proc/loadavg: 3.54 2.31 2.71 5/333 31467
/proc/meminfo: memFree=106964284/131382120 swapFree=33010684/33010684
[pid=31379] ppid=31370 vsize=19063512 memory=6386796 CPUtime=57.79 cores=5,7
/proc/31379/stat : 31379 (java) S 31370 31379 28556 0 -1 4194304 32283 0 1 0 5587 192 0 0 20 0 20 0 38957278 19521036288 1596699 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
/proc/31379/statm: 4765878 1596699 5463 1 0 3037053 0
[pid=31379/tid=31396] ppid=31370 vsize=19063512 memory=1377760 CPUtime=45.92 cores=5,7
/proc/31379/task/31396/stat : 31396 (java) R 31370 31379 28556 0 -1 4194368 11376 0 0 0 4466 126 0 0 20 0 20 0 38957280 19521036288 1596699 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31433] ppid=31370 vsize=19063512 memory=16352 CPUtime=0 cores=5,7
/proc/31379/task/31433/stat : 31433 (Finalizer) S 31370 31379 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38957285 19521036288 1596699 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31442] ppid=31370 vsize=19063512 memory=5504 CPUtime=0 cores=5,7
################
# More data... #
################
/proc/31379/task/31433/stat : 31433 (Finalizer) S 31370 31379 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38957285 19521036288 4069372 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31442] ppid=31370 vsize=19063512 memory=16277488 CPUtime=0 cores=5,7
/proc/31379/task/31442/stat : 31442 (Common-Cleaner) S 31370 31379 28556 0 -1 4194368 2074 0 0 0 0 0 0 0 20 0 20 0 38957286 19521036288 4069372 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31454] ppid=31370 vsize=19063512 memory=16277488 CPUtime=0 cores=5,7
/proc/31379/task/31454/stat : 31454 (Timer-0) S 31370 31379 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38957373 19521036288 4069372 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
Current children cumulated CPU time: 3191.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16277488 KiB
[startup+2922.3 s]
/proc/loadavg: 4.61 4.55 4.43 5/332 31656
/proc/meminfo: memFree=537444/131382120 swapFree=33010416/33010684
[pid=31379] ppid=31370 vsize=19063512 memory=16277488 CPUtime=3254.41 cores=5,7
/proc/31379/stat : 31379 (java) S 31370 31379 28556 0 -1 4194304 432070 0 1 0 322783 2658 0 0 20 0 20 0 38957278 19521036288 4069372 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
/proc/31379/statm: 4765878 4069372 5495 1 0 4081497 0
[pid=31379/tid=31396] ppid=31370 vsize=19063512 memory=14344 CPUtime=2682.44 cores=5,7
/proc/31379/task/31396/stat : 31396 (java) R 31370 31379 28556 0 -1 4194368 217248 0 0 0 266048 2196 0 0 20 0 20 0 38957280 19521036288 4069372 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31433] ppid=31370 vsize=19063512 memory=14344 CPUtime=0 cores=5,7
/proc/31379/task/31433/stat : 31433 (Finalizer) S 31370 31379 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38957285 19521036288 4069372 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31442] ppid=31370 vsize=19063512 memory=16277488 CPUtime=0 cores=5,7
/proc/31379/task/31442/stat : 31442 (Common-Cleaner) S 31370 31379 28556 0 -1 4194368 2150 0 0 0 0 0 0 0 20 0 20 0 38957286 19521036288 4069372 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31454] ppid=31370 vsize=19063512 memory=16277488 CPUtime=0 cores=5,7
/proc/31379/task/31454/stat : 31454 (Timer-0) S 31370 31379 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38957373 19521036288 4069372 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
Current children cumulated CPU time: 3254.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16277488 KiB
[startup+2982.3 s]
/proc/loadavg: 4.46 4.51 4.42 5/333 31664
/proc/meminfo: memFree=594984/131382120 swapFree=33010416/33010684
[pid=31379] ppid=31370 vsize=19063512 memory=16277488 CPUtime=3316.36 cores=5,7
/proc/31379/stat : 31379 (java) S 31370 31379 28556 0 -1 4194304 439810 0 1 0 328945 2691 0 0 20 0 20 0 38957278 19521036288 4069372 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
/proc/31379/statm: 4765878 4069372 5495 1 0 4081497 0
[pid=31379/tid=31396] ppid=31370 vsize=19063512 memory=16277488 CPUtime=2738.79 cores=5,7
/proc/31379/task/31396/stat : 31396 (java) R 31370 31379 28556 0 -1 4194368 223191 0 0 0 271653 2226 0 0 20 0 20 0 38957280 19521036288 4069372 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31433] ppid=31370 vsize=19063512 memory=16277488 CPUtime=0 cores=5,7
/proc/31379/task/31433/stat : 31433 (Finalizer) S 31370 31379 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38957285 19521036288 4069372 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31442] ppid=31370 vsize=19063512 memory=17280 CPUtime=0 cores=5,7
/proc/31379/task/31442/stat : 31442 (Common-Cleaner) S 31370 31379 28556 0 -1 4194368 2240 0 0 0 0 0 0 0 20 0 20 0 38957286 19521036288 4069372 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31454] ppid=31370 vsize=19063512 memory=16277488 CPUtime=0 cores=5,7
/proc/31379/task/31454/stat : 31454 (Timer-0) S 31370 31379 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38957373 19521036288 4069372 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
Current children cumulated CPU time: 3316.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16277488 KiB
[startup+3042.3 s]
/proc/loadavg: 4.35 4.47 4.41 5/333 31666
/proc/meminfo: memFree=1021148/131382120 swapFree=33010160/33010684
[pid=31379] ppid=31370 vsize=19063512 memory=16277488 CPUtime=3378.15 cores=5,7
/proc/31379/stat : 31379 (java) S 31370 31379 28556 0 -1 4194304 445494 0 1 0 335087 2728 0 0 20 0 20 0 38957278 19521036288 4069372 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
/proc/31379/statm: 4765878 4069372 5495 1 0 4081497 0
[pid=31379/tid=31396] ppid=31370 vsize=19063512 memory=5504 CPUtime=2794.29 cores=5,7
/proc/31379/task/31396/stat : 31396 (java) R 31370 31379 28556 0 -1 4194368 226758 0 0 0 277171 2258 0 0 20 0 20 0 38957280 19521036288 4069372 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31433] ppid=31370 vsize=19063512 memory=16277488 CPUtime=0 cores=5,7
/proc/31379/task/31433/stat : 31433 (Finalizer) S 31370 31379 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38957285 19521036288 4069372 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31442] ppid=31370 vsize=19063512 memory=16277488 CPUtime=0 cores=5,7
/proc/31379/task/31442/stat : 31442 (Common-Cleaner) S 31370 31379 28556 0 -1 4194368 2283 0 0 0 0 0 0 0 20 0 20 0 38957286 19521036288 4069372 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31454] ppid=31370 vsize=19063512 memory=10496 CPUtime=0 cores=5,7
/proc/31379/task/31454/stat : 31454 (Timer-0) S 31370 31379 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38957373 19521036288 4069372 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
Current children cumulated CPU time: 3378.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16277488 KiB
[startup+3102.3 s]
/proc/loadavg: 5.15 4.70 4.50 7/334 31669
/proc/meminfo: memFree=912196/131382120 swapFree=33010160/33010684
[pid=31379] ppid=31370 vsize=19063512 memory=16277744 CPUtime=3459.93 cores=5,7
/proc/31379/stat : 31379 (java) S 31370 31379 28556 0 -1 4194304 456975 0 1 0 343216 2777 0 0 20 0 20 0 38957278 19521036288 4069436 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
/proc/31379/statm: 4765878 4069436 5495 1 0 4081574 0
[pid=31379/tid=31396] ppid=31370 vsize=19063512 memory=16277488 CPUtime=2850.01 cores=5,7
/proc/31379/task/31396/stat : 31396 (java) R 31370 31379 28556 0 -1 4194368 232568 0 0 0 282707 2294 0 0 20 0 20 0 38957280 19521036288 4069436 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31433] ppid=31370 vsize=19063512 memory=16277488 CPUtime=0 cores=5,7
/proc/31379/task/31433/stat : 31433 (Finalizer) S 31370 31379 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38957285 19521036288 4069436 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31442] ppid=31370 vsize=19063512 memory=14344 CPUtime=0 cores=5,7
/proc/31379/task/31442/stat : 31442 (Common-Cleaner) S 31370 31379 28556 0 -1 4194368 2303 0 0 0 0 0 0 0 20 0 20 0 38957286 19521036288 4069436 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31454] ppid=31370 vsize=19063512 memory=2212 CPUtime=0 cores=5,7
/proc/31379/task/31454/stat : 31454 (Timer-0) S 31370 31379 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38957373 19521036288 4069436 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
Current children cumulated CPU time: 3459.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16277744 KiB
[startup+3162.3 s]
/proc/loadavg: 4.73 4.67 4.50 6/334 31671
/proc/meminfo: memFree=984956/131382120 swapFree=33010160/33010684
[pid=31379] ppid=31370 vsize=19063512 memory=16280040 CPUtime=3536.71 cores=5,7
/proc/31379/stat : 31379 (java) S 31370 31379 28556 0 -1 4194304 468312 0 1 0 350846 2825 0 0 20 0 20 0 38957278 19521036288 4070010 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
/proc/31379/statm: 4765878 4070010 5495 1 0 4081574 0
[pid=31379/tid=31396] ppid=31370 vsize=19063512 memory=16277488 CPUtime=2902.96 cores=5,7
/proc/31379/task/31396/stat : 31396 (java) R 31370 31379 28556 0 -1 4194368 237115 0 0 0 287960 2336 0 0 20 0 20 0 38957280 19521036288 4070010 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31433] ppid=31370 vsize=19063512 memory=16277488 CPUtime=0 cores=5,7
/proc/31379/task/31433/stat : 31433 (Finalizer) S 31370 31379 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38957285 19521036288 4070010 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31442] ppid=31370 vsize=19063512 memory=16280040 CPUtime=0 cores=5,7
/proc/31379/task/31442/stat : 31442 (Common-Cleaner) S 31370 31379 28556 0 -1 4194368 2385 0 0 0 0 0 0 0 20 0 20 0 38957286 19521036288 4070010 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31454] ppid=31370 vsize=19063512 memory=16280040 CPUtime=0 cores=5,7
/proc/31379/task/31454/stat : 31454 (Timer-0) S 31370 31379 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38957373 19521036288 4070010 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
Current children cumulated CPU time: 3536.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16280040 KiB
[startup+3222.3 s]
/proc/loadavg: 4.58 4.62 4.49 5/337 31676
/proc/meminfo: memFree=1008792/131382120 swapFree=33010160/33010684
[pid=31379] ppid=31370 vsize=19063512 memory=16280040 CPUtime=3599.54 cores=5,7
/proc/31379/stat : 31379 (java) S 31370 31379 28556 0 -1 4194304 473423 0 1 0 357082 2872 0 0 20 0 20 0 38957278 19521036288 4070010 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
/proc/31379/statm: 4765878 4070010 5495 1 0 4081574 0
[pid=31379/tid=31396] ppid=31370 vsize=19063512 memory=16277488 CPUtime=2957.83 cores=5,7
/proc/31379/task/31396/stat : 31396 (java) R 31370 31379 28556 0 -1 4194368 241552 0 0 0 293404 2379 0 0 20 0 20 0 38957280 19521036288 4070010 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31433] ppid=31370 vsize=19063512 memory=14344 CPUtime=0 cores=5,7
/proc/31379/task/31433/stat : 31433 (Finalizer) S 31370 31379 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38957285 19521036288 4070010 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31442] ppid=31370 vsize=19063512 memory=10112 CPUtime=0 cores=5,7
/proc/31379/task/31442/stat : 31442 (Common-Cleaner) S 31370 31379 28556 0 -1 4194368 2471 0 0 0 0 0 0 0 20 0 20 0 38957286 19521036288 4070010 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31454] ppid=31370 vsize=19063512 memory=16280040 CPUtime=0 cores=5,7
/proc/31379/task/31454/stat : 31454 (Timer-0) S 31370 31379 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38957373 19521036288 4070010 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
Current children cumulated CPU time: 3599.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16280040 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3222.8 s]
/proc/loadavg: 4.58 4.62 4.49 5/337 31676
/proc/meminfo: memFree=1008792/131382120 swapFree=33010160/33010684
[pid=31379] ppid=31370 vsize=19063512 memory=16280040 CPUtime=3600.04 cores=5,7
/proc/31379/stat : 31379 (java) S 31370 31379 28556 0 -1 4194304 473425 0 1 0 357131 2873 0 0 20 0 20 0 38957278 19521036288 4070010 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
/proc/31379/statm: 4765878 4070010 5495 1 0 4081574 0
[pid=31379/tid=31396] ppid=31370 vsize=19063512 memory=-6000919507032828780 CPUtime=2958.33 cores=5,7
/proc/31379/task/31396/stat : 31396 (java) R 31370 31379 28556 0 -1 4194368 241554 0 0 0 293454 2379 0 0 20 0 20 0 38957280 19521036288 4070010 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31433] ppid=31370 vsize=19063512 memory=4352 CPUtime=0 cores=5,7
/proc/31379/task/31433/stat : 31433 (Finalizer) S 31370 31379 28556 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38957285 19521036288 4070010 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31442] ppid=31370 vsize=19063512 memory=16280040 CPUtime=0 cores=5,7
/proc/31379/task/31442/stat : 31442 (Common-Cleaner) S 31370 31379 28556 0 -1 4194368 2471 0 0 0 0 0 0 0 20 0 20 0 38957286 19521036288 4070010 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
[pid=31379/tid=31454] ppid=31370 vsize=19063512 memory=-6015898283296147086 CPUtime=0 cores=5,7
/proc/31379/task/31454/stat : 31454 (Timer-0) S 31370 31379 28556 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38957373 19521036288 4070010 18446744073709551615 94479329067008 94479329070704 140734112362192 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94479329078520 94479329079312 94479329628160 140734112364848 140734112365030 140734112365030 140734112370632 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16280040 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3223.25 s]
# the end of solver process 31379 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3571.5 s, system=28.8471 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3223.21 s]*
/proc/loadavg: 4.58 4.62 4.49 5/319 31679
/proc/meminfo: memFree=3182896/131382120 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3223.25
CPU time (s): 3600.34
CPU user time (s): 3571.5
CPU system time (s): 28.8471
CPU usage (%): 111.699
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 16280808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.5
system time used= 28.8471
maximum resident set size= 16281064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 476037
page faults= 1
swaps= 0
block input operations= 64
block output operations= 54577512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 158388
involuntary context switches= 66874
# summary of solver processes directly reported to runsolver:
# pid: 31379
# total CPU time (s): 3600.34
# total CPU user time (s): 3571.5
# total CPU system time (s): 28.8471
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1353 second user time and 30.4215 second system time
The end