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: 63931 MiB (61131 MiB free)
  memory of node 1: 64510 MiB (62037 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459639-1721932566/watcher-4459639-1721932566 -o /tmp/evaluation-result-4459639-1721932566/solver-4459639-1721932566 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721932566-258455 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4459639-1721932566.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
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 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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=258534, runsolver pid=258531

[startup+0.100057 s]*
/proc/loadavg: 0.07 0.08 0.09 9/302 258553
/proc/meminfo: memFree=126068192/131524600 swapFree=131059368/131071996
[pid=258534] ppid=258531 vsize=18975048 memory=64540 CPUtime=0.13 cores=5,7
/proc/258534/stat : 258534 (java) S 258531 258534 258442 0 -1 1077936128 7068 0 0 0 11 2 0 0 20 0 18 0 29785291 19430449152 16135 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
/proc/258534/statm: 4743762 16135 5649 1 0 549327 0
[pid=258534/tid=258536] ppid=258531 vsize=18975048 memory=4026532157 CPUtime=0.08 cores=5,7
/proc/258534/task/258536/stat : 258536 (java) R 258531 258534 258442 0 -1 4194368 5644 0 0 0 7 1 0 0 20 0 18 0 29785292 19430449152 16135 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258545] ppid=258531 vsize=18975048 memory=219966341476 CPUtime=0 cores=5,7
/proc/258534/task/258545/stat : 258545 (Finalizer) S 258531 258534 258442 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29785295 19430449152 16135 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258552] ppid=258531 vsize=18975048 memory=15816686042796641 CPUtime=0 cores=5,7
/proc/258534/task/258552/stat : 258552 (Common-Cleaner) S 258531 258534 258442 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 29785295 19430449152 16135 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64540 KiB

[startup+0.209841 s]*
/proc/loadavg: 0.07 0.08 0.09 10/316 258576
/proc/meminfo: memFree=126005316/131524600 swapFree=131059368/131071996
[pid=258534] ppid=258531 vsize=18975048 memory=81224 CPUtime=0.33 cores=5,7
/proc/258534/stat : 258534 (java) S 258531 258534 258442 0 -1 1077936128 7529 0 0 0 31 2 0 0 20 0 18 0 29785291 19430449152 20306 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
/proc/258534/statm: 4743762 20306 5833 1 0 549595 0
[pid=258534/tid=258536] ppid=258531 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/258534/task/258536/stat : 258536 (java) R 258531 258534 258442 0 -1 4194368 5829 0 0 0 17 1 0 0 20 0 18 0 29785292 19430449152 20306 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258545] ppid=258531 vsize=18975048 memory=1499814 CPUtime=0 cores=5,7
/proc/258534/task/258545/stat : 258545 (Finalizer) S 258531 258534 258442 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 29785295 19430449152 20306 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258552] ppid=258531 vsize=18975048 memory=14135537057400351 CPUtime=0 cores=5,7
/proc/258534/task/258552/stat : 258552 (Common-Cleaner) S 258531 258534 258442 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 29785295 19430449152 20306 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 81224 KiB

[startup+0.314823 s]*
/proc/loadavg: 0.07 0.08 0.09 12/326 258586
/proc/meminfo: memFree=125921356/131524600 swapFree=131059368/131071996
[pid=258534] ppid=258531 vsize=19041612 memory=140744 CPUtime=0.53 cores=5,7
/proc/258534/stat : 258534 (java) S 258531 258534 258442 0 -1 1077936128 9786 0 0 0 50 3 0 0 20 0 19 0 29785291 19498610688 35186 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
/proc/258534/statm: 4760403 35186 5833 1 0 550913 0
[pid=258534/tid=258536] ppid=258531 vsize=19041612 memory=-8887683871577711292 CPUtime=0.28 cores=5,7
/proc/258534/task/258536/stat : 258536 (java) R 258531 258534 258442 0 -1 4194368 5903 0 0 0 25 3 0 0 20 0 19 0 29785292 19498610688 35186 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258545] ppid=258531 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/258534/task/258545/stat : 258545 (Finalizer) S 258531 258534 258442 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 29785295 19498610688 35186 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258552] ppid=258531 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/258534/task/258552/stat : 258552 (Common-Cleaner) S 258531 258534 258442 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 29785295 19498610688 35186 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258586] ppid=258531 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/258534/task/258586/stat : 258586 (Timer-0) S 258531 258534 258442 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 29785320 19498610688 35186 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 140744 KiB

