Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBPASSolver 2010-06-13 | ? (TO) | 1800 | 1800.52 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=6-P0=29-P1=59-P2=11-P3=29-P4=29-P5=11-P6=41-P7=53-B.opb |
MD5SUM | affad7ab158260414bbe6adaa71155fb |
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.51492 |
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 | 126 |
Total number of constraints | 15 |
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 | 15 |
Minimum length of a constraint | 6 |
Maximum length of a constraint | 48 |
Number of terms in the objective function | 6 |
Biggest coefficient in the objective function | 32 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 63 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 2048 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 8064 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 252 |
Sum of products size (including duplicates) | 504 |
Number of different products | 252 |
Sum of products size | 504 |
640.41/640.66 c 126 15 252 504 0 0 0 0 640.41/640.66 o 9 640.41/640.66 c 32 ~x34880+16 ~x34879+8 ~x34878+4 ~x34877+2 ~x34876+1 ~x34875+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=122 640.41/640.66 o 3 640.41/640.66 c 32 ~x34880+16 ~x34879+8 ~x34878+4 ~x34877+2 ~x34876+1 ~x34875+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=125 640.41/640.66 c 32 ~x
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-2673349-1276809320/watcher-2673349-1276809320 -o /tmp/evaluation-result-2673349-1276809320/solver-2673349-1276809320 -C 1800 -W 2000 -M 1800 run HOME/instance-2673349-1276809320.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.95 0.99 0.99 3/106 21628 /proc/meminfo: memFree=1838012/2059040 swapFree=4136140/4192956 [pid=21628] ppid=21626 vsize=8700 CPUtime=0 /proc/21628/stat : 21628 (run) S 21626 21628 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 56536064 8908800 251 1992294400 4194304 4922060 140734416768912 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21628/statm: 2175 251 211 178 0 68 0 [startup+0.0162709 s] /proc/loadavg: 0.95 0.99 0.99 3/106 21628 /proc/meminfo: memFree=1838012/2059040 swapFree=4136140/4192956 [pid=21628] ppid=21626 vsize=8700 CPUtime=0 /proc/21628/stat : 21628 (run) S 21626 21628 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 56536064 8908800 251 1992294400 4194304 4922060 140734416768912 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21628/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101273 s] /proc/loadavg: 0.95 0.99 0.99 3/106 21628 /proc/meminfo: memFree=1838012/2059040 swapFree=4136140/4192956 [pid=21628] ppid=21626 vsize=8700 CPUtime=0 /proc/21628/stat : 21628 (run) S 21626 21628 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 56536064 8908800 251 1992294400 4194304 4922060 140734416768912 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21628/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301297 s] /proc/loadavg: 0.95 0.99 0.99 3/106 21628 /proc/meminfo: memFree=1838012/2059040 swapFree=4136140/4192956 [pid=21628] ppid=21626 vsize=8700 CPUtime=0 /proc/21628/stat : 21628 (run) S 21626 21628 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 56536064 8908800 251 1992294400 4194304 4922060 140734416768912 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21628/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701343 s] /proc/loadavg: 0.95 0.99 0.99 3/106 21628 /proc/meminfo: memFree=1838012/2059040 swapFree=4136140/4192956 [pid=21628] ppid=21626 vsize=8700 CPUtime=0 /proc/21628/stat : 21628 (run) S 21626 21628 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 56536064 8908800 251 1992294400 4194304 4922060 140734416768912 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21628/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50144 s] /proc/loadavg: 0.95 0.99 0.99 2/108 21631 /proc/meminfo: memFree=1818404/2059040 swapFree=4136140/4192956 [pid=21628] ppid=21626 vsize=8700 CPUtime=0 /proc/21628/stat : 21628 (run) S 21626 21628 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 56536064 8908800 251 1992294400 4194304 4922060 140734416768912 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21628/statm: 2175 251 211 178 0 68 0 [pid=21630] ppid=21628 vsize=23968 CPUtime=1.49 /proc/21630/stat : 21630 (PBPASSolver) R 21628 21628 21138 0 -1 4202496 5188 0 0 0 146 3 0 0 25 0 1 0 56536064 24543232 5126 1992294400 134512640 134902295 4294466400 18446744073709551615 4159951798 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/21630/statm: 5992 5126 270 96 0 5204 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 32668 [startup+3.10162 s] /proc/loadavg: 0.95 0.99 0.99 2/108 21631 /proc/meminfo: memFree=1817536/2059040 swapFree=4136140/4192956 [pid=21628] ppid=21626 vsize=8700 CPUtime=0 /proc/21628/stat : 21628 (run) S 21626 21628 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 56536064 8908800 251 1992294400 4194304 4922060 140734416768912 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21628/statm: 2175 251 211 178 0 68 0 [pid=21630] ppid=21628 vsize=24676 CPUtime=3.08 /proc/21630/stat : 21630 (PBPASSolver) R 21628 21628 21138 0 -1 4202496 5379 0 0 0 305 3 0 0 25 0 1 0 56536064 25268224 5317 1992294400 134512640 134902295 4294466400 18446744073709551615 4159951653 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/21630/statm: 6169 5317 270 96 0 5381 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 33376 [startup+6.301 s] /proc/loadavg: 0.95 0.99 0.99 2/108 21631 /proc/meminfo: memFree=1816668/2059040 swapFree=4136140/4192956 [pid=21628] ppid=21626 vsize=8700 CPUtime=0 /proc/21628/stat : 21628 (run) S 21626 21628 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 56536064 8908800 251 1992294400 4194304 4922060 140734416768912 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21628/statm: 2175 251 211 178 0 68 0 [pid=21630] ppid=21628 vsize=25468 CPUtime=6.28 /proc/21630/stat : 21630 (PBPASSolver) R 21628 21628 21138 0 -1 4202496 5565 0 0 0 625 3 0 0 25 0 1 0 56536064 26079232 5503 1992294400 134512640 134902295 4294466400 18446744073709551615 4159965094 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/21630/statm: 6367 5503 270 96 0 5579 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 34168 [startup+12.7018 s] /proc/loadavg: 0.95 0.99 0.99 2/108 21631 /proc/meminfo: memFree=1814684/2059040 swapFree=4136140/4192956 [pid=21628] ppid=21626 vsize=8700 CPUtime=0 /proc/21628/stat : 21628 (run) S 21626 21628 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 56536064 8908800 251 1992294400 4194304 4922060 140734416768912 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21628/statm: 2175 251 211 178 0 68 0 [pid=21630] ppid=21628 vsize=27184 CPUtime=12.68 /proc/21630/stat : 21630 (PBPASSolver) R 21628 21628 21138 0 -1 4202496 6011 0 0 0 1264 4 0 0 25 0 1 0 56536064 27836416 5949 1992294400 134512640 134902295 4294466400 18446744073709551615 4159984541 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/21630/statm: 6796 5949 270 96 0 6008 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 35884 [startup+25.5013 s] /proc/loadavg: 0.96 0.99 0.99 2/108 21631 /proc/meminfo: memFree=1812080/2059040 swapFree=4136140/4192956 [pid=21628] ppid=21626 vsize=8700 CPUtime=0 /proc/21628/stat : 21628 (run) S 21626 21628 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 56536064 8908800 251 1992294400 4194304 4922060 140734416768912 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21628/statm: 2175 251 211 178 0 68 0 [pid=21630] ppid=21628 vsize=29612 CPUtime=25.48 /proc/21630/stat : 21630 (PBPASSolver) R 21628 21628 21138 0 -1 4202496 6608 0 0 0 2543 5 0 0 25 0 1 0 56536064 30322688 6546 1992294400 134512640 134902295 4294466400 18446744073709551615 4159984584 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/21630/statm: 7403 6546 270 96 0 6615 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 38312 [startup+51.1013 s] /proc/loadavg: 0.98 0.99 0.99 2/108 21631 /proc/meminfo: memFree=1799432/2059040 swapFree=4136140/4192956 [pid=21628] ppid=21626 vsize=8700 CPUtime=0 /proc/21628/stat : 21628 (run) S 21626 21628 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 56536064 8908800 251 1992294400 4194304 4922060 140734416768912 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21628/statm: 2175 251 211 178 0 68 0 [pid=21630] ppid=21628 vsize=46452 CPUtime=51.07 /proc/21630/stat : 21630 (PBPASSolver) R 21628 21628 21138 0 -1 4202496 14673 0 0 0 5098 9 0 0 25 0 1 0 56536064 47566848 9710 1992294400 134512640 134902295 4294466400 18446744073709551615 4159981887 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/21630/statm: 11613 9710 270 96 0 10825 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 55152 [startup+102.308 s] /proc/loadavg: 0.99 0.99 0.99 2/108 21633 /proc/meminfo: memFree=1787528/2059040 swapFree=4136140/4192956 [pid=21628] ppid=21626 vsize=8700 CPUtime=0 /proc/21628/stat : 21628 (run) S 21626 21628 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 56536064 8908800 251 1992294400 4194304 4922060 140734416768912 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21628/statm: 2175 251 211 178 0 68 0 [pid=21630] ppid=21628 vsize=58064 CPUtime=102.26 /proc/21630/stat : 21630 (PBPASSolver) R 21628 21628 21138 0 -1 4202496 17572 0 0 0 10214 12 0 0 25 0 1 0 56536064 59457536 12609 1992294400 134512640 134902295 4294466400 18446744073709551615 4159963968 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/21630/statm: 14516 12609 270 96 0 13728 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 66764 [startup+162.301 s] /proc/loadavg: 0.99 0.99 0.99 2/108 21635 /proc/meminfo: memFree=1781576/2059040 swapFree=4136140/4192956 [pid=21628] ppid=21626 vsize=8700 CPUtime=0 /proc/21628/stat : 21628 (run) S 21626 21628 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 56536064 8908800 251 1992294400 4194304 4922060 140734416768912 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21628/statm: 2175 251 211 178 0 68 0 [pid=21630] ppid=21628 vsize=64112 CPUtime=162.24 /proc/21630/stat : 21630 (PBPASSolver) R 21628 21628 21138 0 -1 4202496 19058 0 0 0 16210 14 0 0 25 0 1 0 56536064 65650688 14095 1992294400 134512640 134902295 4294466400 18446744073709551615 4159970919 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/21630/statm: 16028 14095 270 96 0 15240 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 72812 [startup+222.301 s] /proc/loadavg: 0.99 0.99 0.99 2/108 21637 /proc/meminfo: memFree=1777360/2059040 swapFree=4136140/4192956 [pid=21628] ppid=21626 vsize=8700 CPUtime=0 /proc/21628/stat : 21628 (run) S 21626 21628 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 56536064 8908800 251 1992294400 4194304 4922060 140734416768912 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21628/statm: 2175 251 211 178 0 68 0 [pid=21630] ppid=21628 vsize=68272 CPUtime=222.22 /proc/21630/stat : 21630 (PBPASSolver) R 21628 21628 21138 0 -1 4202496 20095 0 0 0 22207 15 0 0 25 0 1 0 56536064 69910528 15132 1992294400 134512640 134902295 4294466400 18446744073709551615 4159963665 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/21630/statm: 17068 15132 270 96 0 16280 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 76972 [startup+282.301 s] /proc/loadavg: 0.99 0.99 0.99 2/108 21639 /proc/meminfo: memFree=1771904/2059040 swapFree=4136140/4192956 [pid=21628] ppid=21626 vsize=8700 CPUtime=0 /proc/21628/stat : 21628 (run) S 21626 21628 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 56536064 8908800 251 1992294400 4194304 4922060 140734416768912 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21628/statm: 2175 251 211 178 0 68 0 [pid=21630] ppid=21628 vsize=74024 CPUtime=282.21 /proc/21630/stat : 21630 (PBPASSolver) R 21628 21628 21138 0 -1 4202496 21500 0 0 0 28204 17 0 0 25 0 1 0 56536064 75800576 16537 1992294400 134512640 134902295 4294466400 18446744073709551615 4159982835 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/21630/statm: 18506 16537 270 96 0 17718 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 82724 [startup+342.301 s] /proc/loadavg: 0.99 0.99 0.99 2/108 21639 /proc/meminfo: memFree=1758016/2059040 swapFree=4136140/4192956 [pid=21628] ppid=21626 vsize=8700 CPUtime=0 /proc/21628/stat : 21628 (run) S 21626 21628 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 56536064 8908800 251 1992294400 4194304 4922060 140734416768912 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21628/statm: 2175 251 211 178 0 68 0 [pid=21630] ppid=21628 vsize=87808 CPUtime=342.19 /proc/21630/stat : 21630 (PBPASSolver) R 21628 21628 21138 0 -1 4202496 24905 0 0 0 34199 20 0 0 25 0 1 0 56536064 89915392 19942 1992294400 134512640 134902295 4294466400 18446744073709551615 4159987243 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/21630/statm: 21952 19942 270 96 0 21164 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 96508 [startup+402.301 s] /proc/loadavg: 0.99 0.99 0.99 2/108 21641 /proc/meminfo: memFree=1752808/2059040 swapFree=4136140/4192956 [pid=21628] ppid=21626 vsize=8700 CPUtime=0 /proc/21628/stat : 21628 (run) S 21626 21628 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 56536064 8908800 251 1992294400 4194304 4922060 140734416768912 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21628/statm: 2175 251 211 178 0 68 0 [pid=21630] ppid=21628 vsize=92928 CPUtime=402.18 /proc/21630/stat : 21630 (PBPASSolver) R 21628 21628 21138 0 -1 4202496 26197 0 0 0 40196 22 0 0 25 0 1 0 56536064 95158272 21234 1992294400 134512640 134902295 4294466400 18446744073709551615 4159963668 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/21630/statm: 23232 21234 270 96 0 22444 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 101628 [startup+462.302 s] ################ # More data... # ################ /proc/21630/statm: 22702 20747 270 96 0 21914 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 99508 [startup+1242.3 s] /proc/loadavg: 0.99 0.99 0.99 2/108 21663 /proc/meminfo: memFree=1754048/2059040 swapFree=4136140/4192956 [pid=21628] ppid=21626 vsize=8700 CPUtime=0 /proc/21628/stat : 21628 (run) S 21626 21628 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 56536064 8908800 251 1992294400 4194304 4922060 140734416768912 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21628/statm: 2175 251 211 178 0 68 0 [pid=21630] ppid=21628 vsize=90808 CPUtime=1241.95 /proc/21630/stat : 21630 (PBPASSolver) R 21628 21628 21138 0 -1 4202496 48874 0 0 0 124158 37 0 0 25 0 1 0 56536064 92987392 20747 1992294400 134512640 134902295 4294466400 18446744073709551615 4159964149 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/21630/statm: 22702 20747 270 96 0 21914 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 99508 [startup+1302.3 s] /proc/loadavg: 0.99 0.99 0.99 2/108 21665 /proc/meminfo: memFree=1753924/2059040 swapFree=4136140/4192956 [pid=21628] ppid=21626 vsize=8700 CPUtime=0 /proc/21628/stat : 21628 (run) S 21626 21628 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 56536064 8908800 251 1992294400 4194304 4922060 140734416768912 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21628/statm: 2175 251 211 178 0 68 0 [pid=21630] ppid=21628 vsize=90808 CPUtime=1301.94 /proc/21630/stat : 21630 (PBPASSolver) R 21628 21628 21138 0 -1 4202496 48877 0 0 0 130157 37 0 0 25 0 1 0 56536064 92987392 20750 1992294400 134512640 134902295 4294466400 18446744073709551615 4159984643 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/21630/statm: 22702 20750 270 96 0 21914 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 99508 [startup+1362.3 s] /proc/loadavg: 0.99 0.99 0.99 2/108 21667 /proc/meminfo: memFree=1753924/2059040 swapFree=4136140/4192956 [pid=21628] ppid=21626 vsize=8700 CPUtime=0 /proc/21628/stat : 21628 (run) S 21626 21628 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 56536064 8908800 251 1992294400 4194304 4922060 140734416768912 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21628/statm: 2175 251 211 178 0 68 0 [pid=21630] ppid=21628 vsize=90808 CPUtime=1361.92 /proc/21630/stat : 21630 (PBPASSolver) R 21628 21628 21138 0 -1 4202496 48879 0 0 0 136155 37 0 0 25 0 1 0 56536064 92987392 20752 1992294400 134512640 134902295 4294466400 18446744073709551615 4159981694 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/21630/statm: 22702 20752 270 96 0 21914 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 99508 [startup+1422.31 s] /proc/loadavg: 0.99 0.99 0.99 2/108 21669 /proc/meminfo: memFree=1753800/2059040 swapFree=4136140/4192956 [pid=21628] ppid=21626 vsize=8700 CPUtime=0 /proc/21628/stat : 21628 (run) S 21626 21628 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 56536064 8908800 251 1992294400 4194304 4922060 140734416768912 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21628/statm: 2175 251 211 178 0 68 0 [pid=21630] ppid=21628 vsize=90808 CPUtime=1421.91 /proc/21630/stat : 21630 (PBPASSolver) R 21628 21628 21138 0 -1 4202496 48901 0 0 0 142154 37 0 0 25 0 1 0 56536064 92987392 20774 1992294400 134512640 134902295 4294466400 18446744073709551615 4159984594 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/21630/statm: 22702 20774 270 96 0 21914 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 99508 [startup+1482.3 s] /proc/loadavg: 0.99 0.99 0.99 2/108 21671 /proc/meminfo: memFree=1753676/2059040 swapFree=4136140/4192956 [pid=21628] ppid=21626 vsize=8700 CPUtime=0 /proc/21628/stat : 21628 (run) S 21626 21628 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 56536064 8908800 251 1992294400 4194304 4922060 140734416768912 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21628/statm: 2175 251 211 178 0 68 0 [pid=21630] ppid=21628 vsize=91036 CPUtime=1481.88 /proc/21630/stat : 21630 (PBPASSolver) R 21628 21628 21138 0 -1 4202496 48933 0 0 0 148151 37 0 0 25 0 1 0 56536064 93220864 20806 1992294400 134512640 134902295 4294466400 18446744073709551615 4159981694 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/21630/statm: 22759 20806 270 96 0 21971 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 99736 [startup+1542.3 s] /proc/loadavg: 0.99 0.99 0.99 2/108 21671 /proc/meminfo: memFree=1753304/2059040 swapFree=4136140/4192956 [pid=21628] ppid=21626 vsize=8700 CPUtime=0 /proc/21628/stat : 21628 (run) S 21626 21628 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 56536064 8908800 251 1992294400 4194304 4922060 140734416768912 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21628/statm: 2175 251 211 178 0 68 0 [pid=21630] ppid=21628 vsize=91408 CPUtime=1541.87 /proc/21630/stat : 21630 (PBPASSolver) R 21628 21628 21138 0 -1 4202496 49019 0 0 0 154150 37 0 0 25 0 1 0 56536064 93601792 20892 1992294400 134512640 134902295 4294466400 18446744073709551615 4159984634 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/21630/statm: 22852 20892 270 96 0 22064 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 100108 [startup+1602.3 s] /proc/loadavg: 0.99 0.99 0.99 2/108 21673 /proc/meminfo: memFree=1753056/2059040 swapFree=4136140/4192956 [pid=21628] ppid=21626 vsize=8700 CPUtime=0 /proc/21628/stat : 21628 (run) S 21626 21628 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 56536064 8908800 251 1992294400 4194304 4922060 140734416768912 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21628/statm: 2175 251 211 178 0 68 0 [pid=21630] ppid=21628 vsize=91676 CPUtime=1601.85 /proc/21630/stat : 21630 (PBPASSolver) R 21628 21628 21138 0 -1 4202496 49058 0 0 0 160148 37 0 0 25 0 1 0 56536064 93876224 20931 1992294400 134512640 134902295 4294466400 18446744073709551615 4159963612 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/21630/statm: 22919 20931 270 96 0 22131 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 100376 [startup+1662.3 s] /proc/loadavg: 0.99 0.99 0.99 2/108 21675 /proc/meminfo: memFree=1753056/2059040 swapFree=4136140/4192956 [pid=21628] ppid=21626 vsize=8700 CPUtime=0 /proc/21628/stat : 21628 (run) S 21626 21628 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 56536064 8908800 251 1992294400 4194304 4922060 140734416768912 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21628/statm: 2175 251 211 178 0 68 0 [pid=21630] ppid=21628 vsize=91676 CPUtime=1661.83 /proc/21630/stat : 21630 (PBPASSolver) R 21628 21628 21138 0 -1 4202496 49068 0 0 0 166146 37 0 0 25 0 1 0 56536064 93876224 20941 1992294400 134512640 134902295 4294466400 18446744073709551615 4159981694 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/21630/statm: 22919 20941 270 96 0 22131 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 100376 [startup+1722.3 s] /proc/loadavg: 0.99 0.99 0.99 2/108 21677 /proc/meminfo: memFree=1752932/2059040 swapFree=4136140/4192956 [pid=21628] ppid=21626 vsize=8700 CPUtime=0 /proc/21628/stat : 21628 (run) S 21626 21628 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 56536064 8908800 251 1992294400 4194304 4922060 140734416768912 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21628/statm: 2175 251 211 178 0 68 0 [pid=21630] ppid=21628 vsize=91676 CPUtime=1721.82 /proc/21630/stat : 21630 (PBPASSolver) R 21628 21628 21138 0 -1 4202496 49080 0 0 0 172145 37 0 0 25 0 1 0 56536064 93876224 20953 1992294400 134512640 134902295 4294466400 18446744073709551615 4159970253 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/21630/statm: 22919 20953 270 96 0 22131 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 100376 [startup+1782.3 s] /proc/loadavg: 0.99 0.99 0.99 2/108 21679 /proc/meminfo: memFree=1752808/2059040 swapFree=4136140/4192956 [pid=21628] ppid=21626 vsize=8700 CPUtime=0 /proc/21628/stat : 21628 (run) S 21626 21628 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 56536064 8908800 251 1992294400 4194304 4922060 140734416768912 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21628/statm: 2175 251 211 178 0 68 0 [pid=21630] ppid=21628 vsize=91676 CPUtime=1781.8 /proc/21630/stat : 21630 (PBPASSolver) R 21628 21628 21138 0 -1 4202496 49086 0 0 0 178143 37 0 0 25 0 1 0 56536064 93876224 20959 1992294400 134512640 134902295 4294466400 18446744073709551615 4159981694 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/21630/statm: 22919 20959 270 96 0 22131 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 100376 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.99 0.99 2/108 21679 /proc/meminfo: memFree=1752808/2059040 swapFree=4136140/4192956 [pid=21628] ppid=21626 vsize=8700 CPUtime=0 /proc/21628/stat : 21628 (run) S 21626 21628 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 56536064 8908800 251 1992294400 4194304 4922060 140734416768912 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21628/statm: 2175 251 211 178 0 68 0 [pid=21630] ppid=21628 vsize=91676 CPUtime=1800 /proc/21630/stat : 21630 (PBPASSolver) R 21628 21628 21138 0 -1 4202496 49086 0 0 0 179963 37 0 0 25 0 1 0 56536064 93876224 20959 1992294400 134512640 134902295 4294466400 18446744073709551615 4159970516 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/21630/statm: 22919 20959 270 96 0 22131 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 100376 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 0.99 0.99 0.99 2/108 21679 /proc/meminfo: memFree=1752808/2059040 swapFree=4136140/4192956 [pid=21628] ppid=21626 vsize=8700 CPUtime=0 /proc/21628/stat : 21628 (run) S 21626 21628 21138 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 56536064 8908800 251 1992294400 4194304 4922060 140734416768912 18446744073709551615 248552987781 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/21628/statm: 2175 251 211 178 0 68 0 [pid=21630] ppid=21628 vsize=91676 CPUtime=1800 /proc/21630/stat : 21630 (PBPASSolver) R 21628 21628 21138 0 -1 4202496 49086 0 0 0 179963 37 0 0 25 0 1 0 56536064 93876224 20959 1992294400 134512640 134902295 4294466400 18446744073709551615 4159970516 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/21630/statm: 22919 20959 270 96 0 22131 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 100376 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 21628 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 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1800.52 CPU time (s): 1800 CPU user time (s): 1799.63 CPU system time (s): 0.37 CPU usage (%): 99.9714 Max. virtual memory (cumulated for all children) (KiB): 105440 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= 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= 3 involuntary context switches= 3 runsolver used 3.00654 second user time and 8.47171 second system time The end
Begin job on node001 at 2010-06-17 23:15:20 IDJOB=2673349 IDBENCH=48016 IDSOLVER=1174 FILE ID=node001/2673349-1276809320 PBS_JOBID= 11176680 Free space on /tmp= 62512 MiB SOLVER NAME= PBPASSolver 2010-06-13 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=6-P0=29-P1=59-P2=11-P3=29-P4=29-P5=11-P6=41-P7=53-B.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2673349-1276809320/watcher-2673349-1276809320 -o /tmp/evaluation-result-2673349-1276809320/solver-2673349-1276809320 -C 1800 -W 2000 -M 1800 run HOME/instance-2673349-1276809320.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= affad7ab158260414bbe6adaa71155fb RANDOM SEED=1165183885 node001.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.202 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.40 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.202 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1838532 kB Buffers: 45180 kB Cached: 83236 kB SwapCached: 9352 kB Active: 57356 kB Inactive: 83500 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1838532 kB SwapTotal: 4192956 kB SwapFree: 4136140 kB Dirty: 664 kB Writeback: 0 kB AnonPages: 10984 kB Mapped: 9152 kB Slab: 57756 kB PageTables: 4032 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182852 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= 62512 MiB End job on node001 at 2010-06-17 23:45:23