Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4b | ? (TO) | 1800.13 | 1800.07 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-21-20--soft-33-100-0.wbo |
MD5SUM | c9bbca9920220172e28f0008e519bfaf |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 0.023996 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 420 |
Total number of constraints | 41 |
Number of soft constraints | 32 |
Number of constraints which are clauses | 21 |
Number of constraints which are cardinality constraints (but not clauses) | 20 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 21 |
Top cost | 1258 |
Min constraint cost | 1 |
Max constraint cost | 83 |
Sum of constraints costs | 1257 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 22 |
Number of bits of the biggest sum of numbers | 5 |
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.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing wbo file format. File HOME/instance-2690416-1277894386.wbo. 0.00/0.00 c Instance file HOME/instance-2690416-1277894386.wbo 0.00/0.00 c File size is 7228 bytes. 0.00/0.00 c Highest Coefficient sum: 22 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 420 | 0.00/0.00 c | Number Clauses: 21 | 0.00/0.00 c | Number Cardinality: 20 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 420 41 840 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 101 | 420 41 840 | 5500 101 67 | 0.001 % | 0.00/0.00 c | 251 | 420 41 840 | 6050 251 74 | 0.001 % | 0.00/0.01 c | 477 | 420 41 840 | 6655 477 95 | 0.001 % | 0.00/0.02 c | 814 | 420 41 840 | 7320 814 125 | 0.001 % | 0.00/0.04 c | 1324 | 420 41 840 | 8052 1324 107 | 0.001 % | 0.09/0.10 c | 2083 | 420 41 840 | 8857 2083 124 | 0.001 % | 0.19/0.21 c | 3224 | 420 41 840 | 9743 3224 124 | 0.001 % | 0.29/0.36 c | 4933 | 420 41 840 | 10717 4933 123 | 0.001 % | 0.69/0.78 c | 7495 | 420 41 840 | 11789 7495 120 | 0.001 % | 1.49/1.51 c | 11339 | 420 41 840 | 12968 11339 123 | 0.001 % | 2.39/2.44 c | 17105 | 420 41 840 | 14265 10435 152 | 0.001 % | 6.69/6.71 c | 25756 | 420 41 840 | 15692 11786 262 | 0.001 % | 21.90/21.96 c | 38732 | 420 41 840 | 17261 8823 297 | 0.001 % | 39.60/39.69 c | 58196 | 420 41 840 | 18987 10799 273 | 0.001 % | 73.09/73.13 c | 87391 | 420 41 840 | 20886 11286 271 | 0.001 % | 112.10/112.14 c | 131182 | 420 41 840 | 22974 12832 272 | 0.001 % | 180.20/180.27 c There are 0 assigned variables. 0 in cost function. 180.31/180.35 c ============================[ Search Statistics ]============================== 180.31/180.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 180.31/180.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 180.31/180.35 c =============================================================================== 180.31/180.35 c | 0 | 420 41 840 | 5000 0 nan | 0.000 % | 180.31/180.37 c | 100 | 420 41 840 | 5500 100 66 | 0.001 % | 180.31/180.38 c | 250 | 420 41 840 | 6050 250 80 | 0.001 % | 180.31/180.39 c | 477 | 420 41 840 | 6655 477 93 | 0.001 % | 180.41/180.42 c | 814 | 420 41 840 | 7320 814 106 | 0.001 % | 180.41/180.46 c | 1320 | 420 41 840 | 8052 1320 108 | 0.001 % | 180.50/180.54 c | 2079 | 420 41 840 | 8857 2079 111 | 0.001 % | 180.60/180.69 c | 3221 | 420 41 840 | 9743 3221 114 | 0.001 % | 181.00/181.04 c | 4930 | 420 41 840 | 10717 4930 123 | 0.001 % | 181.60/181.69 c | 7493 | 420 41 840 | 11789 7493 122 | 0.001 % | 182.60/182.62 c | 11338 | 420 41 840 | 12968 11338 123 | 0.001 % | 183.79/183.83 c | 17104 | 420 41 840 | 14265 10430 113 | 0.001 % | 186.70/186.75 c | 25753 | 420 41 840 | 15692 11764 119 | 0.001 % | 190.20/190.22 c | 38729 | 420 41 840 | 17261 8681 104 | 0.001 % | 197.30/197.37 c | 58191 | 420 41 840 | 18987 10520 129 | 0.001 % | 208.30/208.31 c | 87383 | 420 41 840 | 20886 10775 105 | 0.001 % | 224.70/224.73 c | 131172 | 420 41 840 | 22974 12080 117 | 0.001 % | 246.10/246.10 c | 196857 | 420 41 840 | 25272 18901 101 | 0.001 % | 289.11/289.18 c | 295384 | 420 41 840 | 27799 13218 120 | 0.001 % | 360.60/360.65 c | 443173 | 420 41 840 | 30579 25296 150 | 0.001 % | 608.41/608.45 c | 664857 | 420 41 840 | 33637 12704 198 | 0.001 % | 946.03/946.02 c | 997384 | 420 41 840 | 37001 14009 206 | 0.001 % | 1167.53/1167.54 c | 1496172 | 420 41 840 | 40701 18572 213 | 0.001 % | 1578.74/1578.74 c | 2244354 | 420 41 840 | 44771 33753 143 | 0.001 % |
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-2690416-1277894386/watcher-2690416-1277894386 -o /tmp/evaluation-result-2690416-1277894386/solver-2690416-1277894386 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690416-1277894386.wbo 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 1.98 1.99 4/178 23072 /proc/meminfo: memFree=30000716/32950928 swapFree=67111528/67111528 [pid=23072] ppid=23070 vsize=2712 CPUtime=0 /proc/23072/stat : 23072 (wbo1.4b) R 23070 23072 21193 0 -1 4202496 310 0 0 0 0 0 0 0 18 0 1 0 165041732 2777088 226 4089446400 134512640 135752675 4290285136 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23072/statm: 678 226 144 303 0 373 0 [startup+0.0981319 s] /proc/loadavg: 1.92 1.98 1.99 4/178 23072 /proc/meminfo: memFree=30000716/32950928 swapFree=67111528/67111528 [pid=23072] ppid=23070 vsize=3900 CPUtime=0.08 /proc/23072/stat : 23072 (wbo1.4b) R 23070 23072 21193 0 -1 4202496 607 0 0 0 8 0 0 0 18 0 1 0 165041732 3993600 523 4089446400 134512640 135752675 4290285136 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/23072/statm: 975 523 144 303 0 670 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3900 [startup+0.10113 s] /proc/loadavg: 1.92 1.98 1.99 4/178 23072 /proc/meminfo: memFree=30000716/32950928 swapFree=67111528/67111528 [pid=23072] ppid=23070 vsize=3900 CPUtime=0.09 /proc/23072/stat : 23072 (wbo1.4b) R 23070 23072 21193 0 -1 4202496 613 0 0 0 9 0 0 0 18 0 1 0 165041732 3993600 529 4089446400 134512640 135752675 4290285136 18446744073709551615 134611744 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/23072/statm: 975 529 144 303 0 670 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3900 [startup+0.301094 s] /proc/loadavg: 1.92 1.98 1.99 4/178 23072 /proc/meminfo: memFree=30000716/32950928 swapFree=67111528/67111528 [pid=23072] ppid=23070 vsize=5500 CPUtime=0.29 /proc/23072/stat : 23072 (wbo1.4b) R 23070 23072 21193 0 -1 4202496 1008 0 0 0 29 0 0 0 18 0 1 0 165041732 5632000 924 4089446400 134512640 135752675 4290285136 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/23072/statm: 1375 924 144 303 0 1070 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5500 [startup+0.701025 s] /proc/loadavg: 1.92 1.98 1.99 4/178 23072 /proc/meminfo: memFree=30000716/32950928 swapFree=67111528/67111528 [pid=23072] ppid=23070 vsize=7216 CPUtime=0.69 /proc/23072/stat : 23072 (wbo1.4b) R 23070 23072 21193 0 -1 4202496 1439 0 0 0 68 1 0 0 18 0 1 0 165041732 7389184 1355 4089446400 134512640 135752675 4290285136 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/23072/statm: 1804 1355 144 303 0 1499 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7216 [startup+1.50087 s] /proc/loadavg: 1.92 1.98 1.99 3/179 23073 /proc/meminfo: memFree=29993268/32950928 swapFree=67111528/67111528 [pid=23072] ppid=23070 vsize=10124 CPUtime=1.49 /proc/23072/stat : 23072 (wbo1.4b) R 23070 23072 21193 0 -1 4202496 2176 0 0 0 148 1 0 0 20 0 1 0 165041732 10366976 2092 4089446400 134512640 135752675 4290285136 18446744073709551615 134611753 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/23072/statm: 2531 2092 144 303 0 2226 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10124 [startup+3.10057 s] /proc/loadavg: 1.92 1.98 1.99 3/179 23073 /proc/meminfo: memFree=29985952/32950928 swapFree=67111528/67111528 [pid=23072] ppid=23070 vsize=17132 CPUtime=3.09 /proc/23072/stat : 23072 (wbo1.4b) R 23070 23072 21193 0 -1 4202496 3913 0 0 0 307 2 0 0 25 0 1 0 165041732 17543168 3829 4089446400 134512640 135752675 4290285136 18446744073709551615 134611807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/23072/statm: 4283 3829 144 303 0 3978 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17132 [startup+6.30096 s] /proc/loadavg: 1.93 1.98 1.99 3/179 23073 /proc/meminfo: memFree=29968788/32950928 swapFree=67111528/67111528 [pid=23072] ppid=23070 vsize=25052 CPUtime=6.29 /proc/23072/stat : 23072 (wbo1.4b) R 23070 23072 21193 0 -1 4202496 5926 0 0 0 626 3 0 0 25 0 1 0 165041732 25653248 5842 4089446400 134512640 135752675 4290285136 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/23072/statm: 6263 5842 144 303 0 5958 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25052 [startup+12.7007 s] /proc/loadavg: 1.93 1.98 1.99 3/179 23073 /proc/meminfo: memFree=29941384/32950928 swapFree=67111528/67111528 [pid=23072] ppid=23070 vsize=33008 CPUtime=12.69 /proc/23072/stat : 23072 (wbo1.4b) R 23070 23072 21193 0 -1 4202496 7900 0 0 0 1265 4 0 0 25 0 1 0 165041732 33800192 7816 4089446400 134512640 135752675 4290285136 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/23072/statm: 8252 7816 144 303 0 7947 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33008 [startup+25.5003 s] /proc/loadavg: 1.95 1.98 1.99 3/179 23073 /proc/meminfo: memFree=29887064/32950928 swapFree=67111528/67111528 [pid=23072] ppid=23070 vsize=50432 CPUtime=25.49 /proc/23072/stat : 23072 (wbo1.4b) R 23070 23072 21193 0 -1 4202496 12245 0 0 0 2541 8 0 0 25 0 1 0 165041732 51642368 12161 4089446400 134512640 135752675 4290285136 18446744073709551615 134611976 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/23072/statm: 12608 12161 144 303 0 12303 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 50432 [startup+51.1005 s] /proc/loadavg: 1.96 1.98 1.99 3/179 23074 /proc/meminfo: memFree=29795572/32950928 swapFree=67111528/67111528 [pid=23072] ppid=23070 vsize=79128 CPUtime=51.09 /proc/23072/stat : 23072 (wbo1.4b) R 23070 23072 21193 0 -1 4202496 19422 0 0 0 5098 11 0 0 25 0 1 0 165041732 81027072 19338 4089446400 134512640 135752675 4290285136 18446744073709551615 134611702 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/23072/statm: 19782 19338 144 303 0 19477 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 79128 [startup+102.307 s] /proc/loadavg: 1.98 1.98 1.99 3/179 23076 /proc/meminfo: memFree=29588336/32950928 swapFree=67111528/67111528 [pid=23072] ppid=23070 vsize=144336 CPUtime=102.3 /proc/23072/stat : 23072 (wbo1.4b) R 23070 23072 21193 0 -1 4202496 35690 0 0 0 10211 19 0 0 25 0 1 0 165041732 147800064 35606 4089446400 134512640 135752675 4290285136 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/23072/statm: 36084 35606 144 303 0 35779 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 144336 [startup+162.3 s] /proc/loadavg: 2.04 2.00 2.00 3/179 23077 /proc/meminfo: memFree=29428344/32950928 swapFree=67111528/67111528 [pid=23072] ppid=23070 vsize=194108 CPUtime=162.29 /proc/23072/stat : 23072 (wbo1.4b) R 23070 23072 21193 0 -1 4202496 48125 0 0 0 16203 26 0 0 25 0 1 0 165041732 198766592 48041 4089446400 134512640 135752675 4290285136 18446744073709551615 134611807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/23072/statm: 48527 48041 144 303 0 48222 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 194108 [startup+222.301 s] /proc/loadavg: 2.01 2.00 2.00 3/179 23079 /proc/meminfo: memFree=29217748/32950928 swapFree=67111528/67111528 [pid=23072] ppid=23070 vsize=239780 CPUtime=222.3 /proc/23072/stat : 23072 (wbo1.4b) R 23070 23072 21193 0 -1 4202496 59550 0 0 0 22187 43 0 0 25 0 1 0 165041732 245534720 59466 4089446400 134512640 135752675 4290285136 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/23072/statm: 59945 59466 146 303 0 59640 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 239780 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23080 /proc/meminfo: memFree=28998232/32950928 swapFree=67111528/67111528 [pid=23072] ppid=23070 vsize=316120 CPUtime=282.31 /proc/23072/stat : 23072 (wbo1.4b) R 23070 23072 21193 0 -1 4202496 78569 0 0 0 28167 64 0 0 25 0 1 0 165041732 323706880 78485 4089446400 134512640 135752675 4290285136 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/23072/statm: 79030 78485 146 303 0 78725 0 Current children cumulated CPU time (s) 282.31 Current children cumulated vsize (KiB) 316120 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23082 /proc/meminfo: memFree=28790744/32950928 swapFree=67111528/67111528 [pid=23072] ppid=23070 vsize=387416 CPUtime=342.3 /proc/23072/stat : 23072 (wbo1.4b) R 23070 23072 21193 0 -1 4202496 96325 0 0 0 34149 81 0 0 25 0 1 0 165041732 396713984 96241 4089446400 134512640 135752675 4290285136 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/23072/statm: 96854 96241 146 303 0 96549 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 387416 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23083 /proc/meminfo: memFree=28496196/32950928 swapFree=67111528/67111528 [pid=23072] ppid=23070 vsize=460760 CPUtime=402.31 /proc/23072/stat : 23072 (wbo1.4b) R 23070 23072 21193 0 -1 4202496 114600 0 0 0 40134 97 0 0 25 0 1 0 165041732 471818240 114516 4089446400 134512640 135752675 4290285136 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/23072/statm: 115190 114516 146 303 0 114885 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 460760 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23085 /proc/meminfo: memFree=28239620/32950928 swapFree=67111528/67111528 [pid=23072] ppid=23070 vsize=514860 CPUtime=462.3 /proc/23072/stat : 23072 (wbo1.4b) R 23070 23072 21193 0 -1 4202496 128104 0 0 0 46124 106 0 0 25 0 1 0 165041732 527216640 128020 4089446400 134512640 135752675 4290285136 18446744073709551615 134611807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/23072/statm: 128715 128020 146 303 0 128410 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 514860 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23087 /proc/meminfo: memFree=28056068/32950928 swapFree=67111528/67111528 [pid=23072] ppid=23070 vsize=552828 CPUtime=522.31 /proc/23072/stat : 23072 (wbo1.4b) R 23070 23072 21193 0 -1 4202496 137578 0 0 0 52118 113 0 0 25 0 1 0 165041732 566095872 137494 4089446400 134512640 135752675 4290285136 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/23072/statm: 138207 137494 146 303 0 137902 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 552828 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23088 /proc/meminfo: memFree=27866440/32950928 swapFree=67111528/67111528 [pid=23072] ppid=23070 vsize=581900 CPUtime=582.31 /proc/23072/stat : 23072 (wbo1.4b) R 23070 23072 21193 0 -1 4202496 144816 0 0 0 58113 118 0 0 25 0 1 0 165041732 595865600 144732 4089446400 134512640 135752675 4290285136 18446744073709551615 134611679 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/23072/statm: 145475 144732 146 303 0 145170 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 581900 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23090 /proc/meminfo: memFree=27625720/32950928 swapFree=67111528/67111528 [pid=23072] ppid=23070 vsize=631848 CPUtime=642.32 /proc/23072/stat : 23072 (wbo1.4b) R 23070 23072 21193 0 -1 4202496 157280 0 0 0 64105 127 0 0 25 0 1 0 165041732 647012352 157196 4089446400 134512640 135752675 4290285136 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/23072/statm: 157962 157196 146 303 0 157657 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 631848 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.03 2.01 2.00 3/179 23095 /proc/meminfo: memFree=27094412/32950928 swapFree=67111528/67111528 [pid=23072] ppid=23070 vsize=709192 CPUtime=822.32 /proc/23072/stat : 23072 (wbo1.4b) R 23070 23072 21193 0 -1 4202496 176571 0 0 0 82088 144 0 0 25 0 1 0 165041732 726212608 176487 4089446400 134512640 135752675 4290285136 18446744073709551615 134611807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/23072/statm: 177298 176487 146 303 0 176993 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 709192 [startup+882.301 s] /proc/loadavg: 2.01 2.01 2.00 3/179 23096 /proc/meminfo: memFree=26813768/32950928 swapFree=67111528/67111528 [pid=23072] ppid=23070 vsize=788308 CPUtime=882.32 /proc/23072/stat : 23072 (wbo1.4b) R 23070 23072 21193 0 -1 4202496 196349 0 0 0 88073 159 0 0 25 0 1 0 165041732 807227392 196265 4089446400 134512640 135752675 4290285136 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/23072/statm: 197077 196265 146 303 0 196772 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 788308 [startup+942.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 23217 /proc/meminfo: memFree=30548344/32950928 swapFree=67111528/67111528 [pid=23072] ppid=23070 vsize=887960 CPUtime=942.32 /proc/23072/stat : 23072 (wbo1.4b) R 23070 23072 21193 0 -1 4202496 221225 0 0 0 94051 181 0 0 25 0 1 0 165041732 909271040 221141 4089446400 134512640 135752675 4290285136 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/23072/statm: 221990 221141 146 303 0 221685 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 887960 [startup+1002.3 s] /proc/loadavg: 2.21 2.05 2.01 3/199 23304 /proc/meminfo: memFree=30256208/32950928 swapFree=67111528/67111528 [pid=23072] ppid=23070 vsize=982152 CPUtime=1002.32 /proc/23072/stat : 23072 (wbo1.4b) R 23070 23072 21193 0 -1 4202496 244717 0 0 0 100020 212 0 0 25 0 1 0 165041732 1005723648 244633 4089446400 134512640 135752675 4290285136 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23072/statm: 245538 244633 146 303 0 245233 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 982152 [startup+1062.3 s] /proc/loadavg: 2.08 2.04 2.01 3/179 23406 /proc/meminfo: memFree=30373024/32950928 swapFree=67111528/67111528 [pid=23072] ppid=23070 vsize=1083472 CPUtime=1062.33 /proc/23072/stat : 23072 (wbo1.4b) R 23070 23072 21193 0 -1 4202496 270030 0 0 0 105993 240 0 0 25 0 1 0 165041732 1109475328 269946 4089446400 134512640 135752675 4290285136 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/23072/statm: 270868 269946 146 303 0 270563 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 1083472 [startup+1122.3 s] /proc/loadavg: 2.03 2.03 2.00 3/179 23408 /proc/meminfo: memFree=30295068/32950928 swapFree=67111528/67111528 [pid=23072] ppid=23070 vsize=1162188 CPUtime=1122.33 /proc/23072/stat : 23072 (wbo1.4b) R 23070 23072 21193 0 -1 4202496 289670 0 0 0 111977 256 0 0 25 0 1 0 165041732 1190080512 289586 4089446400 134512640 135752675 4290285136 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/23072/statm: 290547 289586 146 303 0 290242 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 1162188 [startup+1182.3 s] /proc/loadavg: 2.01 2.02 2.00 3/179 23409 /proc/meminfo: memFree=30206620/32950928 swapFree=67111528/67111528 [pid=23072] ppid=23070 vsize=1250480 CPUtime=1182.33 /proc/23072/stat : 23072 (wbo1.4b) R 23070 23072 21193 0 -1 4202496 311713 0 0 0 117960 273 0 0 25 0 1 0 165041732 1280491520 311629 4089446400 134512640 135752675 4290285136 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/23072/statm: 312620 311629 146 303 0 312315 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 1250480 [startup+1242.3 s] /proc/loadavg: 1.97 2.00 1.99 3/179 23438 /proc/meminfo: memFree=30053164/32950928 swapFree=67111528/67111528 [pid=23072] ppid=23070 vsize=1324004 CPUtime=1242.34 /proc/23072/stat : 23072 (wbo1.4b) R 23070 23072 21193 0 -1 4202496 330071 0 0 0 123942 292 0 0 25 0 1 0 165041732 1355780096 329987 4089446400 134512640 135752675 4290285136 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23072/statm: 331001 329987 146 303 0 330696 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 1324004 [startup+1302.3 s] /proc/loadavg: 1.99 2.00 1.99 3/179 23449 /proc/meminfo: memFree=29935004/32950928 swapFree=67111528/67111528 [pid=23072] ppid=23070 vsize=1415616 CPUtime=1302.34 /proc/23072/stat : 23072 (wbo1.4b) R 23070 23072 21193 0 -1 4202496 352956 0 0 0 129913 321 0 0 25 0 1 0 165041732 1449590784 352872 4089446400 134512640 135752675 4290285136 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23072/statm: 353904 352872 146 303 0 353599 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 1415616 [startup+1362.3 s] /proc/loadavg: 2.03 2.01 2.00 3/179 23450 /proc/meminfo: memFree=29851856/32950928 swapFree=67111528/67111528 [pid=23072] ppid=23070 vsize=1495224 CPUtime=1362.34 /proc/23072/stat : 23072 (wbo1.4b) R 23070 23072 21193 0 -1 4202496 372837 0 0 0 135885 349 0 0 25 0 1 0 165041732 1531109376 372753 4089446400 134512640 135752675 4290285136 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23072/statm: 373806 372753 146 303 0 373501 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 1495224 [startup+1422.31 s] /proc/loadavg: 2.01 2.01 2.00 3/197 23524 /proc/meminfo: memFree=29831796/32950928 swapFree=67111528/67111528 [pid=23072] ppid=23070 vsize=1599392 CPUtime=1422.35 /proc/23072/stat : 23072 (wbo1.4b) R 23070 23072 21193 0 -1 4202496 398834 0 0 0 141853 382 0 0 25 0 1 0 165041732 1637777408 398750 4089446400 134512640 135752675 4290285136 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/23072/statm: 399848 398750 146 303 0 399543 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 1599392 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 23553 /proc/meminfo: memFree=29777868/32950928 swapFree=67111528/67111528 [pid=23072] ppid=23070 vsize=1676392 CPUtime=1482.34 /proc/23072/stat : 23072 (wbo1.4b) R 23070 23072 21193 0 -1 4202496 418050 0 0 0 147835 399 0 0 25 0 1 0 165041732 1716625408 417966 4089446400 134512640 135752675 4290285136 18446744073709551615 134611744 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/23072/statm: 419098 417966 146 303 0 418793 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 1676392 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 23700 /proc/meminfo: memFree=29498692/32950928 swapFree=67111528/67111528 [pid=23072] ppid=23070 vsize=1764664 CPUtime=1542.35 /proc/23072/stat : 23072 (wbo1.4b) R 23070 23072 21193 0 -1 4202496 440106 0 0 0 153810 425 0 0 25 0 1 0 165041732 1807015936 440022 4089446400 134512640 135752675 4290285136 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/23072/statm: 441166 440022 146 303 0 440861 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 1764664 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 23701 /proc/meminfo: memFree=29390136/32950928 swapFree=67111528/67111528 [pid=23072] ppid=23070 vsize=1851828 CPUtime=1602.35 /proc/23072/stat : 23072 (wbo1.4b) R 23070 23072 21193 0 -1 4202496 461884 0 0 0 159779 456 0 0 25 0 1 0 165041732 1896271872 461800 4089446400 134512640 135752675 4290285136 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/23072/statm: 462957 461800 146 303 0 462652 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 1851828 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 23703 /proc/meminfo: memFree=29344708/32950928 swapFree=67111528/67111528 [pid=23072] ppid=23070 vsize=1873436 CPUtime=1662.34 /proc/23072/stat : 23072 (wbo1.4b) R 23070 23072 21193 0 -1 4202496 467258 0 0 0 165773 461 0 0 25 0 1 0 165041732 1918398464 467174 4089446400 134512640 135752675 4290285136 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/23072/statm: 468359 467174 146 303 0 468054 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 1873436 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 23705 /proc/meminfo: memFree=29289136/32950928 swapFree=67111528/67111528 [pid=23072] ppid=23070 vsize=1918896 CPUtime=1722.35 /proc/23072/stat : 23072 (wbo1.4b) R 23070 23072 21193 0 -1 4202496 478605 0 0 0 171764 471 0 0 25 0 1 0 165041732 1964949504 478521 4089446400 134512640 135752675 4290285136 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/23072/statm: 479724 478521 146 303 0 479419 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 1918896 [startup+1782.3 s] /proc/loadavg: 2.04 2.01 2.00 3/197 23706 /proc/meminfo: memFree=29227476/32950928 swapFree=67111528/67111528 [pid=23072] ppid=23070 vsize=1969148 CPUtime=1782.35 /proc/23072/stat : 23072 (wbo1.4b) R 23070 23072 21193 0 -1 4202496 491142 0 0 0 177753 482 0 0 25 0 1 0 165041732 2016407552 491058 4089446400 134512640 135752675 4290285136 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/23072/statm: 492287 491058 146 303 0 491982 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 1969148 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.02 2.01 2.00 3/197 23707 /proc/meminfo: memFree=29207136/32950928 swapFree=67111528/67111528 [pid=23072] ppid=23070 vsize=1986440 CPUtime=1800.06 /proc/23072/stat : 23072 (wbo1.4b) R 23070 23072 21193 0 -1 4202496 495476 0 0 0 179519 487 0 0 25 0 1 0 165041732 2034114560 495392 4089446400 134512640 135752675 4290285136 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/23072/statm: 496610 495392 146 303 0 496305 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1986440 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) Real time (s): 1800.07 CPU time (s): 1800.13 CPU user time (s): 1795.19 CPU system time (s): 4.93925 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 1986440 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.19 system time used= 4.93925 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 495476 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= 2 involuntary context switches= 3213 runsolver used 2.84257 second user time and 5.59615 second system time The end
Begin job on node114 at 2010-06-30 12:39:46 IDJOB=2690416 IDBENCH=78736 IDSOLVER=1201 FILE ID=node114/2690416-1277894386 PBS_JOBID= 11197126 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-21-20--soft-33-100-0.wbo COMMAND LINE= wbo1.4b -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690416-1277894386/watcher-2690416-1277894386 -o /tmp/evaluation-result-2690416-1277894386/solver-2690416-1277894386 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690416-1277894386.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c9bbca9920220172e28f0008e519bfaf RANDOM SEED=59954134 node114.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.819 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.63 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.819 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.819 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.819 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.819 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.819 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.819 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.819 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5447.01 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30001244 kB Buffers: 177748 kB Cached: 1106988 kB SwapCached: 0 kB Active: 1922008 kB Inactive: 883240 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30001244 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2740 kB Writeback: 0 kB AnonPages: 1521140 kB Mapped: 15076 kB Slab: 77868 kB PageTables: 8040 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1662564 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74208 MiB End job on node114 at 2010-06-30 13:09:48