Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.24 | 1800.93 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_10_3.opb |
MD5SUM | 9e4e432c8df29dadb31632f81ac67b02 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 21 |
Best CPU time to get the best result obtained on this benchmark | 1798.23 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 26 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 200 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 200 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 21 |
Number of terms in the objective function | 200 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2488 |
Sum of products size (including duplicates) | 4976 |
Number of different products | 2488 |
Sum of products size | 4976 |
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-1875304-1245195607.opb. 0.00/0.00 c Instance file HOME/instance-1875304-1245195607.opb 0.00/0.00 c File size is 185404 bytes. 0.00/0.02 c Highest Coefficient sum: 22 0.00/0.02 c ============================[ Problem Statistics ]============================= 0.00/0.02 c | | 0.00/0.02 c | Parsing time: 0.02 s | 0.00/0.02 c | Number Variables: 2688 | 0.00/0.02 c | Number Clauses: 2888 | 0.00/0.02 c | Number Cardinality: 0 | 0.00/0.02 c | Number PB Constraints: 2488 | 0.00/0.02 c core #1 0.00/0.02 c Core size: 22 Core Weight: 1 Total Weight: 1 0.00/0.02 c Elapsed CPU time: 0.025996 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #2 0.00/0.03 c Core size: 22 Core Weight: 1 Total Weight: 2 0.00/0.03 c Elapsed CPU time: 0.031995 s Remaining CPU time: 1799.97 s 0.00/0.04 c core #3 0.00/0.04 c Core size: 22 Core Weight: 1 Total Weight: 3 0.00/0.04 c Elapsed CPU time: 0.037994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #4 0.00/0.04 c Core size: 22 Core Weight: 1 Total Weight: 4 0.00/0.04 c Elapsed CPU time: 0.043993 s Remaining CPU time: 1799.96 s 0.00/0.05 c core #5 0.00/0.05 c Core size: 22 Core Weight: 1 Total Weight: 5 0.00/0.05 c Elapsed CPU time: 0.050992 s Remaining CPU time: 1799.95 s 0.00/0.06 c core #6 0.00/0.06 c Core size: 26 Core Weight: 1 Total Weight: 6 0.00/0.06 c Elapsed CPU time: 0.057991 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #7 0.00/0.06 c Core size: 44 Core Weight: 1 Total Weight: 7 0.00/0.06 c Elapsed CPU time: 0.066989 s Remaining CPU time: 1799.93 s 0.00/0.07 c ============================[ Search Statistics ]============================== 0.00/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.07 c =============================================================================== 0.00/0.07 c | 0 | 1291 5383 13762 | 5000 0 nan | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c core #8 0.00/0.07 c Core size: 239 Core Weight: 1 Total Weight: 8 0.00/0.07 c Elapsed CPU time: 0.077988 s Remaining CPU time: 1799.92 s 0.08/0.08 c ============================[ Search Statistics ]============================== 0.08/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.08/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.08/0.08 c =============================================================================== 0.08/0.08 c | 0 | 2323 5384 16623 | 5000 0 nan | 0.000 % | 0.09/0.11 c | 109 | 2323 5384 16623 | 5500 109 121 | 19.116 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #9 0.09/0.16 c Core size: 619 Core Weight: 1 Total Weight: 9 0.09/0.16 c Elapsed CPU time: 0.160975 s Remaining CPU time: 1799.84 s 0.09/0.17 c ============================[ Search Statistics ]============================== 0.09/0.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.17 c =============================================================================== 0.09/0.17 c | 0 | 2908 5385 18144 | 5000 0 nan | 0.000 % | 0.19/0.20 c | 103 | 2908 5385 18144 | 5500 103 108 | 4.405 % | 0.19/0.25 c | 253 | 2908 5385 18144 | 6050 253 100 | 4.405 % | 0.29/0.32 c | 478 | 2908 5385 18144 | 6655 478 98 | 4.405 % | 0.39/0.42 c | 815 | 2908 5385 18144 | 7320 815 99 | 4.405 % | 0.59/0.63 c | 1328 | 2908 5385 18144 | 8052 1328 100 | 4.405 % | 0.90/0.97 c | 2090 | 2908 5385 18144 | 8857 2090 108 | 4.405 % | 1.39/1.48 c | 3230 | 2908 5385 18144 | 9743 3230 105 | 4.405 % | 2.29/2.38 c | 4939 | 2908 5385 18144 | 10717 4939 113 | 4.405 % | 4.09/4.11 c | 7503 | 2908 5385 18144 | 11789 7503 125 | 4.405 % | 7.29/7.31 c | 11348 | 2908 5385 18144 | 12968 11348 134 | 4.405 % | 7.88/7.90 c =============================================================================== 7.98/8.07 c core #10 7.98/8.07 c Core size: 1717 Core Weight: 1 Total Weight: 10 7.98/8.07 c Elapsed CPU time: 8.01378 s Remaining CPU time: 1791.99 s 8.08/8.10 c ============================[ Search Statistics ]============================== 8.08/8.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.08/8.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.08/8.10 c =============================================================================== 8.08/8.10 c | 0 | 3242 5386 18924 | 5000 0 nan | 0.000 % | 8.08/8.14 c | 107 | 3242 5386 18924 | 5500 107 65 | 0.000 % | 8.08/8.19 c | 257 | 3242 5386 18924 | 6050 257 56 | 0.000 % | 8.19/8.26 c | 482 | 3242 5386 18924 | 6655 482 63 | 0.000 % | 8.29/8.38 c | 819 | 3242 5386 18924 | 7320 819 70 | 0.000 % | 8.49/8.54 c | 1326 | 3242 5386 18924 | 8052 1326 88 | 0.000 % | 8.69/8.76 c | 2086 | 3242 5386 18924 | 8857 2086 81 | 0.000 % | 9.08/9.13 c | 3226 | 3242 5386 18924 | 9743 3226 77 | 0.000 % | 9.79/9.83 c | 4934 | 3242 5386 18924 | 10717 4934 81 | 0.000 % | 10.79/10.81 c | 7496 | 3242 5386 18924 | 11789 7496 90 | 0.000 % | 12.79/12.87 c | 11342 | 3242 5386 18924 | 12968 11342 104 | 0.000 % | 15.68/15.74 c | 17108 | 3242 5386 18924 | 14265 10325 139 | 0.000 % | 21.08/21.17 c | 25758 | 3242 5386 18924 | 15692 11680 170 | 0.000 % | 31.58/31.65 c | 38734 | 3242 5386 18924 | 17261 8355 168 | 0.000 % | 49.17/49.29 c | 58197 | 3242 5386 18924 | 18987 9933 171 | 0.000 % | 81.86/81.92 c | 87389 | 3242 5386 18924 | 20886 9891 153 | 0.000 % | 135.34/135.48 c | 131178 | 3242 5386 18924 | 22974 11007 178 | 0.000 % | 214.32/214.41 c | 196867 | 3242 5386 18924 | 25272 18052 173 | 0.000 % | 342.76/342.98 c | 295395 | 3242 5386 18924 | 27799 13253 183 | 0.000 % | 534.19/534.48 c | 443187 | 3242 5386 18924 | 30579 25306 216 | 0.000 % | 775.00/775.38 c =============================================================================== 793.69/794.08 c core #11 793.69/794.08 c Core size: 3399 Core Weight: 1 Total Weight: 11 793.69/794.08 c Elapsed CPU time: 790.568 s Remaining CPU time: 1009.43 s 794.39/794.74 c Learning 3 hard constraints 794.39/794.74 c ============================[ Search Statistics ]============================== 794.39/794.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 794.39/794.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 794.39/794.74 c =============================================================================== 794.39/794.74 c | 0 | 3442 5390 19333 | 5000 0 nan | 0.000 % | 794.60/794.91 c | 100 | 3442 5390 19333 | 5500 100 120 | 0.000 % | 794.60/794.95 c | 250 | 3442 5390 19333 | 6050 250 102 | 0.000 % | 794.70/795.02 c | 476 | 3442 5390 19333 | 6655 476 94 | 0.000 % | 794.79/795.14 c | 815 | 3442 5390 19333 | 7320 815 78 | 0.000 % | 794.89/795.27 c | 1324 | 3442 5390 19333 | 8052 1324 89 | 0.000 % | 795.19/795.52 c | 2083 | 3442 5390 19333 | 8857 2083 100 | 0.000 % | 795.49/795.85 c | 3225 | 3442 5390 19333 | 9743 3225 108 | 0.000 % | 796.10/796.40 c | 4933 | 3442 5390 19333 | 10717 4933 119 | 0.000 % | 797.20/797.52 c | 7498 | 3442 5390 19333 | 11789 7498 132 | 0.000 % | 799.30/799.68 c | 11344 | 3442 5390 19333 | 12968 11344 147 | 0.000 % | 802.99/803.40 c | 17113 | 3442 5390 19333 | 14265 10321 180 | 0.000 % | 809.39/809.70 c | 25762 | 3442 5390 19333 | 15692 11530 177 | 0.000 % | 824.68/825.03 c | 38738 | 3442 5390 19333 | 17261 8299 184 | 0.000 % | 847.77/848.15 c | 58207 | 3442 5390 19333 | 18987 10256 206 | 0.000 % | 883.96/884.35 c | 87399 | 3442 5390 19333 | 20886 10281 212 | 0.000 % | 940.63/941.02 c | 131189 | 3442 5390 19333 | 22974 11020 249 | 0.000 % | 1022.10/1022.56 c | 196881 | 3442 5390 19333 | 25272 17589 306 | 0.000 % | 1180.74/1181.21 c | 295410 | 3442 5390 19333 | 27799 25009 249 | 0.000 % | 1442.14/1442.73 c | 443199 | 3442 5390 19333 | 30579 19969 310 | 0.000 % |
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-1875304-1245195607/watcher-1875304-1245195607 -o /tmp/evaluation-result-1875304-1245195607/solver-1875304-1245195607 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875304-1245195607.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.99 0.98 0.99 3/64 10262 /proc/meminfo: memFree=1865368/2055920 swapFree=4191900/4192956 [pid=10262] ppid=10260 vsize=3060 CPUtime=0 /proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 261 0 0 0 0 0 0 0 18 0 1 0 72293697 3133440 245 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0 /proc/10262/statm: 765 251 125 292 0 424 0 [startup+0.084289 s] /proc/loadavg: 0.99 0.98 0.99 3/64 10262 /proc/meminfo: memFree=1865368/2055920 swapFree=4191900/4192956 [pid=10262] ppid=10260 vsize=4880 CPUtime=0.08 /proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 806 0 0 0 8 0 0 0 18 0 1 0 72293697 4997120 744 1992294400 134512640 135709839 4294956240 18446744073709551615 134518512 0 0 4096 3 0 0 0 17 1 0 0 /proc/10262/statm: 1220 744 135 292 0 925 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 4880 [startup+0.101293 s] /proc/loadavg: 0.99 0.98 0.99 3/64 10262 /proc/meminfo: memFree=1865368/2055920 swapFree=4191900/4192956 [pid=10262] ppid=10260 vsize=4880 CPUtime=0.09 /proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 808 0 0 0 9 0 0 0 18 0 1 0 72293697 4997120 746 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10262/statm: 1220 746 135 292 0 925 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4880 [startup+0.301333 s] /proc/loadavg: 0.99 0.98 0.99 3/64 10262 /proc/meminfo: memFree=1865368/2055920 swapFree=4191900/4192956 [pid=10262] ppid=10260 vsize=5232 CPUtime=0.29 /proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 923 0 0 0 29 0 0 0 19 0 1 0 72293697 5357568 861 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10262/statm: 1308 861 136 292 0 1013 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5232 [startup+0.701413 s] /proc/loadavg: 0.99 0.98 0.99 3/64 10262 /proc/meminfo: memFree=1865368/2055920 swapFree=4191900/4192956 [pid=10262] ppid=10260 vsize=5760 CPUtime=0.69 /proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 1064 0 0 0 69 0 0 0 22 0 1 0 72293697 5898240 1002 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10262/statm: 1440 1002 136 292 0 1145 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5760 [startup+1.50157 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10263 /proc/meminfo: memFree=1861328/2055920 swapFree=4191900/4192956 [pid=10262] ppid=10260 vsize=7212 CPUtime=1.5 /proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 1422 0 0 0 148 2 0 0 25 0 1 0 72293697 7385088 1360 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10262/statm: 1803 1360 136 292 0 1508 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 7212 [startup+3.10189 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10263 /proc/meminfo: memFree=1859216/2055920 swapFree=4191900/4192956 [pid=10262] ppid=10260 vsize=9984 CPUtime=3.09 /proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 2118 0 0 0 306 3 0 0 25 0 1 0 72293697 10223616 2056 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10262/statm: 2496 2056 136 292 0 2201 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9984 [startup+6.30153 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10263 /proc/meminfo: memFree=1854224/2055920 swapFree=4191900/4192956 [pid=10262] ppid=10260 vsize=14376 CPUtime=6.28 /proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 3225 0 0 0 624 4 0 0 25 0 1 0 72293697 14721024 3163 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10262/statm: 3594 3163 136 292 0 3299 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 14376 [startup+12.7018 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10263 /proc/meminfo: memFree=1849552/2055920 swapFree=4191900/4192956 [pid=10262] ppid=10260 vsize=18668 CPUtime=12.69 /proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 4277 0 0 0 1260 9 0 0 25 0 1 0 72293697 19116032 4215 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10262/statm: 4667 4215 136 292 0 4372 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18668 [startup+25.5014 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10263 /proc/meminfo: memFree=1828880/2055920 swapFree=4191900/4192956 [pid=10262] ppid=10260 vsize=38948 CPUtime=25.48 /proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 9364 0 0 0 2530 18 0 0 25 0 1 0 72293697 39882752 9302 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10262/statm: 9737 9302 136 292 0 9442 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 38948 [startup+51.1015 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10263 /proc/meminfo: memFree=1796880/2055920 swapFree=4191900/4192956 [pid=10262] ppid=10260 vsize=71040 CPUtime=51.07 /proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 17386 0 0 0 5074 33 0 0 25 0 1 0 72293697 72744960 17324 1992294400 134512640 135709839 4294956240 18446744073709551615 134572576 0 0 4096 3 0 0 0 17 1 0 0 /proc/10262/statm: 17760 17324 136 292 0 17465 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 71040 [startup+102.306 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10263 /proc/meminfo: memFree=1742928/2055920 swapFree=4191900/4192956 [pid=10262] ppid=10260 vsize=124544 CPUtime=102.26 /proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 30719 0 0 0 10169 57 0 0 25 0 1 0 72293697 127533056 30657 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 1 0 0 /proc/10262/statm: 31136 30657 136 292 0 30841 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 124544 [startup+162.303 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10263 /proc/meminfo: memFree=1680720/2055920 swapFree=4191900/4192956 [pid=10262] ppid=10260 vsize=187300 CPUtime=162.23 /proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 46396 0 0 0 16142 81 0 0 25 0 1 0 72293697 191795200 46334 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 1 0 0 /proc/10262/statm: 46825 46334 136 292 0 46530 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 187300 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10263 /proc/meminfo: memFree=1619536/2055920 swapFree=4191900/4192956 [pid=10262] ppid=10260 vsize=247896 CPUtime=222.2 /proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 61502 0 0 0 22113 107 0 0 25 0 1 0 72293697 253845504 61440 1992294400 134512640 135709839 4294956240 18446744073709551615 134573964 0 0 4096 3 0 0 0 17 1 0 0 /proc/10262/statm: 61974 61440 136 292 0 61679 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 247896 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10263 /proc/meminfo: memFree=1563664/2055920 swapFree=4191900/4192956 [pid=10262] ppid=10260 vsize=304536 CPUtime=282.19 /proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 75637 0 0 0 28086 133 0 0 25 0 1 0 72293697 311844864 75575 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10262/statm: 76134 75575 136 292 0 75839 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 304536 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10263 /proc/meminfo: memFree=1501072/2055920 swapFree=4191900/4192956 [pid=10262] ppid=10260 vsize=366496 CPUtime=342.16 /proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 91083 0 0 0 34056 160 0 0 25 0 1 0 72293697 375291904 91021 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10262/statm: 91624 91021 136 292 0 91329 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 366496 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10263 /proc/meminfo: memFree=1446096/2055920 swapFree=4191900/4192956 [pid=10262] ppid=10260 vsize=421800 CPUtime=402.14 /proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 104910 0 0 0 40030 184 0 0 25 0 1 0 72293697 431923200 104848 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10262/statm: 105450 104848 136 292 0 105155 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 421800 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10263 /proc/meminfo: memFree=1388240/2055920 swapFree=4191900/4192956 [pid=10262] ppid=10260 vsize=479388 CPUtime=462.12 /proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 119299 0 0 0 46003 209 0 0 25 0 1 0 72293697 490893312 119237 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10262/statm: 119847 119237 136 292 0 119552 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 479388 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10263 /proc/meminfo: memFree=1332304/2055920 swapFree=4191900/4192956 [pid=10262] ppid=10260 vsize=536076 CPUtime=522.09 /proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 133462 0 0 0 51974 235 0 0 25 0 1 0 72293697 548941824 133400 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/10262/statm: 134019 133400 136 292 0 133724 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 536076 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10263 /proc/meminfo: memFree=1281232/2055920 swapFree=4191900/4192956 [pid=10262] ppid=10260 vsize=586224 CPUtime=582.07 /proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 145958 0 0 0 57948 259 0 0 25 0 1 0 72293697 600293376 145896 1992294400 134512640 135709839 4294956240 18446744073709551615 134573697 0 0 4096 3 0 0 0 17 1 0 0 /proc/10262/statm: 146556 145896 136 292 0 146261 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 586224 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10263 /proc/meminfo: memFree=1237520/2055920 swapFree=4191900/4192956 [pid=10262] ppid=10260 vsize=629844 CPUtime=642.05 /proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 156761 0 0 0 63926 279 0 0 25 0 1 0 72293697 644960256 156699 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/10262/statm: 157461 156699 136 292 0 157166 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 629844 [startup+702.302 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10265 /proc/meminfo: memFree=1125328/2055920 swapFree=4191900/4192956 [pid=10262] ppid=10260 vsize=741684 CPUtime=941.93 /proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 184713 0 0 0 93830 363 0 0 25 0 1 0 72293697 759484416 184620 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10262/statm: 185421 184620 136 292 0 185126 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 741684 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10265 /proc/meminfo: memFree=1104400/2055920 swapFree=4191900/4192956 [pid=10262] ppid=10260 vsize=761356 CPUtime=1001.91 /proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 189997 0 0 0 99805 386 0 0 25 0 1 0 72293697 779628544 189904 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/10262/statm: 190339 189904 136 292 0 190044 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 761356 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10265 /proc/meminfo: memFree=1052944/2055920 swapFree=4191900/4192956 [pid=10262] ppid=10260 vsize=813096 CPUtime=1061.88 /proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 202916 0 0 0 105778 410 0 0 25 0 1 0 72293697 832610304 202823 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10262/statm: 203274 202823 136 292 0 202979 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 813096 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10265 /proc/meminfo: memFree=1011472/2055920 swapFree=4191900/4192956 [pid=10262] ppid=10260 vsize=854404 CPUtime=1121.87 /proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 213212 0 0 0 111757 430 0 0 25 0 1 0 72293697 874909696 213119 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10262/statm: 213601 213119 136 292 0 213306 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 854404 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10265 /proc/meminfo: memFree=972240/2055920 swapFree=4191900/4192956 [pid=10262] ppid=10260 vsize=893564 CPUtime=1181.84 /proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 222998 0 0 0 117736 448 0 0 25 0 1 0 72293697 915009536 222905 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10262/statm: 223391 222905 136 292 0 223096 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 893564 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10265 /proc/meminfo: memFree=932880/2055920 swapFree=4191900/4192956 [pid=10262] ppid=10260 vsize=932844 CPUtime=1241.82 /proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 232800 0 0 0 123713 469 0 0 25 0 1 0 72293697 955232256 232707 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10262/statm: 233211 232707 136 292 0 232916 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 932844 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10271 /proc/meminfo: memFree=879056/2055920 swapFree=4191900/4192956 [pid=10262] ppid=10260 vsize=986260 CPUtime=1301.8 /proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 246126 0 0 0 129687 493 0 0 25 0 1 0 72293697 1009930240 246033 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10262/statm: 246565 246033 136 292 0 246270 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 986260 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10271 /proc/meminfo: memFree=826064/2055920 swapFree=4191900/4192956 [pid=10262] ppid=10260 vsize=1039784 CPUtime=1361.78 /proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 259481 0 0 0 135659 519 0 0 25 0 1 0 72293697 1064738816 259388 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 1 0 0 /proc/10262/statm: 259946 259388 136 292 0 259651 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 1039784 [startup+1422.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10271 /proc/meminfo: memFree=775312/2055920 swapFree=4191900/4192956 [pid=10262] ppid=10260 vsize=1090152 CPUtime=1421.75 /proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 272053 0 0 0 141637 538 0 0 25 0 1 0 72293697 1116315648 271960 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10262/statm: 272538 271960 136 292 0 272243 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 1090152 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10271 /proc/meminfo: memFree=734992/2055920 swapFree=4191900/4192956 [pid=10262] ppid=10260 vsize=1131012 CPUtime=1481.73 /proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 282257 0 0 0 147620 553 0 0 25 0 1 0 72293697 1158156288 282164 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10262/statm: 282753 282164 136 292 0 282458 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 1131012 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10271 /proc/meminfo: memFree=677840/2055920 swapFree=4191900/4192956 [pid=10262] ppid=10260 vsize=1187616 CPUtime=1541.71 /proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 296379 0 0 0 153593 578 0 0 25 0 1 0 72293697 1216118784 296286 1992294400 134512640 135709839 4294956240 18446744073709551615 134573815 0 0 4096 3 0 0 0 17 1 0 0 /proc/10262/statm: 296904 296286 136 292 0 296609 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 1187616 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10271 /proc/meminfo: memFree=617552/2055920 swapFree=4191900/4192956 [pid=10262] ppid=10260 vsize=1248536 CPUtime=1601.68 /proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 311607 0 0 0 159565 603 0 0 25 0 1 0 72293697 1278500864 311514 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10262/statm: 312134 311514 136 292 0 311839 0 Current children cumulated CPU time (s) 1601.68 Current children cumulated vsize (KiB) 1248536 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10271 /proc/meminfo: memFree=561808/2055920 swapFree=4191900/4192956 [pid=10262] ppid=10260 vsize=1303408 CPUtime=1661.66 /proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 325322 0 0 0 165538 628 0 0 25 0 1 0 72293697 1334689792 325229 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/10262/statm: 325852 325229 136 292 0 325557 0 Current children cumulated CPU time (s) 1661.66 Current children cumulated vsize (KiB) 1303408 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10271 /proc/meminfo: memFree=509776/2055920 swapFree=4191900/4192956 [pid=10262] ppid=10260 vsize=1355848 CPUtime=1721.63 /proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 338418 0 0 0 171512 651 0 0 25 0 1 0 72293697 1388388352 338325 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 1 0 0 /proc/10262/statm: 338962 338325 136 292 0 338667 0 Current children cumulated CPU time (s) 1721.63 Current children cumulated vsize (KiB) 1355848 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10271 /proc/meminfo: memFree=456592/2055920 swapFree=4191900/4192956 [pid=10262] ppid=10260 vsize=1408832 CPUtime=1781.61 /proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 351650 0 0 0 177487 674 0 0 25 0 1 0 72293697 1442643968 351557 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10262/statm: 352208 351557 136 292 0 351913 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (KiB) 1408832 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10271 /proc/meminfo: memFree=437456/2055920 swapFree=4191900/4192956 [pid=10262] ppid=10260 vsize=1427392 CPUtime=1800.02 /proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4194304 356305 0 0 0 179320 682 0 0 25 0 1 0 72293697 1461649408 356212 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10262/statm: 356848 356212 136 292 0 356553 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1427392 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: 0.99 0.98 0.99 2/65 10271 /proc/meminfo: memFree=437456/2055920 swapFree=4191900/4192956 [pid=10262] ppid=10260 vsize=0 CPUtime=1800.12 /proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4195332 356305 0 0 0 179320 692 0 0 25 0 1 0 72293697 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/10262/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 0 [startup+1800.9 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10271 /proc/meminfo: memFree=437456/2055920 swapFree=4191900/4192956 [pid=10262] ppid=10260 vsize=0 CPUtime=1800.21 /proc/10262/stat : 10262 (wbo) R 10260 10262 8935 0 -1 4195332 356305 0 0 0 179320 701 0 0 25 0 1 0 72293697 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/10262/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.93 CPU time (s): 1800.24 CPU user time (s): 1793.2 CPU system time (s): 7.04193 CPU usage (%): 99.9621 Max. virtual memory (cumulated for all children) (KiB): 1427392 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.2 system time used= 7.04193 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 356305 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= 2979 runsolver used 1.39479 second user time and 3.62445 second system time The end
Begin job on node33 at 2009-06-17 01:40:07 IDJOB=1875304 IDBENCH=48144 IDSOLVER=698 FILE ID=node33/1875304-1245195607 PBS_JOBID= 9368299 Free space on /tmp= 65952 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_10_3.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-1875304-1245195607/watcher-1875304-1245195607 -o /tmp/evaluation-result-1875304-1245195607/solver-1875304-1245195607 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875304-1245195607.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9e4e432c8df29dadb31632f81ac67b02 RANDOM SEED=1056677644 node33.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.261 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 : 5914.62 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.261 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: 1865976 kB Buffers: 44964 kB Cached: 89496 kB SwapCached: 384 kB Active: 83132 kB Inactive: 64716 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1865976 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 2408 kB Writeback: 0 kB Mapped: 21808 kB Slab: 28140 kB Committed_AS: 146012 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-1875304-1245195607.opb Free space on /tmp at the end= 65952 MiB End job on node33 at 2009-06-17 02:10:10