Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBPASSolver 2010-06-13 | ? (TO) | 1800.09 | 1800.62 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=43-P1=131-P2=257-P3=71-P4=149-P5=223-P6=167-B.opb |
MD5SUM | 29d9c644cbc560d09c0ca2d5a8d36791 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.517921 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 144 |
Total number of constraints | 13 |
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 | 13 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 384 |
Sum of products size (including duplicates) | 768 |
Number of different products | 384 |
Sum of products size | 768 |
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-2673273-1276807894/watcher-2673273-1276807894 -o /tmp/evaluation-result-2673273-1276807894/solver-2673273-1276807894 -C 1800 -W 2000 -M 1800 run HOME/instance-2673273-1276807894.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.00 1.00 0.99 3/105 26590 /proc/meminfo: memFree=1839136/2059040 swapFree=4139492/4192956 [pid=26590] ppid=26588 vsize=8700 CPUtime=0 /proc/26590/stat : 26590 (run) S 26588 26590 26057 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 22082580 8908800 250 1992294400 4194304 4922060 140734124661440 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26590/statm: 2175 250 211 178 0 68 0 [startup+0.0821711 s] /proc/loadavg: 1.00 1.00 0.99 3/105 26590 /proc/meminfo: memFree=1839136/2059040 swapFree=4139492/4192956 [pid=26590] ppid=26588 vsize=8700 CPUtime=0 /proc/26590/stat : 26590 (run) S 26588 26590 26057 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 22082580 8908800 250 1992294400 4194304 4922060 140734124661440 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26590/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101171 s] /proc/loadavg: 1.00 1.00 0.99 3/105 26590 /proc/meminfo: memFree=1839136/2059040 swapFree=4139492/4192956 [pid=26590] ppid=26588 vsize=8700 CPUtime=0 /proc/26590/stat : 26590 (run) S 26588 26590 26057 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 22082580 8908800 250 1992294400 4194304 4922060 140734124661440 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26590/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301196 s] /proc/loadavg: 1.00 1.00 0.99 3/105 26590 /proc/meminfo: memFree=1839136/2059040 swapFree=4139492/4192956 [pid=26590] ppid=26588 vsize=8700 CPUtime=0 /proc/26590/stat : 26590 (run) S 26588 26590 26057 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 22082580 8908800 250 1992294400 4194304 4922060 140734124661440 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26590/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701245 s] /proc/loadavg: 1.00 1.00 0.99 3/105 26590 /proc/meminfo: memFree=1839136/2059040 swapFree=4139492/4192956 [pid=26590] ppid=26588 vsize=8700 CPUtime=0 /proc/26590/stat : 26590 (run) S 26588 26590 26057 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 22082580 8908800 250 1992294400 4194304 4922060 140734124661440 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26590/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50034 s] /proc/loadavg: 1.00 1.00 0.99 2/107 26593 /proc/meminfo: memFree=1813948/2059040 swapFree=4139492/4192956 [pid=26590] ppid=26588 vsize=8700 CPUtime=0 /proc/26590/stat : 26590 (run) S 26588 26590 26057 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 22082580 8908800 250 1992294400 4194304 4922060 140734124661440 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26590/statm: 2175 250 211 178 0 68 0 [pid=26592] ppid=26590 vsize=37568 CPUtime=1.49 /proc/26592/stat : 26592 (PBPASSolver) R 26590 26590 26057 0 -1 4202496 9450 0 0 0 144 5 0 0 25 0 1 0 22082580 38469632 8641 1992294400 134512640 134902295 4288283776 18446744073709551615 134583904 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26592/statm: 9392 8641 263 96 0 8604 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 46268 [startup+3.10054 s] /proc/loadavg: 1.00 1.00 0.99 2/107 26593 /proc/meminfo: memFree=1803160/2059040 swapFree=4139492/4192956 [pid=26590] ppid=26588 vsize=8700 CPUtime=0 /proc/26590/stat : 26590 (run) S 26588 26590 26057 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 22082580 8908800 250 1992294400 4194304 4922060 140734124661440 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26590/statm: 2175 250 211 178 0 68 0 [pid=26592] ppid=26590 vsize=40456 CPUtime=3.08 /proc/26592/stat : 26592 (PBPASSolver) R 26590 26590 26057 0 -1 4202496 10448 0 0 0 303 5 0 0 25 0 1 0 22082580 41426944 9129 1992294400 134512640 134902295 4288283776 18446744073709551615 4159722097 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26592/statm: 10114 9129 270 96 0 9326 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 49156 [startup+6.30093 s] /proc/loadavg: 1.00 1.00 0.99 2/107 26593 /proc/meminfo: memFree=1802168/2059040 swapFree=4139492/4192956 [pid=26590] ppid=26588 vsize=8700 CPUtime=0 /proc/26590/stat : 26590 (run) S 26588 26590 26057 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 22082580 8908800 250 1992294400 4194304 4922060 140734124661440 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26590/statm: 2175 250 211 178 0 68 0 [pid=26592] ppid=26590 vsize=41644 CPUtime=6.29 /proc/26592/stat : 26592 (PBPASSolver) R 26590 26590 26057 0 -1 4202496 10735 0 0 0 623 6 0 0 25 0 1 0 22082580 42643456 9416 1992294400 134512640 134902295 4288283776 18446744073709551615 4159722107 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26592/statm: 10411 9416 270 96 0 9623 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 50344 [startup+12.7007 s] /proc/loadavg: 1.00 1.00 0.99 2/107 26593 /proc/meminfo: memFree=1799812/2059040 swapFree=4139492/4192956 [pid=26590] ppid=26588 vsize=8700 CPUtime=0 /proc/26590/stat : 26590 (run) S 26588 26590 26057 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 22082580 8908800 250 1992294400 4194304 4922060 140734124661440 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26590/statm: 2175 250 211 178 0 68 0 [pid=26592] ppid=26590 vsize=43628 CPUtime=12.68 /proc/26592/stat : 26592 (PBPASSolver) R 26590 26590 26057 0 -1 4202496 11242 0 0 0 1262 6 0 0 25 0 1 0 22082580 44675072 9923 1992294400 134512640 134902295 4288283776 18446744073709551615 4159755768 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26592/statm: 10907 9923 270 96 0 10119 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 52328 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 0.99 2/107 26593 /proc/meminfo: memFree=1796712/2059040 swapFree=4139492/4192956 [pid=26590] ppid=26588 vsize=8700 CPUtime=0 /proc/26590/stat : 26590 (run) S 26588 26590 26057 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 22082580 8908800 250 1992294400 4194304 4922060 140734124661440 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26590/statm: 2175 250 211 178 0 68 0 [pid=26592] ppid=26590 vsize=46808 CPUtime=25.48 /proc/26592/stat : 26592 (PBPASSolver) R 26590 26590 26057 0 -1 4202496 12013 0 0 0 2541 7 0 0 25 0 1 0 22082580 47931392 10694 1992294400 134512640 134902295 4288283776 18446744073709551615 4159741368 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26592/statm: 11702 10694 270 96 0 10914 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 55508 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 0.99 2/107 26595 /proc/meminfo: memFree=1791132/2059040 swapFree=4139492/4192956 [pid=26590] ppid=26588 vsize=8700 CPUtime=0 /proc/26590/stat : 26590 (run) S 26588 26590 26057 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 22082580 8908800 250 1992294400 4194304 4922060 140734124661440 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26590/statm: 2175 250 211 178 0 68 0 [pid=26592] ppid=26590 vsize=52452 CPUtime=51.07 /proc/26592/stat : 26592 (PBPASSolver) R 26590 26590 26057 0 -1 4202496 13439 0 0 0 5099 8 0 0 25 0 1 0 22082580 53710848 12120 1992294400 134512640 134902295 4288283776 18446744073709551615 4159753468 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26592/statm: 13113 12120 270 96 0 12325 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 61152 [startup+102.309 s] /proc/loadavg: 1.00 1.00 0.99 2/107 26595 /proc/meminfo: memFree=1782452/2059040 swapFree=4139492/4192956 [pid=26590] ppid=26588 vsize=8700 CPUtime=0 /proc/26590/stat : 26590 (run) S 26588 26590 26057 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 22082580 8908800 250 1992294400 4194304 4922060 140734124661440 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26590/statm: 2175 250 211 178 0 68 0 [pid=26592] ppid=26590 vsize=60740 CPUtime=102.26 /proc/26592/stat : 26592 (PBPASSolver) R 26590 26590 26057 0 -1 4202496 15510 0 0 0 10215 11 0 0 25 0 1 0 22082580 62197760 14191 1992294400 134512640 134902295 4288283776 18446744073709551615 4159741552 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26592/statm: 15185 14191 270 96 0 14397 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 69440 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.99 2/107 26597 /proc/meminfo: memFree=1777864/2059040 swapFree=4139492/4192956 [pid=26590] ppid=26588 vsize=8700 CPUtime=0 /proc/26590/stat : 26590 (run) S 26588 26590 26057 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 22082580 8908800 250 1992294400 4194304 4922060 140734124661440 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26590/statm: 2175 250 211 178 0 68 0 [pid=26592] ppid=26590 vsize=65348 CPUtime=162.24 /proc/26592/stat : 26592 (PBPASSolver) R 26590 26590 26057 0 -1 4202496 16633 0 0 0 16211 13 0 0 25 0 1 0 22082580 66916352 15314 1992294400 134512640 134902295 4288283776 18446744073709551615 4159734820 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26592/statm: 16337 15314 270 96 0 15549 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 74048 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.99 2/107 26599 /proc/meminfo: memFree=1775012/2059040 swapFree=4139492/4192956 [pid=26590] ppid=26588 vsize=8700 CPUtime=0 /proc/26590/stat : 26590 (run) S 26588 26590 26057 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 22082580 8908800 250 1992294400 4194304 4922060 140734124661440 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26590/statm: 2175 250 211 178 0 68 0 [pid=26592] ppid=26590 vsize=68272 CPUtime=222.22 /proc/26592/stat : 26592 (PBPASSolver) R 26590 26590 26057 0 -1 4202496 17352 0 0 0 22209 13 0 0 25 0 1 0 22082580 69910528 16033 1992294400 134512640 134902295 4288283776 18446744073709551615 4159752318 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26592/statm: 17068 16033 270 96 0 16280 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 76972 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.99 2/107 26601 /proc/meminfo: memFree=1772656/2059040 swapFree=4139492/4192956 [pid=26590] ppid=26588 vsize=8700 CPUtime=0 /proc/26590/stat : 26590 (run) S 26588 26590 26057 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 22082580 8908800 250 1992294400 4194304 4922060 140734124661440 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26590/statm: 2175 250 211 178 0 68 0 [pid=26592] ppid=26590 vsize=70660 CPUtime=282.21 /proc/26592/stat : 26592 (PBPASSolver) R 26590 26590 26057 0 -1 4202496 17959 0 0 0 28207 14 0 0 25 0 1 0 22082580 72355840 16640 1992294400 134512640 134902295 4288283776 18446744073709551615 4159740823 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26592/statm: 17665 16640 270 96 0 16877 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 79360 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.99 2/107 26603 /proc/meminfo: memFree=1766456/2059040 swapFree=4139492/4192956 [pid=26590] ppid=26588 vsize=8700 CPUtime=0 /proc/26590/stat : 26590 (run) S 26588 26590 26057 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 22082580 8908800 250 1992294400 4194304 4922060 140734124661440 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26590/statm: 2175 250 211 178 0 68 0 [pid=26592] ppid=26590 vsize=77164 CPUtime=342.19 /proc/26592/stat : 26592 (PBPASSolver) R 26590 26590 26057 0 -1 4202496 19508 0 0 0 34204 15 0 0 25 0 1 0 22082580 79015936 18189 1992294400 134512640 134902295 4288283776 18446744073709551615 4159740913 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26592/statm: 19291 18189 270 96 0 18503 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 85864 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.99 2/107 26603 /proc/meminfo: memFree=1749468/2059040 swapFree=4139492/4192956 [pid=26590] ppid=26588 vsize=8700 CPUtime=0 /proc/26590/stat : 26590 (run) S 26588 26590 26057 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 22082580 8908800 250 1992294400 4194304 4922060 140734124661440 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26590/statm: 2175 250 211 178 0 68 0 [pid=26592] ppid=26590 vsize=94076 CPUtime=402.17 /proc/26592/stat : 26592 (PBPASSolver) R 26590 26590 26057 0 -1 4202496 23758 0 0 0 40198 19 0 0 25 0 1 0 22082580 96333824 22439 1992294400 134512640 134902295 4288283776 18446744073709551615 4159752318 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26592/statm: 23519 22439 270 96 0 22731 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 102776 [startup+462.302 s] ################ # More data... # ################ /proc/26592/statm: 52317 51047 270 96 0 51529 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 217968 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 26634 /proc/meminfo: memFree=1618524/2059040 swapFree=4139492/4192956 [pid=26590] ppid=26588 vsize=8700 CPUtime=0 /proc/26590/stat : 26590 (run) S 26588 26590 26057 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 22082580 8908800 250 1992294400 4194304 4922060 140734124661440 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26590/statm: 2175 250 211 178 0 68 0 [pid=26592] ppid=26590 vsize=224644 CPUtime=1181.94 /proc/26592/stat : 26592 (PBPASSolver) R 26590 26590 26057 0 -1 4202496 56253 0 0 0 118139 55 0 0 25 0 1 0 22082580 230035456 54934 1992294400 134512640 134902295 4288283776 18446744073709551615 4159755229 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26592/statm: 56161 54934 270 96 0 55373 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 233344 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 26636 /proc/meminfo: memFree=1608108/2059040 swapFree=4139492/4192956 [pid=26590] ppid=26588 vsize=8700 CPUtime=0 /proc/26590/stat : 26590 (run) S 26588 26590 26057 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 22082580 8908800 250 1992294400 4194304 4922060 140734124661440 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26590/statm: 2175 250 211 178 0 68 0 [pid=26592] ppid=26590 vsize=234808 CPUtime=1241.93 /proc/26592/stat : 26592 (PBPASSolver) R 26590 26590 26057 0 -1 4202496 58770 0 0 0 124134 59 0 0 25 0 1 0 22082580 240443392 57451 1992294400 134512640 134902295 4288283776 18446744073709551615 4159722114 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26592/statm: 58702 57451 270 96 0 57914 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 243508 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 26636 /proc/meminfo: memFree=1597196/2059040 swapFree=4139492/4192956 [pid=26590] ppid=26588 vsize=8700 CPUtime=0 /proc/26590/stat : 26590 (run) S 26588 26590 26057 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 22082580 8908800 250 1992294400 4194304 4922060 140734124661440 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26590/statm: 2175 250 211 178 0 68 0 [pid=26592] ppid=26590 vsize=245520 CPUtime=1301.92 /proc/26592/stat : 26592 (PBPASSolver) R 26590 26590 26057 0 -1 4202496 61463 0 0 0 130129 63 0 0 25 0 1 0 22082580 251412480 60144 1992294400 134512640 134902295 4288283776 18446744073709551615 4159752504 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26592/statm: 61380 60144 270 96 0 60592 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 254220 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 26638 /proc/meminfo: memFree=1590624/2059040 swapFree=4139492/4192956 [pid=26590] ppid=26588 vsize=8700 CPUtime=0 /proc/26590/stat : 26590 (run) S 26588 26590 26057 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 22082580 8908800 250 1992294400 4194304 4922060 140734124661440 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26590/statm: 2175 250 211 178 0 68 0 [pid=26592] ppid=26590 vsize=252132 CPUtime=1361.9 /proc/26592/stat : 26592 (PBPASSolver) R 26590 26590 26057 0 -1 4202496 63119 0 0 0 136126 64 0 0 25 0 1 0 22082580 258183168 61800 1992294400 134512640 134902295 4288283776 18446744073709551615 4159741101 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26592/statm: 63033 61800 270 96 0 62245 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 260832 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 2/107 26640 /proc/meminfo: memFree=1584548/2059040 swapFree=4139492/4192956 [pid=26590] ppid=26588 vsize=8700 CPUtime=0 /proc/26590/stat : 26590 (run) S 26588 26590 26057 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 22082580 8908800 250 1992294400 4194304 4922060 140734124661440 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26590/statm: 2175 250 211 178 0 68 0 [pid=26592] ppid=26590 vsize=258112 CPUtime=1421.89 /proc/26592/stat : 26592 (PBPASSolver) R 26590 26590 26057 0 -1 4202496 64632 0 0 0 142123 66 0 0 25 0 1 0 22082580 264306688 63313 1992294400 134512640 134902295 4288283776 18446744073709551615 4159752504 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26592/statm: 64528 63313 270 96 0 63740 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 266812 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 26642 /proc/meminfo: memFree=1576984/2059040 swapFree=4139492/4192956 [pid=26590] ppid=26588 vsize=8700 CPUtime=0 /proc/26590/stat : 26590 (run) S 26588 26590 26057 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 22082580 8908800 250 1992294400 4194304 4922060 140734124661440 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26590/statm: 2175 250 211 178 0 68 0 [pid=26592] ppid=26590 vsize=265768 CPUtime=1481.87 /proc/26592/stat : 26592 (PBPASSolver) R 26590 26590 26057 0 -1 4202496 66562 0 0 0 148118 69 0 0 25 0 1 0 22082580 272146432 65243 1992294400 134512640 134902295 4288283776 18446744073709551615 4159752318 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26592/statm: 66442 65243 270 96 0 65654 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 274468 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 26644 /proc/meminfo: memFree=1568800/2059040 swapFree=4139492/4192956 [pid=26590] ppid=26588 vsize=8700 CPUtime=0 /proc/26590/stat : 26590 (run) S 26588 26590 26057 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 22082580 8908800 250 1992294400 4194304 4922060 140734124661440 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26590/statm: 2175 250 211 178 0 68 0 [pid=26592] ppid=26590 vsize=273852 CPUtime=1541.85 /proc/26592/stat : 26592 (PBPASSolver) R 26590 26590 26057 0 -1 4202496 68563 0 0 0 154114 71 0 0 25 0 1 0 22082580 280424448 67244 1992294400 134512640 134902295 4288283776 18446744073709551615 4159752477 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26592/statm: 68463 67244 270 96 0 67675 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 282552 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 26644 /proc/meminfo: memFree=1560864/2059040 swapFree=4139492/4192956 [pid=26590] ppid=26588 vsize=8700 CPUtime=0 /proc/26590/stat : 26590 (run) S 26588 26590 26057 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 22082580 8908800 250 1992294400 4194304 4922060 140734124661440 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26590/statm: 2175 250 211 178 0 68 0 [pid=26592] ppid=26590 vsize=281648 CPUtime=1601.83 /proc/26592/stat : 26592 (PBPASSolver) R 26590 26590 26057 0 -1 4202496 70532 0 0 0 160111 72 0 0 25 0 1 0 22082580 288407552 69213 1992294400 134512640 134902295 4288283776 18446744073709551615 4159752504 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26592/statm: 70412 69213 270 96 0 69624 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 290348 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 26646 /proc/meminfo: memFree=1554292/2059040 swapFree=4139492/4192956 [pid=26590] ppid=26588 vsize=8700 CPUtime=0 /proc/26590/stat : 26590 (run) S 26588 26590 26057 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 22082580 8908800 250 1992294400 4194304 4922060 140734124661440 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26590/statm: 2175 250 211 178 0 68 0 [pid=26592] ppid=26590 vsize=288116 CPUtime=1661.82 /proc/26592/stat : 26592 (PBPASSolver) R 26590 26590 26057 0 -1 4202496 72176 0 0 0 166108 74 0 0 25 0 1 0 22082580 295030784 70857 1992294400 134512640 134902295 4288283776 18446744073709551615 4159734251 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26592/statm: 72029 70857 270 96 0 71241 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 296816 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 26648 /proc/meminfo: memFree=1547348/2059040 swapFree=4139492/4192956 [pid=26590] ppid=26588 vsize=8700 CPUtime=0 /proc/26590/stat : 26590 (run) S 26588 26590 26057 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 22082580 8908800 250 1992294400 4194304 4922060 140734124661440 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26590/statm: 2175 250 211 178 0 68 0 [pid=26592] ppid=26590 vsize=295040 CPUtime=1721.8 /proc/26592/stat : 26592 (PBPASSolver) R 26590 26590 26057 0 -1 4202496 73882 0 0 0 172105 75 0 0 25 0 1 0 22082580 302120960 72563 1992294400 134512640 134902295 4288283776 18446744073709551615 4159752318 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26592/statm: 73760 72563 270 96 0 72972 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 303740 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 26650 /proc/meminfo: memFree=1540404/2059040 swapFree=4139492/4192956 [pid=26590] ppid=26588 vsize=8700 CPUtime=0 /proc/26590/stat : 26590 (run) S 26588 26590 26057 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 22082580 8908800 250 1992294400 4194304 4922060 140734124661440 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26590/statm: 2175 250 211 178 0 68 0 [pid=26592] ppid=26590 vsize=301772 CPUtime=1781.78 /proc/26592/stat : 26592 (PBPASSolver) R 26590 26590 26057 0 -1 4202496 75569 0 0 0 178100 78 0 0 25 0 1 0 22082580 309014528 74250 1992294400 134512640 134902295 4288283776 18446744073709551615 4159752318 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26592/statm: 75443 74250 270 96 0 74655 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 310472 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.99 2/107 26650 /proc/meminfo: memFree=1538792/2059040 swapFree=4139492/4192956 [pid=26590] ppid=26588 vsize=8700 CPUtime=0 /proc/26590/stat : 26590 (run) S 26588 26590 26057 0 -1 4202496 388 134 0 0 0 0 0 0 25 0 1 0 22082580 8908800 250 1992294400 4194304 4922060 140734124661440 18446744073709551615 219540987013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/26590/statm: 2175 250 211 178 0 68 0 [pid=26592] ppid=26590 vsize=303224 CPUtime=1800.09 /proc/26592/stat : 26592 (PBPASSolver) R 26590 26590 26057 0 -1 4202496 75952 0 0 0 179931 78 0 0 25 0 1 0 22082580 310501376 74633 1992294400 134512640 134902295 4288283776 18446744073709551615 4159752318 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/26592/statm: 75806 74633 270 96 0 75018 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 311924 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 26590 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=1999 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1999 # CPU time returned by wait4() is 0.003998 # while last known CPU time is 1800.09 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1800.62 CPU time (s): 1800.09 CPU user time (s): 1799.31 CPU system time (s): 0.78 CPU usage (%): 99.9705 Max. virtual memory (cumulated for all children) (KiB): 311924 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.001999 system time used= 0.001999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 522 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= 3 involuntary context switches= 3 runsolver used 3.03954 second user time and 8.43772 second system time The end
Begin job on node080 at 2010-06-17 22:51:34 IDJOB=2673273 IDBENCH=47940 IDSOLVER=1174 FILE ID=node080/2673273-1276807894 PBS_JOBID= 11176645 Free space on /tmp= 62592 MiB SOLVER NAME= PBPASSolver 2010-06-13 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=43-P1=131-P2=257-P3=71-P4=149-P5=223-P6=167-B.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2673273-1276807894/watcher-2673273-1276807894 -o /tmp/evaluation-result-2673273-1276807894/solver-2673273-1276807894 -C 1800 -W 2000 -M 1800 run HOME/instance-2673273-1276807894.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 29d9c644cbc560d09c0ca2d5a8d36791 RANDOM SEED=227705224 node080.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.242 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.242 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.49 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1839656 kB Buffers: 30432 kB Cached: 96208 kB SwapCached: 7352 kB Active: 62216 kB Inactive: 78448 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1839656 kB SwapTotal: 4192956 kB SwapFree: 4139492 kB Dirty: 880 kB Writeback: 0 kB AnonPages: 11680 kB Mapped: 12996 kB Slab: 56856 kB PageTables: 3936 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183816 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62592 MiB End job on node080 at 2010-06-17 23:21:37