Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBPASSolver 2010-06-13 | ? (TO) | 1800.07 | 1800.62 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_50_25_2.opb |
MD5SUM | f082d755a098ee30cf6a4e6ef2f7b520 |
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 | 2 |
Best CPU time to get the best result obtained on this benchmark | 0.215966 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2 |
Optimality of the best value was proved | YES |
Number of variables | 50 |
Total number of constraints | 50 |
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 | 50 |
Minimum length of a constraint | 26 |
Maximum length of a constraint | 40 |
Number of terms in the objective function | 50 |
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 | 50 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 50 |
Number of bits of the biggest sum of numbers | 6 |
Number of products (including duplicates) | 1480 |
Sum of products size (including duplicates) | 2960 |
Number of different products | 1480 |
Sum of products size | 2960 |
0.00/0.28 c 50 50 1480 2960 0 0 0 0 0.00/0.28 o 3 0.00/0.28 c 32 ~x1587+16 ~x1586+8 ~x1585+4 ~x1584+2 ~x1583+1 ~x1582+1 ~x51+1 ~x50+1 ~x49+1 ~x48+1 ~x47+1 ~x46+1 ~x45+1 ~x44+1 ~x43+1 ~x42+1 ~x41+1 ~x40+1 ~x39+1 ~x38+1 ~x37+1 ~x36+1 ~x35+1 ~x34+1 ~x33+1 ~x32+1 ~x31+1 ~x30+1 ~x29+1 ~x28+
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-2673495-1276813233/watcher-2673495-1276813233 -o /tmp/evaluation-result-2673495-1276813233/solver-2673495-1276813233 -C 1800 -W 2000 -M 1800 run HOME/instance-2673495-1276813233.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.02 1.05 1.00 3/106 23404 /proc/meminfo: memFree=1850472/2059040 swapFree=4140984/4192956 [pid=23404] ppid=23402 vsize=8700 CPUtime=0 /proc/23404/stat : 23404 (run) S 23402 23404 22541 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 22611315 8908800 250 1992294400 4194304 4922060 140736649845824 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23404/statm: 2175 250 211 178 0 68 0 [startup+0.0244121 s] /proc/loadavg: 1.02 1.05 1.00 3/106 23404 /proc/meminfo: memFree=1850472/2059040 swapFree=4140984/4192956 [pid=23404] ppid=23402 vsize=8700 CPUtime=0 /proc/23404/stat : 23404 (run) S 23402 23404 22541 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 22611315 8908800 250 1992294400 4194304 4922060 140736649845824 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23404/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101424 s] /proc/loadavg: 1.02 1.05 1.00 3/106 23404 /proc/meminfo: memFree=1850472/2059040 swapFree=4140984/4192956 [pid=23404] ppid=23402 vsize=8700 CPUtime=0 /proc/23404/stat : 23404 (run) S 23402 23404 22541 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 22611315 8908800 250 1992294400 4194304 4922060 140736649845824 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23404/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300452 s] /proc/loadavg: 1.02 1.05 1.00 3/106 23404 /proc/meminfo: memFree=1850472/2059040 swapFree=4140984/4192956 [pid=23404] ppid=23402 vsize=8700 CPUtime=0 /proc/23404/stat : 23404 (run) S 23402 23404 22541 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 22611315 8908800 250 1992294400 4194304 4922060 140736649845824 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23404/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700508 s] /proc/loadavg: 1.02 1.05 1.00 3/106 23404 /proc/meminfo: memFree=1850472/2059040 swapFree=4140984/4192956 [pid=23404] ppid=23402 vsize=8700 CPUtime=0 /proc/23404/stat : 23404 (run) S 23402 23404 22541 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 22611315 8908800 250 1992294400 4194304 4922060 140736649845824 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23404/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50162 s] /proc/loadavg: 1.02 1.05 1.00 2/108 23407 /proc/meminfo: memFree=1827764/2059040 swapFree=4140984/4192956 [pid=23404] ppid=23402 vsize=8700 CPUtime=0 /proc/23404/stat : 23404 (run) S 23402 23404 22541 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 22611315 8908800 250 1992294400 4194304 4922060 140736649845824 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23404/statm: 2175 250 211 178 0 68 0 [pid=23406] ppid=23404 vsize=25744 CPUtime=1.48 /proc/23406/stat : 23406 (PBPASSolver) R 23404 23404 22541 0 -1 4202496 6273 0 0 0 141 7 0 0 25 0 1 0 22611315 26361856 5799 1992294400 134512640 134902295 4287336256 18446744073709551615 4160672293 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23406/statm: 6436 5799 270 96 0 5648 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 34444 [startup+3.10185 s] /proc/loadavg: 1.02 1.05 1.00 2/108 23407 /proc/meminfo: memFree=1827640/2059040 swapFree=4140984/4192956 [pid=23404] ppid=23402 vsize=8700 CPUtime=0 /proc/23404/stat : 23404 (run) S 23402 23404 22541 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 22611315 8908800 250 1992294400 4194304 4922060 140736649845824 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23404/statm: 2175 250 211 178 0 68 0 [pid=23406] ppid=23404 vsize=26272 CPUtime=3.08 /proc/23406/stat : 23406 (PBPASSolver) R 23404 23404 22541 0 -1 4202496 6411 0 0 0 301 7 0 0 25 0 1 0 22611315 26902528 5937 1992294400 134512640 134902295 4287336256 18446744073709551615 4160702598 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23406/statm: 6568 5937 270 96 0 5780 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 34972 [startup+6.3003 s] /proc/loadavg: 1.02 1.05 1.00 2/108 23407 /proc/meminfo: memFree=1826400/2059040 swapFree=4140984/4192956 [pid=23404] ppid=23402 vsize=8700 CPUtime=0 /proc/23404/stat : 23404 (run) S 23402 23404 22541 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 22611315 8908800 250 1992294400 4194304 4922060 140736649845824 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23404/statm: 2175 250 211 178 0 68 0 [pid=23406] ppid=23404 vsize=27332 CPUtime=6.28 /proc/23406/stat : 23406 (PBPASSolver) R 23404 23404 22541 0 -1 4202496 6668 0 0 0 621 7 0 0 25 0 1 0 22611315 27987968 6194 1992294400 134512640 134902295 4287336256 18446744073709551615 4160705530 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23406/statm: 6833 6194 270 96 0 6045 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 36032 [startup+12.7012 s] /proc/loadavg: 1.02 1.05 1.00 2/108 23407 /proc/meminfo: memFree=1825532/2059040 swapFree=4140984/4192956 [pid=23404] ppid=23402 vsize=8700 CPUtime=0 /proc/23404/stat : 23404 (run) S 23402 23404 22541 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 22611315 8908800 250 1992294400 4194304 4922060 140736649845824 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23404/statm: 2175 250 211 178 0 68 0 [pid=23406] ppid=23404 vsize=28032 CPUtime=12.68 /proc/23406/stat : 23406 (PBPASSolver) R 23404 23404 22541 0 -1 4202496 6849 0 0 0 1261 7 0 0 25 0 1 0 22611315 28704768 6375 1992294400 134512640 134902295 4287336256 18446744073709551615 4160696034 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23406/statm: 7008 6375 270 96 0 6220 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 36732 [startup+25.501 s] /proc/loadavg: 1.01 1.04 1.00 2/108 23407 /proc/meminfo: memFree=1823672/2059040 swapFree=4140984/4192956 [pid=23404] ppid=23402 vsize=8700 CPUtime=0 /proc/23404/stat : 23404 (run) S 23402 23404 22541 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 22611315 8908800 250 1992294400 4194304 4922060 140736649845824 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23404/statm: 2175 250 211 178 0 68 0 [pid=23406] ppid=23404 vsize=29620 CPUtime=25.48 /proc/23406/stat : 23406 (PBPASSolver) R 23404 23404 22541 0 -1 4202496 7257 0 0 0 2540 8 0 0 25 0 1 0 22611315 30330880 6783 1992294400 134512640 134902295 4287336256 18446744073709551615 4160693776 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23406/statm: 7405 6783 270 96 0 6617 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 38320 [startup+51.1007 s] /proc/loadavg: 1.01 1.04 1.00 2/108 23407 /proc/meminfo: memFree=1823052/2059040 swapFree=4140984/4192956 [pid=23404] ppid=23402 vsize=8700 CPUtime=0 /proc/23404/stat : 23404 (run) S 23402 23404 22541 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 22611315 8908800 250 1992294400 4194304 4922060 140736649845824 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23404/statm: 2175 250 211 178 0 68 0 [pid=23406] ppid=23404 vsize=30332 CPUtime=51.07 /proc/23406/stat : 23406 (PBPASSolver) R 23404 23404 22541 0 -1 4202496 7417 0 0 0 5099 8 0 0 25 0 1 0 22611315 31059968 6943 1992294400 134512640 134902295 4287336256 18446744073709551615 4160691086 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23406/statm: 7583 6943 270 96 0 6795 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 39032 [startup+102.309 s] /proc/loadavg: 1.00 1.03 1.00 2/108 23409 /proc/meminfo: memFree=1820572/2059040 swapFree=4140984/4192956 [pid=23404] ppid=23402 vsize=8700 CPUtime=0 /proc/23404/stat : 23404 (run) S 23402 23404 22541 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 22611315 8908800 250 1992294400 4194304 4922060 140736649845824 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23404/statm: 2175 250 211 178 0 68 0 [pid=23406] ppid=23404 vsize=32604 CPUtime=102.27 /proc/23406/stat : 23406 (PBPASSolver) R 23404 23404 22541 0 -1 4202496 7974 0 0 0 10218 9 0 0 25 0 1 0 22611315 33386496 7500 1992294400 134512640 134902295 4287336256 18446744073709551615 4160705498 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23406/statm: 8151 7500 270 96 0 7363 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 41304 [startup+162.301 s] /proc/loadavg: 1.00 1.02 1.00 2/108 23411 /proc/meminfo: memFree=1818712/2059040 swapFree=4140984/4192956 [pid=23404] ppid=23402 vsize=8700 CPUtime=0 /proc/23404/stat : 23404 (run) S 23402 23404 22541 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 22611315 8908800 250 1992294400 4194304 4922060 140736649845824 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23404/statm: 2175 250 211 178 0 68 0 [pid=23406] ppid=23404 vsize=34204 CPUtime=162.24 /proc/23406/stat : 23406 (PBPASSolver) R 23404 23404 22541 0 -1 4202496 8398 0 0 0 16215 9 0 0 25 0 1 0 22611315 35024896 7924 1992294400 134512640 134902295 4287336256 18446744073709551615 4160687913 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23406/statm: 8551 7924 270 96 0 7763 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 42904 [startup+222.301 s] /proc/loadavg: 1.00 1.02 1.00 2/108 23413 /proc/meminfo: memFree=1817720/2059040 swapFree=4140984/4192956 [pid=23404] ppid=23402 vsize=8700 CPUtime=0 /proc/23404/stat : 23404 (run) S 23402 23404 22541 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 22611315 8908800 250 1992294400 4194304 4922060 140736649845824 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23404/statm: 2175 250 211 178 0 68 0 [pid=23406] ppid=23404 vsize=35280 CPUtime=222.22 /proc/23406/stat : 23406 (PBPASSolver) R 23404 23404 22541 0 -1 4202496 8641 0 0 0 22213 9 0 0 25 0 1 0 22611315 36126720 8167 1992294400 134512640 134902295 4287336256 18446744073709551615 4160693311 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23406/statm: 8820 8167 270 96 0 8032 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 43980 [startup+282.301 s] /proc/loadavg: 1.00 1.01 1.00 2/108 23413 /proc/meminfo: memFree=1817596/2059040 swapFree=4140984/4192956 [pid=23404] ppid=23402 vsize=8700 CPUtime=0 /proc/23404/stat : 23404 (run) S 23402 23404 22541 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 22611315 8908800 250 1992294400 4194304 4922060 140736649845824 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23404/statm: 2175 250 211 178 0 68 0 [pid=23406] ppid=23404 vsize=35412 CPUtime=282.2 /proc/23406/stat : 23406 (PBPASSolver) R 23404 23404 22541 0 -1 4202496 8690 0 0 0 28211 9 0 0 25 0 1 0 22611315 36261888 8216 1992294400 134512640 134902295 4287336256 18446744073709551615 4160702601 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23406/statm: 8853 8216 270 96 0 8065 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 44112 [startup+342.301 s] /proc/loadavg: 1.00 1.01 1.00 2/108 23415 /proc/meminfo: memFree=1817100/2059040 swapFree=4140984/4192956 [pid=23404] ppid=23402 vsize=8700 CPUtime=0 /proc/23404/stat : 23404 (run) S 23402 23404 22541 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 22611315 8908800 250 1992294400 4194304 4922060 140736649845824 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23404/statm: 2175 250 211 178 0 68 0 [pid=23406] ppid=23404 vsize=35808 CPUtime=342.18 /proc/23406/stat : 23406 (PBPASSolver) R 23404 23404 22541 0 -1 4202496 8798 0 0 0 34209 9 0 0 25 0 1 0 22611315 36667392 8324 1992294400 134512640 134902295 4287336256 18446744073709551615 4160705745 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23406/statm: 8952 8324 270 96 0 8164 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 44508 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23417 /proc/meminfo: memFree=1815984/2059040 swapFree=4140984/4192956 [pid=23404] ppid=23402 vsize=8700 CPUtime=0 /proc/23404/stat : 23404 (run) S 23402 23404 22541 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 22611315 8908800 250 1992294400 4194304 4922060 140736649845824 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23404/statm: 2175 250 211 178 0 68 0 [pid=23406] ppid=23404 vsize=37260 CPUtime=402.16 /proc/23406/stat : 23406 (PBPASSolver) R 23404 23404 22541 0 -1 4202496 9143 0 0 0 40207 9 0 0 25 0 1 0 22611315 38154240 8669 1992294400 134512640 134902295 4287336256 18446744073709551615 4160702752 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23406/statm: 9315 8669 270 96 0 8527 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 45960 [startup+462.301 s] ################ # More data... # ################ /proc/23406/statm: 10176 9533 270 96 0 9388 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 49404 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 23440 /proc/meminfo: memFree=1811768/2059040 swapFree=4140984/4192956 [pid=23404] ppid=23402 vsize=8700 CPUtime=0 /proc/23404/stat : 23404 (run) S 23402 23404 22541 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 22611315 8908800 250 1992294400 4194304 4922060 140736649845824 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23404/statm: 2175 250 211 178 0 68 0 [pid=23406] ppid=23404 vsize=40704 CPUtime=1181.93 /proc/23406/stat : 23406 (PBPASSolver) R 23404 23404 22541 0 -1 4202496 10007 0 0 0 118183 10 0 0 25 0 1 0 22611315 41680896 9533 1992294400 134512640 134902295 4287336256 18446744073709551615 4160702583 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23406/statm: 10176 9533 270 96 0 9388 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 49404 [startup+1242.3 s] /proc/loadavg: 1.07 1.02 1.00 2/108 23442 /proc/meminfo: memFree=1811520/2059040 swapFree=4140984/4192956 [pid=23404] ppid=23402 vsize=8700 CPUtime=0 /proc/23404/stat : 23404 (run) S 23402 23404 22541 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 22611315 8908800 250 1992294400 4194304 4922060 140736649845824 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23404/statm: 2175 250 211 178 0 68 0 [pid=23406] ppid=23404 vsize=40704 CPUtime=1241.92 /proc/23406/stat : 23406 (PBPASSolver) R 23404 23404 22541 0 -1 4202496 10007 0 0 0 124182 10 0 0 25 0 1 0 22611315 41680896 9533 1992294400 134512640 134902295 4287336256 18446744073709551615 4160672478 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23406/statm: 10176 9533 270 96 0 9388 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 49404 [startup+1302.3 s] /proc/loadavg: 1.02 1.01 1.00 2/108 23444 /proc/meminfo: memFree=1811396/2059040 swapFree=4140984/4192956 [pid=23404] ppid=23402 vsize=8700 CPUtime=0 /proc/23404/stat : 23404 (run) S 23402 23404 22541 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 22611315 8908800 250 1992294400 4194304 4922060 140736649845824 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23404/statm: 2175 250 211 178 0 68 0 [pid=23406] ppid=23404 vsize=40848 CPUtime=1301.91 /proc/23406/stat : 23406 (PBPASSolver) R 23404 23404 22541 0 -1 4202496 10036 0 0 0 130181 10 0 0 25 0 1 0 22611315 41828352 9562 1992294400 134512640 134902295 4287336256 18446744073709551615 4160705221 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23406/statm: 10212 9562 270 96 0 9424 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 49548 [startup+1362.3 s] /proc/loadavg: 1.14 1.04 1.01 2/108 23446 /proc/meminfo: memFree=1811272/2059040 swapFree=4140984/4192956 [pid=23404] ppid=23402 vsize=8700 CPUtime=0 /proc/23404/stat : 23404 (run) S 23402 23404 22541 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 22611315 8908800 250 1992294400 4194304 4922060 140736649845824 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23404/statm: 2175 250 211 178 0 68 0 [pid=23406] ppid=23404 vsize=40848 CPUtime=1361.88 /proc/23406/stat : 23406 (PBPASSolver) R 23404 23404 22541 0 -1 4202496 10047 0 0 0 136178 10 0 0 25 0 1 0 22611315 41828352 9573 1992294400 134512640 134902295 4287336256 18446744073709551615 4160672511 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23406/statm: 10212 9573 270 96 0 9424 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 49548 [startup+1422.31 s] /proc/loadavg: 1.10 1.04 1.01 2/108 23448 /proc/meminfo: memFree=1811272/2059040 swapFree=4140984/4192956 [pid=23404] ppid=23402 vsize=8700 CPUtime=0 /proc/23404/stat : 23404 (run) S 23402 23404 22541 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 22611315 8908800 250 1992294400 4194304 4922060 140736649845824 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23404/statm: 2175 250 211 178 0 68 0 [pid=23406] ppid=23404 vsize=40848 CPUtime=1421.87 /proc/23406/stat : 23406 (PBPASSolver) R 23404 23404 22541 0 -1 4202496 10047 0 0 0 142177 10 0 0 25 0 1 0 22611315 41828352 9573 1992294400 134512640 134902295 4287336256 18446744073709551615 4160702590 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23406/statm: 10212 9573 270 96 0 9424 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 49548 [startup+1482.3 s] /proc/loadavg: 1.08 1.05 1.01 2/108 23448 /proc/meminfo: memFree=1811272/2059040 swapFree=4140984/4192956 [pid=23404] ppid=23402 vsize=8700 CPUtime=0 /proc/23404/stat : 23404 (run) S 23402 23404 22541 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 22611315 8908800 250 1992294400 4194304 4922060 140736649845824 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23404/statm: 2175 250 211 178 0 68 0 [pid=23406] ppid=23404 vsize=40848 CPUtime=1481.84 /proc/23406/stat : 23406 (PBPASSolver) R 23404 23404 22541 0 -1 4202496 10049 0 0 0 148174 10 0 0 25 0 1 0 22611315 41828352 9575 1992294400 134512640 134902295 4287336256 18446744073709551615 4160705530 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23406/statm: 10212 9575 270 96 0 9424 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 49548 [startup+1542.3 s] /proc/loadavg: 1.07 1.05 1.01 2/108 23450 /proc/meminfo: memFree=1811272/2059040 swapFree=4140984/4192956 [pid=23404] ppid=23402 vsize=8700 CPUtime=0 /proc/23404/stat : 23404 (run) S 23402 23404 22541 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 22611315 8908800 250 1992294400 4194304 4922060 140736649845824 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23404/statm: 2175 250 211 178 0 68 0 [pid=23406] ppid=23404 vsize=41000 CPUtime=1541.83 /proc/23406/stat : 23406 (PBPASSolver) R 23404 23404 22541 0 -1 4202496 10062 0 0 0 154173 10 0 0 25 0 1 0 22611315 41984000 9588 1992294400 134512640 134902295 4287336256 18446744073709551615 4160684561 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23406/statm: 10250 9588 270 96 0 9462 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 49700 [startup+1602.3 s] /proc/loadavg: 1.07 1.05 1.01 2/108 23452 /proc/meminfo: memFree=1810776/2059040 swapFree=4140984/4192956 [pid=23404] ppid=23402 vsize=8700 CPUtime=0 /proc/23404/stat : 23404 (run) S 23402 23404 22541 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 22611315 8908800 250 1992294400 4194304 4922060 140736649845824 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23404/statm: 2175 250 211 178 0 68 0 [pid=23406] ppid=23404 vsize=41432 CPUtime=1601.82 /proc/23406/stat : 23406 (PBPASSolver) R 23404 23404 22541 0 -1 4202496 10200 0 0 0 160171 11 0 0 25 0 1 0 22611315 42426368 9726 1992294400 134512640 134902295 4287336256 18446744073709551615 4160684830 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23406/statm: 10358 9726 270 96 0 9570 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 50132 [startup+1662.3 s] /proc/loadavg: 1.06 1.06 1.01 2/108 23454 /proc/meminfo: memFree=1801848/2059040 swapFree=4140984/4192956 [pid=23404] ppid=23402 vsize=8700 CPUtime=0 /proc/23404/stat : 23404 (run) S 23402 23404 22541 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 22611315 8908800 250 1992294400 4194304 4922060 140736649845824 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23404/statm: 2175 250 211 178 0 68 0 [pid=23406] ppid=23404 vsize=50328 CPUtime=1661.79 /proc/23406/stat : 23406 (PBPASSolver) R 23404 23404 22541 0 -1 4202496 12400 0 0 0 166167 12 0 0 25 0 1 0 22611315 51535872 11926 1992294400 134512640 134902295 4287336256 18446744073709551615 4160691277 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23406/statm: 12582 11926 270 96 0 11794 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 59028 [startup+1722.3 s] /proc/loadavg: 1.02 1.04 1.00 2/108 23456 /proc/meminfo: memFree=1798500/2059040 swapFree=4140984/4192956 [pid=23404] ppid=23402 vsize=8700 CPUtime=0 /proc/23404/stat : 23404 (run) S 23402 23404 22541 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 22611315 8908800 250 1992294400 4194304 4922060 140736649845824 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23404/statm: 2175 250 211 178 0 68 0 [pid=23406] ppid=23404 vsize=53640 CPUtime=1721.78 /proc/23406/stat : 23406 (PBPASSolver) R 23404 23404 22541 0 -1 4202496 13227 0 0 0 172165 13 0 0 25 0 1 0 22611315 54927360 12753 1992294400 134512640 134902295 4287336256 18446744073709551615 4160672429 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23406/statm: 13410 12753 270 96 0 12622 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 62340 [startup+1782.3 s] /proc/loadavg: 1.01 1.03 1.00 2/108 23456 /proc/meminfo: memFree=1798252/2059040 swapFree=4140984/4192956 [pid=23404] ppid=23402 vsize=8700 CPUtime=0 /proc/23404/stat : 23404 (run) S 23402 23404 22541 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 22611315 8908800 250 1992294400 4194304 4922060 140736649845824 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23404/statm: 2175 250 211 178 0 68 0 [pid=23406] ppid=23404 vsize=53640 CPUtime=1781.76 /proc/23406/stat : 23406 (PBPASSolver) R 23404 23404 22541 0 -1 4202496 13227 0 0 0 178163 13 0 0 25 0 1 0 22611315 54927360 12753 1992294400 134512640 134902295 4287336256 18446744073709551615 4160672478 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23406/statm: 13410 12753 270 96 0 12622 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 62340 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.03 1.00 2/108 23458 /proc/meminfo: memFree=1798252/2059040 swapFree=4140984/4192956 [pid=23404] ppid=23402 vsize=8700 CPUtime=0 /proc/23404/stat : 23404 (run) S 23402 23404 22541 0 -1 4202496 389 134 0 0 0 0 0 0 18 0 1 0 22611315 8908800 250 1992294400 4194304 4922060 140736649845824 18446744073709551615 264053038213 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23404/statm: 2175 250 211 178 0 68 0 [pid=23406] ppid=23404 vsize=53640 CPUtime=1800.07 /proc/23406/stat : 23406 (PBPASSolver) R 23404 23404 22541 0 -1 4202496 13230 0 0 0 179994 13 0 0 25 0 1 0 22611315 54927360 12756 1992294400 134512640 134902295 4287336256 18446744073709551615 4160686277 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/23406/statm: 13410 12756 270 96 0 12622 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 62340 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 23404 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=0 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=3999 # CPU time returned by wait4() is 0.003999 # while last known CPU time is 1800.07 # # 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.07 CPU user time (s): 1799.94 CPU system time (s): 0.13 CPU usage (%): 99.9693 Max. virtual memory (cumulated for all children) (KiB): 62340 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0 system time used= 0.003999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 523 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= 4 involuntary context switches= 3 runsolver used 2.67559 second user time and 8.80566 second system time The end
Begin job on node049 at 2010-06-18 00:20:33 IDJOB=2673495 IDBENCH=48162 IDSOLVER=1174 FILE ID=node049/2673495-1276813233 PBS_JOBID= 11176665 Free space on /tmp= 62520 MiB SOLVER NAME= PBPASSolver 2010-06-13 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_50_25_2.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2673495-1276813233/watcher-2673495-1276813233 -o /tmp/evaluation-result-2673495-1276813233/solver-2673495-1276813233 -C 1800 -W 2000 -M 1800 run HOME/instance-2673495-1276813233.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f082d755a098ee30cf6a4e6ef2f7b520 RANDOM SEED=1398220843 node049.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 : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1851116 kB Buffers: 45372 kB Cached: 69764 kB SwapCached: 5660 kB Active: 54428 kB Inactive: 73892 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1851116 kB SwapTotal: 4192956 kB SwapFree: 4140984 kB Dirty: 636 kB Writeback: 0 kB AnonPages: 11792 kB Mapped: 13100 kB Slab: 57496 kB PageTables: 3872 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183580 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62520 MiB End job on node049 at 2010-06-18 00:50:35