[startup+0.700822 s]
/proc/loadavg: 0.07 0.08 0.09 11/327 258587
/proc/meminfo: memFree=125864460/131524600 swapFree=131059368/131071996
[pid=258534] ppid=258531 vsize=19041612 memory=159936 CPUtime=1.26 cores=5,7
/proc/258534/stat : 258534 (java) S 258531 258534 258442 0 -1 1077936128 14191 0 0 0 121 5 0 0 20 0 19 0 29785291 19498610688 39984 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
/proc/258534/statm: 4760403 39984 5849 1 0 553517 0
[pid=258534/tid=258536] ppid=258531 vsize=19041612 memory=76760 CPUtime=0.63 cores=5,7
/proc/258534/task/258536/stat : 258536 (java) R 258531 258534 258442 0 -1 4194368 5978 0 0 0 60 3 0 0 20 0 19 0 29785292 19498610688 39984 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258545] ppid=258531 vsize=19041612 memory=12316 CPUtime=0 cores=5,7
/proc/258534/task/258545/stat : 258545 (Finalizer) S 258531 258534 258442 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 29785295 19498610688 39984 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258552] ppid=258531 vsize=19041612 memory=2272 CPUtime=0 cores=5,7
/proc/258534/task/258552/stat : 258552 (Common-Cleaner) S 258531 258534 258442 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 29785295 19498610688 39984 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258586] ppid=258531 vsize=19041612 memory=32140 CPUtime=0 cores=5,7
/proc/258534/task/258586/stat : 258586 (Timer-0) S 258531 258534 258442 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 29785320 19498610688 39984 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 159936 KiB

[startup+1.50082 s]
/proc/loadavg: 0.07 0.08 0.09 10/327 258589
/proc/meminfo: memFree=125766512/131524600 swapFree=131059368/131071996
[pid=258534] ppid=258531 vsize=19108176 memory=203728 CPUtime=2.49 cores=5,7
/proc/258534/stat : 258534 (java) S 258531 258534 258442 0 -1 1077936128 14417 0 0 0 243 6 0 0 20 0 20 0 29785291 19566772224 50932 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
/proc/258534/statm: 4777044 50932 5849 1 0 553810 0
[pid=258534/tid=258536] ppid=258531 vsize=19108176 memory=12316 CPUtime=1.39 cores=5,7
/proc/258534/task/258536/stat : 258536 (java) R 258531 258534 258442 0 -1 4194368 5991 0 0 0 136 3 0 0 20 0 20 0 29785292 19566772224 50932 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258545] ppid=258531 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/258534/task/258545/stat : 258545 (Finalizer) S 258531 258534 258442 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29785295 19566772224 50932 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258552] ppid=258531 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/258534/task/258552/stat : 258552 (Common-Cleaner) S 258531 258534 258442 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 29785295 19566772224 50932 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258586] ppid=258531 vsize=19108176 memory=1110382190519296 CPUtime=0 cores=5,7
/proc/258534/task/258586/stat : 258586 (Timer-0) S 258531 258534 258442 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29785320 19566772224 50932 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
Current children cumulated CPU time: 2.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 203728 KiB

