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: 64059 MiB (39014 MiB free)
  memory of node 1: 64510 MiB (43457 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459293-1721894240/watcher-4459293-1721894240 -o /tmp/evaluation-result-4459293-1721894240/solver-4459293-1721894240 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721887320-270226 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4459293-1721894240 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4459293-1721894240.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=274452, runsolver pid=274449

[startup+0.100068 s]*
/proc/loadavg: 4.95 5.12 5.15 8/349 274470
/proc/meminfo: memFree=84413004/131655788 swapFree=131060868/131071996
[pid=274452] ppid=274449 vsize=18993908 memory=56652 CPUtime=0.11 cores=0,2
/proc/274452/stat : 274452 (java) S 274449 274452 270216 0 -1 1077936128 6484 0 0 0 8 3 0 0 20 0 18 0 25413426 19449761792 14163 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
/proc/274452/statm: 4748477 14163 5821 1 0 550818 0
[pid=274452/tid=274454] ppid=274449 vsize=18993908 memory=4026561586 CPUtime=0.07 cores=0,2
/proc/274452/task/274454/stat : 274454 (java) R 274449 274452 270216 0 -1 4194368 5386 0 0 0 4 3 0 0 20 0 18 0 25413427 19449761792 14163 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274463] ppid=274449 vsize=18993908 memory=232851243367 CPUtime=0 cores=0,2
/proc/274452/task/274463/stat : 274463 (Finalizer) S 274449 274452 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 25413432 19449761792 14163 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274470] ppid=274449 vsize=18993908 memory=3618136736603296184 CPUtime=0 cores=0,2
/proc/274452/task/274470/stat : 274470 (Common-Cleaner) S 274449 274452 270216 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 25413433 19449761792 14163 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 56652 KiB

[startup+0.223183 s]*
/proc/loadavg: 4.95 5.12 5.15 7/349 274470
/proc/meminfo: memFree=84402300/131655788 swapFree=131060868/131071996
[pid=274452] ppid=274449 vsize=18993908 memory=65412 CPUtime=0.29 cores=0,2
/proc/274452/stat : 274452 (java) S 274449 274452 270216 0 -1 1077936128 7154 0 0 0 25 4 0 0 20 0 18 0 25413426 19449761792 16353 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
/proc/274452/statm: 4748477 16353 5846 1 0 551367 0
[pid=274452/tid=274454] ppid=274449 vsize=18993908 memory=4782652875487838339 CPUtime=0.18 cores=0,2
/proc/274452/task/274454/stat : 274454 (java) R 274449 274452 270216 0 -1 4194368 5743 0 0 0 15 3 0 0 20 0 18 0 25413427 19449761792 16353 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274463] ppid=274449 vsize=18993908 memory=1967857 CPUtime=0 cores=0,2
/proc/274452/task/274463/stat : 274463 (Finalizer) S 274449 274452 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 25413432 19449761792 16353 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274470] ppid=274449 vsize=18993908 memory=3689070655443366200 CPUtime=0 cores=0,2
/proc/274452/task/274470/stat : 274470 (Common-Cleaner) S 274449 274452 270216 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 25413433 19449761792 16353 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 65412 KiB

[startup+0.322019 s]*
/proc/loadavg: 4.95 5.12 5.15 6/349 274470
/proc/meminfo: memFree=84394116/131655788 swapFree=131060868/131071996
[pid=274452] ppid=274449 vsize=18993908 memory=69188 CPUtime=0.43 cores=0,2
/proc/274452/stat : 274452 (java) S 274449 274452 270216 0 -1 1077936128 7401 0 0 0 38 5 0 0 20 0 18 0 25413426 19449761792 17297 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
/proc/274452/statm: 4748477 17297 5988 1 0 551587 0
[pid=274452/tid=274454] ppid=274449 vsize=18993908 memory=-8527959967999435452 CPUtime=0.26 cores=0,2
/proc/274452/task/274454/stat : 274454 (java) R 274449 274452 270216 0 -1 4194368 5935 0 0 0 22 4 0 0 20 0 18 0 25413427 19449761792 17297 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274463] ppid=274449 vsize=18993908 memory=0 CPUtime=0 cores=0,2
/proc/274452/task/274463/stat : 274463 (Finalizer) S 274449 274452 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 25413432 19449761792 17297 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274470] ppid=274449 vsize=18993908 memory=0 CPUtime=0 cores=0,2
/proc/274452/task/274470/stat : 274470 (Common-Cleaner) S 274449 274452 270216 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 25413433 19449761792 17297 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 69188 KiB

