Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBPASSolver 2010-06-13 | ? (TO) | 1800.03 | 1801.02 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=7-P0=67-P1=11-P2=79-P3=19-B.opb |
MD5SUM | c45a41967aca6dc7b045a3d710a031e8 |
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.400938 |
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 | 63 |
Total number of constraints | 7 |
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 | 7 |
Minimum length of a constraint | 7 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 64 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 127 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 8192 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 32512 |
Number of bits of the biggest sum of numbers | 15 |
Number of products (including duplicates) | 147 |
Sum of products size (including duplicates) | 294 |
Number of different products | 147 |
Sum of products size | 294 |
350.30/350.52 c 63 7 147 294 0 0 0 0 350.30/350.52 o 67 350.30/350.52 c 64 ~x26433+32 ~x26432+16 ~x26431+8 ~x26430+4 ~x26429+2 ~x26428+1 ~x26427+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=221 350.30/350.52 o 21 350.30/350.52 c 64 ~x26433+32 ~x26432+16 ~x26431+8 ~x26430+4 ~x26429+2 ~x26428+1 ~x26427+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=244 581.76/582.11 o 3 581.76/582.11 c 64 ~x26433+32 ~x26432+16 ~x26431+8 ~x26430+4 ~x26429+2 ~x26428+1 ~x26427+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=253 581.76/582.11 c 64 ~x26433+32 ~x26432+16 ~x26431+8 ~x26430+4 ~x26429+2 ~x26428+1 ~x26427+64 ~x8+32 ~x7+16 ~x6+8
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-2673289-1276808016/watcher-2673289-1276808016 -o /tmp/evaluation-result-2673289-1276808016/solver-2673289-1276808016 -C 1800 -W 2000 -M 1800 run HOME/instance-2673289-1276808016.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.03 1.01 1.00 3/106 18074 /proc/meminfo: memFree=1858532/2059040 swapFree=4140236/4192956 [pid=18074] ppid=18072 vsize=8700 CPUtime=0 /proc/18074/stat : 18074 (run) S 18072 18074 17430 0 -1 4202496 389 134 0 0 0 0 0 0 19 0 1 0 54453480 8908800 250 1992294400 4194304 4922060 140734675610352 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18074/statm: 2175 250 211 178 0 68 0 [startup+0.0472519 s] /proc/loadavg: 1.03 1.01 1.00 3/106 18074 /proc/meminfo: memFree=1858532/2059040 swapFree=4140236/4192956 [pid=18074] ppid=18072 vsize=8700 CPUtime=0 /proc/18074/stat : 18074 (run) S 18072 18074 17430 0 -1 4202496 389 134 0 0 0 0 0 0 19 0 1 0 54453480 8908800 250 1992294400 4194304 4922060 140734675610352 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18074/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101255 s] /proc/loadavg: 1.03 1.01 1.00 3/106 18074 /proc/meminfo: memFree=1858532/2059040 swapFree=4140236/4192956 [pid=18074] ppid=18072 vsize=8700 CPUtime=0 /proc/18074/stat : 18074 (run) S 18072 18074 17430 0 -1 4202496 389 134 0 0 0 0 0 0 19 0 1 0 54453480 8908800 250 1992294400 4194304 4922060 140734675610352 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18074/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.30129 s] /proc/loadavg: 1.03 1.01 1.00 3/106 18074 /proc/meminfo: memFree=1858532/2059040 swapFree=4140236/4192956 [pid=18074] ppid=18072 vsize=8700 CPUtime=0 /proc/18074/stat : 18074 (run) S 18072 18074 17430 0 -1 4202496 389 134 0 0 0 0 0 0 19 0 1 0 54453480 8908800 250 1992294400 4194304 4922060 140734675610352 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18074/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701364 s] /proc/loadavg: 1.03 1.01 1.00 3/106 18074 /proc/meminfo: memFree=1858532/2059040 swapFree=4140236/4192956 [pid=18074] ppid=18072 vsize=8700 CPUtime=0 /proc/18074/stat : 18074 (run) S 18072 18074 17430 0 -1 4202496 389 134 0 0 0 0 0 0 19 0 1 0 54453480 8908800 250 1992294400 4194304 4922060 140734675610352 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18074/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50151 s] /proc/loadavg: 1.03 1.01 1.00 2/108 18077 /proc/meminfo: memFree=1844008/2059040 swapFree=4140236/4192956 [pid=18074] ppid=18072 vsize=8700 CPUtime=0 /proc/18074/stat : 18074 (run) S 18072 18074 17430 0 -1 4202496 389 134 0 0 0 0 0 0 19 0 1 0 54453480 8908800 250 1992294400 4194304 4922060 140734675610352 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18074/statm: 2175 250 211 178 0 68 0 [pid=18076] ppid=18074 vsize=17964 CPUtime=1.48 /proc/18076/stat : 18076 (PBPASSolver) R 18074 18074 17430 0 -1 4202496 4271 0 0 0 146 2 0 0 25 0 1 0 54453481 18395136 3892 1992294400 134512640 134902295 4287833696 18446744073709551615 4160459468 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18076/statm: 4491 3892 270 96 0 3703 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 26664 [startup+3.1018 s] /proc/loadavg: 1.03 1.01 1.00 2/108 18077 /proc/meminfo: memFree=1843388/2059040 swapFree=4140236/4192956 [pid=18074] ppid=18072 vsize=8700 CPUtime=0 /proc/18074/stat : 18074 (run) S 18072 18074 17430 0 -1 4202496 389 134 0 0 0 0 0 0 19 0 1 0 54453480 8908800 250 1992294400 4194304 4922060 140734675610352 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18074/statm: 2175 250 211 178 0 68 0 [pid=18076] ppid=18074 vsize=18492 CPUtime=3.08 /proc/18076/stat : 18076 (PBPASSolver) R 18074 18074 17430 0 -1 4202496 4405 0 0 0 306 2 0 0 25 0 1 0 54453481 18935808 4026 1992294400 134512640 134902295 4287833696 18446744073709551615 4160478028 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18076/statm: 4623 4026 270 96 0 3835 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 27192 [startup+6.30138 s] /proc/loadavg: 1.02 1.01 1.00 2/108 18077 /proc/meminfo: memFree=1841900/2059040 swapFree=4140236/4192956 [pid=18074] ppid=18072 vsize=8700 CPUtime=0 /proc/18074/stat : 18074 (run) S 18072 18074 17430 0 -1 4202496 389 134 0 0 0 0 0 0 19 0 1 0 54453480 8908800 250 1992294400 4194304 4922060 140734675610352 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18074/statm: 2175 250 211 178 0 68 0 [pid=18076] ppid=18074 vsize=19548 CPUtime=6.29 /proc/18076/stat : 18076 (PBPASSolver) R 18074 18074 17430 0 -1 4202496 4675 0 0 0 626 3 0 0 25 0 1 0 54453481 20017152 4296 1992294400 134512640 134902295 4287833696 18446744073709551615 4160489760 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18076/statm: 4887 4296 270 96 0 4099 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28248 [startup+12.7015 s] /proc/loadavg: 1.02 1.01 1.00 2/108 18077 /proc/meminfo: memFree=1839792/2059040 swapFree=4140236/4192956 [pid=18074] ppid=18072 vsize=8700 CPUtime=0 /proc/18074/stat : 18074 (run) S 18072 18074 17430 0 -1 4202496 389 134 0 0 0 0 0 0 19 0 1 0 54453480 8908800 250 1992294400 4194304 4922060 140734675610352 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18074/statm: 2175 250 211 178 0 68 0 [pid=18076] ppid=18074 vsize=21596 CPUtime=12.69 /proc/18076/stat : 18076 (PBPASSolver) R 18074 18074 17430 0 -1 4202496 5196 0 0 0 1265 4 0 0 25 0 1 0 54453481 22114304 4817 1992294400 134512640 134902295 4287833696 18446744073709551615 4160459399 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18076/statm: 5399 4817 270 96 0 4611 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30296 [startup+25.5009 s] /proc/loadavg: 1.02 1.01 1.00 2/108 18077 /proc/meminfo: memFree=1835824/2059040 swapFree=4140236/4192956 [pid=18074] ppid=18072 vsize=8700 CPUtime=0 /proc/18074/stat : 18074 (run) S 18072 18074 17430 0 -1 4202496 389 134 0 0 0 0 0 0 19 0 1 0 54453480 8908800 250 1992294400 4194304 4922060 140734675610352 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18074/statm: 2175 250 211 178 0 68 0 [pid=18076] ppid=18074 vsize=25424 CPUtime=25.48 /proc/18076/stat : 18076 (PBPASSolver) R 18074 18074 17430 0 -1 4202496 6136 0 0 0 2543 5 0 0 25 0 1 0 54453481 26034176 5757 1992294400 134512640 134902295 4287833696 18446744073709551615 4160477808 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18076/statm: 6356 5757 270 96 0 5568 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 34124 [startup+51.1005 s] /proc/loadavg: 1.01 1.01 1.00 2/108 18079 /proc/meminfo: memFree=1830368/2059040 swapFree=4140236/4192956 [pid=18074] ppid=18072 vsize=8700 CPUtime=0 /proc/18074/stat : 18074 (run) S 18072 18074 17430 0 -1 4202496 389 134 0 0 0 0 0 0 19 0 1 0 54453480 8908800 250 1992294400 4194304 4922060 140734675610352 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18074/statm: 2175 250 211 178 0 68 0 [pid=18076] ppid=18074 vsize=31000 CPUtime=51.05 /proc/18076/stat : 18076 (PBPASSolver) R 18074 18074 17430 0 -1 4202496 7512 0 0 0 5098 7 0 0 25 0 1 0 54453481 31744000 7133 1992294400 134512640 134902295 4287833696 18446744073709551615 4160489964 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18076/statm: 7750 7133 270 96 0 6962 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 39700 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18079 /proc/meminfo: memFree=1822556/2059040 swapFree=4140236/4192956 [pid=18074] ppid=18072 vsize=8700 CPUtime=0 /proc/18074/stat : 18074 (run) S 18072 18074 17430 0 -1 4202496 389 134 0 0 0 0 0 0 19 0 1 0 54453480 8908800 250 1992294400 4194304 4922060 140734675610352 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18074/statm: 2175 250 211 178 0 68 0 [pid=18076] ppid=18074 vsize=38476 CPUtime=102.24 /proc/18076/stat : 18076 (PBPASSolver) R 18074 18074 17430 0 -1 4202496 9404 0 0 0 10213 11 0 0 25 0 1 0 54453481 39399424 9025 1992294400 134512640 134902295 4287833696 18446744073709551615 4160459468 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18076/statm: 9619 9025 270 96 0 8831 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 47176 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18081 /proc/meminfo: memFree=1816852/2059040 swapFree=4140236/4192956 [pid=18074] ppid=18072 vsize=8700 CPUtime=0 /proc/18074/stat : 18074 (run) S 18072 18074 17430 0 -1 4202496 389 134 0 0 0 0 0 0 19 0 1 0 54453480 8908800 250 1992294400 4194304 4922060 140734675610352 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18074/statm: 2175 250 211 178 0 68 0 [pid=18076] ppid=18074 vsize=44284 CPUtime=162.19 /proc/18076/stat : 18076 (PBPASSolver) R 18074 18074 17430 0 -1 4202496 10838 0 0 0 16204 15 0 0 25 0 1 0 54453481 45346816 10459 1992294400 134512640 134902295 4287833696 18446744073709551615 4160459462 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18076/statm: 11071 10459 270 96 0 10283 0 Current children cumulated CPU time (s) 162.19 Current children cumulated vsize (KiB) 52984 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18083 /proc/meminfo: memFree=1809908/2059040 swapFree=4140236/4192956 [pid=18074] ppid=18072 vsize=8700 CPUtime=0 /proc/18074/stat : 18074 (run) S 18072 18074 17430 0 -1 4202496 389 134 0 0 0 0 0 0 19 0 1 0 54453480 8908800 250 1992294400 4194304 4922060 140734675610352 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18074/statm: 2175 250 211 178 0 68 0 [pid=18076] ppid=18074 vsize=51088 CPUtime=222.17 /proc/18076/stat : 18076 (PBPASSolver) R 18074 18074 17430 0 -1 4202496 12544 0 0 0 22198 19 0 0 25 0 1 0 54453481 52314112 12165 1992294400 134512640 134902295 4287833696 18446744073709551615 4160471728 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18076/statm: 12772 12165 270 96 0 11984 0 Current children cumulated CPU time (s) 222.17 Current children cumulated vsize (KiB) 59788 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18085 /proc/meminfo: memFree=1830740/2059040 swapFree=4140236/4192956 [pid=18074] ppid=18072 vsize=8700 CPUtime=0 /proc/18074/stat : 18074 (run) S 18072 18074 17430 0 -1 4202496 389 134 0 0 0 0 0 0 19 0 1 0 54453480 8908800 250 1992294400 4194304 4922060 140734675610352 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18074/statm: 2175 250 211 178 0 68 0 [pid=18076] ppid=18074 vsize=32464 CPUtime=282.14 /proc/18076/stat : 18076 (PBPASSolver) R 18074 18074 17430 0 -1 4202496 20430 0 0 0 28187 27 0 0 25 0 1 0 54453481 33243136 7049 1992294400 134512640 134902295 4287833696 18446744073709551615 4160492450 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18076/statm: 8116 7049 270 96 0 7328 0 Current children cumulated CPU time (s) 282.14 Current children cumulated vsize (KiB) 41164 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18087 /proc/meminfo: memFree=1817472/2059040 swapFree=4140236/4192956 [pid=18074] ppid=18072 vsize=8700 CPUtime=0 /proc/18074/stat : 18074 (run) S 18072 18074 17430 0 -1 4202496 389 134 0 0 0 0 0 0 19 0 1 0 54453480 8908800 250 1992294400 4194304 4922060 140734675610352 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18074/statm: 2175 250 211 178 0 68 0 [pid=18076] ppid=18074 vsize=45528 CPUtime=342.1 /proc/18076/stat : 18076 (PBPASSolver) R 18074 18074 17430 0 -1 4202496 23704 0 0 0 34178 32 0 0 25 0 1 0 54453481 46620672 10323 1992294400 134512640 134902295 4287833696 18446744073709551615 4160490748 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18076/statm: 11382 10323 270 96 0 10594 0 Current children cumulated CPU time (s) 342.1 Current children cumulated vsize (KiB) 54228 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18087 /proc/meminfo: memFree=1825780/2059040 swapFree=4140236/4192956 [pid=18074] ppid=18072 vsize=8700 CPUtime=0 /proc/18074/stat : 18074 (run) S 18072 18074 17430 0 -1 4202496 389 134 0 0 0 0 0 0 19 0 1 0 54453480 8908800 250 1992294400 4194304 4922060 140734675610352 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18074/statm: 2175 250 211 178 0 68 0 [pid=18076] ppid=18074 vsize=37056 CPUtime=402.07 /proc/18076/stat : 18076 (PBPASSolver) R 18074 18074 17430 0 -1 4202496 29914 0 0 0 40169 38 0 0 25 0 1 0 54453481 37945344 8216 1992294400 134512640 134902295 4287833696 18446744073709551615 4160482981 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18076/statm: 9264 8216 270 96 0 8476 0 Current children cumulated CPU time (s) 402.07 Current children cumulated vsize (KiB) 45756 [startup+462.301 s] ################ # More data... # ################ /proc/18076/statm: 22163 21056 270 96 0 21375 0 Current children cumulated CPU time (s) 1121.68 Current children cumulated vsize (KiB) 97352 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18118 /proc/meminfo: memFree=1773576/2059040 swapFree=4140236/4192956 [pid=18074] ppid=18072 vsize=8700 CPUtime=0 /proc/18074/stat : 18074 (run) S 18072 18074 17430 0 -1 4202496 389 134 0 0 0 0 0 0 19 0 1 0 54453480 8908800 250 1992294400 4194304 4922060 140734675610352 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18074/statm: 2175 250 211 178 0 68 0 [pid=18076] ppid=18074 vsize=88652 CPUtime=1181.65 /proc/18076/stat : 18076 (PBPASSolver) R 18074 18074 17430 0 -1 4202496 63379 0 0 0 118066 99 0 0 25 0 1 0 54453481 90779648 21057 1992294400 134512640 134902295 4287833696 18446744073709551615 4160478041 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18076/statm: 22163 21057 270 96 0 21375 0 Current children cumulated CPU time (s) 1181.65 Current children cumulated vsize (KiB) 97352 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18120 /proc/meminfo: memFree=1773452/2059040 swapFree=4140236/4192956 [pid=18074] ppid=18072 vsize=8700 CPUtime=0 /proc/18074/stat : 18074 (run) S 18072 18074 17430 0 -1 4202496 389 134 0 0 0 0 0 0 19 0 1 0 54453480 8908800 250 1992294400 4194304 4922060 140734675610352 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18074/statm: 2175 250 211 178 0 68 0 [pid=18076] ppid=18074 vsize=88652 CPUtime=1241.61 /proc/18076/stat : 18076 (PBPASSolver) R 18074 18074 17430 0 -1 4202496 63379 0 0 0 124060 101 0 0 25 0 1 0 54453481 90779648 21057 1992294400 134512640 134902295 4287833696 18446744073709551615 4160495276 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18076/statm: 22163 21057 270 96 0 21375 0 Current children cumulated CPU time (s) 1241.61 Current children cumulated vsize (KiB) 97352 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18120 /proc/meminfo: memFree=1773328/2059040 swapFree=4140236/4192956 [pid=18074] ppid=18072 vsize=8700 CPUtime=0 /proc/18074/stat : 18074 (run) S 18072 18074 17430 0 -1 4202496 389 134 0 0 0 0 0 0 19 0 1 0 54453480 8908800 250 1992294400 4194304 4922060 140734675610352 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18074/statm: 2175 250 211 178 0 68 0 [pid=18076] ppid=18074 vsize=88652 CPUtime=1301.59 /proc/18076/stat : 18076 (PBPASSolver) R 18074 18074 17430 0 -1 4202496 63381 0 0 0 130055 104 0 0 25 0 1 0 54453481 90779648 21059 1992294400 134512640 134902295 4287833696 18446744073709551615 4160497483 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18076/statm: 22163 21059 270 96 0 21375 0 Current children cumulated CPU time (s) 1301.59 Current children cumulated vsize (KiB) 97352 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18122 /proc/meminfo: memFree=1773328/2059040 swapFree=4140236/4192956 [pid=18074] ppid=18072 vsize=8700 CPUtime=0 /proc/18074/stat : 18074 (run) S 18072 18074 17430 0 -1 4202496 389 134 0 0 0 0 0 0 19 0 1 0 54453480 8908800 250 1992294400 4194304 4922060 140734675610352 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18074/statm: 2175 250 211 178 0 68 0 [pid=18076] ppid=18074 vsize=88652 CPUtime=1361.55 /proc/18076/stat : 18076 (PBPASSolver) R 18074 18074 17430 0 -1 4202496 63390 0 0 0 136049 106 0 0 25 0 1 0 54453481 90779648 21068 1992294400 134512640 134902295 4287833696 18446744073709551615 4160489598 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18076/statm: 22163 21068 270 96 0 21375 0 Current children cumulated CPU time (s) 1361.55 Current children cumulated vsize (KiB) 97352 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18124 /proc/meminfo: memFree=1773328/2059040 swapFree=4140236/4192956 [pid=18074] ppid=18072 vsize=8700 CPUtime=0 /proc/18074/stat : 18074 (run) S 18072 18074 17430 0 -1 4202496 389 134 0 0 0 0 0 0 19 0 1 0 54453480 8908800 250 1992294400 4194304 4922060 140734675610352 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18074/statm: 2175 250 211 178 0 68 0 [pid=18076] ppid=18074 vsize=88652 CPUtime=1421.52 /proc/18076/stat : 18076 (PBPASSolver) R 18074 18074 17430 0 -1 4202496 63399 0 0 0 142044 108 0 0 25 0 1 0 54453481 90779648 21077 1992294400 134512640 134902295 4287833696 18446744073709551615 4160497370 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18076/statm: 22163 21077 270 96 0 21375 0 Current children cumulated CPU time (s) 1421.52 Current children cumulated vsize (KiB) 97352 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18126 /proc/meminfo: memFree=1773204/2059040 swapFree=4140236/4192956 [pid=18074] ppid=18072 vsize=8700 CPUtime=0 /proc/18074/stat : 18074 (run) S 18072 18074 17430 0 -1 4202496 389 134 0 0 0 0 0 0 19 0 1 0 54453480 8908800 250 1992294400 4194304 4922060 140734675610352 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18074/statm: 2175 250 211 178 0 68 0 [pid=18076] ppid=18074 vsize=89136 CPUtime=1481.48 /proc/18076/stat : 18076 (PBPASSolver) R 18074 18074 17430 0 -1 4202496 63436 0 0 0 148037 111 0 0 25 0 1 0 54453481 91275264 21114 1992294400 134512640 134902295 4287833696 18446744073709551615 4160492182 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18076/statm: 22284 21114 270 96 0 21496 0 Current children cumulated CPU time (s) 1481.48 Current children cumulated vsize (KiB) 97836 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18128 /proc/meminfo: memFree=1773080/2059040 swapFree=4140236/4192956 [pid=18074] ppid=18072 vsize=8700 CPUtime=0 /proc/18074/stat : 18074 (run) S 18072 18074 17430 0 -1 4202496 389 134 0 0 0 0 0 0 19 0 1 0 54453480 8908800 250 1992294400 4194304 4922060 140734675610352 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18074/statm: 2175 250 211 178 0 68 0 [pid=18076] ppid=18074 vsize=89136 CPUtime=1541.45 /proc/18076/stat : 18076 (PBPASSolver) R 18074 18074 17430 0 -1 4202496 63437 0 0 0 154032 113 0 0 25 0 1 0 54453481 91275264 21115 1992294400 134512640 134902295 4287833696 18446744073709551615 4160478193 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18076/statm: 22284 21115 270 96 0 21496 0 Current children cumulated CPU time (s) 1541.45 Current children cumulated vsize (KiB) 97836 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18128 /proc/meminfo: memFree=1773080/2059040 swapFree=4140236/4192956 [pid=18074] ppid=18072 vsize=8700 CPUtime=0 /proc/18074/stat : 18074 (run) S 18072 18074 17430 0 -1 4202496 389 134 0 0 0 0 0 0 19 0 1 0 54453480 8908800 250 1992294400 4194304 4922060 140734675610352 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18074/statm: 2175 250 211 178 0 68 0 [pid=18076] ppid=18074 vsize=89136 CPUtime=1601.42 /proc/18076/stat : 18076 (PBPASSolver) R 18074 18074 17430 0 -1 4202496 63437 0 0 0 160026 116 0 0 25 0 1 0 54453481 91275264 21115 1992294400 134512640 134902295 4287833696 18446744073709551615 4160459392 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18076/statm: 22284 21115 270 96 0 21496 0 Current children cumulated CPU time (s) 1601.42 Current children cumulated vsize (KiB) 97836 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18130 /proc/meminfo: memFree=1772956/2059040 swapFree=4140236/4192956 [pid=18074] ppid=18072 vsize=8700 CPUtime=0 /proc/18074/stat : 18074 (run) S 18072 18074 17430 0 -1 4202496 389 134 0 0 0 0 0 0 19 0 1 0 54453480 8908800 250 1992294400 4194304 4922060 140734675610352 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18074/statm: 2175 250 211 178 0 68 0 [pid=18076] ppid=18074 vsize=89136 CPUtime=1661.38 /proc/18076/stat : 18076 (PBPASSolver) R 18074 18074 17430 0 -1 4202496 63437 0 0 0 166021 117 0 0 25 0 1 0 54453481 91275264 21115 1992294400 134512640 134902295 4287833696 18446744073709551615 4160459386 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18076/statm: 22284 21115 270 96 0 21496 0 Current children cumulated CPU time (s) 1661.38 Current children cumulated vsize (KiB) 97836 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18132 /proc/meminfo: memFree=1772956/2059040 swapFree=4140236/4192956 [pid=18074] ppid=18072 vsize=8700 CPUtime=0 /proc/18074/stat : 18074 (run) S 18072 18074 17430 0 -1 4202496 389 134 0 0 0 0 0 0 19 0 1 0 54453480 8908800 250 1992294400 4194304 4922060 140734675610352 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18074/statm: 2175 250 211 178 0 68 0 [pid=18076] ppid=18074 vsize=89136 CPUtime=1721.36 /proc/18076/stat : 18076 (PBPASSolver) R 18074 18074 17430 0 -1 4202496 63437 0 0 0 172016 120 0 0 25 0 1 0 54453481 91275264 21115 1992294400 134512640 134902295 4287833696 18446744073709551615 4160459399 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18076/statm: 22284 21115 270 96 0 21496 0 Current children cumulated CPU time (s) 1721.36 Current children cumulated vsize (KiB) 97836 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18134 /proc/meminfo: memFree=1772832/2059040 swapFree=4140236/4192956 [pid=18074] ppid=18072 vsize=8700 CPUtime=0 /proc/18074/stat : 18074 (run) S 18072 18074 17430 0 -1 4202496 389 134 0 0 0 0 0 0 19 0 1 0 54453480 8908800 250 1992294400 4194304 4922060 140734675610352 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18074/statm: 2175 250 211 178 0 68 0 [pid=18076] ppid=18074 vsize=89136 CPUtime=1781.32 /proc/18076/stat : 18076 (PBPASSolver) R 18074 18074 17430 0 -1 4202496 63437 0 0 0 178010 122 0 0 25 0 1 0 54453481 91275264 21115 1992294400 134512640 134902295 4287833696 18446744073709551615 4160489598 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18076/statm: 22284 21115 270 96 0 21496 0 Current children cumulated CPU time (s) 1781.32 Current children cumulated vsize (KiB) 97836 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18134 /proc/meminfo: memFree=1772584/2059040 swapFree=4140236/4192956 [pid=18074] ppid=18072 vsize=8700 CPUtime=0 /proc/18074/stat : 18074 (run) S 18072 18074 17430 0 -1 4202496 389 134 0 0 0 0 0 0 19 0 1 0 54453480 8908800 250 1992294400 4194304 4922060 140734675610352 18446744073709551615 236997680261 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18074/statm: 2175 250 211 178 0 68 0 [pid=18076] ppid=18074 vsize=89376 CPUtime=1800.03 /proc/18076/stat : 18076 (PBPASSolver) R 18074 18074 17430 0 -1 4202496 63480 0 0 0 179880 123 0 0 25 0 1 0 54453481 91521024 21158 1992294400 134512640 134902295 4287833696 18446744073709551615 4160489598 0 0 4096 17608 0 0 0 17 0 0 0 0 /proc/18076/statm: 22344 21158 270 96 0 21556 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 98076 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 18074 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=999 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=2999 # CPU time returned by wait4() is 0.003998 # while last known CPU time is 1800.03 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1801.02 CPU time (s): 1800.03 CPU user time (s): 1798.8 CPU system time (s): 1.23 CPU usage (%): 99.9452 Max. virtual memory (cumulated for all children) (KiB): 98076 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.000999 system time used= 0.002999 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 3.2985 second user time and 8.86065 second system time The end
Begin job on node027 at 2010-06-17 22:53:36 IDJOB=2673289 IDBENCH=47956 IDSOLVER=1174 FILE ID=node027/2673289-1276808016 PBS_JOBID= 11176630 Free space on /tmp= 62460 MiB SOLVER NAME= PBPASSolver 2010-06-13 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=67-P1=11-P2=79-P3=19-B.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2673289-1276808016/watcher-2673289-1276808016 -o /tmp/evaluation-result-2673289-1276808016/solver-2673289-1276808016 -C 1800 -W 2000 -M 1800 run HOME/instance-2673289-1276808016.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c45a41967aca6dc7b045a3d710a031e8 RANDOM SEED=138915422 node027.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 : 2800.261 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 : 5600.52 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 : 2800.261 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: 1859052 kB Buffers: 33780 kB Cached: 71316 kB SwapCached: 5940 kB Active: 55632 kB Inactive: 62816 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1859052 kB SwapTotal: 4192956 kB SwapFree: 4140236 kB Dirty: 640 kB Writeback: 0 kB AnonPages: 11776 kB Mapped: 12972 kB Slab: 59656 kB PageTables: 4012 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182108 kB VmallocTotal: 34359738367 kB VmallocUsed: 264952 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62460 MiB End job on node027 at 2010-06-17 23:23:39