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: 63837 MiB (49874 MiB free)
memory of node 1: 64465 MiB (61839 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523524-1751602324/watcher-4523524-1751602324 -o /tmp/evaluation-result-4523524-1751602324/solver-4523524-1751602324 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751595442-85917 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4523524-1751602324.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
Current StackSize limit: 8192 KiB
solver pid=86898, runsolver pid=86895
[startup+0.100072 s]*
/proc/loadavg: 4.16 4.16 4.23 7/324 86916
/proc/meminfo: memFree=114382960/131382112 swapFree=33002444/33010684
[pid=86898] ppid=86895 vsize=18930384 memory=48496 CPUtime=0.12 cores=5,7
/proc/86898/stat : 86898 (java) S 86895 86898 85904 0 -1 4194304 5778 0 0 0 9 3 0 0 20 0 18 0 75911795 19384713216 12124 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
/proc/86898/statm: 4732596 12124 5339 1 0 546986 0
[pid=86898/tid=86900] ppid=86895 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/86898/task/86900/stat : 86900 (java) R 86895 86898 85904 0 -1 4194368 4678 0 0 0 5 2 0 0 20 0 18 0 75911796 19384713216 12124 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86909] ppid=86895 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/86898/task/86909/stat : 86909 (Finalizer) S 86895 86898 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75911801 19384713216 12124 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86916] ppid=86895 vsize=18930384 memory=58494082630061 CPUtime=0 cores=5,7
/proc/86898/task/86916/stat : 86916 (Common-Cleaner) S 86895 86898 85904 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75911802 19384713216 12124 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48496 KiB
[startup+0.213515 s]*
/proc/loadavg: 4.16 4.16 4.23 5/324 86916
/proc/meminfo: memFree=114378864/131382112 swapFree=33002444/33010684
[pid=86898] ppid=86895 vsize=18930384 memory=53436 CPUtime=0.29 cores=5,7
/proc/86898/stat : 86898 (java) S 86895 86898 85904 0 -1 4194304 6472 0 0 0 25 4 0 0 20 0 18 0 75911795 19384713216 13359 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
/proc/86898/statm: 4732596 13359 5371 1 0 547567 0
[pid=86898/tid=86900] ppid=86895 vsize=18930384 memory=4026794268 CPUtime=0.17 cores=5,7
/proc/86898/task/86900/stat : 86900 (java) R 86895 86898 85904 0 -1 4194368 4989 0 0 0 15 2 0 0 20 0 18 0 75911796 19384713216 13359 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86909] ppid=86895 vsize=18930384 memory=13926 CPUtime=0 cores=5,7
/proc/86898/task/86909/stat : 86909 (Finalizer) S 86895 86898 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75911801 19384713216 13359 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86916] ppid=86895 vsize=18930384 memory=57394570986489 CPUtime=0 cores=5,7
/proc/86898/task/86916/stat : 86916 (Common-Cleaner) S 86895 86898 85904 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75911802 19384713216 13359 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53436 KiB
[startup+0.313447 s]*
/proc/loadavg: 4.16 4.16 4.23 7/324 86916
/proc/meminfo: memFree=114378612/131382112 swapFree=33002444/33010684
[pid=86898] ppid=86895 vsize=18930384 memory=58656 CPUtime=0.44 cores=5,7
/proc/86898/stat : 86898 (java) S 86895 86898 85904 0 -1 4194304 6753 0 0 0 40 4 0 0 20 0 18 0 75911795 19384713216 14664 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
/proc/86898/statm: 4732596 14664 5371 1 0 547769 0
[pid=86898/tid=86900] ppid=86895 vsize=18930384 memory=-6000919485524108903 CPUtime=0.25 cores=5,7
/proc/86898/task/86900/stat : 86900 (java) R 86895 86898 85904 0 -1 4194368 5179 0 0 0 23 2 0 0 20 0 18 0 75911796 19384713216 14664 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86909] ppid=86895 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/86898/task/86909/stat : 86909 (Finalizer) S 86895 86898 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75911801 19384713216 14664 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86916] ppid=86895 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/86898/task/86916/stat : 86916 (Common-Cleaner) S 86895 86898 85904 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75911802 19384713216 14664 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58656 KiB
[startup+0.700276 s]
/proc/loadavg: 4.16 4.16 4.23 6/324 86916
/proc/meminfo: memFree=114364812/131382112 swapFree=33002444/33010684
[pid=86898] ppid=86895 vsize=18930384 memory=103188 CPUtime=1.15 cores=5,7
/proc/86898/stat : 86898 (java) S 86895 86898 85904 0 -1 4194304 8561 0 0 0 109 6 0 0 20 0 18 0 75911795 19384713216 25797 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
/proc/86898/statm: 4732596 25797 5435 1 0 549007 0
[pid=86898/tid=86900] ppid=86895 vsize=18930384 memory=14464 CPUtime=0.59 cores=5,7
/proc/86898/task/86900/stat : 86900 (java) R 86895 86898 85904 0 -1 4194368 5265 0 0 0 56 3 0 0 20 0 18 0 75911796 19384713216 25797 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86909] ppid=86895 vsize=18930384 memory=11136 CPUtime=0 cores=5,7
/proc/86898/task/86909/stat : 86909 (Finalizer) S 86895 86898 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 75911801 19384713216 25797 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86916] ppid=86895 vsize=18930384 memory=3200 CPUtime=0 cores=5,7
/proc/86898/task/86916/stat : 86916 (Common-Cleaner) S 86895 86898 85904 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 75911802 19384713216 25797 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 103188 KiB
[startup+1.50025 s]
/proc/loadavg: 4.16 4.16 4.23 6/325 86917
/proc/meminfo: memFree=114270920/131382112 swapFree=33002444/33010684
[pid=86898] ppid=86895 vsize=19063512 memory=190280 CPUtime=2.66 cores=5,7
/proc/86898/stat : 86898 (java) S 86895 86898 85904 0 -1 4194304 9621 0 0 0 257 9 0 0 20 0 20 0 75911795 19521036288 47570 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
/proc/86898/statm: 4765878 47570 5531 1 0 549894 0
[pid=86898/tid=86900] ppid=86895 vsize=19063512 memory=3200 CPUtime=1.23 cores=5,7
/proc/86898/task/86900/stat : 86900 (java) R 86895 86898 85904 0 -1 4194368 5419 0 0 0 118 5 0 0 20 0 20 0 75911796 19521036288 47570 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86909] ppid=86895 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/86898/task/86909/stat : 86909 (Finalizer) S 86895 86898 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75911801 19521036288 47570 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86916] ppid=86895 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/86898/task/86916/stat : 86916 (Common-Cleaner) S 86895 86898 85904 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 75911802 19521036288 47570 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
Current children cumulated CPU time: 2.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 190280 KiB
[startup+3.10536 s]
/proc/loadavg: 4.16 4.16 4.23 6/326 86918
/proc/meminfo: memFree=114148932/131382112 swapFree=33002444/33010684
[pid=86898] ppid=86895 vsize=19063512 memory=308072 CPUtime=5.02 cores=5,7
/proc/86898/stat : 86898 (java) S 86895 86898 85904 0 -1 4194304 14354 0 0 0 490 12 0 0 20 0 20 0 75911795 19521036288 77018 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
/proc/86898/statm: 4765878 77018 5531 1 0 1043850 0
[pid=86898/tid=86900] ppid=86895 vsize=19063512 memory=11136 CPUtime=2.78 cores=5,7
/proc/86898/task/86900/stat : 86900 (java) R 86895 86898 85904 0 -1 4194368 5853 0 0 0 271 7 0 0 20 0 20 0 75911796 19521036288 77018 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86909] ppid=86895 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/86898/task/86909/stat : 86909 (Finalizer) S 86895 86898 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75911801 19521036288 77018 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86916] ppid=86895 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/86898/task/86916/stat : 86916 (Common-Cleaner) S 86895 86898 85904 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 75911802 19521036288 77018 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86918] ppid=86895 vsize=19063512 memory=5148 CPUtime=0 cores=5,7
/proc/86898/task/86918/stat : 86918 (Timer-0) S 86895 86898 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75911929 19521036288 77018 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
Current children cumulated CPU time: 5.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 308072 KiB
[startup+6.30024 s]
/proc/loadavg: 4.15 4.15 4.23 5/326 86918
/proc/meminfo: memFree=113811044/131382112 swapFree=33002444/33010684
[pid=86898] ppid=86895 vsize=19063512 memory=618672 CPUtime=8.9 cores=5,7
/proc/86898/stat : 86898 (java) S 86895 86898 85904 0 -1 4194304 18006 0 0 0 870 20 0 0 20 0 20 0 75911795 19521036288 154668 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
/proc/86898/statm: 4765878 154668 5531 1 0 1044121 0
[pid=86898/tid=86900] ppid=86895 vsize=19063512 memory=0 CPUtime=5.91 cores=5,7
/proc/86898/task/86900/stat : 86900 (java) R 86895 86898 85904 0 -1 4194368 6413 0 0 0 578 13 0 0 20 0 20 0 75911796 19521036288 154668 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86909] ppid=86895 vsize=19063512 memory=-8412658736309758876 CPUtime=0 cores=5,7
/proc/86898/task/86909/stat : 86909 (Finalizer) S 86895 86898 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75911801 19521036288 154668 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86916] ppid=86895 vsize=19063512 memory=-6000919485524108903 CPUtime=0 cores=5,7
/proc/86898/task/86916/stat : 86916 (Common-Cleaner) S 86895 86898 85904 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 75911802 19521036288 154668 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86918] ppid=86895 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/86898/task/86918/stat : 86918 (Timer-0) S 86895 86898 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75911929 19521036288 154668 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
Current children cumulated CPU time: 8.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 618672 KiB
[startup+12.7004 s]
/proc/loadavg: 4.14 4.15 4.23 5/326 86919
/proc/meminfo: memFree=113622140/131382112 swapFree=33002444/33010684
[pid=86898] ppid=86895 vsize=19063512 memory=811784 CPUtime=15.28 cores=5,7
/proc/86898/stat : 86898 (java) S 86895 86898 85904 0 -1 4194304 18858 0 0 0 1502 26 0 0 20 0 20 0 75911795 19521036288 202946 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
/proc/86898/statm: 4765878 202946 5531 1 0 1044122 0
[pid=86898/tid=86900] ppid=86895 vsize=19063512 memory=0 CPUtime=12.26 cores=5,7
/proc/86898/task/86900/stat : 86900 (java) R 86895 86898 85904 0 -1 4194368 7205 0 0 0 1208 18 0 0 20 0 20 0 75911796 19521036288 202946 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86909] ppid=86895 vsize=19063512 memory=793352 CPUtime=0 cores=5,7
/proc/86898/task/86909/stat : 86909 (Finalizer) S 86895 86898 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75911801 19521036288 202946 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86916] ppid=86895 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/86898/task/86916/stat : 86916 (Common-Cleaner) S 86895 86898 85904 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 75911802 19521036288 202946 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86918] ppid=86895 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/86898/task/86918/stat : 86918 (Timer-0) S 86895 86898 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75911929 19521036288 202946 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
Current children cumulated CPU time: 15.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 811784 KiB
[startup+25.5005 s]
/proc/loadavg: 4.11 4.14 4.23 5/326 86919
/proc/meminfo: memFree=112140964/131382112 swapFree=33002444/33010684
[pid=86898] ppid=86895 vsize=19063512 memory=2246096 CPUtime=28.33 cores=5,7
/proc/86898/stat : 86898 (java) S 86895 86898 85904 0 -1 4194304 25895 0 0 0 2778 55 0 0 20 0 20 0 75911795 19521036288 561524 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
/proc/86898/statm: 4765878 561524 5563 1 0 1044130 0
[pid=86898/tid=86900] ppid=86895 vsize=19063512 memory=-6000919485524108903 CPUtime=24.97 cores=5,7
/proc/86898/task/86900/stat : 86900 (java) R 86895 86898 85904 0 -1 4194368 9773 0 0 0 2452 45 0 0 20 0 20 0 75911796 19521036288 561524 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86909] ppid=86895 vsize=19063512 memory=3196 CPUtime=0 cores=5,7
/proc/86898/task/86909/stat : 86909 (Finalizer) S 86895 86898 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75911801 19521036288 561524 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86916] ppid=86895 vsize=19063512 memory=1772296 CPUtime=0 cores=5,7
/proc/86898/task/86916/stat : 86916 (Common-Cleaner) S 86895 86898 85904 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 75911802 19521036288 561524 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86918] ppid=86895 vsize=19063512 memory=1606408 CPUtime=0 cores=5,7
/proc/86898/task/86918/stat : 86918 (Timer-0) S 86895 86898 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75911929 19521036288 561524 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
Current children cumulated CPU time: 28.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2246096 KiB
[startup+51.1133 s]
/proc/loadavg: 4.13 4.15 4.22 5/326 86919
/proc/meminfo: memFree=112141468/131382112 swapFree=33002444/33010684
[pid=86898] ppid=86895 vsize=19063512 memory=2246096 CPUtime=53.88 cores=5,7
/proc/86898/stat : 86898 (java) S 86895 86898 85904 0 -1 4194304 27052 0 0 0 5333 55 0 0 20 0 20 0 75911795 19521036288 561524 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
/proc/86898/statm: 4765878 561524 5563 1 0 1044131 0
[pid=86898/tid=86900] ppid=86895 vsize=19063512 memory=2246096 CPUtime=50.33 cores=5,7
/proc/86898/task/86900/stat : 86900 (java) R 86895 86898 85904 0 -1 4194368 10813 0 0 0 4988 45 0 0 20 0 20 0 75911796 19521036288 561524 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86909] ppid=86895 vsize=19063512 memory=-6000919485524108903 CPUtime=0 cores=5,7
/proc/86898/task/86909/stat : 86909 (Finalizer) S 86895 86898 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75911801 19521036288 561524 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86916] ppid=86895 vsize=19063512 memory=2246096 CPUtime=0 cores=5,7
/proc/86898/task/86916/stat : 86916 (Common-Cleaner) S 86895 86898 85904 0 -1 4194368 54 0 0 0 0 0 0 0 20 0 20 0 75911802 19521036288 561524 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86918] ppid=86895 vsize=19063512 memory=2145672 CPUtime=0 cores=5,7
/proc/86898/task/86918/stat : 86918 (Timer-0) S 86895 86898 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75911929 19521036288 561524 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.67 4.27 4.19 5/326 87277
/proc/meminfo: memFree=113976880/131382112 swapFree=33002444/33010684
[pid=86898] ppid=86895 vsize=19063512 memory=4136024 CPUtime=3284.62 cores=5,7
/proc/86898/stat : 86898 (java) S 86895 86898 85904 0 -1 4194304 148853 0 0 0 328164 298 0 0 20 0 20 0 75911795 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
/proc/86898/statm: 4765878 1034006 5563 1 0 1048046 0
[pid=86898/tid=86900] ppid=86895 vsize=19063512 memory=4136024 CPUtime=3262.47 cores=5,7
/proc/86898/task/86900/stat : 86900 (java) R 86895 86898 85904 0 -1 4194368 82607 0 0 0 326172 75 0 0 20 0 20 0 75911796 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86909] ppid=86895 vsize=19063512 memory=4136024 CPUtime=0 cores=5,7
/proc/86898/task/86909/stat : 86909 (Finalizer) S 86895 86898 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75911801 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86916] ppid=86895 vsize=19063512 memory=4136024 CPUtime=0 cores=5,7
/proc/86898/task/86916/stat : 86916 (Common-Cleaner) S 86895 86898 85904 0 -1 4194368 2171 0 0 0 0 0 0 0 20 0 20 0 75911802 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86918] ppid=86895 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/86898/task/86918/stat : 86918 (Timer-0) S 86895 86898 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75911929 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
Current children cumulated CPU time: 3284.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4136024 KiB
[startup+3342.3 s]
/proc/loadavg: 4.36 4.26 4.19 6/326 87279
/proc/meminfo: memFree=113976888/131382112 swapFree=33002444/33010684
[pid=86898] ppid=86895 vsize=19063512 memory=4136024 CPUtime=3344.56 cores=5,7
/proc/86898/stat : 86898 (java) S 86895 86898 85904 0 -1 4194304 151348 0 0 0 334154 302 0 0 20 0 20 0 75911795 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
/proc/86898/statm: 4765878 1034006 5563 1 0 1048046 0
[pid=86898/tid=86900] ppid=86895 vsize=19063512 memory=4136024 CPUtime=3322.28 cores=5,7
/proc/86898/task/86900/stat : 86900 (java) R 86895 86898 85904 0 -1 4194368 84254 0 0 0 332153 75 0 0 20 0 20 0 75911796 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86909] ppid=86895 vsize=19063512 memory=4136024 CPUtime=0 cores=5,7
/proc/86898/task/86909/stat : 86909 (Finalizer) S 86895 86898 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75911801 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86916] ppid=86895 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/86898/task/86916/stat : 86916 (Common-Cleaner) S 86895 86898 85904 0 -1 4194368 2172 0 0 0 0 0 0 0 20 0 20 0 75911802 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86918] ppid=86895 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/86898/task/86918/stat : 86918 (Timer-0) S 86895 86898 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75911929 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
Current children cumulated CPU time: 3344.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4136024 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.23 4.18 5/325 87281
/proc/meminfo: memFree=113976904/131382112 swapFree=33002444/33010684
[pid=86898] ppid=86895 vsize=19063512 memory=4136024 CPUtime=3404.46 cores=5,7
/proc/86898/stat : 86898 (java) S 86895 86898 85904 0 -1 4194304 154298 0 0 0 340141 305 0 0 20 0 20 0 75911795 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
/proc/86898/statm: 4765878 1034006 5563 1 0 1048046 0
[pid=86898/tid=86900] ppid=86895 vsize=19063512 memory=4136024 CPUtime=3381.99 cores=5,7
/proc/86898/task/86900/stat : 86900 (java) R 86895 86898 85904 0 -1 4194368 86043 0 0 0 338124 75 0 0 20 0 20 0 75911796 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86909] ppid=86895 vsize=19063512 memory=4136024 CPUtime=0 cores=5,7
/proc/86898/task/86909/stat : 86909 (Finalizer) S 86895 86898 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75911801 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86916] ppid=86895 vsize=19063512 memory=4136024 CPUtime=0 cores=5,7
/proc/86898/task/86916/stat : 86916 (Common-Cleaner) S 86895 86898 85904 0 -1 4194368 2254 0 0 0 0 0 0 0 20 0 20 0 75911802 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86918] ppid=86895 vsize=19063512 memory=4136024 CPUtime=0 cores=5,7
/proc/86898/task/86918/stat : 86918 (Timer-0) S 86895 86898 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75911929 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
Current children cumulated CPU time: 3404.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4136024 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.22 4.18 5/325 87283
/proc/meminfo: memFree=113978012/131382112 swapFree=33002444/33010684
[pid=86898] ppid=86895 vsize=19063512 memory=4136024 CPUtime=3464.37 cores=5,7
/proc/86898/stat : 86898 (java) S 86895 86898 85904 0 -1 4194304 154992 0 0 0 346128 309 0 0 20 0 20 0 75911795 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
/proc/86898/statm: 4765878 1034006 5563 1 0 1048046 0
[pid=86898/tid=86900] ppid=86895 vsize=19063512 memory=4136024 CPUtime=3441.84 cores=5,7
/proc/86898/task/86900/stat : 86900 (java) R 86895 86898 85904 0 -1 4194368 86641 0 0 0 344109 75 0 0 20 0 20 0 75911796 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86909] ppid=86895 vsize=19063512 memory=4136024 CPUtime=0 cores=5,7
/proc/86898/task/86909/stat : 86909 (Finalizer) S 86895 86898 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75911801 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86916] ppid=86895 vsize=19063512 memory=4760 CPUtime=0 cores=5,7
/proc/86898/task/86916/stat : 86916 (Common-Cleaner) S 86895 86898 85904 0 -1 4194368 2345 0 0 0 0 0 0 0 20 0 20 0 75911802 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86918] ppid=86895 vsize=19063512 memory=4136024 CPUtime=0 cores=5,7
/proc/86898/task/86918/stat : 86918 (Timer-0) S 86895 86898 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75911929 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
Current children cumulated CPU time: 3464.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4136024 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.21 4.18 5/326 87290
/proc/meminfo: memFree=113977088/131382112 swapFree=33002444/33010684
[pid=86898] ppid=86895 vsize=19063512 memory=4136024 CPUtime=3524.33 cores=5,7
/proc/86898/stat : 86898 (java) S 86895 86898 85904 0 -1 4194304 156991 0 0 0 352122 311 0 0 20 0 20 0 75911795 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
/proc/86898/statm: 4765878 1034006 5563 1 0 1048047 0
[pid=86898/tid=86900] ppid=86895 vsize=19063512 memory=14464 CPUtime=3501.55 cores=5,7
/proc/86898/task/86900/stat : 86900 (java) R 86895 86898 85904 0 -1 4194368 88422 0 0 0 350080 75 0 0 20 0 20 0 75911796 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86909] ppid=86895 vsize=19063512 memory=4136024 CPUtime=0 cores=5,7
/proc/86898/task/86909/stat : 86909 (Finalizer) S 86895 86898 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75911801 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86916] ppid=86895 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/86898/task/86916/stat : 86916 (Common-Cleaner) S 86895 86898 85904 0 -1 4194368 2345 0 0 0 0 0 0 0 20 0 20 0 75911802 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86918] ppid=86895 vsize=19063512 memory=4136024 CPUtime=0 cores=5,7
/proc/86898/task/86918/stat : 86918 (Timer-0) S 86895 86898 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75911929 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
Current children cumulated CPU time: 3524.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4136024 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.17 4.17 5/326 87292
/proc/meminfo: memFree=113976856/131382112 swapFree=33002444/33010684
[pid=86898] ppid=86895 vsize=19063512 memory=4136024 CPUtime=3584.35 cores=5,7
/proc/86898/stat : 86898 (java) S 86895 86898 85904 0 -1 4194304 158999 0 0 0 358120 315 0 0 20 0 20 0 75911795 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
/proc/86898/statm: 4765878 1034006 5563 1 0 1048047 0
[pid=86898/tid=86900] ppid=86895 vsize=19063512 memory=14464 CPUtime=3561.25 cores=5,7
/proc/86898/task/86900/stat : 86900 (java) R 86895 86898 85904 0 -1 4194368 89477 0 0 0 356049 76 0 0 20 0 20 0 75911796 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86909] ppid=86895 vsize=19063512 memory=4136024 CPUtime=0 cores=5,7
/proc/86898/task/86909/stat : 86909 (Finalizer) S 86895 86898 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75911801 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86916] ppid=86895 vsize=19063512 memory=4136024 CPUtime=0 cores=5,7
/proc/86898/task/86916/stat : 86916 (Common-Cleaner) S 86895 86898 85904 0 -1 4194368 2418 0 0 0 0 0 0 0 20 0 20 0 75911802 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86918] ppid=86895 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/86898/task/86918/stat : 86918 (Timer-0) S 86895 86898 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75911929 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
Current children cumulated CPU time: 3584.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4136024 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3598 s]*
/proc/loadavg: 4.05 4.16 4.16 5/326 87292
/proc/meminfo: memFree=113972760/131382112 swapFree=33002444/33010684
[pid=86898] ppid=86895 vsize=19063512 memory=4136024 CPUtime=3600.04 cores=5,7
/proc/86898/stat : 86898 (java) S 86895 86898 85904 0 -1 4194304 159183 0 0 0 359688 316 0 0 20 0 20 0 75911795 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
/proc/86898/statm: 4765878 1034006 5563 1 0 1048047 0
[pid=86898/tid=86900] ppid=86895 vsize=19063512 memory=-6000919498459800935 CPUtime=3576.92 cores=5,7
/proc/86898/task/86900/stat : 86900 (java) R 86895 86898 85904 0 -1 4194368 89661 0 0 0 357616 76 0 0 20 0 20 0 75911796 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86909] ppid=86895 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=5,7
/proc/86898/task/86909/stat : 86909 (Finalizer) S 86895 86898 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 75911801 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86916] ppid=86895 vsize=19063512 memory=5744 CPUtime=0 cores=5,7
/proc/86898/task/86916/stat : 86916 (Common-Cleaner) S 86895 86898 85904 0 -1 4194368 2418 0 0 0 0 0 0 0 20 0 20 0 75911802 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86918] ppid=86895 vsize=19063512 memory=7348 CPUtime=0 cores=5,7
/proc/86898/task/86918/stat : 86918 (Timer-0) S 86895 86898 85904 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 75911929 19521036288 1034006 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4136024 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3598.17 s]
# the end of solver process 86898 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.05 s, system=3.20211 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3598.12 s]
/proc/loadavg: 4.05 4.16 4.16 5/326 87292
/proc/meminfo: memFree=113972760/131382112 swapFree=33002444/33010684
[pid=86898] ppid=86895 vsize=19263204 memory=4137176 CPUtime=3600.21 cores=5,7
/proc/86898/stat : 86898 (java) S 86895 86898 85904 0 -1 4194304 161901 0 0 0 359704 317 0 0 20 0 21 0 75911795 19725520896 1034294 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
/proc/86898/statm: 4815801 1034294 5595 1 0 1048994 0
[pid=86898/tid=86900] ppid=86895 vsize=19263204 memory=4136024 CPUtime=3576.94 cores=5,7
/proc/86898/task/86900/stat : 86900 (java) S 86895 86898 85904 0 -1 4194368 89989 0 0 0 357618 76 0 0 20 0 21 0 75911796 19725520896 1034294 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86909] ppid=86895 vsize=19263204 memory=14848 CPUtime=0 cores=5,7
/proc/86898/task/86909/stat : 86909 (Finalizer) S 86895 86898 85904 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 75911801 19725520896 1034294 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
[pid=86898/tid=86916] ppid=86895 vsize=19263204 memory=4136024 CPUtime=0 cores=5,7
/proc/86898/task/86916/stat : 86916 (Common-Cleaner) S 86895 86898 85904 0 -1 4194368 2418 0 0 0 0 0 0 0 20 0 21 0 75911802 19725520896 1034294 18446744073709551615 94095645278208 94095645281904 140735362832144 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94095645289720 94095645290512 94095656177664 140735362836865 140735362836966 140735362836966 140735362842568 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 4137176 KiB
Child status: 143
Real time (s): 3598.17
CPU time (s): 3600.25
CPU user time (s): 3597.05
CPU system time (s): 3.20211
CPU usage (%): 100.058
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 4137176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.05
system time used= 3.20211
maximum resident set size= 4137304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161980
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107488
involuntary context switches= 7224
# summary of solver processes directly reported to runsolver:
# pid: 86898
# total CPU time (s): 3600.25
# total CPU user time (s): 3597.05
# total CPU system time (s): 3.20211
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.0395 second user time and 31.1881 second system time
The end