[startup+0.70275 s]
/proc/loadavg: 4.95 5.12 5.15 7/349 274470
/proc/meminfo: memFree=84366356/131655788 swapFree=131060868/131071996
[pid=274452] ppid=274449 vsize=18993908 memory=103992 CPUtime=1.12 cores=0,2
/proc/274452/stat : 274452 (java) S 274449 274452 270216 0 -1 1077936128 9570 0 0 0 106 6 0 0 20 0 18 0 25413426 19449761792 25998 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
/proc/274452/statm: 4748477 25998 6076 1 0 553018 0
[pid=274452/tid=274454] ppid=274449 vsize=18993908 memory=5640 CPUtime=0.56 cores=0,2
/proc/274452/task/274454/stat : 274454 (java) R 274449 274452 270216 0 -1 4194368 5997 0 0 0 51 5 0 0 20 0 18 0 25413427 19449761792 25998 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274463] ppid=274449 vsize=18993908 memory=12240 CPUtime=0 cores=0,2
/proc/274452/task/274463/stat : 274463 (Finalizer) S 274449 274452 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 25413432 19449761792 25998 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274470] ppid=274449 vsize=18993908 memory=4917 CPUtime=0 cores=0,2
/proc/274452/task/274470/stat : 274470 (Common-Cleaner) S 274449 274452 270216 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 18 0 25413433 19449761792 25998 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 103992 KiB

[startup+1.5008 s]
/proc/loadavg: 4.95 5.12 5.15 7/350 274471
/proc/meminfo: memFree=84265760/131655788 swapFree=131060868/131071996
[pid=274452] ppid=274449 vsize=19060472 memory=198168 CPUtime=2.66 cores=0,2
/proc/274452/stat : 274452 (java) S 274449 274452 270216 0 -1 1077936128 19076 0 0 0 255 11 0 0 20 0 19 0 25413426 19517923328 49542 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
/proc/274452/statm: 4765118 49542 6124 1 0 556245 0
[pid=274452/tid=274454] ppid=274449 vsize=19060472 memory=4917 CPUtime=1.24 cores=0,2
/proc/274452/task/274454/stat : 274454 (java) R 274449 274452 270216 0 -1 4194368 6189 0 0 0 117 7 0 0 20 0 19 0 25413427 19517923328 49542 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274463] ppid=274449 vsize=19060472 memory=0 CPUtime=0 cores=0,2
/proc/274452/task/274463/stat : 274463 (Finalizer) S 274449 274452 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 25413432 19517923328 49542 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274470] ppid=274449 vsize=19060472 memory=12240 CPUtime=0 cores=0,2
/proc/274452/task/274470/stat : 274470 (Common-Cleaner) S 274449 274452 270216 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 25413433 19517923328 49542 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
Current children cumulated CPU time: 2.66 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 198168 KiB

[startup+3.1068 s]
/proc/loadavg: 5.03 5.14 5.15 12/351 274474
/proc/meminfo: memFree=84129800/131655788 swapFree=131060868/131071996
[pid=274452] ppid=274449 vsize=19127036 memory=429016 CPUtime=5.82 cores=0,2
/proc/274452/stat : 274452 (java) S 274449 274452 270216 0 -1 1077936128 26817 0 0 0 565 17 0 0 20 0 20 0 25413426 19586084864 107254 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
/proc/274452/statm: 4781759 107254 6178 1 0 1072740 0
[pid=274452/tid=274454] ppid=274449 vsize=19127036 memory=12240 CPUtime=2.72 cores=0,2
/proc/274452/task/274454/stat : 274454 (java) R 274449 274452 270216 0 -1 4194368 8241 0 0 0 262 10 0 0 20 0 20 0 25413427 19586084864 107254 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274463] ppid=274449 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/274452/task/274463/stat : 274463 (Finalizer) S 274449 274452 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25413432 19586084864 107254 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274470] ppid=274449 vsize=19127036 memory=6657 CPUtime=0 cores=0,2
/proc/274452/task/274470/stat : 274470 (Common-Cleaner) S 274449 274452 270216 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 25413433 19586084864 107254 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274474] ppid=274449 vsize=19127036 memory=4420 CPUtime=0 cores=0,2
/proc/274452/task/274474/stat : 274474 (Timer-0) S 274449 274452 270216 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25413635 19586084864 107254 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
Current children cumulated CPU time: 5.82 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 429016 KiB

