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: 63708 MiB (62320 MiB free)
memory of node 1: 64465 MiB (63768 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4508096-1751508662/watcher-4508096-1751508662 -o /tmp/evaluation-result-4508096-1751508662/solver-4508096-1751508662 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751508662-73427 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4508096-1751508662.opb
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
solver pid=73478, runsolver pid=73466
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 0.88 1.21 2.18 8/333 73552
/proc/meminfo: memFree=129034476/131249996 swapFree=33006296/33010684
[pid=73478] ppid=73466 vsize=18930384 memory=55548 CPUtime=0.12 cores=5,7
/proc/73478/stat : 73478 (java) S 73466 73478 73414 0 -1 4194304 6370 0 229 0 10 2 0 0 20 0 18 0 66543661 19384713216 13887 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
/proc/73478/statm: 4732596 13887 5330 1 0 547604 0
[pid=73478/tid=73497] ppid=73466 vsize=18930384 memory=4026532124 CPUtime=0.07 cores=5,7
/proc/73478/task/73497/stat : 73497 (java) R 73466 73478 73414 0 -1 4194368 4871 0 229 0 6 1 0 0 20 0 18 0 66543663 19384713216 13887 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73537] ppid=73466 vsize=18930384 memory=2630 CPUtime=0 cores=5,7
/proc/73478/task/73537/stat : 73537 (Finalizer) S 73466 73478 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 66543665 19384713216 13887 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73551] ppid=73466 vsize=18930384 memory=57385981051877 CPUtime=0 cores=5,7
/proc/73478/task/73551/stat : 73551 (Common-Cleaner) S 73466 73478 73414 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 66543666 19384713216 13887 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55548 KiB
[startup+0.206165 s]*
/proc/loadavg: 0.88 1.21 2.18 13/333 73552
/proc/meminfo: memFree=129023260/131249996 swapFree=33006296/33010684
[pid=73478] ppid=73466 vsize=18930384 memory=66380 CPUtime=0.31 cores=5,7
/proc/73478/stat : 73478 (java) S 73466 73478 73414 0 -1 4194304 6950 0 229 0 29 2 0 0 20 0 18 0 66543661 19384713216 16595 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
/proc/73478/statm: 4732596 16595 5426 1 0 547983 0
[pid=73478/tid=73497] ppid=73466 vsize=18930384 memory=4026728732 CPUtime=0.16 cores=5,7
/proc/73478/task/73497/stat : 73497 (java) R 73466 73478 73414 0 -1 4194368 5183 0 229 0 15 1 0 0 20 0 18 0 66543663 19384713216 16595 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73537] ppid=73466 vsize=18930384 memory=2630 CPUtime=0 cores=5,7
/proc/73478/task/73537/stat : 73537 (Finalizer) S 73466 73478 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 66543665 19384713216 16595 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73551] ppid=73466 vsize=18930384 memory=57385981051877 CPUtime=0 cores=5,7
/proc/73478/task/73551/stat : 73551 (Common-Cleaner) S 73466 73478 73414 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 66543666 19384713216 16595 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 66380 KiB
[startup+0.305566 s]*
/proc/loadavg: 0.88 1.21 2.18 9/333 73552
/proc/meminfo: memFree=128841628/131249996 swapFree=33006296/33010684
[pid=73478] ppid=73466 vsize=18930384 memory=110584 CPUtime=0.51 cores=5,7
/proc/73478/stat : 73478 (java) S 73466 73478 73414 0 -1 4194304 8711 0 229 0 48 3 0 0 20 0 18 0 66543661 19384713216 27646 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
/proc/73478/statm: 4732596 27646 5426 1 0 549210 0
[pid=73478/tid=73497] ppid=73466 vsize=18930384 memory=-6000919476984768872 CPUtime=0.23 cores=5,7
/proc/73478/task/73497/stat : 73497 (java) R 73466 73478 73414 0 -1 4194368 5221 0 229 0 21 2 0 0 20 0 18 0 66543663 19384713216 27646 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73537] ppid=73466 vsize=18930384 memory=-4421386504753997920 CPUtime=0 cores=5,7
/proc/73478/task/73537/stat : 73537 (Finalizer) S 73466 73478 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 66543665 19384713216 27646 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73551] ppid=73466 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/73478/task/73551/stat : 73551 (Common-Cleaner) S 73466 73478 73414 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 66543666 19384713216 27646 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 110584 KiB
[startup+0.700197 s]
/proc/loadavg: 0.88 1.21 2.18 12/341 73560
/proc/meminfo: memFree=128636224/131249996 swapFree=33006296/33010684
[pid=73478] ppid=73466 vsize=19063512 memory=175664 CPUtime=1.27 cores=5,7
/proc/73478/stat : 73478 (java) S 73466 73478 73414 0 -1 4194304 14125 0 229 0 121 6 0 0 20 0 20 0 66543661 19521036288 43916 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
/proc/73478/statm: 4765878 43916 5490 1 0 552825 0
[pid=73478/tid=73497] ppid=73466 vsize=19063512 memory=14976 CPUtime=0.51 cores=5,7
/proc/73478/task/73497/stat : 73497 (java) R 73466 73478 73414 0 -1 4194368 5363 0 229 0 48 3 0 0 20 0 20 0 66543663 19521036288 43916 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73537] ppid=73466 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/73478/task/73537/stat : 73537 (Finalizer) S 73466 73478 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66543665 19521036288 43916 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73551] ppid=73466 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/73478/task/73551/stat : 73551 (Common-Cleaner) S 73466 73478 73414 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 66543666 19521036288 43916 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73559] ppid=73466 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/73478/task/73559/stat : 73559 (Timer-0) S 73466 73478 73414 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66543707 19521036288 43916 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 175664 KiB
[startup+1.50025 s]
/proc/loadavg: 0.88 1.21 2.18 9/341 73560
/proc/meminfo: memFree=128534100/131249996 swapFree=33006296/33010684
[pid=73478] ppid=73466 vsize=19063512 memory=301480 CPUtime=2.85 cores=5,7
/proc/73478/stat : 73478 (java) S 73466 73478 73414 0 -1 4194304 16746 0 229 0 276 9 0 0 20 0 20 0 66543661 19521036288 75370 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
/proc/73478/statm: 4765878 75370 5490 1 0 725275 0
[pid=73478/tid=73497] ppid=73466 vsize=19063512 memory=0 CPUtime=1.2 cores=5,7
/proc/73478/task/73497/stat : 73497 (java) R 73466 73478 73414 0 -1 4194368 5421 0 229 0 115 5 0 0 20 0 20 0 66543663 19521036288 75370 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73537] ppid=73466 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/73478/task/73537/stat : 73537 (Finalizer) S 73466 73478 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66543665 19521036288 75370 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73551] ppid=73466 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/73478/task/73551/stat : 73551 (Common-Cleaner) S 73466 73478 73414 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 66543666 19521036288 75370 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73559] ppid=73466 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/73478/task/73559/stat : 73559 (Timer-0) S 73466 73478 73414 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66543707 19521036288 75370 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 301480 KiB
[startup+3.10582 s]
/proc/loadavg: 1.53 1.34 2.22 9/341 73560
/proc/meminfo: memFree=126321836/131249996 swapFree=33006296/33010684
[pid=73478] ppid=73466 vsize=19063512 memory=901668 CPUtime=5.83 cores=5,7
/proc/73478/stat : 73478 (java) S 73466 73478 73414 0 -1 4194304 17645 0 229 0 561 22 0 0 20 0 20 0 66543661 19521036288 225417 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
/proc/73478/statm: 4765878 225417 5490 1 0 725569 0
[pid=73478/tid=73497] ppid=73466 vsize=19063512 memory=10752 CPUtime=2.7 cores=5,7
/proc/73478/task/73497/stat : 73497 (java) R 73466 73478 73414 0 -1 4194368 5758 0 229 0 253 17 0 0 20 0 20 0 66543663 19521036288 225417 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73537] ppid=73466 vsize=19063512 memory=-6000919481279736168 CPUtime=0 cores=5,7
/proc/73478/task/73537/stat : 73537 (Finalizer) S 73466 73478 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66543665 19521036288 225417 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73551] ppid=73466 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/73478/task/73551/stat : 73551 (Common-Cleaner) S 73466 73478 73414 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 66543666 19521036288 225417 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73559] ppid=73466 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/73478/task/73559/stat : 73559 (Timer-0) S 73466 73478 73414 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66543707 19521036288 225417 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
Current children cumulated CPU time: 5.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 901668 KiB
[startup+6.30022 s]
/proc/loadavg: 1.53 1.34 2.22 6/341 73560
/proc/meminfo: memFree=122510064/131249996 swapFree=33006296/33010684
[pid=73478] ppid=73466 vsize=19063512 memory=2252360 CPUtime=10.43 cores=5,7
/proc/73478/stat : 73478 (java) S 73466 73478 73414 0 -1 4194304 21298 0 229 0 995 48 0 0 20 0 20 0 66543661 19521036288 563090 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
/proc/73478/statm: 4765878 563090 5490 1 0 964839 0
[pid=73478/tid=73497] ppid=73466 vsize=19063512 memory=0 CPUtime=5.81 cores=5,7
/proc/73478/task/73497/stat : 73497 (java) R 73466 73478 73414 0 -1 4194368 6636 0 229 0 540 41 0 0 20 0 20 0 66543663 19521036288 563090 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73537] ppid=73466 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/73478/task/73537/stat : 73537 (Finalizer) S 73466 73478 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66543665 19521036288 563090 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73551] ppid=73466 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/73478/task/73551/stat : 73551 (Common-Cleaner) S 73466 73478 73414 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 66543666 19521036288 563090 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73559] ppid=73466 vsize=19063512 memory=323092 CPUtime=0 cores=5,7
/proc/73478/task/73559/stat : 73559 (Timer-0) S 73466 73478 73414 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66543707 19521036288 563090 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
Current children cumulated CPU time: 10.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2252360 KiB
[startup+12.7003 s]
/proc/loadavg: 1.98 1.44 2.24 5/341 73560
/proc/meminfo: memFree=119724416/131249996 swapFree=33006296/33010684
[pid=73478] ppid=73466 vsize=19063512 memory=2690972 CPUtime=16.99 cores=5,7
/proc/73478/stat : 73478 (java) S 73466 73478 73414 0 -1 4194304 25922 0 229 0 1642 57 0 0 20 0 20 0 66543661 19521036288 672743 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
/proc/73478/statm: 4765878 672743 5522 1 0 964913 0
[pid=73478/tid=73497] ppid=73466 vsize=19063512 memory=323092 CPUtime=12.08 cores=5,7
/proc/73478/task/73497/stat : 73497 (java) R 73466 73478 73414 0 -1 4194368 8606 0 229 0 1158 50 0 0 20 0 20 0 66543663 19521036288 672743 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73537] ppid=73466 vsize=19063512 memory=2690972 CPUtime=0 cores=5,7
/proc/73478/task/73537/stat : 73537 (Finalizer) S 73466 73478 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66543665 19521036288 672743 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73551] ppid=73466 vsize=19063512 memory=2690972 CPUtime=0 cores=5,7
/proc/73478/task/73551/stat : 73551 (Common-Cleaner) S 73466 73478 73414 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 66543666 19521036288 672743 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73559] ppid=73466 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/73478/task/73559/stat : 73559 (Timer-0) S 73466 73478 73414 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66543707 19521036288 672743 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
Current children cumulated CPU time: 16.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2690972 KiB
[startup+25.5002 s]
/proc/loadavg: 2.29 1.53 2.26 5/341 73560
/proc/meminfo: memFree=118946552/131249996 swapFree=33006296/33010684
[pid=73478] ppid=73466 vsize=19063512 memory=2695208 CPUtime=29.94 cores=5,7
/proc/73478/stat : 73478 (java) S 73466 73478 73414 0 -1 4194304 27582 0 229 0 2937 57 0 0 20 0 20 0 66543661 19521036288 673802 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
/proc/73478/statm: 4765878 673802 5522 1 0 964916 0
[pid=73478/tid=73497] ppid=73466 vsize=19063512 memory=2690972 CPUtime=24.6 cores=5,7
/proc/73478/task/73497/stat : 73497 (java) R 73466 73478 73414 0 -1 4194368 9564 0 229 0 2410 50 0 0 20 0 20 0 66543663 19521036288 673802 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73537] ppid=73466 vsize=19063512 memory=2695208 CPUtime=0 cores=5,7
/proc/73478/task/73537/stat : 73537 (Finalizer) S 73466 73478 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66543665 19521036288 673802 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73551] ppid=73466 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/73478/task/73551/stat : 73551 (Common-Cleaner) S 73466 73478 73414 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 66543666 19521036288 673802 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73559] ppid=73466 vsize=19063512 memory=2695208 CPUtime=0 cores=5,7
/proc/73478/task/73559/stat : 73559 (Timer-0) S 73466 73478 73414 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66543707 19521036288 673802 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
Current children cumulated CPU time: 29.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2695208 KiB
[startup+51.1059 s]
/proc/loadavg: 3.06 1.77 2.32 5/341 73561
/proc/meminfo: memFree=118827664/131249996 swapFree=33006296/33010684
[pid=73478] ppid=73466 vsize=19063512 memory=2713780 CPUtime=55.98 cores=5,7
/proc/73478/stat : 73478 (java) S 73466 73478 73414 0 -1 4194304 37967 0 229 0 5538 60 0 0 20 0 20 0 66543661 19521036288 678445 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
/proc/73478/statm: 4765878 678445 5522 1 0 964916 0
[pid=73478/tid=73497] ppid=73466 vsize=19063512 memory=2701484 CPUtime=49.67 cores=5,7
/proc/73478/task/73497/stat : 73497 (java) R 73466 73478 73414 0 -1 4194368 14105 0 229 0 4917 50 0 0 20 0 20 0 66543663 19521036288 678445 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73537] ppid=73466 vsize=19063512 memory=2701484 CPUtime=0 cores=5,7
/proc/73478/task/73537/stat : 73537 (Finalizer) S 73466 73478 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66543665 19521036288 678445 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
################
# More data... #
################
/proc/meminfo: memFree=114959796/131249996 swapFree=33006296/33010684
[pid=73478] ppid=73466 vsize=19063512 memory=3747504 CPUtime=3245.5 cores=5,7
/proc/73478/stat : 73478 (java) S 73466 73478 73414 0 -1 4194304 141606 0 229 0 324365 185 0 0 20 0 20 0 66543661 19521036288 936876 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
/proc/73478/statm: 4765878 936876 5554 1 0 965643 0
[pid=73478/tid=73497] ppid=73466 vsize=19063512 memory=3747504 CPUtime=3188.62 cores=5,7
/proc/73478/task/73497/stat : 73497 (java) R 73466 73478 73414 0 -1 4194368 76118 0 229 0 318797 65 0 0 20 0 20 0 66543663 19521036288 936876 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73537] ppid=73466 vsize=19063512 memory=3747504 CPUtime=0 cores=5,7
/proc/73478/task/73537/stat : 73537 (Finalizer) S 73466 73478 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66543665 19521036288 936876 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73551] ppid=73466 vsize=19063512 memory=3747504 CPUtime=0 cores=5,7
/proc/73478/task/73551/stat : 73551 (Common-Cleaner) S 73466 73478 73414 0 -1 4194368 2230 0 0 0 0 0 0 0 20 0 20 0 66543666 19521036288 936876 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73559] ppid=73466 vsize=19063512 memory=3747504 CPUtime=0 cores=5,7
/proc/73478/task/73559/stat : 73559 (Timer-0) S 73466 73478 73414 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66543707 19521036288 936876 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
Current children cumulated CPU time: 3245.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3747504 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.14 4.12 5/339 73731
/proc/meminfo: memFree=114932352/131249996 swapFree=33006296/33010684
[pid=73478] ppid=73466 vsize=19063512 memory=3747504 CPUtime=3305.77 cores=5,7
/proc/73478/stat : 73478 (java) S 73466 73478 73414 0 -1 4194304 144489 0 229 0 330390 187 0 0 20 0 20 0 66543661 19521036288 936876 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
/proc/73478/statm: 4765878 936876 5554 1 0 965643 0
[pid=73478/tid=73497] ppid=73466 vsize=19063512 memory=3747504 CPUtime=3248.18 cores=5,7
/proc/73478/task/73497/stat : 73497 (java) R 73466 73478 73414 0 -1 4194368 78296 0 229 0 324752 66 0 0 20 0 20 0 66543663 19521036288 936876 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73537] ppid=73466 vsize=19063512 memory=3747504 CPUtime=0 cores=5,7
/proc/73478/task/73537/stat : 73537 (Finalizer) S 73466 73478 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66543665 19521036288 936876 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73551] ppid=73466 vsize=19063512 memory=3747504 CPUtime=0 cores=5,7
/proc/73478/task/73551/stat : 73551 (Common-Cleaner) S 73466 73478 73414 0 -1 4194368 2231 0 0 0 0 0 0 0 20 0 20 0 66543666 19521036288 936876 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73559] ppid=73466 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/73478/task/73559/stat : 73559 (Timer-0) S 73466 73478 73414 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66543707 19521036288 936876 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
Current children cumulated CPU time: 3305.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3747504 KiB
[startup+3342.3 s]
/proc/loadavg: 4.22 4.16 4.13 5/340 73737
/proc/meminfo: memFree=114902452/131249996 swapFree=33006296/33010684
[pid=73478] ppid=73466 vsize=19063512 memory=3747504 CPUtime=3366.29 cores=5,7
/proc/73478/stat : 73478 (java) S 73466 73478 73414 0 -1 4194304 147101 0 229 0 336440 189 0 0 20 0 20 0 66543661 19521036288 936876 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
/proc/73478/statm: 4765878 936876 5554 1 0 965643 0
[pid=73478/tid=73497] ppid=73466 vsize=19063512 memory=3747504 CPUtime=3307.5 cores=5,7
/proc/73478/task/73497/stat : 73497 (java) R 73466 73478 73414 0 -1 4194368 79913 0 229 0 330684 66 0 0 20 0 20 0 66543663 19521036288 936876 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73537] ppid=73466 vsize=19063512 memory=3747504 CPUtime=0 cores=5,7
/proc/73478/task/73537/stat : 73537 (Finalizer) S 73466 73478 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66543665 19521036288 936876 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73551] ppid=73466 vsize=19063512 memory=-6000919481279736168 CPUtime=0 cores=5,7
/proc/73478/task/73551/stat : 73551 (Common-Cleaner) S 73466 73478 73414 0 -1 4194368 2270 0 0 0 0 0 0 0 20 0 20 0 66543666 19521036288 936876 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73559] ppid=73466 vsize=19063512 memory=3747504 CPUtime=0 cores=5,7
/proc/73478/task/73559/stat : 73559 (Timer-0) S 73466 73478 73414 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66543707 19521036288 936876 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
Current children cumulated CPU time: 3366.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3747504 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.16 4.13 5/341 73742
/proc/meminfo: memFree=114872880/131249996 swapFree=33006296/33010684
[pid=73478] ppid=73466 vsize=19063512 memory=3747504 CPUtime=3426.65 cores=5,7
/proc/73478/stat : 73478 (java) S 73466 73478 73414 0 -1 4194304 147481 0 229 0 342474 191 0 0 20 0 20 0 66543661 19521036288 936876 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
/proc/73478/statm: 4765878 936876 5554 1 0 965643 0
[pid=73478/tid=73497] ppid=73466 vsize=19063512 memory=14848 CPUtime=3366.99 cores=5,7
/proc/73478/task/73497/stat : 73497 (java) R 73466 73478 73414 0 -1 4194368 80170 0 229 0 336633 66 0 0 20 0 20 0 66543663 19521036288 936876 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73537] ppid=73466 vsize=19063512 memory=3747504 CPUtime=0 cores=5,7
/proc/73478/task/73537/stat : 73537 (Finalizer) S 73466 73478 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66543665 19521036288 936876 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73551] ppid=73466 vsize=19063512 memory=3747504 CPUtime=0 cores=5,7
/proc/73478/task/73551/stat : 73551 (Common-Cleaner) S 73466 73478 73414 0 -1 4194368 2349 0 0 0 0 0 0 0 20 0 20 0 66543666 19521036288 936876 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73559] ppid=73466 vsize=19063512 memory=3747504 CPUtime=0 cores=5,7
/proc/73478/task/73559/stat : 73559 (Timer-0) S 73466 73478 73414 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66543707 19521036288 936876 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
Current children cumulated CPU time: 3426.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3747504 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.14 4.12 5/341 73744
/proc/meminfo: memFree=114840028/131249996 swapFree=33006296/33010684
[pid=73478] ppid=73466 vsize=19063512 memory=3747504 CPUtime=3486.78 cores=5,7
/proc/73478/stat : 73478 (java) S 73466 73478 73414 0 -1 4194304 149898 0 229 0 348485 193 0 0 20 0 20 0 66543661 19521036288 936876 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
/proc/73478/statm: 4765878 936876 5554 1 0 965643 0
[pid=73478/tid=73497] ppid=73466 vsize=19063512 memory=3747504 CPUtime=3426.56 cores=5,7
/proc/73478/task/73497/stat : 73497 (java) R 73466 73478 73414 0 -1 4194368 81707 0 229 0 342589 67 0 0 20 0 20 0 66543663 19521036288 936876 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73537] ppid=73466 vsize=19063512 memory=3747504 CPUtime=0 cores=5,7
/proc/73478/task/73537/stat : 73537 (Finalizer) S 73466 73478 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66543665 19521036288 936876 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73551] ppid=73466 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=5,7
/proc/73478/task/73551/stat : 73551 (Common-Cleaner) S 73466 73478 73414 0 -1 4194368 2349 0 0 0 0 0 0 0 20 0 20 0 66543666 19521036288 936876 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73559] ppid=73466 vsize=19063512 memory=4788 CPUtime=0 cores=5,7
/proc/73478/task/73559/stat : 73559 (Timer-0) S 73466 73478 73414 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66543707 19521036288 936876 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
Current children cumulated CPU time: 3486.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3747504 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.15 4.12 5/341 73746
/proc/meminfo: memFree=114803376/131249996 swapFree=33006296/33010684
[pid=73478] ppid=73466 vsize=19063512 memory=3747504 CPUtime=3547.18 cores=5,7
/proc/73478/stat : 73478 (java) S 73466 73478 73414 0 -1 4194304 150873 0 229 0 354523 195 0 0 20 0 20 0 66543661 19521036288 936876 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
/proc/73478/statm: 4765878 936876 5554 1 0 965643 0
[pid=73478/tid=73497] ppid=73466 vsize=19063512 memory=3747504 CPUtime=3485.93 cores=5,7
/proc/73478/task/73497/stat : 73497 (java) R 73466 73478 73414 0 -1 4194368 82432 0 229 0 348526 67 0 0 20 0 20 0 66543663 19521036288 936876 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73537] ppid=73466 vsize=19063512 memory=3747504 CPUtime=0 cores=5,7
/proc/73478/task/73537/stat : 73537 (Finalizer) S 73466 73478 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66543665 19521036288 936876 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73551] ppid=73466 vsize=19063512 memory=3747504 CPUtime=0 cores=5,7
/proc/73478/task/73551/stat : 73551 (Common-Cleaner) S 73466 73478 73414 0 -1 4194368 2396 0 0 0 0 0 0 0 20 0 20 0 66543666 19521036288 936876 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73559] ppid=73466 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/73478/task/73559/stat : 73559 (Timer-0) S 73466 73478 73414 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66543707 19521036288 936876 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
Current children cumulated CPU time: 3547.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3747504 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3574.7 s]
/proc/loadavg: 4.13 4.14 4.12 5/341 73749
/proc/meminfo: memFree=114757972/131249996 swapFree=33006296/33010684
[pid=73478] ppid=73466 vsize=19063512 memory=3747504 CPUtime=3600.07 cores=5,7
/proc/73478/stat : 73478 (java) S 73466 73478 73414 0 -1 4194304 153304 0 229 0 359810 197 0 0 20 0 20 0 66543661 19521036288 936876 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
/proc/73478/statm: 4765878 936876 5554 1 0 965643 0
[pid=73478/tid=73497] ppid=73466 vsize=19063512 memory=14848 CPUtime=3537.74 cores=5,7
/proc/73478/task/73497/stat : 73497 (java) R 73466 73478 73414 0 -1 4194368 83921 0 229 0 353706 68 0 0 20 0 20 0 66543663 19521036288 936876 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73537] ppid=73466 vsize=19063512 memory=3747504 CPUtime=0 cores=5,7
/proc/73478/task/73537/stat : 73537 (Finalizer) S 73466 73478 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66543665 19521036288 936876 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73551] ppid=73466 vsize=19063512 memory=-6000919481279736168 CPUtime=0 cores=5,7
/proc/73478/task/73551/stat : 73551 (Common-Cleaner) S 73466 73478 73414 0 -1 4194368 2396 0 0 0 0 0 0 0 20 0 20 0 66543666 19521036288 936876 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73559] ppid=73466 vsize=19063512 memory=3747504 CPUtime=0 cores=5,7
/proc/73478/task/73559/stat : 73559 (Timer-0) S 73466 73478 73414 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66543707 19521036288 936876 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3747504 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3574.8 s]
# the end of solver process 73478 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.26 s, system=1.9953 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3574.7 s]
/proc/loadavg: 4.13 4.14 4.12 5/341 73749
/proc/meminfo: memFree=114757972/131249996 swapFree=33006296/33010684
[pid=73478] ppid=73466 vsize=19063512 memory=3747504 CPUtime=3600.07 cores=5,7
/proc/73478/stat : 73478 (java) S 73466 73478 73414 0 -1 4194304 153304 0 229 0 359810 197 0 0 20 0 20 0 66543661 19521036288 936876 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
/proc/73478/statm: 4765878 936876 5554 1 0 965643 0
[pid=73478/tid=73497] ppid=73466 vsize=19063512 memory=14848 CPUtime=3537.74 cores=5,7
/proc/73478/task/73497/stat : 73497 (java) R 73466 73478 73414 0 -1 4194368 83921 0 229 0 353706 68 0 0 20 0 20 0 66543663 19521036288 936876 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73537] ppid=73466 vsize=19063512 memory=3747504 CPUtime=0 cores=5,7
/proc/73478/task/73537/stat : 73537 (Finalizer) S 73466 73478 73414 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66543665 19521036288 936876 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73551] ppid=73466 vsize=19063512 memory=-6000919481279736168 CPUtime=0 cores=5,7
/proc/73478/task/73551/stat : 73551 (Common-Cleaner) S 73466 73478 73414 0 -1 4194368 2396 0 0 0 0 0 0 0 20 0 20 0 66543666 19521036288 936876 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
[pid=73478/tid=73559] ppid=73466 vsize=19063512 memory=3747504 CPUtime=0 cores=5,7
/proc/73478/task/73559/stat : 73559 (Timer-0) S 73466 73478 73414 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66543707 19521036288 936876 18446744073709551615 94513393987584 94513393991280 140734430240496 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94513393999096 94513393999888 94513409667072 140734430247294 140734430247398 140734430247398 140734430253000 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3747504 KiB
Child status: 143
Real time (s): 3574.8
CPU time (s): 3600.26
CPU user time (s): 3598.26
CPU system time (s): 1.9953
CPU usage (%): 100.712
Max. virtual memory (cumulated for all children) (KiB): 19065264
Max. memory (cumulated for all children) (KiB): 3747504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.26
system time used= 1.9953
maximum resident set size= 3748528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155916
page faults= 229
swaps= 0
block input operations= 0
block output operations= 12592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 134140
involuntary context switches= 14371
# summary of solver processes directly reported to runsolver:
# pid: 73478
# total CPU time (s): 3600.26
# total CPU user time (s): 3598.26
# total CPU system time (s): 1.9953
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.01312 second user time and 19.4004 second system time
The end