[startup+3.10582 s]
/proc/loadavg: 0.39 0.15 0.11 5/330 258592
/proc/meminfo: memFree=125363308/131524600 swapFree=131059368/131071996
[pid=258534] ppid=258531 vsize=19108176 memory=331712 CPUtime=4.41 cores=5,7
/proc/258534/stat : 258534 (java) S 258531 258534 258442 0 -1 1077936128 17540 0 0 0 431 10 0 0 20 0 20 0 29785291 19566772224 82928 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
/proc/258534/statm: 4777044 82928 5881 1 0 553872 0
[pid=258534/tid=258536] ppid=258531 vsize=19108176 memory=162248 CPUtime=2.84 cores=5,7
/proc/258534/task/258536/stat : 258536 (java) R 258531 258534 258442 0 -1 4194368 6373 0 0 0 281 3 0 0 20 0 20 0 29785292 19566772224 82928 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258545] ppid=258531 vsize=19108176 memory=-9104701078621627068 CPUtime=0 cores=5,7
/proc/258534/task/258545/stat : 258545 (Finalizer) S 258531 258534 258442 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29785295 19566772224 82928 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258552] ppid=258531 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/258534/task/258552/stat : 258552 (Common-Cleaner) S 258531 258534 258442 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 29785295 19566772224 82928 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258586] ppid=258531 vsize=19108176 memory=12316 CPUtime=0 cores=5,7
/proc/258534/task/258586/stat : 258586 (Timer-0) S 258531 258534 258442 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29785320 19566772224 82928 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
Current children cumulated CPU time: 4.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 331712 KiB

[startup+6.30027 s]
/proc/loadavg: 0.39 0.15 0.11 4/311 258596
/proc/meminfo: memFree=124633792/131524600 swapFree=131059368/131071996
[pid=258534] ppid=258531 vsize=19108176 memory=789280 CPUtime=7.84 cores=5,7
/proc/258534/stat : 258534 (java) S 258531 258534 258442 0 -1 1077936128 19800 0 0 0 764 20 0 0 20 0 20 0 29785291 19566772224 197320 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
/proc/258534/statm: 4777044 197320 5881 1 0 877636 0
[pid=258534/tid=258536] ppid=258531 vsize=19108176 memory=0 CPUtime=5.74 cores=5,7
/proc/258534/task/258536/stat : 258536 (java) R 258531 258534 258442 0 -1 4194368 6729 0 0 0 568 6 0 0 20 0 20 0 29785292 19566772224 197320 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258545] ppid=258531 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/258534/task/258545/stat : 258545 (Finalizer) S 258531 258534 258442 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29785295 19566772224 197320 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258552] ppid=258531 vsize=19108176 memory=12316 CPUtime=0 cores=5,7
/proc/258534/task/258552/stat : 258552 (Common-Cleaner) S 258531 258534 258442 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 29785295 19566772224 197320 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258586] ppid=258531 vsize=19108176 memory=203728 CPUtime=0 cores=5,7
/proc/258534/task/258586/stat : 258586 (Timer-0) S 258531 258534 258442 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29785320 19566772224 197320 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
Current children cumulated CPU time: 7.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 789280 KiB

[startup+12.7003 s]
/proc/loadavg: 1.16 0.32 0.17 7/331 258661
/proc/meminfo: memFree=123100200/131524600 swapFree=131059368/131071996
[pid=258534] ppid=258531 vsize=19108176 memory=1602412 CPUtime=14.71 cores=5,7
/proc/258534/stat : 258534 (java) S 258531 258534 258442 0 -1 1077936128 21240 0 0 0 1436 35 0 0 20 0 20 0 29785291 19566772224 400603 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
/proc/258534/statm: 4777044 400603 5881 1 0 1297506 0
[pid=258534/tid=258536] ppid=258531 vsize=19108176 memory=12316 CPUtime=11.62 cores=5,7
/proc/258534/task/258536/stat : 258536 (java) R 258531 258534 258442 0 -1 4194368 7220 0 0 0 1151 11 0 0 20 0 20 0 29785292 19566772224 400603 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258545] ppid=258531 vsize=19108176 memory=203728 CPUtime=0 cores=5,7
/proc/258534/task/258545/stat : 258545 (Finalizer) S 258531 258534 258442 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29785295 19566772224 400603 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258552] ppid=258531 vsize=19108176 memory=1602412 CPUtime=0 cores=5,7
/proc/258534/task/258552/stat : 258552 (Common-Cleaner) S 258531 258534 258442 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 29785295 19566772224 400603 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258586] ppid=258531 vsize=19108176 memory=1002296 CPUtime=0 cores=5,7
/proc/258534/task/258586/stat : 258586 (Timer-0) S 258531 258534 258442 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29785320 19566772224 400603 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
Current children cumulated CPU time: 14.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1602412 KiB

