Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.11 | 1800.59 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_001_area_delay.opb |
MD5SUM | f1fcceba4d2ff597685b8a775178b9b4 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 28 |
Best CPU time to get the best result obtained on this benchmark | 31.9671 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 33 |
Optimality of the best value was proved | NO |
Number of variables | 11321 |
Total number of constraints | 36630 |
Number of constraints which are clauses | 36630 |
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 | 1 |
Maximum length of a constraint | 127 |
Number of terms in the objective function | 5515 |
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 | 5515 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 5515 |
Number of bits of the biggest sum of numbers | 13 |
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 - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2655768-1276630251.opb. 0.00/0.00 c Instance file HOME/instance-2655768-1276630251.opb 0.00/0.00 c File size is 1088812 bytes. 0.09/0.16 c Highest Coefficient sum: 128 0.09/0.16 c ============================[ Problem Statistics ]============================= 0.09/0.16 c | | 0.09/0.16 c | Parsing time: 0.16 s | 0.09/0.16 c | Number Variables: 11321 | 0.09/0.16 c | Number Clauses: 36630 | 0.09/0.16 c | Number Cardinality: 0 | 0.09/0.16 c | Number PB Constraints: 0 | 0.69/0.70 c ============================[ Search Statistics ]============================== 0.69/0.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.70 c =============================================================================== 0.69/0.70 c | 0 | 9195 36682 86797 | 12210 0 nan | 0.000 % | 0.69/0.72 c =============================================================================== 0.69/0.72 c New solution: 39 0.69/0.72 o 39 0.69/0.72 c Elapsed CPU time: 0.703892 s Remaining CPU time: 179.296 s 0.69/0.72 c =============================================================================== 0.69/0.72 c | 30 | 9195 36683 92312 | 12227 30 17 | 0.000 % | 0.69/0.74 c =============================================================================== 0.69/0.74 c New solution: 37 0.69/0.74 o 37 0.69/0.74 c Elapsed CPU time: 0.714891 s Remaining CPU time: 179.285 s 0.69/0.74 c =============================================================================== 0.69/0.74 c | 36 | 9195 36684 97827 | 12228 36 21 | 0.000 % | 0.79/0.83 c | 138 | 9195 36684 97827 | 13450 138 61 | 18.779 % | 0.89/0.98 c | 288 | 9195 36684 97827 | 14795 288 54 | 18.779 % | 1.10/1.16 c | 513 | 9195 36684 97827 | 16275 513 51 | 18.780 % | 1.19/1.23 c =============================================================================== 1.19/1.23 c New solution: 36 1.19/1.23 o 36 1.19/1.23 c Elapsed CPU time: 1.18982 s Remaining CPU time: 178.81 s 1.19/1.23 c =============================================================================== 1.19/1.23 c | 589 | 9195 36685 103342 | 12228 589 49 | 18.780 % | 1.29/1.34 c | 689 | 9195 36685 103342 | 13451 689 48 | 18.780 % | 1.49/1.55 c | 839 | 9195 36685 103342 | 14796 839 50 | 18.780 % | 1.69/1.76 c | 1065 | 9195 36685 103342 | 16275 1065 49 | 18.779 % | 1.89/1.93 c =============================================================================== 1.89/1.93 c New solution: 34 1.89/1.93 o 34 1.89/1.93 c Elapsed CPU time: 1.85672 s Remaining CPU time: 178.143 s 1.89/1.93 c =============================================================================== 1.89/1.93 c | 1235 | 9195 36686 108857 | 12228 1235 48 | 18.779 % | 1.99/2.02 c | 1336 | 9195 36686 108857 | 13451 1336 46 | 18.779 % | 2.10/2.19 c | 1486 | 9195 36686 108857 | 14796 1486 46 | 18.779 % | 2.39/2.43 c | 1712 | 9195 36686 108857 | 16276 1712 46 | 18.780 % | 2.79/2.80 c | 2049 | 9195 36686 108857 | 17903 2049 48 | 18.779 % | 3.30/3.34 c | 2555 | 9195 36686 108857 | 19694 2555 50 | 18.779 % | 4.09/4.19 c | 3314 | 9195 36686 108857 | 21663 3314 59 | 18.780 % | 5.69/5.72 c | 4454 | 9195 36686 108857 | 23830 4454 60 | 18.779 % | 7.60/7.68 c | 6162 | 9195 36686 108857 | 26213 6162 65 | 18.779 % | 10.49/10.54 c | 8725 | 9195 36686 108857 | 28834 8725 73 | 18.779 % | 14.59/14.65 c | 12570 | 9195 36686 108857 | 31718 12570 74 | 18.779 % | 21.49/21.56 c | 18337 | 9195 36686 108857 | 34889 18337 75 | 18.779 % | 29.49/29.58 c | 26986 | 9195 36686 108857 | 38378 26986 84 | 18.780 % | 42.28/42.36 c | 39960 | 9195 36686 108857 | 42216 39960 88 | 18.779 % | 67.97/68.01 c | 59422 | 9195 36686 108857 | 46438 23729 93 | 18.779 % | 106.57/106.70 c | 88614 | 9195 36686 108857 | 51082 13313 77 | 18.779 % | 157.26/157.31 c | 132403 | 9195 36686 108857 | 56190 13411 147 | 18.780 % | 181.04/181.10 c There are 2126 assigned variables. 1037 in cost function. 182.74/182.83 c core #1 182.74/182.83 c core #2 182.74/182.83 c core #3 182.74/182.83 c core #4 182.74/182.83 c core #5 182.74/182.83 c core #6 182.74/182.83 c core #7 182.74/182.83 c core #8 182.74/182.83 c core #9 182.74/182.83 c core #10 182.74/182.83 c core #11 182.74/182.83 c core #12 182.74/182.83 c core #13 182.74/182.83 c core #14 182.74/182.83 c core #15 182.74/182.83 c core #16 182.74/182.83 c core #17 182.74/182.83 c core #18 182.74/182.83 c core #19 182.74/182.83 c core #20 182.74/182.83 c core #21 182.74/182.83 c core #22 182.74/182.83 c core #23 182.74/182.83 c ============================[ Search Statistics ]============================== 182.74/182.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.74/182.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.74/182.83 c =============================================================================== 182.74/182.83 c | 0 | 2292 36313 59054 | 12104 0 nan | 0.000 % | 182.74/182.86 c =============================================================================== 182.84/182.93 c core #24 182.84/182.93 c ============================[ Search Statistics ]============================== 182.84/182.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.84/182.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.84/182.93 c =============================================================================== 182.84/182.93 c | 0 | 3128 36368 61633 | 12122 0 nan | 0.000 % | 182.94/183.02 c | 102 | 3128 36368 61633 | 13334 102 55 | 74.876 % | 182.94/183.06 c =============================================================================== 183.04/183.14 c core #25 183.04/183.14 c ============================[ Search Statistics ]============================== 183.04/183.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.04/183.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.04/183.14 c =============================================================================== 183.04/183.14 c | 0 | 3711 36607 63358 | 12202 0 nan | 0.000 % | 183.14/183.20 c | 100 | 3711 36607 63358 | 13422 100 86 | 71.452 % | 183.14/183.28 c | 250 | 3711 36607 63358 | 14764 250 74 | 71.452 % | 183.24/183.37 c | 475 | 3711 36607 63358 | 16241 475 76 | 71.452 % | 183.45/183.54 c | 813 | 3711 36607 63358 | 17865 813 66 | 71.452 % | 183.74/183.80 c | 1319 | 3711 36607 63358 | 19651 1319 70 | 71.452 % | 184.04/184.17 c | 2078 | 3711 36607 63358 | 21617 2078 72 | 71.452 % | 184.75/184.82 c | 3217 | 3711 36607 63358 | 23778 3217 83 | 71.452 % | 185.75/185.85 c | 4925 | 3711 36607 63358 | 26156 4925 85 | 71.452 % | 186.74/186.82 c =============================================================================== 186.85/186.99 c core #26 186.85/186.99 c ============================[ Search Statistics ]============================== 186.85/186.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.85/186.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.85/186.99 c =============================================================================== 186.85/186.99 c | 0 | 4927 37159 66967 | 12386 0 nan | 0.000 % | 186.95/187.07 c | 109 | 4927 37159 66967 | 13624 109 144 | 65.224 % | 187.04/187.15 c | 259 | 4927 37159 66967 | 14987 259 97 | 65.224 % | 187.24/187.35 c | 486 | 4927 37159 66967 | 16486 486 94 | 65.224 % | 187.54/187.68 c | 823 | 4927 37159 66967 | 18134 823 103 | 65.224 % | 187.84/187.95 c | 1330 | 4927 37159 66967 | 19948 1330 78 | 65.224 % | 188.44/188.52 c | 2089 | 4927 37159 66967 | 21943 2089 81 | 65.224 % | 188.94/189.04 c | 3229 | 4927 37159 66967 | 24137 3229 77 | 65.224 % | 190.15/190.27 c | 4937 | 4927 37159 66967 | 26551 4937 84 | 65.224 % | 192.93/193.02 c | 7502 | 4927 37159 66967 | 29206 7502 98 | 65.224 % | 197.04/197.17 c | 11346 | 4927 37159 66967 | 32126 11346 119 | 65.224 % | 201.73/201.87 c | 17112 | 4927 37159 66967 | 35339 17112 121 | 65.225 % | 211.33/211.47 c | 25762 | 4927 37159 66967 | 38873 25762 132 | 65.225 % | 229.33/229.44 c | 38737 | 4927 37159 66967 | 42760 38737 142 | 65.224 % | 270.61/270.76 c | 58198 | 4927 37159 66967 | 47037 20295 187 | 65.224 % | 314.00/314.17 c | 87397 | 4927 37159 66967 | 51740 49494 170 | 65.224 % | 397.88/398.08 c | 131186 | 4926 37159 66967 | 56914 29299 136 | 65.232 % | 424.17/424.38 c =============================================================================== 427.18/427.34 c core #27 427.18/427.34 c ============================[ Search Statistics ]============================== 427.18/427.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 427.18/427.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 427.18/427.34 c =============================================================================== 427.18/427.34 c | 0 | 6426 37777 71361 | 12592 0 nan | 0.000 % | 427.28/427.44 c | 100 | 6426 37777 71361 | 13851 100 182 | 58.742 % | 427.37/427.54 c | 251 | 6426 37777 71361 | 15236 251 123 | 58.742 % | 427.48/427.67 c | 477 | 6426 37777 71361 | 16760 477 148 | 58.742 % | 427.88/428.01 c | 815 | 6426 37777 71361 | 18436 815 150 | 58.742 % | 428.28/428.49 c | 1322 | 6426 37777 71361 | 20280 1322 166 | 58.742 % | 428.89/429.01 c | 2081 | 6426 37777 71361 | 22308 2081 159 | 58.742 % | 429.57/429.73 c | 3220 | 6426 37777 71361 | 24538 3220 126 | 58.742 % | 430.58/430.72 c | 4928 | 6426 37777 71361 | 26992 4928 105 | 58.742 % | 431.87/432.01 c | 7490 | 6426 37777 71361 | 29692 7490 87 | 58.742 % | 436.17/436.35 c | 11334 | 6426 37777 71361 | 32661 11334 107 | 58.742 % | 444.28/444.49 c | 17102 | 6426 37777 71361 | 35927 17102 155 | 58.742 % | 453.87/454.01 c | 25752 | 6426 37777 71361 | 39520 25752 148 | 58.742 % | 467.56/467.77 c | 38726 | 6426 37777 71361 | 43472 38726 139 | 58.742 % | 496.55/496.75 c | 58188 | 6426 37777 71361 | 47819 17790 155 | 58.742 % | 534.95/535.16 c | 87381 | 6426 37777 71361 | 52601 46983 157 | 58.742 % | 600.03/600.25 c | 131170 | 6426 37777 71361 | 57861 42102 131 | 58.742 % | 724.80/725.01 c | 196856 | 6426 37777 71361 | 63647 53650 271 | 58.742 % | 890.66/890.90 c | 295384 | 6426 37777 71361 | 70012 34366 173 | 58.742 % | 1127.89/1128.26 c | 443175 | 6426 37777 71361 | 77013 51746 178 | 58.742 % | 1528.38/1528.87 c | 664858 | 6426 37777 71361 | 84714 57399 218 | 58.742 % |
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-2655768-1276630251/watcher-2655768-1276630251 -o /tmp/evaluation-result-2655768-1276630251/solver-2655768-1276630251 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655768-1276630251.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.98 0.97 0.99 3/106 5453 /proc/meminfo: memFree=1645796/2059040 swapFree=4140048/4192956 [pid=5453] ppid=5451 vsize=4224 CPUtime=0 /proc/5453/stat : 5453 (wbo1.4b) R 5451 5453 5397 0 -1 4202496 411 0 0 0 0 0 0 0 16 0 1 0 38628830 4325376 329 1992294400 134512640 135751879 4294937360 18446744073709551615 134613782 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/5453/statm: 1056 330 139 303 0 485 0 [startup+0.0763111 s] /proc/loadavg: 0.98 0.97 0.99 3/106 5453 /proc/meminfo: memFree=1645796/2059040 swapFree=4140048/4192956 [pid=5453] ppid=5451 vsize=6116 CPUtime=0.07 /proc/5453/stat : 5453 (wbo1.4b) R 5451 5453 5397 0 -1 4202496 974 0 0 0 7 0 0 0 16 0 1 0 38628830 6262784 892 1992294400 134512640 135751879 4294937360 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/5453/statm: 1529 892 248 303 0 958 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 6116 [startup+0.101314 s] /proc/loadavg: 0.98 0.97 0.99 3/106 5453 /proc/meminfo: memFree=1645796/2059040 swapFree=4140048/4192956 [pid=5453] ppid=5451 vsize=6476 CPUtime=0.09 /proc/5453/stat : 5453 (wbo1.4b) R 5451 5453 5397 0 -1 4202496 1092 0 0 0 9 0 0 0 17 0 1 0 38628830 6631424 1010 1992294400 134512640 135751879 4294937360 18446744073709551615 135192384 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/5453/statm: 1619 1010 289 303 0 1048 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6476 [startup+0.301336 s] /proc/loadavg: 0.98 0.97 0.99 3/106 5453 /proc/meminfo: memFree=1645796/2059040 swapFree=4140048/4192956 [pid=5453] ppid=5451 vsize=9960 CPUtime=0.29 /proc/5453/stat : 5453 (wbo1.4b) R 5451 5453 5397 0 -1 4202496 2358 0 0 0 29 0 0 0 17 0 1 0 38628830 10199040 1978 1992294400 134512640 135751879 4294937360 18446744073709551615 134587641 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/5453/statm: 2490 1978 145 303 0 2185 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9960 [startup+0.701383 s] /proc/loadavg: 0.98 0.97 0.99 3/106 5453 /proc/meminfo: memFree=1645796/2059040 swapFree=4140048/4192956 [pid=5453] ppid=5451 vsize=9960 CPUtime=0.69 /proc/5453/stat : 5453 (wbo1.4b) R 5451 5453 5397 0 -1 4202496 2381 0 0 0 68 1 0 0 17 0 1 0 38628830 10199040 2001 1992294400 134512640 135751879 4294937360 18446744073709551615 135200167 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/5453/statm: 2490 2001 145 303 0 2185 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9960 [startup+1.50148 s] /proc/loadavg: 0.98 0.97 0.99 2/107 5454 /proc/meminfo: memFree=1638224/2059040 swapFree=4140048/4192956 [pid=5453] ppid=5451 vsize=9960 CPUtime=1.49 /proc/5453/stat : 5453 (wbo1.4b) R 5451 5453 5397 0 -1 4202496 2383 0 0 0 144 5 0 0 18 0 1 0 38628830 10199040 2003 1992294400 134512640 135751879 4294937360 18446744073709551615 134606367 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/5453/statm: 2490 2003 147 303 0 2185 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9960 [startup+3.10166 s] /proc/loadavg: 0.98 0.97 0.99 2/107 5454 /proc/meminfo: memFree=1637976/2059040 swapFree=4140048/4192956 [pid=5453] ppid=5451 vsize=9960 CPUtime=3.09 /proc/5453/stat : 5453 (wbo1.4b) R 5451 5453 5397 0 -1 4202496 2383 0 0 0 299 10 0 0 21 0 1 0 38628830 10199040 2003 1992294400 134512640 135751879 4294937360 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/5453/statm: 2490 2003 147 303 0 2185 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9960 [startup+6.30103 s] /proc/loadavg: 0.98 0.97 0.99 2/107 5454 /proc/meminfo: memFree=1637852/2059040 swapFree=4140048/4192956 [pid=5453] ppid=5451 vsize=9960 CPUtime=6.29 /proc/5453/stat : 5453 (wbo1.4b) R 5451 5453 5397 0 -1 4202496 2383 0 0 0 618 11 0 0 25 0 1 0 38628830 10199040 2003 1992294400 134512640 135751879 4294937360 18446744073709551615 134606320 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/5453/statm: 2490 2003 147 303 0 2185 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9960 [startup+12.7018 s] /proc/loadavg: 0.98 0.97 0.99 2/107 5454 /proc/meminfo: memFree=1636364/2059040 swapFree=4140048/4192956 [pid=5453] ppid=5451 vsize=11692 CPUtime=12.69 /proc/5453/stat : 5453 (wbo1.4b) R 5451 5453 5397 0 -1 4202496 2813 0 0 0 1254 15 0 0 25 0 1 0 38628830 11972608 2433 1992294400 134512640 135751879 4294937360 18446744073709551615 134611273 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/5453/statm: 2923 2433 147 303 0 2618 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 11692 [startup+25.5012 s] /proc/loadavg: 0.99 0.97 0.99 2/107 5456 /proc/meminfo: memFree=1630660/2059040 swapFree=4140048/4192956 [pid=5453] ppid=5451 vsize=17296 CPUtime=25.48 /proc/5453/stat : 5453 (wbo1.4b) R 5451 5453 5397 0 -1 4202496 4209 0 0 0 2527 21 0 0 25 0 1 0 38628830 17711104 3829 1992294400 134512640 135751879 4294937360 18446744073709551615 134611240 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/5453/statm: 4324 3829 147 303 0 4019 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 17296 [startup+51.1012 s] /proc/loadavg: 1.15 1.00 1.00 2/107 5456 /proc/meminfo: memFree=1618632/2059040 swapFree=4140048/4192956 [pid=5453] ppid=5451 vsize=29580 CPUtime=51.08 /proc/5453/stat : 5453 (wbo1.4b) R 5451 5453 5397 0 -1 4202496 7258 0 0 0 5072 36 0 0 25 0 1 0 38628830 30289920 6878 1992294400 134512640 135751879 4294937360 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/5453/statm: 7395 6878 147 303 0 7090 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 29580 [startup+102.308 s] /proc/loadavg: 1.14 1.02 1.01 2/107 5458 /proc/meminfo: memFree=1600280/2059040 swapFree=4140048/4192956 [pid=5453] ppid=5451 vsize=47416 CPUtime=102.27 /proc/5453/stat : 5453 (wbo1.4b) R 5451 5453 5397 0 -1 4202496 11735 0 0 0 10165 62 0 0 25 0 1 0 38628830 48553984 11355 1992294400 134512640 135751879 4294937360 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/5453/statm: 11854 11355 148 303 0 11549 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 47416 [startup+162.301 s] /proc/loadavg: 1.12 1.03 1.00 2/107 5458 /proc/meminfo: memFree=1569528/2059040 swapFree=4140048/4192956 [pid=5453] ppid=5451 vsize=78300 CPUtime=162.25 /proc/5453/stat : 5453 (wbo1.4b) R 5451 5453 5397 0 -1 4202496 19433 0 0 0 16128 97 0 0 25 0 1 0 38628830 80179200 19053 1992294400 134512640 135751879 4294937360 18446744073709551615 134610762 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/5453/statm: 19575 19053 148 303 0 19270 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 78300 [startup+222.301 s] /proc/loadavg: 1.11 1.04 1.00 2/107 5460 /proc/meminfo: memFree=1559980/2059040 swapFree=4140048/4192956 [pid=5453] ppid=5451 vsize=87348 CPUtime=222.23 /proc/5453/stat : 5453 (wbo1.4b) R 5451 5453 5397 0 -1 4202496 22156 0 0 0 22101 122 0 0 25 0 1 0 38628830 89444352 21381 1992294400 134512640 135751879 4294937360 18446744073709551615 134616778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/5453/statm: 21837 21381 151 303 0 21532 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 87348 [startup+282.301 s] /proc/loadavg: 1.10 1.04 1.00 2/107 5462 /proc/meminfo: memFree=1532452/2059040 swapFree=4140048/4192956 [pid=5453] ppid=5451 vsize=115284 CPUtime=282.21 /proc/5453/stat : 5453 (wbo1.4b) R 5451 5453 5397 0 -1 4202496 29121 0 0 0 28077 144 0 0 25 0 1 0 38628830 118050816 28346 1992294400 134512640 135751879 4294937360 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/5453/statm: 28821 28346 151 303 0 28516 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 115284 [startup+342.301 s] /proc/loadavg: 1.09 1.05 1.00 2/107 5464 /proc/meminfo: memFree=1502568/2059040 swapFree=4140048/4192956 [pid=5453] ppid=5451 vsize=144764 CPUtime=342.19 /proc/5453/stat : 5453 (wbo1.4b) R 5451 5453 5397 0 -1 4202496 36500 0 0 0 34051 168 0 0 25 0 1 0 38628830 148238336 35725 1992294400 134512640 135751879 4294937360 18446744073709551615 134642046 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/5453/statm: 36191 35725 151 303 0 35886 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 144764 [startup+402.301 s] /proc/loadavg: 1.08 1.05 1.00 2/107 5466 /proc/meminfo: memFree=1477272/2059040 swapFree=4140048/4192956 [pid=5453] ppid=5451 vsize=170332 CPUtime=402.19 /proc/5453/stat : 5453 (wbo1.4b) R 5451 5453 5397 0 -1 4202496 42876 0 0 0 40026 193 0 0 25 0 1 0 38628830 174419968 42101 1992294400 134512640 135751879 4294937360 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/5453/statm: 42583 42101 151 303 0 42278 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 170332 [startup+462.301 s] /proc/loadavg: 1.08 1.06 1.00 2/107 5466 /proc/meminfo: memFree=1453340/2059040 swapFree=4140048/4192956 [pid=5453] ppid=5451 vsize=193740 CPUtime=462.16 /proc/5453/stat : 5453 (wbo1.4b) R 5451 5453 5397 0 -1 4202496 48840 0 0 0 45998 218 0 0 25 0 1 0 38628830 198389760 47922 1992294400 134512640 135751879 4294937360 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/5453/statm: 48435 47922 151 303 0 48130 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 193740 [startup+522.302 s] /proc/loadavg: 1.07 1.06 1.00 2/107 5468 /proc/meminfo: memFree=1427672/2059040 swapFree=4140048/4192956 [pid=5453] ppid=5451 vsize=220068 CPUtime=522.15 /proc/5453/stat : 5453 (wbo1.4b) R 5451 5453 5397 0 -1 4202496 55395 0 0 0 51974 241 0 0 25 0 1 0 38628830 225349632 54477 1992294400 134512640 135751879 4294937360 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/5453/statm: 55017 54477 151 303 0 54712 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 220068 [startup+582.302 s] /proc/loadavg: 1.07 1.06 1.00 2/107 5470 /proc/meminfo: memFree=1402500/2059040 swapFree=4140048/4192956 [pid=5453] ppid=5451 vsize=244900 CPUtime=582.14 /proc/5453/stat : 5453 (wbo1.4b) R 5451 5453 5397 0 -1 4202496 61580 0 0 0 57950 264 0 0 25 0 1 0 38628830 250777600 60662 1992294400 134512640 135751879 4294937360 18446744073709551615 134606359 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/5453/statm: 61225 60662 151 303 0 60920 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 244900 [startup+642.301 s] /proc/loadavg: 1.06 1.06 1.00 2/107 5472 /proc/meminfo: memFree=1370632/2059040 swapFree=4140048/4192956 [pid=5453] ppid=5451 vsize=276548 CPUtime=642.13 /proc/5453/stat : 5453 (wbo1.4b) R 5451 5453 5397 0 -1 4202496 69475 0 0 0 63923 290 0 0 25 0 1 0 38628830 283185152 68557 1992294400 134512640 135751879 4294937360 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/5453/statm: 69137 68557 151 303 0 68832 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 276548 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.11 1.09 1.01 2/107 5478 /proc/meminfo: memFree=1233984/2059040 swapFree=4140048/4192956 [pid=5453] ppid=5451 vsize=413040 CPUtime=882.05 /proc/5453/stat : 5453 (wbo1.4b) R 5451 5453 5397 0 -1 4202496 103564 0 0 0 87816 389 0 0 25 0 1 0 38628830 422952960 102646 1992294400 134512640 135751879 4294937360 18446744073709551615 134610833 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/5453/statm: 103260 102646 151 303 0 102955 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 413040 [startup+942.301 s] /proc/loadavg: 1.10 1.08 1.01 2/107 5480 /proc/meminfo: memFree=1204844/2059040 swapFree=4140048/4192956 [pid=5453] ppid=5451 vsize=442136 CPUtime=942.04 /proc/5453/stat : 5453 (wbo1.4b) R 5451 5453 5397 0 -1 4202496 110832 0 0 0 93791 413 0 0 25 0 1 0 38628830 452747264 109914 1992294400 134512640 135751879 4294937360 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/5453/statm: 110534 109914 151 303 0 110229 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 442136 [startup+1002.3 s] /proc/loadavg: 1.09 1.08 1.01 2/107 5482 /proc/meminfo: memFree=1175580/2059040 swapFree=4140048/4192956 [pid=5453] ppid=5451 vsize=471200 CPUtime=1002.02 /proc/5453/stat : 5453 (wbo1.4b) R 5451 5453 5397 0 -1 4202496 118108 0 0 0 99768 434 0 0 25 0 1 0 38628830 482508800 117190 1992294400 134512640 135751879 4294937360 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/5453/statm: 117800 117190 151 303 0 117495 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 471200 [startup+1062.3 s] /proc/loadavg: 1.14 1.10 1.01 2/107 5482 /proc/meminfo: memFree=1151648/2059040 swapFree=4140048/4192956 [pid=5453] ppid=5451 vsize=495396 CPUtime=1062 /proc/5453/stat : 5453 (wbo1.4b) R 5451 5453 5397 0 -1 4202496 124142 0 0 0 105744 456 0 0 25 0 1 0 38628830 507285504 123224 1992294400 134512640 135751879 4294937360 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/5453/statm: 123849 123224 151 303 0 123544 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 495396 [startup+1122.3 s] /proc/loadavg: 1.10 1.09 1.01 2/107 5484 /proc/meminfo: memFree=1118788/2059040 swapFree=4140048/4192956 [pid=5453] ppid=5451 vsize=528156 CPUtime=1121.99 /proc/5453/stat : 5453 (wbo1.4b) R 5451 5453 5397 0 -1 4202496 132304 0 0 0 111718 481 0 0 25 0 1 0 38628830 540831744 131386 1992294400 134512640 135751879 4294937360 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/5453/statm: 132039 131386 151 303 0 131734 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 528156 [startup+1182.3 s] /proc/loadavg: 1.08 1.09 1.01 3/107 5486 /proc/meminfo: memFree=1096964/2059040 swapFree=4140048/4192956 [pid=5453] ppid=5451 vsize=550096 CPUtime=1181.97 /proc/5453/stat : 5453 (wbo1.4b) R 5451 5453 5397 0 -1 4202496 137816 0 0 0 117693 504 0 0 25 0 1 0 38628830 563298304 136898 1992294400 134512640 135751879 4294937360 18446744073709551615 134616843 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/5453/statm: 137524 136898 151 303 0 137219 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 550096 [startup+1242.3 s] /proc/loadavg: 1.07 1.08 1.01 2/107 5488 /proc/meminfo: memFree=1063484/2059040 swapFree=4140048/4192956 [pid=5453] ppid=5451 vsize=583004 CPUtime=1241.96 /proc/5453/stat : 5453 (wbo1.4b) R 5451 5453 5397 0 -1 4202496 146042 0 0 0 123668 528 0 0 25 0 1 0 38628830 596996096 145124 1992294400 134512640 135751879 4294937360 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/5453/statm: 145751 145124 151 303 0 145446 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 583004 [startup+1302.3 s] /proc/loadavg: 1.06 1.08 1.01 2/107 5490 /proc/meminfo: memFree=1032360/2059040 swapFree=4140048/4192956 [pid=5453] ppid=5451 vsize=613840 CPUtime=1301.95 /proc/5453/stat : 5453 (wbo1.4b) R 5451 5453 5397 0 -1 4202496 153746 0 0 0 129646 549 0 0 25 0 1 0 38628830 628572160 152828 1992294400 134512640 135751879 4294937360 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/5453/statm: 153460 152828 151 303 0 153155 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 613840 [startup+1362.3 s] /proc/loadavg: 1.06 1.08 1.01 2/107 5490 /proc/meminfo: memFree=1001112/2059040 swapFree=4140048/4192956 [pid=5453] ppid=5451 vsize=645540 CPUtime=1361.93 /proc/5453/stat : 5453 (wbo1.4b) R 5451 5453 5397 0 -1 4202496 161637 0 0 0 135620 573 0 0 25 0 1 0 38628830 661032960 160719 1992294400 134512640 135751879 4294937360 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/5453/statm: 161385 160719 151 303 0 161080 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 645540 [startup+1422.31 s] /proc/loadavg: 1.13 1.09 1.02 2/107 5492 /proc/meminfo: memFree=962548/2059040 swapFree=4140048/4192956 [pid=5453] ppid=5451 vsize=683692 CPUtime=1421.92 /proc/5453/stat : 5453 (wbo1.4b) R 5451 5453 5397 0 -1 4202496 171195 0 0 0 141591 601 0 0 25 0 1 0 38628830 700100608 170277 1992294400 134512640 135751879 4294937360 18446744073709551615 134616526 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/5453/statm: 170923 170277 151 303 0 170618 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 683692 [startup+1482.3 s] /proc/loadavg: 1.12 1.09 1.02 2/107 5494 /proc/meminfo: memFree=929068/2059040 swapFree=4140048/4192956 [pid=5453] ppid=5451 vsize=717620 CPUtime=1481.89 /proc/5453/stat : 5453 (wbo1.4b) R 5451 5453 5397 0 -1 4202496 179681 0 0 0 147565 624 0 0 25 0 1 0 38628830 734842880 178763 1992294400 134512640 135751879 4294937360 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/5453/statm: 179405 178763 151 303 0 179100 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 717620 [startup+1542.3 s] /proc/loadavg: 1.11 1.09 1.02 2/107 5496 /proc/meminfo: memFree=902532/2059040 swapFree=4140048/4192956 [pid=5453] ppid=5451 vsize=743508 CPUtime=1541.88 /proc/5453/stat : 5453 (wbo1.4b) R 5451 5453 5397 0 -1 4202496 186150 0 0 0 153540 648 0 0 25 0 1 0 38628830 761352192 185232 1992294400 134512640 135751879 4294937360 18446744073709551615 134616273 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/5453/statm: 185877 185232 151 303 0 185572 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 743508 [startup+1602.3 s] /proc/loadavg: 1.10 1.08 1.01 2/107 5498 /proc/meminfo: memFree=880460/2059040 swapFree=4140048/4192956 [pid=5453] ppid=5451 vsize=766100 CPUtime=1601.86 /proc/5453/stat : 5453 (wbo1.4b) R 5451 5453 5397 0 -1 4202496 191775 0 0 0 159515 671 0 0 25 0 1 0 38628830 784486400 190857 1992294400 134512640 135751879 4294937360 18446744073709551615 134606393 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/5453/statm: 191525 190857 151 303 0 191220 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 766100 [startup+1662.3 s] /proc/loadavg: 1.09 1.08 1.01 2/107 5498 /proc/meminfo: memFree=842516/2059040 swapFree=4140048/4192956 [pid=5453] ppid=5451 vsize=803840 CPUtime=1661.85 /proc/5453/stat : 5453 (wbo1.4b) R 5451 5453 5397 0 -1 4202496 201162 0 0 0 165491 694 0 0 25 0 1 0 38628830 823132160 200244 1992294400 134512640 135751879 4294937360 18446744073709551615 134616467 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/5453/statm: 200960 200244 151 303 0 200655 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 803840 [startup+1722.3 s] /proc/loadavg: 1.08 1.08 1.01 2/107 5500 /proc/meminfo: memFree=815856/2059040 swapFree=4140048/4192956 [pid=5453] ppid=5451 vsize=830668 CPUtime=1721.83 /proc/5453/stat : 5453 (wbo1.4b) R 5451 5453 5397 0 -1 4202496 207867 0 0 0 171473 710 0 0 25 0 1 0 38628830 850604032 206949 1992294400 134512640 135751879 4294937360 18446744073709551615 134616309 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/5453/statm: 207667 206949 151 303 0 207362 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 830668 [startup+1782.3 s] /proc/loadavg: 1.08 1.08 1.01 2/107 5502 /proc/meminfo: memFree=796140/2059040 swapFree=4140048/4192956 [pid=5453] ppid=5451 vsize=850052 CPUtime=1781.82 /proc/5453/stat : 5453 (wbo1.4b) R 5451 5453 5397 0 -1 4202496 212687 0 0 0 177455 727 0 0 25 0 1 0 38628830 870453248 211769 1992294400 134512640 135751879 4294937360 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/5453/statm: 212513 211769 151 303 0 212208 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 850052 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.06 1.08 1.01 2/107 5502 /proc/meminfo: memFree=790312/2059040 swapFree=4140048/4192956 [pid=5453] ppid=5451 vsize=855780 CPUtime=1800.02 /proc/5453/stat : 5453 (wbo1.4b) R 5451 5453 5397 0 -1 4202496 214126 0 0 0 179268 734 0 0 25 0 1 0 38628830 876318720 213208 1992294400 134512640 135751879 4294937360 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/5453/statm: 213945 213208 151 303 0 213640 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 855780 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.06 1.08 1.01 2/107 5502 /proc/meminfo: memFree=790312/2059040 swapFree=4140048/4192956 [pid=5453] ppid=5451 vsize=855780 CPUtime=1800.02 /proc/5453/stat : 5453 (wbo1.4b) R 5451 5453 5397 0 -1 4202496 214126 0 0 0 179268 734 0 0 25 0 1 0 38628830 876318720 213208 1992294400 134512640 135751879 4294937360 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/5453/statm: 213945 213208 151 303 0 213640 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 855780 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.59 CPU time (s): 1800.11 CPU user time (s): 1792.69 CPU system time (s): 7.42387 CPU usage (%): 99.9732 Max. virtual memory (cumulated for all children) (KiB): 855780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.69 system time used= 7.42387 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 214126 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= 5 involuntary context switches= 2334 runsolver used 3.11453 second user time and 8.37073 second system time The end
Begin job on node006 at 2010-06-15 21:30:52 IDJOB=2655768 IDBENCH=24973 IDSOLVER=1161 FILE ID=node006/2655768-1276630251 PBS_JOBID= 11172369 Free space on /tmp= 62504 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_001_area_delay.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655768-1276630251/watcher-2655768-1276630251 -o /tmp/evaluation-result-2655768-1276630251/solver-2655768-1276630251 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655768-1276630251.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f1fcceba4d2ff597685b8a775178b9b4 RANDOM SEED=1803565688 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: 1646200 kB Buffers: 127200 kB Cached: 201356 kB SwapCached: 6988 kB Active: 122972 kB Inactive: 220320 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1646200 kB SwapTotal: 4192956 kB SwapFree: 4140048 kB Dirty: 3804 kB Writeback: 0 kB AnonPages: 12732 kB Mapped: 13100 kB Slab: 47792 kB PageTables: 4080 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181992 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= 62500 MiB End job on node006 at 2010-06-15 22:00:54