runsolver version 3.4.0 (svn: 3012) 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: 16374 MiB (14959 MiB free)
memory of node 1: 16384 MiB (15519 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265491-1502708225/watcher-4265491-1502708225 -o /tmp/evaluation-result-4265491-1502708225/solver-4265491-1502708225 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502653304-21655 --watchdog 2580 BTD 2520 HOME/instance-4265491-1502708225.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=7176, runsolver pid=7173
[startup+0.100158 s]*
/proc/loadavg: 2.00 2.07 2.05 3/182 7177
/proc/meminfo: memFree=31209192/32770624 swapFree=67108860/67108860
[pid=7176] ppid=7173 vsize=32360 memory=2696 CPUtime=0.02 cores=1,3,5,7
/proc/7176/stat : 7176 (BTD) R 7173 7176 17093 0 -1 4202496 842 0 0 0 2 0 0 0 20 0 1 0 73015760 33136640 674 18446744073709551615 4194304 35031035 140723284844384 140723284835736 6429792 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 48328704 140723284849119 140723284849195 140723284849195 140723284852689 0
/proc/7176/statm: 8090 674 272 7529 0 537 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 32360 KiB
Current children cumulated memory: 2696 KiB
[startup+0.20921 s]*
/proc/loadavg: 2.00 2.07 2.05 3/182 7177
/proc/meminfo: memFree=31208300/32770624 swapFree=67108860/67108860
[pid=7176] ppid=7173 vsize=32608 memory=3240 CPUtime=0.13 cores=1,3,5,7
/proc/7176/stat : 7176 (BTD) R 7173 7176 17093 0 -1 4202496 945 0 0 0 13 0 0 0 20 0 1 0 73015760 33390592 810 18446744073709551615 4194304 35031035 140723284844384 140723284835736 7408826 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 48328704 140723284849119 140723284849195 140723284849195 140723284852689 0
/proc/7176/statm: 8152 810 295 7529 0 599 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 32608 KiB
Current children cumulated memory: 3240 KiB
[startup+0.308689 s]*
/proc/loadavg: 2.00 2.07 2.05 3/182 7177
/proc/meminfo: memFree=31207928/32770624 swapFree=67108860/67108860
[pid=7176] ppid=7173 vsize=32732 memory=3364 CPUtime=0.23 cores=1,3,5,7
/proc/7176/stat : 7176 (BTD) R 7173 7176 17093 0 -1 4202496 991 0 0 0 23 0 0 0 20 0 1 0 73015760 33517568 841 18446744073709551615 4194304 35031035 140723284844384 140723284835736 7439998 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 48328704 140723284849119 140723284849195 140723284849195 140723284852689 0
/proc/7176/statm: 8183 841 295 7529 0 630 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 32732 KiB
Current children cumulated memory: 3364 KiB
[startup+0.70026 s]
/proc/loadavg: 2.00 2.07 2.05 3/182 7177
/proc/meminfo: memFree=31207556/32770624 swapFree=67108860/67108860
[pid=7176] ppid=7173 vsize=33468 memory=4108 CPUtime=0.61 cores=1,3,5,7
/proc/7176/stat : 7176 (BTD) R 7173 7176 17093 0 -1 4202496 1161 0 0 0 61 0 0 0 20 0 1 0 73015760 34271232 1027 18446744073709551615 4194304 35031035 140723284844384 140723284835736 7511446 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 48328704 140723284849119 140723284849195 140723284849195 140723284852689 0
/proc/7176/statm: 8367 1027 295 7529 0 814 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 33468 KiB
Current children cumulated memory: 4108 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.07 2.05 3/182 7177
/proc/meminfo: memFree=31206812/32770624 swapFree=67108860/67108860
[pid=7176] ppid=7173 vsize=34884 memory=5548 CPUtime=1.41 cores=1,3,5,7
/proc/7176/stat : 7176 (BTD) R 7173 7176 17093 0 -1 4202496 1513 0 0 0 141 0 0 0 20 0 1 0 73015760 35721216 1387 18446744073709551615 4194304 35031035 140723284844384 140723284835736 7398382 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 48328704 140723284849119 140723284849195 140723284849195 140723284852689 0
/proc/7176/statm: 8721 1387 295 7529 0 1168 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 34884 KiB
Current children cumulated memory: 5548 KiB
[startup+3.10917 s]
/proc/loadavg: 2.00 2.07 2.05 3/182 7177
/proc/meminfo: memFree=31200612/32770624 swapFree=67108860/67108860
[pid=7176] ppid=7173 vsize=40320 memory=10880 CPUtime=3.02 cores=1,3,5,7
/proc/7176/stat : 7176 (BTD) R 7173 7176 17093 0 -1 4202496 4141 0 0 0 302 0 0 0 20 0 1 0 73015760 41287680 2720 18446744073709551615 4194304 35031035 140723284844384 140723284843384 4544913 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 48328704 140723284849119 140723284849195 140723284849195 140723284852689 0
/proc/7176/statm: 10080 2720 342 7529 0 2527 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 40320 KiB
Current children cumulated memory: 10880 KiB
[startup+6.30027 s]
/proc/loadavg: 1.92 2.05 2.05 3/182 7177
/proc/meminfo: memFree=31200612/32770624 swapFree=67108860/67108860
[pid=7176] ppid=7173 vsize=40452 memory=10912 CPUtime=6.21 cores=1,3,5,7
/proc/7176/stat : 7176 (BTD) R 7173 7176 17093 0 -1 4202496 5717 0 0 0 620 1 0 0 20 0 1 0 73015760 41422848 2728 18446744073709551615 4194304 35031035 140723284844384 140723284843384 7760122 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 48328704 140723284849119 140723284849195 140723284849195 140723284852689 0
/proc/7176/statm: 10113 2728 342 7529 0 2560 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 40452 KiB
Current children cumulated memory: 10912 KiB
[startup+12.7003 s]
/proc/loadavg: 1.92 2.05 2.05 3/182 7177
/proc/meminfo: memFree=31200116/32770624 swapFree=67108860/67108860
[pid=7176] ppid=7173 vsize=40584 memory=11044 CPUtime=12.61 cores=1,3,5,7
/proc/7176/stat : 7176 (BTD) R 7173 7176 17093 0 -1 4202496 7355 0 0 0 1258 3 0 0 20 0 1 0 73015760 41558016 2761 18446744073709551615 4194304 35031035 140723284844384 140723284843384 7760122 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 48328704 140723284849119 140723284849195 140723284849195 140723284852689 0
/proc/7176/statm: 10146 2761 342 7529 0 2593 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 40584 KiB
Current children cumulated memory: 11044 KiB
[startup+25.5003 s]
/proc/loadavg: 1.94 2.05 2.05 3/182 7177
/proc/meminfo: memFree=31199744/32770624 swapFree=67108860/67108860
[pid=7176] ppid=7173 vsize=40848 memory=11404 CPUtime=25.41 cores=1,3,5,7
/proc/7176/stat : 7176 (BTD) R 7173 7176 17093 0 -1 4202496 10724 0 0 0 2537 4 0 0 20 0 1 0 73015760 41828352 2851 18446744073709551615 4194304 35031035 140723284844384 140723284843384 7760122 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 48328704 140723284849119 140723284849195 140723284849195 140723284852689 0
/proc/7176/statm: 10212 2851 342 7529 0 2659 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 40848 KiB
Current children cumulated memory: 11404 KiB
[startup+51.109 s]
/proc/loadavg: 1.96 2.04 2.05 3/182 7178
/proc/meminfo: memFree=31199828/32770624 swapFree=67108860/67108860
[pid=7176] ppid=7173 vsize=41244 memory=11692 CPUtime=51.01 cores=1,3,5,7
/proc/7176/stat : 7176 (BTD) R 7173 7176 17093 0 -1 4202496 12545 0 0 0 5088 13 0 0 20 0 1 0 73015760 42233856 2923 18446744073709551615 4194304 35031035 140723284844384 140723284843384 7760122 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 48328704 140723284849119 140723284849195 140723284849195 140723284852689 0
/proc/7176/statm: 10311 2923 342 7529 0 2758 0
Current children cumulated CPU time: 51.01 s
Current children cumulated vsize: 41244 KiB
Current children cumulated memory: 11692 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 2.04 2.05 3/182 7180
/proc/meminfo: memFree=31199100/32770624 swapFree=67108860/67108860
[pid=7176] ppid=7173 vsize=41508 memory=11900 CPUtime=102.21 cores=1,3,5,7
/proc/7176/stat : 7176 (BTD) R 7173 7176 17093 0 -1 4202496 14412 0 0 0 10187 34 0 0 20 0 1 0 73015760 42504192 2975 18446744073709551615 4194304 35031035 140723284844384 140723284843384 7760122 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 48328704 140723284849119 140723284849195 140723284849195 140723284852689 0
/proc/7176/statm: 10377 2975 342 7529 0 2824 0
Current children cumulated CPU time: 102.21 s
Current children cumulated vsize: 41508 KiB
Current children cumulated memory: 11900 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.03 2.05 3/181 7182
/proc/meminfo: memFree=31198788/32770624 swapFree=67108860/67108860
[pid=7176] ppid=7173 vsize=41640 memory=12460 CPUtime=162.2 cores=1,3,5,7
/proc/7176/stat : 7176 (BTD) R 7173 7176 17093 0 -1 4202496 15064 0 0 0 16158 62 0 0 20 0 1 0 73015760 42639360 3115 18446744073709551615 4194304 35031035 140723284844384 140723284843384 7760122 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 48328704 140723284849119 140723284849195 140723284849195 140723284852689 0
/proc/7176/statm: 10410 3115 342 7529 0 2857 0
Current children cumulated CPU time: 162.2 s
Current children cumulated vsize: 41640 KiB
Current children cumulated memory: 12460 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 7184
/proc/meminfo: memFree=31198620/32770624 swapFree=67108860/67108860
[pid=7176] ppid=7173 vsize=41772 memory=12640 CPUtime=222.2 cores=1,3,5,7
/proc/7176/stat : 7176 (BTD) R 7173 7176 17093 0 -1 4202496 15727 0 0 0 22131 89 0 0 20 0 1 0 73015760 42774528 3160 18446744073709551615 4194304 35031035 140723284844384 140723284843384 7760122 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 48328704 140723284849119 140723284849195 140723284849195 140723284852689 0
/proc/7176/statm: 10443 3160 342 7529 0 2890 0
Current children cumulated CPU time: 222.2 s
Current children cumulated vsize: 41772 KiB
Current children cumulated memory: 12640 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 7186
/proc/meminfo: memFree=31198984/32770624 swapFree=67108860/67108860
[pid=7176] ppid=7173 vsize=41904 memory=12748 CPUtime=282.19 cores=1,3,5,7
/proc/7176/stat : 7176 (BTD) R 7173 7176 17093 0 -1 4202496 16388 0 0 0 28100 119 0 0 20 0 1 0 73015760 42909696 3187 18446744073709551615 4194304 35031035 140723284844384 140723284843384 7760122 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 48328704 140723284849119 140723284849195 140723284849195 140723284852689 0
/proc/7176/statm: 10476 3187 342 7529 0 2923 0
Current children cumulated CPU time: 282.19 s
Current children cumulated vsize: 41904 KiB
Current children cumulated memory: 12748 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 7188
/proc/meminfo: memFree=31198940/32770624 swapFree=67108860/67108860
[pid=7176] ppid=7173 vsize=42036 memory=12844 CPUtime=342.19 cores=1,3,5,7
/proc/7176/stat : 7176 (BTD) R 7173 7176 17093 0 -1 4202496 17121 0 0 0 34068 151 0 0 20 0 1 0 73015760 43044864 3211 18446744073709551615 4194304 35031035 140723284844384 140723284843384 7760122 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 48328704 140723284849119 140723284849195 140723284849195 140723284852689 0
/proc/7176/statm: 10509 3211 342 7529 0 2956 0
Current children cumulated CPU time: 342.19 s
Current children cumulated vsize: 42036 KiB
Current children cumulated memory: 12844 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7190
/proc/meminfo: memFree=31199336/32770624 swapFree=67108860/67108860
[pid=7176] ppid=7173 vsize=42036 memory=12912 CPUtime=402.19 cores=1,3,5,7
/proc/7176/stat : 7176 (BTD) R 7173 7176 17093 0 -1 4202496 17820 0 0 0 40041 178 0 0 20 0 1 0 73015760 43044864 3228 18446744073709551615 4194304 35031035 140723284844384 140723284843384 7760122 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 48328704 140723284849119 140723284849195 140723284849195 140723284852689 0
/proc/7176/statm: 10509 3228 342 7529 0 2956 0
Current children cumulated CPU time: 402.19 s
Current children cumulated vsize: 42036 KiB
Current children cumulated memory: 12912 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 7207
/proc/meminfo: memFree=31194344/32770624 swapFree=67108860/67108860
[pid=7176] ppid=7173 vsize=42036 memory=12956 CPUtime=462.18 cores=1,3,5,7
/proc/7176/stat : 7176 (BTD) R 7173 7176 17093 0 -1 4202496 18541 0 0 0 46009 209 0 0 20 0 1 0 73015760 43044864 3239 18446744073709551615 4194304 35031035 140723284844384 140723284843384 7760122 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 48328704 140723284849119 140723284849195 140723284849195 140723284852689 0
/proc/7176/statm: 10509 3239 342 7529 0 2956 0
Current children cumulated CPU time: 462.18 s
Current children cumulated vsize: 42036 KiB
Current children cumulated memory: 12956 KiB
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 7209
/proc/meminfo: memFree=31194580/32770624 swapFree=67108860/67108860
[pid=7176] ppid=7173 vsize=42168 memory=13016 CPUtime=522.19 cores=1,3,5,7
/proc/7176/stat : 7176 (BTD) R 7173 7176 17093 0 -1 4202496 19252 0 0 0 51979 240 0 0 20 0 1 0 73015760 43180032 3254 18446744073709551615 4194304 35031035 140723284844384 140723284843384 7760122 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 48328704 140723284849119 140723284849195 140723284849195 140723284852689 0
/proc/7176/statm: 10542 3254 342 7529 0 2989 0
Current children cumulated CPU time: 522.19 s
Current children cumulated vsize: 42168 KiB
Current children cumulated memory: 13016 KiB
[startup+582.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 7211
/proc/meminfo: memFree=31197480/32770624 swapFree=67108860/67108860
[pid=7176] ppid=7173 vsize=42168 memory=13044 CPUtime=582.19 cores=1,3,5,7
/proc/7176/stat : 7176 (BTD) R 7173 7176 17093 0 -1 4202496 19951 0 0 0 57949 270 0 0 20 0 1 0 73015760 43180032 3261 18446744073709551615 4194304 35031035 140723284844384 140723284843384 7760122 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 48328704 140723284849119 140723284849195 140723284849195 140723284852689 0
/proc/7176/statm: 10542 3261 342 7529 0 2989 0
Current children cumulated CPU time: 582.19 s
Current children cumulated vsize: 42168 KiB
Current children cumulated memory: 13044 KiB
[startup+606.01 s]
# the end of solver process 7176 was just reported to runsolver
# cumulated CPU time of all completed processes: user=603.053 s, system=2.84089 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+588.8 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 7211
/proc/meminfo: memFree=31197480/32770624 swapFree=67108860/67108860
[pid=7176] ppid=7173 vsize=42168 memory=13044 CPUtime=588.68 cores=1,3,5,7
/proc/7176/stat : 7176 (BTD) R 7173 7176 17093 0 -1 4202496 19951 0 0 0 58595 273 0 0 20 0 1 0 73015760 43180032 3261 18446744073709551615 4194304 35031035 140723284844384 140723284843384 7760122 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 48328704 140723284849119 140723284849195 140723284849195 140723284852689 0
/proc/7176/statm: 10542 3261 342 7529 0 2989 0
Current children cumulated CPU time: 588.68 s
Current children cumulated vsize: 42168 KiB
Current children cumulated memory: 13044 KiB
[startup+595.2 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 7211
/proc/meminfo: memFree=31197604/32770624 swapFree=67108860/67108860
[pid=7176] ppid=7173 vsize=42168 memory=13044 CPUtime=595.08 cores=1,3,5,7
/proc/7176/stat : 7176 (BTD) R 7173 7176 17093 0 -1 4202496 19951 0 0 0 59230 278 0 0 20 0 1 0 73015760 43180032 3261 18446744073709551615 4194304 35031035 140723284844384 140723284843384 7760122 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 48328704 140723284849119 140723284849195 140723284849195 140723284852689 0
/proc/7176/statm: 10542 3261 342 7529 0 2989 0
Current children cumulated CPU time: 595.08 s
Current children cumulated vsize: 42168 KiB
Current children cumulated memory: 13044 KiB
[startup+601.6 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 7211
/proc/meminfo: memFree=31197604/32770624 swapFree=67108860/67108860
[pid=7176] ppid=7173 vsize=42168 memory=13044 CPUtime=601.49 cores=1,3,5,7
/proc/7176/stat : 7176 (BTD) R 7173 7176 17093 0 -1 4202496 20535 0 0 0 59867 282 0 0 20 0 1 0 73015760 43180032 3261 18446744073709551615 4194304 35031035 140723284844384 140723284843384 7760122 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 48328704 140723284849119 140723284849195 140723284849195 140723284852689 0
/proc/7176/statm: 10542 3261 342 7529 0 2989 0
Current children cumulated CPU time: 601.49 s
Current children cumulated vsize: 42168 KiB
Current children cumulated memory: 13044 KiB
[startup+603.2 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 7212
/proc/meminfo: memFree=31197604/32770624 swapFree=67108860/67108860
[pid=7176] ppid=7173 vsize=42168 memory=13044 CPUtime=603.08 cores=1,3,5,7
/proc/7176/stat : 7176 (BTD) R 7173 7176 17093 0 -1 4202496 20535 0 0 0 60025 283 0 0 20 0 1 0 73015760 43180032 3261 18446744073709551615 4194304 35031035 140723284844384 140723284843384 7760122 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 48328704 140723284849119 140723284849195 140723284849195 140723284852689 0
/proc/7176/statm: 10542 3261 342 7529 0 2989 0
Current children cumulated CPU time: 603.08 s
Current children cumulated vsize: 42168 KiB
Current children cumulated memory: 13044 KiB
[startup+604.8 s]
/proc/loadavg: 2.03 2.02 2.05 3/182 7212
/proc/meminfo: memFree=31197472/32770624 swapFree=67108860/67108860
[pid=7176] ppid=7173 vsize=42168 memory=13068 CPUtime=604.68 cores=1,3,5,7
/proc/7176/stat : 7176 (BTD) R 7173 7176 17093 0 -1 4202496 20627 0 0 0 60185 283 0 0 20 0 1 0 73015760 43180032 3267 18446744073709551615 4194304 35031035 140723284844384 140723284843384 7760122 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 48328704 140723284849119 140723284849195 140723284849195 140723284852689 0
/proc/7176/statm: 10542 3267 342 7529 0 2989 0
Current children cumulated CPU time: 604.68 s
Current children cumulated vsize: 42168 KiB
Current children cumulated memory: 13068 KiB
[startup+605.6 s]
/proc/loadavg: 2.03 2.02 2.05 3/182 7212
/proc/meminfo: memFree=31197472/32770624 swapFree=67108860/67108860
[pid=7176] ppid=7173 vsize=42168 memory=13068 CPUtime=605.48 cores=1,3,5,7
/proc/7176/stat : 7176 (BTD) R 7173 7176 17093 0 -1 4202496 20677 0 0 0 60265 283 0 0 20 0 1 0 73015760 43180032 3267 18446744073709551615 4194304 35031035 140723284844384 140723284843384 7760122 0 0 1 0 0 0 0 17 5 0 0 7 0 0 37130264 37226188 48328704 140723284849119 140723284849195 140723284849195 140723284852689 0
/proc/7176/statm: 10542 3267 342 7529 0 2989 0
Current children cumulated CPU time: 605.48 s
Current children cumulated vsize: 42168 KiB
Current children cumulated memory: 13068 KiB
[startup+606 s]*
/proc/loadavg: 2.03 2.02 2.05 4/182 7212
/proc/meminfo: memFree=31208788/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 606.01
CPU time (s): 605.894
CPU user time (s): 603.053
CPU system time (s): 2.84089
CPU usage (%): 99.9809
Max. virtual memory (cumulated for all children) (KiB): 42168
Max. memory (cumulated for all children) (KiB): 13068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 603.053
system time used= 2.84089
maximum resident set size= 13676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20963
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 228
# summary of solver processes directly reported to runsolver:
# pid: 7176
# total CPU time (s): 605.894
# total CPU user time (s): 603.053
# total CPU system time (s): 2.84089
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.11719 second user time and 3.81052 second system time
The end