[startup+6.3008 s]
/proc/loadavg: 5.03 5.14 5.15 7/351 274474
/proc/meminfo: memFree=83811928/131655788 swapFree=131060868/131071996
[pid=274452] ppid=274449 vsize=19127036 memory=483184 CPUtime=10.2 cores=0,2
/proc/274452/stat : 274452 (java) S 274449 274452 270216 0 -1 1077936128 27589 0 0 0 1001 19 0 0 20 0 20 0 25413426 19586084864 120796 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
/proc/274452/statm: 4781759 120796 6178 1 0 1072781 0
[pid=274452/tid=274454] ppid=274449 vsize=19127036 memory=0 CPUtime=5.8 cores=0,2
/proc/274452/task/274454/stat : 274454 (java) R 274449 274452 270216 0 -1 4194368 8256 0 0 0 568 12 0 0 20 0 20 0 25413427 19586084864 120796 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274463] ppid=274449 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/274452/task/274463/stat : 274463 (Finalizer) S 274449 274452 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25413432 19586084864 120796 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274470] ppid=274449 vsize=19127036 memory=12240 CPUtime=0 cores=0,2
/proc/274452/task/274470/stat : 274470 (Common-Cleaner) S 274449 274452 270216 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 20 0 25413433 19586084864 120796 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274474] ppid=274449 vsize=19127036 memory=6944656591801720226 CPUtime=0 cores=0,2
/proc/274452/task/274474/stat : 274474 (Timer-0) S 274449 274452 270216 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25413635 19586084864 120796 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
Current children cumulated CPU time: 10.2 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 483184 KiB

[startup+12.7004 s]
/proc/loadavg: 4.87 5.10 5.14 5/351 274475
/proc/meminfo: memFree=83540384/131655788 swapFree=131060868/131071996
[pid=274452] ppid=274449 vsize=19127036 memory=534712 CPUtime=16.9 cores=0,2
/proc/274452/stat : 274452 (java) S 274449 274452 270216 0 -1 1077936128 29409 0 0 0 1667 23 0 0 20 0 20 0 25413426 19586084864 133678 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
/proc/274452/statm: 4781759 133678 6178 1 0 1072781 0
[pid=274452/tid=274454] ppid=274449 vsize=19127036 memory=12240 CPUtime=12.06 cores=0,2
/proc/274452/task/274454/stat : 274454 (java) R 274449 274452 270216 0 -1 4194368 8865 0 0 0 1192 14 0 0 20 0 20 0 25413427 19586084864 133678 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274463] ppid=274449 vsize=19127036 memory=483184 CPUtime=0 cores=0,2
/proc/274452/task/274463/stat : 274463 (Finalizer) S 274449 274452 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25413432 19586084864 133678 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274470] ppid=274449 vsize=19127036 memory=508020 CPUtime=0 cores=0,2
/proc/274452/task/274470/stat : 274470 (Common-Cleaner) S 274449 274452 270216 0 -1 1077936192 39 0 0 0 0 0 0 0 20 0 20 0 25413433 19586084864 133678 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274474] ppid=274449 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/274452/task/274474/stat : 274474 (Timer-0) S 274449 274452 270216 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25413635 19586084864 133678 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
Current children cumulated CPU time: 16.9 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 534712 KiB

