Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
glpPB 0.2 | ? (TO) | 1800.1 | 1800.73 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_1000_60_3.opb |
MD5SUM | 18e694be8bacc67580164c28dde5ca1c |
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 | -71 |
Best CPU time to get the best result obtained on this benchmark | 1800.1 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -71 |
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 | 60 |
Maximum length of a constraint | 107 |
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) | 75294 |
Sum of products size (including duplicates) | 150588 |
Number of different products | 37647 |
Sum of products size | 75294 |
0.00/0.00 c glpPB 0.2 (July 2006) 0.00/0.00 c An Application of GLPK 4.10 for PB Constraints 0.00/0.00 c Done @ University of Michigan, Ann Arbor, MI 0.00/0.00 c by Hossein Sheini
ERROR: no interpretation found !
Linearizing /tmp/evaluation/454038-1178020293/instance-454038-1178020293.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node21/watcher-454038-1178020293 -o ROOT/results/node21/solver-454038-1178020293 -C 1800 -W 3600 -M 1800 --output-limit 1,15 glpPBv3 /tmp/evaluation/454038-1178020293/instance-454038-1178020293.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.98 3/77 1524 /proc/meminfo: memFree=1804216/2055920 swapFree=4156288/4192956 [pid=1524] ppid=1522 vsize=2644 CPUtime=0 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1393 0 -1 0 255 0 0 0 0 0 0 0 18 0 1 0 249946799 2707456 226 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 8904407 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 661 226 192 40 0 76 0 [startup+0.0497569 s] /proc/loadavg: 0.99 0.97 0.98 3/77 1524 /proc/meminfo: memFree=1804216/2055920 swapFree=4156288/4192956 [pid=1524] ppid=1522 vsize=3848 CPUtime=0.04 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1393 0 -1 0 563 0 0 0 4 0 0 0 18 0 1 0 249946799 3940352 534 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 8606527 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 962 534 199 40 0 377 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 3848 [startup+0.101763 s] /proc/loadavg: 0.99 0.97 0.98 3/77 1524 /proc/meminfo: memFree=1804216/2055920 swapFree=4156288/4192956 [pid=1524] ppid=1522 vsize=4912 CPUtime=0.09 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1393 0 -1 0 841 0 0 0 9 0 0 0 18 0 1 0 249946799 5029888 812 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 8904407 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 1228 812 199 40 0 643 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4912 [startup+0.301784 s] /proc/loadavg: 0.99 0.97 0.98 3/77 1524 /proc/meminfo: memFree=1804216/2055920 swapFree=4156288/4192956 [pid=1524] ppid=1522 vsize=7444 CPUtime=0.29 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1393 0 -1 0 1470 0 0 0 29 0 0 0 19 0 1 0 249946799 7622656 1441 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134527171 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 1861 1441 199 40 0 1276 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7444 [startup+0.701828 s] /proc/loadavg: 0.99 0.97 0.98 3/77 1524 /proc/meminfo: memFree=1804216/2055920 swapFree=4156288/4192956 [pid=1524] ppid=1522 vsize=11572 CPUtime=0.69 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1393 0 -1 0 2504 0 0 0 68 1 0 0 23 0 1 0 249946799 11849728 2475 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 8898332 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 2893 2475 199 40 0 2308 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11572 [startup+1.50191 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1525 /proc/meminfo: memFree=1791920/2055920 swapFree=4156288/4192956 [pid=1524] ppid=1522 vsize=38508 CPUtime=1.49 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1393 0 -1 0 9288 0 0 0 146 3 0 0 25 0 1 0 249946799 39432192 9197 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 9627 9197 203 40 0 9042 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 38508 [startup+3.10109 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1525 /proc/meminfo: memFree=1739440/2055920 swapFree=4156288/4192956 [pid=1524] ppid=1522 vsize=69284 CPUtime=3.09 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1393 0 -1 0 19218 0 0 0 302 7 0 0 25 0 1 0 249946799 70946816 16909 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134638630 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 17321 16909 221 40 0 16736 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 69284 [startup+6.30144 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1525 /proc/meminfo: memFree=1737008/2055920 swapFree=4156288/4192956 [pid=1524] ppid=1522 vsize=66884 CPUtime=6.28 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1393 0 -1 0 20418 0 0 0 621 7 0 0 25 0 1 0 249946799 68489216 16309 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134643502 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 16721 16309 221 40 0 16136 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 66884 [startup+12.7011 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1525 /proc/meminfo: memFree=1739248/2055920 swapFree=4156288/4192956 [pid=1524] ppid=1522 vsize=66884 CPUtime=12.68 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1393 0 -1 0 23418 0 0 0 1259 9 0 0 25 0 1 0 249946799 68489216 16309 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134643170 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 16721 16309 221 40 0 16136 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 66884 [startup+25.5015 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1525 /proc/meminfo: memFree=1734832/2055920 swapFree=4156288/4192956 [pid=1524] ppid=1522 vsize=71360 CPUtime=25.48 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1393 0 -1 0 31058 0 0 0 2535 13 0 0 25 0 1 0 249946799 73072640 17428 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134643560 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 17840 17428 221 40 0 17255 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 71360 [startup+51.1013 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1525 /proc/meminfo: memFree=1734832/2055920 swapFree=4156288/4192956 [pid=1524] ppid=1522 vsize=71360 CPUtime=51.07 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1393 0 -1 0 41858 0 0 0 5088 19 0 0 25 0 1 0 249946799 73072640 17428 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134582178 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 17840 17428 221 40 0 17255 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 71360 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1525 /proc/meminfo: memFree=1734768/2055920 swapFree=4156288/4192956 [pid=1524] ppid=1522 vsize=71360 CPUtime=102.26 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1393 0 -1 0 63458 0 0 0 10196 30 0 0 25 0 1 0 249946799 73072640 17428 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134584126 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 17840 17428 221 40 0 17255 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 71360 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.98 3/78 1525 /proc/meminfo: memFree=1734768/2055920 swapFree=4156288/4192956 [pid=1524] ppid=1522 vsize=71360 CPUtime=162.25 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1393 0 -1 0 86258 0 0 0 16183 42 0 0 25 0 1 0 249946799 73072640 17428 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134583756 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 17840 17428 221 40 0 17255 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 71360 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1525 /proc/meminfo: memFree=1713968/2055920 swapFree=4156288/4192956 [pid=1524] ppid=1522 vsize=92156 CPUtime=222.22 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1393 0 -1 0 273445 0 0 0 22098 124 0 0 25 0 1 0 249946799 94367744 22647 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134629287 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 23039 22647 227 40 0 22454 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 92156 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1525 /proc/meminfo: memFree=1713968/2055920 swapFree=4156288/4192956 [pid=1524] ppid=1522 vsize=90656 CPUtime=282.21 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1393 0 -1 0 1115869 0 0 0 27742 479 0 0 25 0 1 0 249946799 92831744 22272 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134543497 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 22664 22272 227 40 0 22079 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 90656 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1525 /proc/meminfo: memFree=1713904/2055920 swapFree=4156288/4192956 [pid=1524] ppid=1522 vsize=92156 CPUtime=342.19 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1393 0 -1 0 1970295 0 0 0 33370 849 0 0 25 0 1 0 249946799 94367744 22649 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134629283 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 23039 22649 227 40 0 22454 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 92156 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1525 /proc/meminfo: memFree=1713840/2055920 swapFree=4156288/4192956 [pid=1524] ppid=1522 vsize=91556 CPUtime=402.18 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1393 0 -1 0 2773236 0 0 0 39022 1196 0 0 25 0 1 0 249946799 93753344 22466 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 8904407 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 22889 22474 227 40 0 22304 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 91556 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1525 /proc/meminfo: memFree=1713968/2055920 swapFree=4156288/4192956 [pid=1524] ppid=1522 vsize=92156 CPUtime=462.16 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1393 0 -1 0 3578207 0 0 0 44677 1539 0 0 25 0 1 0 249946799 94367744 22651 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 23039 22651 227 40 0 22454 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 92156 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1525 /proc/meminfo: memFree=1715312/2055920 swapFree=4156288/4192956 [pid=1524] ppid=1522 vsize=90656 CPUtime=522.14 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1393 0 -1 0 4399106 0 0 0 50321 1893 0 0 25 0 1 0 249946799 92831744 22276 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134543497 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 22664 22276 227 40 0 22079 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 90656 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/84 1633 /proc/meminfo: memFree=1712824/2055920 swapFree=4156288/4192956 [pid=1524] ppid=1522 vsize=92156 CPUtime=582.07 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1393 0 -1 0 5202006 0 0 0 55966 2241 0 0 25 0 1 0 249946799 94367744 22652 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134629283 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 23039 22652 227 40 0 22454 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 92156 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1727 /proc/meminfo: memFree=1698544/2055920 swapFree=4156288/4192956 [pid=1524] ppid=1522 vsize=107192 CPUtime=642.01 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1393 0 -1 0 5803041 0 0 0 61704 2497 0 0 25 0 1 0 249946799 109764608 26411 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134582166 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 26798 26411 227 40 0 26213 0 Current children cumulated CPU time (s) 642.01 Current children cumulated vsize (KiB) 107192 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1727 /proc/meminfo: memFree=1713776/2055920 swapFree=4156288/4192956 [pid=1524] ppid=1522 vsize=92156 CPUtime=881.93 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1393 0 -1 0 8872032 0 0 0 84373 3820 0 0 25 0 1 0 249946799 94367744 22658 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134643291 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 23039 22658 227 40 0 22454 0 Current children cumulated CPU time (s) 881.93 Current children cumulated vsize (KiB) 92156 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1727 /proc/meminfo: memFree=1715120/2055920 swapFree=4156288/4192956 [pid=1524] ppid=1522 vsize=92156 CPUtime=941.91 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1393 0 -1 0 9643358 0 0 0 90037 4154 0 0 25 0 1 0 249946799 94367744 22660 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 23039 22660 227 40 0 22454 0 Current children cumulated CPU time (s) 941.91 Current children cumulated vsize (KiB) 92156 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1727 /proc/meminfo: memFree=1696368/2055920 swapFree=4156288/4192956 [pid=1524] ppid=1522 vsize=107192 CPUtime=1001.9 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1393 0 -1 0 10352180 0 0 0 95725 4465 0 0 25 0 1 0 249946799 109764608 26419 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134643620 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 26798 26419 227 40 0 26213 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 107192 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1727 /proc/meminfo: memFree=1714352/2055920 swapFree=4156288/4192956 [pid=1524] ppid=1522 vsize=92156 CPUtime=1061.89 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1393 0 -1 0 11118443 0 0 0 101392 4797 0 0 25 0 1 0 249946799 94367744 22660 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 23039 22660 227 40 0 22454 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 92156 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1727 /proc/meminfo: memFree=1713776/2055920 swapFree=4156288/4192956 [pid=1524] ppid=1522 vsize=92156 CPUtime=1121.87 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1393 0 -1 0 11841467 0 0 0 107077 5110 0 0 25 0 1 0 249946799 94367744 22660 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 23039 22660 227 40 0 22454 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 92156 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1727 /proc/meminfo: memFree=1698544/2055920 swapFree=4156288/4192956 [pid=1524] ppid=1522 vsize=107192 CPUtime=1181.85 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1393 0 -1 0 12433729 0 0 0 112816 5369 0 0 25 0 1 0 249946799 109764608 26421 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134586354 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 26798 26421 227 40 0 26213 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 107192 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 1727 /proc/meminfo: memFree=1713776/2055920 swapFree=4156288/4192956 [pid=1524] ppid=1522 vsize=90656 CPUtime=1241.83 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1393 0 -1 0 12702268 0 0 0 118692 5491 0 0 25 0 1 0 249946799 92831744 22287 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134543006 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 22664 22287 227 40 0 22079 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 90656 [startup+1302.3 s] /proc/loadavg: 1.04 0.99 0.98 2/78 1727 /proc/meminfo: memFree=1713776/2055920 swapFree=4156288/4192956 [pid=1524] ppid=1522 vsize=90788 CPUtime=1301.82 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1393 0 -1 0 13393123 0 0 0 124391 5791 0 0 25 0 1 0 249946799 92966912 22293 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134632398 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 22697 22293 227 40 0 22112 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 90788 [startup+1362.3 s] /proc/loadavg: 1.06 1.00 0.99 2/78 1727 /proc/meminfo: memFree=1714992/2055920 swapFree=4156288/4192956 [pid=1524] ppid=1522 vsize=92288 CPUtime=1361.8 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1393 0 -1 0 14098686 0 0 0 130085 6095 0 0 25 0 1 0 249946799 94502912 22670 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 23072 22670 227 40 0 22487 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 92288 [startup+1422.31 s] /proc/loadavg: 1.06 1.01 0.99 2/78 1727 /proc/meminfo: memFree=1713648/2055920 swapFree=4156288/4192956 [pid=1524] ppid=1522 vsize=90788 CPUtime=1421.79 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1393 0 -1 0 14834985 0 0 0 135762 6417 0 0 25 0 1 0 249946799 92966912 22295 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134543497 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 22697 22295 227 40 0 22112 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 90788 [startup+1482.3 s] /proc/loadavg: 1.06 1.02 1.00 2/78 1727 /proc/meminfo: memFree=1698352/2055920 swapFree=4156288/4192956 [pid=1524] ppid=1522 vsize=107324 CPUtime=1481.76 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1393 0 -1 0 15302597 0 0 0 141558 6618 0 0 25 0 1 0 249946799 109899776 26431 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134585326 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 26831 26431 227 40 0 26246 0 Current children cumulated CPU time (s) 1481.76 Current children cumulated vsize (KiB) 107324 [startup+1542.3 s] /proc/loadavg: 1.11 1.05 1.00 2/78 1727 /proc/meminfo: memFree=1713520/2055920 swapFree=4156288/4192956 [pid=1524] ppid=1522 vsize=90788 CPUtime=1541.74 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1393 0 -1 0 15840927 0 0 0 147322 6852 0 0 25 0 1 0 249946799 92966912 22301 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134632414 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 22697 22301 227 40 0 22112 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 90788 [startup+1602.3 s] /proc/loadavg: 1.20 1.08 1.01 2/78 1727 /proc/meminfo: memFree=1698352/2055920 swapFree=4156288/4192956 [pid=1524] ppid=1522 vsize=107324 CPUtime=1601.73 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1393 0 -1 0 16191687 0 0 0 153167 7006 0 0 25 0 1 0 249946799 109899776 26435 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134643782 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 26831 26435 227 40 0 26246 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 107324 [startup+1662.3 s] /proc/loadavg: 1.15 1.08 1.01 2/78 1727 /proc/meminfo: memFree=1698288/2055920 swapFree=4156288/4192956 [pid=1524] ppid=1522 vsize=107324 CPUtime=1661.71 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1393 0 -1 0 16739890 0 0 0 158930 7241 0 0 25 0 1 0 249946799 109899776 26439 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134591147 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 26831 26439 227 40 0 26246 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 107324 [startup+1722.3 s] /proc/loadavg: 1.12 1.08 1.01 2/78 1727 /proc/meminfo: memFree=1698224/2055920 swapFree=4156288/4192956 [pid=1524] ppid=1522 vsize=107324 CPUtime=1721.69 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1393 0 -1 0 17284191 0 0 0 164695 7474 0 0 25 0 1 0 249946799 109899776 26441 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134587938 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 26831 26441 227 40 0 26246 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 107324 [startup+1782.3 s] /proc/loadavg: 1.04 1.06 1.01 2/78 1727 /proc/meminfo: memFree=1698224/2055920 swapFree=4156288/4192956 [pid=1524] ppid=1522 vsize=107324 CPUtime=1781.68 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1393 0 -1 0 17789044 0 0 0 170478 7690 0 0 25 0 1 0 249946799 109899776 26445 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134590853 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 26831 26445 227 40 0 26246 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 107324 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.03 1.06 1.01 2/78 1727 /proc/meminfo: memFree=1713456/2055920 swapFree=4156288/4192956 [pid=1524] ppid=1522 vsize=92288 CPUtime=1800.08 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1393 0 -1 0 17975533 0 0 0 172237 7771 0 0 25 0 1 0 249946799 94502912 22686 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 23072 22686 227 40 0 22487 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 92288 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.03 1.06 1.01 2/78 1727 /proc/meminfo: memFree=1713456/2055920 swapFree=4156288/4192956 [pid=1524] ppid=1522 vsize=92288 CPUtime=1800.08 /proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1393 0 -1 0 17975533 0 0 0 172237 7771 0 0 25 0 1 0 249946799 94502912 22686 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/1524/statm: 23072 22686 227 40 0 22487 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 92288 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.73 CPU time (s): 1800.1 CPU user time (s): 1722.38 CPU system time (s): 77.7272 CPU usage (%): 99.9651 Max. virtual memory (cumulated for all children) (KiB): 109724 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1722.38 system time used= 77.7272 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17975533 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= 11 involuntary context switches= 2407 runsolver used 1.40679 second user time and 4.12737 second system time The end
Begin job on node21 on Tue May 1 11:51:33 UTC 2007 IDJOB= 454038 IDBENCH= 48170 IDSOLVER= 166 FILE ID= node21/454038-1178020293 PBS_JOBID= 4728338 Free space on /tmp= 66561 MiB SOLVER NAME= glpPB 0.2 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_60_3.opb COMMAND LINE= glpPBv3 /tmp/evaluation/454038-1178020293/instance-454038-1178020293.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node21/convwatcher-454038-1178020293 -o ROOT/results/node21/conversion-454038-1178020293 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/454038-1178020293/instance-454038-1178020293.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-454038-1178020293 -o ROOT/results/node21/solver-454038-1178020293 -C 1800 -W 3600 -M 1800 --output-limit 1,15 glpPBv3 /tmp/evaluation/454038-1178020293/instance-454038-1178020293.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= 18e694be8bacc67580164c28dde5ca1c RANDOM SEED= 5402150 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node21.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.232 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.232 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: 1804624 kB Buffers: 31708 kB Cached: 132592 kB SwapCached: 14948 kB Active: 59848 kB Inactive: 127236 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1804624 kB SwapTotal: 4192956 kB SwapFree: 4156288 kB Dirty: 5640 kB Writeback: 0 kB Mapped: 29784 kB Slab: 49664 kB Committed_AS: 2304676 kB PageTables: 1784 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66559 MiB End job on node21 on Tue May 1 12:21:38 UTC 2007