Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.22 | 1800.84 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_026_area_delay.opb |
MD5SUM | 4c21c441bf9f3f3be8f0cdb52c39f9b4 |
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 | 346.907 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 30 |
Optimality of the best value was proved | NO |
Number of variables | 12852 |
Total number of constraints | 41686 |
Number of constraints which are clauses | 41686 |
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 | 6267 |
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 | 6267 |
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 | 6267 |
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 This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1875479-1245183181.opb. 0.00/0.00 c Instance file HOME/instance-1875479-1245183181.opb 0.00/0.00 c File size is 1248060 bytes. 0.09/0.18 c Highest Coefficient sum: 128 0.09/0.18 c ============================[ Problem Statistics ]============================= 0.09/0.18 c | | 0.09/0.18 c | Parsing time: 0.18 s | 0.09/0.18 c | Number Variables: 12852 | 0.09/0.18 c | Number Clauses: 47953 | 0.09/0.18 c | Number Cardinality: 0 | 0.09/0.18 c | Number PB Constraints: 0 | 0.09/0.18 c core #1 0.09/0.18 c Core size: 255 Core Weight: 1 Total Weight: 1 0.09/0.18 c Elapsed CPU time: 0.181972 s Remaining CPU time: 1799.82 s 0.19/0.22 c core #2 0.19/0.22 c Core size: 127 Core Weight: 1 Total Weight: 2 0.19/0.22 c Elapsed CPU time: 0.217966 s Remaining CPU time: 1799.78 s 0.19/0.26 c core #3 0.19/0.26 c Core size: 125 Core Weight: 1 Total Weight: 3 0.19/0.26 c Elapsed CPU time: 0.251961 s Remaining CPU time: 1799.75 s 0.19/0.29 c core #4 0.19/0.29 c Core size: 31 Core Weight: 1 Total Weight: 4 0.19/0.29 c Elapsed CPU time: 0.287956 s Remaining CPU time: 1799.71 s 0.29/0.33 c core #5 0.29/0.33 c Core size: 255 Core Weight: 1 Total Weight: 5 0.29/0.33 c Elapsed CPU time: 0.32395 s Remaining CPU time: 1799.68 s 0.29/0.36 c core #6 0.29/0.36 c Core size: 15 Core Weight: 1 Total Weight: 6 0.29/0.36 c Elapsed CPU time: 0.359945 s Remaining CPU time: 1799.64 s 0.39/0.40 c core #7 0.39/0.40 c Core size: 63 Core Weight: 1 Total Weight: 7 0.39/0.40 c Elapsed CPU time: 0.395939 s Remaining CPU time: 1799.6 s 0.39/0.44 c core #8 0.39/0.44 c Core size: 127 Core Weight: 1 Total Weight: 8 0.39/0.44 c Elapsed CPU time: 0.432934 s Remaining CPU time: 1799.57 s 0.39/0.47 c core #9 0.39/0.47 c Core size: 63 Core Weight: 1 Total Weight: 9 0.39/0.47 c Elapsed CPU time: 0.468928 s Remaining CPU time: 1799.53 s 0.49/0.51 c core #10 0.49/0.51 c Core size: 127 Core Weight: 1 Total Weight: 10 0.49/0.51 c Elapsed CPU time: 0.506922 s Remaining CPU time: 1799.49 s 0.49/0.55 c core #11 0.49/0.55 c Core size: 63 Core Weight: 1 Total Weight: 11 0.49/0.55 c Elapsed CPU time: 0.544917 s Remaining CPU time: 1799.46 s 0.49/0.59 c core #12 0.49/0.59 c Core size: 31 Core Weight: 1 Total Weight: 12 0.49/0.59 c Elapsed CPU time: 0.582911 s Remaining CPU time: 1799.42 s 0.59/0.63 c core #13 0.59/0.63 c Core size: 7 Core Weight: 1 Total Weight: 13 0.59/0.63 c Elapsed CPU time: 0.619905 s Remaining CPU time: 1799.38 s 0.59/0.66 c core #14 0.59/0.66 c Core size: 15 Core Weight: 1 Total Weight: 14 0.59/0.66 c Elapsed CPU time: 0.659899 s Remaining CPU time: 1799.34 s 0.69/0.70 c core #15 0.69/0.70 c Core size: 7 Core Weight: 1 Total Weight: 15 0.69/0.70 c Elapsed CPU time: 0.697893 s Remaining CPU time: 1799.3 s 0.69/0.74 c core #16 0.69/0.74 c Core size: 31 Core Weight: 1 Total Weight: 16 0.69/0.74 c Elapsed CPU time: 0.738887 s Remaining CPU time: 1799.26 s 0.69/0.78 c core #17 0.69/0.78 c Core size: 15 Core Weight: 1 Total Weight: 17 0.69/0.78 c Elapsed CPU time: 0.778881 s Remaining CPU time: 1799.22 s 0.79/0.83 c core #18 0.79/0.83 c Core size: 15 Core Weight: 1 Total Weight: 18 0.79/0.83 c Elapsed CPU time: 0.819875 s Remaining CPU time: 1799.18 s 0.89/0.99 c core #19 0.89/0.99 c Core size: 4569 Core Weight: 1 Total Weight: 19 0.89/0.99 c Elapsed CPU time: 0.98585 s Remaining CPU time: 1799.01 s 0.99/1.04 c core #20 0.99/1.04 c Core size: 15 Core Weight: 1 Total Weight: 20 0.99/1.04 c Elapsed CPU time: 1.03084 s Remaining CPU time: 1798.97 s 0.99/1.08 c core #21 0.99/1.08 c Core size: 15 Core Weight: 1 Total Weight: 21 0.99/1.08 c Elapsed CPU time: 1.07484 s Remaining CPU time: 1798.93 s 1.10/1.13 c core #22 1.10/1.13 c Core size: 13 Core Weight: 1 Total Weight: 22 1.10/1.13 c Elapsed CPU time: 1.11983 s Remaining CPU time: 1798.88 s 1.10/1.17 c core #23 1.10/1.17 c Core size: 45 Core Weight: 1 Total Weight: 23 1.10/1.17 c Elapsed CPU time: 1.16382 s Remaining CPU time: 1798.84 s 1.19/1.22 c ============================[ Search Statistics ]============================== 1.19/1.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.22 c =============================================================================== 1.19/1.22 c | 0 | 6188 47976 73332 | 15992 0 nan | 0.000 % | 1.19/1.25 c =============================================================================== 1.19/1.25 c core #24 1.19/1.25 c Core size: 1480 Core Weight: 1 Total Weight: 24 1.19/1.25 c Elapsed CPU time: 1.24181 s Remaining CPU time: 1798.76 s 1.29/1.30 c Learning 1 hard constraints 1.29/1.30 c ============================[ Search Statistics ]============================== 1.29/1.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.30 c =============================================================================== 1.29/1.30 c | 0 | 8674 47978 81843 | 15992 0 nan | 0.000 % | 1.29/1.39 c | 100 | 8670 47978 81843 | 17591 98 119 | 47.076 % | 1.59/1.64 c =============================================================================== 1.59/1.64 c core #25 1.59/1.64 c Core size: 3259 Core Weight: 1 Total Weight: 25 1.59/1.64 c Elapsed CPU time: 1.62875 s Remaining CPU time: 1798.37 s 1.59/1.69 c Learning 10 hard constraints 1.59/1.69 c ============================[ Search Statistics ]============================== 1.59/1.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.69 c =============================================================================== 1.59/1.69 c | 0 | 12056 47989 94294 | 15996 0 nan | 0.000 % | 1.69/1.75 c | 100 | 12056 47989 94294 | 17595 100 176 | 31.140 % | 1.89/1.98 c | 255 | 12056 47989 94294 | 19355 255 225 | 31.140 % | 2.29/2.31 c | 481 | 12056 47989 94294 | 21291 481 191 | 31.140 % | 2.89/2.94 c | 818 | 12056 47989 94294 | 23420 818 148 | 31.140 % | 3.89/3.90 c | 1324 | 12056 47989 94294 | 25762 1324 152 | 31.140 % | 5.50/5.58 c | 2083 | 12056 47989 94294 | 28338 2083 154 | 31.140 % | 7.79/7.80 c | 3223 | 12055 47989 94294 | 31172 3218 173 | 31.146 % | 11.69/11.74 c | 4936 | 12055 47989 94294 | 34289 4931 190 | 31.146 % | 12.09/12.20 c =============================================================================== 12.19/12.29 c core #26 12.19/12.29 c Core size: 7206 Core Weight: 1 Total Weight: 26 12.19/12.29 c Elapsed CPU time: 12.2441 s Remaining CPU time: 1787.76 s 12.29/12.36 c Learning 174 hard constraints 12.29/12.36 c ============================[ Search Statistics ]============================== 12.29/12.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.29/12.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.29/12.36 c =============================================================================== 12.29/12.36 c | 0 | 17194 48164 121304 | 16054 0 nan | 0.000 % | 12.39/12.45 c | 102 | 17194 48164 121304 | 17660 102 116 | 13.719 % | 12.69/12.74 c | 255 | 17194 48164 121304 | 19426 255 168 | 13.720 % | 13.09/13.18 c | 480 | 17194 48164 121304 | 21368 480 199 | 13.719 % | 13.88/13.94 c | 818 | 17194 48164 121304 | 23505 818 249 | 13.719 % | 14.58/14.67 c | 1325 | 17194 48164 121304 | 25856 1325 186 | 13.719 % | 15.79/15.90 c | 2084 | 17194 48164 121304 | 28441 2084 184 | 13.719 % | 17.88/17.91 c | 3224 | 17194 48164 121304 | 31286 3224 185 | 13.719 % | 21.68/21.70 c | 4933 | 17194 48164 121304 | 34414 4933 221 | 13.719 % | 26.98/27.06 c | 7495 | 17194 48164 121304 | 37856 7495 202 | 13.719 % | 35.87/35.96 c | 11343 | 17194 48164 121304 | 41641 11343 222 | 13.719 % | 50.68/50.70 c | 17110 | 17194 48164 121304 | 45805 17110 236 | 13.719 % | 73.86/73.96 c | 25762 | 17194 48164 121304 | 50386 25762 277 | 13.719 % | 119.76/119.88 c | 38737 | 17194 48164 121304 | 55425 38737 289 | 13.719 % | 208.72/208.82 c | 58203 | 17194 48164 121304 | 60967 58203 302 | 13.719 % | 333.68/333.89 c | 87395 | 17194 48164 121304 | 67064 40648 340 | 13.719 % | 511.12/511.32 c =============================================================================== 515.82/516.00 c core #27 515.82/516.00 c Core size: 5271 Core Weight: 1 Total Weight: 27 515.82/516.00 c Elapsed CPU time: 514.654 s Remaining CPU time: 1285.35 s 516.01/516.21 c Learning 467 hard constraints 516.01/516.21 c ============================[ Search Statistics ]============================== 516.01/516.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 516.01/516.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 516.01/516.21 c =============================================================================== 516.01/516.21 c | 0 | 18525 48632 146959 | 16210 0 nan | 0.000 % | 516.12/516.37 c | 100 | 18525 48632 146959 | 17831 100 187 | 11.419 % | 516.41/516.63 c | 251 | 18525 48632 146959 | 19614 251 146 | 11.419 % | 516.82/517.06 c | 476 | 18525 48632 146959 | 21576 476 141 | 11.419 % | 517.31/517.57 c | 813 | 18525 48632 146959 | 23734 813 160 | 11.419 % | 518.21/518.47 c | 1320 | 18525 48632 146959 | 26107 1320 201 | 11.419 % | 519.41/519.62 c | 2080 | 18525 48632 146959 | 28718 2080 195 | 11.419 % | 521.81/522.06 c | 3220 | 18525 48632 146959 | 31590 3220 200 | 11.419 % | 525.92/526.10 c | 4929 | 18525 48632 146959 | 34749 4929 228 | 11.419 % | 531.01/531.26 c | 7492 | 18525 48632 146959 | 38223 7492 267 | 11.419 % | 539.81/540.08 c | 11338 | 18525 48632 146959 | 42046 11338 273 | 11.419 % | 554.80/555.09 c | 17106 | 18525 48632 146959 | 46250 17106 291 | 11.419 % | 575.69/575.90 c | 25755 | 18525 48632 146959 | 50876 25755 338 | 11.419 % | 616.48/616.77 c | 38730 | 18525 48632 146959 | 55963 38730 343 | 11.419 % | 680.95/681.26 c | 58191 | 18525 48632 146959 | 61559 58191 379 | 11.419 % | 768.92/769.20 c | 87385 | 18525 48632 146959 | 67715 35125 349 | 11.419 % | 918.38/918.71 c | 131175 | 18525 48632 146959 | 74487 21881 340 | 11.419 % | 1138.79/1139.23 c | 196859 | 18525 48632 146959 | 81936 23352 326 | 11.419 % | 1508.67/1509.27 c | 295386 | 18525 48632 146959 | 90129 49663 343 | 11.419 % |
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-1875479-1245183181/watcher-1875479-1245183181 -o /tmp/evaluation-result-1875479-1245183181/solver-1875479-1245183181 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875479-1245183181.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4072 /proc/meminfo: memFree=1843016/2055920 swapFree=4183064/4192956 [pid=4072] ppid=4070 vsize=4072 CPUtime=0 /proc/4072/stat : 4072 (wbo) R 4070 4072 3805 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 185919019 4169728 248 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 1 0 0 /proc/4072/statm: 1018 251 122 292 0 418 0 [startup+0.036793 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4072 /proc/meminfo: memFree=1843016/2055920 swapFree=4183064/4192956 [pid=4072] ppid=4070 vsize=5828 CPUtime=0.03 /proc/4072/stat : 4072 (wbo) R 4070 4072 3805 0 -1 4194304 739 0 0 0 3 0 0 0 18 0 1 0 185919019 5967872 723 1992294400 134512640 135709839 4294956240 18446744073709551615 134570700 0 0 4096 3 0 0 0 17 1 0 0 /proc/4072/statm: 1457 723 170 292 0 857 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5828 [startup+0.101804 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4072 /proc/meminfo: memFree=1843016/2055920 swapFree=4183064/4192956 [pid=4072] ppid=4070 vsize=6784 CPUtime=0.09 /proc/4072/stat : 4072 (wbo) R 4070 4072 3805 0 -1 4194304 1082 0 0 0 9 0 0 0 18 0 1 0 185919019 6946816 1066 1992294400 134512640 135709839 4294956240 18446744073709551615 134544161 0 0 4096 3 0 0 0 17 1 0 0 /proc/4072/statm: 1696 1066 277 292 0 1096 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6784 [startup+0.301841 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4072 /proc/meminfo: memFree=1843016/2055920 swapFree=4183064/4192956 [pid=4072] ppid=4070 vsize=10360 CPUtime=0.29 /proc/4072/stat : 4072 (wbo) R 4070 4072 3805 0 -1 4194304 2923 0 0 0 29 0 0 0 19 0 1 0 185919019 10608640 2117 1992294400 134512640 135709839 4294956240 18446744073709551615 135182835 0 0 4096 3 0 0 0 17 1 0 0 /proc/4072/statm: 2590 2117 133 292 0 2295 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10360 [startup+0.701918 s] /proc/loadavg: 1.00 1.00 1.00 3/64 4072 /proc/meminfo: memFree=1843016/2055920 swapFree=4183064/4192956 [pid=4072] ppid=4070 vsize=10492 CPUtime=0.69 /proc/4072/stat : 4072 (wbo) R 4070 4072 3805 0 -1 4194304 2986 0 0 0 69 0 0 0 22 0 1 0 185919019 10743808 2180 1992294400 134512640 135709839 4294956240 18446744073709551615 134529966 0 0 4096 3 0 0 0 17 1 0 0 /proc/4072/statm: 2623 2180 133 292 0 2328 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10492 [startup+1.50107 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4073 /proc/meminfo: memFree=1833792/2055920 swapFree=4183064/4192956 [pid=4072] ppid=4070 vsize=12540 CPUtime=1.49 /proc/4072/stat : 4072 (wbo) R 4070 4072 3805 0 -1 4194304 3895 0 0 0 148 1 0 0 25 0 1 0 185919019 12840960 2567 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4072/statm: 3135 2567 136 292 0 2840 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12540 [startup+3.10138 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4073 /proc/meminfo: memFree=1832384/2055920 swapFree=4183064/4192956 [pid=4072] ppid=4070 vsize=13020 CPUtime=3.09 /proc/4072/stat : 4072 (wbo) R 4070 4072 3805 0 -1 4194304 4053 0 0 0 307 2 0 0 25 0 1 0 185919019 13332480 2725 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4072/statm: 3255 2725 136 292 0 2960 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13020 [startup+6.30199 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4073 /proc/meminfo: memFree=1832384/2055920 swapFree=4183064/4192956 [pid=4072] ppid=4070 vsize=13020 CPUtime=6.29 /proc/4072/stat : 4072 (wbo) R 4070 4072 3805 0 -1 4194304 4053 0 0 0 626 3 0 0 25 0 1 0 185919019 13332480 2725 1992294400 134512640 135709839 4294956240 18446744073709551615 134518592 0 0 4096 3 0 0 0 17 1 0 0 /proc/4072/statm: 3255 2725 136 292 0 2960 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13020 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4073 /proc/meminfo: memFree=1829888/2055920 swapFree=4183064/4192956 [pid=4072] ppid=4070 vsize=20224 CPUtime=12.69 /proc/4072/stat : 4072 (wbo) R 4070 4072 3805 0 -1 4194304 5902 0 0 0 1264 5 0 0 25 0 1 0 185919019 20709376 4574 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 1 0 0 /proc/4072/statm: 5056 4574 136 292 0 4761 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20224 [startup+25.5017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4073 /proc/meminfo: memFree=1824896/2055920 swapFree=4183064/4192956 [pid=4072] ppid=4070 vsize=20224 CPUtime=25.48 /proc/4072/stat : 4072 (wbo) R 4070 4072 3805 0 -1 4194304 5920 0 0 0 2541 7 0 0 25 0 1 0 185919019 20709376 4592 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4072/statm: 5056 4592 136 292 0 4761 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 20224 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4073 /proc/meminfo: memFree=1810624/2055920 swapFree=4183064/4192956 [pid=4072] ppid=4070 vsize=34788 CPUtime=51.07 /proc/4072/stat : 4072 (wbo) R 4070 4072 3805 0 -1 4194304 9570 0 0 0 5092 15 0 0 25 0 1 0 185919019 35622912 8242 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4072/statm: 8697 8242 136 292 0 8402 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 34788 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4073 /proc/meminfo: memFree=1781824/2055920 swapFree=4183064/4192956 [pid=4072] ppid=4070 vsize=63272 CPUtime=102.26 /proc/4072/stat : 4072 (wbo) R 4070 4072 3805 0 -1 4194304 16687 0 0 0 10197 29 0 0 25 0 1 0 185919019 64790528 15359 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4072/statm: 15818 15359 136 292 0 15523 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 63272 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4073 /proc/meminfo: memFree=1754624/2055920 swapFree=4183064/4192956 [pid=4072] ppid=4070 vsize=90652 CPUtime=162.24 /proc/4072/stat : 4072 (wbo) R 4070 4072 3805 0 -1 4194304 23522 0 0 0 16180 44 0 0 25 0 1 0 185919019 92827648 22194 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 1 0 0 /proc/4072/statm: 22663 22194 136 292 0 22368 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 90652 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4073 /proc/meminfo: memFree=1734656/2055920 swapFree=4183064/4192956 [pid=4072] ppid=4070 vsize=110316 CPUtime=222.22 /proc/4072/stat : 4072 (wbo) R 4070 4072 3805 0 -1 4194304 28433 0 0 0 22168 54 0 0 25 0 1 0 185919019 112963584 27105 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4072/statm: 27579 27105 136 292 0 27284 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 110316 [startup+282.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4073 /proc/meminfo: memFree=1706688/2055920 swapFree=4183064/4192956 [pid=4072] ppid=4070 vsize=138744 CPUtime=282.19 /proc/4072/stat : 4072 (wbo) R 4070 4072 3805 0 -1 4194304 35497 0 0 0 28153 66 0 0 25 0 1 0 185919019 142073856 34169 1992294400 134512640 135709839 4294956240 18446744073709551615 134572568 0 0 4096 3 0 0 0 17 1 0 0 /proc/4072/statm: 34686 34169 136 292 0 34391 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 138744 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4073 /proc/meminfo: memFree=1676480/2055920 swapFree=4183064/4192956 [pid=4072] ppid=4070 vsize=168448 CPUtime=342.17 /proc/4072/stat : 4072 (wbo) R 4070 4072 3805 0 -1 4194304 42944 0 0 0 34137 80 0 0 25 0 1 0 185919019 172490752 41616 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/4072/statm: 42112 41616 136 292 0 41817 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 168448 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4073 /proc/meminfo: memFree=1652864/2055920 swapFree=4183064/4192956 [pid=4072] ppid=4070 vsize=192384 CPUtime=402.15 /proc/4072/stat : 4072 (wbo) R 4070 4072 3805 0 -1 4194304 48913 0 0 0 40121 94 0 0 25 0 1 0 185919019 197001216 47585 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 1 0 0 /proc/4072/statm: 48096 47585 136 292 0 47801 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 192384 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4073 /proc/meminfo: memFree=1627648/2055920 swapFree=4183064/4192956 [pid=4072] ppid=4070 vsize=217356 CPUtime=462.13 /proc/4072/stat : 4072 (wbo) R 4070 4072 3805 0 -1 4194304 55129 0 0 0 46107 106 0 0 25 0 1 0 185919019 222572544 53801 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4072/statm: 54339 53801 136 292 0 54044 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 217356 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4073 /proc/meminfo: memFree=1598336/2055920 swapFree=4183064/4192956 [pid=4072] ppid=4070 vsize=246708 CPUtime=522.11 /proc/4072/stat : 4072 (wbo) R 4070 4072 3805 0 -1 4194304 62409 0 0 0 52092 119 0 0 25 0 1 0 185919019 252628992 61081 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 1 0 0 /proc/4072/statm: 61677 61081 136 292 0 61382 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 246708 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4073 /proc/meminfo: memFree=1598016/2055920 swapFree=4183064/4192956 [pid=4072] ppid=4070 vsize=246708 CPUtime=582.09 /proc/4072/stat : 4072 (wbo) R 4070 4072 3805 0 -1 4194304 62479 0 0 0 58078 131 0 0 25 0 1 0 185919019 252628992 61151 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4072/statm: 61677 61151 136 292 0 61382 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 246708 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4073 /proc/meminfo: memFree=1583552/2055920 swapFree=4183064/4192956 [pid=4072] ppid=4070 vsize=261156 CPUtime=642.07 /proc/4072/stat : 4072 (wbo) R 4070 4072 3805 0 -1 4194304 66081 0 0 0 64066 141 0 0 25 0 1 0 185919019 267423744 64753 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/4072/statm: 65289 64753 136 292 0 64994 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 261156 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4073 /proc/meminfo: memFree=1457472/2055920 swapFree=4183064/4192956 [pid=4072] ppid=4070 vsize=387224 CPUtime=881.99 /proc/4072/stat : 4072 (wbo) R 4070 4072 3805 0 -1 4194304 97537 0 0 0 87996 203 0 0 25 0 1 0 185919019 396517376 96209 1992294400 134512640 135709839 4294956240 18446744073709551615 134572704 0 0 4096 3 0 0 0 17 1 0 0 /proc/4072/statm: 96806 96209 136 292 0 96511 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 387224 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4073 /proc/meminfo: memFree=1423680/2055920 swapFree=4183064/4192956 [pid=4072] ppid=4070 vsize=421088 CPUtime=941.97 /proc/4072/stat : 4072 (wbo) R 4070 4072 3805 0 -1 4194304 106033 0 0 0 93978 219 0 0 25 0 1 0 185919019 431194112 104705 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4072/statm: 105272 104705 136 292 0 104977 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 421088 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4073 /proc/meminfo: memFree=1390080/2055920 swapFree=4183064/4192956 [pid=4072] ppid=4070 vsize=454408 CPUtime=1001.95 /proc/4072/stat : 4072 (wbo) R 4070 4072 3805 0 -1 4194304 114350 0 0 0 99961 234 0 0 25 0 1 0 185919019 465313792 113022 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4072/statm: 113602 113022 136 292 0 113307 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 454408 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4073 /proc/meminfo: memFree=1362304/2055920 swapFree=4183064/4192956 [pid=4072] ppid=4070 vsize=482424 CPUtime=1061.93 /proc/4072/stat : 4072 (wbo) R 4070 4072 3805 0 -1 4194304 121345 0 0 0 105947 246 0 0 25 0 1 0 185919019 494002176 120017 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 1 0 0 /proc/4072/statm: 120606 120017 136 292 0 120311 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 482424 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4073 /proc/meminfo: memFree=1332992/2055920 swapFree=4183064/4192956 [pid=4072] ppid=4070 vsize=511412 CPUtime=1121.91 /proc/4072/stat : 4072 (wbo) R 4070 4072 3805 0 -1 4194304 128608 0 0 0 111932 259 0 0 25 0 1 0 185919019 523685888 127280 1992294400 134512640 135709839 4294956240 18446744073709551615 134577726 0 0 4096 3 0 0 0 17 1 0 0 /proc/4072/statm: 127853 127280 136 292 0 127558 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 511412 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4073 /proc/meminfo: memFree=1301632/2055920 swapFree=4183064/4192956 [pid=4072] ppid=4070 vsize=542964 CPUtime=1181.88 /proc/4072/stat : 4072 (wbo) R 4070 4072 3805 0 -1 4194304 136490 0 0 0 117914 274 0 0 25 0 1 0 185919019 555995136 135162 1992294400 134512640 135709839 4294956240 18446744073709551615 134573900 0 0 4096 3 0 0 0 17 1 0 0 /proc/4072/statm: 135741 135162 136 292 0 135446 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 542964 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4073 /proc/meminfo: memFree=1275712/2055920 swapFree=4183064/4192956 [pid=4072] ppid=4070 vsize=568648 CPUtime=1241.86 /proc/4072/stat : 4072 (wbo) R 4070 4072 3805 0 -1 4194304 142889 0 0 0 123901 285 0 0 25 0 1 0 185919019 582295552 141561 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0 /proc/4072/statm: 142162 141561 136 292 0 141867 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 568648 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4073 /proc/meminfo: memFree=1254784/2055920 swapFree=4183064/4192956 [pid=4072] ppid=4070 vsize=589376 CPUtime=1301.85 /proc/4072/stat : 4072 (wbo) R 4070 4072 3805 0 -1 4194304 148061 0 0 0 129889 296 0 0 25 0 1 0 185919019 603521024 146733 1992294400 134512640 135709839 4294956240 18446744073709551615 134574300 0 0 4096 3 0 0 0 17 1 0 0 /proc/4072/statm: 147344 146733 136 292 0 147049 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 589376 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4073 /proc/meminfo: memFree=1229504/2055920 swapFree=4183064/4192956 [pid=4072] ppid=4070 vsize=614860 CPUtime=1361.82 /proc/4072/stat : 4072 (wbo) R 4070 4072 3805 0 -1 4194304 154423 0 0 0 135873 309 0 0 25 0 1 0 185919019 629616640 153095 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4072/statm: 153715 153095 136 292 0 153420 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 614860 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4073 /proc/meminfo: memFree=1203328/2055920 swapFree=4183064/4192956 [pid=4072] ppid=4070 vsize=640728 CPUtime=1421.81 /proc/4072/stat : 4072 (wbo) R 4070 4072 3805 0 -1 4194304 160891 0 0 0 141857 324 0 0 25 0 1 0 185919019 656105472 159563 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4072/statm: 160182 159563 136 292 0 159887 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 640728 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4073 /proc/meminfo: memFree=1169216/2055920 swapFree=4183064/4192956 [pid=4072] ppid=4070 vsize=675072 CPUtime=1481.78 /proc/4072/stat : 4072 (wbo) R 4070 4072 3805 0 -1 4194304 169485 0 0 0 147837 341 0 0 25 0 1 0 185919019 691273728 168157 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4072/statm: 168768 168157 136 292 0 168473 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 675072 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4073 /proc/meminfo: memFree=1136448/2055920 swapFree=4183064/4192956 [pid=4072] ppid=4070 vsize=707496 CPUtime=1541.76 /proc/4072/stat : 4072 (wbo) R 4070 4072 3805 0 -1 4194304 177586 0 0 0 153821 355 0 0 25 0 1 0 185919019 724475904 176258 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4072/statm: 176874 176258 136 292 0 176579 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 707496 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4073 /proc/meminfo: memFree=1106560/2055920 swapFree=4183064/4192956 [pid=4072] ppid=4070 vsize=737776 CPUtime=1601.74 /proc/4072/stat : 4072 (wbo) R 4070 4072 3805 0 -1 4194304 185132 0 0 0 159808 366 0 0 25 0 1 0 185919019 755482624 183804 1992294400 134512640 135709839 4294956240 18446744073709551615 134573964 0 0 4096 3 0 0 0 17 1 0 0 /proc/4072/statm: 184444 183804 136 292 0 184149 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 737776 [startup+1662.3 s] /proc/loadavg: 1.07 1.02 1.00 2/65 4073 /proc/meminfo: memFree=1085184/2055920 swapFree=4183064/4192956 [pid=4072] ppid=4070 vsize=758664 CPUtime=1661.72 /proc/4072/stat : 4072 (wbo) R 4070 4072 3805 0 -1 4194304 190384 0 0 0 165794 378 0 0 25 0 1 0 185919019 776871936 189056 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4072/statm: 189666 189056 136 292 0 189371 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 758664 [startup+1722.3 s] /proc/loadavg: 1.02 1.01 1.00 2/65 4073 /proc/meminfo: memFree=1064832/2055920 swapFree=4183064/4192956 [pid=4072] ppid=4070 vsize=779688 CPUtime=1721.7 /proc/4072/stat : 4072 (wbo) R 4070 4072 3805 0 -1 4194304 195557 0 0 0 171783 387 0 0 25 0 1 0 185919019 798400512 194229 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4072/statm: 194922 194229 136 292 0 194627 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 779688 [startup+1782.3 s] /proc/loadavg: 1.01 1.00 1.00 2/65 4073 /proc/meminfo: memFree=1030592/2055920 swapFree=4183064/4192956 [pid=4072] ppid=4070 vsize=813404 CPUtime=1781.68 /proc/4072/stat : 4072 (wbo) R 4070 4072 3805 0 -1 4194304 204008 0 0 0 177766 402 0 0 25 0 1 0 185919019 832925696 202680 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 1 0 0 /proc/4072/statm: 203351 202680 136 292 0 203056 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 813404 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4073 /proc/meminfo: memFree=1023360/2055920 swapFree=4183064/4192956 [pid=4072] ppid=4070 vsize=820600 CPUtime=1800.08 /proc/4072/stat : 4072 (wbo) R 4070 4072 3805 0 -1 4194304 205778 0 0 0 179603 405 0 0 25 0 1 0 185919019 840294400 204450 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 1 0 0 /proc/4072/statm: 205150 204450 136 292 0 204855 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 820600 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/65 4073 /proc/meminfo: memFree=1023360/2055920 swapFree=4183064/4192956 [pid=4072] ppid=4070 vsize=0 CPUtime=1800.18 /proc/4072/stat : 4072 (wbo) R 4070 4072 3805 0 -1 4195332 205778 0 0 0 179603 415 0 0 25 0 1 0 185919019 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/4072/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.84 CPU time (s): 1800.22 CPU user time (s): 1796.03 CPU system time (s): 4.18936 CPU usage (%): 99.9656 Max. virtual memory (cumulated for all children) (KiB): 820600 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.03 system time used= 4.18936 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 205778 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= 3 involuntary context switches= 1909 runsolver used 1.3098 second user time and 3.82442 second system time The end
Begin job on node5 at 2009-06-16 22:13:01 IDJOB=1875479 IDBENCH=25001 IDSOLVER=698 FILE ID=node5/1875479-1245183181 PBS_JOBID= 9363916 Free space on /tmp= 66256 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_026_area_delay.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875479-1245183181/watcher-1875479-1245183181 -o /tmp/evaluation-result-1875479-1245183181/solver-1875479-1245183181 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875479-1245183181.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4c21c441bf9f3f3be8f0cdb52c39f9b4 RANDOM SEED=985731498 node5.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.259 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5931.00 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.259 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1843496 kB Buffers: 49220 kB Cached: 83708 kB SwapCached: 3684 kB Active: 49040 kB Inactive: 91808 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1843496 kB SwapTotal: 4192956 kB SwapFree: 4183064 kB Dirty: 3644 kB Writeback: 0 kB Mapped: 14600 kB Slab: 57648 kB Committed_AS: 153536 kB PageTables: 1392 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875479-1245183181.opb Free space on /tmp at the end= 66256 MiB End job on node5 at 2009-06-16 22:43:04