[startup+25.5005 s]
/proc/loadavg: 4.82 5.08 5.13 5/350 274477
/proc/meminfo: memFree=82247608/131655788 swapFree=131060868/131071996
[pid=274452] ppid=274449 vsize=19127036 memory=682660 CPUtime=30.42 cores=0,2
/proc/274452/stat : 274452 (java) S 274449 274452 270216 0 -1 1077936128 36501 0 0 0 3010 32 0 0 20 0 20 0 25413426 19586084864 170665 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
/proc/274452/statm: 4781759 170665 6210 1 0 1072797 0
[pid=274452/tid=274454] ppid=274449 vsize=19127036 memory=508020 CPUtime=24.39 cores=0,2
/proc/274452/task/274454/stat : 274454 (java) R 274449 274452 270216 0 -1 4194368 10744 0 0 0 2421 18 0 0 20 0 20 0 25413427 19586084864 170665 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274463] ppid=274449 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/274452/task/274463/stat : 274463 (Finalizer) S 274449 274452 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25413432 19586084864 170665 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274470] ppid=274449 vsize=19127036 memory=682660 CPUtime=0 cores=0,2
/proc/274452/task/274470/stat : 274470 (Common-Cleaner) S 274449 274452 270216 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 25413433 19586084864 170665 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274474] ppid=274449 vsize=19127036 memory=670316 CPUtime=0 cores=0,2
/proc/274452/task/274474/stat : 274474 (Timer-0) S 274449 274452 270216 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25413635 19586084864 170665 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
Current children cumulated CPU time: 30.42 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 682660 KiB

[startup+51.1157 s]
/proc/loadavg: 4.54 4.99 5.10 5/348 274649
/proc/meminfo: memFree=80451604/131655788 swapFree=131060868/131071996
[pid=274452] ppid=274449 vsize=19127036 memory=1355488 CPUtime=56.64 cores=0,2
/proc/274452/stat : 274452 (java) S 274449 274452 270216 0 -1 1077936128 44904 0 0 0 5609 55 0 0 20 0 20 0 25413426 19586084864 338872 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
/proc/274452/statm: 4781759 338872 6210 1 0 1072983 0
[pid=274452/tid=274454] ppid=274449 vsize=19127036 memory=12264 CPUtime=49.33 cores=0,2
/proc/274452/task/274454/stat : 274454 (java) R 274449 274452 270216 0 -1 4194368 12689 0 0 0 4899 34 0 0 20 0 20 0 25413427 19586084864 338872 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274463] ppid=274449 vsize=19127036 memory=916288 CPUtime=0 cores=0,2
/proc/274452/task/274463/stat : 274463 (Finalizer) S 274449 274452 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25413432 19586084864 338872 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274470] ppid=274449 vsize=19127036 memory=1699 CPUtime=0 cores=0,2
/proc/274452/task/274470/stat : 274470 (Common-Cleaner) S 274449 274452 270216 0 -1 1077936192 51 0 0 0 0 0 0 0 20 0 20 0 25413433 19586084864 338872 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274474] ppid=274449 vsize=19127036 memory=0 CPUtime=0 cores=0,2
/proc/274452/task/274474/stat : 274474 (Timer-0) S 274449 274452 270216 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25413635 19586084864 338872 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0

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

[startup+3282.3 s]
/proc/loadavg: 3.12 3.38 3.96 4/296 276126
/proc/meminfo: memFree=96849020/131655788 swapFree=131060868/131071996
[pid=274452] ppid=274449 vsize=19127036 memory=3854728 CPUtime=3284.54 cores=0,2
/proc/274452/stat : 274452 (java) S 274449 274452 270216 0 -1 1077936128 376470 0 0 0 327745 709 0 0 20 0 20 0 25413426 19586084864 963682 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
/proc/274452/statm: 4781759 963682 6226 1 0 1073010 0
[pid=274452/tid=274454] ppid=274449 vsize=19127036 memory=2676 CPUtime=3257.68 cores=0,2
/proc/274452/task/274454/stat : 274454 (java) R 274449 274452 270216 0 -1 4194368 175282 0 0 0 325245 523 0 0 20 0 20 0 25413427 19586084864 963682 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 271 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274463] ppid=274449 vsize=19127036 memory=5092 CPUtime=0 cores=0,2
/proc/274452/task/274463/stat : 274463 (Finalizer) S 274449 274452 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25413432 19586084864 963682 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274470] ppid=274449 vsize=19127036 memory=11136560 CPUtime=0 cores=0,2
/proc/274452/task/274470/stat : 274470 (Common-Cleaner) S 274449 274452 270216 0 -1 1077936192 3995 0 0 0 0 0 0 0 20 0 20 0 25413433 19586084864 963682 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274474] ppid=274449 vsize=19127036 memory=2688 CPUtime=0 cores=0,2
/proc/274452/task/274474/stat : 274474 (Timer-0) S 274449 274452 270216 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25413635 19586084864 963682 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
Current children cumulated CPU time: 3284.54 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3854728 KiB

