Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | ? | 1798 | 1798.49 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_5_40_2.opb |
MD5SUM | 4618b6422bdc12197131d1d37f567363 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 41 |
Total number of constraints | 11 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 10 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 40 |
Number of terms in the objective function | 1 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1 |
Number of bits of the sum of numbers in the objective function | 1 |
Biggest number in a constraint | 1196 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 3589 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1878405-1245174965.opb 0.00/0.00 c File size is 3356 bytes. 0.00/0.00 c Highest Coefficient sum: 3589 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0 s 0.00/0.00 c Var: 41 Constr: 11 1/0/10 Lit: 395 Watch. Lit: 135 0.00/0.00 c Obj. Vars: 1 (2.43902 % of total variables) 0.00/0.00 c Pre-processing Time: 0.001 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 40 10 394 39 140 788 0 0 0.00 0.00/0.00 c Switching off lower bounding mode. 1797.91/1798.48 c 100 40 110 3309 30 423 867 100 14285 0.01 1797.91/1798.48 c 251 40 261 7676 29 729 954 251 14764 0.02 1797.91/1798.48 c 476 40 486 13874 28 1167 1050 476 15354 0.03 1797.91/1798.48 c 814 40 824 23265 28 1847 1156 814 15358 0.05 1797.91/1798.48 c 1322 40 734 20553 28 1661 1272 724 14215 0.09 1797.91/1798.48 c 2085 40 844 24478 29 1890 1400 834 13451 0.15 1797.91/1798.48 c 3231 40 1273 37037 29 2742 1541 1263 12924 0.25 1797.91/1798.48 c 4952 40 1407 41272 29 3020 1696 1397 12078 0.41 1797.91/1798.48 c 7536 40 1377 40835 29 2958 1866 1367 11264 0.67 1797.91/1798.48 c 11415 40 1429 42727 29 3070 2053 1419 10569 1.08 1797.91/1798.48 c 17238 40 2007 60831 30 4223 2259 1997 10086 1.71 1797.91/1798.48 c 25975 40 1487 43975 29 3179 2485 1477 9296 2.79 1797.91/1798.48 c 39085 40 1917 58005 30 4046 2734 1907 8691 4.50 1797.91/1798.48 c 58755 40 2081 63959 30 4370 3008 2071 8395 7.00 1797.91/1798.48 c 88265 40 2492 75787 30 5190 3309 2482 7718 11.44 1797.91/1798.48 c 132535 40 3077 92399 30 6357 3640 3067 7185 18.45 1797.91/1798.48 c 198947 40 3042 91936 30 6292 4005 3032 6906 28.80 1797.91/1798.48 c 298568 40 3283 98047 29 6775 4406 3273 6484 46.05 1797.91/1798.48 c 448004 40 3451 105590 30 7112 4847 3441 6012 74.52 1797.91/1798.48 c 672162 40 4805 147129 30 9819 5332 4795 5602 119.98 1797.91/1798.48 c 1008406 40 4648 145168 31 9504 5866 4638 5270 191.34 1797.91/1798.48 c 1512777 40 3078 94810 30 6365 6453 3068 4987 303.31 1797.91/1798.48 c 2269340 40 5435 166362 30 11072 7099 5425 4648 488.15 1797.91/1798.48 c 3404192 40 3649 111093 30 7507 7809 3639 4232 804.34 1797.91/1798.48 c 5106476 40 4695 141261 30 9595 8590 4685 3881 1315.61 1797.91/1798.48 c Resources Exceeded 1797.91/1798.48 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.91/1798.48 c 25 6485762 57528 6544405 5826 175017 5816 3607 1798.00 1797.91/1798.48 s UNKNOWN 1797.91/1798.48 c Total time: 1798 s
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878405-1245174965/watcher-1878405-1245174965 -o /tmp/evaluation-result-1878405-1245174965/solver-1878405-1245174965 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878405-1245174965.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.98 0.99 3/65 6354 /proc/meminfo: memFree=1852464/2055920 swapFree=4191900/4192956 [pid=6354] ppid=6352 vsize=26200 CPUtime=0 /proc/6354/stat : 6354 (bsolo) R 6352 6354 6311 0 -1 4194304 257 0 0 0 0 0 0 0 18 0 1 0 185095956 26828800 240 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6354/statm: 6550 240 196 640 0 5906 0 [startup+0.10668 s] /proc/loadavg: 0.91 0.98 0.99 3/65 6354 /proc/meminfo: memFree=1852464/2055920 swapFree=4191900/4192956 [pid=6354] ppid=6352 vsize=19032 CPUtime=0.1 /proc/6354/stat : 6354 (bsolo) R 6352 6354 6311 0 -1 4194304 393 0 0 0 10 0 0 0 18 0 1 0 185095956 19488768 376 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6354/statm: 4758 376 196 640 0 4114 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 19032 [startup+0.201691 s] /proc/loadavg: 0.91 0.98 0.99 3/65 6354 /proc/meminfo: memFree=1852464/2055920 swapFree=4191900/4192956 [pid=6354] ppid=6352 vsize=19032 CPUtime=0.19 /proc/6354/stat : 6354 (bsolo) R 6352 6354 6311 0 -1 4194304 418 0 0 0 19 0 0 0 18 0 1 0 185095956 19488768 401 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6354/statm: 4758 401 196 640 0 4114 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 19032 [startup+0.301702 s] /proc/loadavg: 0.91 0.98 0.99 3/65 6354 /proc/meminfo: memFree=1852464/2055920 swapFree=4191900/4192956 [pid=6354] ppid=6352 vsize=19160 CPUtime=0.29 /proc/6354/stat : 6354 (bsolo) R 6352 6354 6311 0 -1 4194304 444 0 0 0 29 0 0 0 19 0 1 0 185095956 19619840 427 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6354/statm: 4790 427 196 640 0 4146 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19160 [startup+0.701747 s] /proc/loadavg: 0.91 0.98 0.99 3/65 6354 /proc/meminfo: memFree=1852464/2055920 swapFree=4191900/4192956 [pid=6354] ppid=6352 vsize=19288 CPUtime=0.69 /proc/6354/stat : 6354 (bsolo) R 6352 6354 6311 0 -1 4194304 469 0 0 0 69 0 0 0 22 0 1 0 185095956 19750912 452 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6354/statm: 4822 452 196 640 0 4178 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19288 [startup+1.50184 s] /proc/loadavg: 0.91 0.98 0.99 2/66 6355 /proc/meminfo: memFree=1851304/2055920 swapFree=4191900/4192956 [pid=6354] ppid=6352 vsize=19548 CPUtime=1.49 /proc/6354/stat : 6354 (bsolo) R 6352 6354 6311 0 -1 4194304 519 0 0 0 148 1 0 0 25 0 1 0 185095956 20017152 502 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6354/statm: 4887 502 196 640 0 4243 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19548 [startup+3.10202 s] /proc/loadavg: 0.91 0.98 0.99 2/66 6355 /proc/meminfo: memFree=1850920/2055920 swapFree=4191900/4192956 [pid=6354] ppid=6352 vsize=19676 CPUtime=3.09 /proc/6354/stat : 6354 (bsolo) R 6352 6354 6311 0 -1 4194304 566 0 0 0 307 2 0 0 25 0 1 0 185095956 20148224 549 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6354/statm: 4919 549 196 640 0 4275 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19676 [startup+6.30138 s] /proc/loadavg: 0.92 0.98 0.99 2/66 6355 /proc/meminfo: memFree=1850536/2055920 swapFree=4191900/4192956 [pid=6354] ppid=6352 vsize=19804 CPUtime=6.29 /proc/6354/stat : 6354 (bsolo) R 6352 6354 6311 0 -1 4194304 610 0 0 0 624 5 0 0 25 0 1 0 185095956 20279296 593 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6354/statm: 4951 593 196 640 0 4307 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19804 [startup+12.7011 s] /proc/loadavg: 0.93 0.98 0.99 2/66 6355 /proc/meminfo: memFree=1850224/2055920 swapFree=4191900/4192956 [pid=6354] ppid=6352 vsize=20068 CPUtime=12.69 /proc/6354/stat : 6354 (bsolo) R 6352 6354 6311 0 -1 4194304 678 0 0 0 1259 10 0 0 25 0 1 0 185095956 20549632 661 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6354/statm: 5017 661 196 640 0 4373 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20068 [startup+25.5016 s] /proc/loadavg: 0.94 0.98 0.99 2/66 6355 /proc/meminfo: memFree=1850032/2055920 swapFree=4191900/4192956 [pid=6354] ppid=6352 vsize=20316 CPUtime=25.48 /proc/6354/stat : 6354 (bsolo) R 6352 6354 6311 0 -1 4194304 722 0 0 0 2530 18 0 0 25 0 1 0 185095956 20803584 705 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6354/statm: 5079 705 196 640 0 4435 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 20316 [startup+51.1015 s] /proc/loadavg: 0.96 0.98 0.99 2/66 6355 /proc/meminfo: memFree=1849712/2055920 swapFree=4191900/4192956 [pid=6354] ppid=6352 vsize=20692 CPUtime=51.08 /proc/6354/stat : 6354 (bsolo) R 6352 6354 6311 0 -1 4194304 819 0 0 0 5079 29 0 0 25 0 1 0 185095956 21188608 802 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6354/statm: 5173 802 196 640 0 4529 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 20692 [startup+102.301 s] /proc/loadavg: 0.98 0.98 0.99 2/66 6355 /proc/meminfo: memFree=1849456/2055920 swapFree=4191900/4192956 [pid=6354] ppid=6352 vsize=20948 CPUtime=102.27 /proc/6354/stat : 6354 (bsolo) R 6352 6354 6311 0 -1 4194304 880 0 0 0 10176 51 0 0 25 0 1 0 185095956 21450752 863 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6354/statm: 5237 863 196 640 0 4593 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 20948 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6355 /proc/meminfo: memFree=1849200/2055920 swapFree=4191900/4192956 [pid=6354] ppid=6352 vsize=21208 CPUtime=162.25 /proc/6354/stat : 6354 (bsolo) R 6352 6354 6311 0 -1 4194304 944 0 0 0 16146 79 0 0 25 0 1 0 185095956 21716992 927 1992294400 134512640 137136520 4294956256 18446744073709551615 134540850 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6354/statm: 5302 927 196 640 0 4658 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 21208 [startup+222.306 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6355 /proc/meminfo: memFree=1848880/2055920 swapFree=4191900/4192956 [pid=6354] ppid=6352 vsize=21464 CPUtime=222.23 /proc/6354/stat : 6354 (bsolo) R 6352 6354 6311 0 -1 4194304 1027 0 0 0 22118 105 0 0 25 0 1 0 185095956 21979136 1010 1992294400 134512640 137136520 4294956256 18446744073709551615 136502027 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6354/statm: 5366 1010 196 640 0 4722 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 21464 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6355 /proc/meminfo: memFree=1848880/2055920 swapFree=4191900/4192956 [pid=6354] ppid=6352 vsize=21464 CPUtime=282.21 /proc/6354/stat : 6354 (bsolo) R 6352 6354 6311 0 -1 4194304 1027 0 0 0 28094 127 0 0 25 0 1 0 185095956 21979136 1010 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6354/statm: 5366 1010 196 640 0 4722 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 21464 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6361 /proc/meminfo: memFree=1848488/2055920 swapFree=4191900/4192956 [pid=6354] ppid=6352 vsize=21828 CPUtime=342.19 /proc/6354/stat : 6354 (bsolo) R 6352 6354 6311 0 -1 4194304 1103 0 0 0 34071 148 0 0 25 0 1 0 185095956 22351872 1086 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6354/statm: 5457 1086 196 640 0 4813 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 21828 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6361 /proc/meminfo: memFree=1848424/2055920 swapFree=4191900/4192956 [pid=6354] ppid=6352 vsize=21804 CPUtime=402.18 /proc/6354/stat : 6354 (bsolo) R 6352 6354 6311 0 -1 4194304 1103 0 0 0 40048 170 0 0 25 0 1 0 185095956 22327296 1086 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6354/statm: 5451 1086 196 640 0 4807 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 21804 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6361 /proc/meminfo: memFree=1848424/2055920 swapFree=4191900/4192956 [pid=6354] ppid=6352 vsize=21804 CPUtime=462.16 /proc/6354/stat : 6354 (bsolo) R 6352 6354 6311 0 -1 4194304 1105 0 0 0 46026 190 0 0 25 0 1 0 185095956 22327296 1088 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6354/statm: 5451 1088 196 640 0 4807 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 21804 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6361 /proc/meminfo: memFree=1848168/2055920 swapFree=4191900/4192956 [pid=6354] ppid=6352 vsize=22064 CPUtime=522.15 /proc/6354/stat : 6354 (bsolo) R 6352 6354 6311 0 -1 4194304 1166 0 0 0 52005 210 0 0 25 0 1 0 185095956 22593536 1149 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6354/statm: 5516 1149 196 640 0 4872 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 22064 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6361 /proc/meminfo: memFree=1848168/2055920 swapFree=4191900/4192956 [pid=6354] ppid=6352 vsize=22064 CPUtime=582.13 /proc/6354/stat : 6354 (bsolo) R 6352 6354 6311 0 -1 4194304 1166 0 0 0 57984 229 0 0 25 0 1 0 185095956 22593536 1149 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6354/statm: 5516 1149 196 640 0 4872 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 22064 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6361 /proc/meminfo: memFree=1848112/2055920 swapFree=4191900/4192956 [pid=6354] ppid=6352 vsize=22156 CPUtime=642.11 /proc/6354/stat : 6354 (bsolo) R 6352 6354 6311 0 -1 4194304 1179 0 0 0 63962 249 0 0 25 0 1 0 185095956 22687744 1162 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6354/statm: 5539 1162 196 640 0 4895 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 22156 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1847664/2055920 swapFree=4191900/4192956 [pid=6354] ppid=6352 vsize=22468 CPUtime=1062.01 /proc/6354/stat : 6354 (bsolo) R 6352 6354 6311 0 -1 4194304 1268 0 0 0 105816 385 0 0 25 0 1 0 185095956 23007232 1251 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6354/statm: 5617 1251 196 640 0 4973 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 22468 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6361 /proc/meminfo: memFree=1847664/2055920 swapFree=4191900/4192956 [pid=6354] ppid=6352 vsize=22468 CPUtime=1121.99 /proc/6354/stat : 6354 (bsolo) R 6352 6354 6311 0 -1 4194304 1268 0 0 0 111797 402 0 0 25 0 1 0 185095956 23007232 1251 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6354/statm: 5617 1251 196 640 0 4973 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 22468 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6361 /proc/meminfo: memFree=1847664/2055920 swapFree=4191900/4192956 [pid=6354] ppid=6352 vsize=22468 CPUtime=1181.97 /proc/6354/stat : 6354 (bsolo) R 6352 6354 6311 0 -1 4194304 1272 0 0 0 117776 421 0 0 25 0 1 0 185095956 23007232 1255 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6354/statm: 5617 1255 196 640 0 4973 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 22468 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6361 /proc/meminfo: memFree=1847536/2055920 swapFree=4191900/4192956 [pid=6354] ppid=6352 vsize=22468 CPUtime=1241.95 /proc/6354/stat : 6354 (bsolo) R 6352 6354 6311 0 -1 4194304 1276 0 0 0 123759 436 0 0 25 0 1 0 185095956 23007232 1259 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6354/statm: 5617 1259 196 640 0 4973 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 22468 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6361 /proc/meminfo: memFree=1847472/2055920 swapFree=4191900/4192956 [pid=6354] ppid=6352 vsize=22468 CPUtime=1301.94 /proc/6354/stat : 6354 (bsolo) R 6352 6354 6311 0 -1 4194304 1276 0 0 0 129742 452 0 0 25 0 1 0 185095956 23007232 1259 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6354/statm: 5617 1259 196 640 0 4973 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 22468 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6361 /proc/meminfo: memFree=1847152/2055920 swapFree=4191900/4192956 [pid=6354] ppid=6352 vsize=22844 CPUtime=1361.92 /proc/6354/stat : 6354 (bsolo) R 6352 6354 6311 0 -1 4194304 1360 0 0 0 135722 470 0 0 25 0 1 0 185095956 23392256 1343 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6354/statm: 5711 1343 196 640 0 5067 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 22844 [startup+1422.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6361 /proc/meminfo: memFree=1847088/2055920 swapFree=4191900/4192956 [pid=6354] ppid=6352 vsize=22844 CPUtime=1421.91 /proc/6354/stat : 6354 (bsolo) R 6352 6354 6311 0 -1 4194304 1366 0 0 0 141704 487 0 0 25 0 1 0 185095956 23392256 1349 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6354/statm: 5711 1349 196 640 0 5067 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 22844 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6361 /proc/meminfo: memFree=1847088/2055920 swapFree=4191900/4192956 [pid=6354] ppid=6352 vsize=22844 CPUtime=1481.89 /proc/6354/stat : 6354 (bsolo) R 6352 6354 6311 0 -1 4194304 1373 0 0 0 147684 505 0 0 25 0 1 0 185095956 23392256 1356 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6354/statm: 5711 1356 196 640 0 5067 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 22844 [startup+1542.31 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6361 /proc/meminfo: memFree=1847088/2055920 swapFree=4191900/4192956 [pid=6354] ppid=6352 vsize=22844 CPUtime=1541.88 /proc/6354/stat : 6354 (bsolo) R 6352 6354 6311 0 -1 4194304 1373 0 0 0 153669 519 0 0 25 0 1 0 185095956 23392256 1356 1992294400 134512640 137136520 4294956256 18446744073709551615 134540856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6354/statm: 5711 1356 196 640 0 5067 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 22844 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6361 /proc/meminfo: memFree=1847088/2055920 swapFree=4191900/4192956 [pid=6354] ppid=6352 vsize=22844 CPUtime=1601.86 /proc/6354/stat : 6354 (bsolo) R 6352 6354 6311 0 -1 4194304 1373 0 0 0 159651 535 0 0 25 0 1 0 185095956 23392256 1356 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6354/statm: 5711 1356 196 640 0 5067 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 22844 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6361 /proc/meminfo: memFree=1847088/2055920 swapFree=4191900/4192956 [pid=6354] ppid=6352 vsize=22844 CPUtime=1661.84 /proc/6354/stat : 6354 (bsolo) R 6352 6354 6311 0 -1 4194304 1373 0 0 0 165635 549 0 0 25 0 1 0 185095956 23392256 1356 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6354/statm: 5711 1356 196 640 0 5067 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 22844 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6361 /proc/meminfo: memFree=1847024/2055920 swapFree=4191900/4192956 [pid=6354] ppid=6352 vsize=22928 CPUtime=1721.83 /proc/6354/stat : 6354 (bsolo) R 6352 6354 6311 0 -1 4194304 1377 0 0 0 171616 567 0 0 25 0 1 0 185095956 23478272 1360 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6354/statm: 5732 1360 196 640 0 5088 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 22928 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6361 /proc/meminfo: memFree=1846960/2055920 swapFree=4191900/4192956 [pid=6354] ppid=6352 vsize=22908 CPUtime=1781.81 /proc/6354/stat : 6354 (bsolo) R 6352 6354 6311 0 -1 4194304 1377 0 0 0 177598 583 0 0 25 0 1 0 185095956 23457792 1360 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6354/statm: 5727 1360 196 640 0 5083 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 22908 Solver just ended. Dumping a history of the last processes samples [startup+1792.01 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6361 /proc/meminfo: memFree=1846960/2055920 swapFree=4191900/4192956 [pid=6354] ppid=6352 vsize=22908 CPUtime=1791.51 /proc/6354/stat : 6354 (bsolo) R 6352 6354 6311 0 -1 4194304 1377 0 0 0 178566 585 0 0 25 0 1 0 185095956 23457792 1360 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6354/statm: 5727 1360 196 640 0 5083 0 Current children cumulated CPU time (s) 1791.51 Current children cumulated vsize (KiB) 22908 [startup+1795.2 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6361 /proc/meminfo: memFree=1846960/2055920 swapFree=4191900/4192956 [pid=6354] ppid=6352 vsize=22908 CPUtime=1794.71 /proc/6354/stat : 6354 (bsolo) R 6352 6354 6311 0 -1 4194304 1377 0 0 0 178885 586 0 0 25 0 1 0 185095956 23457792 1360 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6354/statm: 5727 1360 196 640 0 5083 0 Current children cumulated CPU time (s) 1794.71 Current children cumulated vsize (KiB) 22908 [startup+1796.8 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6361 /proc/meminfo: memFree=1846960/2055920 swapFree=4191900/4192956 [pid=6354] ppid=6352 vsize=22908 CPUtime=1796.31 /proc/6354/stat : 6354 (bsolo) R 6352 6354 6311 0 -1 4194304 1377 0 0 0 179044 587 0 0 25 0 1 0 185095956 23457792 1360 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6354/statm: 5727 1360 196 640 0 5083 0 Current children cumulated CPU time (s) 1796.31 Current children cumulated vsize (KiB) 22908 [startup+1797.6 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6361 /proc/meminfo: memFree=1846960/2055920 swapFree=4191900/4192956 [pid=6354] ppid=6352 vsize=22908 CPUtime=1797.11 /proc/6354/stat : 6354 (bsolo) R 6352 6354 6311 0 -1 4194304 1377 0 0 0 179124 587 0 0 25 0 1 0 185095956 23457792 1360 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6354/statm: 5727 1360 196 640 0 5083 0 Current children cumulated CPU time (s) 1797.11 Current children cumulated vsize (KiB) 22908 [startup+1798 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6361 /proc/meminfo: memFree=1846960/2055920 swapFree=4191900/4192956 [pid=6354] ppid=6352 vsize=22908 CPUtime=1797.51 /proc/6354/stat : 6354 (bsolo) R 6352 6354 6311 0 -1 4194304 1377 0 0 0 179164 587 0 0 25 0 1 0 185095956 23457792 1360 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6354/statm: 5727 1360 196 640 0 5083 0 Current children cumulated CPU time (s) 1797.51 Current children cumulated vsize (KiB) 22908 [startup+1798.4 s] /proc/loadavg: 0.99 0.98 0.99 2/66 6361 /proc/meminfo: memFree=1846960/2055920 swapFree=4191900/4192956 [pid=6354] ppid=6352 vsize=22908 CPUtime=1797.91 /proc/6354/stat : 6354 (bsolo) R 6352 6354 6311 0 -1 4194304 1377 0 0 0 179204 587 0 0 25 0 1 0 185095956 23457792 1360 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6354/statm: 5727 1360 196 640 0 5083 0 Current children cumulated CPU time (s) 1797.91 Current children cumulated vsize (KiB) 22908 Child status: 0 Real time (s): 1798.49 CPU time (s): 1798 CPU user time (s): 1792.13 CPU system time (s): 5.87511 CPU usage (%): 99.9731 Max. virtual memory (cumulated for all children) (KiB): 22948 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.13 system time used= 5.87511 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1378 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= 2 involuntary context switches= 1909 runsolver used 2.0027 second user time and 3.69044 second system time The end
Begin job on node32 at 2009-06-16 19:56:05 IDJOB=1878405 IDBENCH=2903 IDSOLVER=700 FILE ID=node32/1878405-1245174965 PBS_JOBID= 9363932 Free space on /tmp= 66344 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_2.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878405-1245174965/watcher-1878405-1245174965 -o /tmp/evaluation-result-1878405-1245174965/solver-1878405-1245174965 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878405-1245174965.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4618b6422bdc12197131d1d37f567363 RANDOM SEED=906896297 node32.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1852944 kB Buffers: 47120 kB Cached: 80188 kB SwapCached: 260 kB Active: 44224 kB Inactive: 97304 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1852944 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 3960 kB Writeback: 0 kB Mapped: 23636 kB Slab: 47248 kB Committed_AS: 164520 kB PageTables: 1492 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878405-1245174965.opb Free space on /tmp at the end= 66340 MiB End job on node32 at 2009-06-16 20:26:04