[startup+25.5003 s]
/proc/loadavg: 1.60 0.44 0.21 5/332 258664
/proc/meminfo: memFree=120600448/131524600 swapFree=131059368/131071996
[pid=258534] ppid=258531 vsize=19108176 memory=2933096 CPUtime=28.45 cores=5,7
/proc/258534/stat : 258534 (java) S 258531 258534 258442 0 -1 1077936128 28285 0 0 0 2784 61 0 0 20 0 20 0 29785291 19566772224 733274 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
/proc/258534/statm: 4777044 733274 5912 1 0 1640088 0
[pid=258534/tid=258536] ppid=258531 vsize=19108176 memory=-9104701078621627068 CPUtime=23.46 cores=5,7
/proc/258534/task/258536/stat : 258536 (java) R 258531 258534 258442 0 -1 4194368 8234 0 0 0 2330 16 0 0 20 0 20 0 29785292 19566772224 733274 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258545] ppid=258531 vsize=19108176 memory=2574600 CPUtime=0 cores=5,7
/proc/258534/task/258545/stat : 258545 (Finalizer) S 258531 258534 258442 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29785295 19566772224 733274 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258552] ppid=258531 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/258534/task/258552/stat : 258552 (Common-Cleaner) S 258531 258534 258442 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 29785295 19566772224 733274 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258586] ppid=258531 vsize=19108176 memory=1002296 CPUtime=0 cores=5,7
/proc/258534/task/258586/stat : 258586 (Timer-0) S 258531 258534 258442 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29785320 19566772224 733274 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
Current children cumulated CPU time: 28.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2933096 KiB

[startup+51.1158 s]
/proc/loadavg: 2.42 0.73 0.31 8/332 258736
/proc/meminfo: memFree=117665812/131524600 swapFree=131059368/131071996
[pid=258534] ppid=258531 vsize=19108176 memory=4660408 CPUtime=55.51 cores=5,7
/proc/258534/stat : 258534 (java) S 258531 258534 258442 0 -1 1077936128 33398 0 0 0 5455 96 0 0 20 0 20 0 29785291 19566772224 1165102 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
/proc/258534/statm: 4777044 1165102 5912 1 0 1742931 0
[pid=258534/tid=258536] ppid=258531 vsize=19108176 memory=11384 CPUtime=47.57 cores=5,7
/proc/258534/task/258536/stat : 258536 (java) R 258531 258534 258442 0 -1 4194368 12028 0 0 0 4734 23 0 0 20 0 20 0 29785292 19566772224 1165102 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0

################
# More data... #
################

