Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.1 | 1800.95 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_60_2.opb |
MD5SUM | cb610107b772b4f0726736eafa902b12 |
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 | 44 |
Best CPU time to get the best result obtained on this benchmark | 1800.46 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 38 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1000 |
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 | 1000 |
Minimum length of a constraint | 61 |
Maximum length of a constraint | 110 |
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 | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 75286 |
Sum of products size (including duplicates) | 150572 |
Number of different products | 75286 |
Sum of products size | 150572 |
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-1875310-1245196819.opb. 0.00/0.00 c Instance file HOME/instance-1875310-1245196819.opb 0.00/0.00 c File size is 5903915 bytes. 0.79/0.82 c Highest Coefficient sum: 111 0.79/0.83 c ============================[ Problem Statistics ]============================= 0.79/0.83 c | | 0.79/0.83 c | Parsing time: 0.80 s | 0.79/0.83 c | Number Variables: 76286 | 0.79/0.83 c | Number Clauses: 77286 | 0.79/0.83 c | Number Cardinality: 0 | 0.79/0.83 c | Number PB Constraints: 75286 | 0.79/0.83 c core #1 0.79/0.83 c Core size: 122 Core Weight: 1 Total Weight: 1 0.79/0.83 c Elapsed CPU time: 0.803877 s Remaining CPU time: 1799.2 s 0.99/1.01 c core #2 0.99/1.01 c Core size: 128 Core Weight: 1 Total Weight: 2 0.99/1.01 c Elapsed CPU time: 0.962853 s Remaining CPU time: 1799.04 s 1.19/1.26 c core #3 1.19/1.26 c Core size: 266 Core Weight: 1 Total Weight: 3 1.19/1.26 c Elapsed CPU time: 1.20782 s Remaining CPU time: 1798.79 s 1.49/1.56 c ============================[ Search Statistics ]============================== 1.49/1.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.56 c =============================================================================== 1.49/1.56 c | 0 | 20017 152575 361437 | 50858 0 nan | 0.000 % | 2.09/2.10 c | 101 | 20017 152575 361437 | 55944 101 342 | 73.848 % | 2.49/2.51 c =============================================================================== 2.49/2.51 c core #4 2.49/2.51 c Core size: 1423 Core Weight: 1 Total Weight: 4 2.49/2.51 c Elapsed CPU time: 2.42863 s Remaining CPU time: 1797.57 s 2.79/2.82 c ============================[ Search Statistics ]============================== 2.79/2.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.82 c =============================================================================== 2.79/2.82 c | 0 | 51681 152576 455037 | 50858 0 nan | 0.000 % | 3.19/3.28 c | 102 | 51681 152576 455037 | 55944 102 371 | 32.986 % | 6.29/6.33 c | 252 | 51681 152576 455037 | 61538 252 370 | 32.986 % | 10.89/10.94 c | 477 | 51681 152576 455037 | 67692 477 320 | 32.986 % | 17.59/17.67 c | 814 | 51681 152576 455037 | 74462 814 275 | 32.986 % | 30.17/30.22 c | 1325 | 51681 152576 455037 | 81908 1325 258 | 32.986 % | 45.46/45.53 c | 2085 | 51681 152576 455037 | 90099 2085 259 | 32.986 % | 64.95/65.05 c | 3230 | 51681 152576 455037 | 99109 3230 317 | 32.986 % | 97.84/97.94 c | 4939 | 51681 152576 455037 | 109020 4939 335 | 32.986 % | 144.21/144.37 c | 7504 | 51681 152576 455037 | 119922 7504 488 | 32.986 % | 215.49/215.62 c | 11348 | 51681 152576 455037 | 131914 11348 714 | 32.986 % | 325.73/325.99 c | 17115 | 51681 152576 455037 | 145105 17115 915 | 32.986 % | 501.35/501.64 c | 25766 | 51681 152576 455037 | 159616 25766 965 | 32.986 % | 673.47/673.82 c =============================================================================== 674.36/674.74 c core #5 674.36/674.74 c Core size: 8841 Core Weight: 1 Total Weight: 5 674.36/674.74 c Elapsed CPU time: 673.752 s Remaining CPU time: 1126.25 s 674.77/675.14 c ============================[ Search Statistics ]============================== 674.77/675.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 674.77/675.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 674.77/675.14 c =============================================================================== 674.77/675.14 c | 0 | 78120 152577 532670 | 50859 0 nan | 0.000 % | 675.67/676.06 c | 101 | 78120 152577 532670 | 55944 101 468 | 0.000 % | 678.07/678.42 c | 254 | 78120 152577 532670 | 61539 254 323 | 0.000 % | 683.27/683.64 c | 479 | 78120 152577 532670 | 67693 479 259 | 0.000 % | 692.37/692.77 c | 820 | 78120 152577 532670 | 74462 820 241 | 0.000 % | 705.05/705.46 c | 1326 | 78120 152577 532670 | 81908 1326 290 | 0.000 % | 718.84/719.27 c | 2085 | 78120 152577 532670 | 90099 2085 353 | 0.000 % | 735.04/735.47 c | 3224 | 78120 152577 532670 | 99109 3224 424 | 0.000 % | 767.92/768.35 c | 4932 | 78120 152577 532670 | 109020 4932 417 | 0.000 % | 826.90/827.38 c | 7495 | 78120 152577 532670 | 119922 7495 419 | 0.000 % | 890.98/891.41 c | 11339 | 78120 152577 532670 | 131915 11339 393 | 0.000 % | 1033.81/1034.39 c | 17106 | 78120 152577 532670 | 145106 17106 430 | 0.000 % | 1202.24/1202.81 c | 25757 | 78120 152577 532670 | 159617 25757 447 | 0.000 % | 1359.37/1360.09 c | 38732 | 78120 152577 532670 | 175579 38732 445 | 0.000 % | 1583.64/1584.41 c | 58195 | 78120 152577 532670 | 193136 58195 471 | 0.000 % |
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-1875310-1245196819/watcher-1875310-1245196819 -o /tmp/evaluation-result-1875310-1245196819/solver-1875310-1245196819 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875310-1245196819.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.99 3/65 17102 /proc/meminfo: memFree=1823168/2055920 swapFree=4192812/4192956 [pid=17102] ppid=17100 vsize=8608 CPUtime=0 /proc/17102/stat : 17102 (wbo) R 17100 17102 16865 0 -1 4194304 279 0 0 0 0 0 0 0 18 0 1 0 187281120 8814592 263 1992294400 134512640 135709839 4294956240 18446744073709551615 134570505 0 0 4096 3 0 0 0 17 0 0 0 /proc/17102/statm: 2152 263 125 292 0 415 0 [startup+0.096676 s] /proc/loadavg: 0.99 0.97 0.99 3/65 17102 /proc/meminfo: memFree=1823168/2055920 swapFree=4192812/4192956 [pid=17102] ppid=17100 vsize=16380 CPUtime=0.08 /proc/17102/stat : 17102 (wbo) R 17100 17102 16865 0 -1 4194304 2161 0 0 0 8 0 0 0 18 0 1 0 187281120 16773120 2004 1992294400 134512640 135709839 4294956240 18446744073709551615 134607596 0 0 4096 3 0 0 0 17 0 0 0 /proc/17102/statm: 4095 2005 245 292 0 2358 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 16380 [startup+0.101668 s] /proc/loadavg: 0.99 0.97 0.99 3/65 17102 /proc/meminfo: memFree=1823168/2055920 swapFree=4192812/4192956 [pid=17102] ppid=17100 vsize=16512 CPUtime=0.09 /proc/17102/stat : 17102 (wbo) R 17100 17102 16865 0 -1 4194304 2252 0 0 0 9 0 0 0 18 0 1 0 187281120 16908288 2095 1992294400 134512640 135709839 4294956240 18446744073709551615 134570700 0 0 4096 3 0 0 0 17 0 0 0 /proc/17102/statm: 4128 2095 252 292 0 2391 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 16512 [startup+0.301703 s] /proc/loadavg: 0.99 0.97 0.99 3/65 17102 /proc/meminfo: memFree=1823168/2055920 swapFree=4192812/4192956 [pid=17102] ppid=17100 vsize=22384 CPUtime=0.29 /proc/17102/stat : 17102 (wbo) R 17100 17102 16865 0 -1 4194304 3881 0 0 0 28 1 0 0 19 0 1 0 187281120 22921216 3659 1992294400 134512640 135709839 4294956240 18446744073709551615 134557204 0 0 4096 3 0 0 0 17 0 0 0 /proc/17102/statm: 5596 3660 603 292 0 3859 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22384 [startup+0.701778 s] /proc/loadavg: 0.99 0.97 0.99 3/65 17102 /proc/meminfo: memFree=1823168/2055920 swapFree=4192812/4192956 [pid=17102] ppid=17100 vsize=27372 CPUtime=0.69 /proc/17102/stat : 17102 (wbo) R 17100 17102 16865 0 -1 4194304 5862 0 0 0 68 1 0 0 23 0 1 0 187281120 28028928 5640 1992294400 134512640 135709839 4294956240 18446744073709551615 135187191 0 0 4096 3 0 0 0 17 0 0 0 /proc/17102/statm: 6843 5640 1325 292 0 5106 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27372 [startup+1.50193 s] /proc/loadavg: 0.99 0.97 0.99 2/66 17103 /proc/meminfo: memFree=1786424/2055920 swapFree=4192812/4192956 [pid=17102] ppid=17100 vsize=58744 CPUtime=1.49 /proc/17102/stat : 17102 (wbo) R 17100 17102 16865 0 -1 4194304 18091 0 0 0 141 8 0 0 25 0 1 0 187281120 60153856 13140 1992294400 134512640 135709839 4294956240 18446744073709551615 135182835 0 0 4096 3 0 0 0 17 0 0 0 /proc/17102/statm: 14686 13140 134 292 0 14391 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 58744 [startup+3.10123 s] /proc/loadavg: 0.99 0.97 0.99 2/66 17103 /proc/meminfo: memFree=1775480/2055920 swapFree=4192812/4192956 [pid=17102] ppid=17100 vsize=58300 CPUtime=3.09 /proc/17102/stat : 17102 (wbo) R 17100 17102 16865 0 -1 4194304 20851 0 0 0 300 9 0 0 25 0 1 0 187281120 59699200 13507 1992294400 134512640 135709839 4294956240 18446744073709551615 134577298 0 0 4096 3 0 0 0 17 0 0 0 /proc/17102/statm: 14575 13507 136 292 0 14280 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 58300 [startup+6.30182 s] /proc/loadavg: 0.99 0.97 0.99 2/66 17103 /proc/meminfo: memFree=1769408/2055920 swapFree=4192812/4192956 [pid=17102] ppid=17100 vsize=58300 CPUtime=6.29 /proc/17102/stat : 17102 (wbo) R 17100 17102 16865 0 -1 4194304 20851 0 0 0 619 10 0 0 25 0 1 0 187281120 59699200 13507 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0 /proc/17102/statm: 14575 13507 136 292 0 14280 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 58300 [startup+12.702 s] /proc/loadavg: 0.99 0.97 0.99 2/66 17103 /proc/meminfo: memFree=1769280/2055920 swapFree=4192812/4192956 [pid=17102] ppid=17100 vsize=58300 CPUtime=12.69 /proc/17102/stat : 17102 (wbo) R 17100 17102 16865 0 -1 4194304 20851 0 0 0 1259 10 0 0 25 0 1 0 187281120 59699200 13507 1992294400 134512640 135709839 4294956240 18446744073709551615 134572704 0 0 4096 3 0 0 0 17 0 0 0 /proc/17102/statm: 14575 13507 136 292 0 14280 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 58300 [startup+25.5014 s] /proc/loadavg: 0.99 0.97 0.99 2/66 17103 /proc/meminfo: memFree=1769408/2055920 swapFree=4192812/4192956 [pid=17102] ppid=17100 vsize=58300 CPUtime=25.48 /proc/17102/stat : 17102 (wbo) R 17100 17102 16865 0 -1 4194304 20851 0 0 0 2538 10 0 0 25 0 1 0 187281120 59699200 13507 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 0 0 0 /proc/17102/statm: 14575 13507 136 292 0 14280 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 58300 [startup+51.1012 s] /proc/loadavg: 0.99 0.97 0.99 2/66 17109 /proc/meminfo: memFree=1769272/2055920 swapFree=4192812/4192956 [pid=17102] ppid=17100 vsize=58300 CPUtime=51.05 /proc/17102/stat : 17102 (wbo) R 17100 17102 16865 0 -1 4194304 20907 0 0 0 5093 12 0 0 25 0 1 0 187281120 59699200 13563 1992294400 134512640 135709839 4294956240 18446744073709551615 134518415 0 0 4096 3 0 0 0 17 0 0 0 /proc/17102/statm: 14575 13563 136 292 0 14280 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 58300 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.99 2/66 17109 /proc/meminfo: memFree=1763256/2055920 swapFree=4192812/4192956 [pid=17102] ppid=17100 vsize=64384 CPUtime=102.24 /proc/17102/stat : 17102 (wbo) R 17100 17102 16865 0 -1 4194304 22412 0 0 0 10208 16 0 0 25 0 1 0 187281120 65929216 15068 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/17102/statm: 16096 15068 136 292 0 15801 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 64384 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/66 17109 /proc/meminfo: memFree=1749048/2055920 swapFree=4192812/4192956 [pid=17102] ppid=17100 vsize=78496 CPUtime=162.21 /proc/17102/stat : 17102 (wbo) R 17100 17102 16865 0 -1 4194304 25958 0 0 0 16199 22 0 0 25 0 1 0 187281120 80379904 18614 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 1 0 0 /proc/17102/statm: 19624 18614 136 292 0 19329 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 78496 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/66 17109 /proc/meminfo: memFree=1731256/2055920 swapFree=4192812/4192956 [pid=17102] ppid=17100 vsize=96308 CPUtime=222.17 /proc/17102/stat : 17102 (wbo) R 17100 17102 16865 0 -1 4194304 30403 0 0 0 22191 26 0 0 25 0 1 0 187281120 98619392 23059 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 0 0 0 /proc/17102/statm: 24077 23059 136 292 0 23782 0 Current children cumulated CPU time (s) 222.17 Current children cumulated vsize (KiB) 96308 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/66 17109 /proc/meminfo: memFree=1711352/2055920 swapFree=4192812/4192956 [pid=17102] ppid=17100 vsize=116164 CPUtime=282.15 /proc/17102/stat : 17102 (wbo) R 17100 17102 16865 0 -1 4194304 35350 0 0 0 28184 31 0 0 25 0 1 0 187281120 118951936 28006 1992294400 134512640 135709839 4294956240 18446744073709551615 134518415 0 0 4096 3 0 0 0 17 0 0 0 /proc/17102/statm: 29041 28006 136 292 0 28746 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 116164 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/66 17109 /proc/meminfo: memFree=1693880/2055920 swapFree=4192812/4192956 [pid=17102] ppid=17100 vsize=133536 CPUtime=342.12 /proc/17102/stat : 17102 (wbo) R 17100 17102 16865 0 -1 4194304 39725 0 0 0 34175 37 0 0 25 0 1 0 187281120 136740864 32381 1992294400 134512640 135709839 4294956240 18446744073709551615 134587978 0 0 4096 3 0 0 0 17 0 0 0 /proc/17102/statm: 33384 32381 136 292 0 33089 0 Current children cumulated CPU time (s) 342.12 Current children cumulated vsize (KiB) 133536 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/66 17109 /proc/meminfo: memFree=1681728/2055920 swapFree=4192812/4192956 [pid=17102] ppid=17100 vsize=145580 CPUtime=402.1 /proc/17102/stat : 17102 (wbo) R 17100 17102 16865 0 -1 4194304 42728 0 0 0 40167 43 0 0 25 0 1 0 187281120 149073920 35384 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 0 0 0 /proc/17102/statm: 36395 35384 136 292 0 36100 0 Current children cumulated CPU time (s) 402.1 Current children cumulated vsize (KiB) 145580 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.99 2/66 17109 /proc/meminfo: memFree=1661824/2055920 swapFree=4192812/4192956 [pid=17102] ppid=17100 vsize=165408 CPUtime=462.06 /proc/17102/stat : 17102 (wbo) R 17100 17102 16865 0 -1 4194304 47686 0 0 0 46158 48 0 0 25 0 1 0 187281120 169377792 40342 1992294400 134512640 135709839 4294956240 18446744073709551615 134518415 0 0 4096 3 0 0 0 17 0 0 0 /proc/17102/statm: 41352 40342 136 292 0 41057 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 165408 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/66 17109 /proc/meminfo: memFree=1650240/2055920 swapFree=4192812/4192956 [pid=17102] ppid=17100 vsize=177416 CPUtime=522.04 /proc/17102/stat : 17102 (wbo) R 17100 17102 16865 0 -1 4194304 50691 0 0 0 52151 53 0 0 25 0 1 0 187281120 181673984 43347 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/17102/statm: 44354 43347 136 292 0 44059 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 177416 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/66 17109 /proc/meminfo: memFree=1631296/2055920 swapFree=4192812/4192956 [pid=17102] ppid=17100 vsize=195932 CPUtime=582.02 /proc/17102/stat : 17102 (wbo) R 17100 17102 16865 0 -1 4194304 55305 0 0 0 58143 59 0 0 25 0 1 0 187281120 200634368 47961 1992294400 134512640 135709839 4294956240 18446744073709551615 134518154 0 0 4096 3 0 0 0 17 0 0 0 /proc/17102/statm: 48983 47961 136 292 0 48688 0 Current children cumulated CPU time (s) 582.02 Current children cumulated vsize (KiB) 195932 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/66 17109 /proc/meminfo: memFree=1613568/2055920 swapFree=4192812/4192956 [pid=17102] ppid=17100 vsize=213580 CPUtime=641.99 /proc/17102/stat : 17102 (wbo) R 17100 17102 16865 0 -1 4194304 59722 0 0 0 64135 64 0 0 25 0 1 0 187281120 218705920 52378 1992294400 134512640 135709839 4294956240 18446744073709551615 134601448 0 0 4096 3 0 0 0 17 0 0 0 /proc/17102/statm: 53395 52378 136 292 0 53100 0 Current children cumulated CPU time (s) 641.99 Current children cumulated vsize (KiB) 213580 [startup+702.302 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.99 2/66 17109 /proc/meminfo: memFree=1591296/2055920 swapFree=4192812/4192956 [pid=17102] ppid=17100 vsize=235496 CPUtime=881.87 /proc/17102/stat : 17102 (wbo) R 17100 17102 16865 0 -1 4194304 66374 0 0 0 88108 79 0 0 25 0 1 0 187281120 241147904 57825 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 0 0 0 /proc/17102/statm: 58874 57825 136 292 0 58579 0 Current children cumulated CPU time (s) 881.87 Current children cumulated vsize (KiB) 235496 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.99 2/66 17109 /proc/meminfo: memFree=1591296/2055920 swapFree=4192812/4192956 [pid=17102] ppid=17100 vsize=235496 CPUtime=941.85 /proc/17102/stat : 17102 (wbo) R 17100 17102 16865 0 -1 4194304 66375 0 0 0 94104 81 0 0 25 0 1 0 187281120 241147904 57826 1992294400 134512640 135709839 4294956240 18446744073709551615 134587994 0 0 4096 3 0 0 0 17 0 0 0 /proc/17102/statm: 58874 57826 136 292 0 58579 0 Current children cumulated CPU time (s) 941.85 Current children cumulated vsize (KiB) 235496 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 17109 /proc/meminfo: memFree=1591232/2055920 swapFree=4192812/4192956 [pid=17102] ppid=17100 vsize=235496 CPUtime=1001.82 /proc/17102/stat : 17102 (wbo) R 17100 17102 16865 0 -1 4194304 66376 0 0 0 100099 83 0 0 25 0 1 0 187281120 241147904 57827 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/17102/statm: 58874 57827 136 292 0 58579 0 Current children cumulated CPU time (s) 1001.82 Current children cumulated vsize (KiB) 235496 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 17109 /proc/meminfo: memFree=1591232/2055920 swapFree=4192812/4192956 [pid=17102] ppid=17100 vsize=235496 CPUtime=1061.8 /proc/17102/stat : 17102 (wbo) R 17100 17102 16865 0 -1 4194304 66376 0 0 0 106094 86 0 0 25 0 1 0 187281120 241147904 57827 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 0 0 0 /proc/17102/statm: 58874 57827 136 292 0 58579 0 Current children cumulated CPU time (s) 1061.8 Current children cumulated vsize (KiB) 235496 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 17109 /proc/meminfo: memFree=1591168/2055920 swapFree=4192812/4192956 [pid=17102] ppid=17100 vsize=235496 CPUtime=1121.77 /proc/17102/stat : 17102 (wbo) R 17100 17102 16865 0 -1 4194304 66379 0 0 0 112088 89 0 0 25 0 1 0 187281120 241147904 57830 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 0 0 0 /proc/17102/statm: 58874 57830 136 292 0 58579 0 Current children cumulated CPU time (s) 1121.77 Current children cumulated vsize (KiB) 235496 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 17109 /proc/meminfo: memFree=1591168/2055920 swapFree=4192812/4192956 [pid=17102] ppid=17100 vsize=235496 CPUtime=1181.75 /proc/17102/stat : 17102 (wbo) R 17100 17102 16865 0 -1 4194304 66379 0 0 0 118083 92 0 0 25 0 1 0 187281120 241147904 57830 1992294400 134512640 135709839 4294956240 18446744073709551615 134572768 0 0 4096 3 0 0 0 17 0 0 0 /proc/17102/statm: 58874 57830 136 292 0 58579 0 Current children cumulated CPU time (s) 1181.75 Current children cumulated vsize (KiB) 235496 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 17109 /proc/meminfo: memFree=1591104/2055920 swapFree=4192812/4192956 [pid=17102] ppid=17100 vsize=235496 CPUtime=1241.71 /proc/17102/stat : 17102 (wbo) R 17100 17102 16865 0 -1 4194304 66379 0 0 0 124076 95 0 0 25 0 1 0 187281120 241147904 57830 1992294400 134512640 135709839 4294956240 18446744073709551615 134572715 0 0 4096 3 0 0 0 17 0 0 0 /proc/17102/statm: 58874 57830 136 292 0 58579 0 Current children cumulated CPU time (s) 1241.71 Current children cumulated vsize (KiB) 235496 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 17109 /proc/meminfo: memFree=1591104/2055920 swapFree=4192812/4192956 [pid=17102] ppid=17100 vsize=235496 CPUtime=1301.69 /proc/17102/stat : 17102 (wbo) R 17100 17102 16865 0 -1 4194304 66379 0 0 0 130070 99 0 0 25 0 1 0 187281120 241147904 57830 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/17102/statm: 58874 57830 136 292 0 58579 0 Current children cumulated CPU time (s) 1301.69 Current children cumulated vsize (KiB) 235496 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 17109 /proc/meminfo: memFree=1591104/2055920 swapFree=4192812/4192956 [pid=17102] ppid=17100 vsize=235496 CPUtime=1361.67 /proc/17102/stat : 17102 (wbo) R 17100 17102 16865 0 -1 4194304 66379 0 0 0 136064 103 0 0 25 0 1 0 187281120 241147904 57830 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 0 0 0 /proc/17102/statm: 58874 57830 136 292 0 58579 0 Current children cumulated CPU time (s) 1361.67 Current children cumulated vsize (KiB) 235496 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/66 17109 /proc/meminfo: memFree=1591040/2055920 swapFree=4192812/4192956 [pid=17102] ppid=17100 vsize=235496 CPUtime=1421.64 /proc/17102/stat : 17102 (wbo) R 17100 17102 16865 0 -1 4194304 66407 0 0 0 142057 107 0 0 25 0 1 0 187281120 241147904 57858 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/17102/statm: 58874 57858 136 292 0 58579 0 Current children cumulated CPU time (s) 1421.64 Current children cumulated vsize (KiB) 235496 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 17109 /proc/meminfo: memFree=1591040/2055920 swapFree=4192812/4192956 [pid=17102] ppid=17100 vsize=235496 CPUtime=1481.6 /proc/17102/stat : 17102 (wbo) R 17100 17102 16865 0 -1 4194304 66407 0 0 0 148049 111 0 0 25 0 1 0 187281120 241147904 57858 1992294400 134512640 135709839 4294956240 18446744073709551615 134587992 0 0 4096 3 0 0 0 17 0 0 0 /proc/17102/statm: 58874 57858 136 292 0 58579 0 Current children cumulated CPU time (s) 1481.6 Current children cumulated vsize (KiB) 235496 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 17109 /proc/meminfo: memFree=1579328/2055920 swapFree=4192812/4192956 [pid=17102] ppid=17100 vsize=247244 CPUtime=1541.57 /proc/17102/stat : 17102 (wbo) R 17100 17102 16865 0 -1 4194304 69363 0 0 0 154039 118 0 0 25 0 1 0 187281120 253177856 60814 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 0 0 0 /proc/17102/statm: 61811 60814 136 292 0 61516 0 Current children cumulated CPU time (s) 1541.57 Current children cumulated vsize (KiB) 247244 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 17109 /proc/meminfo: memFree=1565120/2055920 swapFree=4192812/4192956 [pid=17102] ppid=17100 vsize=261528 CPUtime=1601.53 /proc/17102/stat : 17102 (wbo) R 17100 17102 16865 0 -1 4194304 72909 0 0 0 160028 125 0 0 25 0 1 0 187281120 267804672 64360 1992294400 134512640 135709839 4294956240 18446744073709551615 134572568 0 0 4096 3 0 0 0 17 0 0 0 /proc/17102/statm: 65382 64360 136 292 0 65087 0 Current children cumulated CPU time (s) 1601.53 Current children cumulated vsize (KiB) 261528 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 17109 /proc/meminfo: memFree=1548864/2055920 swapFree=4192812/4192956 [pid=17102] ppid=17100 vsize=277796 CPUtime=1661.51 /proc/17102/stat : 17102 (wbo) R 17100 17102 16865 0 -1 4194304 76957 0 0 0 166017 134 0 0 25 0 1 0 187281120 284463104 68408 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0 /proc/17102/statm: 69449 68408 136 292 0 69154 0 Current children cumulated CPU time (s) 1661.51 Current children cumulated vsize (KiB) 277796 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 17109 /proc/meminfo: memFree=1533440/2055920 swapFree=4192812/4192956 [pid=17102] ppid=17100 vsize=293456 CPUtime=1721.48 /proc/17102/stat : 17102 (wbo) R 17100 17102 16865 0 -1 4194304 80850 0 0 0 172007 141 0 0 25 0 1 0 187281120 300498944 72301 1992294400 134512640 135709839 4294956240 18446744073709551615 134601448 0 0 4096 3 0 0 0 17 0 0 0 /proc/17102/statm: 73364 72301 136 292 0 73069 0 Current children cumulated CPU time (s) 1721.48 Current children cumulated vsize (KiB) 293456 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 17109 /proc/meminfo: memFree=1520384/2055920 swapFree=4192812/4192956 [pid=17102] ppid=17100 vsize=306280 CPUtime=1781.45 /proc/17102/stat : 17102 (wbo) R 17100 17102 16865 0 -1 4194304 84045 0 0 0 177999 146 0 0 25 0 1 0 187281120 313630720 75496 1992294400 134512640 135709839 4294956240 18446744073709551615 134587989 0 0 4096 3 0 0 0 17 0 0 0 /proc/17102/statm: 76570 75496 136 292 0 76275 0 Current children cumulated CPU time (s) 1781.45 Current children cumulated vsize (KiB) 306280 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.9 s] /proc/loadavg: 0.99 0.97 0.99 2/66 17109 /proc/meminfo: memFree=1516800/2055920 swapFree=4192812/4192956 [pid=17102] ppid=17100 vsize=309720 CPUtime=1800.04 /proc/17102/stat : 17102 (wbo) R 17100 17102 16865 0 -1 4194304 84917 0 0 0 179857 147 0 0 25 0 1 0 187281120 317153280 76368 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 0 0 0 /proc/17102/statm: 77430 76368 136 292 0 77135 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 309720 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.9 s] /proc/loadavg: 0.99 0.97 0.99 2/66 17109 /proc/meminfo: memFree=1516800/2055920 swapFree=4192812/4192956 [pid=17102] ppid=17100 vsize=309720 CPUtime=1800.04 /proc/17102/stat : 17102 (wbo) R 17100 17102 16865 0 -1 4194304 84917 0 0 0 179857 147 0 0 25 0 1 0 187281120 317153280 76368 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 0 0 0 /proc/17102/statm: 77430 76368 136 292 0 77135 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 309720 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.95 CPU time (s): 1800.1 CPU user time (s): 1798.58 CPU system time (s): 1.52577 CPU usage (%): 99.9528 Max. virtual memory (cumulated for all children) (KiB): 309720 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.58 system time used= 1.52577 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 84917 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= 6724 runsolver used 1.90271 second user time and 4.65829 second system time The end
Begin job on node81 at 2009-06-17 02:00:19 IDJOB=1875310 IDBENCH=48150 IDSOLVER=698 FILE ID=node81/1875310-1245196819 PBS_JOBID= 9368328 Free space on /tmp= 126776 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_60_2.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-1875310-1245196819/watcher-1875310-1245196819 -o /tmp/evaluation-result-1875310-1245196819/solver-1875310-1245196819 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875310-1245196819.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= cb610107b772b4f0726736eafa902b12 RANDOM SEED=1075182927 node81.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.268 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.268 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1828576 kB Buffers: 43128 kB Cached: 110212 kB SwapCached: 0 kB Active: 80536 kB Inactive: 87644 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1828576 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 3416 kB Writeback: 0 kB Mapped: 24644 kB Slab: 44968 kB Committed_AS: 104836 kB PageTables: 1460 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-1875310-1245196819.opb Free space on /tmp at the end= 126768 MiB End job on node81 at 2009-06-17 02:30:25