Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBPASSolver 2010-06-13 | ? (TO) | 1800.02 | 1800.62 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-jnh210.opb |
MD5SUM | 68360f4af644e6b1495bea4b9caa12b9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 88 |
Best CPU time to get the best result obtained on this benchmark | 0.318951 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 88 |
Optimality of the best value was proved | YES |
Number of variables | 200 |
Total number of constraints | 900 |
Number of constraints which are clauses | 900 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 10 |
Number of terms in the objective function | 200 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.55 c 200 900 0 0 0 0 0 0 0.00/0.55 o 93 0.00/0.55 c 128 ~x1109+64 ~x1108+32 ~x1107+16 ~x1106+8 ~x1105+4 ~x1104+2 ~x1103+1 ~x1102+1 ~x201+1 ~x200+1 ~x199+1 ~x198+1 ~x197+1 ~x196+1 ~x195+1 ~x194+1 ~x193+1 ~x192+1 ~x191+1 ~x190+1 ~x189+1 ~x188+1 ~x187+1 ~x186+1 ~x185+1 ~x184+1 ~x183+1 ~x182+1 ~x181+1 ~x180+1 ~x179+1 ~x178+1 ~x177+1 ~x176+1 ~x175+1 ~x174+1 ~x173+1 ~x172+1 ~x171+1 ~x170+1 ~x169+1 ~x168+1 ~x167+1 ~x166+1 ~x165+1 ~x164+1 ~x163+1 ~x162+1 ~x161+1 ~x160+1 ~x159+1 ~x158+1 ~x157+1 ~x156+1 ~x155+1 ~x154+1 ~x153+1 ~x152+1 ~x151+1 ~x150+1 ~x149+1 ~x148+1 ~x147+1 ~x146+1 ~x145+1 ~x144+1 ~x143+1 ~x142+1 ~x141+1 ~x140+1 ~x139+1 ~x138+1 ~x137+1 ~x136+1 ~x135+1 ~x134+1 ~x133+1 ~x132+1 ~x131+1 ~x130+1 ~x129+1 ~x128+1 ~x127+1 ~x126+1 ~x125+1 ~x124+1 ~x123+1 ~x122+1 ~x121+1 ~x120+1 ~x119+1 ~x118+1 ~x117+1 ~x116+1 ~x115+1 ~x114+1 ~x113+1 ~x112+1 ~x111+1 ~x110+1 ~x109+1 ~x108+1 ~x107+1 ~x106+1 ~x105+1 ~x104+1 ~x103+1 ~x102+1 ~x101+1 ~x100+1 ~x99+1 ~x98+1 ~x97+1 ~x96+1 ~x95+1 ~x94+1 ~x93+1 ~x92+1 ~x91+1 ~x90+1 ~x89+1 ~x88+1 ~x87+1 ~x86+1 ~x85+1 ~x84+1 ~x83+1 ~x82+1 ~x81+1 ~x80+1 ~x79+1 ~x78+1 ~x77+1 ~x76+1 ~x75+1 ~x74+1 ~x73+1 ~x72+1 ~x71+1 ~x70+1 ~x69+1 ~x68+1 ~x67+1 ~x66+1 ~x65+1 ~x64+1 ~x63+1 ~x62+1 ~x61+1 ~x60+1 ~x59+1 ~x58+1 ~x57+1 ~x56+1 ~x55+1 ~x54+1 ~x53+1 ~x52+1 ~x51+1 ~x50+1 ~x49+1 ~x48+1 ~x47+1 ~x46+1 ~x45+1 ~x44+1 ~x43+1 ~x42+1 ~x41+1 ~x40+1 ~x39+1 ~x38+1 ~x37+1 ~x36+1 ~x35+1 ~x34+1 ~x33+1 ~x32+1 ~x31+1 ~x30+1 ~x29+1 ~x28+1 ~x27+1 ~x26+1 ~x25+1 ~x24+1 ~x23+1 ~x22+1 ~x21+1 ~x20+1 ~x19+1 ~x18+1 ~x17+1 ~x16+1 ~x15+1 ~x14+1 ~x13+1 ~x1
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-2674639-1276796259/watcher-2674639-1276796259 -o /tmp/evaluation-result-2674639-1276796259/solver-2674639-1276796259 -C 1800 -W 2000 -M 1800 run HOME/instance-2674639-1276796259.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.98 3/106 18884 /proc/meminfo: memFree=1888612/2059040 swapFree=4139588/4192956 [pid=18884] ppid=18882 vsize=8700 CPUtime=0 /proc/18884/stat : 18884 (run) S 18882 18884 18039 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55229587 8908800 250 1992294400 4194304 4922060 140734208111184 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18884/statm: 2175 250 211 178 0 68 0 [startup+0.0471571 s] /proc/loadavg: 1.00 1.00 0.98 3/106 18884 /proc/meminfo: memFree=1888612/2059040 swapFree=4139588/4192956 [pid=18884] ppid=18882 vsize=8700 CPUtime=0 /proc/18884/stat : 18884 (run) S 18882 18884 18039 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55229587 8908800 250 1992294400 4194304 4922060 140734208111184 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18884/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101164 s] /proc/loadavg: 1.00 1.00 0.98 3/106 18884 /proc/meminfo: memFree=1888612/2059040 swapFree=4139588/4192956 [pid=18884] ppid=18882 vsize=8700 CPUtime=0 /proc/18884/stat : 18884 (run) S 18882 18884 18039 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55229587 8908800 250 1992294400 4194304 4922060 140734208111184 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18884/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301181 s] /proc/loadavg: 1.00 1.00 0.98 3/106 18884 /proc/meminfo: memFree=1888612/2059040 swapFree=4139588/4192956 [pid=18884] ppid=18882 vsize=8700 CPUtime=0 /proc/18884/stat : 18884 (run) S 18882 18884 18039 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55229587 8908800 250 1992294400 4194304 4922060 140734208111184 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18884/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701224 s] /proc/loadavg: 1.00 1.00 0.98 3/106 18884 /proc/meminfo: memFree=1888612/2059040 swapFree=4139588/4192956 [pid=18884] ppid=18882 vsize=8700 CPUtime=0 /proc/18884/stat : 18884 (run) S 18882 18884 18039 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55229587 8908800 250 1992294400 4194304 4922060 140734208111184 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18884/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50131 s] /proc/loadavg: 1.00 1.00 0.98 2/108 18887 /proc/meminfo: memFree=1811344/2059040 swapFree=4139588/4192956 [pid=18884] ppid=18882 vsize=8700 CPUtime=0 /proc/18884/stat : 18884 (run) S 18882 18884 18039 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55229587 8908800 250 1992294400 4194304 4922060 140734208111184 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18884/statm: 2175 250 211 178 0 68 0 [pid=18886] ppid=18884 vsize=80048 CPUtime=1.48 /proc/18886/stat : 18886 (PBPASSolver) R 18884 18884 18039 0 -1 4202496 20764 0 0 0 130 18 0 0 25 0 1 0 55229587 81969152 19396 1992294400 134512640 134902295 4288958752 18446744073709551615 4159814295 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18886/statm: 20012 19396 269 96 0 19224 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 88748 [startup+3.1005 s] /proc/loadavg: 1.00 1.00 0.98 2/108 18887 /proc/meminfo: memFree=1810972/2059040 swapFree=4139588/4192956 [pid=18884] ppid=18882 vsize=8700 CPUtime=0 /proc/18884/stat : 18884 (run) S 18882 18884 18039 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55229587 8908800 250 1992294400 4194304 4922060 140734208111184 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18884/statm: 2175 250 211 178 0 68 0 [pid=18886] ppid=18884 vsize=80708 CPUtime=3.08 /proc/18886/stat : 18886 (PBPASSolver) R 18884 18884 18039 0 -1 4202496 20943 0 0 0 290 18 0 0 25 0 1 0 55229587 82644992 19575 1992294400 134512640 134902295 4288958752 18446744073709551615 4159826396 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18886/statm: 20177 19575 269 96 0 19389 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 89408 [startup+6.30087 s] /proc/loadavg: 1.00 1.00 0.98 2/108 18887 /proc/meminfo: memFree=1809608/2059040 swapFree=4139588/4192956 [pid=18884] ppid=18882 vsize=8700 CPUtime=0 /proc/18884/stat : 18884 (run) S 18882 18884 18039 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55229587 8908800 250 1992294400 4194304 4922060 140734208111184 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18884/statm: 2175 250 211 178 0 68 0 [pid=18886] ppid=18884 vsize=81904 CPUtime=6.28 /proc/18886/stat : 18886 (PBPASSolver) R 18884 18884 18039 0 -1 4202496 21247 0 0 0 610 18 0 0 25 0 1 0 55229587 83869696 19879 1992294400 134512640 134902295 4288958752 18446744073709551615 4159826266 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18886/statm: 20476 19879 269 96 0 19688 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 90604 [startup+12.7006 s] /proc/loadavg: 1.00 1.00 0.98 2/108 18887 /proc/meminfo: memFree=1807624/2059040 swapFree=4139588/4192956 [pid=18884] ppid=18882 vsize=8700 CPUtime=0 /proc/18884/stat : 18884 (run) S 18882 18884 18039 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55229587 8908800 250 1992294400 4194304 4922060 140734208111184 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18884/statm: 2175 250 211 178 0 68 0 [pid=18886] ppid=18884 vsize=83884 CPUtime=12.68 /proc/18886/stat : 18886 (PBPASSolver) R 18884 18884 18039 0 -1 4202496 21728 0 0 0 1249 19 0 0 25 0 1 0 55229587 85897216 20360 1992294400 134512640 134902295 4288958752 18446744073709551615 4159828933 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18886/statm: 20971 20360 269 96 0 20183 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 92584 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 0.98 2/108 18889 /proc/meminfo: memFree=1804896/2059040 swapFree=4139588/4192956 [pid=18884] ppid=18882 vsize=8700 CPUtime=0 /proc/18884/stat : 18884 (run) S 18882 18884 18039 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55229587 8908800 250 1992294400 4194304 4922060 140734208111184 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18884/statm: 2175 250 211 178 0 68 0 [pid=18886] ppid=18884 vsize=86392 CPUtime=25.47 /proc/18886/stat : 18886 (PBPASSolver) R 18884 18884 18039 0 -1 4202496 22360 0 0 0 2528 19 0 0 25 0 1 0 55229587 88465408 20992 1992294400 134512640 134902295 4288958752 18446744073709551615 4159828957 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18886/statm: 21598 20992 269 96 0 20810 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 95092 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 0.98 2/108 18889 /proc/meminfo: memFree=1800804/2059040 swapFree=4139588/4192956 [pid=18884] ppid=18882 vsize=8700 CPUtime=0 /proc/18884/stat : 18884 (run) S 18882 18884 18039 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55229587 8908800 250 1992294400 4194304 4922060 140734208111184 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18884/statm: 2175 250 211 178 0 68 0 [pid=18886] ppid=18884 vsize=90484 CPUtime=51.07 /proc/18886/stat : 18886 (PBPASSolver) R 18884 18884 18039 0 -1 4202496 23387 0 0 0 5087 20 0 0 25 0 1 0 55229587 92655616 22019 1992294400 134512640 134902295 4288958752 18446744073709551615 4159816770 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18886/statm: 22621 22019 269 96 0 21833 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 99184 [startup+102.309 s] /proc/loadavg: 1.00 1.00 0.98 2/108 18891 /proc/meminfo: memFree=1793860/2059040 swapFree=4139588/4192956 [pid=18884] ppid=18882 vsize=8700 CPUtime=0 /proc/18884/stat : 18884 (run) S 18882 18884 18039 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55229587 8908800 250 1992294400 4194304 4922060 140734208111184 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18884/statm: 2175 250 211 178 0 68 0 [pid=18886] ppid=18884 vsize=97240 CPUtime=102.26 /proc/18886/stat : 18886 (PBPASSolver) R 18884 18884 18039 0 -1 4202496 25077 0 0 0 10204 22 0 0 25 0 1 0 55229587 99573760 23709 1992294400 134512640 134902295 4288958752 18446744073709551615 4159814484 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18886/statm: 24310 23709 269 96 0 23522 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 105940 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.98 2/108 18891 /proc/meminfo: memFree=1785800/2059040 swapFree=4139588/4192956 [pid=18884] ppid=18882 vsize=8700 CPUtime=0 /proc/18884/stat : 18884 (run) S 18882 18884 18039 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55229587 8908800 250 1992294400 4194304 4922060 140734208111184 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18884/statm: 2175 250 211 178 0 68 0 [pid=18886] ppid=18884 vsize=105072 CPUtime=162.24 /proc/18886/stat : 18886 (PBPASSolver) R 18884 18884 18039 0 -1 4202496 27042 0 0 0 16200 24 0 0 25 0 1 0 55229587 107593728 25674 1992294400 134512640 134902295 4288958752 18446744073709551615 4159795934 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18886/statm: 26268 25674 269 96 0 25480 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 113772 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.98 2/108 18893 /proc/meminfo: memFree=1781708/2059040 swapFree=4139588/4192956 [pid=18884] ppid=18882 vsize=8700 CPUtime=0 /proc/18884/stat : 18884 (run) S 18882 18884 18039 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55229587 8908800 250 1992294400 4194304 4922060 140734208111184 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18884/statm: 2175 250 211 178 0 68 0 [pid=18886] ppid=18884 vsize=109248 CPUtime=222.22 /proc/18886/stat : 18886 (PBPASSolver) R 18884 18884 18039 0 -1 4202496 28045 0 0 0 22197 25 0 0 25 0 1 0 55229587 111869952 26677 1992294400 134512640 134902295 4288958752 18446744073709551615 4159826220 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18886/statm: 27312 26677 269 96 0 26524 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 117948 [startup+282.302 s] /proc/loadavg: 1.07 1.02 0.99 2/108 18895 /proc/meminfo: memFree=1778608/2059040 swapFree=4139588/4192956 [pid=18884] ppid=18882 vsize=8700 CPUtime=0 /proc/18884/stat : 18884 (run) S 18882 18884 18039 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55229587 8908800 250 1992294400 4194304 4922060 140734208111184 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18884/statm: 2175 250 211 178 0 68 0 [pid=18886] ppid=18884 vsize=112288 CPUtime=282.2 /proc/18886/stat : 18886 (PBPASSolver) R 18884 18884 18039 0 -1 4202496 28814 0 0 0 28195 25 0 0 25 0 1 0 55229587 114982912 27446 1992294400 134512640 134902295 4288958752 18446744073709551615 4159826046 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18886/statm: 28072 27446 269 96 0 27284 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 120988 [startup+342.302 s] /proc/loadavg: 1.02 1.01 0.99 2/108 18897 /proc/meminfo: memFree=1775384/2059040 swapFree=4139588/4192956 [pid=18884] ppid=18882 vsize=8700 CPUtime=0 /proc/18884/stat : 18884 (run) S 18882 18884 18039 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55229587 8908800 250 1992294400 4194304 4922060 140734208111184 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18884/statm: 2175 250 211 178 0 68 0 [pid=18886] ppid=18884 vsize=115604 CPUtime=342.18 /proc/18886/stat : 18886 (PBPASSolver) R 18884 18884 18039 0 -1 4202496 29626 0 0 0 34192 26 0 0 25 0 1 0 55229587 118378496 28258 1992294400 134512640 134902295 4288958752 18446744073709551615 4159831724 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18886/statm: 28901 28258 269 96 0 28113 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 124304 [startup+402.302 s] /proc/loadavg: 1.01 1.00 0.99 2/108 18899 /proc/meminfo: memFree=1772284/2059040 swapFree=4139588/4192956 [pid=18884] ppid=18882 vsize=8700 CPUtime=0 /proc/18884/stat : 18884 (run) S 18882 18884 18039 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55229587 8908800 250 1992294400 4194304 4922060 140734208111184 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18884/statm: 2175 250 211 178 0 68 0 [pid=18886] ppid=18884 vsize=118648 CPUtime=402.16 /proc/18886/stat : 18886 (PBPASSolver) R 18884 18884 18039 0 -1 4202496 30404 0 0 0 40189 27 0 0 25 0 1 0 55229587 121495552 29036 1992294400 134512640 134902295 4288958752 18446744073709551615 4159826046 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18886/statm: 29662 29036 269 96 0 28874 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 127348 [startup+462.302 s] ################ # More data... # ################ /proc/18886/statm: 29901 29258 269 96 0 29113 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 128304 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/108 18919 /proc/meminfo: memFree=1770796/2059040 swapFree=4139588/4192956 [pid=18884] ppid=18882 vsize=8700 CPUtime=0 /proc/18884/stat : 18884 (run) S 18882 18884 18039 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55229587 8908800 250 1992294400 4194304 4922060 140734208111184 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18884/statm: 2175 250 211 178 0 68 0 [pid=18886] ppid=18884 vsize=119604 CPUtime=1181.91 /proc/18886/stat : 18886 (PBPASSolver) R 18884 18884 18039 0 -1 4202496 30626 0 0 0 118164 27 0 0 25 0 1 0 55229587 122474496 29258 1992294400 134512640 134902295 4288958752 18446744073709551615 4159795862 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18886/statm: 29901 29258 269 96 0 29113 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 128304 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/108 18921 /proc/meminfo: memFree=1770796/2059040 swapFree=4139588/4192956 [pid=18884] ppid=18882 vsize=8700 CPUtime=0 /proc/18884/stat : 18884 (run) S 18882 18884 18039 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55229587 8908800 250 1992294400 4194304 4922060 140734208111184 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18884/statm: 2175 250 211 178 0 68 0 [pid=18886] ppid=18884 vsize=119604 CPUtime=1241.89 /proc/18886/stat : 18886 (PBPASSolver) R 18884 18884 18039 0 -1 4202496 30626 0 0 0 124162 27 0 0 25 0 1 0 55229587 122474496 29258 1992294400 134512640 134902295 4288958752 18446744073709551615 4159826205 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18886/statm: 29901 29258 269 96 0 29113 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 128304 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/108 18923 /proc/meminfo: memFree=1770796/2059040 swapFree=4139588/4192956 [pid=18884] ppid=18882 vsize=8700 CPUtime=0 /proc/18884/stat : 18884 (run) S 18882 18884 18039 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55229587 8908800 250 1992294400 4194304 4922060 140734208111184 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18884/statm: 2175 250 211 178 0 68 0 [pid=18886] ppid=18884 vsize=119604 CPUtime=1301.88 /proc/18886/stat : 18886 (PBPASSolver) R 18884 18884 18039 0 -1 4202496 30626 0 0 0 130161 27 0 0 25 0 1 0 55229587 122474496 29258 1992294400 134512640 134902295 4288958752 18446744073709551615 4159833818 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18886/statm: 29901 29258 269 96 0 29113 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 128304 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/108 18923 /proc/meminfo: memFree=1770672/2059040 swapFree=4139588/4192956 [pid=18884] ppid=18882 vsize=8700 CPUtime=0 /proc/18884/stat : 18884 (run) S 18882 18884 18039 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55229587 8908800 250 1992294400 4194304 4922060 140734208111184 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18884/statm: 2175 250 211 178 0 68 0 [pid=18886] ppid=18884 vsize=119604 CPUtime=1361.85 /proc/18886/stat : 18886 (PBPASSolver) R 18884 18884 18039 0 -1 4202496 30626 0 0 0 136158 27 0 0 25 0 1 0 55229587 122474496 29258 1992294400 134512640 134902295 4288958752 18446744073709551615 4159814885 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18886/statm: 29901 29258 269 96 0 29113 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 128304 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 2/108 18934 /proc/meminfo: memFree=1769432/2059040 swapFree=4139588/4192956 [pid=18884] ppid=18882 vsize=8700 CPUtime=0 /proc/18884/stat : 18884 (run) S 18882 18884 18039 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55229587 8908800 250 1992294400 4194304 4922060 140734208111184 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18884/statm: 2175 250 211 178 0 68 0 [pid=18886] ppid=18884 vsize=119604 CPUtime=1421.82 /proc/18886/stat : 18886 (PBPASSolver) R 18884 18884 18039 0 -1 4202496 30626 0 0 0 142155 27 0 0 25 0 1 0 55229587 122474496 29258 1992294400 134512640 134902295 4288958752 18446744073709551615 4159826402 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18886/statm: 29901 29258 269 96 0 29113 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 128304 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/108 18936 /proc/meminfo: memFree=1769432/2059040 swapFree=4139588/4192956 [pid=18884] ppid=18882 vsize=8700 CPUtime=0 /proc/18884/stat : 18884 (run) S 18882 18884 18039 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55229587 8908800 250 1992294400 4194304 4922060 140734208111184 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18884/statm: 2175 250 211 178 0 68 0 [pid=18886] ppid=18884 vsize=119604 CPUtime=1481.8 /proc/18886/stat : 18886 (PBPASSolver) R 18884 18884 18039 0 -1 4202496 30629 0 0 0 148153 27 0 0 25 0 1 0 55229587 122474496 29261 1992294400 134512640 134902295 4288958752 18446744073709551615 4159828997 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18886/statm: 29901 29261 269 96 0 29113 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 128304 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/108 18938 /proc/meminfo: memFree=1769432/2059040 swapFree=4139588/4192956 [pid=18884] ppid=18882 vsize=8700 CPUtime=0 /proc/18884/stat : 18884 (run) S 18882 18884 18039 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55229587 8908800 250 1992294400 4194304 4922060 140734208111184 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18884/statm: 2175 250 211 178 0 68 0 [pid=18886] ppid=18884 vsize=119784 CPUtime=1541.78 /proc/18886/stat : 18886 (PBPASSolver) R 18884 18884 18039 0 -1 4202496 30635 0 0 0 154151 27 0 0 25 0 1 0 55229587 122658816 29267 1992294400 134512640 134902295 4288958752 18446744073709551615 4159826046 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18886/statm: 29946 29267 269 96 0 29158 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 128484 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/108 18940 /proc/meminfo: memFree=1769432/2059040 swapFree=4139588/4192956 [pid=18884] ppid=18882 vsize=8700 CPUtime=0 /proc/18884/stat : 18884 (run) S 18882 18884 18039 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55229587 8908800 250 1992294400 4194304 4922060 140734208111184 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18884/statm: 2175 250 211 178 0 68 0 [pid=18886] ppid=18884 vsize=119784 CPUtime=1601.76 /proc/18886/stat : 18886 (PBPASSolver) R 18884 18884 18039 0 -1 4202496 30635 0 0 0 160149 27 0 0 25 0 1 0 55229587 122658816 29267 1992294400 134512640 134902295 4288958752 18446744073709551615 4159818027 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18886/statm: 29946 29267 269 96 0 29158 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 128484 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/108 18940 /proc/meminfo: memFree=1769432/2059040 swapFree=4139588/4192956 [pid=18884] ppid=18882 vsize=8700 CPUtime=0 /proc/18884/stat : 18884 (run) S 18882 18884 18039 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55229587 8908800 250 1992294400 4194304 4922060 140734208111184 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18884/statm: 2175 250 211 178 0 68 0 [pid=18886] ppid=18884 vsize=119784 CPUtime=1661.75 /proc/18886/stat : 18886 (PBPASSolver) R 18884 18884 18039 0 -1 4202496 30635 0 0 0 166148 27 0 0 25 0 1 0 55229587 122658816 29267 1992294400 134512640 134902295 4288958752 18446744073709551615 4159795885 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18886/statm: 29946 29267 269 96 0 29158 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 128484 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/108 18942 /proc/meminfo: memFree=1769432/2059040 swapFree=4139588/4192956 [pid=18884] ppid=18882 vsize=8700 CPUtime=0 /proc/18884/stat : 18884 (run) S 18882 18884 18039 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55229587 8908800 250 1992294400 4194304 4922060 140734208111184 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18884/statm: 2175 250 211 178 0 68 0 [pid=18886] ppid=18884 vsize=119948 CPUtime=1721.73 /proc/18886/stat : 18886 (PBPASSolver) R 18884 18884 18039 0 -1 4202496 30665 0 0 0 172146 27 0 0 25 0 1 0 55229587 122826752 29297 1992294400 134512640 134902295 4288958752 18446744073709551615 4159830989 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18886/statm: 29987 29297 269 96 0 29199 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 128648 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/108 18944 /proc/meminfo: memFree=1769432/2059040 swapFree=4139588/4192956 [pid=18884] ppid=18882 vsize=8700 CPUtime=0 /proc/18884/stat : 18884 (run) S 18882 18884 18039 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55229587 8908800 250 1992294400 4194304 4922060 140734208111184 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18884/statm: 2175 250 211 178 0 68 0 [pid=18886] ppid=18884 vsize=119948 CPUtime=1781.71 /proc/18886/stat : 18886 (PBPASSolver) R 18884 18884 18039 0 -1 4202496 30666 0 0 0 178144 27 0 0 25 0 1 0 55229587 122826752 29298 1992294400 134512640 134902295 4288958752 18446744073709551615 4159828946 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18886/statm: 29987 29298 269 96 0 29199 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 128648 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.99 2/108 18944 /proc/meminfo: memFree=1769432/2059040 swapFree=4139588/4192956 [pid=18884] ppid=18882 vsize=8700 CPUtime=0 /proc/18884/stat : 18884 (run) S 18882 18884 18039 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 55229587 8908800 250 1992294400 4194304 4922060 140734208111184 18446744073709551615 272917699717 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18884/statm: 2175 250 211 178 0 68 0 [pid=18886] ppid=18884 vsize=119948 CPUtime=1800.02 /proc/18886/stat : 18886 (PBPASSolver) R 18884 18884 18039 0 -1 4202496 30667 0 0 0 179975 27 0 0 25 0 1 0 55229587 122826752 29299 1992294400 134512640 134902295 4288958752 18446744073709551615 4159816938 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18886/statm: 29987 29299 269 96 0 29199 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 128648 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 18884 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.02 # # 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.02 CPU user time (s): 1799.75 CPU system time (s): 0.27 CPU usage (%): 99.9666 Max. virtual memory (cumulated for all children) (KiB): 128648 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= 4 runsolver used 2.94955 second user time and 8.5367 second system time The end
Begin job on node006 at 2010-06-17 19:37:39 IDJOB=2674639 IDBENCH=2104 IDSOLVER=1174 FILE ID=node006/2674639-1276796259 PBS_JOBID= 11176619 Free space on /tmp= 62504 MiB SOLVER NAME= PBPASSolver 2010-06-13 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-jnh210.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674639-1276796259/watcher-2674639-1276796259 -o /tmp/evaluation-result-2674639-1276796259/solver-2674639-1276796259 -C 1800 -W 2000 -M 1800 run HOME/instance-2674639-1276796259.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 68360f4af644e6b1495bea4b9caa12b9 RANDOM SEED=1137247162 node006.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.204 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.204 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: 1889132 kB Buffers: 7016 kB Cached: 71012 kB SwapCached: 6256 kB Active: 54740 kB Inactive: 36628 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1889132 kB SwapTotal: 4192956 kB SwapFree: 4139588 kB Dirty: 864 kB Writeback: 44 kB AnonPages: 11920 kB Mapped: 12956 kB Slab: 56768 kB PageTables: 4040 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183120 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= 62504 MiB End job on node006 at 2010-06-17 20:07:42