Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | ? (TO) | 1800.27 | 1800.77 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_10_2_40.opb |
MD5SUM | f3f7503aace115ec5eea1f9ed4e29626 |
Bench Category | DEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 200 |
Total number of constraints | 302 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 201 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 200 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 40 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2520 |
Sum of products size (including duplicates) | 5040 |
Number of different products | 1260 |
Sum of products size | 2520 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2671198-1276720934.opb. 0.00/0.00 c Instance file HOME/instance-2671198-1276720934.opb 0.00/0.00 c File size is 107626 bytes. 0.00/0.02 c Highest Coefficient sum: 200 0.00/0.02 c ============================[ Problem Statistics ]============================= 0.00/0.02 c | | 0.00/0.02 c | Parsing time: 0.02 s | 0.00/0.02 c | Number Variables: 1460 | 0.00/0.02 c | Number Clauses: 1360 | 0.00/0.02 c | Number Cardinality: 203 | 0.00/0.02 c | Number PB Constraints: 1260 | 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 1460 2823 10780 | 5000 0 nan | 0.000 % | 0.00/0.04 c | 102 | 1460 2823 10780 | 5500 102 138 | 0.001 % | 0.00/0.05 c | 252 | 1460 2823 10780 | 6050 252 139 | 0.001 % | 0.09/0.11 c | 477 | 1460 2823 10780 | 6655 477 93 | 0.001 % | 0.09/0.18 c | 814 | 1460 2823 10780 | 7320 814 80 | 0.001 % | 0.19/0.28 c | 1320 | 1460 2823 10780 | 8052 1320 76 | 0.001 % | 0.39/0.41 c | 2079 | 1460 2823 10780 | 8857 2079 74 | 0.001 % | 0.59/0.60 c | 3218 | 1460 2823 10780 | 9743 3218 84 | 0.001 % | 0.88/0.93 c | 4926 | 1460 2823 10780 | 10717 4926 90 | 0.001 % | 1.39/1.40 c | 7488 | 1460 2823 10780 | 11789 7488 84 | 0.001 % | 2.09/2.17 c | 11333 | 1460 2823 10780 | 12968 11333 78 | 0.001 % | 3.30/3.32 c | 17099 | 1460 2823 10780 | 14265 10163 65 | 0.001 % | 5.08/5.13 c | 25748 | 1460 2823 10780 | 15692 11195 69 | 0.001 % | 8.38/8.47 c | 38722 | 1460 2823 10780 | 17261 15724 69 | 0.001 % | 14.19/14.22 c | 58183 | 1460 2823 10780 | 18987 16866 78 | 0.001 % | 21.18/21.28 c | 87375 | 1460 2823 10780 | 20886 15884 66 | 0.001 % | 32.68/32.70 c | 131164 | 1460 2823 10780 | 22974 15879 63 | 0.001 % | 49.57/49.69 c | 196848 | 1460 2823 10780 | 25272 16320 69 | 0.001 % | 77.77/77.82 c | 295374 | 1460 2823 10780 | 27799 24401 76 | 0.001 % | 129.25/129.30 c | 443163 | 1460 2823 10780 | 30579 14032 72 | 0.001 % | 205.04/205.16 c | 664846 | 1460 2823 10780 | 33637 13050 76 | 0.001 % | 304.20/304.36 c | 997371 | 1460 2823 10780 | 37001 20872 71 | 0.001 % | 477.26/477.44 c | 1496160 | 1460 2823 10780 | 40701 18603 64 | 0.001 % | 740.18/740.44 c | 2244342 | 1460 2823 10780 | 44771 17314 67 | 0.001 % | 1177.36/1177.72 c | 3366616 | 1460 2823 10780 | 49248 22577 73 | 0.001 % |
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-2671198-1276720934/watcher-2671198-1276720934 -o /tmp/evaluation-result-2671198-1276720934/solver-2671198-1276720934 -C 1800 -W 2000 -M 1800 wbo1.4a -file-format=opb -time-limit=1800 HOME/instance-2671198-1276720934.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.98 0.99 3/105 19666 /proc/meminfo: memFree=1875544/2059040 swapFree=4136376/4192956 [pid=19666] ppid=19664 vsize=2816 CPUtime=0 /proc/19666/stat : 19666 (wbo1.4a) R 19664 19666 19260 0 -1 4202496 322 0 0 0 0 0 0 0 25 0 1 0 13387125 2883584 241 1992294400 134512640 135751879 4288566448 18446744073709551615 134564675 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19666/statm: 704 241 136 303 0 372 0 [startup+0.0616749 s] /proc/loadavg: 0.99 0.98 0.99 3/105 19666 /proc/meminfo: memFree=1875544/2059040 swapFree=4136376/4192956 [pid=19666] ppid=19664 vsize=3248 CPUtime=0.05 /proc/19666/stat : 19666 (wbo1.4a) R 19664 19666 19260 0 -1 4202496 476 0 0 0 5 0 0 0 25 0 1 0 13387125 3325952 368 1992294400 134512640 135751879 4288566448 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19666/statm: 812 368 143 303 0 507 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3248 [startup+0.100678 s] /proc/loadavg: 0.99 0.98 0.99 3/105 19666 /proc/meminfo: memFree=1875544/2059040 swapFree=4136376/4192956 [pid=19666] ppid=19664 vsize=3248 CPUtime=0.09 /proc/19666/stat : 19666 (wbo1.4a) R 19664 19666 19260 0 -1 4202496 488 0 0 0 9 0 0 0 25 0 1 0 13387125 3325952 380 1992294400 134512640 135751879 4288566448 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19666/statm: 812 380 143 303 0 507 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3248 [startup+0.300701 s] /proc/loadavg: 0.99 0.98 0.99 3/105 19666 /proc/meminfo: memFree=1875544/2059040 swapFree=4136376/4192956 [pid=19666] ppid=19664 vsize=3632 CPUtime=0.28 /proc/19666/stat : 19666 (wbo1.4a) R 19664 19666 19260 0 -1 4202496 576 0 0 0 28 0 0 0 25 0 1 0 13387125 3719168 468 1992294400 134512640 135751879 4288566448 18446744073709551615 134606535 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19666/statm: 908 468 143 303 0 603 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 3632 [startup+0.700744 s] /proc/loadavg: 0.99 0.98 0.99 3/105 19666 /proc/meminfo: memFree=1875544/2059040 swapFree=4136376/4192956 [pid=19666] ppid=19664 vsize=4668 CPUtime=0.69 /proc/19666/stat : 19666 (wbo1.4a) R 19664 19666 19260 0 -1 4202496 847 0 0 0 68 1 0 0 25 0 1 0 13387125 4780032 739 1992294400 134512640 135751879 4288566448 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19666/statm: 1167 739 143 303 0 862 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4668 [startup+1.50083 s] /proc/loadavg: 0.99 0.98 0.99 2/106 19667 /proc/meminfo: memFree=1872560/2059040 swapFree=4136376/4192956 [pid=19666] ppid=19664 vsize=6360 CPUtime=1.49 /proc/19666/stat : 19666 (wbo1.4a) R 19664 19666 19260 0 -1 4202496 1274 0 0 0 147 2 0 0 25 0 1 0 13387125 6512640 1166 1992294400 134512640 135751879 4288566448 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19666/statm: 1590 1166 143 303 0 1285 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6360 [startup+3.10101 s] /proc/loadavg: 0.99 0.98 0.99 2/106 19667 /proc/meminfo: memFree=1870328/2059040 swapFree=4136376/4192956 [pid=19666] ppid=19664 vsize=9080 CPUtime=3.08 /proc/19666/stat : 19666 (wbo1.4a) R 19664 19666 19260 0 -1 4202496 1950 0 0 0 305 3 0 0 25 0 1 0 13387125 9297920 1842 1992294400 134512640 135751879 4288566448 18446744073709551615 134606359 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19666/statm: 2270 1842 143 303 0 1965 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 9080 [startup+6.30036 s] /proc/loadavg: 0.99 0.98 0.99 2/106 19667 /proc/meminfo: memFree=1864500/2059040 swapFree=4136376/4192956 [pid=19666] ppid=19664 vsize=14524 CPUtime=6.29 /proc/19666/stat : 19666 (wbo1.4a) R 19664 19666 19260 0 -1 4202496 3305 0 0 0 622 7 0 0 25 0 1 0 13387125 14872576 3197 1992294400 134512640 135751879 4288566448 18446744073709551615 134606617 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19666/statm: 3631 3197 143 303 0 3326 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14524 [startup+12.7011 s] /proc/loadavg: 0.99 0.98 0.99 2/106 19667 /proc/meminfo: memFree=1855572/2059040 swapFree=4136376/4192956 [pid=19666] ppid=19664 vsize=23128 CPUtime=12.68 /proc/19666/stat : 19666 (wbo1.4a) R 19664 19666 19260 0 -1 4202496 5429 0 0 0 1255 13 0 0 25 0 1 0 13387125 23683072 5321 1992294400 134512640 135751879 4288566448 18446744073709551615 134606253 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19666/statm: 5782 5321 143 303 0 5477 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 23128 [startup+25.5005 s] /proc/loadavg: 0.99 0.98 0.99 2/106 19667 /proc/meminfo: memFree=1837592/2059040 swapFree=4136376/4192956 [pid=19666] ppid=19664 vsize=40504 CPUtime=25.48 /proc/19666/stat : 19666 (wbo1.4a) R 19664 19666 19260 0 -1 4202496 9779 0 0 0 2520 28 0 0 25 0 1 0 13387125 41476096 9671 1992294400 134512640 135751879 4288566448 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19666/statm: 10126 9671 143 303 0 9821 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 40504 [startup+51.1013 s] /proc/loadavg: 0.99 0.98 0.99 2/106 19669 /proc/meminfo: memFree=1803368/2059040 swapFree=4136376/4192956 [pid=19666] ppid=19664 vsize=75436 CPUtime=51.07 /proc/19666/stat : 19666 (wbo1.4a) R 19664 19666 19260 0 -1 4202496 18484 0 0 0 5052 55 0 0 25 0 1 0 13387125 77246464 18376 1992294400 134512640 135751879 4288566448 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19666/statm: 18859 18376 143 303 0 18554 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 75436 [startup+102.308 s] /proc/loadavg: 0.99 0.98 0.99 2/106 19669 /proc/meminfo: memFree=1743352/2059040 swapFree=4136376/4192956 [pid=19666] ppid=19664 vsize=134324 CPUtime=102.27 /proc/19666/stat : 19666 (wbo1.4a) R 19664 19666 19260 0 -1 4202496 33205 0 0 0 10124 103 0 0 25 0 1 0 13387125 137547776 33097 1992294400 134512640 135751879 4288566448 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19666/statm: 33581 33097 143 303 0 33276 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 134324 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 19671 /proc/meminfo: memFree=1675896/2059040 swapFree=4136376/4192956 [pid=19666] ppid=19664 vsize=202176 CPUtime=162.24 /proc/19666/stat : 19666 (wbo1.4a) R 19664 19666 19260 0 -1 4202496 50127 0 0 0 16068 156 0 0 25 0 1 0 13387125 207028224 50019 1992294400 134512640 135751879 4288566448 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19666/statm: 50544 50019 143 303 0 50239 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 202176 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 19673 /proc/meminfo: memFree=1607944/2059040 swapFree=4136376/4192956 [pid=19666] ppid=19664 vsize=269736 CPUtime=222.22 /proc/19666/stat : 19666 (wbo1.4a) R 19664 19666 19260 0 -1 4202496 66999 0 0 0 22013 209 0 0 25 0 1 0 13387125 276209664 66891 1992294400 134512640 135751879 4288566448 18446744073709551615 134606253 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19666/statm: 67434 66891 143 303 0 67129 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 269736 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 19675 /proc/meminfo: memFree=1538752/2059040 swapFree=4136376/4192956 [pid=19666] ppid=19664 vsize=338624 CPUtime=282.21 /proc/19666/stat : 19666 (wbo1.4a) R 19664 19666 19260 0 -1 4202496 84222 0 0 0 27955 266 0 0 25 0 1 0 13387125 346750976 84114 1992294400 134512640 135751879 4288566448 18446744073709551615 134602992 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19666/statm: 84656 84114 143 303 0 84351 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 338624 [startup+342.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 19677 /proc/meminfo: memFree=1477248/2059040 swapFree=4136376/4192956 [pid=19666] ppid=19664 vsize=399964 CPUtime=342.2 /proc/19666/stat : 19666 (wbo1.4a) R 19664 19666 19260 0 -1 4202496 99531 0 0 0 33899 321 0 0 25 0 1 0 13387125 409563136 99423 1992294400 134512640 135751879 4288566448 18446744073709551615 134604666 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19666/statm: 99991 99423 143 303 0 99686 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 399964 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 19677 /proc/meminfo: memFree=1416860/2059040 swapFree=4136376/4192956 [pid=19666] ppid=19664 vsize=460840 CPUtime=402.18 /proc/19666/stat : 19666 (wbo1.4a) R 19664 19666 19260 0 -1 4202496 114743 0 0 0 39839 379 0 0 25 0 1 0 13387125 471900160 114635 1992294400 134512640 135751879 4288566448 18446744073709551615 134606617 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19666/statm: 115210 114635 143 303 0 114905 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 460840 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 19679 /proc/meminfo: memFree=1356224/2059040 swapFree=4136376/4192956 [pid=19666] ppid=19664 vsize=521164 CPUtime=462.16 /proc/19666/stat : 19666 (wbo1.4a) R 19664 19666 19260 0 -1 4202496 129843 0 0 0 45783 433 0 0 25 0 1 0 13387125 533671936 129735 1992294400 134512640 135751879 4288566448 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19666/statm: 130291 129735 143 303 0 129986 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 521164 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 19681 /proc/meminfo: memFree=1299556/2059040 swapFree=4136376/4192956 [pid=19666] ppid=19664 vsize=578592 CPUtime=522.14 /proc/19666/stat : 19666 (wbo1.4a) R 19664 19666 19260 0 -1 4202496 144138 0 0 0 51724 490 0 0 25 0 1 0 13387125 592478208 144030 1992294400 134512640 135751879 4288566448 18446744073709551615 134616344 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19666/statm: 144648 144030 143 303 0 144343 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 578592 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 19683 /proc/meminfo: memFree=1240780/2059040 swapFree=4136376/4192956 [pid=19666] ppid=19664 vsize=636300 CPUtime=582.13 /proc/19666/stat : 19666 (wbo1.4a) R 19664 19666 19260 0 -1 4202496 158564 0 0 0 57669 544 0 0 25 0 1 0 13387125 651571200 158456 1992294400 134512640 135751879 4288566448 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19666/statm: 159075 158456 143 303 0 158770 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 636300 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 19685 /proc/meminfo: memFree=1180144/2059040 swapFree=4136376/4192956 [pid=19666] ppid=19664 vsize=696604 CPUtime=642.12 /proc/19666/stat : 19666 (wbo1.4a) R 19664 19666 19260 0 -1 4202496 173624 0 0 0 63614 598 0 0 25 0 1 0 13387125 713322496 173516 1992294400 134512640 135751879 4288566448 18446744073709551615 134602965 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19666/statm: 174151 173516 143 303 0 173846 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 696604 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 19691 /proc/meminfo: memFree=952976/2059040 swapFree=4136376/4192956 [pid=19666] ppid=19664 vsize=923428 CPUtime=882.05 /proc/19666/stat : 19666 (wbo1.4a) R 19664 19666 19260 0 -1 4202496 230279 0 0 0 87408 797 0 0 25 0 1 0 13387125 945590272 230171 1992294400 134512640 135751879 4288566448 18446744073709551615 134606465 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19666/statm: 230857 230171 143 303 0 230552 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 923428 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/106 19693 /proc/meminfo: memFree=897920/2059040 swapFree=4136376/4192956 [pid=19666] ppid=19664 vsize=979404 CPUtime=942.03 /proc/19666/stat : 19666 (wbo1.4a) R 19664 19666 19260 0 -1 4202496 244266 0 0 0 93359 844 0 0 25 0 1 0 13387125 1002909696 244158 1992294400 134512640 135751879 4288566448 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19666/statm: 244851 244158 143 303 0 244546 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 979404 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 19693 /proc/meminfo: memFree=838152/2059040 swapFree=4136376/4192956 [pid=19666] ppid=19664 vsize=1038412 CPUtime=1002.02 /proc/19666/stat : 19666 (wbo1.4a) R 19664 19666 19260 0 -1 4202496 259037 0 0 0 99307 895 0 0 25 0 1 0 13387125 1063333888 258929 1992294400 134512640 135751879 4288566448 18446744073709551615 134606647 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19666/statm: 259603 258929 143 303 0 259298 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 1038412 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 19695 /proc/meminfo: memFree=787064/2059040 swapFree=4136376/4192956 [pid=19666] ppid=19664 vsize=1089080 CPUtime=1062 /proc/19666/stat : 19666 (wbo1.4a) R 19664 19666 19260 0 -1 4202496 271691 0 0 0 105261 939 0 0 25 0 1 0 13387125 1115217920 271583 1992294400 134512640 135751879 4288566448 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19666/statm: 272270 271583 143 303 0 271965 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 1089080 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 19697 /proc/meminfo: memFree=722832/2059040 swapFree=4136376/4192956 [pid=19666] ppid=19664 vsize=1152900 CPUtime=1121.98 /proc/19666/stat : 19666 (wbo1.4a) R 19664 19666 19260 0 -1 4202496 287642 0 0 0 111208 990 0 0 25 0 1 0 13387125 1180569600 287534 1992294400 134512640 135751879 4288566448 18446744073709551615 134602436 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19666/statm: 288225 287534 143 303 0 287920 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 1152900 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 19708 /proc/meminfo: memFree=664552/2059040 swapFree=4136376/4192956 [pid=19666] ppid=19664 vsize=1212392 CPUtime=1181.96 /proc/19666/stat : 19666 (wbo1.4a) R 19664 19666 19260 0 -1 4202496 302506 0 0 0 117152 1044 0 0 25 0 1 0 13387125 1241489408 302398 1992294400 134512640 135751879 4288566448 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19666/statm: 303098 302398 143 303 0 302793 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 1212392 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 19710 /proc/meminfo: memFree=599948/2059040 swapFree=4136376/4192956 [pid=19666] ppid=19664 vsize=1275376 CPUtime=1241.95 /proc/19666/stat : 19666 (wbo1.4a) R 19664 19666 19260 0 -1 4202496 318231 0 0 0 123100 1095 0 0 25 0 1 0 13387125 1305985024 318123 1992294400 134512640 135751879 4288566448 18446744073709551615 134603009 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19666/statm: 318844 318123 143 303 0 318539 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 1275376 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 19710 /proc/meminfo: memFree=542040/2059040 swapFree=4136376/4192956 [pid=19666] ppid=19664 vsize=1333132 CPUtime=1301.93 /proc/19666/stat : 19666 (wbo1.4a) R 19664 19666 19260 0 -1 4202496 332650 0 0 0 129048 1145 0 0 25 0 1 0 13387125 1365127168 332542 1992294400 134512640 135751879 4288566448 18446744073709551615 134602933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19666/statm: 333283 332542 143 303 0 332978 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 1333132 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 19712 /proc/meminfo: memFree=484008/2059040 swapFree=4136376/4192956 [pid=19666] ppid=19664 vsize=1391652 CPUtime=1361.91 /proc/19666/stat : 19666 (wbo1.4a) R 19664 19666 19260 0 -1 4202496 347253 0 0 0 134995 1196 0 0 25 0 1 0 13387125 1425051648 347145 1992294400 134512640 135751879 4288566448 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19666/statm: 347913 347145 143 303 0 347608 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 1391652 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/106 19714 /proc/meminfo: memFree=420272/2059040 swapFree=4136376/4192956 [pid=19666] ppid=19664 vsize=1455048 CPUtime=1421.9 /proc/19666/stat : 19666 (wbo1.4a) R 19664 19666 19260 0 -1 4202496 363088 0 0 0 140946 1244 0 0 25 0 1 0 13387125 1489969152 362980 1992294400 134512640 135751879 4288566448 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19666/statm: 363762 362980 143 303 0 363457 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 1455048 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 19716 /proc/meminfo: memFree=349220/2059040 swapFree=4136376/4192956 [pid=19666] ppid=19664 vsize=1527132 CPUtime=1481.87 /proc/19666/stat : 19666 (wbo1.4a) R 19664 19666 19260 0 -1 4202496 381112 0 0 0 146884 1303 0 0 25 0 1 0 13387125 1563783168 381004 1992294400 134512640 135751879 4288566448 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19666/statm: 381783 381004 143 303 0 381478 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 1527132 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 19718 /proc/meminfo: memFree=275812/2059040 swapFree=4136376/4192956 [pid=19666] ppid=19664 vsize=1599328 CPUtime=1541.86 /proc/19666/stat : 19666 (wbo1.4a) R 19664 19666 19260 0 -1 4202496 399159 0 0 0 152830 1356 0 0 25 0 1 0 13387125 1637711872 399051 1992294400 134512640 135751879 4288566448 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19666/statm: 399832 399051 143 303 0 399527 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 1599328 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 19718 /proc/meminfo: memFree=219640/2059040 swapFree=4136376/4192956 [pid=19666] ppid=19664 vsize=1655356 CPUtime=1601.85 /proc/19666/stat : 19666 (wbo1.4a) R 19664 19666 19260 0 -1 4202496 413161 0 0 0 158783 1402 0 0 25 0 1 0 13387125 1695084544 413053 1992294400 134512640 135751879 4288566448 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19666/statm: 413839 413053 143 303 0 413534 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1655356 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 19720 /proc/meminfo: memFree=163716/2059040 swapFree=4136376/4192956 [pid=19666] ppid=19664 vsize=1711232 CPUtime=1661.83 /proc/19666/stat : 19666 (wbo1.4a) R 19664 19666 19260 0 -1 4202496 427107 0 0 0 164732 1451 0 0 25 0 1 0 13387125 1752301568 426999 1992294400 134512640 135751879 4288566448 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19666/statm: 427808 426999 143 303 0 427503 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1711232 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 19722 /proc/meminfo: memFree=114364/2059040 swapFree=4136376/4192956 [pid=19666] ppid=19664 vsize=1761680 CPUtime=1721.82 /proc/19666/stat : 19666 (wbo1.4a) R 19664 19666 19260 0 -1 4202496 439725 0 0 0 170690 1492 0 0 25 0 1 0 13387125 1803960320 439617 1992294400 134512640 135751879 4288566448 18446744073709551615 134616382 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19666/statm: 440420 439617 143 303 0 440115 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1761680 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/106 19724 /proc/meminfo: memFree=59804/2059040 swapFree=4136376/4192956 [pid=19666] ppid=19664 vsize=1814708 CPUtime=1781.79 /proc/19666/stat : 19666 (wbo1.4a) R 19664 19666 19260 0 -1 4202496 452981 0 0 0 176648 1531 0 0 25 0 1 0 13387125 1858260992 452873 1992294400 134512640 135751879 4288566448 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19666/statm: 453677 452873 143 303 0 453372 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 1814708 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.99 2/106 19724 /proc/meminfo: memFree=43808/2059040 swapFree=4136376/4192956 [pid=19666] ppid=19664 vsize=1830588 CPUtime=1800.11 /proc/19666/stat : 19666 (wbo1.4a) R 19664 19666 19260 0 -1 4202496 456925 0 0 0 178468 1543 0 0 25 0 1 0 13387125 1874522112 456817 1992294400 134512640 135751879 4288566448 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19666/statm: 457647 456817 143 303 0 457342 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 1830588 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.72 s] /proc/loadavg: 0.99 0.98 0.99 2/106 19724 /proc/meminfo: memFree=43808/2059040 swapFree=4136376/4192956 [pid=19666] ppid=19664 vsize=0 CPUtime=1800.21 /proc/19666/stat : 19666 (wbo1.4a) R 19664 19666 19260 0 -1 4203524 456925 0 0 0 178468 1553 0 0 25 0 1 0 13387125 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/19666/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.77 CPU time (s): 1800.27 CPU user time (s): 1784.68 CPU system time (s): 15.5916 CPU usage (%): 99.9723 Max. virtual memory (cumulated for all children) (KiB): 1830588 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1784.68 system time used= 15.5916 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 456925 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= 2252 runsolver used 2.85956 second user time and 8.62369 second system time The end
Begin job on node086 at 2010-06-16 22:42:14 IDJOB=2671198 IDBENCH=48305 IDSOLVER=1160 FILE ID=node086/2671198-1276720934 PBS_JOBID= 11174176 Free space on /tmp= 62576 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_10_2_40.opb COMMAND LINE= wbo1.4a -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2671198-1276720934/watcher-2671198-1276720934 -o /tmp/evaluation-result-2671198-1276720934/solver-2671198-1276720934 -C 1800 -W 2000 -M 1800 wbo1.4a -file-format=opb -time-limit=1800 HOME/instance-2671198-1276720934.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f3f7503aace115ec5eea1f9ed4e29626 RANDOM SEED=238826763 node086.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1876320 kB Buffers: 24936 kB Cached: 92544 kB SwapCached: 10456 kB Active: 85036 kB Inactive: 46148 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1876320 kB SwapTotal: 4192956 kB SwapFree: 4136376 kB Dirty: 2688 kB Writeback: 0 kB AnonPages: 11208 kB Mapped: 9112 kB Slab: 29920 kB PageTables: 3900 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181672 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2671198-1276720934.opb Free space on /tmp at the end= 62572 MiB End job on node086 at 2010-06-16 23:12:17