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: 63665 MiB (62298 MiB free)
memory of node 1: 64507 MiB (63663 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524858-1751618077/watcher-4524858-1751618077 -o /tmp/evaluation-result-4524858-1751618077/solver-4524858-1751618077 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751618077-96284 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4524858-1751618077.wbo
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=96336, runsolver pid=96326
[startup+0.100058 s]*
/proc/loadavg: 1.12 1.11 1.37 10/332 96408
/proc/meminfo: memFree=128885676/131250000 swapFree=33010416/33010684
[pid=96336] ppid=96326 vsize=18930384 memory=55480 CPUtime=0.12 cores=5,7
/proc/96336/stat : 96336 (java) S 96326 96336 95274 0 -1 4194304 6526 0 0 0 10 2 0 0 20 0 18 0 77485601 19384713216 13870 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
/proc/96336/statm: 4732596 13870 5328 1 0 547589 0
[pid=96336/tid=96354] ppid=96326 vsize=18930384 memory=4026532124 CPUtime=0.07 cores=5,7
/proc/96336/task/96354/stat : 96354 (java) R 96326 96336 95274 0 -1 4194368 5027 0 0 0 6 1 0 0 20 0 18 0 77485603 19384713216 13870 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96377] ppid=96326 vsize=18930384 memory=16163 CPUtime=0 cores=5,7
/proc/96336/task/96377/stat : 96377 (Finalizer) S 96326 96336 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77485605 19384713216 13870 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96389] ppid=96326 vsize=18930384 memory=58485492679654 CPUtime=0 cores=5,7
/proc/96336/task/96389/stat : 96389 (Common-Cleaner) S 96326 96336 95274 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 77485606 19384713216 13870 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55480 KiB
[startup+0.205643 s]*
/proc/loadavg: 1.12 1.11 1.37 13/333 96409
/proc/meminfo: memFree=128860968/131250000 swapFree=33010416/33010684
[pid=96336] ppid=96326 vsize=18930384 memory=65000 CPUtime=0.3 cores=5,7
/proc/96336/stat : 96336 (java) S 96326 96336 95274 0 -1 4194304 7217 0 0 0 28 2 0 0 20 0 18 0 77485601 19384713216 16250 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
/proc/96336/statm: 4732596 16250 5488 1 0 548048 0
[pid=96336/tid=96354] ppid=96326 vsize=18930384 memory=4026794268 CPUtime=0.16 cores=5,7
/proc/96336/task/96354/stat : 96354 (java) R 96326 96336 95274 0 -1 4194368 5440 0 0 0 14 2 0 0 20 0 18 0 77485603 19384713216 16250 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96377] ppid=96326 vsize=18930384 memory=16163 CPUtime=0 cores=5,7
/proc/96336/task/96377/stat : 96377 (Finalizer) S 96326 96336 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 77485605 19384713216 16250 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96389] ppid=96326 vsize=18930384 memory=58485492679654 CPUtime=0 cores=5,7
/proc/96336/task/96389/stat : 96389 (Common-Cleaner) S 96326 96336 95274 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 77485606 19384713216 16250 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 65000 KiB
[startup+0.305645 s]*
/proc/loadavg: 1.12 1.11 1.37 10/336 96412
/proc/meminfo: memFree=128831036/131250000 swapFree=33010416/33010684
[pid=96336] ppid=96326 vsize=18996948 memory=76972 CPUtime=0.5 cores=5,7
/proc/96336/stat : 96336 (java) S 96326 96336 95274 0 -1 4194304 7978 0 0 0 47 3 0 0 20 0 19 0 77485601 19452874752 19243 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
/proc/96336/statm: 4749237 19243 5488 1 0 548643 0
[pid=96336/tid=96354] ppid=96326 vsize=18996948 memory=-6000919472740197990 CPUtime=0.26 cores=5,7
/proc/96336/task/96354/stat : 96354 (java) R 96326 96336 95274 0 -1 4194368 5503 0 0 0 24 2 0 0 20 0 19 0 77485603 19452874752 19243 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96377] ppid=96326 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/96336/task/96377/stat : 96377 (Finalizer) S 96326 96336 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 77485605 19452874752 19243 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96389] ppid=96326 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/96336/task/96389/stat : 96389 (Common-Cleaner) S 96326 96336 95274 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 77485606 19452874752 19243 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96410] ppid=96326 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/96336/task/96410/stat : 96410 (Timer-0) S 96326 96336 95274 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 77485623 19452874752 19243 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 76972 KiB
[startup+0.700228 s]
/proc/loadavg: 1.12 1.11 1.37 9/336 96412
/proc/meminfo: memFree=128635816/131250000 swapFree=33010416/33010684
[pid=96336] ppid=96326 vsize=19063512 memory=168032 CPUtime=1.26 cores=5,7
/proc/96336/stat : 96336 (java) S 96326 96336 95274 0 -1 4194304 12956 0 0 0 120 6 0 0 20 0 20 0 77485601 19521036288 42008 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
/proc/96336/statm: 4765878 42008 5520 1 0 551435 0
[pid=96336/tid=96354] ppid=96326 vsize=19063512 memory=18816 CPUtime=0.58 cores=5,7
/proc/96336/task/96354/stat : 96354 (java) R 96326 96336 95274 0 -1 4194368 5547 0 0 0 54 4 0 0 20 0 20 0 77485603 19521036288 42008 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96377] ppid=96326 vsize=19063512 memory=10496 CPUtime=0 cores=5,7
/proc/96336/task/96377/stat : 96377 (Finalizer) S 96326 96336 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485605 19521036288 42008 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96389] ppid=96326 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/96336/task/96389/stat : 96389 (Common-Cleaner) S 96326 96336 95274 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 77485606 19521036288 42008 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96410] ppid=96326 vsize=19063512 memory=4740 CPUtime=0 cores=5,7
/proc/96336/task/96410/stat : 96410 (Timer-0) S 96326 96336 95274 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77485623 19521036288 42008 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 168032 KiB
[startup+1.50025 s]
/proc/loadavg: 1.12 1.11 1.37 9/340 96416
/proc/meminfo: memFree=128448696/131250000 swapFree=33010416/33010684
[pid=96336] ppid=96326 vsize=19063512 memory=242508 CPUtime=2.83 cores=5,7
/proc/96336/stat : 96336 (java) S 96326 96336 95274 0 -1 4194304 14793 0 0 0 275 8 0 0 20 0 20 0 77485601 19521036288 60627 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
/proc/96336/statm: 4765878 60627 5520 1 0 552512 0
[pid=96336/tid=96354] ppid=96326 vsize=19063512 memory=10496 CPUtime=1.3 cores=5,7
/proc/96336/task/96354/stat : 96354 (java) R 96326 96336 95274 0 -1 4194368 5576 0 0 0 126 4 0 0 20 0 20 0 77485603 19521036288 60627 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96377] ppid=96326 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/96336/task/96377/stat : 96377 (Finalizer) S 96326 96336 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485605 19521036288 60627 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96389] ppid=96326 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/96336/task/96389/stat : 96389 (Common-Cleaner) S 96326 96336 95274 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 77485606 19521036288 60627 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96410] ppid=96326 vsize=19063512 memory=4740 CPUtime=0 cores=5,7
/proc/96336/task/96410/stat : 96410 (Timer-0) S 96326 96336 95274 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77485623 19521036288 60627 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 242508 KiB
[startup+3.10557 s]
/proc/loadavg: 1.12 1.11 1.37 7/340 96416
/proc/meminfo: memFree=126472652/131250000 swapFree=33010416/33010684
[pid=96336] ppid=96326 vsize=19063512 memory=791072 CPUtime=5.22 cores=5,7
/proc/96336/stat : 96336 (java) S 96326 96336 95274 0 -1 4194304 15496 0 0 0 502 20 0 0 20 0 20 0 77485601 19521036288 197768 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
/proc/96336/statm: 4765878 197768 5520 1 0 907613 0
[pid=96336/tid=96354] ppid=96326 vsize=19063512 memory=10496 CPUtime=2.86 cores=5,7
/proc/96336/task/96354/stat : 96354 (java) R 96326 96336 95274 0 -1 4194368 5836 0 0 0 271 15 0 0 20 0 20 0 77485603 19521036288 197768 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96377] ppid=96326 vsize=19063512 memory=-6000919481346909798 CPUtime=0 cores=5,7
/proc/96336/task/96377/stat : 96377 (Finalizer) S 96326 96336 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485605 19521036288 197768 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96389] ppid=96326 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/96336/task/96389/stat : 96389 (Common-Cleaner) S 96326 96336 95274 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 77485606 19521036288 197768 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96410] ppid=96326 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/96336/task/96410/stat : 96410 (Timer-0) S 96326 96336 95274 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77485623 19521036288 197768 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
Current children cumulated CPU time: 5.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 791072 KiB
[startup+6.30022 s]
/proc/loadavg: 1.43 1.18 1.39 5/340 96416
/proc/meminfo: memFree=123760588/131250000 swapFree=33010416/33010684
[pid=96336] ppid=96326 vsize=19063512 memory=1221208 CPUtime=9.46 cores=5,7
/proc/96336/stat : 96336 (java) S 96326 96336 95274 0 -1 4194304 22612 0 0 0 915 31 0 0 20 0 20 0 77485601 19521036288 305302 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
/proc/96336/statm: 4765878 305302 5520 1 0 913091 0
[pid=96336/tid=96354] ppid=96326 vsize=19063512 memory=0 CPUtime=5.96 cores=5,7
/proc/96336/task/96354/stat : 96354 (java) R 96326 96336 95274 0 -1 4194368 6274 0 0 0 574 22 0 0 20 0 20 0 77485603 19521036288 305302 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96377] ppid=96326 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/96336/task/96377/stat : 96377 (Finalizer) S 96326 96336 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485605 19521036288 305302 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96389] ppid=96326 vsize=19063512 memory=10496 CPUtime=0 cores=5,7
/proc/96336/task/96389/stat : 96389 (Common-Cleaner) S 96326 96336 95274 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 77485606 19521036288 305302 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96410] ppid=96326 vsize=19063512 memory=16360 CPUtime=0 cores=5,7
/proc/96336/task/96410/stat : 96410 (Timer-0) S 96326 96336 95274 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77485623 19521036288 305302 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
Current children cumulated CPU time: 9.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1221208 KiB
[startup+12.7002 s]
/proc/loadavg: 1.64 1.23 1.40 6/340 96482
/proc/meminfo: memFree=122226328/131250000 swapFree=33010416/33010684
[pid=96336] ppid=96326 vsize=19063512 memory=2243296 CPUtime=16.26 cores=5,7
/proc/96336/stat : 96336 (java) S 96326 96336 95274 0 -1 4194304 34852 0 0 0 1574 52 0 0 20 0 20 0 77485601 19521036288 560824 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
/proc/96336/statm: 4765878 560824 5520 1 0 913609 0
[pid=96336/tid=96354] ppid=96326 vsize=19063512 memory=0 CPUtime=12.25 cores=5,7
/proc/96336/task/96354/stat : 96354 (java) R 96326 96336 95274 0 -1 4194368 8157 0 0 0 1185 40 0 0 20 0 20 0 77485603 19521036288 560824 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96377] ppid=96326 vsize=19063512 memory=10496 CPUtime=0 cores=5,7
/proc/96336/task/96377/stat : 96377 (Finalizer) S 96326 96336 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485605 19521036288 560824 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96389] ppid=96326 vsize=19063512 memory=-6000919481346909798 CPUtime=0 cores=5,7
/proc/96336/task/96389/stat : 96389 (Common-Cleaner) S 96326 96336 95274 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 77485606 19521036288 560824 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96410] ppid=96326 vsize=19063512 memory=1920 CPUtime=0 cores=5,7
/proc/96336/task/96410/stat : 96410 (Timer-0) S 96326 96336 95274 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77485623 19521036288 560824 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
Current children cumulated CPU time: 16.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2243296 KiB
[startup+25.5003 s]
/proc/loadavg: 2.16 1.36 1.45 5/340 96482
/proc/meminfo: memFree=120086036/131250000 swapFree=33010416/33010684
[pid=96336] ppid=96326 vsize=19063512 memory=2269964 CPUtime=29.18 cores=5,7
/proc/96336/stat : 96336 (java) S 96326 96336 95274 0 -1 4194304 35861 0 0 0 2865 53 0 0 20 0 20 0 77485601 19521036288 567491 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
/proc/96336/statm: 4765878 567491 5520 1 0 913610 0
[pid=96336/tid=96354] ppid=96326 vsize=19063512 memory=0 CPUtime=24.82 cores=5,7
/proc/96336/task/96354/stat : 96354 (java) R 96326 96336 95274 0 -1 4194368 9062 0 0 0 2442 40 0 0 20 0 20 0 77485603 19521036288 567491 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96377] ppid=96326 vsize=19063512 memory=2259696 CPUtime=0 cores=5,7
/proc/96336/task/96377/stat : 96377 (Finalizer) S 96326 96336 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485605 19521036288 567491 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96389] ppid=96326 vsize=19063512 memory=1221208 CPUtime=0 cores=5,7
/proc/96336/task/96389/stat : 96389 (Common-Cleaner) S 96326 96336 95274 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 77485606 19521036288 567491 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96410] ppid=96326 vsize=19063512 memory=281006288420128 CPUtime=0 cores=5,7
/proc/96336/task/96410/stat : 96410 (Timer-0) S 96326 96336 95274 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77485623 19521036288 567491 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
Current children cumulated CPU time: 29.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2269964 KiB
[startup+51.1057 s]
/proc/loadavg: 3.26 1.69 1.55 5/340 96483
/proc/meminfo: memFree=119630680/131250000 swapFree=33010416/33010684
[pid=96336] ppid=96326 vsize=19063512 memory=2395156 CPUtime=55.2 cores=5,7
/proc/96336/stat : 96336 (java) S 96326 96336 95274 0 -1 4194304 45351 0 0 0 5462 58 0 0 20 0 20 0 77485601 19521036288 598789 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
/proc/96336/statm: 4765878 598789 5520 1 0 913610 0
[pid=96336/tid=96354] ppid=96326 vsize=19063512 memory=2376688 CPUtime=49.79 cores=5,7
/proc/96336/task/96354/stat : 96354 (java) R 96326 96336 95274 0 -1 4194368 12527 0 0 0 4939 40 0 0 20 0 20 0 77485603 19521036288 598789 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
################
# More data... #
################
/proc/meminfo: memFree=112275196/131250000 swapFree=33010416/33010684
[pid=96336] ppid=96326 vsize=19063512 memory=3595212 CPUtime=3185.87 cores=5,7
/proc/96336/stat : 96336 (java) S 96326 96336 95274 0 -1 4194304 145792 0 0 0 318354 233 0 0 20 0 20 0 77485601 19521036288 898803 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
/proc/96336/statm: 4765878 898803 5520 1 0 913708 0
[pid=96336/tid=96354] ppid=96326 vsize=19063512 memory=3595212 CPUtime=3140.36 cores=5,7
/proc/96336/task/96354/stat : 96354 (java) R 96326 96336 95274 0 -1 4194368 55823 0 0 0 313987 49 0 0 20 0 20 0 77485603 19521036288 898803 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96377] ppid=96326 vsize=19063512 memory=18816 CPUtime=0 cores=5,7
/proc/96336/task/96377/stat : 96377 (Finalizer) S 96326 96336 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485605 19521036288 898803 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96389] ppid=96326 vsize=19063512 memory=3595212 CPUtime=0 cores=5,7
/proc/96336/task/96389/stat : 96389 (Common-Cleaner) S 96326 96336 95274 0 -1 4194368 1728 0 0 0 0 0 0 0 20 0 20 0 77485606 19521036288 898803 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96410] ppid=96326 vsize=19063512 memory=3595212 CPUtime=0 cores=5,7
/proc/96336/task/96410/stat : 96410 (Timer-0) S 96326 96336 95274 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77485623 19521036288 898803 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
Current children cumulated CPU time: 3185.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3595212 KiB
[startup+3222.3 s]
/proc/loadavg: 4.25 4.31 4.22 5/339 96663
/proc/meminfo: memFree=112266708/131250000 swapFree=33010416/33010684
[pid=96336] ppid=96326 vsize=19063512 memory=3595212 CPUtime=3252.06 cores=5,7
/proc/96336/stat : 96336 (java) S 96326 96336 95274 0 -1 4194304 149503 0 0 0 324960 246 0 0 20 0 20 0 77485601 19521036288 898803 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
/proc/96336/statm: 4765878 898803 5520 1 0 913708 0
[pid=96336/tid=96354] ppid=96326 vsize=19063512 memory=3595212 CPUtime=3199.57 cores=5,7
/proc/96336/task/96354/stat : 96354 (java) R 96326 96336 95274 0 -1 4194368 57392 0 0 0 319907 50 0 0 20 0 20 0 77485603 19521036288 898803 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96377] ppid=96326 vsize=19063512 memory=3595212 CPUtime=0 cores=5,7
/proc/96336/task/96377/stat : 96377 (Finalizer) S 96326 96336 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485605 19521036288 898803 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96389] ppid=96326 vsize=19063512 memory=3595212 CPUtime=0 cores=5,7
/proc/96336/task/96389/stat : 96389 (Common-Cleaner) S 96326 96336 95274 0 -1 4194368 1728 0 0 0 0 0 0 0 20 0 20 0 77485606 19521036288 898803 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96410] ppid=96326 vsize=19063512 memory=3595212 CPUtime=0 cores=5,7
/proc/96336/task/96410/stat : 96410 (Timer-0) S 96326 96336 95274 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77485623 19521036288 898803 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
Current children cumulated CPU time: 3252.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3595212 KiB
[startup+3282.3 s]
/proc/loadavg: 4.41 4.35 4.24 6/339 96665
/proc/meminfo: memFree=112213440/131250000 swapFree=33010416/33010684
[pid=96336] ppid=96326 vsize=19063512 memory=3595212 CPUtime=3315.3 cores=5,7
/proc/96336/stat : 96336 (java) S 96326 96336 95274 0 -1 4194304 150307 0 0 0 331278 252 0 0 20 0 20 0 77485601 19521036288 898803 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
/proc/96336/statm: 4765878 898803 5520 1 0 913708 0
[pid=96336/tid=96354] ppid=96326 vsize=19063512 memory=18816 CPUtime=3258.99 cores=5,7
/proc/96336/task/96354/stat : 96354 (java) R 96326 96336 95274 0 -1 4194368 57642 0 0 0 325849 50 0 0 20 0 20 0 77485603 19521036288 898803 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96377] ppid=96326 vsize=19063512 memory=18816 CPUtime=0 cores=5,7
/proc/96336/task/96377/stat : 96377 (Finalizer) S 96326 96336 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485605 19521036288 898803 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96389] ppid=96326 vsize=19063512 memory=3595212 CPUtime=0 cores=5,7
/proc/96336/task/96389/stat : 96389 (Common-Cleaner) S 96326 96336 95274 0 -1 4194368 1758 0 0 0 0 0 0 0 20 0 20 0 77485606 19521036288 898803 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96410] ppid=96326 vsize=19063512 memory=16360 CPUtime=0 cores=5,7
/proc/96336/task/96410/stat : 96410 (Timer-0) S 96326 96336 95274 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77485623 19521036288 898803 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
Current children cumulated CPU time: 3315.3 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3595212 KiB
[startup+3342.3 s]
/proc/loadavg: 4.32 4.34 4.25 5/339 96667
/proc/meminfo: memFree=112025648/131250000 swapFree=33010416/33010684
[pid=96336] ppid=96326 vsize=19063512 memory=3595212 CPUtime=3382.23 cores=5,7
/proc/96336/stat : 96336 (java) S 96326 96336 95274 0 -1 4194304 154688 0 0 0 337958 265 0 0 20 0 20 0 77485601 19521036288 898803 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
/proc/96336/statm: 4765878 898803 5520 1 0 913708 0
[pid=96336/tid=96354] ppid=96326 vsize=19063512 memory=3595212 CPUtime=3318.12 cores=5,7
/proc/96336/task/96354/stat : 96354 (java) R 96326 96336 95274 0 -1 4194368 59494 0 0 0 331762 50 0 0 20 0 20 0 77485603 19521036288 898803 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96377] ppid=96326 vsize=19063512 memory=2764 CPUtime=0 cores=5,7
/proc/96336/task/96377/stat : 96377 (Finalizer) S 96326 96336 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485605 19521036288 898803 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96389] ppid=96326 vsize=19063512 memory=3595212 CPUtime=0 cores=5,7
/proc/96336/task/96389/stat : 96389 (Common-Cleaner) S 96326 96336 95274 0 -1 4194368 1758 0 0 0 0 0 0 0 20 0 20 0 77485606 19521036288 898803 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96410] ppid=96326 vsize=19063512 memory=16360 CPUtime=0 cores=5,7
/proc/96336/task/96410/stat : 96410 (Timer-0) S 96326 96336 95274 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77485623 19521036288 898803 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
Current children cumulated CPU time: 3382.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3595212 KiB
[startup+3402.3 s]
/proc/loadavg: 3.68 4.17 4.19 4/315 96704
/proc/meminfo: memFree=117488552/131250000 swapFree=33010416/33010684
[pid=96336] ppid=96326 vsize=19063512 memory=3595340 CPUtime=3445.13 cores=5,7
/proc/96336/stat : 96336 (java) S 96326 96336 95274 0 -1 4194304 157426 0 0 0 344240 273 0 0 20 0 20 0 77485601 19521036288 898835 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
/proc/96336/statm: 4765878 898835 5520 1 0 913708 0
[pid=96336/tid=96354] ppid=96326 vsize=19063512 memory=3595340 CPUtime=3377.73 cores=5,7
/proc/96336/task/96354/stat : 96354 (java) R 96326 96336 95274 0 -1 4194368 60872 0 0 0 337722 51 0 0 20 0 20 0 77485603 19521036288 898835 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96377] ppid=96326 vsize=19063512 memory=2764 CPUtime=0 cores=5,7
/proc/96336/task/96377/stat : 96377 (Finalizer) S 96326 96336 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485605 19521036288 898835 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96389] ppid=96326 vsize=19063512 memory=16360 CPUtime=0 cores=5,7
/proc/96336/task/96389/stat : 96389 (Common-Cleaner) S 96326 96336 95274 0 -1 4194368 1770 0 0 0 0 0 0 0 20 0 20 0 77485606 19521036288 898835 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96410] ppid=96326 vsize=19063512 memory=16360 CPUtime=0 cores=5,7
/proc/96336/task/96410/stat : 96410 (Timer-0) S 96326 96336 95274 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77485623 19521036288 898835 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
Current children cumulated CPU time: 3445.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3595340 KiB
[startup+3462.3 s]
/proc/loadavg: 3.02 3.90 4.10 3/291 96745
/proc/meminfo: memFree=122125672/131250000 swapFree=33010416/33010684
[pid=96336] ppid=96326 vsize=19063512 memory=3595340 CPUtime=3508.05 cores=5,7
/proc/96336/stat : 96336 (java) S 96326 96336 95274 0 -1 4194304 158904 0 0 0 350525 280 0 0 20 0 20 0 77485601 19521036288 898835 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
/proc/96336/statm: 4765878 898835 5520 1 0 913708 0
[pid=96336/tid=96354] ppid=96326 vsize=19063512 memory=2764 CPUtime=3437.38 cores=5,7
/proc/96336/task/96354/stat : 96354 (java) R 96326 96336 95274 0 -1 4194368 60923 0 0 0 343687 51 0 0 20 0 20 0 77485603 19521036288 898835 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96377] ppid=96326 vsize=19063512 memory=16360 CPUtime=0 cores=5,7
/proc/96336/task/96377/stat : 96377 (Finalizer) S 96326 96336 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485605 19521036288 898835 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96389] ppid=96326 vsize=19063512 memory=3595340 CPUtime=0 cores=5,7
/proc/96336/task/96389/stat : 96389 (Common-Cleaner) S 96326 96336 95274 0 -1 4194368 1817 0 0 0 0 0 0 0 20 0 20 0 77485606 19521036288 898835 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96410] ppid=96326 vsize=19063512 memory=16360 CPUtime=0 cores=5,7
/proc/96336/task/96410/stat : 96410 (Timer-0) S 96326 96336 95274 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77485623 19521036288 898835 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
Current children cumulated CPU time: 3508.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3595340 KiB
[startup+3522.3 s]
/proc/loadavg: 2.75 3.66 4.00 3/291 96747
/proc/meminfo: memFree=122125352/131250000 swapFree=33010416/33010684
[pid=96336] ppid=96326 vsize=19063512 memory=3595340 CPUtime=3572.67 cores=5,7
/proc/96336/stat : 96336 (java) S 96326 96336 95274 0 -1 4194304 162909 0 0 0 356976 291 0 0 20 0 20 0 77485601 19521036288 898835 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
/proc/96336/statm: 4765878 898835 5520 1 0 913708 0
[pid=96336/tid=96354] ppid=96326 vsize=19063512 memory=3595340 CPUtime=3496.82 cores=5,7
/proc/96336/task/96354/stat : 96354 (java) R 96326 96336 95274 0 -1 4194368 62306 0 0 0 349631 51 0 0 20 0 20 0 77485603 19521036288 898835 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96377] ppid=96326 vsize=19063512 memory=18816 CPUtime=0 cores=5,7
/proc/96336/task/96377/stat : 96377 (Finalizer) S 96326 96336 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485605 19521036288 898835 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96389] ppid=96326 vsize=19063512 memory=4352 CPUtime=0 cores=5,7
/proc/96336/task/96389/stat : 96389 (Common-Cleaner) S 96326 96336 95274 0 -1 4194368 1818 0 0 0 0 0 0 0 20 0 20 0 77485606 19521036288 898835 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96410] ppid=96326 vsize=19063512 memory=3595340 CPUtime=0 cores=5,7
/proc/96336/task/96410/stat : 96410 (Timer-0) S 96326 96336 95274 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77485623 19521036288 898835 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
Current children cumulated CPU time: 3572.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3595340 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3549 s]*
/proc/loadavg: 2.63 3.56 3.96 3/291 96748
/proc/meminfo: memFree=122125400/131250000 swapFree=33010416/33010684
[pid=96336] ppid=96326 vsize=19063512 memory=3595340 CPUtime=3600.01 cores=5,7
/proc/96336/stat : 96336 (java) S 96326 96336 95274 0 -1 4194304 162995 0 0 0 359708 293 0 0 20 0 20 0 77485601 19521036288 898835 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
/proc/96336/statm: 4765878 898835 5520 1 0 913708 0
[pid=96336/tid=96354] ppid=96326 vsize=19063512 memory=-6000919472756975206 CPUtime=3523.4 cores=5,7
/proc/96336/task/96354/stat : 96354 (java) R 96326 96336 95274 0 -1 4194368 62317 0 0 0 352289 51 0 0 20 0 20 0 77485603 19521036288 898835 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96377] ppid=96326 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=5,7
/proc/96336/task/96377/stat : 96377 (Finalizer) S 96326 96336 95274 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 77485605 19521036288 898835 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96389] ppid=96326 vsize=19063512 memory=26268 CPUtime=0 cores=5,7
/proc/96336/task/96389/stat : 96389 (Common-Cleaner) S 96326 96336 95274 0 -1 4194368 1865 0 0 0 0 0 0 0 20 0 20 0 77485606 19521036288 898835 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
[pid=96336/tid=96410] ppid=96326 vsize=19063512 memory=6964 CPUtime=0 cores=5,7
/proc/96336/task/96410/stat : 96410 (Timer-0) S 96326 96336 95274 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 77485623 19521036288 898835 18446744073709551615 93968077672448 93968077676144 140729141234736 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93968077683960 93968077684752 93968103272448 140729141242236 140729141242340 140729141242340 140729141247944 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3595340 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3549.09 s]
# the end of solver process 96336 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.21 s, system=2.94945 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3549.09
CPU time (s): 3600.16
CPU user time (s): 3597.21
CPU system time (s): 2.94945
CPU usage (%): 101.439
Max. virtual memory (cumulated for all children) (KiB): 19066192
Max. memory (cumulated for all children) (KiB): 3595340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.21
system time used= 2.94944
maximum resident set size= 3596364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164978
page faults= 0
swaps= 0
block input operations= 0
block output operations= 22224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 196415
involuntary context switches= 14628
# summary of solver processes directly reported to runsolver:
# pid: 96336
# total CPU time (s): 3600.16
# total CPU user time (s): 3597.21
# total CPU system time (s): 2.94945
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.33159 second user time and 16.6271 second system time
The end