/proc/258534/task/258545/stat : 258545 (Finalizer) S 258531 258534 258442 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29785295 19566772224 3854072 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258552] ppid=258531 vsize=19108176 memory=15416288 CPUtime=0 cores=5,7
/proc/258534/task/258552/stat : 258552 (Common-Cleaner) S 258531 258534 258442 0 -1 1077936192 1336 0 0 0 0 0 0 0 20 0 20 0 29785295 19566772224 3854072 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258586] ppid=258531 vsize=19108176 memory=15416288 CPUtime=0 cores=5,7
/proc/258534/task/258586/stat : 258586 (Timer-0) S 258531 258534 258442 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29785320 19566772224 3854072 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
Current children cumulated CPU time: 3195.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15416288 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.14 4.04 5/335 260514
/proc/meminfo: memFree=100625404/131524600 swapFree=131059368/131071996
[pid=258534] ppid=258531 vsize=19108176 memory=15416292 CPUtime=3255.9 cores=5,7
/proc/258534/stat : 258534 (java) S 258531 258534 258442 0 -1 1077936128 512682 0 0 0 325093 497 0 0 20 0 20 0 29785291 19566772224 3854073 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
/proc/258534/statm: 4777044 3854073 5912 1 0 4088732 0
[pid=258534/tid=258536] ppid=258531 vsize=19108176 memory=15416288 CPUtime=3070.75 cores=5,7
/proc/258534/task/258536/stat : 258536 (java) R 258531 258534 258442 0 -1 4194368 168595 0 0 0 306979 96 0 0 20 0 20 0 29785292 19566772224 3854073 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258545] ppid=258531 vsize=19108176 memory=15416288 CPUtime=0 cores=5,7
/proc/258534/task/258545/stat : 258545 (Finalizer) S 258531 258534 258442 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29785295 19566772224 3854073 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258552] ppid=258531 vsize=19108176 memory=-9104701078621627068 CPUtime=0 cores=5,7
/proc/258534/task/258552/stat : 258552 (Common-Cleaner) S 258531 258534 258442 0 -1 1077936192 1470 0 0 0 0 0 0 0 20 0 20 0 29785295 19566772224 3854073 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258586] ppid=258531 vsize=19108176 memory=15416292 CPUtime=0 cores=5,7
/proc/258534/task/258586/stat : 258586 (Timer-0) S 258531 258534 258442 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29785320 19566772224 3854073 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
Current children cumulated CPU time: 3255.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15416292 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.14 4.05 5/335 260524
/proc/meminfo: memFree=100624708/131524600 swapFree=131059368/131071996
[pid=258534] ppid=258531 vsize=19108176 memory=15416292 CPUtime=3316.85 cores=5,7
/proc/258534/stat : 258534 (java) S 258531 258534 258442 0 -1 1077936128 515321 0 0 0 331186 499 0 0 20 0 20 0 29785291 19566772224 3854073 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
/proc/258534/statm: 4777044 3854073 5912 1 0 4088732 0
[pid=258534/tid=258536] ppid=258531 vsize=19108176 memory=77052 CPUtime=3129.45 cores=5,7
/proc/258534/task/258536/stat : 258536 (java) R 258531 258534 258442 0 -1 4194368 170408 0 0 0 312849 96 0 0 20 0 20 0 29785292 19566772224 3854073 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258545] ppid=258531 vsize=19108176 memory=15416292 CPUtime=0 cores=5,7
/proc/258534/task/258545/stat : 258545 (Finalizer) S 258531 258534 258442 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29785295 19566772224 3854073 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258552] ppid=258531 vsize=19108176 memory=11384 CPUtime=0 cores=5,7
/proc/258534/task/258552/stat : 258552 (Common-Cleaner) S 258531 258534 258442 0 -1 1077936192 1470 0 0 0 0 0 0 0 20 0 20 0 29785295 19566772224 3854073 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258586] ppid=258531 vsize=19108176 memory=11384 CPUtime=0 cores=5,7
/proc/258534/task/258586/stat : 258586 (Timer-0) S 258531 258534 258442 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29785320 19566772224 3854073 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
Current children cumulated CPU time: 3316.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15416292 KiB

[startup+3282.3 s]
/proc/loadavg: 4.21 4.16 4.06 5/336 260595
/proc/meminfo: memFree=100623572/131524600 swapFree=131059368/131071996
[pid=258534] ppid=258531 vsize=19108176 memory=15416300 CPUtime=3377.52 cores=5,7
/proc/258534/stat : 258534 (java) S 258531 258534 258442 0 -1 1077936128 517885 0 0 0 337250 502 0 0 20 0 20 0 29785291 19566772224 3854075 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
/proc/258534/statm: 4777044 3854075 5912 1 0 4088732 0
[pid=258534/tid=258536] ppid=258531 vsize=19108176 memory=15416300 CPUtime=3188.05 cores=5,7
/proc/258534/task/258536/stat : 258536 (java) R 258531 258534 258442 0 -1 4194368 172233 0 0 0 318709 96 0 0 20 0 20 0 29785292 19566772224 3854075 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258545] ppid=258531 vsize=19108176 memory=15416300 CPUtime=0 cores=5,7
/proc/258534/task/258545/stat : 258545 (Finalizer) S 258531 258534 258442 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29785295 19566772224 3854075 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258552] ppid=258531 vsize=19108176 memory=15416300 CPUtime=0 cores=5,7
/proc/258534/task/258552/stat : 258552 (Common-Cleaner) S 258531 258534 258442 0 -1 1077936192 1470 0 0 0 0 0 0 0 20 0 20 0 29785295 19566772224 3854075 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258586] ppid=258531 vsize=19108176 memory=15416300 CPUtime=0 cores=5,7
/proc/258534/task/258586/stat : 258586 (Timer-0) S 258531 258534 258442 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29785320 19566772224 3854075 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
Current children cumulated CPU time: 3377.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15416300 KiB