[startup+3342.3 s]
/proc/loadavg: 3.07 3.33 3.90 4/296 276137
/proc/meminfo: memFree=96622868/131655788 swapFree=131060868/131071996
[pid=274452] ppid=274449 vsize=19127036 memory=3854728 CPUtime=3344.51 cores=0,2
/proc/274452/stat : 274452 (java) S 274449 274452 270216 0 -1 1077936128 383141 0 0 0 333732 719 0 0 20 0 20 0 25413426 19586084864 963682 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
/proc/274452/statm: 4781759 963682 6226 1 0 1073010 0
[pid=274452/tid=274454] ppid=274449 vsize=19127036 memory=2680 CPUtime=3317.23 cores=0,2
/proc/274452/task/274454/stat : 274454 (java) R 274449 274452 270216 0 -1 4194368 180686 0 0 0 331193 530 0 0 20 0 20 0 25413427 19586084864 963682 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 276 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274463] ppid=274449 vsize=19127036 memory=5012 CPUtime=0 cores=0,2
/proc/274452/task/274463/stat : 274463 (Finalizer) S 274449 274452 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25413432 19586084864 963682 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274470] ppid=274449 vsize=19127036 memory=2090592 CPUtime=0 cores=0,2
/proc/274452/task/274470/stat : 274470 (Common-Cleaner) S 274449 274452 270216 0 -1 1077936192 4092 0 0 0 0 0 0 0 20 0 20 0 25413433 19586084864 963682 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274474] ppid=274449 vsize=19127036 memory=19432 CPUtime=0 cores=0,2
/proc/274452/task/274474/stat : 274474 (Timer-0) S 274449 274452 270216 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25413635 19586084864 963682 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
Current children cumulated CPU time: 3344.51 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3854728 KiB

[startup+3402.3 s]
/proc/loadavg: 3.12 3.29 3.85 4/296 276147
/proc/meminfo: memFree=96315504/131655788 swapFree=131060868/131071996
[pid=274452] ppid=274449 vsize=19127036 memory=3854744 CPUtime=3404.28 cores=0,2
/proc/274452/stat : 274452 (java) S 274449 274452 270216 0 -1 1077936128 389309 0 0 0 339701 727 0 0 20 0 20 0 25413426 19586084864 963686 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
/proc/274452/statm: 4781759 963686 6226 1 0 1073010 0
[pid=274452/tid=274454] ppid=274449 vsize=19127036 memory=1967773 CPUtime=3376.78 cores=0,2
/proc/274452/task/274454/stat : 274454 (java) R 274449 274452 270216 0 -1 4194368 186287 0 0 0 337141 537 0 0 20 0 20 0 25413427 19586084864 963686 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 289 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274463] ppid=274449 vsize=19127036 memory=1968579 CPUtime=0 cores=0,2
/proc/274452/task/274463/stat : 274463 (Finalizer) S 274449 274452 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25413432 19586084864 963686 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274470] ppid=274449 vsize=19127036 memory=4004739 CPUtime=0 cores=0,2
/proc/274452/task/274470/stat : 274470 (Common-Cleaner) S 274449 274452 270216 0 -1 1077936192 4233 0 0 0 0 0 0 0 20 0 20 0 25413433 19586084864 963686 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274474] ppid=274449 vsize=19127036 memory=-9104697797233058492 CPUtime=0 cores=0,2
/proc/274452/task/274474/stat : 274474 (Timer-0) S 274449 274452 270216 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25413635 19586084864 963686 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
Current children cumulated CPU time: 3404.28 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3854744 KiB

