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 (59928 MiB free)
memory of node 1: 64510 MiB (60581 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452211-1721444901/watcher-4452211-1721444901 -o /tmp/evaluation-result-4452211-1721444901/solver-4452211-1721444901 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721444913-1069361 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4452211-1721444901.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
solver pid=1069420, runsolver pid=1069416
Current StackSize limit: 8192 KiB
[startup+0.10058 s]*
/proc/loadavg: 3.66 4.02 4.10 10/324 1069490
/proc/meminfo: memFree=123278448/131524600 swapFree=131071996/131071996
[pid=1069420] ppid=1069416 vsize=18975048 memory=63016 CPUtime=0.13 cores=5,7
/proc/1069420/stat : 1069420 (java) S 1069416 1069420 1069348 0 -1 1077936128 7257 0 0 0 12 1 0 0 20 0 18 0 196655450 19430449152 15754 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
/proc/1069420/statm: 4743762 15754 5593 1 0 549374 0
[pid=1069420/tid=1069423] ppid=1069416 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=5,7
/proc/1069420/task/1069423/stat : 1069423 (java) R 1069416 1069420 1069348 0 -1 1078198336 5774 0 0 0 7 1 0 0 20 0 18 0 196655450 19430449152 15754 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069446] ppid=1069416 vsize=18975048 memory=1670 CPUtime=0 cores=5,7
/proc/1069420/task/1069446/stat : 1069446 (Finalizer) S 1069416 1069420 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 196655453 19430449152 15754 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069458] ppid=1069416 vsize=18975048 memory=14418111545738792 CPUtime=0 cores=5,7
/proc/1069420/task/1069458/stat : 1069458 (Common-Cleaner) S 1069416 1069420 1069348 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 196655453 19430449152 15754 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63016 KiB
[startup+0.215708 s]*
/proc/loadavg: 3.66 4.02 4.10 14/324 1069490
/proc/meminfo: memFree=123178192/131524600 swapFree=131071996/131071996
[pid=1069420] ppid=1069416 vsize=18975048 memory=79428 CPUtime=0.35 cores=5,7
/proc/1069420/stat : 1069420 (java) S 1069416 1069420 1069348 0 -1 1077936128 8357 0 0 0 33 2 0 0 20 0 18 0 196655450 19430449152 19857 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
/proc/1069420/statm: 4743762 19857 5839 1 0 550039 0
[pid=1069420/tid=1069423] ppid=1069416 vsize=18975048 memory=6876556183782621315 CPUtime=0.19 cores=5,7
/proc/1069420/task/1069423/stat : 1069423 (java) R 1069416 1069420 1069348 0 -1 4194368 6015 0 0 0 18 1 0 0 20 0 18 0 196655450 19430449152 19857 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069446] ppid=1069416 vsize=18975048 memory=1670 CPUtime=0 cores=5,7
/proc/1069420/task/1069446/stat : 1069446 (Finalizer) S 1069416 1069420 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 196655453 19430449152 19857 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069458] ppid=1069416 vsize=18975048 memory=14418111545738792 CPUtime=0 cores=5,7
/proc/1069420/task/1069458/stat : 1069458 (Common-Cleaner) S 1069416 1069420 1069348 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 196655453 19430449152 19857 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 79428 KiB
[startup+0.304715 s]*
/proc/loadavg: 3.66 4.02 4.10 14/326 1069492
/proc/meminfo: memFree=122978580/131524600 swapFree=131071996/131071996
[pid=1069420] ppid=1069416 vsize=19041612 memory=167240 CPUtime=0.53 cores=5,7
/proc/1069420/stat : 1069420 (java) S 1069416 1069420 1069348 0 -1 1077936128 9653 0 0 0 50 3 0 0 20 0 19 0 196655450 19498610688 41810 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
/proc/1069420/statm: 4760403 41810 5854 1 0 551147 0
[pid=1069420/tid=1069423] ppid=1069416 vsize=19041612 memory=-7163077989868791139 CPUtime=0.26 cores=5,7
/proc/1069420/task/1069423/stat : 1069423 (java) S 1069416 1069420 1069348 0 -1 1077936192 6092 0 0 0 24 2 0 0 20 0 19 0 196655450 19498610688 41810 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069446] ppid=1069416 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1069420/task/1069446/stat : 1069446 (Finalizer) S 1069416 1069420 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 196655453 19498610688 41810 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069458] ppid=1069416 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1069420/task/1069458/stat : 1069458 (Common-Cleaner) S 1069416 1069420 1069348 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 196655453 19498610688 41810 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 167240 KiB
[startup+0.700711 s]
/proc/loadavg: 3.66 4.02 4.10 11/327 1069493
/proc/meminfo: memFree=122313084/131524600 swapFree=131071996/131071996
[pid=1069420] ppid=1069416 vsize=19041612 memory=997884 CPUtime=1.28 cores=5,7
/proc/1069420/stat : 1069420 (java) S 1069416 1069420 1069348 0 -1 1077936128 11789 0 0 0 109 19 0 0 20 0 19 0 196655450 19498610688 249471 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
/proc/1069420/statm: 4760403 249471 5854 1 0 552338 0
[pid=1069420/tid=1069423] ppid=1069416 vsize=19041612 memory=5448 CPUtime=0.61 cores=5,7
/proc/1069420/task/1069423/stat : 1069423 (java) R 1069416 1069420 1069348 0 -1 4194368 6492 0 0 0 44 17 0 0 20 0 19 0 196655450 19498610688 249471 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069446] ppid=1069416 vsize=19041612 memory=13040 CPUtime=0 cores=5,7
/proc/1069420/task/1069446/stat : 1069446 (Finalizer) S 1069416 1069420 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 196655453 19498610688 249471 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069458] ppid=1069416 vsize=19041612 memory=1956 CPUtime=0 cores=5,7
/proc/1069420/task/1069458/stat : 1069458 (Common-Cleaner) S 1069416 1069420 1069348 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 196655453 19498610688 249471 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 997884 KiB
[startup+1.50029 s]
/proc/loadavg: 3.66 4.02 4.10 12/329 1069495
/proc/meminfo: memFree=119583044/131524600 swapFree=131071996/131071996
[pid=1069420] ppid=1069416 vsize=19041612 memory=3428424 CPUtime=2.69 cores=5,7
/proc/1069420/stat : 1069420 (java) S 1069416 1069420 1069348 0 -1 1077936128 21958 0 0 0 203 66 0 0 20 0 19 0 196655450 19498610688 857106 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
/proc/1069420/statm: 4760403 857106 5854 1 0 1093110 0
[pid=1069420/tid=1069423] ppid=1069416 vsize=19041612 memory=13040 CPUtime=1.38 cores=5,7
/proc/1069420/task/1069423/stat : 1069423 (java) R 1069416 1069420 1069348 0 -1 4194368 7670 0 0 0 76 62 0 0 20 0 19 0 196655450 19498610688 857106 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069446] ppid=1069416 vsize=19041612 memory=1956 CPUtime=0 cores=5,7
/proc/1069420/task/1069446/stat : 1069446 (Finalizer) S 1069416 1069420 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 196655453 19498610688 857106 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069458] ppid=1069416 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1069420/task/1069458/stat : 1069458 (Common-Cleaner) S 1069416 1069420 1069348 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 196655453 19498610688 857106 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 3428424 KiB
[startup+3.10671 s]
/proc/loadavg: 3.66 4.02 4.10 9/331 1069497
/proc/meminfo: memFree=115482648/131524600 swapFree=131071996/131071996
[pid=1069420] ppid=1069416 vsize=19108176 memory=3429208 CPUtime=4.94 cores=5,7
/proc/1069420/stat : 1069420 (java) S 1069416 1069420 1069348 0 -1 1077936128 22207 0 0 0 428 66 0 0 20 0 20 0 196655450 19566772224 857302 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
/proc/1069420/statm: 4777044 857302 5854 1 0 1093466 0
[pid=1069420/tid=1069423] ppid=1069416 vsize=19108176 memory=0 CPUtime=2.97 cores=5,7
/proc/1069420/task/1069423/stat : 1069423 (java) R 1069416 1069420 1069348 0 -1 4194368 7710 0 0 0 234 63 0 0 20 0 20 0 196655450 19566772224 857302 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069446] ppid=1069416 vsize=19108176 memory=13040 CPUtime=0 cores=5,7
/proc/1069420/task/1069446/stat : 1069446 (Finalizer) S 1069416 1069420 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196655453 19566772224 857302 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069458] ppid=1069416 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1069420/task/1069458/stat : 1069458 (Common-Cleaner) S 1069416 1069420 1069348 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 196655453 19566772224 857302 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069497] ppid=1069416 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1069420/task/1069497/stat : 1069497 (Timer-0) S 1069416 1069420 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196655704 19566772224 857302 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
Current children cumulated CPU time: 4.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3429208 KiB
[startup+6.30478 s]
/proc/loadavg: 3.85 4.06 4.11 7/331 1069499
/proc/meminfo: memFree=115157384/131524600 swapFree=131071996/131071996
[pid=1069420] ppid=1069416 vsize=19108176 memory=3430344 CPUtime=9.55 cores=5,7
/proc/1069420/stat : 1069420 (java) S 1069416 1069420 1069348 0 -1 1077936128 22486 0 0 0 888 67 0 0 20 0 20 0 196655450 19566772224 857586 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
/proc/1069420/statm: 4777044 857586 5854 1 0 1093498 0
[pid=1069420/tid=1069423] ppid=1069416 vsize=19108176 memory=13040 CPUtime=6.15 cores=5,7
/proc/1069420/task/1069423/stat : 1069423 (java) R 1069416 1069420 1069348 0 -1 4194368 7730 0 0 0 552 63 0 0 20 0 20 0 196655450 19566772224 857586 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069446] ppid=1069416 vsize=19108176 memory=-7163077989868989027 CPUtime=0 cores=5,7
/proc/1069420/task/1069446/stat : 1069446 (Finalizer) S 1069416 1069420 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196655453 19566772224 857586 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069458] ppid=1069416 vsize=19108176 memory=7372786582024121444 CPUtime=0 cores=5,7
/proc/1069420/task/1069458/stat : 1069458 (Common-Cleaner) S 1069416 1069420 1069348 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 196655453 19566772224 857586 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069497] ppid=1069416 vsize=19108176 memory=3428424 CPUtime=0 cores=5,7
/proc/1069420/task/1069497/stat : 1069497 (Timer-0) S 1069416 1069420 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196655704 19566772224 857586 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
Current children cumulated CPU time: 9.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3430344 KiB
[startup+12.7003 s]
/proc/loadavg: 3.86 4.05 4.11 5/331 1069499
/proc/meminfo: memFree=114809204/131524600 swapFree=131071996/131071996
[pid=1069420] ppid=1069416 vsize=19108176 memory=3431028 CPUtime=17.52 cores=5,7
/proc/1069420/stat : 1069420 (java) S 1069416 1069420 1069348 0 -1 1077936128 22779 0 0 0 1684 68 0 0 20 0 20 0 196655450 19566772224 857757 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
/proc/1069420/statm: 4777044 857757 5854 1 0 1093515 0
[pid=1069420/tid=1069423] ppid=1069416 vsize=19108176 memory=46916 CPUtime=12.52 cores=5,7
/proc/1069420/task/1069423/stat : 1069423 (java) R 1069416 1069420 1069348 0 -1 4194368 7824 0 0 0 1189 63 0 0 20 0 20 0 196655450 19566772224 857757 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069446] ppid=1069416 vsize=19108176 memory=11860 CPUtime=0 cores=5,7
/proc/1069420/task/1069446/stat : 1069446 (Finalizer) S 1069416 1069420 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196655453 19566772224 857757 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069458] ppid=1069416 vsize=19108176 memory=13040 CPUtime=0 cores=5,7
/proc/1069420/task/1069458/stat : 1069458 (Common-Cleaner) S 1069416 1069420 1069348 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 196655453 19566772224 857757 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069497] ppid=1069416 vsize=19108176 memory=1888 CPUtime=0 cores=5,7
/proc/1069420/task/1069497/stat : 1069497 (Timer-0) S 1069416 1069420 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196655704 19566772224 857757 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
Current children cumulated CPU time: 17.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3431028 KiB
[startup+25.5003 s]
/proc/loadavg: 3.89 4.05 4.11 6/331 1069502
/proc/meminfo: memFree=114400168/131524600 swapFree=131071996/131071996
[pid=1069420] ppid=1069416 vsize=19108176 memory=3432504 CPUtime=31.16 cores=5,7
/proc/1069420/stat : 1069420 (java) S 1069416 1069420 1069348 0 -1 1077936128 32055 0 0 0 3046 70 0 0 20 0 20 0 196655450 19566772224 858126 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
/proc/1069420/statm: 4777044 858126 5854 1 0 1094869 0
[pid=1069420/tid=1069423] ppid=1069416 vsize=19108176 memory=0 CPUtime=25.29 cores=5,7
/proc/1069420/task/1069423/stat : 1069423 (java) R 1069416 1069420 1069348 0 -1 4194368 8656 0 0 0 2466 63 0 0 20 0 20 0 196655450 19566772224 858126 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069446] ppid=1069416 vsize=19108176 memory=3438084 CPUtime=0 cores=5,7
/proc/1069420/task/1069446/stat : 1069446 (Finalizer) S 1069416 1069420 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196655453 19566772224 858126 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069458] ppid=1069416 vsize=19108176 memory=46916 CPUtime=0 cores=5,7
/proc/1069420/task/1069458/stat : 1069458 (Common-Cleaner) S 1069416 1069420 1069348 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 196655453 19566772224 858126 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069497] ppid=1069416 vsize=19108176 memory=11860 CPUtime=0 cores=5,7
/proc/1069420/task/1069497/stat : 1069497 (Timer-0) S 1069416 1069420 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196655704 19566772224 858126 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
Current children cumulated CPU time: 31.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3432504 KiB
[startup+51.1062 s]
/proc/loadavg: 3.99 4.06 4.11 5/331 1069506
/proc/meminfo: memFree=113531404/131524600 swapFree=131071996/131071996
[pid=1069420] ppid=1069416 vsize=19108176 memory=3433064 CPUtime=57.18 cores=5,7
/proc/1069420/stat : 1069420 (java) S 1069416 1069420 1069348 0 -1 1077936128 42403 0 0 0 5647 71 0 0 20 0 20 0 196655450 19566772224 858266 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
/proc/1069420/statm: 4777044 858266 5854 1 0 1094869 0
[pid=1069420/tid=1069423] ppid=1069416 vsize=19108176 memory=3432804 CPUtime=50.8 cores=5,7
/proc/1069420/task/1069423/stat : 1069423 (java) R 1069416 1069420 1069348 0 -1 4194368 11666 0 0 0 5016 64 0 0 20 0 20 0 196655450 19566772224 858266 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069446] ppid=1069416 vsize=19108176 memory=3432936 CPUtime=0 cores=5,7
/proc/1069420/task/1069446/stat : 1069446 (Finalizer) S 1069416 1069420 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196655453 19566772224 858266 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069458] ppid=1069416 vsize=19108176 memory=5448 CPUtime=0 cores=5,7
/proc/1069420/task/1069458/stat : 1069458 (Common-Cleaner) S 1069416 1069420 1069348 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 196655453 19566772224 858266 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069497] ppid=1069416 vsize=19108176 memory=3431028 CPUtime=0 cores=5,7
/proc/1069420/task/1069497/stat : 1069497 (Timer-0) S 1069416 1069420 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196655704 19566772224 858266 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
################
# More data... #
################
/proc/meminfo: memFree=104917636/131524600 swapFree=131071996/131071996
[pid=1069420] ppid=1069416 vsize=19108176 memory=5890940 CPUtime=3215.23 cores=5,7
/proc/1069420/stat : 1069420 (java) S 1069416 1069420 1069348 0 -1 1077936128 643052 0 0 0 321081 442 0 0 20 0 20 0 196655450 19566772224 1472735 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
/proc/1069420/statm: 4777044 1472735 5912 1 0 1489481 0
[pid=1069420/tid=1069423] ppid=1069416 vsize=19108176 memory=5882440 CPUtime=3014.72 cores=5,7
/proc/1069420/task/1069423/stat : 1069423 (java) R 1069416 1069420 1069348 0 -1 4194368 113840 0 0 0 301363 109 0 0 20 0 20 0 196655450 19566772224 1472735 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 16 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069446] ppid=1069416 vsize=19108176 memory=13040 CPUtime=0 cores=5,7
/proc/1069420/task/1069446/stat : 1069446 (Finalizer) S 1069416 1069420 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196655453 19566772224 1472735 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069458] ppid=1069416 vsize=19108176 memory=5890940 CPUtime=0 cores=5,7
/proc/1069420/task/1069458/stat : 1069458 (Common-Cleaner) S 1069416 1069420 1069348 0 -1 1077936192 2568 0 0 0 0 0 0 0 20 0 20 0 196655453 19566772224 1472735 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069497] ppid=1069416 vsize=19108176 memory=-7163077989868989027 CPUtime=0 cores=5,7
/proc/1069420/task/1069497/stat : 1069497 (Timer-0) S 1069416 1069420 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196655704 19566772224 1472735 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
Current children cumulated CPU time: 3215.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 5890940 KiB
[startup+3102.3 s]
/proc/loadavg: 4.27 4.26 4.26 5/336 1071259
/proc/meminfo: memFree=104625828/131524600 swapFree=131071996/131071996
[pid=1069420] ppid=1069416 vsize=19108176 memory=6116032 CPUtime=3279.46 cores=5,7
/proc/1069420/stat : 1069420 (java) S 1069416 1069420 1069348 0 -1 1077936128 649037 0 0 0 327492 454 0 0 20 0 20 0 196655450 19566772224 1529008 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
/proc/1069420/statm: 4777044 1529008 5912 1 0 1545881 0
[pid=1069420/tid=1069423] ppid=1069416 vsize=19108176 memory=6007620 CPUtime=3074.07 cores=5,7
/proc/1069420/task/1069423/stat : 1069423 (java) R 1069416 1069420 1069348 0 -1 4194368 115124 0 0 0 307294 113 0 0 20 0 20 0 196655450 19566772224 1529008 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 17 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069446] ppid=1069416 vsize=19108176 memory=5890948 CPUtime=0 cores=5,7
/proc/1069420/task/1069446/stat : 1069446 (Finalizer) S 1069416 1069420 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196655453 19566772224 1529008 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069458] ppid=1069416 vsize=19108176 memory=6116032 CPUtime=0 cores=5,7
/proc/1069420/task/1069458/stat : 1069458 (Common-Cleaner) S 1069416 1069420 1069348 0 -1 1077936192 2602 0 0 0 0 0 0 0 20 0 20 0 196655453 19566772224 1529008 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069497] ppid=1069416 vsize=19108176 memory=104 CPUtime=0 cores=5,7
/proc/1069420/task/1069497/stat : 1069497 (Timer-0) S 1069416 1069420 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196655704 19566772224 1529008 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
Current children cumulated CPU time: 3279.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6116032 KiB
[startup+3162.3 s]
/proc/loadavg: 4.40 4.29 4.28 6/334 1071284
/proc/meminfo: memFree=104374328/131524600 swapFree=131071996/131071996
[pid=1069420] ppid=1069416 vsize=19108176 memory=6366264 CPUtime=3345.53 cores=5,7
/proc/1069420/stat : 1069420 (java) S 1069416 1069420 1069348 0 -1 1077936128 670546 0 0 0 334082 471 0 0 20 0 20 0 196655450 19566772224 1591566 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
/proc/1069420/statm: 4777044 1591566 5912 1 0 1608548 0
[pid=1069420/tid=1069423] ppid=1069416 vsize=19108176 memory=6007620 CPUtime=3133.13 cores=5,7
/proc/1069420/task/1069423/stat : 1069423 (java) R 1069416 1069420 1069348 0 -1 4194368 117993 0 0 0 313194 119 0 0 20 0 20 0 196655450 19566772224 1591566 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 21 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069446] ppid=1069416 vsize=19108176 memory=5890948 CPUtime=0 cores=5,7
/proc/1069420/task/1069446/stat : 1069446 (Finalizer) S 1069416 1069420 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196655453 19566772224 1591566 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069458] ppid=1069416 vsize=19108176 memory=6341108 CPUtime=0 cores=5,7
/proc/1069420/task/1069458/stat : 1069458 (Common-Cleaner) S 1069416 1069420 1069348 0 -1 1077936192 2608 0 0 0 0 0 0 0 20 0 20 0 196655453 19566772224 1591566 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069497] ppid=1069416 vsize=19108176 memory=11860 CPUtime=0 cores=5,7
/proc/1069420/task/1069497/stat : 1069497 (Timer-0) S 1069416 1069420 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196655704 19566772224 1591566 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
Current children cumulated CPU time: 3345.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6366264 KiB
[startup+3222.3 s]
/proc/loadavg: 4.38 4.30 4.28 5/335 1071295
/proc/meminfo: memFree=104189992/131524600 swapFree=131071996/131071996
[pid=1069420] ppid=1069416 vsize=19108176 memory=6549644 CPUtime=3412.71 cores=5,7
/proc/1069420/stat : 1069420 (java) S 1069416 1069420 1069348 0 -1 1077936128 672710 0 0 0 340787 484 0 0 20 0 20 0 196655450 19566772224 1637411 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
/proc/1069420/statm: 4777044 1637411 5912 1 0 1654503 0
[pid=1069420/tid=1069423] ppid=1069416 vsize=19108176 memory=6007620 CPUtime=3192.07 cores=5,7
/proc/1069420/task/1069423/stat : 1069423 (java) R 1069416 1069420 1069348 0 -1 4194368 118381 0 0 0 319085 122 0 0 20 0 20 0 196655450 19566772224 1637411 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 21 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069446] ppid=1069416 vsize=19108176 memory=11860 CPUtime=0 cores=5,7
/proc/1069420/task/1069446/stat : 1069446 (Finalizer) S 1069416 1069420 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196655453 19566772224 1637411 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069458] ppid=1069416 vsize=19108176 memory=6391124 CPUtime=0 cores=5,7
/proc/1069420/task/1069458/stat : 1069458 (Common-Cleaner) S 1069416 1069420 1069348 0 -1 1077936192 2641 0 0 0 0 0 0 0 20 0 20 0 196655453 19566772224 1637411 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069497] ppid=1069416 vsize=19108176 memory=6549644 CPUtime=0 cores=5,7
/proc/1069420/task/1069497/stat : 1069497 (Timer-0) S 1069416 1069420 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196655704 19566772224 1637411 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
Current children cumulated CPU time: 3412.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6549644 KiB
[startup+3282.3 s]
/proc/loadavg: 4.20 4.26 4.26 5/335 1071307
/proc/meminfo: memFree=104055116/131524600 swapFree=131071996/131071996
[pid=1069420] ppid=1069416 vsize=19108176 memory=6683172 CPUtime=3474.23 cores=5,7
/proc/1069420/stat : 1069420 (java) S 1069416 1069420 1069348 0 -1 1077936128 678869 0 0 0 346932 491 0 0 20 0 20 0 196655450 19566772224 1670793 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
/proc/1069420/statm: 4777044 1670793 5912 1 0 1687925 0
[pid=1069420/tid=1069423] ppid=1069416 vsize=19108176 memory=6683080 CPUtime=3251.39 cores=5,7
/proc/1069420/task/1069423/stat : 1069423 (java) R 1069416 1069420 1069348 0 -1 4194368 120618 0 0 0 325014 125 0 0 20 0 20 0 196655450 19566772224 1670793 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 21 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069446] ppid=1069416 vsize=19108176 memory=6683080 CPUtime=0 cores=5,7
/proc/1069420/task/1069446/stat : 1069446 (Finalizer) S 1069416 1069420 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196655453 19566772224 1670793 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069458] ppid=1069416 vsize=19108176 memory=11860 CPUtime=0 cores=5,7
/proc/1069420/task/1069458/stat : 1069458 (Common-Cleaner) S 1069416 1069420 1069348 0 -1 1077936192 2641 0 0 0 0 0 0 0 20 0 20 0 196655453 19566772224 1670793 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069497] ppid=1069416 vsize=19108176 memory=6683172 CPUtime=0 cores=5,7
/proc/1069420/task/1069497/stat : 1069497 (Timer-0) S 1069416 1069420 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196655704 19566772224 1670793 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
Current children cumulated CPU time: 3474.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6683172 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.22 4.25 5/333 1071318
/proc/meminfo: memFree=103774620/131524600 swapFree=131071996/131071996
[pid=1069420] ppid=1069416 vsize=19108176 memory=6849840 CPUtime=3536 cores=5,7
/proc/1069420/stat : 1069420 (java) S 1069416 1069420 1069348 0 -1 1077936128 698984 0 0 0 353099 501 0 0 20 0 20 0 196655450 19566772224 1712460 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
/proc/1069420/statm: 4777044 1712460 5912 1 0 1729703 0
[pid=1069420/tid=1069423] ppid=1069416 vsize=19108176 memory=6849840 CPUtime=3310.96 cores=5,7
/proc/1069420/task/1069423/stat : 1069423 (java) R 1069416 1069420 1069348 0 -1 4194368 121566 0 0 0 330968 128 0 0 20 0 20 0 196655450 19566772224 1712460 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 21 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069446] ppid=1069416 vsize=19108176 memory=46916 CPUtime=0 cores=5,7
/proc/1069420/task/1069446/stat : 1069446 (Finalizer) S 1069416 1069420 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196655453 19566772224 1712460 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069458] ppid=1069416 vsize=19108176 memory=11860 CPUtime=0 cores=5,7
/proc/1069420/task/1069458/stat : 1069458 (Common-Cleaner) S 1069416 1069420 1069348 0 -1 1077936192 2718 0 0 0 0 0 0 0 20 0 20 0 196655453 19566772224 1712460 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069497] ppid=1069416 vsize=19108176 memory=11860 CPUtime=0 cores=5,7
/proc/1069420/task/1069497/stat : 1069497 (Timer-0) S 1069416 1069420 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196655704 19566772224 1712460 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
Current children cumulated CPU time: 3536 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6849840 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.20 4.24 6/333 1071329
/proc/meminfo: memFree=103475820/131524600 swapFree=131071996/131071996
[pid=1069420] ppid=1069416 vsize=19108176 memory=7216844 CPUtime=3599.73 cores=5,7
/proc/1069420/stat : 1069420 (java) S 1069416 1069420 1069348 0 -1 1077936128 725617 0 0 0 359455 518 0 0 20 0 20 0 196655450 19566772224 1804211 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
/proc/1069420/statm: 4777044 1804211 5912 1 0 1821614 0
[pid=1069420/tid=1069423] ppid=1069416 vsize=19108176 memory=7050032 CPUtime=3370.13 cores=5,7
/proc/1069420/task/1069423/stat : 1069423 (java) R 1069416 1069420 1069348 0 -1 4194368 124161 0 0 0 336878 135 0 0 20 0 20 0 196655450 19566772224 1804211 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 21 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069446] ppid=1069416 vsize=19108176 memory=6781584 CPUtime=0 cores=5,7
/proc/1069420/task/1069446/stat : 1069446 (Finalizer) S 1069416 1069420 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196655453 19566772224 1804211 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069458] ppid=1069416 vsize=19108176 memory=13040 CPUtime=0 cores=5,7
/proc/1069420/task/1069458/stat : 1069458 (Common-Cleaner) S 1069416 1069420 1069348 0 -1 1077936192 2720 0 0 0 0 0 0 0 20 0 20 0 196655453 19566772224 1804211 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069497] ppid=1069416 vsize=19108176 memory=16096 CPUtime=0 cores=5,7
/proc/1069420/task/1069497/stat : 1069497 (Timer-0) S 1069416 1069420 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196655704 19566772224 1804211 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
Current children cumulated CPU time: 3599.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7216844 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3402.6 s]
/proc/loadavg: 4.12 4.20 4.24 6/333 1071329
/proc/meminfo: memFree=103475820/131524600 swapFree=131071996/131071996
[pid=1069420] ppid=1069416 vsize=19108176 memory=7216844 CPUtime=3600.03 cores=5,7
/proc/1069420/stat : 1069420 (java) S 1069416 1069420 1069348 0 -1 1077936128 725617 0 0 0 359485 518 0 0 20 0 20 0 196655450 19566772224 1804211 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
/proc/1069420/statm: 4777044 1804211 5912 1 0 1821614 0
[pid=1069420/tid=1069423] ppid=1069416 vsize=19108176 memory=7075192 CPUtime=3370.43 cores=5,7
/proc/1069420/task/1069423/stat : 1069423 (java) R 1069416 1069420 1069348 0 -1 4194368 124161 0 0 0 336908 135 0 0 20 0 20 0 196655450 19566772224 1804211 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 21 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069446] ppid=1069416 vsize=19108176 memory=7075192 CPUtime=0 cores=5,7
/proc/1069420/task/1069446/stat : 1069446 (Finalizer) S 1069416 1069420 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196655453 19566772224 1804211 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069458] ppid=1069416 vsize=19108176 memory=2768 CPUtime=0 cores=5,7
/proc/1069420/task/1069458/stat : 1069458 (Common-Cleaner) S 1069416 1069420 1069348 0 -1 1077936192 2720 0 0 0 0 0 0 0 20 0 20 0 196655453 19566772224 1804211 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
[pid=1069420/tid=1069497] ppid=1069416 vsize=19108176 memory=4880 CPUtime=0 cores=5,7
/proc/1069420/task/1069497/stat : 1069497 (Timer-0) S 1069416 1069420 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196655704 19566772224 1804211 134679101440 93829060292608 93829060296304 140723842725632 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93829060304120 93829060304912 93829062172672 140723842728947 140723842729055 140723842729055 140723842736072 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7216844 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3402.67 s]
# the end of solver process 1069420 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3594.93 s, system=5.20823 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3402.67
CPU time (s): 3600.14
CPU user time (s): 3594.93
CPU system time (s): 5.20823
CPU usage (%): 105.803
Max. virtual memory (cumulated for all children) (KiB): 19114500
Max. memory (cumulated for all children) (KiB): 7216844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.93
system time used= 5.20823
maximum resident set size= 7218224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 727855
page faults= 0
swaps= 0
block input operations= 32
block output operations= 3776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 150960
involuntary context switches= 21083
# summary of solver processes directly reported to runsolver:
# pid: 1069420
# total CPU time (s): 3600.14
# total CPU user time (s): 3594.93
# total CPU system time (s): 5.20823
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.33594 second user time and 16.8537 second system time
The end