Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.13 | 1800.62 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=113-P1=127-P2=101-P3=419-P4=107-P5=271-P6=379-P7=167-P8=163-B.opb |
MD5SUM | e7b4c80573ea65996ed7438c7cd24465 |
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 | 9.76251 |
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 | 216 |
Total number of constraints | 17 |
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 | 17 |
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) | 648 |
Sum of products size (including duplicates) | 1296 |
Number of different products | 648 |
Sum of products size | 1296 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2702260-1278547287.opb. 0.00/0.00 c Instance file HOME/instance-2702260-1278547287.opb 0.00/0.00 c File size is 48923 bytes. 0.00/0.00 c Highest Coefficient sum: 523264 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 864 | 0.00/0.00 c | Number Clauses: 648 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 673 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 864 1321 5535 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 101 | 864 1321 5535 | 5500 101 77 | 0.001 % | 0.02/0.03 c | 251 | 864 1321 5535 | 6050 251 76 | 0.001 % | 0.02/0.05 c | 478 | 864 1321 5535 | 6655 478 65 | 0.000 % | 0.02/0.07 c | 816 | 864 1321 5535 | 7320 816 70 | 0.000 % | 0.09/0.11 c | 1322 | 864 1321 5535 | 8052 1322 75 | 0.001 % | 0.09/0.17 c | 2082 | 864 1321 5535 | 8857 2082 81 | 0.000 % | 0.19/0.28 c | 3221 | 864 1321 5535 | 9743 3221 75 | 0.000 % | 0.39/0.43 c | 4929 | 864 1321 5535 | 10717 4929 73 | 0.000 % | 0.69/0.77 c | 7493 | 864 1321 5535 | 11789 7493 70 | 0.000 % | 1.29/1.32 c | 11339 | 864 1321 5535 | 12968 11339 65 | 0.000 % | 1.99/2.06 c | 17106 | 864 1321 5535 | 14265 10470 53 | 0.000 % | 3.30/3.39 c | 25756 | 864 1321 5535 | 15692 11841 55 | 0.000 % | 5.40/5.46 c | 38731 | 864 1321 5535 | 17261 8824 46 | 0.000 % | 8.89/8.92 c | 58192 | 864 1321 5535 | 18987 10743 35 | 0.000 % | 15.18/15.24 c | 87385 | 864 1321 5535 | 20886 10761 72 | 0.000 % | 24.89/24.99 c | 131174 | 864 1321 5535 | 22974 12029 35 | 0.000 % | 41.38/41.41 c | 196858 | 864 1321 5535 | 25272 16473 59 | 0.000 % | 66.27/66.34 c | 295384 | 864 1321 5535 | 27799 13153 48 | 0.000 % | 115.86/115.92 c | 443173 | 864 1321 5535 | 30579 24907 45 | 0.000 % | 181.84/181.94 c There are 0 assigned variables. 0 in cost function. 182.45/182.52 c core #1 182.45/182.52 c core #2 182.45/182.52 c ============================[ Search Statistics ]============================== 182.45/182.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.45/182.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.45/182.52 c =============================================================================== 182.45/182.52 c | 0 | 775 1347 5367 | 5000 0 nan | 0.000 % | 182.45/182.53 c | 101 | 775 1347 5367 | 5500 101 79 | 12.032 % | 182.45/182.54 c | 252 | 775 1347 5367 | 6050 252 73 | 12.033 % | 182.45/182.57 c | 477 | 775 1347 5367 | 6655 477 69 | 12.032 % | 182.55/182.62 c | 814 | 775 1347 5367 | 7320 814 71 | 12.033 % | 182.55/182.66 c | 1321 | 775 1347 5367 | 8052 1321 73 | 12.032 % | 182.64/182.73 c | 2081 | 775 1347 5367 | 8857 2081 74 | 12.033 % | 182.75/182.86 c | 3221 | 775 1347 5367 | 9743 3221 72 | 12.032 % | 182.94/183.05 c | 4929 | 775 1347 5367 | 10717 4929 70 | 12.032 % | 183.34/183.49 c | 7492 | 775 1347 5367 | 11789 7492 64 | 12.032 % | 184.04/184.11 c | 11337 | 775 1347 5367 | 12968 11337 65 | 12.032 % | 185.25/185.30 c | 17107 | 775 1347 5367 | 14265 10373 60 | 12.032 % | 186.54/186.60 c | 25756 | 775 1347 5367 | 15692 11700 69 | 12.032 % | 188.64/188.76 c | 38731 | 775 1347 5367 | 17261 8268 66 | 12.032 % | 192.34/192.48 c | 58193 | 775 1347 5367 | 18987 10006 63 | 12.032 % | 197.64/197.73 c | 87385 | 775 1347 5367 | 20886 19573 74 | 12.032 % | 208.14/208.25 c | 131174 | 775 1347 5367 | 22974 19977 28 | 12.032 % | 223.33/223.42 c | 196858 | 775 1347 5367 | 25272 21109 53 | 12.032 % | 248.33/248.47 c | 295384 | 774 1347 5367 | 27799 17320 37 | 12.147 % | 293.21/293.34 c | 443174 | 774 1347 5367 | 30579 11507 72 | 12.145 % | 364.90/365.09 c | 664859 | 774 1347 5367 | 33637 16165 52 | 12.145 % | 511.16/511.32 c | 997384 | 774 1347 5367 | 37001 13708 56 | 12.145 % | 733.60/733.89 c | 1496172 | 774 1347 5367 | 40701 21058 47 | 12.145 % | 1074.41/1074.79 c | 2244355 | 774 1347 5367 | 44771 27167 63 | 12.145 % | 1626.65/1627.17 c | 3366629 | 771 1347 5367 | 49248 28836 58 | 12.486 % |
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-2702260-1278547287/watcher-2702260-1278547287 -o /tmp/evaluation-result-2702260-1278547287/solver-2702260-1278547287 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702260-1278547287.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.92 0.95 0.65 3/106 2002 /proc/meminfo: memFree=1595656/2059040 swapFree=4139384/4192956 [pid=2002] ppid=2000 vsize=2764 CPUtime=0 /proc/2002/stat : 2002 (wbo1.4b) R 2000 2002 1088 0 -1 4202496 322 0 0 0 0 0 0 0 18 0 1 0 22942517 2830336 241 1992294400 134512640 135751879 4289306576 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2002/statm: 691 241 143 303 0 374 0 [startup+0.028393 s] /proc/loadavg: 0.92 0.95 0.65 3/106 2002 /proc/meminfo: memFree=1595656/2059040 swapFree=4139384/4192956 [pid=2002] ppid=2000 vsize=2852 CPUtime=0.02 /proc/2002/stat : 2002 (wbo1.4b) R 2000 2002 1088 0 -1 4202496 389 0 0 0 2 0 0 0 20 0 1 0 22942517 2920448 296 1992294400 134512640 135751879 4289306576 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2002/statm: 713 296 147 303 0 408 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2852 [startup+0.100401 s] /proc/loadavg: 0.92 0.95 0.65 3/106 2002 /proc/meminfo: memFree=1595656/2059040 swapFree=4139384/4192956 [pid=2002] ppid=2000 vsize=3236 CPUtime=0.09 /proc/2002/stat : 2002 (wbo1.4b) R 2000 2002 1088 0 -1 4202496 480 0 0 0 9 0 0 0 20 0 1 0 22942517 3313664 387 1992294400 134512640 135751879 4289306576 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2002/statm: 809 387 147 303 0 504 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3236 [startup+0.300424 s] /proc/loadavg: 0.92 0.95 0.65 3/106 2002 /proc/meminfo: memFree=1595656/2059040 swapFree=4139384/4192956 [pid=2002] ppid=2000 vsize=4140 CPUtime=0.29 /proc/2002/stat : 2002 (wbo1.4b) R 2000 2002 1088 0 -1 4202496 710 0 0 0 29 0 0 0 20 0 1 0 22942517 4239360 617 1992294400 134512640 135751879 4289306576 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2002/statm: 1035 617 147 303 0 730 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4140 [startup+0.700471 s] /proc/loadavg: 0.92 0.95 0.65 3/106 2002 /proc/meminfo: memFree=1595656/2059040 swapFree=4139384/4192956 [pid=2002] ppid=2000 vsize=5596 CPUtime=0.69 /proc/2002/stat : 2002 (wbo1.4b) R 2000 2002 1088 0 -1 4202496 1049 0 0 0 67 2 0 0 20 0 1 0 22942517 5730304 956 1992294400 134512640 135751879 4289306576 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2002/statm: 1399 956 147 303 0 1094 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5596 [startup+1.50057 s] /proc/loadavg: 0.92 0.95 0.65 2/107 2003 /proc/meminfo: memFree=1591680/2059040 swapFree=4139384/4192956 [pid=2002] ppid=2000 vsize=7608 CPUtime=1.49 /proc/2002/stat : 2002 (wbo1.4b) R 2000 2002 1088 0 -1 4202496 1558 0 0 0 146 3 0 0 23 0 1 0 22942517 7790592 1465 1992294400 134512640 135751879 4289306576 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2002/statm: 1902 1465 147 303 0 1597 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7608 [startup+3.10075 s] /proc/loadavg: 0.92 0.95 0.65 2/107 2003 /proc/meminfo: memFree=1588828/2059040 swapFree=4139384/4192956 [pid=2002] ppid=2000 vsize=11088 CPUtime=3.09 /proc/2002/stat : 2002 (wbo1.4b) R 2000 2002 1088 0 -1 4202496 2437 0 0 0 303 6 0 0 25 0 1 0 22942517 11354112 2344 1992294400 134512640 135751879 4289306576 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2002/statm: 2772 2344 148 303 0 2467 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11088 [startup+6.30113 s] /proc/loadavg: 0.93 0.95 0.66 2/107 2003 /proc/meminfo: memFree=1582380/2059040 swapFree=4139384/4192956 [pid=2002] ppid=2000 vsize=17664 CPUtime=6.29 /proc/2002/stat : 2002 (wbo1.4b) R 2000 2002 1088 0 -1 4202496 4070 0 0 0 618 11 0 0 25 0 1 0 22942517 18087936 3977 1992294400 134512640 135751879 4289306576 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2002/statm: 4416 3977 148 303 0 4111 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17664 [startup+12.7009 s] /proc/loadavg: 0.93 0.95 0.66 2/107 2003 /proc/meminfo: memFree=1573948/2059040 swapFree=4139384/4192956 [pid=2002] ppid=2000 vsize=26108 CPUtime=12.68 /proc/2002/stat : 2002 (wbo1.4b) R 2000 2002 1088 0 -1 4202496 6172 0 0 0 1249 19 0 0 25 0 1 0 22942517 26734592 6079 1992294400 134512640 135751879 4289306576 18446744073709551615 134616390 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2002/statm: 6527 6079 148 303 0 6222 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 26108 [startup+25.5004 s] /proc/loadavg: 1.02 0.97 0.67 2/107 2004 /proc/meminfo: memFree=1557084/2059040 swapFree=4139384/4192956 [pid=2002] ppid=2000 vsize=41240 CPUtime=25.49 /proc/2002/stat : 2002 (wbo1.4b) R 2000 2002 1088 0 -1 4202496 9930 0 0 0 2514 35 0 0 25 0 1 0 22942517 42229760 9837 1992294400 134512640 135751879 4289306576 18446744073709551615 134606365 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2002/statm: 10310 9837 148 303 0 10005 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 41240 [startup+51.1004 s] /proc/loadavg: 1.01 0.97 0.67 2/107 2005 /proc/meminfo: memFree=1521868/2059040 swapFree=4139384/4192956 [pid=2002] ppid=2000 vsize=76924 CPUtime=51.07 /proc/2002/stat : 2002 (wbo1.4b) R 2000 2002 1088 0 -1 4202496 18848 0 0 0 5041 66 0 0 25 0 1 0 22942517 78770176 18755 1992294400 134512640 135751879 4289306576 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2002/statm: 19231 18755 148 303 0 18926 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 76924 [startup+102.308 s] /proc/loadavg: 1.00 0.97 0.69 2/107 2006 /proc/meminfo: memFree=1471648/2059040 swapFree=4139384/4192956 [pid=2002] ppid=2000 vsize=126292 CPUtime=102.27 /proc/2002/stat : 2002 (wbo1.4b) R 2000 2002 1088 0 -1 4202496 31135 0 0 0 10105 122 0 0 25 0 1 0 22942517 129323008 31042 1992294400 134512640 135751879 4289306576 18446744073709551615 134606182 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2002/statm: 31573 31042 148 303 0 31268 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 126292 [startup+162.3 s] /proc/loadavg: 1.00 0.97 0.71 2/107 2007 /proc/meminfo: memFree=1425396/2059040 swapFree=4139384/4192956 [pid=2002] ppid=2000 vsize=172848 CPUtime=162.25 /proc/2002/stat : 2002 (wbo1.4b) R 2000 2002 1088 0 -1 4202496 42759 0 0 0 16052 173 0 0 25 0 1 0 22942517 176996352 42666 1992294400 134512640 135751879 4289306576 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2002/statm: 43212 42666 148 303 0 42907 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 172848 [startup+222.3 s] /proc/loadavg: 1.00 0.97 0.72 2/107 2009 /proc/meminfo: memFree=1372572/2059040 swapFree=4139384/4192956 [pid=2002] ppid=2000 vsize=225000 CPUtime=222.23 /proc/2002/stat : 2002 (wbo1.4b) R 2000 2002 1088 0 -1 4202496 55927 0 0 0 21980 243 0 0 25 0 1 0 22942517 230400000 55803 1992294400 134512640 135751879 4289306576 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2002/statm: 56250 55803 151 303 0 55945 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 225000 [startup+282.3 s] /proc/loadavg: 1.00 0.97 0.74 2/107 2011 /proc/meminfo: memFree=1324708/2059040 swapFree=4139384/4192956 [pid=2002] ppid=2000 vsize=273396 CPUtime=282.21 /proc/2002/stat : 2002 (wbo1.4b) R 2000 2002 1088 0 -1 4202496 67971 0 0 0 27916 305 0 0 25 0 1 0 22942517 279957504 67847 1992294400 134512640 135751879 4289306576 18446744073709551615 135209093 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2002/statm: 68349 67847 151 303 0 68044 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 273396 [startup+342.301 s] /proc/loadavg: 1.00 0.97 0.75 2/107 2013 /proc/meminfo: memFree=1268288/2059040 swapFree=4139384/4192956 [pid=2002] ppid=2000 vsize=329176 CPUtime=342.2 /proc/2002/stat : 2002 (wbo1.4b) R 2000 2002 1088 0 -1 4202496 81891 0 0 0 33854 366 0 0 25 0 1 0 22942517 337076224 81767 1992294400 134512640 135751879 4289306576 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2002/statm: 82294 81767 151 303 0 81989 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 329176 [startup+402.301 s] /proc/loadavg: 1.00 0.97 0.76 2/107 2015 /proc/meminfo: memFree=1211620/2059040 swapFree=4139384/4192956 [pid=2002] ppid=2000 vsize=386300 CPUtime=402.18 /proc/2002/stat : 2002 (wbo1.4b) R 2000 2002 1088 0 -1 4202496 96147 0 0 0 39802 416 0 0 25 0 1 0 22942517 395571200 96023 1992294400 134512640 135751879 4289306576 18446744073709551615 134616526 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2002/statm: 96575 96023 151 303 0 96270 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 386300 [startup+462.301 s] /proc/loadavg: 1.00 0.97 0.77 2/107 2016 /proc/meminfo: memFree=1157184/2059040 swapFree=4139384/4192956 [pid=2002] ppid=2000 vsize=440560 CPUtime=462.17 /proc/2002/stat : 2002 (wbo1.4b) R 2000 2002 1088 0 -1 4202496 109697 0 0 0 45746 471 0 0 25 0 1 0 22942517 451133440 109573 1992294400 134512640 135751879 4289306576 18446744073709551615 134606647 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2002/statm: 110140 109573 151 303 0 109835 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 440560 [startup+522.301 s] /proc/loadavg: 1.00 0.97 0.78 2/107 2018 /proc/meminfo: memFree=1108824/2059040 swapFree=4139384/4192956 [pid=2002] ppid=2000 vsize=489028 CPUtime=522.15 /proc/2002/stat : 2002 (wbo1.4b) R 2000 2002 1088 0 -1 4202496 121768 0 0 0 51698 517 0 0 25 0 1 0 22942517 500764672 121644 1992294400 134512640 135751879 4289306576 18446744073709551615 134611163 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2002/statm: 122257 121644 151 303 0 121952 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 489028 [startup+582.301 s] /proc/loadavg: 1.00 0.97 0.80 2/107 2020 /proc/meminfo: memFree=1073980/2059040 swapFree=4139384/4192956 [pid=2002] ppid=2000 vsize=523776 CPUtime=582.14 /proc/2002/stat : 2002 (wbo1.4b) R 2000 2002 1088 0 -1 4202496 130445 0 0 0 57656 558 0 0 25 0 1 0 22942517 536346624 130321 1992294400 134512640 135751879 4289306576 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2002/statm: 130944 130321 151 303 0 130639 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 523776 [startup+642.301 s] /proc/loadavg: 1.00 0.97 0.81 2/107 2022 /proc/meminfo: memFree=1027108/2059040 swapFree=4139384/4192956 [pid=2002] ppid=2000 vsize=570092 CPUtime=642.12 /proc/2002/stat : 2002 (wbo1.4b) R 2000 2002 1088 0 -1 4202496 142018 0 0 0 63607 605 0 0 25 0 1 0 22942517 583774208 141894 1992294400 134512640 135751879 4289306576 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2002/statm: 142523 141894 151 303 0 142218 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 570092 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 0.97 0.84 2/107 2028 /proc/meminfo: memFree=876572/2059040 swapFree=4139384/4192956 [pid=2002] ppid=2000 vsize=720696 CPUtime=882.05 /proc/2002/stat : 2002 (wbo1.4b) R 2000 2002 1088 0 -1 4202496 179534 0 0 0 87438 767 0 0 25 0 1 0 22942517 737992704 179410 1992294400 134512640 135751879 4289306576 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2002/statm: 180174 179410 151 303 0 179869 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 720696 [startup+942.301 s] /proc/loadavg: 1.00 0.97 0.84 2/107 2030 /proc/meminfo: memFree=842596/2059040 swapFree=4139384/4192956 [pid=2002] ppid=2000 vsize=754852 CPUtime=942.03 /proc/2002/stat : 2002 (wbo1.4b) R 2000 2002 1088 0 -1 4202496 188078 0 0 0 93386 817 0 0 25 0 1 0 22942517 772968448 187954 1992294400 134512640 135751879 4289306576 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2002/statm: 188713 187954 151 303 0 188408 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 754852 [startup+1002.3 s] /proc/loadavg: 1.00 0.97 0.85 2/107 2031 /proc/meminfo: memFree=800932/2059040 swapFree=4139384/4192956 [pid=2002] ppid=2000 vsize=796340 CPUtime=1002.02 /proc/2002/stat : 2002 (wbo1.4b) R 2000 2002 1088 0 -1 4202496 198408 0 0 0 99336 866 0 0 25 0 1 0 22942517 815452160 198284 1992294400 134512640 135751879 4289306576 18446744073709551615 134610118 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2002/statm: 199085 198284 151 303 0 198780 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 796340 [startup+1062.3 s] /proc/loadavg: 1.05 0.99 0.86 2/107 2036 /proc/meminfo: memFree=762244/2059040 swapFree=4139384/4192956 [pid=2002] ppid=2000 vsize=835380 CPUtime=1062 /proc/2002/stat : 2002 (wbo1.4b) R 2000 2002 1088 0 -1 4202496 208135 0 0 0 105293 907 0 0 25 0 1 0 22942517 855429120 208011 1992294400 134512640 135751879 4289306576 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2002/statm: 208845 208011 151 303 0 208540 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 835380 [startup+1122.3 s] /proc/loadavg: 1.02 0.99 0.87 2/107 2038 /proc/meminfo: memFree=730376/2059040 swapFree=4139384/4192956 [pid=2002] ppid=2000 vsize=867468 CPUtime=1121.98 /proc/2002/stat : 2002 (wbo1.4b) R 2000 2002 1088 0 -1 4202496 216169 0 0 0 111252 946 0 0 25 0 1 0 22942517 888287232 216045 1992294400 134512640 135751879 4289306576 18446744073709551615 134606389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2002/statm: 216867 216045 151 303 0 216562 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 867468 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.87 2/107 2040 /proc/meminfo: memFree=695532/2059040 swapFree=4139384/4192956 [pid=2002] ppid=2000 vsize=901628 CPUtime=1181.97 /proc/2002/stat : 2002 (wbo1.4b) R 2000 2002 1088 0 -1 4202496 224671 0 0 0 117209 988 0 0 25 0 1 0 22942517 923267072 224547 1992294400 134512640 135751879 4289306576 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2002/statm: 225407 224547 151 303 0 225102 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 901628 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.88 2/107 2042 /proc/meminfo: memFree=668004/2059040 swapFree=4139384/4192956 [pid=2002] ppid=2000 vsize=929016 CPUtime=1241.95 /proc/2002/stat : 2002 (wbo1.4b) R 2000 2002 1088 0 -1 4202496 231503 0 0 0 123168 1027 0 0 25 0 1 0 22942517 951312384 231379 1992294400 134512640 135751879 4289306576 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2002/statm: 232254 231379 151 303 0 231949 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 929016 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.88 2/107 2043 /proc/meminfo: memFree=641220/2059040 swapFree=4139384/4192956 [pid=2002] ppid=2000 vsize=955656 CPUtime=1301.94 /proc/2002/stat : 2002 (wbo1.4b) R 2000 2002 1088 0 -1 4202496 238173 0 0 0 129132 1062 0 0 25 0 1 0 22942517 978591744 238049 1992294400 134512640 135751879 4289306576 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2002/statm: 238914 238049 151 303 0 238609 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 955656 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.89 2/107 2044 /proc/meminfo: memFree=620016/2059040 swapFree=4139384/4192956 [pid=2002] ppid=2000 vsize=977056 CPUtime=1361.92 /proc/2002/stat : 2002 (wbo1.4b) R 2000 2002 1088 0 -1 4202496 243499 0 0 0 135101 1091 0 0 25 0 1 0 22942517 1000505344 243375 1992294400 134512640 135751879 4289306576 18446744073709551615 134616388 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2002/statm: 244264 243375 151 303 0 243959 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 977056 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.89 2/107 2046 /proc/meminfo: memFree=605012/2059040 swapFree=4139384/4192956 [pid=2002] ppid=2000 vsize=991848 CPUtime=1421.91 /proc/2002/stat : 2002 (wbo1.4b) R 2000 2002 1088 0 -1 4202496 247170 0 0 0 141071 1120 0 0 25 0 1 0 22942517 1015652352 247046 1992294400 134512640 135751879 4289306576 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2002/statm: 247962 247046 151 303 0 247657 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 991848 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.90 2/107 2048 /proc/meminfo: memFree=553800/2059040 swapFree=4139384/4192956 [pid=2002] ppid=2000 vsize=1043568 CPUtime=1481.88 /proc/2002/stat : 2002 (wbo1.4b) R 2000 2002 1088 0 -1 4202496 260090 0 0 0 147012 1176 0 0 25 0 1 0 22942517 1068613632 259966 1992294400 134512640 135751879 4289306576 18446744073709551615 134616404 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2002/statm: 260892 259966 151 303 0 260587 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1043568 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 2050 /proc/meminfo: memFree=499612/2059040 swapFree=4139384/4192956 [pid=2002] ppid=2000 vsize=1097336 CPUtime=1541.87 /proc/2002/stat : 2002 (wbo1.4b) R 2000 2002 1088 0 -1 4202496 273513 0 0 0 152954 1233 0 0 25 0 1 0 22942517 1123672064 273389 1992294400 134512640 135751879 4289306576 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2002/statm: 274334 273389 151 303 0 274029 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1097336 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 2051 /proc/meminfo: memFree=458196/2059040 swapFree=4139384/4192956 [pid=2002] ppid=2000 vsize=1139344 CPUtime=1601.85 /proc/2002/stat : 2002 (wbo1.4b) R 2000 2002 1088 0 -1 4202496 283983 0 0 0 158908 1277 0 0 25 0 1 0 22942517 1166688256 283859 1992294400 134512640 135751879 4289306576 18446744073709551615 134606629 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2002/statm: 284836 283859 151 303 0 284531 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1139344 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 2052 /proc/meminfo: memFree=413432/2059040 swapFree=4139384/4192956 [pid=2002] ppid=2000 vsize=1183384 CPUtime=1661.84 /proc/2002/stat : 2002 (wbo1.4b) R 2000 2002 1088 0 -1 4202496 294991 0 0 0 164861 1323 0 0 25 0 1 0 22942517 1211785216 294867 1992294400 134512640 135751879 4289306576 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2002/statm: 295846 294867 151 303 0 295541 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1183384 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 2054 /proc/meminfo: memFree=392352/2059040 swapFree=4139384/4192956 [pid=2002] ppid=2000 vsize=1204608 CPUtime=1721.82 /proc/2002/stat : 2002 (wbo1.4b) R 2000 2002 1088 0 -1 4202496 300266 0 0 0 170827 1355 0 0 25 0 1 0 22942517 1233518592 300142 1992294400 134512640 135751879 4289306576 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2002/statm: 301152 300142 151 303 0 300847 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1204608 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 2056 /proc/meminfo: memFree=364204/2059040 swapFree=4139384/4192956 [pid=2002] ppid=2000 vsize=1232532 CPUtime=1781.81 /proc/2002/stat : 2002 (wbo1.4b) R 2000 2002 1088 0 -1 4202496 307255 0 0 0 176791 1390 0 0 25 0 1 0 22942517 1262112768 307131 1992294400 134512640 135751879 4289306576 18446744073709551615 134616390 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2002/statm: 308133 307131 151 303 0 307828 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1232532 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 0.99 0.91 2/107 2056 /proc/meminfo: memFree=354036/2059040 swapFree=4139384/4192956 [pid=2002] ppid=2000 vsize=1242580 CPUtime=1800.01 /proc/2002/stat : 2002 (wbo1.4b) R 2000 2002 1088 0 -1 4202496 309764 0 0 0 178601 1400 0 0 25 0 1 0 22942517 1272401920 309640 1992294400 134512640 135751879 4289306576 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2002/statm: 310645 309640 151 303 0 310340 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1242580 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 0.99 0.91 2/108 2057 /proc/meminfo: memFree=1451328/2059040 swapFree=4139384/4192956 [pid=2002] ppid=2000 vsize=0 CPUtime=1800.12 /proc/2002/stat : 2002 (wbo1.4b) R 2000 2002 1088 0 -1 4203524 309764 0 0 0 178601 1411 0 0 25 0 1 0 22942517 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/2002/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.62 CPU time (s): 1800.13 CPU user time (s): 1786.01 CPU system time (s): 14.1179 CPU usage (%): 99.9728 Max. virtual memory (cumulated for all children) (KiB): 1242580 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1786.01 system time used= 14.1179 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 309764 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= 3 involuntary context switches= 3289 runsolver used 2.98355 second user time and 8.49971 second system time The end
Begin job on node001 at 2010-07-08 02:01:27 IDJOB=2702260 IDBENCH=48065 IDSOLVER=1161 FILE ID=node001/2702260-1278547287 PBS_JOBID= 11239529 Free space on /tmp= 62472 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=113-P1=127-P2=101-P3=419-P4=107-P5=271-P6=379-P7=167-P8=163-B.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702260-1278547287/watcher-2702260-1278547287 -o /tmp/evaluation-result-2702260-1278547287/solver-2702260-1278547287 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702260-1278547287.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e7b4c80573ea65996ed7438c7cd24465 RANDOM SEED=1590604771 node001.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.215 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.43 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.215 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1596432 kB Buffers: 69144 kB Cached: 289368 kB SwapCached: 7348 kB Active: 114476 kB Inactive: 258140 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1596432 kB SwapTotal: 4192956 kB SwapFree: 4139384 kB Dirty: 2844 kB Writeback: 0 kB AnonPages: 11456 kB Mapped: 11928 kB Slab: 68176 kB PageTables: 4052 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180016 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-2702260-1278547287.opb Free space on /tmp at the end= 62472 MiB End job on node001 at 2010-07-08 02:31:30