Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | ? | 1798 | 1798.42 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_7_60_4.opb |
MD5SUM | dc0116cc9dd2d87e5a6934d46be3ef43 |
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 | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 61 |
Total number of constraints | 15 |
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 | 14 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 60 |
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 | 1531 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 4594 |
Number of bits of the biggest sum of numbers | 13 |
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.2 - 23/05/2010 : 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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2658130-1276614149.opb 0.00/0.00 c File size is 6868 bytes. 0.00/0.00 c Highest Coefficient sum: 4594 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0 s 0.00/0.00 c Var: 61 Constr: 15 1/0/14 Lit: 837 Watch. Lit: 271 0.00/0.00 c Obj. Vars: 1 (1.63934 % 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 60 14 836 59 274 1672 0 0 0.00 0.00/0.00 c Switching off lower bounding mode. 1797.98/1798.42 c 100 60 114 5385 47 655 1840 100 9090 0.01 1797.98/1798.42 c 250 60 264 11918 45 953 2025 250 10000 0.03 1797.98/1798.42 c 476 60 490 22372 45 1397 2228 476 10577 0.04 1797.98/1798.42 c 815 60 829 38663 46 2090 2451 815 10061 0.08 1797.98/1798.42 c 1323 60 1337 63017 47 3104 2697 1323 9727 0.14 1797.98/1798.42 c 2087 60 2101 98150 46 4625 2967 2087 9034 0.23 1797.98/1798.42 c 3236 60 1718 79064 46 3861 3264 1704 8192 0.40 1797.98/1798.42 c 4957 60 1769 76174 43 3947 3591 1755 7602 0.65 1797.98/1798.42 c 7542 60 2513 113448 45 5426 3951 2499 7437 1.01 1797.98/1798.42 c 11421 60 2351 114079 48 5131 4347 2337 6871 1.66 1797.98/1798.42 c 17243 60 3740 172300 46 7875 4782 3726 6127 2.81 1797.98/1798.42 c 25980 60 2731 135504 49 5890 5261 2717 5627 4.62 1797.98/1798.42 c 39092 60 5159 248723 48 10739 5788 5145 5417 7.22 1797.98/1798.42 c 58762 60 4253 213326 50 8927 6367 4239 4836 12.15 1797.98/1798.42 c 88272 60 4709 233526 49 9845 7004 4695 4483 19.69 1797.98/1798.42 c 132542 60 6470 302478 46 13357 7705 6456 4356 30.43 1797.98/1798.42 c 198953 60 6647 325702 48 13729 8476 6633 3925 50.69 1797.98/1798.42 c 298574 60 7858 374969 47 16133 9324 7844 3665 81.45 1797.98/1798.42 c 448009 60 6842 323895 47 14107 10257 6828 3425 130.79 1797.98/1798.42 c 672167 60 8687 421574 48 17804 11283 8673 3124 215.12 1797.98/1798.42 c 1008410 60 9597 473820 49 19634 12412 9583 2736 368.57 1797.98/1798.42 c 1512781 60 7932 382487 48 16309 13654 7918 2546 594.09 1797.98/1798.42 c 2269344 60 8838 435783 49 18105 15020 8824 2156 1052.24 1797.98/1798.42 c Resources Exceeded 1797.98/1798.42 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.98/1798.42 c 23 3252827 37785 3291835 10588 525478 10574 1809 1798.00 1797.98/1798.42 s UNKNOWN 1797.98/1798.42 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-2658130-1276614149/watcher-2658130-1276614149 -o /tmp/evaluation-result-2658130-1276614149/solver-2658130-1276614149 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2658130-1276614149.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.99 0.97 0.99 3/106 2404 /proc/meminfo: memFree=1722228/2059040 swapFree=4140244/4192956 [pid=2404] ppid=2402 vsize=26412 CPUtime=0 /proc/2404/stat : 2404 (bsolo_pb10) R 2402 2404 2290 0 -1 4202496 325 0 0 0 0 0 0 0 24 0 1 0 37018810 27045888 241 1992294400 134512640 137138936 4292240544 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2404/statm: 6603 241 190 642 0 5959 0 [startup+0.082064 s] /proc/loadavg: 0.99 0.97 0.99 3/106 2404 /proc/meminfo: memFree=1722228/2059040 swapFree=4140244/4192956 [pid=2404] ppid=2402 vsize=19120 CPUtime=0.07 /proc/2404/stat : 2404 (bsolo_pb10) R 2402 2404 2290 0 -1 4202496 459 0 0 0 7 0 0 0 24 0 1 0 37018810 19578880 375 1992294400 134512640 137138936 4292240544 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2404/statm: 4780 375 190 642 0 4136 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 19120 [startup+0.101065 s] /proc/loadavg: 0.99 0.97 0.99 3/106 2404 /proc/meminfo: memFree=1722228/2059040 swapFree=4140244/4192956 [pid=2404] ppid=2402 vsize=19248 CPUtime=0.09 /proc/2404/stat : 2404 (bsolo_pb10) R 2402 2404 2290 0 -1 4202496 491 0 0 0 9 0 0 0 24 0 1 0 37018810 19709952 407 1992294400 134512640 137138936 4292240544 18446744073709551615 134618135 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2404/statm: 4812 407 190 642 0 4168 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 19248 [startup+0.301081 s] /proc/loadavg: 0.99 0.97 0.99 3/106 2404 /proc/meminfo: memFree=1722228/2059040 swapFree=4140244/4192956 [pid=2404] ppid=2402 vsize=20280 CPUtime=0.29 /proc/2404/stat : 2404 (bsolo_pb10) R 2402 2404 2290 0 -1 4202496 773 0 0 0 29 0 0 0 25 0 1 0 37018810 20766720 689 1992294400 134512640 137138936 4292240544 18446744073709551615 136505588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2404/statm: 5070 689 190 642 0 4426 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 20280 [startup+0.701113 s] /proc/loadavg: 0.99 0.97 0.99 3/106 2404 /proc/meminfo: memFree=1722228/2059040 swapFree=4140244/4192956 [pid=2404] ppid=2402 vsize=20796 CPUtime=0.69 /proc/2404/stat : 2404 (bsolo_pb10) R 2402 2404 2290 0 -1 4202496 885 0 0 0 69 0 0 0 25 0 1 0 37018810 21295104 801 1992294400 134512640 137138936 4292240544 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2404/statm: 5199 801 190 642 0 4555 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 20796 [startup+1.50118 s] /proc/loadavg: 0.99 0.97 0.99 2/107 2405 /proc/meminfo: memFree=1719492/2059040 swapFree=4140244/4192956 [pid=2404] ppid=2402 vsize=21312 CPUtime=1.49 /proc/2404/stat : 2404 (bsolo_pb10) R 2402 2404 2290 0 -1 4202496 1018 0 0 0 148 1 0 0 25 0 1 0 37018810 21823488 934 1992294400 134512640 137138936 4292240544 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2404/statm: 5328 934 190 642 0 4684 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21312 [startup+3.10131 s] /proc/loadavg: 0.99 0.97 0.99 2/107 2405 /proc/meminfo: memFree=1718624/2059040 swapFree=4140244/4192956 [pid=2404] ppid=2402 vsize=21952 CPUtime=3.09 /proc/2404/stat : 2404 (bsolo_pb10) R 2402 2404 2290 0 -1 4202496 1183 0 0 0 307 2 0 0 25 0 1 0 37018810 22478848 1099 1992294400 134512640 137138936 4292240544 18446744073709551615 134599648 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2404/statm: 5488 1099 190 642 0 4844 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21952 [startup+6.30057 s] /proc/loadavg: 0.99 0.97 0.99 2/107 2405 /proc/meminfo: memFree=1717756/2059040 swapFree=4140244/4192956 [pid=2404] ppid=2402 vsize=22456 CPUtime=6.29 /proc/2404/stat : 2404 (bsolo_pb10) R 2402 2404 2290 0 -1 4202496 1296 0 0 0 625 4 0 0 25 0 1 0 37018810 22994944 1212 1992294400 134512640 137138936 4292240544 18446744073709551615 134542547 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2404/statm: 5614 1212 190 642 0 4970 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22456 [startup+12.7011 s] /proc/loadavg: 0.99 0.97 0.99 2/107 2405 /proc/meminfo: memFree=1717136/2059040 swapFree=4140244/4192956 [pid=2404] ppid=2402 vsize=23356 CPUtime=12.69 /proc/2404/stat : 2404 (bsolo_pb10) R 2402 2404 2290 0 -1 4202496 1532 0 0 0 1261 8 0 0 25 0 1 0 37018810 23916544 1448 1992294400 134512640 137138936 4292240544 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2404/statm: 5839 1448 190 642 0 5195 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 23356 [startup+25.5011 s] /proc/loadavg: 1.07 0.99 0.99 2/107 2405 /proc/meminfo: memFree=1716392/2059040 swapFree=4140244/4192956 [pid=2404] ppid=2402 vsize=23740 CPUtime=25.49 /proc/2404/stat : 2404 (bsolo_pb10) R 2402 2404 2290 0 -1 4202496 1618 0 0 0 2534 15 0 0 25 0 1 0 37018810 24309760 1534 1992294400 134512640 137138936 4292240544 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2404/statm: 5935 1534 190 642 0 5291 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 23740 [startup+51.1012 s] /proc/loadavg: 1.04 0.99 0.99 2/107 2407 /proc/meminfo: memFree=1715772/2059040 swapFree=4140244/4192956 [pid=2404] ppid=2402 vsize=24760 CPUtime=51.08 /proc/2404/stat : 2404 (bsolo_pb10) R 2402 2404 2290 0 -1 4202496 1887 0 0 0 5082 26 0 0 25 0 1 0 37018810 25354240 1803 1992294400 134512640 137138936 4292240544 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2404/statm: 6190 1803 190 642 0 5546 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 24760 [startup+102.308 s] /proc/loadavg: 1.07 1.00 1.00 2/107 2407 /proc/meminfo: memFree=1714656/2059040 swapFree=4140244/4192956 [pid=2404] ppid=2402 vsize=25368 CPUtime=102.27 /proc/2404/stat : 2404 (bsolo_pb10) R 2402 2404 2290 0 -1 4202496 2025 0 0 0 10178 49 0 0 25 0 1 0 37018810 25976832 1941 1992294400 134512640 137138936 4292240544 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2404/statm: 6342 1941 190 642 0 5698 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 25368 [startup+162.301 s] /proc/loadavg: 1.11 1.03 1.01 2/107 2409 /proc/meminfo: memFree=1713788/2059040 swapFree=4140244/4192956 [pid=2404] ppid=2402 vsize=26116 CPUtime=162.26 /proc/2404/stat : 2404 (bsolo_pb10) R 2402 2404 2290 0 -1 4202496 2228 0 0 0 16154 72 0 0 25 0 1 0 37018810 26742784 2144 1992294400 134512640 137138936 4292240544 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2404/statm: 6529 2144 190 642 0 5885 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 26116 [startup+222.301 s] /proc/loadavg: 1.04 1.02 1.00 2/107 2411 /proc/meminfo: memFree=1712920/2059040 swapFree=4140244/4192956 [pid=2404] ppid=2402 vsize=27012 CPUtime=222.24 /proc/2404/stat : 2404 (bsolo_pb10) R 2402 2404 2290 0 -1 4202496 2453 0 0 0 22129 95 0 0 25 0 1 0 37018810 27660288 2369 1992294400 134512640 137138936 4292240544 18446744073709551615 136501684 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2404/statm: 6753 2369 190 642 0 6109 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 27012 [startup+282.301 s] /proc/loadavg: 1.01 1.02 1.00 2/107 2413 /proc/meminfo: memFree=1712920/2059040 swapFree=4140244/4192956 [pid=2404] ppid=2402 vsize=27096 CPUtime=282.22 /proc/2404/stat : 2404 (bsolo_pb10) R 2402 2404 2290 0 -1 4202496 2467 0 0 0 28106 116 0 0 25 0 1 0 37018810 27746304 2383 1992294400 134512640 137138936 4292240544 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2404/statm: 6774 2383 190 642 0 6130 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 27096 [startup+342.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 2413 /proc/meminfo: memFree=1712920/2059040 swapFree=4140244/4192956 [pid=2404] ppid=2402 vsize=27096 CPUtime=342.21 /proc/2404/stat : 2404 (bsolo_pb10) R 2402 2404 2290 0 -1 4202496 2467 0 0 0 34084 137 0 0 25 0 1 0 37018810 27746304 2383 1992294400 134512640 137138936 4292240544 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2404/statm: 6774 2383 190 642 0 6130 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 27096 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2415 /proc/meminfo: memFree=1712176/2059040 swapFree=4140244/4192956 [pid=2404] ppid=2402 vsize=27736 CPUtime=402.2 /proc/2404/stat : 2404 (bsolo_pb10) R 2402 2404 2290 0 -1 4202496 2619 0 0 0 40062 158 0 0 25 0 1 0 37018810 28401664 2535 1992294400 134512640 137138936 4292240544 18446744073709551615 134543082 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2404/statm: 6934 2535 190 642 0 6290 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 27736 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2417 /proc/meminfo: memFree=1712176/2059040 swapFree=4140244/4192956 [pid=2404] ppid=2402 vsize=27824 CPUtime=462.19 /proc/2404/stat : 2404 (bsolo_pb10) R 2402 2404 2290 0 -1 4202496 2642 0 0 0 46039 180 0 0 25 0 1 0 37018810 28491776 2558 1992294400 134512640 137138936 4292240544 18446744073709551615 134540742 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2404/statm: 6956 2558 190 642 0 6312 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 27824 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2419 /proc/meminfo: memFree=1712052/2059040 swapFree=4140244/4192956 [pid=2404] ppid=2402 vsize=27824 CPUtime=522.17 /proc/2404/stat : 2404 (bsolo_pb10) R 2402 2404 2290 0 -1 4202496 2649 0 0 0 52018 199 0 0 25 0 1 0 37018810 28491776 2565 1992294400 134512640 137138936 4292240544 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2404/statm: 6956 2565 190 642 0 6312 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 27824 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2421 /proc/meminfo: memFree=1712052/2059040 swapFree=4140244/4192956 [pid=2404] ppid=2402 vsize=27820 CPUtime=582.16 /proc/2404/stat : 2404 (bsolo_pb10) R 2402 2404 2290 0 -1 4202496 2649 0 0 0 57994 222 0 0 25 0 1 0 37018810 28487680 2565 1992294400 134512640 137138936 4292240544 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2404/statm: 6955 2565 190 642 0 6311 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 27820 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2421 /proc/meminfo: memFree=1710936/2059040 swapFree=4140244/4192956 [pid=2404] ppid=2402 vsize=28828 CPUtime=642.15 /proc/2404/stat : 2404 (bsolo_pb10) R 2402 2404 2290 0 -1 4202496 2895 0 0 0 63973 242 0 0 25 0 1 0 37018810 29519872 2811 1992294400 134512640 137138936 4292240544 18446744073709551615 134575759 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2404/statm: 7207 2811 190 642 0 6563 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 28828 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1709696/2059040 swapFree=4140244/4192956 [pid=2404] ppid=2402 vsize=29712 CPUtime=1122.03 /proc/2404/stat : 2404 (bsolo_pb10) R 2402 2404 2290 0 -1 4202496 3131 0 0 0 111827 376 0 0 25 0 1 0 37018810 30425088 3047 1992294400 134512640 137138936 4292240544 18446744073709551615 134542544 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2404/statm: 7428 3047 190 642 0 6784 0 Current children cumulated CPU time (s) 1122.03 Current children cumulated vsize (KiB) 29712 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2440 /proc/meminfo: memFree=1709696/2059040 swapFree=4140244/4192956 [pid=2404] ppid=2402 vsize=29712 CPUtime=1182.02 /proc/2404/stat : 2404 (bsolo_pb10) R 2402 2404 2290 0 -1 4202496 3131 0 0 0 117807 395 0 0 25 0 1 0 37018810 30425088 3047 1992294400 134512640 137138936 4292240544 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2404/statm: 7428 3047 190 642 0 6784 0 Current children cumulated CPU time (s) 1182.02 Current children cumulated vsize (KiB) 29712 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2440 /proc/meminfo: memFree=1709572/2059040 swapFree=4140244/4192956 [pid=2404] ppid=2402 vsize=29712 CPUtime=1242 /proc/2404/stat : 2404 (bsolo_pb10) R 2402 2404 2290 0 -1 4202496 3131 0 0 0 123791 409 0 0 25 0 1 0 37018810 30425088 3047 1992294400 134512640 137138936 4292240544 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2404/statm: 7428 3047 190 642 0 6784 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 29712 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2442 /proc/meminfo: memFree=1709448/2059040 swapFree=4140244/4192956 [pid=2404] ppid=2402 vsize=29824 CPUtime=1301.99 /proc/2404/stat : 2404 (bsolo_pb10) R 2402 2404 2290 0 -1 4202496 3143 0 0 0 129775 424 0 0 25 0 1 0 37018810 30539776 3058 1992294400 134512640 137138936 4292240544 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2404/statm: 7456 3058 190 642 0 6812 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 29824 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2444 /proc/meminfo: memFree=1709448/2059040 swapFree=4140244/4192956 [pid=2404] ppid=2402 vsize=29920 CPUtime=1361.97 /proc/2404/stat : 2404 (bsolo_pb10) R 2402 2404 2290 0 -1 4202496 3170 0 0 0 135756 441 0 0 25 0 1 0 37018810 30638080 3085 1992294400 134512640 137138936 4292240544 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2404/statm: 7480 3085 190 642 0 6836 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 29920 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2446 /proc/meminfo: memFree=1709448/2059040 swapFree=4140244/4192956 [pid=2404] ppid=2402 vsize=29920 CPUtime=1421.97 /proc/2404/stat : 2404 (bsolo_pb10) R 2402 2404 2290 0 -1 4202496 3170 0 0 0 141739 458 0 0 25 0 1 0 37018810 30638080 3085 1992294400 134512640 137138936 4292240544 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2404/statm: 7480 3085 190 642 0 6836 0 Current children cumulated CPU time (s) 1421.97 Current children cumulated vsize (KiB) 29920 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2448 /proc/meminfo: memFree=1709448/2059040 swapFree=4140244/4192956 [pid=2404] ppid=2402 vsize=29916 CPUtime=1481.94 /proc/2404/stat : 2404 (bsolo_pb10) R 2402 2404 2290 0 -1 4202496 3170 0 0 0 147721 473 0 0 25 0 1 0 37018810 30633984 3085 1992294400 134512640 137138936 4292240544 18446744073709551615 134573907 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2404/statm: 7479 3085 190 642 0 6835 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 29916 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2448 /proc/meminfo: memFree=1709448/2059040 swapFree=4140244/4192956 [pid=2404] ppid=2402 vsize=29916 CPUtime=1541.93 /proc/2404/stat : 2404 (bsolo_pb10) R 2402 2404 2290 0 -1 4202496 3170 0 0 0 153705 488 0 0 25 0 1 0 37018810 30633984 3085 1992294400 134512640 137138936 4292240544 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2404/statm: 7479 3085 190 642 0 6835 0 Current children cumulated CPU time (s) 1541.93 Current children cumulated vsize (KiB) 29916 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2450 /proc/meminfo: memFree=1709448/2059040 swapFree=4140244/4192956 [pid=2404] ppid=2402 vsize=29916 CPUtime=1601.92 /proc/2404/stat : 2404 (bsolo_pb10) R 2402 2404 2290 0 -1 4202496 3170 0 0 0 159689 503 0 0 25 0 1 0 37018810 30633984 3085 1992294400 134512640 137138936 4292240544 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2404/statm: 7479 3085 190 642 0 6835 0 Current children cumulated CPU time (s) 1601.92 Current children cumulated vsize (KiB) 29916 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2452 /proc/meminfo: memFree=1709324/2059040 swapFree=4140244/4192956 [pid=2404] ppid=2402 vsize=29916 CPUtime=1661.91 /proc/2404/stat : 2404 (bsolo_pb10) R 2402 2404 2290 0 -1 4202496 3170 0 0 0 165670 521 0 0 25 0 1 0 37018810 30633984 3085 1992294400 134512640 137138936 4292240544 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2404/statm: 7479 3085 190 642 0 6835 0 Current children cumulated CPU time (s) 1661.91 Current children cumulated vsize (KiB) 29916 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2454 /proc/meminfo: memFree=1709324/2059040 swapFree=4140244/4192956 [pid=2404] ppid=2402 vsize=29912 CPUtime=1721.89 /proc/2404/stat : 2404 (bsolo_pb10) R 2402 2404 2290 0 -1 4202496 3170 0 0 0 171652 537 0 0 25 0 1 0 37018810 30629888 3085 1992294400 134512640 137138936 4292240544 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2404/statm: 7478 3085 190 642 0 6834 0 Current children cumulated CPU time (s) 1721.89 Current children cumulated vsize (KiB) 29912 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2456 /proc/meminfo: memFree=1709076/2059040 swapFree=4140244/4192956 [pid=2404] ppid=2402 vsize=29908 CPUtime=1781.88 /proc/2404/stat : 2404 (bsolo_pb10) R 2402 2404 2290 0 -1 4202496 3170 0 0 0 177634 554 0 0 25 0 1 0 37018810 30625792 3085 1992294400 134512640 137138936 4292240544 18446744073709551615 134542292 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2404/statm: 7477 3085 190 642 0 6833 0 Current children cumulated CPU time (s) 1781.88 Current children cumulated vsize (KiB) 29908 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2456 /proc/meminfo: memFree=1709076/2059040 swapFree=4140244/4192956 [pid=2404] ppid=2402 vsize=29908 CPUtime=1791.48 /proc/2404/stat : 2404 (bsolo_pb10) R 2402 2404 2290 0 -1 4202496 3170 0 0 0 178592 556 0 0 25 0 1 0 37018810 30625792 3085 1992294400 134512640 137138936 4292240544 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2404/statm: 7477 3085 190 642 0 6833 0 Current children cumulated CPU time (s) 1791.48 Current children cumulated vsize (KiB) 29908 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2456 /proc/meminfo: memFree=1709076/2059040 swapFree=4140244/4192956 [pid=2404] ppid=2402 vsize=29908 CPUtime=1794.68 /proc/2404/stat : 2404 (bsolo_pb10) R 2402 2404 2290 0 -1 4202496 3170 0 0 0 178912 556 0 0 25 0 1 0 37018810 30625792 3085 1992294400 134512640 137138936 4292240544 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2404/statm: 7477 3085 190 642 0 6833 0 Current children cumulated CPU time (s) 1794.68 Current children cumulated vsize (KiB) 29908 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2456 /proc/meminfo: memFree=1709076/2059040 swapFree=4140244/4192956 [pid=2404] ppid=2402 vsize=29908 CPUtime=1796.27 /proc/2404/stat : 2404 (bsolo_pb10) R 2402 2404 2290 0 -1 4202496 3170 0 0 0 179070 557 0 0 25 0 1 0 37018810 30625792 3085 1992294400 134512640 137138936 4292240544 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2404/statm: 7477 3085 190 642 0 6833 0 Current children cumulated CPU time (s) 1796.27 Current children cumulated vsize (KiB) 29908 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2456 /proc/meminfo: memFree=1709076/2059040 swapFree=4140244/4192956 [pid=2404] ppid=2402 vsize=29908 CPUtime=1797.07 /proc/2404/stat : 2404 (bsolo_pb10) R 2402 2404 2290 0 -1 4202496 3170 0 0 0 179150 557 0 0 25 0 1 0 37018810 30625792 3085 1992294400 134512640 137138936 4292240544 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2404/statm: 7477 3085 190 642 0 6833 0 Current children cumulated CPU time (s) 1797.07 Current children cumulated vsize (KiB) 29908 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2456 /proc/meminfo: memFree=1709076/2059040 swapFree=4140244/4192956 [pid=2404] ppid=2402 vsize=29908 CPUtime=1797.47 /proc/2404/stat : 2404 (bsolo_pb10) R 2402 2404 2290 0 -1 4202496 3170 0 0 0 179190 557 0 0 25 0 1 0 37018810 30625792 3085 1992294400 134512640 137138936 4292240544 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2404/statm: 7477 3085 190 642 0 6833 0 Current children cumulated CPU time (s) 1797.47 Current children cumulated vsize (KiB) 29908 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2456 /proc/meminfo: memFree=1709076/2059040 swapFree=4140244/4192956 [pid=2404] ppid=2402 vsize=29908 CPUtime=1797.87 /proc/2404/stat : 2404 (bsolo_pb10) R 2402 2404 2290 0 -1 4202496 3170 0 0 0 179230 557 0 0 25 0 1 0 37018810 30625792 3085 1992294400 134512640 137138936 4292240544 18446744073709551615 136511183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2404/statm: 7477 3085 190 642 0 6833 0 Current children cumulated CPU time (s) 1797.87 Current children cumulated vsize (KiB) 29908 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2456 /proc/meminfo: memFree=1709076/2059040 swapFree=4140244/4192956 [pid=2404] ppid=2402 vsize=29908 CPUtime=1797.98 /proc/2404/stat : 2404 (bsolo_pb10) R 2402 2404 2290 0 -1 4202496 3170 0 0 0 179241 557 0 0 25 0 1 0 37018810 30625792 3085 1992294400 134512640 137138936 4292240544 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2404/statm: 7477 3085 190 642 0 6833 0 Current children cumulated CPU time (s) 1797.98 Current children cumulated vsize (KiB) 29908 Child status: 0 Real time (s): 1798.42 CPU time (s): 1798 CPU user time (s): 1792.43 CPU system time (s): 5.57615 CPU usage (%): 99.9767 Max. virtual memory (cumulated for all children) (KiB): 29932 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.43 system time used= 5.57615 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3170 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= 1 involuntary context switches= 7677 runsolver used 2.99055 second user time and 8.47071 second system time The end
Begin job on node003 at 2010-06-15 17:02:29 IDJOB=2658130 IDBENCH=2917 IDSOLVER=1163 FILE ID=node003/2658130-1276614149 PBS_JOBID= 11172292 Free space on /tmp= 62580 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_7_60_4.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2658130-1276614149/watcher-2658130-1276614149 -o /tmp/evaluation-result-2658130-1276614149/solver-2658130-1276614149 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2658130-1276614149.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= dc0116cc9dd2d87e5a6934d46be3ef43 RANDOM SEED=1599646566 node003.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.251 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.50 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.251 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1722756 kB Buffers: 116916 kB Cached: 137696 kB SwapCached: 6132 kB Active: 97088 kB Inactive: 170784 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1722756 kB SwapTotal: 4192956 kB SwapFree: 4140244 kB Dirty: 3984 kB Writeback: 0 kB AnonPages: 11620 kB Mapped: 13172 kB Slab: 46544 kB PageTables: 4000 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183352 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62576 MiB End job on node003 at 2010-06-15 17:32:27