Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | ? | 1798.02 | 1798.51 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=509-P1=457-P2=223-P3=127-P4=431-P5=67-P6=17-P7=479-B.opb |
MD5SUM | 0f650891245dab338bc3d2f3a3dc10c7 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 16.7774 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 189 |
Total number of constraints | 15 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 15 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 567 |
Sum of products size (including duplicates) | 1134 |
Number of different products | 567 |
Sum of products size | 1134 |
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-2670656-1276704045.opb 0.00/0.00 c File size is 42576 bytes. 0.00/0.00 c Highest Coefficient sum: 523264 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.008 s 0.00/0.00 c Var: 756 Constr: 1156 567/0/589 Lit: 4842 Watch. Lit: 2963 0.00/0.00 c Obj. Vars: 9 (1.19048 % of total variables) 0.00/0.01 c Pre-processing Time: 0.016 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 756 1156 4842 4 4165 6471 0 0 0.02 0.00/0.01 c Switching off lower bounding mode. 1797.91/1798.50 c 101 756 1257 11549 9 4331 7119 101 3607 0.03 1797.91/1798.50 c 252 756 1408 24954 17 4473 7831 252 5040 0.05 1797.91/1798.50 c 477 756 1633 44169 27 4884 8615 477 5888 0.08 1797.91/1798.50 c 815 756 1971 73280 37 5567 9477 815 6367 0.13 1797.91/1798.50 c 1324 756 2480 112350 45 6642 10425 1324 6365 0.21 1797.91/1798.50 c 2087 756 3243 167215 51 8157 11468 2087 5671 0.37 1797.91/1798.50 c 3234 756 4390 246387 56 10435 12615 3234 4700 0.69 1797.91/1798.50 c 4955 756 6111 395658 64 13862 13877 4955 4533 1.09 1797.91/1798.50 c 7539 756 8695 590104 67 18998 15265 7539 3562 2.12 1797.91/1798.50 c 11419 756 12575 907670 72 26790 16792 11419 3020 3.78 1797.91/1798.50 c 17242 756 9719 719162 73 21081 18472 8563 2018 8.54 1797.91/1798.50 c 25980 756 18457 1434670 77 38430 20320 17301 2244 11.58 1797.91/1798.50 c 39091 756 21069 1654642 78 43741 22353 19913 2168 18.02 1797.91/1798.50 c 58761 756 16858 1288154 76 35395 24589 15702 1911 30.74 1797.91/1798.50 c 88272 756 18019 1431080 79 37780 27048 16863 1359 64.93 1797.91/1798.50 c 132542 756 12528 935976 74 26829 29753 11372 1005 131.77 1797.91/1798.50 c 198952 756 21290 1697075 79 44259 32729 20134 1010 196.93 1797.91/1798.50 c 298572 756 32962 2630423 79 67625 36002 31806 925 322.70 1797.91/1798.50 c 448008 753 32962 2747663 83 67494 39603 31806 784 571.26 1797.91/1798.50 c 672166 753 32960 2805392 85 67589 43564 31804 609 1102.22 1797.91/1798.50 c Resources Exceeded 1797.91/1798.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.91/1798.50 c 20 999369 9383 1025826 35119 2877263 33963 555 1798.01 1797.91/1798.50 s UNKNOWN 1797.91/1798.50 c Total time: 1798.01 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-2670656-1276704045/watcher-2670656-1276704045 -o /tmp/evaluation-result-2670656-1276704045/solver-2670656-1276704045 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670656-1276704045.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: 1.00 1.00 0.94 3/106 18540 /proc/meminfo: memFree=1500972/2059040 swapFree=4192956/4192956 [pid=18540] ppid=18538 vsize=10840 CPUtime=0 /proc/18540/stat : 18540 (bsolo_pb10) R 18538 18540 17996 0 -1 4202496 338 0 0 0 0 0 0 0 20 0 1 0 11695201 11100160 257 1992294400 134512640 137138936 4287632880 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18540/statm: 2710 257 176 642 0 2055 0 [startup+0.0933871 s] /proc/loadavg: 1.00 1.00 0.94 3/106 18540 /proc/meminfo: memFree=1500972/2059040 swapFree=4192956/4192956 [pid=18540] ppid=18538 vsize=11692 CPUtime=0.08 /proc/18540/stat : 18540 (bsolo_pb10) R 18538 18540 17996 0 -1 4202496 573 0 0 0 8 0 0 0 20 0 1 0 11695201 11972608 481 1992294400 134512640 137138936 4287632880 18446744073709551615 134573821 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18540/statm: 2923 481 190 642 0 2279 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 11692 [startup+0.101388 s] /proc/loadavg: 1.00 1.00 0.94 3/106 18540 /proc/meminfo: memFree=1500972/2059040 swapFree=4192956/4192956 [pid=18540] ppid=18538 vsize=11812 CPUtime=0.09 /proc/18540/stat : 18540 (bsolo_pb10) R 18538 18540 17996 0 -1 4202496 591 0 0 0 9 0 0 0 20 0 1 0 11695201 12095488 499 1992294400 134512640 137138936 4287632880 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18540/statm: 2953 499 190 642 0 2309 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11812 [startup+0.30141 s] /proc/loadavg: 1.00 1.00 0.94 3/106 18540 /proc/meminfo: memFree=1500972/2059040 swapFree=4192956/4192956 [pid=18540] ppid=18538 vsize=13064 CPUtime=0.29 /proc/18540/stat : 18540 (bsolo_pb10) R 18538 18540 17996 0 -1 4202496 910 0 0 0 29 0 0 0 20 0 1 0 11695201 13377536 818 1992294400 134512640 137138936 4287632880 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18540/statm: 3266 818 190 642 0 2622 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13064 [startup+0.701454 s] /proc/loadavg: 1.00 1.00 0.94 3/106 18540 /proc/meminfo: memFree=1500972/2059040 swapFree=4192956/4192956 [pid=18540] ppid=18538 vsize=14568 CPUtime=0.7 /proc/18540/stat : 18540 (bsolo_pb10) R 18538 18540 17996 0 -1 4202496 1281 0 0 0 69 1 0 0 20 0 1 0 11695201 14917632 1189 1992294400 134512640 137138936 4287632880 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18540/statm: 3642 1189 190 642 0 2998 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 14568 [startup+1.50054 s] /proc/loadavg: 1.00 1.00 0.94 2/107 18541 /proc/meminfo: memFree=1495384/2059040 swapFree=4192956/4192956 [pid=18540] ppid=18538 vsize=17840 CPUtime=1.49 /proc/18540/stat : 18540 (bsolo_pb10) R 18538 18540 17996 0 -1 4202496 2104 0 0 0 147 2 0 0 22 0 1 0 11695201 18268160 2012 1992294400 134512640 137138936 4287632880 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18540/statm: 4460 2012 190 642 0 3816 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17840 [startup+3.10072 s] /proc/loadavg: 1.00 1.00 0.94 2/107 18541 /proc/meminfo: memFree=1492036/2059040 swapFree=4192956/4192956 [pid=18540] ppid=18538 vsize=21468 CPUtime=3.09 /proc/18540/stat : 18540 (bsolo_pb10) R 18538 18540 17996 0 -1 4202496 3008 0 0 0 306 3 0 0 25 0 1 0 11695201 21983232 2916 1992294400 134512640 137138936 4287632880 18446744073709551615 134542811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18540/statm: 5367 2916 190 642 0 4723 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21468 [startup+6.30107 s] /proc/loadavg: 1.00 1.00 0.94 2/107 18541 /proc/meminfo: memFree=1484224/2059040 swapFree=4192956/4192956 [pid=18540] ppid=18538 vsize=27952 CPUtime=6.29 /proc/18540/stat : 18540 (bsolo_pb10) R 18538 18540 17996 0 -1 4202496 4645 0 0 0 625 4 0 0 25 0 1 0 11695201 28622848 4553 1992294400 134512640 137138936 4287632880 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18540/statm: 6988 4553 190 642 0 6344 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27952 [startup+12.7008 s] /proc/loadavg: 1.00 1.00 0.94 2/107 18541 /proc/meminfo: memFree=1477900/2059040 swapFree=4192956/4192956 [pid=18540] ppid=18538 vsize=35292 CPUtime=12.69 /proc/18540/stat : 18540 (bsolo_pb10) R 18538 18540 17996 0 -1 4202496 6462 0 0 0 1262 7 0 0 25 0 1 0 11695201 36139008 6370 1992294400 134512640 137138936 4287632880 18446744073709551615 136504091 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18540/statm: 8823 6370 190 642 0 8179 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 35292 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 0.94 2/107 18550 /proc/meminfo: memFree=1473932/2059040 swapFree=4192956/4192956 [pid=18540] ppid=18538 vsize=37092 CPUtime=25.46 /proc/18540/stat : 18540 (bsolo_pb10) R 18538 18540 17996 0 -1 4202496 6930 0 0 0 2535 11 0 0 25 0 1 0 11695201 37982208 6838 1992294400 134512640 137138936 4287632880 18446744073709551615 134618964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18540/statm: 9273 6838 190 642 0 8629 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 37092 [startup+51.101 s] /proc/loadavg: 1.00 1.00 0.94 2/107 18550 /proc/meminfo: memFree=1470956/2059040 swapFree=4192956/4192956 [pid=18540] ppid=18538 vsize=40040 CPUtime=51.06 /proc/18540/stat : 18540 (bsolo_pb10) R 18538 18540 17996 0 -1 4202496 7670 0 0 0 5087 19 0 0 25 0 1 0 11695201 41000960 7578 1992294400 134512640 137138936 4287632880 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18540/statm: 10010 7578 190 642 0 9366 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 40040 [startup+102.309 s] /proc/loadavg: 1.00 1.00 0.94 2/107 18552 /proc/meminfo: memFree=1467856/2059040 swapFree=4192956/4192956 [pid=18540] ppid=18538 vsize=43000 CPUtime=102.25 /proc/18540/stat : 18540 (bsolo_pb10) R 18538 18540 17996 0 -1 4202496 8412 0 0 0 10194 31 0 0 25 0 1 0 11695201 44032000 8320 1992294400 134512640 137138936 4287632880 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18540/statm: 10750 8320 190 642 0 10106 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 43000 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 18554 /proc/meminfo: memFree=1464508/2059040 swapFree=4192956/4192956 [pid=18540] ppid=18538 vsize=46440 CPUtime=162.23 /proc/18540/stat : 18540 (bsolo_pb10) R 18538 18540 17996 0 -1 4202496 9275 0 0 0 16178 45 0 0 25 0 1 0 11695201 47554560 9183 1992294400 134512640 137138936 4287632880 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18540/statm: 11610 9183 190 642 0 10966 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 46440 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 18556 /proc/meminfo: memFree=1460416/2059040 swapFree=4192956/4192956 [pid=18540] ppid=18538 vsize=50408 CPUtime=222.22 /proc/18540/stat : 18540 (bsolo_pb10) R 18538 18540 17996 0 -1 4202496 10302 0 0 0 22162 60 0 0 25 0 1 0 11695201 51617792 10172 1992294400 134512640 137138936 4287632880 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18540/statm: 12602 10172 190 642 0 11958 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 50408 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.94 2/107 18558 /proc/meminfo: memFree=1453596/2059040 swapFree=4192956/4192956 [pid=18540] ppid=18538 vsize=57400 CPUtime=282.2 /proc/18540/stat : 18540 (bsolo_pb10) R 18538 18540 17996 0 -1 4202496 12023 0 0 0 28149 71 0 0 25 0 1 0 11695201 58777600 11893 1992294400 134512640 137138936 4287632880 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18540/statm: 14350 11893 190 642 0 13706 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 57400 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 18558 /proc/meminfo: memFree=1453224/2059040 swapFree=4192956/4192956 [pid=18540] ppid=18538 vsize=57504 CPUtime=342.18 /proc/18540/stat : 18540 (bsolo_pb10) R 18538 18540 17996 0 -1 4202496 12086 0 0 0 34136 82 0 0 25 0 1 0 11695201 58884096 11951 1992294400 134512640 137138936 4287632880 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18540/statm: 14376 11951 190 642 0 13732 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 57504 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.94 2/107 18560 /proc/meminfo: memFree=1453224/2059040 swapFree=4192956/4192956 [pid=18540] ppid=18538 vsize=57504 CPUtime=402.17 /proc/18540/stat : 18540 (bsolo_pb10) R 18538 18540 17996 0 -1 4202496 12086 0 0 0 40124 93 0 0 25 0 1 0 11695201 58884096 11951 1992294400 134512640 137138936 4287632880 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18540/statm: 14376 11951 190 642 0 13732 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 57504 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 18562 /proc/meminfo: memFree=1453224/2059040 swapFree=4192956/4192956 [pid=18540] ppid=18538 vsize=57504 CPUtime=462.15 /proc/18540/stat : 18540 (bsolo_pb10) R 18538 18540 17996 0 -1 4202496 12086 0 0 0 46109 106 0 0 25 0 1 0 11695201 58884096 11951 1992294400 134512640 137138936 4287632880 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18540/statm: 14376 11951 190 642 0 13732 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 57504 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 18564 /proc/meminfo: memFree=1453224/2059040 swapFree=4192956/4192956 [pid=18540] ppid=18538 vsize=57504 CPUtime=522.13 /proc/18540/stat : 18540 (bsolo_pb10) R 18538 18540 17996 0 -1 4202496 12086 0 0 0 52094 119 0 0 25 0 1 0 11695201 58884096 11951 1992294400 134512640 137138936 4287632880 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18540/statm: 14376 11951 190 642 0 13732 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 57504 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.94 2/107 18566 /proc/meminfo: memFree=1452108/2059040 swapFree=4192956/4192956 [pid=18540] ppid=18538 vsize=58968 CPUtime=582.12 /proc/18540/stat : 18540 (bsolo_pb10) R 18538 18540 17996 0 -1 4202496 12447 0 0 0 58077 135 0 0 25 0 1 0 11695201 60383232 12312 1992294400 134512640 137138936 4287632880 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18540/statm: 14742 12312 190 642 0 14098 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 58968 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 18566 /proc/meminfo: memFree=1451364/2059040 swapFree=4192956/4192956 [pid=18540] ppid=18538 vsize=59232 CPUtime=642.11 /proc/18540/stat : 18540 (bsolo_pb10) R 18538 18540 17996 0 -1 4202496 12525 0 0 0 64068 143 0 0 25 0 1 0 11695201 60653568 12351 1992294400 134512640 137138936 4287632880 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18540/statm: 14808 12351 190 642 0 14164 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 59232 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1449380/2059040 swapFree=4192956/4192956 [pid=18540] ppid=18538 vsize=60952 CPUtime=1062 /proc/18540/stat : 18540 (bsolo_pb10) R 18538 18540 17996 0 -1 4202496 13023 0 0 0 105990 210 0 0 25 0 1 0 11695201 62414848 12809 1992294400 134512640 137138936 4287632880 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18540/statm: 15238 12809 190 642 0 14594 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 60952 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 18580 /proc/meminfo: memFree=1445784/2059040 swapFree=4192956/4192956 [pid=18540] ppid=18538 vsize=64584 CPUtime=1121.97 /proc/18540/stat : 18540 (bsolo_pb10) R 18538 18540 17996 0 -1 4202496 13964 0 0 0 111974 223 0 0 25 0 1 0 11695201 66134016 13707 1992294400 134512640 137138936 4287632880 18446744073709551615 136501718 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18540/statm: 16146 13707 190 642 0 15502 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 64584 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 18582 /proc/meminfo: memFree=1445660/2059040 swapFree=4192956/4192956 [pid=18540] ppid=18538 vsize=64584 CPUtime=1181.97 /proc/18540/stat : 18540 (bsolo_pb10) R 18538 18540 17996 0 -1 4202496 13964 0 0 0 117965 232 0 0 25 0 1 0 11695201 66134016 13707 1992294400 134512640 137138936 4287632880 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18540/statm: 16146 13707 190 642 0 15502 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 64584 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 18582 /proc/meminfo: memFree=1445536/2059040 swapFree=4192956/4192956 [pid=18540] ppid=18538 vsize=64584 CPUtime=1241.94 /proc/18540/stat : 18540 (bsolo_pb10) R 18538 18540 17996 0 -1 4202496 13964 0 0 0 123956 238 0 0 25 0 1 0 11695201 66134016 13707 1992294400 134512640 137138936 4287632880 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18540/statm: 16146 13707 190 642 0 15502 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 64584 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 18584 /proc/meminfo: memFree=1445536/2059040 swapFree=4192956/4192956 [pid=18540] ppid=18538 vsize=64584 CPUtime=1301.94 /proc/18540/stat : 18540 (bsolo_pb10) R 18538 18540 17996 0 -1 4202496 13964 0 0 0 129947 247 0 0 25 0 1 0 11695201 66134016 13707 1992294400 134512640 137138936 4287632880 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18540/statm: 16146 13707 190 642 0 15502 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 64584 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 18586 /proc/meminfo: memFree=1445412/2059040 swapFree=4192956/4192956 [pid=18540] ppid=18538 vsize=64584 CPUtime=1361.91 /proc/18540/stat : 18540 (bsolo_pb10) R 18538 18540 17996 0 -1 4202496 13964 0 0 0 135932 259 0 0 25 0 1 0 11695201 66134016 13707 1992294400 134512640 137138936 4287632880 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18540/statm: 16146 13707 190 642 0 15502 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 64584 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.94 2/107 18588 /proc/meminfo: memFree=1444172/2059040 swapFree=4192956/4192956 [pid=18540] ppid=18538 vsize=65908 CPUtime=1421.9 /proc/18540/stat : 18540 (bsolo_pb10) R 18538 18540 17996 0 -1 4202496 14338 0 0 0 141921 269 0 0 25 0 1 0 11695201 67489792 14037 1992294400 134512640 137138936 4287632880 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18540/statm: 16477 14037 190 642 0 15833 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 65908 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 18590 /proc/meminfo: memFree=1444172/2059040 swapFree=4192956/4192956 [pid=18540] ppid=18538 vsize=65908 CPUtime=1481.88 /proc/18540/stat : 18540 (bsolo_pb10) R 18538 18540 17996 0 -1 4202496 14338 0 0 0 147907 281 0 0 25 0 1 0 11695201 67489792 14037 1992294400 134512640 137138936 4287632880 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18540/statm: 16477 14037 190 642 0 15833 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 65908 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 18590 /proc/meminfo: memFree=1441568/2059040 swapFree=4192956/4192956 [pid=18540] ppid=18538 vsize=68712 CPUtime=1541.87 /proc/18540/stat : 18540 (bsolo_pb10) R 18538 18540 17996 0 -1 4202496 15022 0 0 0 153895 292 0 0 25 0 1 0 11695201 70361088 14721 1992294400 134512640 137138936 4287632880 18446744073709551615 134542808 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18540/statm: 17178 14721 190 642 0 16534 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 68712 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 18592 /proc/meminfo: memFree=1441568/2059040 swapFree=4192956/4192956 [pid=18540] ppid=18538 vsize=68712 CPUtime=1601.85 /proc/18540/stat : 18540 (bsolo_pb10) R 18538 18540 17996 0 -1 4202496 15022 0 0 0 159880 305 0 0 25 0 1 0 11695201 70361088 14721 1992294400 134512640 137138936 4287632880 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18540/statm: 17178 14721 190 642 0 16534 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 68712 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 18594 /proc/meminfo: memFree=1441568/2059040 swapFree=4192956/4192956 [pid=18540] ppid=18538 vsize=68712 CPUtime=1661.84 /proc/18540/stat : 18540 (bsolo_pb10) R 18538 18540 17996 0 -1 4202496 15022 0 0 0 165869 315 0 0 25 0 1 0 11695201 70361088 14721 1992294400 134512640 137138936 4287632880 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18540/statm: 17178 14721 190 642 0 16534 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 68712 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 18596 /proc/meminfo: memFree=1441568/2059040 swapFree=4192956/4192956 [pid=18540] ppid=18538 vsize=68712 CPUtime=1721.82 /proc/18540/stat : 18540 (bsolo_pb10) R 18538 18540 17996 0 -1 4202496 15022 0 0 0 171858 324 0 0 25 0 1 0 11695201 70361088 14721 1992294400 134512640 137138936 4287632880 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18540/statm: 17178 14721 190 642 0 16534 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 68712 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 18598 /proc/meminfo: memFree=1441320/2059040 swapFree=4192956/4192956 [pid=18540] ppid=18538 vsize=68712 CPUtime=1781.8 /proc/18540/stat : 18540 (bsolo_pb10) R 18538 18540 17996 0 -1 4202496 15022 0 0 0 177846 334 0 0 25 0 1 0 11695201 70361088 14721 1992294400 134512640 137138936 4287632880 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18540/statm: 17178 14721 190 642 0 16534 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 68712 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.94 2/107 18598 /proc/meminfo: memFree=1441320/2059040 swapFree=4192956/4192956 [pid=18540] ppid=18538 vsize=68712 CPUtime=1791.41 /proc/18540/stat : 18540 (bsolo_pb10) R 18538 18540 17996 0 -1 4202496 15022 0 0 0 178805 336 0 0 25 0 1 0 11695201 70361088 14721 1992294400 134512640 137138936 4287632880 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18540/statm: 17178 14721 190 642 0 16534 0 Current children cumulated CPU time (s) 1791.41 Current children cumulated vsize (KiB) 68712 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.94 2/107 18598 /proc/meminfo: memFree=1441320/2059040 swapFree=4192956/4192956 [pid=18540] ppid=18538 vsize=68712 CPUtime=1794.61 /proc/18540/stat : 18540 (bsolo_pb10) R 18538 18540 17996 0 -1 4202496 15022 0 0 0 179125 336 0 0 25 0 1 0 11695201 70361088 14721 1992294400 134512640 137138936 4287632880 18446744073709551615 136511072 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18540/statm: 17178 14721 190 642 0 16534 0 Current children cumulated CPU time (s) 1794.61 Current children cumulated vsize (KiB) 68712 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 0.94 2/107 18598 /proc/meminfo: memFree=1441320/2059040 swapFree=4192956/4192956 [pid=18540] ppid=18538 vsize=68712 CPUtime=1796.2 /proc/18540/stat : 18540 (bsolo_pb10) R 18538 18540 17996 0 -1 4202496 15022 0 0 0 179284 336 0 0 25 0 1 0 11695201 70361088 14721 1992294400 134512640 137138936 4287632880 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18540/statm: 17178 14721 190 642 0 16534 0 Current children cumulated CPU time (s) 1796.2 Current children cumulated vsize (KiB) 68712 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 0.94 2/107 18598 /proc/meminfo: memFree=1441320/2059040 swapFree=4192956/4192956 [pid=18540] ppid=18538 vsize=68712 CPUtime=1797.01 /proc/18540/stat : 18540 (bsolo_pb10) R 18538 18540 17996 0 -1 4202496 15022 0 0 0 179364 337 0 0 25 0 1 0 11695201 70361088 14721 1992294400 134512640 137138936 4287632880 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18540/statm: 17178 14721 190 642 0 16534 0 Current children cumulated CPU time (s) 1797.01 Current children cumulated vsize (KiB) 68712 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 18598 /proc/meminfo: memFree=1441320/2059040 swapFree=4192956/4192956 [pid=18540] ppid=18538 vsize=68712 CPUtime=1797.8 /proc/18540/stat : 18540 (bsolo_pb10) R 18538 18540 17996 0 -1 4202496 15022 0 0 0 179443 337 0 0 25 0 1 0 11695201 70361088 14721 1992294400 134512640 137138936 4287632880 18446744073709551615 134542252 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18540/statm: 17178 14721 190 642 0 16534 0 Current children cumulated CPU time (s) 1797.8 Current children cumulated vsize (KiB) 68712 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 0.94 2/107 18598 /proc/meminfo: memFree=1441320/2059040 swapFree=4192956/4192956 [pid=18540] ppid=18538 vsize=0 CPUtime=1798 /proc/18540/stat : 18540 (bsolo_pb10) R 18538 18540 17996 0 -1 4202500 15022 0 0 0 179463 337 0 0 25 0 1 0 11695201 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/18540/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.51 CPU time (s): 1798.02 CPU user time (s): 1794.64 CPU system time (s): 3.37949 CPU usage (%): 99.9727 Max. virtual memory (cumulated for all children) (KiB): 68712 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.64 system time used= 3.37949 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15022 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= 4491 runsolver used 2.81757 second user time and 8.64069 second system time The end
Begin job on node059 at 2010-06-16 18:00:45 IDJOB=2670656 IDBENCH=48044 IDSOLVER=1163 FILE ID=node059/2670656-1276704045 PBS_JOBID= 11174087 Free space on /tmp= 62556 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=509-P1=457-P2=223-P3=127-P4=431-P5=67-P6=17-P7=479-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670656-1276704045/watcher-2670656-1276704045 -o /tmp/evaluation-result-2670656-1276704045/solver-2670656-1276704045 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670656-1276704045.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0f650891245dab338bc3d2f3a3dc10c7 RANDOM SEED=482004017 node059.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.244 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.48 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.244 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: 1501624 kB Buffers: 146800 kB Cached: 267368 kB SwapCached: 0 kB Active: 163992 kB Inactive: 309424 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1501624 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3988 kB Writeback: 0 kB AnonPages: 59216 kB Mapped: 15464 kB Slab: 62188 kB PageTables: 3944 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180588 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670656-1276704045.opb Free space on /tmp at the end= 62552 MiB End job on node059 at 2010-06-16 18:30:44