Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.19 | 1800.63 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_60_3.opb |
MD5SUM | d5313ea0d4ce989dad692c9adfb6f827 |
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 | 20 |
Best CPU time to get the best result obtained on this benchmark | 1800.49 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 17 |
Optimality of the best value was proved | NO |
Number of variables | 500 |
Total number of constraints | 500 |
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 | 500 |
Minimum length of a constraint | 61 |
Maximum length of a constraint | 111 |
Number of terms in the objective function | 500 |
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 | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 500 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 37460 |
Sum of products size (including duplicates) | 74920 |
Number of different products | 37460 |
Sum of products size | 74920 |
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-1875284-1245192320.opb. 0.00/0.00 c Instance file HOME/instance-1875284-1245192320.opb 0.00/0.00 c File size is 2902193 bytes. 0.39/0.43 c Highest Coefficient sum: 112 0.39/0.43 c ============================[ Problem Statistics ]============================= 0.39/0.43 c | | 0.39/0.43 c | Parsing time: 0.42 s | 0.39/0.43 c | Number Variables: 37960 | 0.39/0.43 c | Number Clauses: 38460 | 0.39/0.43 c | Number Cardinality: 0 | 0.39/0.43 c | Number PB Constraints: 37460 | 0.39/0.43 c core #1 0.39/0.43 c Core size: 122 Core Weight: 1 Total Weight: 1 0.39/0.43 c Elapsed CPU time: 0.418936 s Remaining CPU time: 1799.58 s 0.49/0.56 c core #2 0.49/0.56 c Core size: 247 Core Weight: 1 Total Weight: 2 0.49/0.56 c Elapsed CPU time: 0.541917 s Remaining CPU time: 1799.46 s 0.69/0.71 c ============================[ Search Statistics ]============================== 0.69/0.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.71 c =============================================================================== 0.69/0.71 c | 0 | 13868 75922 191411 | 25307 0 nan | 0.000 % | 0.99/1.05 c | 104 | 13868 75922 191411 | 27838 104 556 | 63.638 % | 1.59/1.66 c =============================================================================== 1.59/1.66 c core #3 1.59/1.66 c Core size: 2724 Core Weight: 1 Total Weight: 3 1.59/1.66 c Elapsed CPU time: 1.63775 s Remaining CPU time: 1798.36 s 1.79/1.83 c ============================[ Search Statistics ]============================== 1.79/1.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.83 c =============================================================================== 1.79/1.83 c | 0 | 38302 75923 263584 | 25307 0 nan | 0.000 % | 2.29/2.31 c | 100 | 38302 75923 263584 | 27838 100 322 | 0.854 % | 3.59/3.64 c | 251 | 38302 75923 263584 | 30622 251 418 | 0.854 % | 5.89/5.92 c | 477 | 38302 75923 263584 | 33684 477 424 | 0.854 % | 8.59/8.68 c | 814 | 38302 75923 263584 | 37052 814 463 | 0.854 % | 15.08/15.19 c | 1320 | 38302 75923 263584 | 40758 1320 447 | 0.854 % | 24.38/24.46 c | 2079 | 38302 75923 263584 | 44834 2079 446 | 0.854 % | 36.58/36.65 c | 3219 | 38302 75923 263584 | 49317 3219 498 | 0.854 % | 54.37/54.40 c | 4929 | 38302 75923 263584 | 54249 4929 572 | 0.854 % | 90.57/90.61 c | 7491 | 38302 75923 263584 | 59674 7491 625 | 0.854 % | 147.26/147.35 c | 11335 | 38302 75923 263584 | 65641 11335 698 | 0.854 % | 212.54/212.69 c | 17101 | 38302 75923 263584 | 72205 17101 735 | 0.854 % | 329.71/329.87 c | 25750 | 38302 75923 263584 | 79426 25750 861 | 0.854 % | 529.56/529.79 c | 38724 | 38302 75923 263584 | 87368 38724 958 | 0.854 % | 821.30/821.53 c =============================================================================== 824.70/824.91 c core #4 824.70/824.91 c Core size: 35394 Core Weight: 1 Total Weight: 4 824.70/824.91 c Elapsed CPU time: 823.749 s Remaining CPU time: 976.251 s 824.89/825.17 c Learning 1 hard constraints 824.89/825.17 c ============================[ Search Statistics ]============================== 824.89/825.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 824.89/825.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 824.89/825.17 c =============================================================================== 824.89/825.17 c | 0 | 39132 75925 265568 | 25308 0 nan | 0.000 % | 825.20/825.49 c | 100 | 39132 75925 265568 | 27839 100 524 | 0.000 % | 825.90/826.12 c | 250 | 39132 75925 265568 | 30623 250 389 | 0.000 % | 827.59/827.85 c | 476 | 39132 75925 265568 | 33685 476 385 | 0.000 % | 829.69/829.90 c | 813 | 39132 75925 265568 | 37053 813 444 | 0.000 % | 831.99/832.29 c | 1319 | 39132 75925 265568 | 40759 1319 406 | 0.000 % | 840.69/840.93 c | 2079 | 39132 75925 265568 | 44835 2079 398 | 0.000 % | 850.08/850.30 c | 3218 | 39132 75925 265568 | 49318 3218 425 | 0.000 % | 866.09/866.36 c | 4931 | 39132 75925 265568 | 54250 4931 473 | 0.000 % | 884.77/885.06 c | 7495 | 39132 75925 265568 | 59675 7495 561 | 0.000 % | 914.17/914.43 c | 11339 | 39132 75925 265568 | 65643 11339 692 | 0.000 % | 952.46/952.74 c | 17107 | 39132 75925 265568 | 72207 17107 752 | 0.000 % | 1040.73/1041.07 c | 25759 | 39132 75925 265568 | 79428 25759 836 | 0.000 % | 1165.11/1165.45 c | 38734 | 39132 75925 265568 | 87371 38734 1070 | 0.000 % | 1346.36/1346.77 c | 58197 | 39132 75925 265568 | 96108 58197 1220 | 0.000 % | 1736.16/1736.68 c | 87389 | 39132 75925 265568 | 105719 87389 1562 | 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-1875284-1245192320/watcher-1875284-1245192320 -o /tmp/evaluation-result-1875284-1245192320/solver-1875284-1245192320 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875284-1245192320.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.11 1.03 1.01 3/64 7333 /proc/meminfo: memFree=1891816/2055920 swapFree=4181748/4192956 [pid=7333] ppid=7331 vsize=5724 CPUtime=0 /proc/7333/stat : 7333 (wbo) R 7331 7333 6883 0 -1 4194304 272 0 0 0 0 0 0 0 18 0 1 0 186832623 5861376 256 1992294400 134512640 135709839 4294956240 18446744073709551615 134570505 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 1431 256 125 292 0 427 0 [startup+0.0935131 s] /proc/loadavg: 1.11 1.03 1.01 3/64 7333 /proc/meminfo: memFree=1891816/2055920 swapFree=4181748/4192956 [pid=7333] ppid=7331 vsize=11036 CPUtime=0.08 /proc/7333/stat : 7333 (wbo) R 7331 7333 6883 0 -1 4194304 1649 0 0 0 8 0 0 0 18 0 1 0 186832623 11300864 1600 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 2759 1600 250 292 0 1755 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 11036 [startup+0.101513 s] /proc/loadavg: 1.11 1.03 1.01 3/64 7333 /proc/meminfo: memFree=1891816/2055920 swapFree=4181748/4192956 [pid=7333] ppid=7331 vsize=11188 CPUtime=0.09 /proc/7333/stat : 7333 (wbo) R 7331 7333 6883 0 -1 4194304 1689 0 0 0 9 0 0 0 18 0 1 0 186832623 11456512 1640 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 2797 1640 264 292 0 1793 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11188 [startup+0.301525 s] /proc/loadavg: 1.11 1.03 1.01 3/64 7333 /proc/meminfo: memFree=1891816/2055920 swapFree=4181748/4192956 [pid=7333] ppid=7331 vsize=13588 CPUtime=0.29 /proc/7333/stat : 7333 (wbo) R 7331 7333 6883 0 -1 4194304 2603 0 0 0 28 1 0 0 19 0 1 0 186832623 13914112 2554 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 3397 2555 597 292 0 2393 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13588 [startup+0.701551 s] /proc/loadavg: 1.11 1.03 1.01 3/64 7333 /proc/meminfo: memFree=1891816/2055920 swapFree=4181748/4192956 [pid=7333] ppid=7331 vsize=28668 CPUtime=0.69 /proc/7333/stat : 7333 (wbo) R 7331 7333 6883 0 -1 4194304 8018 0 0 0 67 2 0 0 22 0 1 0 186832623 29356032 6414 1992294400 134512640 135709839 4294956240 18446744073709551615 135162239 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 7167 6414 134 292 0 6872 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28668 [startup+1.5016 s] /proc/loadavg: 1.10 1.03 1.01 2/65 7334 /proc/meminfo: memFree=1868896/2055920 swapFree=4181748/4192956 [pid=7333] ppid=7331 vsize=26040 CPUtime=1.49 /proc/7333/stat : 7333 (wbo) R 7331 7333 6883 0 -1 4194304 8060 0 0 0 147 2 0 0 25 0 1 0 186832623 26664960 5860 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 6510 5860 136 292 0 6215 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 26040 [startup+3.10171 s] /proc/loadavg: 1.10 1.03 1.01 2/65 7334 /proc/meminfo: memFree=1864352/2055920 swapFree=4181748/4192956 [pid=7333] ppid=7331 vsize=29972 CPUtime=3.09 /proc/7333/stat : 7333 (wbo) R 7331 7333 6883 0 -1 4194304 9517 0 0 0 306 3 0 0 25 0 1 0 186832623 30691328 6869 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 7493 6869 136 292 0 7198 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 29972 [startup+6.30195 s] /proc/loadavg: 1.09 1.03 1.01 2/65 7334 /proc/meminfo: memFree=1864352/2055920 swapFree=4181748/4192956 [pid=7333] ppid=7331 vsize=29972 CPUtime=6.29 /proc/7333/stat : 7333 (wbo) R 7331 7333 6883 0 -1 4194304 9517 0 0 0 626 3 0 0 25 0 1 0 186832623 30691328 6869 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 7493 6869 136 292 0 7198 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29972 [startup+12.7013 s] /proc/loadavg: 1.08 1.03 1.01 2/65 7334 /proc/meminfo: memFree=1864360/2055920 swapFree=4181748/4192956 [pid=7333] ppid=7331 vsize=29972 CPUtime=12.69 /proc/7333/stat : 7333 (wbo) R 7331 7333 6883 0 -1 4194304 9534 0 0 0 1265 4 0 0 25 0 1 0 186832623 30691328 6886 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 7493 6886 136 292 0 7198 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 29972 [startup+25.5011 s] /proc/loadavg: 1.07 1.03 1.00 2/65 7334 /proc/meminfo: memFree=1862120/2055920 swapFree=4181748/4192956 [pid=7333] ppid=7331 vsize=32484 CPUtime=25.49 /proc/7333/stat : 7333 (wbo) R 7331 7333 6883 0 -1 4194304 10143 0 0 0 2543 6 0 0 25 0 1 0 186832623 33263616 7495 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 8121 7495 136 292 0 7826 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 32484 [startup+51.1018 s] /proc/loadavg: 1.04 1.02 1.00 2/65 7334 /proc/meminfo: memFree=1854824/2055920 swapFree=4181748/4192956 [pid=7333] ppid=7331 vsize=39908 CPUtime=51.08 /proc/7333/stat : 7333 (wbo) R 7331 7333 6883 0 -1 4194304 12020 0 0 0 5098 10 0 0 25 0 1 0 186832623 40865792 9372 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 9977 9372 136 292 0 9682 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 39908 [startup+102.305 s] /proc/loadavg: 1.02 1.02 1.00 2/65 7334 /proc/meminfo: memFree=1838888/2055920 swapFree=4181748/4192956 [pid=7333] ppid=7331 vsize=55616 CPUtime=102.27 /proc/7333/stat : 7333 (wbo) R 7331 7333 6883 0 -1 4194304 15933 0 0 0 10212 15 0 0 25 0 1 0 186832623 56950784 13285 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 13904 13285 136 292 0 13609 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 55616 [startup+162.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 7334 /proc/meminfo: memFree=1822056/2055920 swapFree=4181748/4192956 [pid=7333] ppid=7331 vsize=72628 CPUtime=162.25 /proc/7333/stat : 7333 (wbo) R 7331 7333 6883 0 -1 4194304 20166 0 0 0 16204 21 0 0 25 0 1 0 186832623 74371072 17518 1992294400 134512640 135709839 4294956240 18446744073709551615 135168492 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 18157 17519 136 292 0 17862 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 72628 [startup+222.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 7334 /proc/meminfo: memFree=1798952/2055920 swapFree=4181748/4192956 [pid=7333] ppid=7331 vsize=95460 CPUtime=222.23 /proc/7333/stat : 7333 (wbo) R 7331 7333 6883 0 -1 4194304 25878 0 0 0 22195 28 0 0 25 0 1 0 186832623 97751040 23230 1992294400 134512640 135709839 4294956240 18446744073709551615 134518593 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 23865 23230 136 292 0 23570 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 95460 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7334 /proc/meminfo: memFree=1772840/2055920 swapFree=4181748/4192956 [pid=7333] ppid=7331 vsize=121592 CPUtime=282.22 /proc/7333/stat : 7333 (wbo) R 7331 7333 6883 0 -1 4194304 32434 0 0 0 28186 36 0 0 25 0 1 0 186832623 124510208 29786 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 30398 29786 136 292 0 30103 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 121592 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7336 /proc/meminfo: memFree=1750312/2055920 swapFree=4181748/4192956 [pid=7333] ppid=7331 vsize=143912 CPUtime=342.21 /proc/7333/stat : 7333 (wbo) R 7331 7333 6883 0 -1 4194304 38007 0 0 0 34179 42 0 0 25 0 1 0 186832623 147365888 35359 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 35978 35359 136 292 0 35683 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 143912 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7336 /proc/meminfo: memFree=1727528/2055920 swapFree=4181748/4192956 [pid=7333] ppid=7331 vsize=166988 CPUtime=402.19 /proc/7333/stat : 7333 (wbo) R 7331 7333 6883 0 -1 4194304 43752 0 0 0 40169 50 0 0 25 0 1 0 186832623 170995712 41104 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 41747 41104 136 292 0 41452 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 166988 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7336 /proc/meminfo: memFree=1705512/2055920 swapFree=4181748/4192956 [pid=7333] ppid=7331 vsize=188748 CPUtime=462.17 /proc/7333/stat : 7333 (wbo) R 7331 7333 6883 0 -1 4194304 49223 0 0 0 46160 57 0 0 25 0 1 0 186832623 193277952 46575 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 47187 46575 136 292 0 46892 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 188748 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7336 /proc/meminfo: memFree=1681000/2055920 swapFree=4181748/4192956 [pid=7333] ppid=7331 vsize=213396 CPUtime=522.16 /proc/7333/stat : 7333 (wbo) R 7331 7333 6883 0 -1 4194304 55368 0 0 0 52152 64 0 0 25 0 1 0 186832623 218517504 52720 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 53349 52720 136 292 0 53054 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 213396 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7336 /proc/meminfo: memFree=1658856/2055920 swapFree=4181748/4192956 [pid=7333] ppid=7331 vsize=235564 CPUtime=582.15 /proc/7333/stat : 7333 (wbo) R 7331 7333 6883 0 -1 4194304 60879 0 0 0 58145 70 0 0 25 0 1 0 186832623 241217536 58231 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 58891 58231 136 292 0 58596 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 235564 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7336 /proc/meminfo: memFree=1641448/2055920 swapFree=4181748/4192956 [pid=7333] ppid=7331 vsize=252644 CPUtime=642.14 /proc/7333/stat : 7333 (wbo) R 7331 7333 6883 0 -1 4194304 65152 0 0 0 64138 76 0 0 25 0 1 0 186832623 258707456 62504 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 63161 62504 136 292 0 62866 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 252644 [startup+702.302 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7336 /proc/meminfo: memFree=1568552/2055920 swapFree=4181748/4192956 [pid=7333] ppid=7331 vsize=325264 CPUtime=882.08 /proc/7333/stat : 7333 (wbo) R 7331 7333 6883 0 -1 4194304 83876 0 0 0 88106 102 0 0 25 0 1 0 186832623 333070336 80638 1992294400 134512640 135709839 4294956240 18446744073709551615 134577675 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 81316 80638 136 292 0 81021 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 325264 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7342 /proc/meminfo: memFree=1568488/2055920 swapFree=4181748/4192956 [pid=7333] ppid=7331 vsize=325264 CPUtime=942.05 /proc/7333/stat : 7333 (wbo) R 7331 7333 6883 0 -1 4194304 83876 0 0 0 94096 109 0 0 25 0 1 0 186832623 333070336 80638 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 81316 80638 136 292 0 81021 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 325264 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7342 /proc/meminfo: memFree=1568552/2055920 swapFree=4181748/4192956 [pid=7333] ppid=7331 vsize=325264 CPUtime=1002.04 /proc/7333/stat : 7333 (wbo) R 7331 7333 6883 0 -1 4194304 83894 0 0 0 100090 114 0 0 25 0 1 0 186832623 333070336 80656 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 81316 80656 136 292 0 81021 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 325264 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7342 /proc/meminfo: memFree=1568488/2055920 swapFree=4181748/4192956 [pid=7333] ppid=7331 vsize=325264 CPUtime=1062.02 /proc/7333/stat : 7333 (wbo) R 7331 7333 6883 0 -1 4194304 83922 0 0 0 106084 118 0 0 25 0 1 0 186832623 333070336 80684 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 81316 80684 136 292 0 81021 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 325264 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7342 /proc/meminfo: memFree=1561064/2055920 swapFree=4181748/4192956 [pid=7333] ppid=7331 vsize=332772 CPUtime=1122.01 /proc/7333/stat : 7333 (wbo) R 7331 7333 6883 0 -1 4194304 85801 0 0 0 112077 124 0 0 25 0 1 0 186832623 340758528 82563 1992294400 134512640 135709839 4294956240 18446744073709551615 134518415 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 83193 82563 136 292 0 82898 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 332772 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7342 /proc/meminfo: memFree=1517032/2055920 swapFree=4181748/4192956 [pid=7333] ppid=7331 vsize=377276 CPUtime=1181.99 /proc/7333/stat : 7333 (wbo) R 7331 7333 6883 0 -1 4194304 96924 0 0 0 118066 133 0 0 25 0 1 0 186832623 386330624 93686 1992294400 134512640 135709839 4294956240 18446744073709551615 134573697 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 94319 93686 136 292 0 94024 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 377276 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7342 /proc/meminfo: memFree=1483304/2055920 swapFree=4181748/4192956 [pid=7333] ppid=7331 vsize=410380 CPUtime=1241.98 /proc/7333/stat : 7333 (wbo) R 7331 7333 6883 0 -1 4194304 105186 0 0 0 124053 145 0 0 25 0 1 0 186832623 420229120 101948 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 102595 101948 136 292 0 102300 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 410380 [startup+1302.3 s] /proc/loadavg: 1.07 1.02 1.00 2/65 7342 /proc/meminfo: memFree=1438760/2055920 swapFree=4181748/4192956 [pid=7333] ppid=7331 vsize=454580 CPUtime=1301.98 /proc/7333/stat : 7333 (wbo) R 7331 7333 6883 0 -1 4194304 116253 0 0 0 130039 159 0 0 25 0 1 0 186832623 465489920 113015 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 113645 113015 136 292 0 113350 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 454580 [startup+1362.3 s] /proc/loadavg: 1.08 1.03 1.00 2/65 7342 /proc/meminfo: memFree=1395432/2055920 swapFree=4181748/4192956 [pid=7333] ppid=7331 vsize=498184 CPUtime=1361.96 /proc/7333/stat : 7333 (wbo) R 7331 7333 6883 0 -1 4194304 127158 0 0 0 136028 168 0 0 25 0 1 0 186832623 510140416 123920 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 124546 123920 136 292 0 124251 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 498184 [startup+1422.31 s] /proc/loadavg: 1.03 1.02 1.00 2/65 7342 /proc/meminfo: memFree=1360872/2055920 swapFree=4181748/4192956 [pid=7333] ppid=7331 vsize=532528 CPUtime=1421.94 /proc/7333/stat : 7333 (wbo) R 7331 7333 6883 0 -1 4194304 135703 0 0 0 142018 176 0 0 25 0 1 0 186832623 545308672 132465 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 133132 132465 136 292 0 132837 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 532528 [startup+1482.3 s] /proc/loadavg: 1.01 1.01 1.00 2/65 7342 /proc/meminfo: memFree=1322344/2055920 swapFree=4181748/4192956 [pid=7333] ppid=7331 vsize=571496 CPUtime=1481.93 /proc/7333/stat : 7333 (wbo) R 7331 7333 6883 0 -1 4194304 145439 0 0 0 148007 186 0 0 25 0 1 0 186832623 585211904 142201 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 142874 142201 136 292 0 142579 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 571496 [startup+1542.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 7342 /proc/meminfo: memFree=1286248/2055920 swapFree=4181748/4192956 [pid=7333] ppid=7331 vsize=606968 CPUtime=1541.91 /proc/7333/stat : 7333 (wbo) R 7331 7333 6883 0 -1 4194304 154326 0 0 0 153998 193 0 0 25 0 1 0 186832623 621535232 151088 1992294400 134512640 135709839 4294956240 18446744073709551615 134574300 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 151742 151088 136 292 0 151447 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 606968 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7342 /proc/meminfo: memFree=1243816/2055920 swapFree=4181748/4192956 [pid=7333] ppid=7331 vsize=649552 CPUtime=1601.9 /proc/7333/stat : 7333 (wbo) R 7331 7333 6883 0 -1 4194304 164965 0 0 0 159988 202 0 0 25 0 1 0 186832623 665141248 161727 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 162388 161727 136 292 0 162093 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 649552 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7342 /proc/meminfo: memFree=1188456/2055920 swapFree=4181748/4192956 [pid=7333] ppid=7331 vsize=704708 CPUtime=1661.88 /proc/7333/stat : 7333 (wbo) R 7331 7333 6883 0 -1 4194304 178747 0 0 0 165974 214 0 0 25 0 1 0 186832623 721620992 175509 1992294400 134512640 135709839 4294956240 18446744073709551615 134573910 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 176177 175509 136 292 0 175882 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 704708 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7342 /proc/meminfo: memFree=1135976/2055920 swapFree=4181748/4192956 [pid=7333] ppid=7331 vsize=757544 CPUtime=1721.87 /proc/7333/stat : 7333 (wbo) R 7331 7333 6883 0 -1 4194304 191941 0 0 0 171963 224 0 0 25 0 1 0 186832623 775725056 188703 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 189386 188703 136 292 0 189091 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 757544 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7342 /proc/meminfo: memFree=1089896/2055920 swapFree=4181748/4192956 [pid=7333] ppid=7331 vsize=803084 CPUtime=1781.85 /proc/7333/stat : 7333 (wbo) R 7331 7333 6883 0 -1 4194304 203355 0 0 0 177953 232 0 0 25 0 1 0 186832623 822358016 200117 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 200771 200117 136 292 0 200476 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 803084 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7342 /proc/meminfo: memFree=1078440/2055920 swapFree=4181748/4192956 [pid=7333] ppid=7331 vsize=814288 CPUtime=1800.05 /proc/7333/stat : 7333 (wbo) R 7331 7333 6883 0 -1 4194304 206124 0 0 0 179771 234 0 0 25 0 1 0 186832623 833830912 202886 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 203572 202886 136 292 0 203277 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 814288 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 1.00 1.00 2/66 7343 /proc/meminfo: memFree=1711212/2055920 swapFree=4181748/4192956 [pid=7333] ppid=7331 vsize=0 CPUtime=1800.15 /proc/7333/stat : 7333 (wbo) R 7331 7333 6883 0 -1 4195332 206124 0 0 0 179771 244 0 0 25 0 1 0 186832623 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.63 CPU time (s): 1800.19 CPU user time (s): 1797.72 CPU system time (s): 2.47262 CPU usage (%): 99.9754 Max. virtual memory (cumulated for all children) (KiB): 814288 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.72 system time used= 2.47262 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 206124 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= 2766 runsolver used 1.16782 second user time and 3.9274 second system time The end
Begin job on node22 at 2009-06-17 00:45:21 IDJOB=1875284 IDBENCH=48124 IDSOLVER=698 FILE ID=node22/1875284-1245192320 PBS_JOBID= 9368290 Free space on /tmp= 66156 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_60_3.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-1875284-1245192320/watcher-1875284-1245192320 -o /tmp/evaluation-result-1875284-1245192320/solver-1875284-1245192320 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875284-1245192320.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d5313ea0d4ce989dad692c9adfb6f827 RANDOM SEED=1293813042 node22.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.231 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.231 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: 1894664 kB Buffers: 43384 kB Cached: 68820 kB SwapCached: 5504 kB Active: 60972 kB Inactive: 59168 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1894664 kB SwapTotal: 4192956 kB SwapFree: 4181748 kB Dirty: 2884 kB Writeback: 0 kB Mapped: 12960 kB Slab: 27084 kB Committed_AS: 165496 kB PageTables: 1372 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875284-1245192320.opb Free space on /tmp at the end= 66152 MiB End job on node22 at 2009-06-17 01:15:25