runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3712501-1338196045/watcher-3712501-1338196045 -o /tmp/evaluation-result-3712501-1338196045/solver-3712501-1338196045 -C 1800 -W 1900 -M 15500 pwbo2.01 -file-format=wbo -verbosity=0 HOME/instance-3712501-1338196045.wbo
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.01 3.86 2.97 4/178 14670
/proc/meminfo: memFree=31431152/32873648 swapFree=7116/7116
[pid=14670] ppid=14668 vsize=10136 CPUtime=0 cores=1,3,5,7
/proc/14670/stat : 14670 (pwbo2.01) R 14668 14670 14514 0 -1 4202496 763 0 0 0 0 0 0 0 20 0 1 0 285730013 10379264 712 33554432000 4194304 5964478 140735228837744 140735976839464 5244234 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/14670/statm: 2732 722 170 433 0 2296 0
[startup+0.104307 s]
/proc/loadavg: 4.01 3.86 2.97 4/178 14670
/proc/meminfo: memFree=31431152/32873648 swapFree=7116/7116
[pid=14670] ppid=14668 vsize=162488 CPUtime=0.18 cores=1,3,5,7
/proc/14670/stat : 14670 (pwbo2.01) S 14668 14670 14514 0 -1 4202496 1487 0 0 0 18 0 0 0 20 0 3 0 285730013 166387712 1436 33554432000 4194304 5964478 140735228837744 140735228837264 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14670/statm: 40622 1436 198 433 0 40186 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 162488
[startup+0.200151 s]
/proc/loadavg: 4.01 3.86 2.97 4/178 14670
/proc/meminfo: memFree=31431152/32873648 swapFree=7116/7116
[pid=14670] ppid=14668 vsize=162488 CPUtime=0.37 cores=1,3,5,7
/proc/14670/stat : 14670 (pwbo2.01) S 14668 14670 14514 0 -1 4202496 1857 0 0 0 37 0 0 0 20 0 3 0 285730013 166387712 1806 33554432000 4194304 5964478 140735228837744 140735228837264 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14670/statm: 40622 1806 198 433 0 40186 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 162488
[startup+0.30013 s]
/proc/loadavg: 4.01 3.86 2.97 4/178 14670
/proc/meminfo: memFree=31431152/32873648 swapFree=7116/7116
[pid=14670] ppid=14668 vsize=162488 CPUtime=0.57 cores=1,3,5,7
/proc/14670/stat : 14670 (pwbo2.01) S 14668 14670 14514 0 -1 4202496 2054 0 0 0 57 0 0 0 20 0 3 0 285730013 166387712 2003 33554432000 4194304 5964478 140735228837744 140735228837264 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14670/statm: 40622 2003 198 433 0 40186 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 162488
[startup+0.700125 s]
/proc/loadavg: 4.01 3.86 2.97 4/178 14670
/proc/meminfo: memFree=31431152/32873648 swapFree=7116/7116
[pid=14670] ppid=14668 vsize=162488 CPUtime=1.38 cores=1,3,5,7
/proc/14670/stat : 14670 (pwbo2.01) S 14668 14670 14514 0 -1 4202496 2849 0 0 0 137 1 0 0 20 0 3 0 285730013 166387712 2798 33554432000 4194304 5964478 140735228837744 140735228837264 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14670/statm: 40622 2798 198 433 0 40186 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 162488
[startup+1.50018 s]
/proc/loadavg: 4.01 3.86 2.97 5/181 14673
/proc/meminfo: memFree=31373188/32873648 swapFree=7116/7116
[pid=14670] ppid=14668 vsize=162776 CPUtime=2.97 cores=1,3,5,7
/proc/14670/stat : 14670 (pwbo2.01) S 14668 14670 14514 0 -1 4202496 3514 0 0 0 296 1 0 0 20 0 3 0 285730013 166682624 3463 33554432000 4194304 5964478 140735228837744 140735228837264 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14670/statm: 40694 3463 198 433 0 40258 0
[pid=14670/tid=14671] ppid=14668 vsize=162776 CPUtime=1.47 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (pwbo2.01) R 14668 14670 14514 0 -1 4202560 1813 0 0 0 146 1 0 0 20 0 3 0 285730014 166682624 3463 33554432000 4194304 5964478 140735228837744 139852829280296 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14672] ppid=14668 vsize=162776 CPUtime=1.47 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (pwbo2.01) R 14668 14670 14514 0 -1 4202560 916 0 0 0 147 0 0 0 20 0 3 0 285730014 166682624 3463 33554432000 4194304 5964478 140735228837744 139852818790704 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 162776
[startup+3.1002 s]
/proc/loadavg: 4.00 3.86 2.98 5/181 14673
/proc/meminfo: memFree=31366988/32873648 swapFree=7116/7116
[pid=14670] ppid=14668 vsize=162920 CPUtime=6.17 cores=1,3,5,7
/proc/14670/stat : 14670 (pwbo2.01) S 14668 14670 14514 0 -1 4202496 4574 0 0 0 615 2 0 0 20 0 3 0 285730013 166830080 4523 33554432000 4194304 5964478 140735228837744 140735228837264 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14670/statm: 40730 4523 198 433 0 40294 0
[pid=14670/tid=14671] ppid=14668 vsize=162920 CPUtime=3.07 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (pwbo2.01) R 14668 14670 14514 0 -1 4202560 2722 0 0 0 306 1 0 0 20 0 3 0 285730014 166830080 4523 33554432000 4194304 5964478 140735228837744 139852829280248 4400071 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14672] ppid=14668 vsize=162920 CPUtime=3.06 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (pwbo2.01) R 14668 14670 14514 0 -1 4202560 1067 0 0 0 306 0 0 0 20 0 3 0 285730014 166830080 4523 33554432000 4194304 5964478 140735228837744 139852818790704 4400040 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 162920
[startup+6.30023 s]
/proc/loadavg: 4.00 3.86 2.98 5/181 14673
/proc/meminfo: memFree=31349416/32873648 swapFree=7116/7116
[pid=14670] ppid=14668 vsize=163540 CPUtime=12.56 cores=1,3,5,7
/proc/14670/stat : 14670 (pwbo2.01) S 14668 14670 14514 0 -1 4202496 7040 0 0 0 1253 3 0 0 20 0 3 0 285730013 167464960 6989 33554432000 4194304 5964478 140735228837744 140735228837264 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14670/statm: 40885 6989 198 433 0 40449 0
[pid=14670/tid=14671] ppid=14668 vsize=163540 CPUtime=6.26 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (pwbo2.01) R 14668 14670 14514 0 -1 4202560 4184 0 0 0 624 2 0 0 20 0 3 0 285730014 167464960 6989 33554432000 4194304 5964478 140735228837744 139852829280296 4400099 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14672] ppid=14668 vsize=163540 CPUtime=6.26 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (pwbo2.01) R 14668 14670 14514 0 -1 4202560 2071 0 0 0 626 0 0 0 20 0 3 0 285730014 167464960 6989 33554432000 4194304 5964478 140735228837744 139852818790712 4400071 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 163540
[startup+12.7003 s]
/proc/loadavg: 4.00 3.86 2.99 5/181 14673
/proc/meminfo: memFree=31318100/32873648 swapFree=7116/7116
[pid=14670] ppid=14668 vsize=163704 CPUtime=25.36 cores=1,3,5,7
/proc/14670/stat : 14670 (pwbo2.01) S 14668 14670 14514 0 -1 4202496 11695 0 0 0 2531 5 0 0 20 0 3 0 285730013 167632896 11528 33554432000 4194304 5964478 140735228837744 140735228837264 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14670/statm: 40926 11528 200 433 0 40490 0
[pid=14670/tid=14671] ppid=14668 vsize=163704 CPUtime=12.65 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (pwbo2.01) R 14668 14670 14514 0 -1 4202560 6845 0 0 0 1262 3 0 0 20 0 3 0 285730014 167632896 11528 33554432000 4194304 5964478 140735228837744 139852829280352 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14672] ppid=14668 vsize=163704 CPUtime=12.64 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (pwbo2.01) R 14668 14670 14514 0 -1 4202560 4065 0 0 0 1263 1 0 0 20 0 3 0 285730014 167632896 11528 33554432000 4194304 5964478 140735228837744 139852818790712 4379387 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 163704
Solver just ended. Dumping a history of the last processes samples
[startup+13.0003 s]
/proc/loadavg: 4.00 3.86 2.99 5/181 14673
/proc/meminfo: memFree=31318100/32873648 swapFree=7116/7116
[pid=14670] ppid=14668 vsize=163704 CPUtime=25.96 cores=1,3,5,7
/proc/14670/stat : 14670 (pwbo2.01) S 14668 14670 14514 0 -1 4202496 11696 0 0 0 2591 5 0 0 20 0 3 0 285730013 167632896 11529 33554432000 4194304 5964478 140735228837744 140735228837264 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14670/statm: 40926 11529 200 433 0 40490 0
[pid=14670/tid=14671] ppid=14668 vsize=163704 CPUtime=12.95 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (pwbo2.01) R 14668 14670 14514 0 -1 4202560 6846 0 0 0 1292 3 0 0 20 0 3 0 285730014 167632896 11529 33554432000 4194304 5964478 140735228837744 139852829280352 4400040 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14672] ppid=14668 vsize=163704 CPUtime=12.94 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (pwbo2.01) R 14668 14670 14514 0 -1 4202560 4065 0 0 0 1293 1 0 0 20 0 3 0 285730014 167632896 11529 33554432000 4194304 5964478 140735228837744 139852818790712 4399970 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.96
Current children cumulated vsize (KiB) 163704
[startup+19.4003 s]
/proc/loadavg: 4.00 3.87 2.99 5/181 14673
/proc/meminfo: memFree=31302368/32873648 swapFree=7116/7116
[pid=14670] ppid=14668 vsize=163812 CPUtime=38.76 cores=1,3,5,7
/proc/14670/stat : 14670 (pwbo2.01) S 14668 14670 14514 0 -1 4202496 11739 0 0 0 3871 5 0 0 20 0 3 0 285730013 167743488 11572 33554432000 4194304 5964478 140735228837744 140735228837264 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14670/statm: 40953 11572 200 433 0 40517 0
[pid=14670/tid=14671] ppid=14668 vsize=163812 CPUtime=19.33 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (pwbo2.01) R 14668 14670 14514 0 -1 4202560 6885 0 0 0 1930 3 0 0 20 0 3 0 285730014 167743488 11572 33554432000 4194304 5964478 140735228837744 139852829280160 4400075 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14672] ppid=14668 vsize=163812 CPUtime=19.32 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (pwbo2.01) R 14668 14670 14514 0 -1 4202560 4069 0 0 0 1931 1 0 0 20 0 3 0 285730014 167743488 11572 33554432000 4194304 5964478 140735228837744 139852818790704 4400612 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 38.76
Current children cumulated vsize (KiB) 163812
[startup+21.0003 s]
/proc/loadavg: 4.00 3.87 2.99 5/181 14673
/proc/meminfo: memFree=31300136/32873648 swapFree=7116/7116
[pid=14670] ppid=14668 vsize=163812 CPUtime=41.96 cores=1,3,5,7
/proc/14670/stat : 14670 (pwbo2.01) S 14668 14670 14514 0 -1 4202496 11755 0 0 0 4191 5 0 0 20 0 3 0 285730013 167743488 11588 33554432000 4194304 5964478 140735228837744 140735228837264 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14670/statm: 40953 11588 200 433 0 40517 0
[pid=14670/tid=14671] ppid=14668 vsize=163812 CPUtime=20.92 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (pwbo2.01) R 14668 14670 14514 0 -1 4202560 6901 0 0 0 2089 3 0 0 20 0 3 0 285730014 167743488 11588 33554432000 4194304 5964478 140735228837744 139852829280160 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14672] ppid=14668 vsize=163812 CPUtime=20.92 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (pwbo2.01) R 14668 14670 14514 0 -1 4202560 4069 0 0 0 2091 1 0 0 20 0 3 0 285730014 167743488 11588 33554432000 4194304 5964478 140735228837744 139852818790816 4400087 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 41.96
Current children cumulated vsize (KiB) 163812
[startup+21.8003 s]
/proc/loadavg: 4.00 3.87 2.99 5/181 14673
/proc/meminfo: memFree=31299268/32873648 swapFree=7116/7116
[pid=14670] ppid=14668 vsize=163812 CPUtime=43.56 cores=1,3,5,7
/proc/14670/stat : 14670 (pwbo2.01) S 14668 14670 14514 0 -1 4202496 11757 0 0 0 4351 5 0 0 20 0 3 0 285730013 167743488 11590 33554432000 4194304 5964478 140735228837744 140735228837264 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14670/statm: 40953 11590 200 433 0 40517 0
[pid=14670/tid=14671] ppid=14668 vsize=163812 CPUtime=21.72 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (pwbo2.01) R 14668 14670 14514 0 -1 4202560 6903 0 0 0 2169 3 0 0 20 0 3 0 285730014 167743488 11590 33554432000 4194304 5964478 140735228837744 139852829280160 4400099 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14672] ppid=14668 vsize=163812 CPUtime=21.72 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (pwbo2.01) R 14668 14670 14514 0 -1 4202560 4069 0 0 0 2171 1 0 0 20 0 3 0 285730014 167743488 11590 33554432000 4194304 5964478 140735228837744 139852818790704 4399904 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 43.56
Current children cumulated vsize (KiB) 163812
[startup+22.6003 s]
/proc/loadavg: 4.00 3.87 3.00 5/181 14673
/proc/meminfo: memFree=31297532/32873648 swapFree=7116/7116
[pid=14670] ppid=14668 vsize=163812 CPUtime=45.16 cores=1,3,5,7
/proc/14670/stat : 14670 (pwbo2.01) S 14668 14670 14514 0 -1 4202496 11758 0 0 0 4511 5 0 0 20 0 3 0 285730013 167743488 11591 33554432000 4194304 5964478 140735228837744 140735228837264 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14670/statm: 40953 11591 200 433 0 40517 0
[pid=14670/tid=14671] ppid=14668 vsize=163812 CPUtime=22.52 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (pwbo2.01) R 14668 14670 14514 0 -1 4202560 6904 0 0 0 2249 3 0 0 20 0 3 0 285730014 167743488 11591 33554432000 4194304 5964478 140735228837744 139852829280160 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14672] ppid=14668 vsize=163812 CPUtime=22.51 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (pwbo2.01) R 14668 14670 14514 0 -1 4202560 4069 0 0 0 2250 1 0 0 20 0 3 0 285730014 167743488 11591 33554432000 4194304 5964478 140735228837744 139852818790816 4403655 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 45.16
Current children cumulated vsize (KiB) 163812
[startup+23.0003 s]
/proc/loadavg: 4.00 3.87 3.00 5/181 14673
/proc/meminfo: memFree=31297532/32873648 swapFree=7116/7116
[pid=14670] ppid=14668 vsize=163812 CPUtime=45.96 cores=1,3,5,7
/proc/14670/stat : 14670 (pwbo2.01) S 14668 14670 14514 0 -1 4202496 11758 0 0 0 4591 5 0 0 20 0 3 0 285730013 167743488 11591 33554432000 4194304 5964478 140735228837744 140735228837264 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14670/statm: 40953 11591 200 433 0 40517 0
[pid=14670/tid=14671] ppid=14668 vsize=163812 CPUtime=22.92 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (pwbo2.01) R 14668 14670 14514 0 -1 4202560 6904 0 0 0 2289 3 0 0 20 0 3 0 285730014 167743488 11591 33554432000 4194304 5964478 140735228837744 139852829280160 4400081 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14672] ppid=14668 vsize=163812 CPUtime=22.91 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (pwbo2.01) R 14668 14670 14514 0 -1 4202560 4069 0 0 0 2290 1 0 0 20 0 3 0 285730014 167743488 11591 33554432000 4194304 5964478 140735228837744 139852818790816 4400087 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 45.96
Current children cumulated vsize (KiB) 163812
[startup+23.1003 s]
/proc/loadavg: 4.00 3.87 3.00 5/181 14673
/proc/meminfo: memFree=31297532/32873648 swapFree=7116/7116
[pid=14670] ppid=14668 vsize=163812 CPUtime=46.16 cores=1,3,5,7
/proc/14670/stat : 14670 (pwbo2.01) S 14668 14670 14514 0 -1 4202496 11759 0 0 0 4611 5 0 0 20 0 3 0 285730013 167743488 11592 33554432000 4194304 5964478 140735228837744 140735228837264 4546669 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14670/statm: 40953 11592 200 433 0 40517 0
[pid=14670/tid=14671] ppid=14668 vsize=163812 CPUtime=23.02 cores=1,3,5,7
/proc/14670/task/14671/stat : 14671 (pwbo2.01) R 14668 14670 14514 0 -1 4202560 6905 0 0 0 2299 3 0 0 20 0 3 0 285730014 167743488 11592 33554432000 4194304 5964478 140735228837744 139852829280160 4400071 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=14670/tid=14672] ppid=14668 vsize=163812 CPUtime=23.01 cores=1,3,5,7
/proc/14670/task/14672/stat : 14672 (pwbo2.01) R 14668 14670 14514 0 -1 4202560 4069 0 0 0 2300 1 0 0 20 0 3 0 285730014 167743488 11592 33554432000 4194304 5964478 140735228837744 139852818790816 4400099 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 46.16
Current children cumulated vsize (KiB) 163812
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14670 and gives
# childrusage.ru_utime.tv_sec=46
# childrusage.ru_utime.tv_usec=83994
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=70989
# CPU time returned by wait4() is 46.155
# while last known CPU time is 46.16
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 23.1479
CPU time (s): 46.16
CPU user time (s): 46.11
CPU system time (s): 0.05
CPU usage (%): 199.413
Max. virtual memory (cumulated for all children) (KiB): 164244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 46.084
system time used= 0.070989
maximum resident set size= 46404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11768
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= 92
involuntary context switches= 49
runsolver used 0.06399 second user time and 0.173973 second system time
The end