[startup+3462.3 s]
/proc/loadavg: 2.87 3.20 3.78 3/270 276573
/proc/meminfo: memFree=116241452/131655788 swapFree=131060868/131071996
[pid=274452] ppid=274449 vsize=19127036 memory=3887556 CPUtime=3464.31 cores=0,2
/proc/274452/stat : 274452 (java) S 274449 274452 270216 0 -1 1077936128 399434 0 0 0 345691 740 0 0 20 0 20 0 25413426 19586084864 971889 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
/proc/274452/statm: 4781759 971889 6226 1 0 1073010 0
[pid=274452/tid=274454] ppid=274449 vsize=19127036 memory=1967773 CPUtime=3436.24 cores=0,2
/proc/274452/task/274454/stat : 274454 (java) R 274449 274452 270216 0 -1 4194368 191025 0 0 0 343078 546 0 0 20 0 20 0 25413427 19586084864 971889 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 295 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274463] ppid=274449 vsize=19127036 memory=1968579 CPUtime=0 cores=0,2
/proc/274452/task/274463/stat : 274463 (Finalizer) S 274449 274452 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25413432 19586084864 971889 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274470] ppid=274449 vsize=19127036 memory=1977528 CPUtime=0 cores=0,2
/proc/274452/task/274470/stat : 274470 (Common-Cleaner) S 274449 274452 270216 0 -1 1077936192 4234 0 0 0 0 0 0 0 20 0 20 0 25413433 19586084864 971889 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274474] ppid=274449 vsize=19127036 memory=28068 CPUtime=0 cores=0,2
/proc/274452/task/274474/stat : 274474 (Timer-0) S 274449 274452 270216 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25413635 19586084864 971889 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
Current children cumulated CPU time: 3464.31 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3887556 KiB

[startup+3522.3 s]
/proc/loadavg: 2.58 3.05 3.69 3/267 276584
/proc/meminfo: memFree=116129472/131655788 swapFree=131060868/131071996
[pid=274452] ppid=274449 vsize=19127036 memory=3887580 CPUtime=3524.19 cores=0,2
/proc/274452/stat : 274452 (java) S 274449 274452 270216 0 -1 1077936128 407090 0 0 0 351672 747 0 0 20 0 20 0 25413426 19586084864 971895 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
/proc/274452/statm: 4781759 971895 6226 1 0 1073010 0
[pid=274452/tid=274454] ppid=274449 vsize=19127036 memory=100 CPUtime=3495.87 cores=0,2
/proc/274452/task/274454/stat : 274454 (java) R 274449 274452 270216 0 -1 4194368 197668 0 0 0 349036 551 0 0 20 0 20 0 25413427 19586084864 971895 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 300 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274463] ppid=274449 vsize=19127036 memory=20964 CPUtime=0 cores=0,2
/proc/274452/task/274463/stat : 274463 (Finalizer) S 274449 274452 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25413432 19586084864 971895 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274470] ppid=274449 vsize=19127036 memory=2252 CPUtime=0 cores=0,2
/proc/274452/task/274470/stat : 274470 (Common-Cleaner) S 274449 274452 270216 0 -1 1077936192 4293 0 0 0 0 0 0 0 20 0 20 0 25413433 19586084864 971895 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274474] ppid=274449 vsize=19127036 memory=5796695868719759386 CPUtime=0 cores=0,2
/proc/274452/task/274474/stat : 274474 (Timer-0) S 274449 274452 270216 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25413635 19586084864 971895 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
Current children cumulated CPU time: 3524.19 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3887580 KiB

