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 (59932 MiB free)
memory of node 1: 64510 MiB (60573 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452271-1721444901/watcher-4452271-1721444901 -o /tmp/evaluation-result-4452271-1721444901/solver-4452271-1721444901 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721444913-1069360 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4452271-1721444901.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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=1069428, runsolver pid=1069425
[startup+0.100175 s]*
/proc/loadavg: 3.66 4.02 4.10 12/324 1069490
/proc/meminfo: memFree=123275700/131524600 swapFree=131071996/131071996
[pid=1069428] ppid=1069425 vsize=18975048 memory=63716 CPUtime=0.13 cores=1,3
/proc/1069428/stat : 1069428 (java) S 1069425 1069428 1069348 0 -1 1077936128 7243 0 0 0 11 2 0 0 20 0 18 0 196655450 19430449152 15929 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
/proc/1069428/statm: 4743762 15929 5752 1 0 549365 0
[pid=1069428/tid=1069433] ppid=1069425 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=1,3
/proc/1069428/task/1069433/stat : 1069433 (java) R 1069425 1069428 1069348 0 -1 4194368 5773 0 0 0 7 1 0 0 20 0 18 0 196655451 19430449152 15929 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069460] ppid=1069425 vsize=18975048 memory=1670 CPUtime=0 cores=1,3
/proc/1069428/task/1069460/stat : 1069460 (Finalizer) S 1069425 1069428 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 196655453 19430449152 15929 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069467] ppid=1069425 vsize=18975048 memory=14418111545738792 CPUtime=0 cores=1,3
/proc/1069428/task/1069467/stat : 1069467 (Common-Cleaner) S 1069425 1069428 1069348 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 196655454 19430449152 15929 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63716 KiB
[startup+0.206034 s]*
/proc/loadavg: 3.66 4.02 4.10 14/324 1069490
/proc/meminfo: memFree=123178528/131524600 swapFree=131071996/131071996
[pid=1069428] ppid=1069425 vsize=18975048 memory=76188 CPUtime=0.33 cores=1,3
/proc/1069428/stat : 1069428 (java) S 1069425 1069428 1069348 0 -1 1077936128 7771 0 0 0 31 2 0 0 20 0 18 0 196655450 19430449152 19047 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
/proc/1069428/statm: 4743762 19047 5839 1 0 549762 0
[pid=1069428/tid=1069433] ppid=1069425 vsize=18975048 memory=6876556183782621315 CPUtime=0.19 cores=1,3
/proc/1069428/task/1069433/stat : 1069433 (java) R 1069425 1069428 1069348 0 -1 4194368 6006 0 0 0 17 2 0 0 20 0 18 0 196655451 19430449152 19113 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069460] ppid=1069425 vsize=18975048 memory=1670 CPUtime=0 cores=1,3
/proc/1069428/task/1069460/stat : 1069460 (Finalizer) S 1069425 1069428 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 196655453 19430449152 19113 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069467] ppid=1069425 vsize=18975048 memory=14418111545738792 CPUtime=0 cores=1,3
/proc/1069428/task/1069467/stat : 1069467 (Common-Cleaner) S 1069425 1069428 1069348 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 196655454 19430449152 19113 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 76188 KiB
[startup+0.316031 s]*
/proc/loadavg: 3.66 4.02 4.10 14/326 1069492
/proc/meminfo: memFree=122966152/131524600 swapFree=131071996/131071996
[pid=1069428] ppid=1069425 vsize=18975048 memory=115112 CPUtime=0.54 cores=1,3
/proc/1069428/stat : 1069428 (java) S 1069425 1069428 1069348 0 -1 1077936128 9368 0 0 0 51 3 0 0 20 0 18 0 196655450 19430449152 28778 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
/proc/1069428/statm: 4743762 28778 5839 1 0 550714 0
[pid=1069428/tid=1069433] ppid=1069425 vsize=18975048 memory=-7163077989868791139 CPUtime=0.28 cores=1,3
/proc/1069428/task/1069433/stat : 1069433 (java) R 1069425 1069428 1069348 0 -1 4194368 6033 0 0 0 26 2 0 0 20 0 18 0 196655451 19430449152 28778 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069460] ppid=1069425 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/1069428/task/1069460/stat : 1069460 (Finalizer) S 1069425 1069428 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 196655453 19430449152 28778 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069467] ppid=1069425 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/1069428/task/1069467/stat : 1069467 (Common-Cleaner) S 1069425 1069428 1069348 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 196655454 19430449152 28778 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 115112 KiB
[startup+0.70026 s]
/proc/loadavg: 3.66 4.02 4.10 13/328 1069494
/proc/meminfo: memFree=122256752/131524600 swapFree=131071996/131071996
[pid=1069428] ppid=1069425 vsize=19041612 memory=205100 CPUtime=1.29 cores=1,3
/proc/1069428/stat : 1069428 (java) S 1069425 1069428 1069348 0 -1 1077936128 12098 0 0 0 123 6 0 0 20 0 19 0 196655450 19498610688 51275 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
/proc/1069428/statm: 4760403 51275 5854 1 0 552836 0
[pid=1069428/tid=1069433] ppid=1069425 vsize=19041612 memory=5448 CPUtime=0.61 cores=1,3
/proc/1069428/task/1069433/stat : 1069433 (java) R 1069425 1069428 1069348 0 -1 4194368 6123 0 0 0 57 4 0 0 20 0 19 0 196655451 19498610688 51275 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069460] ppid=1069425 vsize=19041612 memory=13040 CPUtime=0 cores=1,3
/proc/1069428/task/1069460/stat : 1069460 (Finalizer) S 1069425 1069428 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 196655453 19498610688 51275 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069467] ppid=1069425 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1069428/task/1069467/stat : 1069467 (Common-Cleaner) S 1069425 1069428 1069348 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 196655454 19498610688 51275 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 205100 KiB
[startup+1.50104 s]
/proc/loadavg: 3.66 4.02 4.10 9/329 1069495
/proc/meminfo: memFree=119512936/131524600 swapFree=131071996/131071996
[pid=1069428] ppid=1069425 vsize=19041612 memory=817528 CPUtime=2.84 cores=1,3
/proc/1069428/stat : 1069428 (java) S 1069425 1069428 1069348 0 -1 1077936128 15473 0 0 0 266 18 0 0 20 0 19 0 196655450 19498610688 204382 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
/proc/1069428/statm: 4760403 204382 5869 1 0 1681582 0
[pid=1069428/tid=1069433] ppid=1069425 vsize=19041612 memory=13040 CPUtime=1.21 cores=1,3
/proc/1069428/task/1069433/stat : 1069433 (java) R 1069425 1069428 1069348 0 -1 4194368 6412 0 0 0 107 14 0 0 20 0 19 0 196655451 19498610688 204382 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069460] ppid=1069425 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1069428/task/1069460/stat : 1069460 (Finalizer) S 1069425 1069428 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 196655453 19498610688 204382 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069467] ppid=1069425 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1069428/task/1069467/stat : 1069467 (Common-Cleaner) S 1069425 1069428 1069348 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 196655454 19498610688 204382 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 817528 KiB
[startup+3.10465 s]
/proc/loadavg: 3.66 4.02 4.10 9/331 1069497
/proc/meminfo: memFree=115482648/131524600 swapFree=131071996/131071996
[pid=1069428] ppid=1069425 vsize=19108176 memory=1036784 CPUtime=5.9 cores=1,3
/proc/1069428/stat : 1069428 (java) S 1069425 1069428 1069348 0 -1 1077936128 18045 0 0 0 568 22 0 0 20 0 20 0 196655450 19566772224 259196 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
/proc/1069428/statm: 4777044 259196 5869 1 0 1683130 0
[pid=1069428/tid=1069433] ppid=1069425 vsize=19108176 memory=13040 CPUtime=2.76 cores=1,3
/proc/1069428/task/1069433/stat : 1069433 (java) R 1069425 1069428 1069348 0 -1 4194368 6571 0 0 0 259 17 0 0 20 0 20 0 196655451 19566772224 259196 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069460] ppid=1069425 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1069428/task/1069460/stat : 1069460 (Finalizer) S 1069425 1069428 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196655453 19566772224 259196 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069467] ppid=1069425 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1069428/task/1069467/stat : 1069467 (Common-Cleaner) S 1069425 1069428 1069348 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 196655454 19566772224 259196 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069496] ppid=1069425 vsize=19108176 memory=4733346019037556 CPUtime=0 cores=1,3
/proc/1069428/task/1069496/stat : 1069496 (Timer-0) S 1069425 1069428 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196655605 19566772224 259196 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
Current children cumulated CPU time: 5.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1036784 KiB
[startup+6.30022 s]
/proc/loadavg: 3.85 4.06 4.11 8/331 1069499
/proc/meminfo: memFree=115157384/131524600 swapFree=131071996/131071996
[pid=1069428] ppid=1069425 vsize=19108176 memory=1270976 CPUtime=9.83 cores=1,3
/proc/1069428/stat : 1069428 (java) S 1069425 1069428 1069348 0 -1 1077936128 18303 0 0 0 955 28 0 0 20 0 20 0 196655450 19566772224 317744 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
/proc/1069428/statm: 4777044 317744 5869 1 0 1683134 0
[pid=1069428/tid=1069433] ppid=1069425 vsize=19108176 memory=13040 CPUtime=5.94 cores=1,3
/proc/1069428/task/1069433/stat : 1069433 (java) R 1069425 1069428 1069348 0 -1 4194368 6714 0 0 0 572 22 0 0 20 0 20 0 196655451 19566772224 317744 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069460] ppid=1069425 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1069428/task/1069460/stat : 1069460 (Finalizer) S 1069425 1069428 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196655453 19566772224 317744 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069467] ppid=1069425 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1069428/task/1069467/stat : 1069467 (Common-Cleaner) S 1069425 1069428 1069348 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 196655454 19566772224 317744 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069496] ppid=1069425 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1069428/task/1069496/stat : 1069496 (Timer-0) S 1069425 1069428 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196655605 19566772224 317744 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
Current children cumulated CPU time: 9.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1270976 KiB
[startup+12.7002 s]
/proc/loadavg: 3.86 4.05 4.11 5/331 1069499
/proc/meminfo: memFree=114809204/131524600 swapFree=131071996/131071996
[pid=1069428] ppid=1069425 vsize=19108176 memory=1445352 CPUtime=16.39 cores=1,3
/proc/1069428/stat : 1069428 (java) S 1069425 1069428 1069348 0 -1 1077936128 22231 0 0 0 1606 33 0 0 20 0 20 0 196655450 19566772224 361338 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
/proc/1069428/statm: 4777044 361338 5869 1 0 1683134 0
[pid=1069428/tid=1069433] ppid=1069425 vsize=19108176 memory=0 CPUtime=12.31 cores=1,3
/proc/1069428/task/1069433/stat : 1069433 (java) R 1069425 1069428 1069348 0 -1 4194368 7550 0 0 0 1205 26 0 0 20 0 20 0 196655451 19566772224 361338 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069460] ppid=1069425 vsize=19108176 memory=13040 CPUtime=0 cores=1,3
/proc/1069428/task/1069460/stat : 1069460 (Finalizer) S 1069425 1069428 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196655453 19566772224 361338 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069467] ppid=1069425 vsize=19108176 memory=1051120 CPUtime=0 cores=1,3
/proc/1069428/task/1069467/stat : 1069467 (Common-Cleaner) S 1069425 1069428 1069348 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 196655454 19566772224 361338 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069496] ppid=1069425 vsize=19108176 memory=11860 CPUtime=0 cores=1,3
/proc/1069428/task/1069496/stat : 1069496 (Timer-0) S 1069425 1069428 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196655605 19566772224 361338 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
Current children cumulated CPU time: 16.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1445352 KiB
[startup+25.5003 s]
/proc/loadavg: 3.89 4.05 4.11 5/331 1069502
/proc/meminfo: memFree=114400168/131524600 swapFree=131071996/131071996
[pid=1069428] ppid=1069425 vsize=19108176 memory=1836240 CPUtime=29.82 cores=1,3
/proc/1069428/stat : 1069428 (java) S 1069425 1069428 1069348 0 -1 1077936128 29529 0 0 0 2941 41 0 0 20 0 20 0 196655450 19566772224 459060 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
/proc/1069428/statm: 4777044 459060 5869 1 0 1683134 0
[pid=1069428/tid=1069433] ppid=1069425 vsize=19108176 memory=0 CPUtime=25.08 cores=1,3
/proc/1069428/task/1069433/stat : 1069433 (java) R 1069425 1069428 1069348 0 -1 4194368 8659 0 0 0 2474 34 0 0 20 0 20 0 196655451 19566772224 459060 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069460] ppid=1069425 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1069428/task/1069460/stat : 1069460 (Finalizer) S 1069425 1069428 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196655453 19566772224 459060 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069467] ppid=1069425 vsize=19108176 memory=11860 CPUtime=0 cores=1,3
/proc/1069428/task/1069467/stat : 1069467 (Common-Cleaner) S 1069425 1069428 1069348 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 196655454 19566772224 459060 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069496] ppid=1069425 vsize=19108176 memory=46916 CPUtime=0 cores=1,3
/proc/1069428/task/1069496/stat : 1069496 (Timer-0) S 1069425 1069428 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196655605 19566772224 459060 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
Current children cumulated CPU time: 29.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1836240 KiB
[startup+51.1059 s]
/proc/loadavg: 3.99 4.06 4.11 5/331 1069506
/proc/meminfo: memFree=113531404/131524600 swapFree=131071996/131071996
[pid=1069428] ppid=1069425 vsize=19108176 memory=2645508 CPUtime=55.94 cores=1,3
/proc/1069428/stat : 1069428 (java) S 1069425 1069428 1069348 0 -1 1077936128 35510 0 0 0 5535 59 0 0 20 0 20 0 196655450 19566772224 661377 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
/proc/1069428/statm: 4777044 661377 5869 1 0 1683134 0
[pid=1069428/tid=1069433] ppid=1069425 vsize=19108176 memory=0 CPUtime=50.58 cores=1,3
/proc/1069428/task/1069433/stat : 1069433 (java) R 1069425 1069428 1069348 0 -1 4194368 10072 0 0 0 5008 50 0 0 20 0 20 0 196655451 19566772224 661377 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069460] ppid=1069425 vsize=19108176 memory=13040 CPUtime=0 cores=1,3
/proc/1069428/task/1069460/stat : 1069460 (Finalizer) S 1069425 1069428 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196655453 19566772224 661377 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069467] ppid=1069425 vsize=19108176 memory=11860 CPUtime=0 cores=1,3
/proc/1069428/task/1069467/stat : 1069467 (Common-Cleaner) S 1069425 1069428 1069348 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 196655454 19566772224 661377 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069496] ppid=1069425 vsize=19108176 memory=46916 CPUtime=0 cores=1,3
/proc/1069428/task/1069496/stat : 1069496 (Timer-0) S 1069425 1069428 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196655605 19566772224 661377 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
################
# More data... #
################
/proc/meminfo: memFree=104055116/131524600 swapFree=131071996/131071996
[pid=1069428] ppid=1069425 vsize=19108176 memory=6441756 CPUtime=3279.43 cores=1,3
/proc/1069428/stat : 1069428 (java) S 1069425 1069428 1069348 0 -1 1077936128 246458 0 0 0 327707 236 0 0 20 0 20 0 196655450 19566772224 1610439 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
/proc/1069428/statm: 4777044 1610439 5932 1 0 1683386 0
[pid=1069428/tid=1069433] ppid=1069425 vsize=19108176 memory=6441756 CPUtime=3262.6 cores=1,3
/proc/1069428/task/1069433/stat : 1069433 (java) R 1069425 1069428 1069348 0 -1 4194368 109715 0 0 0 326165 95 0 0 20 0 20 0 196655451 19566772224 1610439 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069460] ppid=1069425 vsize=19108176 memory=46916 CPUtime=0 cores=1,3
/proc/1069428/task/1069460/stat : 1069460 (Finalizer) S 1069425 1069428 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196655453 19566772224 1610439 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069467] ppid=1069425 vsize=19108176 memory=16096 CPUtime=0 cores=1,3
/proc/1069428/task/1069467/stat : 1069467 (Common-Cleaner) S 1069425 1069428 1069348 0 -1 1077936192 5125 0 0 0 0 0 0 0 20 0 20 0 196655454 19566772224 1610439 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069496] ppid=1069425 vsize=19108176 memory=6441756 CPUtime=0 cores=1,3
/proc/1069428/task/1069496/stat : 1069496 (Timer-0) S 1069425 1069428 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196655605 19566772224 1610439 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
Current children cumulated CPU time: 3279.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6441756 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=1069428] ppid=1069425 vsize=19108176 memory=6554396 CPUtime=3339.47 cores=1,3
/proc/1069428/stat : 1069428 (java) S 1069425 1069428 1069348 0 -1 1077936128 250163 0 0 0 333706 241 0 0 20 0 20 0 196655450 19566772224 1638599 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
/proc/1069428/statm: 4777044 1638599 5932 1 0 1683386 0
[pid=1069428/tid=1069433] ppid=1069425 vsize=19108176 memory=46916 CPUtime=3322.27 cores=1,3
/proc/1069428/task/1069433/stat : 1069433 (java) R 1069425 1069428 1069348 0 -1 4194368 110883 0 0 0 332132 95 0 0 20 0 20 0 196655451 19566772224 1638599 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069460] ppid=1069425 vsize=19108176 memory=6441756 CPUtime=0 cores=1,3
/proc/1069428/task/1069460/stat : 1069460 (Finalizer) S 1069425 1069428 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196655453 19566772224 1638599 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069467] ppid=1069425 vsize=19108176 memory=46916 CPUtime=0 cores=1,3
/proc/1069428/task/1069467/stat : 1069467 (Common-Cleaner) S 1069425 1069428 1069348 0 -1 1077936192 5126 0 0 0 0 0 0 0 20 0 20 0 196655454 19566772224 1638599 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069496] ppid=1069425 vsize=19108176 memory=6554396 CPUtime=0 cores=1,3
/proc/1069428/task/1069496/stat : 1069496 (Timer-0) S 1069425 1069428 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196655605 19566772224 1638599 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
Current children cumulated CPU time: 3339.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6554396 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=1069428] ppid=1069425 vsize=19108176 memory=6554396 CPUtime=3399.34 cores=1,3
/proc/1069428/stat : 1069428 (java) S 1069425 1069428 1069348 0 -1 1077936128 251540 0 0 0 339691 243 0 0 20 0 20 0 196655450 19566772224 1638599 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
/proc/1069428/statm: 4777044 1638599 5932 1 0 1683386 0
[pid=1069428/tid=1069433] ppid=1069425 vsize=19108176 memory=6554396 CPUtime=3382.13 cores=1,3
/proc/1069428/task/1069433/stat : 1069433 (java) R 1069425 1069428 1069348 0 -1 4194368 111969 0 0 0 338117 96 0 0 20 0 20 0 196655451 19566772224 1638599 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069460] ppid=1069425 vsize=19108176 memory=6554396 CPUtime=0 cores=1,3
/proc/1069428/task/1069460/stat : 1069460 (Finalizer) S 1069425 1069428 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196655453 19566772224 1638599 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069467] ppid=1069425 vsize=19108176 memory=6554396 CPUtime=0 cores=1,3
/proc/1069428/task/1069467/stat : 1069467 (Common-Cleaner) S 1069425 1069428 1069348 0 -1 1077936192 5205 0 0 0 0 0 0 0 20 0 20 0 196655454 19566772224 1638599 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069496] ppid=1069425 vsize=19108176 memory=6554396 CPUtime=0 cores=1,3
/proc/1069428/task/1069496/stat : 1069496 (Timer-0) S 1069425 1069428 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196655605 19566772224 1638599 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
Current children cumulated CPU time: 3399.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6554396 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.19 4.23 5/332 1071407
/proc/meminfo: memFree=106913332/131524600 swapFree=131071996/131071996
[pid=1069428] ppid=1069425 vsize=19108176 memory=6554404 CPUtime=3459.34 cores=1,3
/proc/1069428/stat : 1069428 (java) S 1069425 1069428 1069348 0 -1 1077936128 256336 0 0 0 345687 247 0 0 20 0 20 0 196655450 19566772224 1638601 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
/proc/1069428/statm: 4777044 1638601 5932 1 0 1683386 0
[pid=1069428/tid=1069433] ppid=1069425 vsize=19108176 memory=6554396 CPUtime=3441.82 cores=1,3
/proc/1069428/task/1069433/stat : 1069433 (java) R 1069425 1069428 1069348 0 -1 4194368 113576 0 0 0 344086 96 0 0 20 0 20 0 196655451 19566772224 1638601 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069460] ppid=1069425 vsize=19108176 memory=6554404 CPUtime=0 cores=1,3
/proc/1069428/task/1069460/stat : 1069460 (Finalizer) S 1069425 1069428 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196655453 19566772224 1638601 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069467] ppid=1069425 vsize=19108176 memory=-7163077989869054307 CPUtime=0 cores=1,3
/proc/1069428/task/1069467/stat : 1069467 (Common-Cleaner) S 1069425 1069428 1069348 0 -1 1077936192 5328 0 0 0 0 0 0 0 20 0 20 0 196655454 19566772224 1638601 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069496] ppid=1069425 vsize=19108176 memory=11860 CPUtime=0 cores=1,3
/proc/1069428/task/1069496/stat : 1069496 (Timer-0) S 1069425 1069428 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196655605 19566772224 1638601 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
Current children cumulated CPU time: 3459.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6554404 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.17 4.22 5/333 1071421
/proc/meminfo: memFree=106903604/131524600 swapFree=131071996/131071996
[pid=1069428] ppid=1069425 vsize=19108176 memory=6554404 CPUtime=3519.22 cores=1,3
/proc/1069428/stat : 1069428 (java) S 1069425 1069428 1069348 0 -1 1077936128 258166 0 0 0 351674 248 0 0 20 0 20 0 196655450 19566772224 1638601 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
/proc/1069428/statm: 4777044 1638601 5932 1 0 1683386 0
[pid=1069428/tid=1069433] ppid=1069425 vsize=19108176 memory=6554404 CPUtime=3501.67 cores=1,3
/proc/1069428/task/1069433/stat : 1069433 (java) R 1069425 1069428 1069348 0 -1 4194368 115113 0 0 0 350071 96 0 0 20 0 20 0 196655451 19566772224 1638601 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069460] ppid=1069425 vsize=19108176 memory=11860 CPUtime=0 cores=1,3
/proc/1069428/task/1069460/stat : 1069460 (Finalizer) S 1069425 1069428 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196655453 19566772224 1638601 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069467] ppid=1069425 vsize=19108176 memory=11860 CPUtime=0 cores=1,3
/proc/1069428/task/1069467/stat : 1069467 (Common-Cleaner) S 1069425 1069428 1069348 0 -1 1077936192 5408 0 0 0 0 0 0 0 20 0 20 0 196655454 19566772224 1638601 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069496] ppid=1069425 vsize=19108176 memory=6554404 CPUtime=0 cores=1,3
/proc/1069428/task/1069496/stat : 1069496 (Timer-0) S 1069425 1069428 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196655605 19566772224 1638601 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
Current children cumulated CPU time: 3519.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6554404 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.16 4.22 5/333 1071432
/proc/meminfo: memFree=106902668/131524600 swapFree=131071996/131071996
[pid=1069428] ppid=1069425 vsize=19108176 memory=6554404 CPUtime=3579.01 cores=1,3
/proc/1069428/stat : 1069428 (java) S 1069425 1069428 1069348 0 -1 1077936128 262421 0 0 0 357651 250 0 0 20 0 20 0 196655450 19566772224 1638601 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
/proc/1069428/statm: 4777044 1638601 5932 1 0 1683386 0
[pid=1069428/tid=1069433] ppid=1069425 vsize=19108176 memory=16096 CPUtime=3561.12 cores=1,3
/proc/1069428/task/1069433/stat : 1069433 (java) R 1069425 1069428 1069348 0 -1 4194368 116460 0 0 0 356016 96 0 0 20 0 20 0 196655451 19566772224 1638601 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069460] ppid=1069425 vsize=19108176 memory=6554404 CPUtime=0 cores=1,3
/proc/1069428/task/1069460/stat : 1069460 (Finalizer) S 1069425 1069428 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196655453 19566772224 1638601 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069467] ppid=1069425 vsize=19108176 memory=280406604609280 CPUtime=0 cores=1,3
/proc/1069428/task/1069467/stat : 1069467 (Common-Cleaner) S 1069425 1069428 1069348 0 -1 1077936192 5531 0 0 0 0 0 0 0 20 0 20 0 196655454 19566772224 1638601 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069496] ppid=1069425 vsize=19108176 memory=46916 CPUtime=0 cores=1,3
/proc/1069428/task/1069496/stat : 1069496 (Timer-0) S 1069425 1069428 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196655605 19566772224 1638601 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
Current children cumulated CPU time: 3579.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6554404 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3603.5 s]
/proc/loadavg: 4.37 4.22 4.23 6/333 1071639
/proc/meminfo: memFree=109639972/131524600 swapFree=131071996/131071996
[pid=1069428] ppid=1069425 vsize=19108176 memory=6554404 CPUtime=3600.02 cores=1,3
/proc/1069428/stat : 1069428 (java) S 1069425 1069428 1069348 0 -1 1077936128 263088 0 0 0 359751 251 0 0 20 0 20 0 196655450 19566772224 1638601 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
/proc/1069428/statm: 4777044 1638601 5932 1 0 1683386 0
[pid=1069428/tid=1069433] ppid=1069425 vsize=19108176 memory=16096 CPUtime=3582.12 cores=1,3
/proc/1069428/task/1069433/stat : 1069433 (java) R 1069425 1069428 1069348 0 -1 4194368 116994 0 0 0 358116 96 0 0 20 0 20 0 196655451 19566772224 1638601 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069460] ppid=1069425 vsize=19108176 memory=4872558142750483007 CPUtime=0 cores=1,3
/proc/1069428/task/1069460/stat : 1069460 (Finalizer) S 1069425 1069428 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196655453 19566772224 1638601 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069467] ppid=1069425 vsize=19108176 memory=13040 CPUtime=0 cores=1,3
/proc/1069428/task/1069467/stat : 1069467 (Common-Cleaner) S 1069425 1069428 1069348 0 -1 1077936192 5657 0 0 0 0 0 0 0 20 0 20 0 196655454 19566772224 1638601 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069496] ppid=1069425 vsize=19108176 memory=16096 CPUtime=0 cores=1,3
/proc/1069428/task/1069496/stat : 1069496 (Timer-0) S 1069425 1069428 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196655605 19566772224 1638601 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6554404 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3603.56 s]
# the end of solver process 1069428 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.59 s, system=2.53718 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3603.5 s]
/proc/loadavg: 4.37 4.22 4.23 6/333 1071639
/proc/meminfo: memFree=109639972/131524600 swapFree=131071996/131071996
[pid=1069428] ppid=1069425 vsize=19108176 memory=6554404 CPUtime=3600.02 cores=1,3
/proc/1069428/stat : 1069428 (java) S 1069425 1069428 1069348 0 -1 1077936128 263088 0 0 0 359751 251 0 0 20 0 20 0 196655450 19566772224 1638601 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
/proc/1069428/statm: 4777044 1638601 5932 1 0 1683386 0
[pid=1069428/tid=1069433] ppid=1069425 vsize=19108176 memory=16096 CPUtime=3582.12 cores=1,3
/proc/1069428/task/1069433/stat : 1069433 (java) R 1069425 1069428 1069348 0 -1 4194368 116994 0 0 0 358116 96 0 0 20 0 20 0 196655451 19566772224 1638601 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069460] ppid=1069425 vsize=19108176 memory=4872558142750483007 CPUtime=0 cores=1,3
/proc/1069428/task/1069460/stat : 1069460 (Finalizer) S 1069425 1069428 1069348 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 196655453 19566772224 1638601 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069467] ppid=1069425 vsize=19108176 memory=13040 CPUtime=0 cores=1,3
/proc/1069428/task/1069467/stat : 1069467 (Common-Cleaner) S 1069425 1069428 1069348 0 -1 1077936192 5657 0 0 0 0 0 0 0 20 0 20 0 196655454 19566772224 1638601 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
[pid=1069428/tid=1069496] ppid=1069425 vsize=19108176 memory=16096 CPUtime=0 cores=1,3
/proc/1069428/task/1069496/stat : 1069496 (Timer-0) S 1069425 1069428 1069348 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 196655605 19566772224 1638601 134679101440 94861946634240 94861946637936 140731872447632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94861946645752 94861946646544 94861960327168 140731872449523 140731872449631 140731872449631 140731872456648 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6554404 KiB
Child status: 143
Real time (s): 3603.57
CPU time (s): 3600.13
CPU user time (s): 3597.59
CPU system time (s): 2.53718
CPU usage (%): 99.9046
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 6554404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.59
system time used= 2.53718
maximum resident set size= 6555740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 266686
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108647
involuntary context switches= 17119
# summary of solver processes directly reported to runsolver:
# pid: 1069428
# total CPU time (s): 3600.13
# total CPU user time (s): 3597.59
# total CPU system time (s): 2.53718
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.11124 second user time and 15.0206 second system time
The end