[startup+3342.3 s]
/proc/loadavg: 4.24 4.17 4.07 5/336 260606
/proc/meminfo: memFree=100553240/131524600 swapFree=131059368/131071996
[pid=258534] ppid=258531 vsize=19108176 memory=15420732 CPUtime=3442.73 cores=5,7
/proc/258534/stat : 258534 (java) S 258531 258534 258442 0 -1 1077936128 551887 0 0 0 343765 508 0 0 20 0 20 0 29785291 19566772224 3855183 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
/proc/258534/statm: 4777044 3855183 5944 1 0 4089795 0
[pid=258534/tid=258536] ppid=258531 vsize=19108176 memory=15420732 CPUtime=3246.38 cores=5,7
/proc/258534/task/258536/stat : 258536 (java) R 258531 258534 258442 0 -1 4194368 186447 0 0 0 324541 97 0 0 20 0 20 0 29785292 19566772224 3855183 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258545] ppid=258531 vsize=19108176 memory=15420732 CPUtime=0 cores=5,7
/proc/258534/task/258545/stat : 258545 (Finalizer) S 258531 258534 258442 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29785295 19566772224 3855183 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258552] ppid=258531 vsize=19108176 memory=12316 CPUtime=0 cores=5,7
/proc/258534/task/258552/stat : 258552 (Common-Cleaner) S 258531 258534 258442 0 -1 1077936192 1515 0 0 0 0 0 0 0 20 0 20 0 29785295 19566772224 3855183 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258586] ppid=258531 vsize=19108176 memory=15420732 CPUtime=0 cores=5,7
/proc/258534/task/258586/stat : 258586 (Timer-0) S 258531 258534 258442 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29785320 19566772224 3855183 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
Current children cumulated CPU time: 3442.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15420732 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.14 4.07 5/336 260616
/proc/meminfo: memFree=100488780/131524600 swapFree=131059368/131071996
[pid=258534] ppid=258531 vsize=19108176 memory=15420732 CPUtime=3503.44 cores=5,7
/proc/258534/stat : 258534 (java) S 258531 258534 258442 0 -1 1077936128 554734 0 0 0 349833 511 0 0 20 0 20 0 29785291 19566772224 3855183 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
/proc/258534/statm: 4777044 3855183 5944 1 0 4089795 0
[pid=258534/tid=258536] ppid=258531 vsize=19108176 memory=15420732 CPUtime=3305.39 cores=5,7
/proc/258534/task/258536/stat : 258536 (java) R 258531 258534 258442 0 -1 4194368 188318 0 0 0 330441 98 0 0 20 0 20 0 29785292 19566772224 3855183 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258545] ppid=258531 vsize=19108176 memory=15420732 CPUtime=0 cores=5,7
/proc/258534/task/258545/stat : 258545 (Finalizer) S 258531 258534 258442 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29785295 19566772224 3855183 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258552] ppid=258531 vsize=19108176 memory=15420732 CPUtime=0 cores=5,7
/proc/258534/task/258552/stat : 258552 (Common-Cleaner) S 258531 258534 258442 0 -1 1077936192 1515 0 0 0 0 0 0 0 20 0 20 0 29785295 19566772224 3855183 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258586] ppid=258531 vsize=19108176 memory=15420732 CPUtime=0 cores=5,7
/proc/258534/task/258586/stat : 258586 (Timer-0) S 258531 258534 258442 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29785320 19566772224 3855183 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
Current children cumulated CPU time: 3503.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15420732 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.16 4.08 5/334 260627
/proc/meminfo: memFree=100486060/131524600 swapFree=131059368/131071996
[pid=258534] ppid=258531 vsize=19108176 memory=15420732 CPUtime=3564.17 cores=5,7
/proc/258534/stat : 258534 (java) S 258531 258534 258442 0 -1 1077936128 561835 0 0 0 355904 513 0 0 20 0 20 0 29785291 19566772224 3855183 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
/proc/258534/statm: 4777044 3855183 5944 1 0 4089795 0
[pid=258534/tid=258536] ppid=258531 vsize=19108176 memory=15420732 CPUtime=3364.19 cores=5,7
/proc/258534/task/258536/stat : 258536 (java) R 258531 258534 258442 0 -1 4194368 190945 0 0 0 336321 98 0 0 20 0 20 0 29785292 19566772224 3855183 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258545] ppid=258531 vsize=19108176 memory=15420732 CPUtime=0 cores=5,7
/proc/258534/task/258545/stat : 258545 (Finalizer) S 258531 258534 258442 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29785295 19566772224 3855183 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258552] ppid=258531 vsize=19108176 memory=15420732 CPUtime=0 cores=5,7
/proc/258534/task/258552/stat : 258552 (Common-Cleaner) S 258531 258534 258442 0 -1 1077936192 1566 0 0 0 0 0 0 0 20 0 20 0 29785295 19566772224 3855183 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258586] ppid=258531 vsize=19108176 memory=15420732 CPUtime=0 cores=5,7
/proc/258534/task/258586/stat : 258586 (Timer-0) S 258531 258534 258442 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29785320 19566772224 3855183 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
Current children cumulated CPU time: 3564.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15420732 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3497.8 s]
/proc/loadavg: 4.29 4.19 4.09 5/334 260633
/proc/meminfo: memFree=100485400/131524600 swapFree=131059368/131071996
[pid=258534] ppid=258531 vsize=19108176 memory=15420732 CPUtime=3600.06 cores=5,7
/proc/258534/stat : 258534 (java) S 258531 258534 258442 0 -1 1077936128 563558 0 0 0 359492 514 0 0 20 0 20 0 29785291 19566772224 3855183 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
/proc/258534/statm: 4777044 3855183 5944 1 0 4089795 0
[pid=258534/tid=258536] ppid=258531 vsize=19108176 memory=15420732 CPUtime=3398.86 cores=5,7
/proc/258534/task/258536/stat : 258536 (java) R 258531 258534 258442 0 -1 4194368 191846 0 0 0 339788 98 0 0 20 0 20 0 29785292 19566772224 3855183 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258545] ppid=258531 vsize=19108176 memory=15420732 CPUtime=0 cores=5,7
/proc/258534/task/258545/stat : 258545 (Finalizer) S 258531 258534 258442 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 29785295 19566772224 3855183 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258552] ppid=258531 vsize=19108176 memory=15420732 CPUtime=0 cores=5,7
/proc/258534/task/258552/stat : 258552 (Common-Cleaner) S 258531 258534 258442 0 -1 1077936192 1571 0 0 0 0 0 0 0 20 0 20 0 29785295 19566772224 3855183 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
[pid=258534/tid=258586] ppid=258531 vsize=19108176 memory=3004 CPUtime=0 cores=5,7
/proc/258534/task/258586/stat : 258586 (Timer-0) S 258531 258534 258442 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 29785320 19566772224 3855183 134679101440 94644575981568 94644575985264 140734308757808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94644575993080 94644575993872 94644585172992 140734308766726 140734308766816 140734308766816 140734308773832 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 15420732 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3497.94 s]
# the end of solver process 258534 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3595.06 s, system=5.19932 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3497.9 s]*
/proc/loadavg: 4.27 4.18 4.09 6/316 260636
/proc/meminfo: memFree=103372856/131524600 swapFree=131059368/131071996
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): 3497.94
CPU time (s): 3600.26
CPU user time (s): 3595.06
CPU system time (s): 5.19932
CPU usage (%): 102.925
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 15420732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.06
system time used= 5.19932
maximum resident set size= 15422192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 566688
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112689
involuntary context switches= 16723


# summary of solver processes directly reported to runsolver:
#   pid: 258534
#   total CPU time (s): 3600.26
#   total CPU user time (s): 3595.06
#   total CPU system time (s): 5.19932

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.52814 second user time and 17.264 second system time

The end