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-3741970-1338765683/watcher-3741970-1338765683 -o /tmp/evaluation-result-3741970-1338765683/solver-3741970-1338765683 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3741970-1338765683.opb
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: 2.00 2.00 2.00 3/176 10578
/proc/meminfo: memFree=30532332/32873844 swapFree=8656/8656
[pid=10578] ppid=10576 vsize=2660 CPUtime=0 cores=1,3,5,7
/proc/10578/stat : 10578 (bsolo3.0.17) D 10576 10578 9396 0 -1 4194304 94 0 0 0 0 0 0 0 20 0 1 0 342696827 2723840 47 33554432000 134512640 135840783 4292718032 4292716068 1590212 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/10578/statm: 665 47 37 325 0 32 0
[startup+0.00801505 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10578
/proc/meminfo: memFree=30532332/32873844 swapFree=8656/8656
[pid=10578] ppid=10576 vsize=4412 CPUtime=0 cores=1,3,5,7
/proc/10578/stat : 10578 (bsolo3.0.17) R 10576 10578 9396 0 -1 4202496 301 0 0 0 0 0 0 0 20 0 1 0 342696827 4517888 239 33554432000 134512640 135840783 4292718032 4292717804 135637216 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10578/statm: 1103 258 230 325 0 39 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4412
[startup+0.100258 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10578
/proc/meminfo: memFree=30532332/32873844 swapFree=8656/8656
[pid=10578] ppid=10576 vsize=7036 CPUtime=0.08 cores=1,3,5,7
/proc/10578/stat : 10578 (bsolo3.0.17) R 10576 10578 9396 0 -1 4202496 1168 0 0 0 8 0 0 0 20 0 1 0 342696827 7204864 1001 33554432000 134512640 135840783 4292718032 4292637996 2982960 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10578/statm: 1759 1001 344 325 0 695 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7036
[startup+0.300228 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10578
/proc/meminfo: memFree=30532332/32873844 swapFree=8656/8656
[pid=10578] ppid=10576 vsize=7036 CPUtime=0.28 cores=1,3,5,7
/proc/10578/stat : 10578 (bsolo3.0.17) R 10576 10578 9396 0 -1 4202496 1168 0 0 0 28 0 0 0 20 0 1 0 342696827 7204864 1001 33554432000 134512640 135840783 4292718032 4292637856 134550866 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10578/statm: 1759 1001 344 325 0 695 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 7036
[startup+0.70029 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10578
/proc/meminfo: memFree=30532332/32873844 swapFree=8656/8656
[pid=10578] ppid=10576 vsize=7036 CPUtime=0.68 cores=1,3,5,7
/proc/10578/stat : 10578 (bsolo3.0.17) R 10576 10578 9396 0 -1 4202496 1168 0 0 0 68 0 0 0 20 0 1 0 342696827 7204864 1001 33554432000 134512640 135840783 4292718032 4292637996 2982960 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10578/statm: 1759 1001 344 325 0 695 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 7036
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10579
/proc/meminfo: memFree=30527992/32873844 swapFree=8656/8656
[pid=10578] ppid=10576 vsize=9008 CPUtime=1.48 cores=1,3,5,7
/proc/10578/stat : 10578 (bsolo3.0.17) R 10576 10578 9396 0 -1 4202496 1800 0 0 0 147 1 0 0 20 0 1 0 342696827 9224192 1523 33554432000 134512640 135840783 4292718032 4292713696 5518631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10578/statm: 2252 1523 349 325 0 1188 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 9008
[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10579
/proc/meminfo: memFree=30521528/32873844 swapFree=8656/8656
[pid=10578] ppid=10576 vsize=19688 CPUtime=3.09 cores=1,3,5,7
/proc/10578/stat : 10578 (bsolo3.0.17) R 10576 10578 9396 0 -1 4202496 4456 0 0 0 307 2 0 0 20 0 1 0 342696827 20160512 4179 33554432000 134512640 135840783 4292718032 4292717124 5513174 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10578/statm: 4922 4179 349 325 0 3858 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19688
[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10579
/proc/meminfo: memFree=30494744/32873844 swapFree=8656/8656
[pid=10578] ppid=10576 vsize=35444 CPUtime=6.28 cores=1,3,5,7
/proc/10578/stat : 10578 (bsolo3.0.17) R 10576 10578 9396 0 -1 4202496 8413 0 0 0 626 2 0 0 20 0 1 0 342696827 36294656 8136 33554432000 134512640 135840783 4292718032 4292717392 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10578/statm: 8861 8136 349 325 0 7797 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 35444
[startup+12.7003 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 10579
/proc/meminfo: memFree=30447624/32873844 swapFree=8656/8656
[pid=10578] ppid=10576 vsize=68232 CPUtime=12.68 cores=1,3,5,7
/proc/10578/stat : 10578 (bsolo3.0.17) R 10576 10578 9396 0 -1 4202496 16611 0 0 0 1264 4 0 0 20 0 1 0 342696827 69869568 16334 33554432000 134512640 135840783 4292718032 4292717344 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10578/statm: 17058 16334 349 325 0 15994 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 68232
[startup+25.5003 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 10579
/proc/meminfo: memFree=30382508/32873844 swapFree=8656/8656
[pid=10578] ppid=10576 vsize=107816 CPUtime=25.48 cores=1,3,5,7
/proc/10578/stat : 10578 (bsolo3.0.17) R 10576 10578 9396 0 -1 4202496 26508 0 0 0 2541 7 0 0 20 0 1 0 342696827 110403584 26231 33554432000 134512640 135840783 4292718032 4292717392 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10578/statm: 26954 26231 349 325 0 25890 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 107816
[startup+51.1003 s]
/proc/loadavg: 2.11 2.03 2.01 3/177 10579
/proc/meminfo: memFree=30257112/32873844 swapFree=8656/8656
[pid=10578] ppid=10576 vsize=178656 CPUtime=51.08 cores=1,3,5,7
/proc/10578/stat : 10578 (bsolo3.0.17) R 10576 10578 9396 0 -1 4202496 44196 0 0 0 5097 11 0 0 20 0 1 0 342696827 182943744 43919 33554432000 134512640 135840783 4292718032 4292717392 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10578/statm: 44664 43919 349 325 0 43600 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 178656
[startup+102.307 s]
/proc/loadavg: 2.08 2.04 2.01 3/177 10579
/proc/meminfo: memFree=30051920/32873844 swapFree=8656/8656
[pid=10578] ppid=10576 vsize=308832 CPUtime=102.28 cores=1,3,5,7
/proc/10578/stat : 10578 (bsolo3.0.17) R 10576 10578 9396 0 -1 4202496 76752 0 0 0 10207 21 0 0 20 0 1 0 342696827 316243968 76475 33554432000 134512640 135840783 4292718032 4292704172 5515904 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10578/statm: 77208 76475 349 325 0 76144 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 308832
[startup+162.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 10579
/proc/meminfo: memFree=29823540/32873844 swapFree=8656/8656
[pid=10578] ppid=10576 vsize=441384 CPUtime=162.26 cores=1,3,5,7
/proc/10578/stat : 10578 (bsolo3.0.17) R 10576 10578 9396 0 -1 4202496 109887 0 0 0 16196 30 0 0 20 0 1 0 342696827 451977216 109610 33554432000 134512640 135840783 4292718032 4292717392 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10578/statm: 110346 109610 349 325 0 109282 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 441384
[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 10580
/proc/meminfo: memFree=29629260/32873844 swapFree=8656/8656
[pid=10578] ppid=10576 vsize=557624 CPUtime=222.25 cores=1,3,5,7
/proc/10578/stat : 10578 (bsolo3.0.17) R 10576 10578 9396 0 -1 4202496 138958 0 0 0 22188 37 0 0 20 0 1 0 342696827 571006976 138681 33554432000 134512640 135840783 4292718032 4292717392 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10578/statm: 139406 138681 349 325 0 138342 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 557624
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 10580
/proc/meminfo: memFree=29386372/32873844 swapFree=8656/8656
[pid=10578] ppid=10576 vsize=676948 CPUtime=282.24 cores=1,3,5,7
/proc/10578/stat : 10578 (bsolo3.0.17) R 10576 10578 9396 0 -1 4202496 168779 0 0 0 28178 46 0 0 20 0 1 0 342696827 693194752 168502 33554432000 134512640 135840783 4292718032 4292717392 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10578/statm: 169237 168502 349 325 0 168173 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 676948
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 10580
/proc/meminfo: memFree=29218256/32873844 swapFree=8656/8656
[pid=10578] ppid=10576 vsize=760220 CPUtime=342.23 cores=1,3,5,7
/proc/10578/stat : 10578 (bsolo3.0.17) R 10576 10578 9396 0 -1 4202496 189615 0 0 0 34171 52 0 0 20 0 1 0 342696827 778465280 189338 33554432000 134512640 135840783 4292718032 4292717392 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10578/statm: 190055 189338 349 325 0 188991 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 760220
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10580
/proc/meminfo: memFree=28995828/32873844 swapFree=8656/8656
[pid=10578] ppid=10576 vsize=886952 CPUtime=402.23 cores=1,3,5,7
/proc/10578/stat : 10578 (bsolo3.0.17) R 10576 10578 9396 0 -1 4202496 221285 0 0 0 40162 61 0 0 20 0 1 0 342696827 908238848 221008 33554432000 134512640 135840783 4292718032 4292717060 5505276 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10578/statm: 221738 221008 349 325 0 220674 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 886952
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10580
/proc/meminfo: memFree=28831804/32873844 swapFree=8656/8656
[pid=10578] ppid=10576 vsize=990824 CPUtime=462.21 cores=1,3,5,7
/proc/10578/stat : 10578 (bsolo3.0.17) R 10576 10578 9396 0 -1 4202496 247247 0 0 0 46153 68 0 0 20 0 1 0 342696827 1014603776 246970 33554432000 134512640 135840783 4292718032 4292717392 134551063 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10578/statm: 247706 246970 349 325 0 246642 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 990824
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10584
/proc/meminfo: memFree=28667756/32873844 swapFree=8656/8656
[pid=10578] ppid=10576 vsize=1081580 CPUtime=522.21 cores=1,3,5,7
/proc/10578/stat : 10578 (bsolo3.0.17) R 10576 10578 9396 0 -1 4202496 269952 0 0 0 52146 75 0 0 20 0 1 0 342696827 1107537920 269675 33554432000 134512640 135840783 4292718032 4292717392 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10578/statm: 270395 269675 349 325 0 269331 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1081580
[startup+582.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 10584
/proc/meminfo: memFree=28529424/32873844 swapFree=8656/8656
[pid=10578] ppid=10576 vsize=1159376 CPUtime=582.2 cores=1,3,5,7
/proc/10578/stat : 10578 (bsolo3.0.17) R 10576 10578 9396 0 -1 4202496 289391 0 0 0 58141 79 0 0 20 0 1 0 342696827 1187201024 289114 33554432000 134512640 135840783 4292718032 4292717392 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10578/statm: 289844 289114 349 325 0 288780 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1159376
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 10585
/proc/meminfo: memFree=27850912/32873844 swapFree=8656/8656
[pid=10578] ppid=10576 vsize=1537712 CPUtime=882.15 cores=1,3,5,7
/proc/10578/stat : 10578 (bsolo3.0.17) R 10576 10578 9396 0 -1 4202496 383982 0 0 0 88110 105 0 0 20 0 1 0 342696827 1574617088 383705 33554432000 134512640 135840783 4292718032 4292717392 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10578/statm: 384428 383705 349 325 0 383364 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 1537712
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10585
/proc/meminfo: memFree=27722476/32873844 swapFree=8656/8656
[pid=10578] ppid=10576 vsize=1608624 CPUtime=942.14 cores=1,3,5,7
/proc/10578/stat : 10578 (bsolo3.0.17) R 10576 10578 9396 0 -1 4202496 401698 0 0 0 94104 110 0 0 20 0 1 0 342696827 1647230976 401421 33554432000 134512640 135840783 4292718032 4292717384 12331193 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10578/statm: 402156 401421 349 325 0 401092 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 1608624
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10585
/proc/meminfo: memFree=27592552/32873844 swapFree=8656/8656
[pid=10578] ppid=10576 vsize=1662684 CPUtime=1002.14 cores=1,3,5,7
/proc/10578/stat : 10578 (bsolo3.0.17) R 10576 10578 9396 0 -1 4202496 415230 0 0 0 100100 114 0 0 20 0 1 0 342696827 1702588416 414953 33554432000 134512640 135840783 4292718032 4292717392 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10578/statm: 415671 414953 349 325 0 414607 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 1662684
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10585
/proc/meminfo: memFree=27466348/32873844 swapFree=8656/8656
[pid=10578] ppid=10576 vsize=1714532 CPUtime=1062.12 cores=1,3,5,7
/proc/10578/stat : 10578 (bsolo3.0.17) R 10576 10578 9396 0 -1 4202496 428171 0 0 0 106096 116 0 0 20 0 1 0 342696827 1755680768 427894 33554432000 134512640 135840783 4292718032 4292717392 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10578/statm: 428633 427894 349 325 0 427569 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 1714532
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10589
/proc/meminfo: memFree=27354496/32873844 swapFree=8656/8656
[pid=10578] ppid=10576 vsize=1765048 CPUtime=1122.11 cores=1,3,5,7
/proc/10578/stat : 10578 (bsolo3.0.17) R 10576 10578 9396 0 -1 4202496 440812 0 0 0 112092 119 0 0 20 0 1 0 342696827 1807409152 440535 33554432000 134512640 135840783 4292718032 4292717392 134550921 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10578/statm: 441262 440535 349 325 0 440198 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 1765048
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10589
/proc/meminfo: memFree=27245328/32873844 swapFree=8656/8656
[pid=10578] ppid=10576 vsize=1816008 CPUtime=1182.1 cores=1,3,5,7
/proc/10578/stat : 10578 (bsolo3.0.17) R 10576 10578 9396 0 -1 4202496 453539 0 0 0 118088 122 0 0 20 0 1 0 342696827 1859592192 453262 33554432000 134512640 135840783 4292718032 4292717344 134550878 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10578/statm: 454002 453262 349 325 0 452938 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 1816008
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10589
/proc/meminfo: memFree=27126052/32873844 swapFree=8656/8656
[pid=10578] ppid=10576 vsize=1878188 CPUtime=1242.1 cores=1,3,5,7
/proc/10578/stat : 10578 (bsolo3.0.17) R 10576 10578 9396 0 -1 4202496 469083 0 0 0 124083 127 0 0 20 0 1 0 342696827 1923264512 468806 33554432000 134512640 135840783 4292718032 4292717392 134551175 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10578/statm: 469547 468806 349 325 0 468483 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1878188
[startup+1302.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 10590
/proc/meminfo: memFree=26984216/32873844 swapFree=8656/8656
[pid=10578] ppid=10576 vsize=1939328 CPUtime=1302.09 cores=1,3,5,7
/proc/10578/stat : 10578 (bsolo3.0.17) R 10576 10578 9396 0 -1 4202496 484385 0 0 0 130078 131 0 0 20 0 1 0 342696827 1985871872 484108 33554432000 134512640 135840783 4292718032 4292717392 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10578/statm: 484832 484108 349 325 0 483768 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1939328
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 10590
/proc/meminfo: memFree=26846240/32873844 swapFree=8656/8656
[pid=10578] ppid=10576 vsize=1984336 CPUtime=1362.08 cores=1,3,5,7
/proc/10578/stat : 10578 (bsolo3.0.17) R 10576 10578 9396 0 -1 4202496 495623 0 0 0 136074 134 0 0 20 0 1 0 342696827 2031960064 495346 33554432000 134512640 135840783 4292718032 4292717392 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10578/statm: 496084 495346 349 325 0 495020 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1984336
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10591
/proc/meminfo: memFree=26737520/32873844 swapFree=8656/8656
[pid=10578] ppid=10576 vsize=2036896 CPUtime=1422.08 cores=1,3,5,7
/proc/10578/stat : 10578 (bsolo3.0.17) R 10576 10578 9396 0 -1 4202496 508779 0 0 0 142070 138 0 0 20 0 1 0 342696827 2085781504 508502 33554432000 134512640 135840783 4292718032 4292717392 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10578/statm: 509224 508502 349 325 0 508160 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 2036896
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10591
/proc/meminfo: memFree=26625328/32873844 swapFree=8656/8656
[pid=10578] ppid=10576 vsize=2084112 CPUtime=1482.06 cores=1,3,5,7
/proc/10578/stat : 10578 (bsolo3.0.17) R 10576 10578 9396 0 -1 4202496 520572 0 0 0 148064 142 0 0 20 0 1 0 342696827 2134130688 520295 33554432000 134512640 135840783 4292718032 4292717392 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10578/statm: 521028 520295 349 325 0 519964 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 2084112
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10630
/proc/meminfo: memFree=28927600/32873844 swapFree=8656/8656
[pid=10578] ppid=10576 vsize=2130500 CPUtime=1542.04 cores=1,3,5,7
/proc/10578/stat : 10578 (bsolo3.0.17) R 10576 10578 9396 0 -1 4202496 532206 0 0 0 154058 146 0 0 20 0 1 0 342696827 2181632000 531908 33554432000 134512640 135840783 4292718032 4292717392 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10578/statm: 532625 531908 349 325 0 531561 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 2130500
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10630
/proc/meminfo: memFree=28732096/32873844 swapFree=8656/8656
[pid=10578] ppid=10576 vsize=2169816 CPUtime=1602 cores=1,3,5,7
/proc/10578/stat : 10578 (bsolo3.0.17) R 10576 10578 9396 0 -1 4202496 542056 0 0 0 160052 148 0 0 20 0 1 0 342696827 2221891584 541721 33554432000 134512640 135840783 4292718032 4292717392 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10578/statm: 542454 541721 349 325 0 541390 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 2169816
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10630
/proc/meminfo: memFree=28507048/32873844 swapFree=8656/8656
[pid=10578] ppid=10576 vsize=2219416 CPUtime=1661.97 cores=1,3,5,7
/proc/10578/stat : 10578 (bsolo3.0.17) R 10576 10578 9396 0 -1 4202496 554493 0 0 0 166044 153 0 0 20 0 1 0 342696827 2272681984 554122 33554432000 134512640 135840783 4292718032 4292717268 5513395 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10578/statm: 554854 554122 349 325 0 553790 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 2219416
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10634
/proc/meminfo: memFree=28351812/32873844 swapFree=8656/8656
[pid=10578] ppid=10576 vsize=2291028 CPUtime=1721.93 cores=1,3,5,7
/proc/10578/stat : 10578 (bsolo3.0.17) R 10576 10578 9396 0 -1 4202496 572446 0 0 0 172034 159 0 0 20 0 1 0 342696827 2346012672 572037 33554432000 134512640 135840783 4292718032 4292717392 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10578/statm: 572757 572037 349 325 0 571693 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 2291028
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10634
/proc/meminfo: memFree=28208512/32873844 swapFree=8656/8656
[pid=10578] ppid=10576 vsize=2341096 CPUtime=1781.9 cores=1,3,5,7
/proc/10578/stat : 10578 (bsolo3.0.17) R 10576 10578 9396 0 -1 4202496 585000 0 0 0 178027 163 0 0 20 0 1 0 342696827 2397282304 584554 33554432000 134512640 135840783 4292718032 4292717392 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10578/statm: 585274 584554 349 325 0 584210 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 2341096
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10634
/proc/meminfo: memFree=28150092/32873844 swapFree=8656/8656
[pid=10578] ppid=10576 vsize=2347868 CPUtime=1800 cores=1,3,5,7
/proc/10578/stat : 10578 (bsolo3.0.17) R 10576 10578 9396 0 -1 4202496 586697 0 0 0 179836 164 0 0 20 0 1 0 342696827 2404216832 586244 33554432000 134512640 135840783 4292718032 4292717264 5143295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10578/statm: 586967 586244 349 325 0 585903 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 2347868
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10634
/proc/meminfo: memFree=28150092/32873844 swapFree=8656/8656
[pid=10578] ppid=10576 vsize=0 CPUtime=1800.1 cores=1,3,5,7
/proc/10578/stat : 10578 (bsolo3.0.17) R 10576 10578 9396 0 -1 4202500 586700 0 0 0 179836 174 0 0 20 0 1 0 342696827 0 0 33554432000 0 0 0 0 0 0 16384 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/10578/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 0
Child status: 15
Real time (s): 1800.54
CPU time (s): 1800.15
CPU user time (s): 1798.37
CPU system time (s): 1.77773
CPU usage (%): 99.9779
Max. virtual memory (cumulated for all children) (KiB): 2347868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.37
system time used= 1.77773
maximum resident set size= 2344976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 586700
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= 199
involuntary context switches= 1849
runsolver used 3.65944 second user time and 9.8775 second system time
The end