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 (53851 MiB free)
memory of node 1: 64465 MiB (52940 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4543717-1753227124/watcher-4543717-1753227124 -o /tmp/evaluation-result-4543717-1753227124/solver-4543717-1753227124 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1753223825-168203 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4543717-1753227124.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=168828, runsolver pid=168825
[startup+0.10006 s]*
/proc/loadavg: 4.46 4.41 4.31 5/338 168846
/proc/meminfo: memFree=109330556/131250000 swapFree=33008356/33010684
[pid=168828] ppid=168825 vsize=18930384 memory=57728 CPUtime=0.12 cores=5,7
/proc/168828/stat : 168828 (java) S 168825 168828 168190 0 -1 4194304 6565 0 0 0 10 2 0 0 20 0 18 0 238389894 19384713216 14432 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
/proc/168828/statm: 4732596 14432 5340 1 0 547619 0
[pid=168828/tid=168830] ppid=168825 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/168828/task/168830/stat : 168830 (java) R 168825 168828 168190 0 -1 4194368 5067 0 0 0 6 1 0 0 20 0 18 0 238389895 19384713216 14432 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
[pid=168828/tid=168839] ppid=168825 vsize=18930384 memory=241407623509 CPUtime=0 cores=5,7
/proc/168828/task/168839/stat : 168839 (Finalizer) S 168825 168828 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238389897 19384713216 14432 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
[pid=168828/tid=168846] ppid=168825 vsize=18930384 memory=60684515934839 CPUtime=0 cores=5,7
/proc/168828/task/168846/stat : 168846 (Common-Cleaner) S 168825 168828 168190 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 238389897 19384713216 14432 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57728 KiB
[startup+0.205732 s]*
/proc/loadavg: 4.46 4.41 4.31 7/338 168846
/proc/meminfo: memFree=109321104/131250000 swapFree=33008356/33010684
[pid=168828] ppid=168825 vsize=18930384 memory=72552 CPUtime=0.32 cores=5,7
/proc/168828/stat : 168828 (java) S 168825 168828 168190 0 -1 4194304 7120 0 0 0 30 2 0 0 20 0 18 0 238389894 19384713216 18138 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
/proc/168828/statm: 4732596 18138 5436 1 0 547981 0
[pid=168828/tid=168830] ppid=168825 vsize=18930384 memory=4026990876 CPUtime=0.17 cores=5,7
/proc/168828/task/168830/stat : 168830 (java) R 168825 168828 168190 0 -1 4194368 5359 0 0 0 16 1 0 0 20 0 18 0 238389895 19384713216 18138 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
[pid=168828/tid=168839] ppid=168825 vsize=18930384 memory=15987 CPUtime=0 cores=5,7
/proc/168828/task/168839/stat : 168839 (Finalizer) S 168825 168828 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 238389897 19384713216 18138 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
[pid=168828/tid=168846] ppid=168825 vsize=18930384 memory=59585004307431 CPUtime=0 cores=5,7
/proc/168828/task/168846/stat : 168846 (Common-Cleaner) S 168825 168828 168190 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 238389897 19384713216 18138 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 72552 KiB
[startup+0.305686 s]*
/proc/loadavg: 4.46 4.41 4.31 7/339 168847
/proc/meminfo: memFree=109213160/131250000 swapFree=33008356/33010684
[pid=168828] ppid=168825 vsize=18996948 memory=177484 CPUtime=0.5 cores=5,7
/proc/168828/stat : 168828 (java) S 168825 168828 168190 0 -1 4194304 8729 0 0 0 45 5 0 0 20 0 19 0 238389894 19452874752 44371 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
/proc/168828/statm: 4749237 44371 5468 1 0 549283 0
[pid=168828/tid=168830] ppid=168825 vsize=18996948 memory=-8816748878895030972 CPUtime=0.24 cores=5,7
/proc/168828/task/168830/stat : 168830 (java) R 168825 168828 168190 0 -1 4194368 5409 0 0 0 21 3 0 0 20 0 19 0 238389895 19452874752 44371 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
[pid=168828/tid=168839] ppid=168825 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/168828/task/168839/stat : 168839 (Finalizer) S 168825 168828 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238389897 19452874752 44371 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
[pid=168828/tid=168846] ppid=168825 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/168828/task/168846/stat : 168846 (Common-Cleaner) S 168825 168828 168190 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238389897 19452874752 44371 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 177484 KiB
[startup+0.700262 s]
/proc/loadavg: 4.46 4.41 4.31 6/339 168847
/proc/meminfo: memFree=108847672/131250000 swapFree=33008356/33010684
[pid=168828] ppid=168825 vsize=18996948 memory=1239124 CPUtime=1.19 cores=5,7
/proc/168828/stat : 168828 (java) S 168825 168828 168190 0 -1 4194304 11265 0 0 0 93 26 0 0 20 0 19 0 238389894 19452874752 309781 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
/proc/168828/statm: 4749237 309781 5532 1 0 1076376 0
[pid=168828/tid=168830] ppid=168825 vsize=18996948 memory=27904 CPUtime=0.57 cores=5,7
/proc/168828/task/168830/stat : 168830 (java) R 168825 168828 168190 0 -1 4194368 5927 0 0 0 35 22 0 0 20 0 19 0 238389895 19452874752 309781 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
[pid=168828/tid=168839] ppid=168825 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/168828/task/168839/stat : 168839 (Finalizer) S 168825 168828 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238389897 19452874752 309781 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
[pid=168828/tid=168846] ppid=168825 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/168828/task/168846/stat : 168846 (Common-Cleaner) S 168825 168828 168190 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238389897 19452874752 309781 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 1239124 KiB
[startup+1.50024 s]
/proc/loadavg: 4.46 4.41 4.31 6/339 168847
/proc/meminfo: memFree=107941776/131250000 swapFree=33008356/33010684
[pid=168828] ppid=168825 vsize=18996948 memory=2229872 CPUtime=2.41 cores=5,7
/proc/168828/stat : 168828 (java) S 168825 168828 168190 0 -1 4194304 13119 0 0 0 196 45 0 0 20 0 19 0 238389894 19452874752 557468 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
/proc/168828/statm: 4749237 557468 5532 1 0 1077156 0
[pid=168828/tid=168830] ppid=168825 vsize=18996948 memory=3200 CPUtime=1.27 cores=5,7
/proc/168828/task/168830/stat : 168830 (java) S 168825 168828 168190 0 -1 4194368 6409 0 0 0 87 40 0 0 20 0 19 0 238389895 19452874752 557468 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
[pid=168828/tid=168839] ppid=168825 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/168828/task/168839/stat : 168839 (Finalizer) S 168825 168828 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 238389897 19452874752 557468 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
[pid=168828/tid=168846] ppid=168825 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/168828/task/168846/stat : 168846 (Common-Cleaner) S 168825 168828 168190 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 238389897 19452874752 557468 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
Current children cumulated CPU time: 2.41 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 2229872 KiB
[startup+3.10556 s]
/proc/loadavg: 4.42 4.40 4.31 5/340 168848
/proc/meminfo: memFree=106097408/131250000 swapFree=33008356/33010684
[pid=168828] ppid=168825 vsize=19063512 memory=3304840 CPUtime=4.92 cores=5,7
/proc/168828/stat : 168828 (java) S 168825 168828 168190 0 -1 4194304 20136 0 0 0 427 65 0 0 20 0 20 0 238389894 19521036288 826210 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
/proc/168828/statm: 4765878 826210 5532 1 0 2107553 0
[pid=168828/tid=168830] ppid=168825 vsize=19063512 memory=10752 CPUtime=2.67 cores=5,7
/proc/168828/task/168830/stat : 168830 (java) R 168825 168828 168190 0 -1 4194368 6886 0 0 0 212 55 0 0 20 0 20 0 238389895 19521036288 826210 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
[pid=168828/tid=168839] ppid=168825 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/168828/task/168839/stat : 168839 (Finalizer) S 168825 168828 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238389897 19521036288 826210 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
[pid=168828/tid=168846] ppid=168825 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/168828/task/168846/stat : 168846 (Common-Cleaner) S 168825 168828 168190 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 238389897 19521036288 826210 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
[pid=168828/tid=168848] ppid=168825 vsize=19063512 memory=5148 CPUtime=0 cores=5,7
/proc/168828/task/168848/stat : 168848 (Timer-0) S 168825 168828 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238390111 19521036288 826210 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
Current children cumulated CPU time: 4.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3304840 KiB
[startup+6.30023 s]
/proc/loadavg: 4.42 4.40 4.31 5/340 168848
/proc/meminfo: memFree=105556900/131250000 swapFree=33008356/33010684
[pid=168828] ppid=168825 vsize=19063512 memory=4031832 CPUtime=8.63 cores=5,7
/proc/168828/stat : 168828 (java) S 168825 168828 168190 0 -1 4194304 20621 0 0 0 785 78 0 0 20 0 20 0 238389894 19521036288 1007958 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
/proc/168828/statm: 4765878 1007958 5532 1 0 2107585 0
[pid=168828/tid=168830] ppid=168825 vsize=19063512 memory=0 CPUtime=5.8 cores=5,7
/proc/168828/task/168830/stat : 168830 (java) S 168825 168828 168190 0 -1 4194368 7216 0 0 0 513 67 0 0 20 0 20 0 238389895 19521036288 1007958 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
[pid=168828/tid=168839] ppid=168825 vsize=19063512 memory=3261692 CPUtime=0 cores=5,7
/proc/168828/task/168839/stat : 168839 (Finalizer) S 168825 168828 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238389897 19521036288 1007958 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
[pid=168828/tid=168846] ppid=168825 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/168828/task/168846/stat : 168846 (Common-Cleaner) S 168825 168828 168190 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 238389897 19521036288 1007958 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
[pid=168828/tid=168848] ppid=168825 vsize=19063512 memory=-8816748878895030972 CPUtime=0 cores=5,7
/proc/168828/task/168848/stat : 168848 (Timer-0) S 168825 168828 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238390111 19521036288 1007958 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
Current children cumulated CPU time: 8.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4031832 KiB
[startup+12.7002 s]
/proc/loadavg: 4.55 4.43 4.32 5/340 168848
/proc/meminfo: memFree=105213036/131250000 swapFree=33008356/33010684
[pid=168828] ppid=168825 vsize=19063512 memory=4169596 CPUtime=15.4 cores=5,7
/proc/168828/stat : 168828 (java) S 168825 168828 168190 0 -1 4194304 20835 0 0 0 1458 82 0 0 20 0 20 0 238389894 19521036288 1042399 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
/proc/168828/statm: 4765878 1042399 5532 1 0 2107587 0
[pid=168828/tid=168830] ppid=168825 vsize=19063512 memory=4169596 CPUtime=12 cores=5,7
/proc/168828/task/168830/stat : 168830 (java) R 168825 168828 168190 0 -1 4194368 7217 0 0 0 1132 68 0 0 20 0 20 0 238389895 19521036288 1042399 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
[pid=168828/tid=168839] ppid=168825 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/168828/task/168839/stat : 168839 (Finalizer) S 168825 168828 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238389897 19521036288 1042399 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
[pid=168828/tid=168846] ppid=168825 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/168828/task/168846/stat : 168846 (Common-Cleaner) S 168825 168828 168190 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 238389897 19521036288 1042399 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
[pid=168828/tid=168848] ppid=168825 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/168828/task/168848/stat : 168848 (Timer-0) S 168825 168828 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238390111 19521036288 1042399 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
Current children cumulated CPU time: 15.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4169596 KiB
[startup+25.5002 s]
/proc/loadavg: 4.43 4.40 4.31 5/340 168848
/proc/meminfo: memFree=104704652/131250000 swapFree=33008356/33010684
[pid=168828] ppid=168825 vsize=19063512 memory=4681980 CPUtime=28.77 cores=5,7
/proc/168828/stat : 168828 (java) S 168825 168828 168190 0 -1 4194304 25663 0 0 0 2785 92 0 0 20 0 20 0 238389894 19521036288 1170495 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
/proc/168828/statm: 4765878 1170495 5532 1 0 2107605 0
[pid=168828/tid=168830] ppid=168825 vsize=19063512 memory=4169596 CPUtime=24.42 cores=5,7
/proc/168828/task/168830/stat : 168830 (java) R 168825 168828 168190 0 -1 4194368 8766 0 0 0 2370 72 0 0 20 0 20 0 238389895 19521036288 1170495 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
[pid=168828/tid=168839] ppid=168825 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/168828/task/168839/stat : 168839 (Finalizer) S 168825 168828 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238389897 19521036288 1170495 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
[pid=168828/tid=168846] ppid=168825 vsize=19063512 memory=14432 CPUtime=0 cores=5,7
/proc/168828/task/168846/stat : 168846 (Common-Cleaner) S 168825 168828 168190 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 238389897 19521036288 1170495 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
[pid=168828/tid=168848] ppid=168825 vsize=19063512 memory=4642976 CPUtime=0 cores=5,7
/proc/168828/task/168848/stat : 168848 (Timer-0) S 168825 168828 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238390111 19521036288 1170495 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
Current children cumulated CPU time: 28.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4681980 KiB
[startup+51.1056 s]
/proc/loadavg: 4.34 4.39 4.31 6/340 168848
/proc/meminfo: memFree=103692808/131250000 swapFree=33008356/33010684
[pid=168828] ppid=168825 vsize=19063512 memory=5694524 CPUtime=55.8 cores=5,7
/proc/168828/stat : 168828 (java) S 168825 168828 168190 0 -1 4194304 38973 0 0 0 5466 114 0 0 20 0 20 0 238389894 19521036288 1423631 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
/proc/168828/statm: 4765878 1423631 5532 1 0 2107688 0
[pid=168828/tid=168830] ppid=168825 vsize=19063512 memory=5692448 CPUtime=49.36 cores=5,7
/proc/168828/task/168830/stat : 168830 (java) R 168825 168828 168190 0 -1 4194368 10876 0 0 0 4854 82 0 0 20 0 20 0 238389895 19521036288 1423631 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
[pid=168828/tid=168839] ppid=168825 vsize=19063512 memory=5600028 CPUtime=0 cores=5,7
/proc/168828/task/168839/stat : 168839 (Finalizer) S 168825 168828 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238389897 19521036288 1423631 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
[pid=168828/tid=168846] ppid=168825 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/168828/task/168846/stat : 168846 (Common-Cleaner) S 168825 168828 168190 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 238389897 19521036288 1423631 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
[pid=168828/tid=168848] ppid=168825 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/168828/task/168848/stat : 168848 (Timer-0) S 168825 168828 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238390111 19521036288 1423631 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
Current children cumulated CPU time: 55.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5694524 KiB
[startup+70.211 s]
# the end of solver process 168828 was just reported to runsolver
# Child status: 20
# cumulated CPU time of all completed processes: user=73.8616 s, system=1.29395 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2002 s]
/proc/loadavg: 4.34 4.39 4.31 6/340 168848
/proc/meminfo: memFree=103692808/131250000 swapFree=33008356/33010684
[pid=168828] ppid=168825 vsize=19063512 memory=5694524 CPUtime=55.9 cores=5,7
/proc/168828/stat : 168828 (java) S 168825 168828 168190 0 -1 4194304 38973 0 0 0 5476 114 0 0 20 0 20 0 238389894 19521036288 1423631 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
/proc/168828/statm: 4765878 1423631 5532 1 0 2107688 0
[pid=168828/tid=168830] ppid=168825 vsize=19063512 memory=0 CPUtime=49.45 cores=5,7
/proc/168828/task/168830/stat : 168830 (java) R 168825 168828 168190 0 -1 4194368 10876 0 0 0 4863 82 0 0 20 0 20 0 238389895 19521036288 1423631 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
[pid=168828/tid=168839] ppid=168825 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/168828/task/168839/stat : 168839 (Finalizer) S 168825 168828 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238389897 19521036288 1423631 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
[pid=168828/tid=168846] ppid=168825 vsize=19063512 memory=280341240003136 CPUtime=0 cores=5,7
/proc/168828/task/168846/stat : 168846 (Common-Cleaner) S 168825 168828 168190 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 238389897 19521036288 1423631 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
[pid=168828/tid=168848] ppid=168825 vsize=19063512 memory=27904 CPUtime=0 cores=5,7
/proc/168828/task/168848/stat : 168848 (Timer-0) S 168825 168828 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238390111 19521036288 1423631 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
Current children cumulated CPU time: 55.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5694524 KiB
[startup+64.0001 s]*
/proc/loadavg: 4.49 4.42 4.32 5/342 168921
/proc/meminfo: memFree=106616184/131250000 swapFree=33008356/33010684
[pid=168828] ppid=168825 vsize=19063512 memory=5719272 CPUtime=68.78 cores=5,7
/proc/168828/stat : 168828 (java) S 168825 168828 168190 0 -1 4194304 39914 0 0 0 6764 114 0 0 20 0 20 0 238389894 19521036288 1429818 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
/proc/168828/statm: 4765878 1429818 5532 1 0 2107714 0
[pid=168828/tid=168830] ppid=168825 vsize=19063512 memory=-8598605771944272572 CPUtime=62.12 cores=5,7
/proc/168828/task/168830/stat : 168830 (java) R 168825 168828 168190 0 -1 4194368 11646 0 0 0 6130 82 0 0 20 0 20 0 238389895 19521036288 1429818 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
[pid=168828/tid=168839] ppid=168825 vsize=19063512 memory=5044 CPUtime=0 cores=5,7
/proc/168828/task/168839/stat : 168839 (Finalizer) S 168825 168828 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238389897 19521036288 1429818 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
[pid=168828/tid=168846] ppid=168825 vsize=19063512 memory=7024 CPUtime=0 cores=5,7
/proc/168828/task/168846/stat : 168846 (Common-Cleaner) S 168825 168828 168190 0 -1 4194368 86 0 0 0 0 0 0 0 20 0 20 0 238389897 19521036288 1429818 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
[pid=168828/tid=168848] ppid=168825 vsize=19063512 memory=2314352 CPUtime=0 cores=5,7
/proc/168828/task/168848/stat : 168848 (Timer-0) S 168825 168828 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238390111 19521036288 1429818 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
Current children cumulated CPU time: 68.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5719272 KiB
[startup+67.2001 s]
/proc/loadavg: 4.49 4.42 4.32 5/342 168921
/proc/meminfo: memFree=106144648/131250000 swapFree=33008356/33010684
[pid=168828] ppid=168825 vsize=19063512 memory=5784844 CPUtime=71.98 cores=5,7
/proc/168828/stat : 168828 (java) S 168825 168828 168190 0 -1 4194304 40633 0 0 0 7082 116 0 0 20 0 20 0 238389894 19521036288 1446211 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
/proc/168828/statm: 4765878 1446211 5532 1 0 2107714 0
[pid=168828/tid=168830] ppid=168825 vsize=19063512 memory=5719272 CPUtime=65.31 cores=5,7
/proc/168828/task/168830/stat : 168830 (java) R 168825 168828 168190 0 -1 4194368 12121 0 0 0 6447 84 0 0 20 0 20 0 238389895 19521036288 1446211 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
[pid=168828/tid=168839] ppid=168825 vsize=19063512 memory=5148 CPUtime=0 cores=5,7
/proc/168828/task/168839/stat : 168839 (Finalizer) S 168825 168828 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238389897 19521036288 1446211 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
[pid=168828/tid=168846] ppid=168825 vsize=19063512 memory=14432 CPUtime=0 cores=5,7
/proc/168828/task/168846/stat : 168846 (Common-Cleaner) S 168825 168828 168190 0 -1 4194368 86 0 0 0 0 0 0 0 20 0 20 0 238389897 19521036288 1446211 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
[pid=168828/tid=168848] ppid=168825 vsize=19063512 memory=14432 CPUtime=0 cores=5,7
/proc/168828/task/168848/stat : 168848 (Timer-0) S 168825 168828 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238390111 19521036288 1446211 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
Current children cumulated CPU time: 71.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5784844 KiB
[startup+68.8002 s]
/proc/loadavg: 4.45 4.41 4.32 5/342 168921
/proc/meminfo: memFree=105853832/131250000 swapFree=33008356/33010684
[pid=168828] ppid=168825 vsize=19063512 memory=6061324 CPUtime=73.58 cores=5,7
/proc/168828/stat : 168828 (java) S 168825 168828 168190 0 -1 4194304 41692 0 0 0 7238 120 0 0 20 0 20 0 238389894 19521036288 1515331 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
/proc/168828/statm: 4765878 1515331 5532 1 0 2107721 0
[pid=168828/tid=168830] ppid=168825 vsize=19063512 memory=5735692 CPUtime=66.9 cores=5,7
/proc/168828/task/168830/stat : 168830 (java) R 168825 168828 168190 0 -1 4194368 13179 0 0 0 6603 87 0 0 20 0 20 0 238389895 19521036288 1515331 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
[pid=168828/tid=168839] ppid=168825 vsize=19063512 memory=46464 CPUtime=0 cores=5,7
/proc/168828/task/168839/stat : 168839 (Finalizer) S 168825 168828 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238389897 19521036288 1515331 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
[pid=168828/tid=168846] ppid=168825 vsize=19063512 memory=1920 CPUtime=0 cores=5,7
/proc/168828/task/168846/stat : 168846 (Common-Cleaner) S 168825 168828 168190 0 -1 4194368 86 0 0 0 0 0 0 0 20 0 20 0 238389897 19521036288 1515331 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
[pid=168828/tid=168848] ppid=168825 vsize=19063512 memory=5719272 CPUtime=0 cores=5,7
/proc/168828/task/168848/stat : 168848 (Timer-0) S 168825 168828 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238390111 19521036288 1515331 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
Current children cumulated CPU time: 73.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6061324 KiB
[startup+69.6002 s]
/proc/loadavg: 4.45 4.41 4.32 6/342 168921
/proc/meminfo: memFree=105853832/131250000 swapFree=33008356/33010684
[pid=168828] ppid=168825 vsize=19063512 memory=6266184 CPUtime=74.37 cores=5,7
/proc/168828/stat : 168828 (java) S 168825 168828 168190 0 -1 4194304 42301 0 0 0 7314 123 0 0 20 0 20 0 238389894 19521036288 1566546 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
/proc/168828/statm: 4765878 1566546 5532 1 0 2107729 0
[pid=168828/tid=168830] ppid=168825 vsize=19063512 memory=14432 CPUtime=67.7 cores=5,7
/proc/168828/task/168830/stat : 168830 (java) R 168825 168828 168190 0 -1 4194368 13551 0 0 0 6679 91 0 0 20 0 20 0 238389895 19521036288 1566546 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
[pid=168828/tid=168839] ppid=168825 vsize=19063512 memory=-8816748878895030972 CPUtime=0 cores=5,7
/proc/168828/task/168839/stat : 168839 (Finalizer) S 168825 168828 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238389897 19521036288 1566546 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
[pid=168828/tid=168846] ppid=168825 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/168828/task/168846/stat : 168846 (Common-Cleaner) S 168825 168828 168190 0 -1 4194368 86 0 0 0 0 0 0 0 20 0 20 0 238389897 19521036288 1566546 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
[pid=168828/tid=168848] ppid=168825 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/168828/task/168848/stat : 168848 (Timer-0) S 168825 168828 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238390111 19521036288 1566546 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
Current children cumulated CPU time: 74.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6266184 KiB
[startup+70.0002 s]*
/proc/loadavg: 4.45 4.41 4.32 5/342 168921
/proc/meminfo: memFree=105406612/131250000 swapFree=33008356/33010684
[pid=168828] ppid=168825 vsize=19063512 memory=6507908 CPUtime=74.93 cores=5,7
/proc/168828/stat : 168828 (java) S 168825 168828 168190 0 -1 4194304 44216 0 0 0 7366 127 0 0 20 0 20 0 238389894 19521036288 1626977 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
/proc/168828/statm: 4765878 1626977 5532 1 0 2107740 0
[pid=168828/tid=168830] ppid=168825 vsize=19063512 memory=-8598605771944272572 CPUtime=67.95 cores=5,7
/proc/168828/task/168830/stat : 168830 (java) R 168825 168828 168190 0 -1 4194368 13626 0 0 0 6703 92 0 0 20 0 20 0 238389895 19521036288 1626977 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
[pid=168828/tid=168839] ppid=168825 vsize=19063512 memory=59585021084747 CPUtime=0 cores=5,7
/proc/168828/task/168839/stat : 168839 (Finalizer) S 168825 168828 168190 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 238389897 19521036288 1626977 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
[pid=168828/tid=168846] ppid=168825 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/168828/task/168846/stat : 168846 (Common-Cleaner) S 168825 168828 168190 0 -1 4194368 86 0 0 0 0 0 0 0 20 0 20 0 238389897 19521036288 1626977 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
[pid=168828/tid=168848] ppid=168825 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/168828/task/168848/stat : 168848 (Timer-0) S 168825 168828 168190 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 238390111 19521036288 1626977 18446744073709551615 94047539290112 94047539293808 140724024036704 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94047539301624 94047539302416 94047557808128 140724024043900 140724024044004 140724024044004 140724024049608 0
Current children cumulated CPU time: 74.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6507908 KiB
[startup+70.2019 s]*
/proc/loadavg: 4.45 4.41 4.32 5/324 168923
/proc/meminfo: memFree=111681432/131250000 swapFree=33008356/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 20
Real time (s): 70.2111
CPU time (s): 75.1555
CPU user time (s): 73.8616
CPU system time (s): 1.29395
CPU usage (%): 107.042
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 6507908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 73.8616
system time used= 1.29395
maximum resident set size= 6508804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47279
page faults= 0
swaps= 0
block input operations= 0
block output operations= 496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5329
involuntary context switches= 1353
# summary of solver processes directly reported to runsolver:
# pid: 168828
# total CPU time (s): 75.1555
# total CPU user time (s): 73.8616
# total CPU system time (s): 1.29395
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.169635 second user time and 0.334416 second system time
The end