Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBPASSolver 2010-06-13 | ? (TO) | 1800.06 | 1800.62 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=223-P1=29-P2=7-P3=83-P4=113-P5=223-P6=229-B.opb |
MD5SUM | 6355c589dda3f12b095277ae4637ab26 |
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.51692 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 144 |
Total number of constraints | 13 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 13 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 384 |
Sum of products size (including duplicates) | 768 |
Number of different products | 384 |
Sum of products size | 768 |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2673223-1276806519/watcher-2673223-1276806519 -o /tmp/evaluation-result-2673223-1276806519/solver-2673223-1276806519 -C 1800 -W 2000 -M 1800 run HOME/instance-2673223-1276806519.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/105 25569 /proc/meminfo: memFree=1873396/2059040 swapFree=4136384/4192956 [pid=25569] ppid=25567 vsize=8700 CPUtime=0 /proc/25569/stat : 25569 (run) S 25567 25569 25024 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21945583 8908800 251 1992294400 4194304 4922060 140736332363408 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25569/statm: 2175 251 211 178 0 68 0 [startup+0.0358209 s] /proc/loadavg: 1.00 1.00 1.00 3/105 25569 /proc/meminfo: memFree=1873396/2059040 swapFree=4136384/4192956 [pid=25569] ppid=25567 vsize=8700 CPUtime=0 /proc/25569/stat : 25569 (run) S 25567 25569 25024 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21945583 8908800 251 1992294400 4194304 4922060 140736332363408 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25569/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.100827 s] /proc/loadavg: 1.00 1.00 1.00 3/105 25569 /proc/meminfo: memFree=1873396/2059040 swapFree=4136384/4192956 [pid=25569] ppid=25567 vsize=8700 CPUtime=0 /proc/25569/stat : 25569 (run) S 25567 25569 25024 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21945583 8908800 251 1992294400 4194304 4922060 140736332363408 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25569/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300848 s] /proc/loadavg: 1.00 1.00 1.00 3/105 25569 /proc/meminfo: memFree=1873396/2059040 swapFree=4136384/4192956 [pid=25569] ppid=25567 vsize=8700 CPUtime=0 /proc/25569/stat : 25569 (run) S 25567 25569 25024 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21945583 8908800 251 1992294400 4194304 4922060 140736332363408 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25569/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700892 s] /proc/loadavg: 1.00 1.00 1.00 3/105 25569 /proc/meminfo: memFree=1873396/2059040 swapFree=4136384/4192956 [pid=25569] ppid=25567 vsize=8700 CPUtime=0 /proc/25569/stat : 25569 (run) S 25567 25569 25024 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21945583 8908800 251 1992294400 4194304 4922060 140736332363408 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25569/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50098 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25572 /proc/meminfo: memFree=1848208/2059040 swapFree=4136384/4192956 [pid=25569] ppid=25567 vsize=8700 CPUtime=0 /proc/25569/stat : 25569 (run) S 25567 25569 25024 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21945583 8908800 251 1992294400 4194304 4922060 140736332363408 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25569/statm: 2175 251 211 178 0 68 0 [pid=25571] ppid=25569 vsize=37504 CPUtime=1.49 /proc/25571/stat : 25571 (PBPASSolver) R 25569 25569 25024 0 -1 4202496 9430 0 0 0 144 5 0 0 25 0 1 0 21945583 38404096 8621 1992294400 134512640 134902295 4288146672 18446744073709551615 4159980105 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25571/statm: 9376 8621 263 96 0 8588 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 46204 [startup+3.10116 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25572 /proc/meminfo: memFree=1837420/2059040 swapFree=4136384/4192956 [pid=25569] ppid=25567 vsize=8700 CPUtime=0 /proc/25569/stat : 25569 (run) S 25567 25569 25024 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21945583 8908800 251 1992294400 4194304 4922060 140736332363408 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25569/statm: 2175 251 211 178 0 68 0 [pid=25571] ppid=25569 vsize=40500 CPUtime=3.08 /proc/25571/stat : 25571 (PBPASSolver) R 25569 25569 25024 0 -1 4202496 10447 0 0 0 303 5 0 0 25 0 1 0 21945583 41472000 9128 1992294400 134512640 134902295 4288146672 18446744073709551615 4160009185 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25571/statm: 10125 9128 270 96 0 9337 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 49200 [startup+6.30151 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25572 /proc/meminfo: memFree=1836296/2059040 swapFree=4136384/4192956 [pid=25569] ppid=25567 vsize=8700 CPUtime=0 /proc/25569/stat : 25569 (run) S 25567 25569 25024 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21945583 8908800 251 1992294400 4194304 4922060 140736332363408 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25569/statm: 2175 251 211 178 0 68 0 [pid=25571] ppid=25569 vsize=41556 CPUtime=6.29 /proc/25571/stat : 25571 (PBPASSolver) R 25569 25569 25024 0 -1 4202496 10721 0 0 0 623 6 0 0 25 0 1 0 21945583 42553344 9402 1992294400 134512640 134902295 4288146672 18446744073709551615 4160009188 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25571/statm: 10389 9402 270 96 0 9601 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 50256 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25572 /proc/meminfo: memFree=1834320/2059040 swapFree=4136384/4192956 [pid=25569] ppid=25567 vsize=8700 CPUtime=0 /proc/25569/stat : 25569 (run) S 25567 25569 25024 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21945583 8908800 251 1992294400 4194304 4922060 140736332363408 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25569/statm: 2175 251 211 178 0 68 0 [pid=25571] ppid=25569 vsize=43404 CPUtime=12.69 /proc/25571/stat : 25571 (PBPASSolver) R 25569 25569 25024 0 -1 4202496 11174 0 0 0 1263 6 0 0 25 0 1 0 21945583 44445696 9855 1992294400 134512640 134902295 4288146672 18446744073709551615 4160014042 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25571/statm: 10851 9855 270 96 0 10063 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 52104 [startup+25.5006 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25572 /proc/meminfo: memFree=1831592/2059040 swapFree=4136384/4192956 [pid=25569] ppid=25567 vsize=8700 CPUtime=0 /proc/25569/stat : 25569 (run) S 25567 25569 25024 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21945583 8908800 251 1992294400 4194304 4922060 140736332363408 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25569/statm: 2175 251 211 178 0 68 0 [pid=25571] ppid=25569 vsize=46044 CPUtime=25.48 /proc/25571/stat : 25571 (PBPASSolver) R 25569 25569 25024 0 -1 4202496 11825 0 0 0 2541 7 0 0 25 0 1 0 21945583 47149056 10506 1992294400 134512640 134902295 4288146672 18446744073709551615 4159976197 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25571/statm: 11511 10506 270 96 0 10723 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 54744 [startup+51.1005 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25574 /proc/meminfo: memFree=1827872/2059040 swapFree=4136384/4192956 [pid=25569] ppid=25567 vsize=8700 CPUtime=0 /proc/25569/stat : 25569 (run) S 25567 25569 25024 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21945583 8908800 251 1992294400 4194304 4922060 140736332363408 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25569/statm: 2175 251 211 178 0 68 0 [pid=25571] ppid=25569 vsize=49752 CPUtime=51.07 /proc/25571/stat : 25571 (PBPASSolver) R 25569 25569 25024 0 -1 4202496 12763 0 0 0 5099 8 0 0 25 0 1 0 21945583 50946048 11444 1992294400 134512640 134902295 4288146672 18446744073709551615 4160009226 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25571/statm: 12438 11444 270 96 0 11650 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 58452 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25574 /proc/meminfo: memFree=1823160/2059040 swapFree=4136384/4192956 [pid=25569] ppid=25567 vsize=8700 CPUtime=0 /proc/25569/stat : 25569 (run) S 25567 25569 25024 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21945583 8908800 251 1992294400 4194304 4922060 140736332363408 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25569/statm: 2175 251 211 178 0 68 0 [pid=25571] ppid=25569 vsize=54052 CPUtime=102.27 /proc/25571/stat : 25571 (PBPASSolver) R 25569 25569 25024 0 -1 4202496 13844 0 0 0 10218 9 0 0 25 0 1 0 21945583 55349248 12525 1992294400 134512640 134902295 4288146672 18446744073709551615 4159988393 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25571/statm: 13513 12525 270 96 0 12725 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 62752 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25576 /proc/meminfo: memFree=1818448/2059040 swapFree=4136384/4192956 [pid=25569] ppid=25567 vsize=8700 CPUtime=0 /proc/25569/stat : 25569 (run) S 25567 25569 25024 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21945583 8908800 251 1992294400 4194304 4922060 140736332363408 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25569/statm: 2175 251 211 178 0 68 0 [pid=25571] ppid=25569 vsize=59052 CPUtime=162.24 /proc/25571/stat : 25571 (PBPASSolver) R 25569 25569 25024 0 -1 4202496 15065 0 0 0 16214 10 0 0 25 0 1 0 21945583 60469248 13746 1992294400 134512640 134902295 4288146672 18446744073709551615 4160006493 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25571/statm: 14763 13746 270 96 0 13975 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 67752 [startup+222.3 s] /proc/loadavg: 1.06 1.02 1.00 2/107 25581 /proc/meminfo: memFree=1813984/2059040 swapFree=4136384/4192956 [pid=25569] ppid=25567 vsize=8700 CPUtime=0 /proc/25569/stat : 25569 (run) S 25567 25569 25024 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21945583 8908800 251 1992294400 4194304 4922060 140736332363408 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25569/statm: 2175 251 211 178 0 68 0 [pid=25571] ppid=25569 vsize=62964 CPUtime=222.22 /proc/25571/stat : 25571 (PBPASSolver) R 25569 25569 25024 0 -1 4202496 16032 0 0 0 22210 12 0 0 25 0 1 0 21945583 64475136 14713 1992294400 134512640 134902295 4288146672 18446744073709551615 4159995140 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25571/statm: 15741 14713 270 96 0 14953 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 71664 [startup+282.301 s] /proc/loadavg: 1.02 1.01 1.00 2/107 25583 /proc/meminfo: memFree=1810512/2059040 swapFree=4136384/4192956 [pid=25569] ppid=25567 vsize=8700 CPUtime=0 /proc/25569/stat : 25569 (run) S 25567 25569 25024 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21945583 8908800 251 1992294400 4194304 4922060 140736332363408 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25569/statm: 2175 251 211 178 0 68 0 [pid=25571] ppid=25569 vsize=66464 CPUtime=282.2 /proc/25571/stat : 25571 (PBPASSolver) R 25569 25569 25024 0 -1 4202496 16906 0 0 0 28207 13 0 0 25 0 1 0 21945583 68059136 15587 1992294400 134512640 134902295 4288146672 18446744073709551615 4159994785 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25571/statm: 16616 15587 270 96 0 15828 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 75164 [startup+342.301 s] /proc/loadavg: 1.01 1.00 1.00 2/107 25583 /proc/meminfo: memFree=1807412/2059040 swapFree=4136384/4192956 [pid=25569] ppid=25567 vsize=8700 CPUtime=0 /proc/25569/stat : 25569 (run) S 25567 25569 25024 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21945583 8908800 251 1992294400 4194304 4922060 140736332363408 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25569/statm: 2175 251 211 178 0 68 0 [pid=25571] ppid=25569 vsize=69568 CPUtime=342.19 /proc/25571/stat : 25571 (PBPASSolver) R 25569 25569 25024 0 -1 4202496 17678 0 0 0 34205 14 0 0 25 0 1 0 21945583 71237632 16359 1992294400 134512640 134902295 4288146672 18446744073709551615 4160006270 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25571/statm: 17392 16359 270 96 0 16604 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 78268 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25585 /proc/meminfo: memFree=1804064/2059040 swapFree=4136384/4192956 [pid=25569] ppid=25567 vsize=8700 CPUtime=0 /proc/25569/stat : 25569 (run) S 25567 25569 25024 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21945583 8908800 251 1992294400 4194304 4922060 140736332363408 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25569/statm: 2175 251 211 178 0 68 0 [pid=25571] ppid=25569 vsize=73240 CPUtime=402.17 /proc/25571/stat : 25571 (PBPASSolver) R 25569 25569 25024 0 -1 4202496 18547 0 0 0 40202 15 0 0 25 0 1 0 21945583 74997760 17228 1992294400 134512640 134902295 4288146672 18446744073709551615 4160006439 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25571/statm: 18310 17228 270 96 0 17522 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 81940 [startup+462.301 s] ################ # More data... # ################ /proc/25571/statm: 43742 42505 270 96 0 42954 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 183668 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25607 /proc/meminfo: memFree=1698788/2059040 swapFree=4136384/4192956 [pid=25569] ppid=25567 vsize=8700 CPUtime=0 /proc/25569/stat : 25569 (run) S 25567 25569 25024 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21945583 8908800 251 1992294400 4194304 4922060 140736332363408 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25569/statm: 2175 251 211 178 0 68 0 [pid=25571] ppid=25569 vsize=178736 CPUtime=1181.93 /proc/25571/stat : 25571 (PBPASSolver) R 25569 25569 25024 0 -1 4202496 44769 0 0 0 118151 42 0 0 25 0 1 0 21945583 183025664 43450 1992294400 134512640 134902295 4288146672 18446744073709551615 4160006270 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25571/statm: 44684 43450 270 96 0 43896 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 187436 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25607 /proc/meminfo: memFree=1692340/2059040 swapFree=4136384/4192956 [pid=25569] ppid=25567 vsize=8700 CPUtime=0 /proc/25569/stat : 25569 (run) S 25567 25569 25024 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21945583 8908800 251 1992294400 4194304 4922060 140736332363408 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25569/statm: 2175 251 211 178 0 68 0 [pid=25571] ppid=25569 vsize=185060 CPUtime=1241.92 /proc/25571/stat : 25571 (PBPASSolver) R 25569 25569 25024 0 -1 4202496 46323 0 0 0 124147 45 0 0 25 0 1 0 21945583 189501440 45004 1992294400 134512640 134902295 4288146672 18446744073709551615 4159997467 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25571/statm: 46265 45004 270 96 0 45477 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 193760 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25609 /proc/meminfo: memFree=1684776/2059040 swapFree=4136384/4192956 [pid=25569] ppid=25567 vsize=8700 CPUtime=0 /proc/25569/stat : 25569 (run) S 25567 25569 25024 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21945583 8908800 251 1992294400 4194304 4922060 140736332363408 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25569/statm: 2175 251 211 178 0 68 0 [pid=25571] ppid=25569 vsize=192476 CPUtime=1301.9 /proc/25571/stat : 25571 (PBPASSolver) R 25569 25569 25024 0 -1 4202496 48185 0 0 0 130143 47 0 0 25 0 1 0 21945583 197095424 46866 1992294400 134512640 134902295 4288146672 18446744073709551615 4160014042 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25571/statm: 48119 46866 270 96 0 47331 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 201176 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25611 /proc/meminfo: memFree=1674856/2059040 swapFree=4136384/4192956 [pid=25569] ppid=25567 vsize=8700 CPUtime=0 /proc/25569/stat : 25569 (run) S 25567 25569 25024 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21945583 8908800 251 1992294400 4194304 4922060 140736332363408 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25569/statm: 2175 251 211 178 0 68 0 [pid=25571] ppid=25569 vsize=202388 CPUtime=1361.88 /proc/25571/stat : 25571 (PBPASSolver) R 25569 25569 25024 0 -1 4202496 50689 0 0 0 136137 51 0 0 25 0 1 0 21945583 207245312 49370 1992294400 134512640 134902295 4288146672 18446744073709551615 4159988394 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25571/statm: 50597 49370 270 96 0 49809 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 211088 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25613 /proc/meminfo: memFree=1805676/2059040 swapFree=4136384/4192956 [pid=25569] ppid=25567 vsize=8700 CPUtime=0 /proc/25569/stat : 25569 (run) S 25567 25569 25024 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21945583 8908800 251 1992294400 4194304 4922060 140736332363408 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25569/statm: 2175 251 211 178 0 68 0 [pid=25571] ppid=25569 vsize=75844 CPUtime=1421.86 /proc/25571/stat : 25571 (PBPASSolver) R 25569 25569 25024 0 -1 4202496 66978 0 0 0 142125 61 0 0 25 0 1 0 21945583 77664256 16728 1992294400 134512640 134902295 4288146672 18446744073709551615 4159994546 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25571/statm: 18961 16728 270 96 0 18173 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 84544 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25615 /proc/meminfo: memFree=1796252/2059040 swapFree=4136384/4192956 [pid=25569] ppid=25567 vsize=8700 CPUtime=0 /proc/25569/stat : 25569 (run) S 25567 25569 25024 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21945583 8908800 251 1992294400 4194304 4922060 140736332363408 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25569/statm: 2175 251 211 178 0 68 0 [pid=25571] ppid=25569 vsize=85172 CPUtime=1481.84 /proc/25571/stat : 25571 (PBPASSolver) R 25569 25569 25024 0 -1 4202496 69286 0 0 0 148121 63 0 0 25 0 1 0 21945583 87216128 19036 1992294400 134512640 134902295 4288146672 18446744073709551615 4160006270 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25571/statm: 21293 19036 270 96 0 20505 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 93872 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25615 /proc/meminfo: memFree=1791044/2059040 swapFree=4136384/4192956 [pid=25569] ppid=25567 vsize=8700 CPUtime=0 /proc/25569/stat : 25569 (run) S 25567 25569 25024 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21945583 8908800 251 1992294400 4194304 4922060 140736332363408 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25569/statm: 2175 251 211 178 0 68 0 [pid=25571] ppid=25569 vsize=90488 CPUtime=1541.83 /proc/25571/stat : 25571 (PBPASSolver) R 25569 25569 25024 0 -1 4202496 70606 0 0 0 154118 65 0 0 25 0 1 0 21945583 92659712 20356 1992294400 134512640 134902295 4288146672 18446744073709551615 4159976256 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25571/statm: 22622 20356 270 96 0 21834 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 99188 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25617 /proc/meminfo: memFree=1784472/2059040 swapFree=4136384/4192956 [pid=25569] ppid=25567 vsize=8700 CPUtime=0 /proc/25569/stat : 25569 (run) S 25567 25569 25024 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21945583 8908800 251 1992294400 4194304 4922060 140736332363408 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25569/statm: 2175 251 211 178 0 68 0 [pid=25571] ppid=25569 vsize=96860 CPUtime=1601.81 /proc/25571/stat : 25571 (PBPASSolver) R 25569 25569 25024 0 -1 4202496 72196 0 0 0 160114 67 0 0 25 0 1 0 21945583 99184640 21946 1992294400 134512640 134902295 4288146672 18446744073709551615 4160006490 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25571/statm: 24215 21946 270 96 0 23427 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 105560 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25619 /proc/meminfo: memFree=1780504/2059040 swapFree=4136384/4192956 [pid=25569] ppid=25567 vsize=8700 CPUtime=0 /proc/25569/stat : 25569 (run) S 25567 25569 25024 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21945583 8908800 251 1992294400 4194304 4922060 140736332363408 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25569/statm: 2175 251 211 178 0 68 0 [pid=25571] ppid=25569 vsize=100864 CPUtime=1661.79 /proc/25571/stat : 25571 (PBPASSolver) R 25569 25569 25024 0 -1 4202496 73196 0 0 0 166110 69 0 0 25 0 1 0 21945583 103284736 22946 1992294400 134512640 134902295 4288146672 18446744073709551615 4160009205 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25571/statm: 25216 22946 270 96 0 24428 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 109564 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25621 /proc/meminfo: memFree=1777280/2059040 swapFree=4136384/4192956 [pid=25569] ppid=25567 vsize=8700 CPUtime=0 /proc/25569/stat : 25569 (run) S 25567 25569 25024 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21945583 8908800 251 1992294400 4194304 4922060 140736332363408 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25569/statm: 2175 251 211 178 0 68 0 [pid=25571] ppid=25569 vsize=104064 CPUtime=1721.77 /proc/25571/stat : 25571 (PBPASSolver) R 25569 25569 25024 0 -1 4202496 73997 0 0 0 172108 69 0 0 25 0 1 0 21945583 106561536 23747 1992294400 134512640 134902295 4288146672 18446744073709551615 4160006626 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25571/statm: 26016 23747 270 96 0 25228 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 112764 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25623 /proc/meminfo: memFree=1773932/2059040 swapFree=4136384/4192956 [pid=25569] ppid=25567 vsize=8700 CPUtime=0 /proc/25569/stat : 25569 (run) S 25567 25569 25024 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21945583 8908800 251 1992294400 4194304 4922060 140736332363408 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25569/statm: 2175 251 211 178 0 68 0 [pid=25571] ppid=25569 vsize=107272 CPUtime=1781.75 /proc/25571/stat : 25571 (PBPASSolver) R 25569 25569 25024 0 -1 4202496 74775 0 0 0 178105 70 0 0 25 0 1 0 21945583 109846528 24525 1992294400 134512640 134902295 4288146672 18446744073709551615 4160006632 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25571/statm: 26818 24525 270 96 0 26030 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 115972 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 25623 /proc/meminfo: memFree=1773188/2059040 swapFree=4136384/4192956 [pid=25569] ppid=25567 vsize=8700 CPUtime=0 /proc/25569/stat : 25569 (run) S 25567 25569 25024 0 -1 4202496 391 134 0 0 0 0 0 0 25 0 1 0 21945583 8908800 251 1992294400 4194304 4922060 140736332363408 18446744073709551615 219595512965 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/25569/statm: 2175 251 211 178 0 68 0 [pid=25571] ppid=25569 vsize=108064 CPUtime=1800.06 /proc/25571/stat : 25571 (PBPASSolver) R 25569 25569 25024 0 -1 4202496 74950 0 0 0 179936 70 0 0 25 0 1 0 21945583 110657536 24700 1992294400 134512640 134902295 4288146672 18446744073709551615 4159994730 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/25571/statm: 27016 24700 270 96 0 26228 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 116764 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 25569 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=1999 # CPU time returned by wait4() is 0.002998 # while last known CPU time is 1800.06 # # 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.06 CPU user time (s): 1799.36 CPU system time (s): 0.7 CPU usage (%): 99.9687 Max. virtual memory (cumulated for all children) (KiB): 227268 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.000999 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= 525 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= 4 runsolver used 2.92256 second user time and 8.5567 second system time The end
Begin job on node086 at 2010-06-17 22:28:39 IDJOB=2673223 IDBENCH=47890 IDSOLVER=1174 FILE ID=node086/2673223-1276806519 PBS_JOBID= 11176662 Free space on /tmp= 62576 MiB SOLVER NAME= PBPASSolver 2010-06-13 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=223-P1=29-P2=7-P3=83-P4=113-P5=223-P6=229-B.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2673223-1276806519/watcher-2673223-1276806519 -o /tmp/evaluation-result-2673223-1276806519/solver-2673223-1276806519 -C 1800 -W 2000 -M 1800 run HOME/instance-2673223-1276806519.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6355c589dda3f12b095277ae4637ab26 RANDOM SEED=1538432535 node086.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 : 5999.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1873792 kB Buffers: 21328 kB Cached: 87348 kB SwapCached: 9452 kB Active: 59276 kB Inactive: 61664 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1873792 kB SwapTotal: 4192956 kB SwapFree: 4136384 kB Dirty: 636 kB Writeback: 0 kB AnonPages: 10892 kB Mapped: 9120 kB Slab: 42428 kB PageTables: 3964 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182148 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= 62576 MiB End job on node086 at 2010-06-17 22:58:41