Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.23 | 1800.96 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_25_1.opb |
MD5SUM | 02054528a722e9af7937139e87d0b5ac |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -111 |
Best CPU time to get the best result obtained on this benchmark | 1800 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -169 |
Optimality of the best value was proved | NO |
Number of variables | 2000 |
Total number of constraints | 3001 |
Number of constraints which are clauses | 1000 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2000 |
Number of terms in the objective function | 1000 |
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 | 1000 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2000 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 63280 |
Sum of products size (including duplicates) | 126560 |
Number of different products | 31640 |
Sum of products size | 63280 |
0.00/0.00 c This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1875415-1245209048.opb. 0.00/0.00 c Instance file HOME/instance-1875415-1245209048.opb 0.00/0.00 c File size is 2907531 bytes. 0.39/0.47 c Highest Coefficient sum: 2000 0.39/0.47 c ============================[ Problem Statistics ]============================= 0.39/0.47 c | | 0.39/0.47 c | Parsing time: 0.46 s | 0.39/0.47 c | Number Variables: 33640 | 0.39/0.47 c | Number Clauses: 33640 | 0.39/0.47 c | Number Cardinality: 2002 | 0.39/0.47 c | Number PB Constraints: 31640 | 0.39/0.47 c core #1 0.39/0.47 c Core size: 2001 Core Weight: 1 Total Weight: -999 0.39/0.47 c Elapsed CPU time: 0.462929 s Remaining CPU time: 1799.54 s 0.59/0.60 c ============================[ Search Statistics ]============================== 0.59/0.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.60 c =============================================================================== 0.59/0.60 c | 0 | 34640 67283 262120 | 22427 0 nan | 0.000 % | 2.39/2.42 c | 100 | 34640 67283 262120 | 24670 100 152 | 0.130 % | 4.09/4.20 c | 250 | 34640 67283 262120 | 27137 250 347 | 0.211 % | 7.39/7.41 c | 475 | 34567 67283 262120 | 29851 473 335 | 0.211 % | 11.68/11.72 c | 812 | 34567 67283 262120 | 32836 810 328 | 0.211 % | 15.39/15.45 c =============================================================================== 15.49/15.53 c core #2 15.49/15.53 c Core size: 1939 Core Weight: 1 Total Weight: -998 15.49/15.53 c Elapsed CPU time: 15.4866 s Remaining CPU time: 1784.51 s 15.58/15.69 c Learning 54 hard constraints 15.58/15.69 c ============================[ Search Statistics ]============================== 15.58/15.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.58/15.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.58/15.69 c =============================================================================== 15.58/15.69 c | 0 | 35462 67338 263925 | 22446 0 nan | 0.000 % | 17.29/17.35 c | 100 | 35462 67338 263925 | 24690 100 638 | 0.000 % | 19.49/19.56 c | 250 | 35462 67338 263925 | 27159 250 566 | 0.000 % | 23.58/23.63 c | 475 | 35462 67338 263925 | 29875 475 582 | 0.000 % | 27.78/27.90 c | 812 | 35462 67338 263925 | 32863 812 612 | 0.000 % | 33.07/33.13 c | 1318 | 35462 67338 263925 | 36149 1318 637 | 0.000 % | 42.67/42.76 c | 2077 | 35462 67338 263925 | 39764 2077 659 | 0.000 % | 56.87/56.91 c | 3216 | 35462 67338 263925 | 43740 3216 694 | 0.000 % | 80.66/80.72 c | 5020 | 35435 67338 263925 | 48114 4995 743 | 0.076 % | 118.85/118.97 c | 7582 | 35435 67338 263925 | 52926 7557 753 | 0.076 % | 180.03/180.13 c | 11426 | 35398 67338 263925 | 58219 11297 757 | 0.437 % | 264.29/264.41 c | 17192 | 35274 67338 263925 | 64041 16938 784 | 0.770 % | 392.84/393.09 c | 25841 | 35088 67338 263925 | 70445 25280 802 | 2.614 % | 575.28/575.53 c | 38819 | 35054 67338 263925 | 77489 38258 816 | 4.757 % | 867.34/867.78 c | 58281 | 33660 67338 263925 | 85238 55269 858 | 11.900 % | 1288.07/1288.65 c | 87474 | 30708 67338 263925 | 93762 77376 912 | 20.475 % |
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-1875415-1245209048/watcher-1875415-1245209048 -o /tmp/evaluation-result-1875415-1245209048/solver-1875415-1245209048 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875415-1245209048.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.13 1.04 1.01 3/66 16284 /proc/meminfo: memFree=1822144/2055920 swapFree=4191988/4192956 [pid=16284] ppid=16282 vsize=5700 CPUtime=0 /proc/16284/stat : 16284 (wbo) R 16282 16284 16175 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 73628416 5836800 269 1992294400 134512640 135709839 4294956240 18446744073709551615 134570505 0 0 4096 3 0 0 0 17 0 0 0 /proc/16284/statm: 1425 269 126 292 0 420 0 [startup+0.026664 s] /proc/loadavg: 1.13 1.04 1.01 3/66 16284 /proc/meminfo: memFree=1822144/2055920 swapFree=4191988/4192956 [pid=16284] ppid=16282 vsize=7960 CPUtime=0.02 /proc/16284/stat : 16284 (wbo) R 16282 16284 16175 0 -1 4194304 818 0 0 0 2 0 0 0 18 0 1 0 73628416 8151040 802 1992294400 134512640 135709839 4294956240 18446744073709551615 134556956 0 0 4096 3 0 0 0 17 0 0 0 /proc/16284/statm: 1990 802 152 292 0 985 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 7960 [startup+0.102673 s] /proc/loadavg: 1.13 1.04 1.01 3/66 16284 /proc/meminfo: memFree=1822144/2055920 swapFree=4191988/4192956 [pid=16284] ppid=16282 vsize=12024 CPUtime=0.09 /proc/16284/stat : 16284 (wbo) R 16282 16284 16175 0 -1 4194304 1741 0 0 0 9 0 0 0 18 0 1 0 73628416 12312576 1725 1992294400 134512640 135709839 4294956240 18446744073709551615 134547984 0 0 4096 3 0 0 0 17 0 0 0 /proc/16284/statm: 3006 1726 241 292 0 2001 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12024 [startup+0.302699 s] /proc/loadavg: 1.13 1.04 1.01 3/66 16284 /proc/meminfo: memFree=1822144/2055920 swapFree=4191988/4192956 [pid=16284] ppid=16282 vsize=14428 CPUtime=0.3 /proc/16284/stat : 16284 (wbo) R 16282 16284 16175 0 -1 4194304 2677 0 0 0 29 1 0 0 19 0 1 0 73628416 14774272 2628 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/16284/statm: 3607 2628 533 292 0 2602 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 14428 [startup+0.701751 s] /proc/loadavg: 1.13 1.04 1.01 3/66 16284 /proc/meminfo: memFree=1822144/2055920 swapFree=4191988/4192956 [pid=16284] ppid=16282 vsize=23640 CPUtime=0.69 /proc/16284/stat : 16284 (wbo) R 16282 16284 16175 0 -1 4194304 6698 0 0 0 67 2 0 0 23 0 1 0 73628416 24207360 5182 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/16284/statm: 5910 5182 135 292 0 5615 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 23640 [startup+1.50185 s] /proc/loadavg: 1.13 1.04 1.01 2/67 16285 /proc/meminfo: memFree=1801720/2055920 swapFree=4191988/4192956 [pid=16284] ppid=16282 vsize=23640 CPUtime=1.49 /proc/16284/stat : 16284 (wbo) R 16282 16284 16175 0 -1 4194304 6698 0 0 0 147 2 0 0 25 0 1 0 73628416 24207360 5182 1992294400 134512640 135709839 4294956240 18446744073709551615 134518608 0 0 4096 3 0 0 0 17 0 0 0 /proc/16284/statm: 5910 5182 135 292 0 5615 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 23640 [startup+3.10106 s] /proc/loadavg: 1.13 1.04 1.01 2/67 16285 /proc/meminfo: memFree=1801464/2055920 swapFree=4191988/4192956 [pid=16284] ppid=16282 vsize=24576 CPUtime=3.09 /proc/16284/stat : 16284 (wbo) R 16282 16284 16175 0 -1 4194304 6940 0 0 0 307 2 0 0 25 0 1 0 73628416 25165824 5424 1992294400 134512640 135709839 4294956240 18446744073709551615 134577780 0 0 4096 3 0 0 0 17 0 0 0 /proc/16284/statm: 6144 5424 136 292 0 5849 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24576 [startup+6.30147 s] /proc/loadavg: 1.12 1.04 1.01 2/67 16285 /proc/meminfo: memFree=1799032/2055920 swapFree=4191988/4192956 [pid=16284] ppid=16282 vsize=26732 CPUtime=6.28 /proc/16284/stat : 16284 (wbo) R 16282 16284 16175 0 -1 4194304 7484 0 0 0 626 2 0 0 25 0 1 0 73628416 27373568 5968 1992294400 134512640 135709839 4294956240 18446744073709551615 134518605 0 0 4096 3 0 0 0 17 0 0 0 /proc/16284/statm: 6683 5968 136 292 0 6388 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 26732 [startup+12.7013 s] /proc/loadavg: 1.11 1.04 1.01 2/67 16285 /proc/meminfo: memFree=1794560/2055920 swapFree=4191988/4192956 [pid=16284] ppid=16282 vsize=31180 CPUtime=12.68 /proc/16284/stat : 16284 (wbo) R 16282 16284 16175 0 -1 4194304 8592 0 0 0 1265 3 0 0 25 0 1 0 73628416 31928320 7076 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/16284/statm: 7795 7076 136 292 0 7500 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 31180 [startup+25.502 s] /proc/loadavg: 1.08 1.04 1.01 2/67 16285 /proc/meminfo: memFree=1786560/2055920 swapFree=4191988/4192956 [pid=16284] ppid=16282 vsize=38532 CPUtime=25.48 /proc/16284/stat : 16284 (wbo) R 16282 16284 16175 0 -1 4194304 11014 0 0 0 2543 5 0 0 25 0 1 0 73628416 39456768 8958 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/16284/statm: 9633 8958 136 292 0 9338 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 38532 [startup+51.1013 s] /proc/loadavg: 1.05 1.03 1.00 2/67 16285 /proc/meminfo: memFree=1772224/2055920 swapFree=4191988/4192956 [pid=16284] ppid=16282 vsize=53832 CPUtime=51.07 /proc/16284/stat : 16284 (wbo) R 16282 16284 16175 0 -1 4194304 14830 0 0 0 5099 8 0 0 25 0 1 0 73628416 55123968 12774 1992294400 134512640 135709839 4294956240 18446744073709551615 134577792 0 0 4096 3 0 0 0 17 0 0 0 /proc/16284/statm: 13458 12774 136 292 0 13163 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 53832 [startup+102.307 s] /proc/loadavg: 1.02 1.02 1.00 2/67 16285 /proc/meminfo: memFree=1737728/2055920 swapFree=4191988/4192956 [pid=16284] ppid=16282 vsize=87348 CPUtime=102.26 /proc/16284/stat : 16284 (wbo) R 16282 16284 16175 0 -1 4194304 23214 0 0 0 10213 13 0 0 25 0 1 0 73628416 89444352 21158 1992294400 134512640 135709839 4294956240 18446744073709551615 134577700 0 0 4096 3 0 0 0 17 0 0 0 /proc/16284/statm: 21837 21158 136 292 0 21542 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 87348 [startup+162.302 s] /proc/loadavg: 1.01 1.02 1.00 2/67 16285 /proc/meminfo: memFree=1702720/2055920 swapFree=4191988/4192956 [pid=16284] ppid=16282 vsize=122636 CPUtime=162.23 /proc/16284/stat : 16284 (wbo) R 16282 16284 16175 0 -1 4194304 32019 0 0 0 16204 19 0 0 25 0 1 0 73628416 125579264 29963 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/16284/statm: 30659 29963 136 292 0 30364 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 122636 [startup+222.302 s] /proc/loadavg: 1.00 1.01 1.00 2/67 16285 /proc/meminfo: memFree=1666496/2055920 swapFree=4191988/4192956 [pid=16284] ppid=16282 vsize=158468 CPUtime=222.21 /proc/16284/stat : 16284 (wbo) R 16282 16284 16175 0 -1 4194304 40995 0 0 0 22195 26 0 0 25 0 1 0 73628416 162271232 38939 1992294400 134512640 135709839 4294956240 18446744073709551615 134577720 0 0 4096 3 0 0 0 17 0 0 0 /proc/16284/statm: 39617 38939 136 292 0 39322 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 158468 [startup+282.302 s] /proc/loadavg: 1.00 1.01 1.00 2/67 16285 /proc/meminfo: memFree=1629120/2055920 swapFree=4191988/4192956 [pid=16284] ppid=16282 vsize=196216 CPUtime=282.19 /proc/16284/stat : 16284 (wbo) R 16282 16284 16175 0 -1 4194304 50412 0 0 0 28186 33 0 0 25 0 1 0 73628416 200925184 48356 1992294400 134512640 135709839 4294956240 18446744073709551615 134577698 0 0 4096 3 0 0 0 17 0 0 0 /proc/16284/statm: 49054 48356 136 292 0 48759 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 196216 [startup+342.303 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16285 /proc/meminfo: memFree=1593216/2055920 swapFree=4191988/4192956 [pid=16284] ppid=16282 vsize=231620 CPUtime=342.17 /proc/16284/stat : 16284 (wbo) R 16282 16284 16175 0 -1 4194304 59277 0 0 0 34178 39 0 0 25 0 1 0 73628416 237178880 57221 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 0 0 0 /proc/16284/statm: 57905 57221 136 292 0 57610 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 231620 [startup+402.303 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16285 /proc/meminfo: memFree=1558016/2055920 swapFree=4191988/4192956 [pid=16284] ppid=16282 vsize=267244 CPUtime=402.14 /proc/16284/stat : 16284 (wbo) R 16282 16284 16175 0 -1 4194304 68162 0 0 0 40167 47 0 0 25 0 1 0 73628416 273657856 66106 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 0 0 0 /proc/16284/statm: 66811 66106 136 292 0 66516 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 267244 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16285 /proc/meminfo: memFree=1523008/2055920 swapFree=4191988/4192956 [pid=16284] ppid=16282 vsize=301912 CPUtime=462.12 /proc/16284/stat : 16284 (wbo) R 16282 16284 16175 0 -1 4194304 76835 0 0 0 46157 55 0 0 25 0 1 0 73628416 309157888 74779 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/16284/statm: 75478 74779 136 292 0 75183 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 301912 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16285 /proc/meminfo: memFree=1485696/2055920 swapFree=4191988/4192956 [pid=16284] ppid=16282 vsize=339456 CPUtime=522.1 /proc/16284/stat : 16284 (wbo) R 16282 16284 16175 0 -1 4194304 86216 0 0 0 52147 63 0 0 25 0 1 0 73628416 347602944 84160 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/16284/statm: 84864 84160 136 292 0 84569 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 339456 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16285 /proc/meminfo: memFree=1449664/2055920 swapFree=4191988/4192956 [pid=16284] ppid=16282 vsize=375044 CPUtime=582.08 /proc/16284/stat : 16284 (wbo) R 16282 16284 16175 0 -1 4194304 95131 0 0 0 58136 72 0 0 25 0 1 0 73628416 384045056 93075 1992294400 134512640 135709839 4294956240 18446744073709551615 134518145 0 0 4096 3 0 0 0 17 0 0 0 /proc/16284/statm: 93761 93075 136 292 0 93466 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 375044 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16285 /proc/meminfo: memFree=1411136/2055920 swapFree=4191988/4192956 [pid=16284] ppid=16282 vsize=413244 CPUtime=642.05 /proc/16284/stat : 16284 (wbo) R 16282 16284 16175 0 -1 4194304 104657 0 0 0 64125 80 0 0 25 0 1 0 73628416 423161856 102601 1992294400 134512640 135709839 4294956240 18446744073709551615 134573910 0 0 4096 3 0 0 0 17 0 0 0 /proc/16284/statm: 103311 102601 136 292 0 103016 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 413244 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16285 /proc/meminfo: memFree=1274432/2055920 swapFree=4191988/4192956 [pid=16284] ppid=16282 vsize=549776 CPUtime=881.93 /proc/16284/stat : 16284 (wbo) R 16282 16284 16175 0 -1 4194304 138779 0 0 0 88080 113 0 0 25 0 1 0 73628416 562970624 136723 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/16284/statm: 137444 136723 136 292 0 137149 0 Current children cumulated CPU time (s) 881.93 Current children cumulated vsize (KiB) 549776 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16314 /proc/meminfo: memFree=1240512/2055920 swapFree=4191988/4192956 [pid=16284] ppid=16282 vsize=583716 CPUtime=941.9 /proc/16284/stat : 16284 (wbo) R 16282 16284 16175 0 -1 4194304 147278 0 0 0 94070 120 0 0 25 0 1 0 73628416 597725184 145222 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/16284/statm: 145929 145222 136 292 0 145634 0 Current children cumulated CPU time (s) 941.9 Current children cumulated vsize (KiB) 583716 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16314 /proc/meminfo: memFree=1206528/2055920 swapFree=4191988/4192956 [pid=16284] ppid=16282 vsize=617416 CPUtime=1001.88 /proc/16284/stat : 16284 (wbo) R 16282 16284 16175 0 -1 4194304 155697 0 0 0 100061 127 0 0 25 0 1 0 73628416 632233984 153641 1992294400 134512640 135709839 4294956240 18446744073709551615 134573906 0 0 4096 3 0 0 0 17 0 0 0 /proc/16284/statm: 154354 153641 136 292 0 154059 0 Current children cumulated CPU time (s) 1001.88 Current children cumulated vsize (KiB) 617416 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16314 /proc/meminfo: memFree=1171712/2055920 swapFree=4191988/4192956 [pid=16284] ppid=16282 vsize=652788 CPUtime=1061.85 /proc/16284/stat : 16284 (wbo) R 16282 16284 16175 0 -1 4194304 164517 0 0 0 106051 134 0 0 25 0 1 0 73628416 668454912 162461 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0 /proc/16284/statm: 163197 162461 136 292 0 162902 0 Current children cumulated CPU time (s) 1061.85 Current children cumulated vsize (KiB) 652788 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16314 /proc/meminfo: memFree=1136832/2055920 swapFree=4191988/4192956 [pid=16284] ppid=16282 vsize=686964 CPUtime=1121.82 /proc/16284/stat : 16284 (wbo) R 16282 16284 16175 0 -1 4194304 173057 0 0 0 112040 142 0 0 25 0 1 0 73628416 703451136 171001 1992294400 134512640 135709839 4294956240 18446744073709551615 134518150 0 0 4096 3 0 0 0 17 0 0 0 /proc/16284/statm: 171741 171001 136 292 0 171446 0 Current children cumulated CPU time (s) 1121.82 Current children cumulated vsize (KiB) 686964 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16314 /proc/meminfo: memFree=1098688/2055920 swapFree=4191988/4192956 [pid=16284] ppid=16282 vsize=725612 CPUtime=1181.81 /proc/16284/stat : 16284 (wbo) R 16282 16284 16175 0 -1 4194304 182742 0 0 0 118030 151 0 0 25 0 1 0 73628416 743026688 180686 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/16284/statm: 181403 180686 136 292 0 181108 0 Current children cumulated CPU time (s) 1181.81 Current children cumulated vsize (KiB) 725612 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16314 /proc/meminfo: memFree=1061888/2055920 swapFree=4191988/4192956 [pid=16284] ppid=16282 vsize=761816 CPUtime=1241.78 /proc/16284/stat : 16284 (wbo) R 16282 16284 16175 0 -1 4194304 191770 0 0 0 124020 158 0 0 25 0 1 0 73628416 780099584 189714 1992294400 134512640 135709839 4294956240 18446744073709551615 134577777 0 0 4096 3 0 0 0 17 0 0 0 /proc/16284/statm: 190454 189714 136 292 0 190159 0 Current children cumulated CPU time (s) 1241.78 Current children cumulated vsize (KiB) 761816 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16314 /proc/meminfo: memFree=1027200/2055920 swapFree=4191988/4192956 [pid=16284] ppid=16282 vsize=796024 CPUtime=1301.77 /proc/16284/stat : 16284 (wbo) R 16282 16284 16175 0 -1 4194304 200335 0 0 0 130012 165 0 0 25 0 1 0 73628416 815128576 198279 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 0 0 0 /proc/16284/statm: 199006 198279 136 292 0 198711 0 Current children cumulated CPU time (s) 1301.77 Current children cumulated vsize (KiB) 796024 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16314 /proc/meminfo: memFree=992000/2055920 swapFree=4191988/4192956 [pid=16284] ppid=16282 vsize=831616 CPUtime=1361.74 /proc/16284/stat : 16284 (wbo) R 16282 16284 16175 0 -1 4194304 209233 0 0 0 136001 173 0 0 25 0 1 0 73628416 851574784 207177 1992294400 134512640 135709839 4294956240 18446744073709551615 134577692 0 0 4096 3 0 0 0 17 0 0 0 /proc/16284/statm: 207904 207177 136 292 0 207609 0 Current children cumulated CPU time (s) 1361.74 Current children cumulated vsize (KiB) 831616 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16314 /proc/meminfo: memFree=956096/2055920 swapFree=4191988/4192956 [pid=16284] ppid=16282 vsize=867164 CPUtime=1421.72 /proc/16284/stat : 16284 (wbo) R 16282 16284 16175 0 -1 4194304 218115 0 0 0 141992 180 0 0 25 0 1 0 73628416 887975936 216059 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/16284/statm: 216791 216059 136 292 0 216496 0 Current children cumulated CPU time (s) 1421.72 Current children cumulated vsize (KiB) 867164 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16314 /proc/meminfo: memFree=918080/2055920 swapFree=4191988/4192956 [pid=16284] ppid=16282 vsize=905628 CPUtime=1481.7 /proc/16284/stat : 16284 (wbo) R 16282 16284 16175 0 -1 4194304 227699 0 0 0 147981 189 0 0 25 0 1 0 73628416 927363072 225643 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/16284/statm: 226407 225643 136 292 0 226112 0 Current children cumulated CPU time (s) 1481.7 Current children cumulated vsize (KiB) 905628 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16314 /proc/meminfo: memFree=881472/2055920 swapFree=4191988/4192956 [pid=16284] ppid=16282 vsize=941824 CPUtime=1541.67 /proc/16284/stat : 16284 (wbo) R 16282 16284 16175 0 -1 4194304 236732 0 0 0 153969 198 0 0 25 0 1 0 73628416 964427776 234676 1992294400 134512640 135709839 4294956240 18446744073709551615 134577726 0 0 4096 3 0 0 0 17 0 0 0 /proc/16284/statm: 235456 234676 136 292 0 235161 0 Current children cumulated CPU time (s) 1541.67 Current children cumulated vsize (KiB) 941824 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16314 /proc/meminfo: memFree=847296/2055920 swapFree=4191988/4192956 [pid=16284] ppid=16282 vsize=976392 CPUtime=1601.64 /proc/16284/stat : 16284 (wbo) R 16282 16284 16175 0 -1 4194304 245362 0 0 0 159958 206 0 0 25 0 1 0 73628416 999825408 243306 1992294400 134512640 135709839 4294956240 18446744073709551615 134601441 0 0 4096 3 0 0 0 17 0 0 0 /proc/16284/statm: 244098 243306 136 292 0 243803 0 Current children cumulated CPU time (s) 1601.64 Current children cumulated vsize (KiB) 976392 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16314 /proc/meminfo: memFree=811264/2055920 swapFree=4191988/4192956 [pid=16284] ppid=16282 vsize=1011752 CPUtime=1661.62 /proc/16284/stat : 16284 (wbo) R 16282 16284 16175 0 -1 4194304 254226 0 0 0 165948 214 0 0 25 0 1 0 73628416 1036034048 252170 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/16284/statm: 252938 252170 136 292 0 252643 0 Current children cumulated CPU time (s) 1661.62 Current children cumulated vsize (KiB) 1011752 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16314 /proc/meminfo: memFree=776512/2055920 swapFree=4191988/4192956 [pid=16284] ppid=16282 vsize=1047212 CPUtime=1721.6 /proc/16284/stat : 16284 (wbo) R 16282 16284 16175 0 -1 4194304 263065 0 0 0 171940 220 0 0 25 0 1 0 73628416 1072345088 261009 1992294400 134512640 135709839 4294956240 18446744073709551615 134518592 0 0 4096 3 0 0 0 17 0 0 0 /proc/16284/statm: 261803 261009 136 292 0 261508 0 Current children cumulated CPU time (s) 1721.6 Current children cumulated vsize (KiB) 1047212 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16314 /proc/meminfo: memFree=736704/2055920 swapFree=4191988/4192956 [pid=16284] ppid=16282 vsize=1086380 CPUtime=1781.57 /proc/16284/stat : 16284 (wbo) R 16282 16284 16175 0 -1 4194304 272869 0 0 0 177929 228 0 0 25 0 1 0 73628416 1112453120 270813 1992294400 134512640 135709839 4294956240 18446744073709551615 134517456 0 0 4096 3 0 0 0 17 0 0 0 /proc/16284/statm: 271595 270813 136 292 0 271300 0 Current children cumulated CPU time (s) 1781.57 Current children cumulated vsize (KiB) 1086380 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16314 /proc/meminfo: memFree=722368/2055920 swapFree=4191988/4192956 [pid=16284] ppid=16282 vsize=1100268 CPUtime=1800.07 /proc/16284/stat : 16284 (wbo) R 16282 16284 16175 0 -1 4194304 276355 0 0 0 179776 231 0 0 25 0 1 0 73628416 1126674432 274299 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/16284/statm: 275067 274299 136 292 0 274772 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1100268 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.91 s] /proc/loadavg: 1.00 1.00 1.00 2/67 16314 /proc/meminfo: memFree=722368/2055920 swapFree=4191988/4192956 [pid=16284] ppid=16282 vsize=0 CPUtime=1800.17 /proc/16284/stat : 16284 (wbo) R 16282 16284 16175 0 -1 4195332 276355 0 0 0 179776 241 0 0 25 0 1 0 73628416 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/16284/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.96 CPU time (s): 1800.23 CPU user time (s): 1797.76 CPU system time (s): 2.46862 CPU usage (%): 99.9595 Max. virtual memory (cumulated for all children) (KiB): 1100268 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.76 system time used= 2.46862 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 276355 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 3661 runsolver used 1.93171 second user time and 4.6303 second system time The end
Begin job on node40 at 2009-06-17 05:24:08 IDJOB=1875415 IDBENCH=48255 IDSOLVER=698 FILE ID=node40/1875415-1245209048 PBS_JOBID= 9368405 Free space on /tmp= 66560 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_25_1.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875415-1245209048/watcher-1875415-1245209048 -o /tmp/evaluation-result-1875415-1245209048/solver-1875415-1245209048 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875415-1245209048.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 02054528a722e9af7937139e87d0b5ac RANDOM SEED=1333885829 node40.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.216 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.216 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1824608 kB Buffers: 31084 kB Cached: 122416 kB SwapCached: 384 kB Active: 53016 kB Inactive: 114464 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1824608 kB SwapTotal: 4192956 kB SwapFree: 4191988 kB Dirty: 3300 kB Writeback: 0 kB Mapped: 23412 kB Slab: 49568 kB Committed_AS: 69872 kB PageTables: 1472 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875415-1245209048.opb Free space on /tmp at the end= 66556 MiB End job on node40 at 2009-06-17 05:54:13