[startup+3582.3 s]
/proc/loadavg: 2.75 3.02 3.64 3/267 276594
/proc/meminfo: memFree=116003632/131655788 swapFree=131060868/131071996
[pid=274452] ppid=274449 vsize=19127036 memory=3901944 CPUtime=3584.18 cores=0,2
/proc/274452/stat : 274452 (java) S 274449 274452 270216 0 -1 1077936128 415870 0 0 0 357662 756 0 0 20 0 20 0 25413426 19586084864 975486 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
/proc/274452/statm: 4781759 975486 6226 1 0 1073010 0
[pid=274452/tid=274454] ppid=274449 vsize=19127036 memory=1967773 CPUtime=3555.43 cores=0,2
/proc/274452/task/274454/stat : 274454 (java) R 274449 274452 270216 0 -1 4194368 204617 0 0 0 354985 558 0 0 20 0 20 0 25413427 19586084864 975486 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 304 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274463] ppid=274449 vsize=19127036 memory=1968579 CPUtime=0 cores=0,2
/proc/274452/task/274463/stat : 274463 (Finalizer) S 274449 274452 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25413432 19586084864 975486 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274470] ppid=274449 vsize=19127036 memory=52 CPUtime=0 cores=0,2
/proc/274452/task/274470/stat : 274470 (Common-Cleaner) S 274449 274452 270216 0 -1 1077936192 4400 0 0 0 0 0 0 0 20 0 20 0 25413433 19586084864 975486 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274474] ppid=274449 vsize=19127036 memory=1940 CPUtime=0 cores=0,2
/proc/274452/task/274474/stat : 274474 (Timer-0) S 274449 274452 270216 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25413635 19586084864 975486 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
Current children cumulated CPU time: 3584.18 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3901944 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3598.21 s]
/proc/loadavg: 2.54 2.95 3.60 3/267 276596
/proc/meminfo: memFree=115973780/131655788 swapFree=131060868/131071996
[pid=274452] ppid=274449 vsize=19127036 memory=3901944 CPUtime=3600.05 cores=0,2
/proc/274452/stat : 274452 (java) S 274449 274452 270216 0 -1 1077936128 416428 0 0 0 359247 758 0 0 20 0 20 0 25413426 19586084864 975486 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
/proc/274452/statm: 4781759 975486 6226 1 0 1073010 0
[pid=274452/tid=274454] ppid=274449 vsize=19127036 memory=71048 CPUtime=3571.29 cores=0,2
/proc/274452/task/274454/stat : 274454 (java) R 274449 274452 270216 0 -1 4194368 205175 0 0 0 356571 558 0 0 20 0 20 0 25413427 19586084864 975486 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 304 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274463] ppid=274449 vsize=19127036 memory=3901944 CPUtime=0 cores=0,2
/proc/274452/task/274463/stat : 274463 (Finalizer) S 274449 274452 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25413432 19586084864 975486 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274470] ppid=274449 vsize=19127036 memory=3901944 CPUtime=0 cores=0,2
/proc/274452/task/274470/stat : 274470 (Common-Cleaner) S 274449 274452 270216 0 -1 1077936192 4400 0 0 0 0 0 0 0 20 0 20 0 25413433 19586084864 975486 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274474] ppid=274449 vsize=19127036 memory=12264 CPUtime=0 cores=0,2
/proc/274452/task/274474/stat : 274474 (Timer-0) S 274449 274452 270216 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25413635 19586084864 975486 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3901944 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.61 s, system=7.62601 s

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

[startup+3598.3 s]
/proc/loadavg: 2.54 2.95 3.60 3/267 276596
/proc/meminfo: memFree=115973780/131655788 swapFree=131060868/131071996
[pid=274452] ppid=274449 vsize=19326728 memory=3902640 CPUtime=3600.2 cores=0,2
/proc/274452/stat : 274452 (java) S 274449 274452 270216 0 -1 1077936128 419289 0 0 0 359261 759 0 0 20 0 15 0 25413426 19790569472 975660 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
/proc/274452/statm: 4831682 975660 6225 1 0 1073929 0
[pid=274452/tid=274454] ppid=274449 vsize=19326728 memory=-8527959967999435452 CPUtime=3571.31 cores=0,2
/proc/274452/task/274454/stat : 274454 (java) S 274449 274452 270216 0 -1 1077936192 205479 0 0 0 356573 558 0 0 20 0 15 0 25413427 19790569472 975660 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 304 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274463] ppid=274449 vsize=19326728 memory=2688 CPUtime=0 cores=0,2
/proc/274452/task/274463/stat : 274463 (Finalizer) S 274449 274452 270216 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 15 0 25413432 19790569472 975660 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
[pid=274452/tid=274470] ppid=274449 vsize=19326728 memory=4876 CPUtime=0 cores=0,2
/proc/274452/task/274470/stat : 274470 (Common-Cleaner) S 274449 274452 270216 0 -1 1077936192 4400 0 0 0 0 0 0 0 20 0 15 0 25413433 19790569472 975660 134679101440 94779099512832 94779099516528 140732811541264 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94779099524344 94779099525136 94779116982272 140732811543471 140732811543653 140732811543653 140732811550664 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 19326728 KiB
Current children cumulated memory: 3902640 KiB

Child status: 143

Real time (s): 3598.34
CPU time (s): 3600.24
CPU user time (s): 3592.61
CPU system time (s): 7.62601
CPU usage (%): 100.053
Max. virtual memory (cumulated for all children) (KiB): 19326728
Max. memory (cumulated for all children) (KiB): 3902640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.61
system time used= 7.62601
maximum resident set size= 3903596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 419355
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7003640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109256
involuntary context switches= 25864


# summary of solver processes directly reported to runsolver:
#   pid: 274452
#   total CPU time (s): 3600.24
#   total CPU user time (s): 3592.61
#   total CPU system time (s): 7.62601

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9931 second user time and 43.1121 second system time

The end