Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.33 | 1800.85 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_10_5.opb |
MD5SUM | 9b75ee50c2c62e6be495e8bd0a94fa2c |
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 | -96 |
Best CPU time to get the best result obtained on this benchmark | 1800.63 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -131 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1501 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
Number of terms in the objective function | 500 |
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 | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 12540 |
Sum of products size (including duplicates) | 25080 |
Number of different products | 6270 |
Sum of products size | 12540 |
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-1875428-1245210662.opb. 0.00/0.00 c Instance file HOME/instance-1875428-1245210662.opb 0.00/0.00 c File size is 563009 bytes. 0.01/0.09 c Highest Coefficient sum: 1000 0.01/0.09 c ============================[ Problem Statistics ]============================= 0.01/0.09 c | | 0.01/0.09 c | Parsing time: 0.09 s | 0.01/0.09 c | Number Variables: 7270 | 0.01/0.09 c | Number Clauses: 7270 | 0.01/0.09 c | Number Cardinality: 1002 | 0.01/0.09 c | Number PB Constraints: 6270 | 0.01/0.09 c core #1 0.01/0.09 c Core size: 1001 Core Weight: 1 Total Weight: -499 0.01/0.09 c Elapsed CPU time: 0.095985 s Remaining CPU time: 1799.9 s 0.09/0.12 c ============================[ Search Statistics ]============================== 0.09/0.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.12 c =============================================================================== 0.09/0.12 c | 0 | 7770 14543 54660 | 5000 0 nan | 0.000 % | 0.49/0.55 c | 100 | 7770 14543 54660 | 5500 100 98 | 0.425 % | 0.79/0.80 c | 250 | 7737 14543 54660 | 6050 248 243 | 0.425 % | 1.39/1.45 c | 475 | 7709 14543 54660 | 6655 471 173 | 2.201 % | 1.99/2.09 c =============================================================================== 2.09/2.11 c core #2 2.09/2.11 c Core size: 1398 Core Weight: 1 Total Weight: -498 2.09/2.11 c Elapsed CPU time: 2.09968 s Remaining CPU time: 1797.9 s 2.09/2.14 c Learning 119 hard constraints 2.09/2.14 c ============================[ Search Statistics ]============================== 2.09/2.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.09/2.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.09/2.14 c =============================================================================== 2.09/2.14 c | 0 | 8236 14663 55949 | 5000 0 nan | 0.000 % | 2.49/2.56 c | 100 | 8236 14663 55949 | 5500 100 339 | 0.000 % | 2.89/2.95 c | 250 | 8236 14663 55949 | 6050 250 275 | 0.000 % | 3.49/3.56 c | 475 | 8236 14663 55949 | 6655 475 260 | 0.000 % | 4.29/4.35 c | 812 | 8236 14663 55949 | 7320 812 291 | 0.000 % | 5.59/5.65 c | 1318 | 8236 14663 55949 | 8052 1318 314 | 0.000 % | 7.60/7.69 c | 2077 | 8236 14663 55949 | 8857 2077 319 | 0.001 % | 10.79/10.85 c | 3216 | 8236 14663 55949 | 9743 3216 332 | 0.002 % | 15.89/15.97 c | 4924 | 8220 14663 55949 | 10717 4754 344 | 0.195 % | 23.39/23.41 c | 7499 | 8218 14663 55949 | 11789 7329 365 | 0.364 % | 35.88/35.90 c | 11343 | 8206 14663 55949 | 12968 11050 404 | 0.364 % | 55.78/55.81 c | 17215 | 8088 14663 55949 | 14265 9669 431 | 4.201 % | 85.87/85.94 c | 25864 | 8076 14663 55949 | 15692 9632 432 | 5.391 % | 129.55/129.61 c | 38841 | 7765 14663 55949 | 17261 13870 469 | 7.480 % | 200.83/200.93 c | 58302 | 7436 14663 55949 | 18987 13571 471 | 13.443 % | 229.43/229.56 c =============================================================================== 232.42/232.50 c core #3 232.42/232.50 c Core size: 2984 Core Weight: 1 Total Weight: -497 232.42/232.50 c Elapsed CPU time: 231.848 s Remaining CPU time: 1568.15 s 232.52/232.61 c Learning 226 hard constraints 232.52/232.61 c ============================[ Search Statistics ]============================== 232.52/232.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.52/232.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.52/232.61 c =============================================================================== 232.52/232.61 c | 0 | 8736 14890 73009 | 5000 0 nan | 0.000 % | 233.02/233.18 c | 100 | 8736 14890 73009 | 5500 100 610 | 0.000 % | 233.62/233.76 c | 250 | 8736 14890 73009 | 6050 250 451 | 0.000 % | 234.32/234.50 c | 475 | 8736 14890 73009 | 6655 475 342 | 0.000 % | 235.82/235.96 c | 814 | 8736 14890 73009 | 7320 814 380 | 0.000 % | 237.92/238.08 c | 1320 | 8736 14890 73009 | 8052 1320 426 | 0.000 % | 240.83/240.91 c | 2079 | 8736 14890 73009 | 8857 2079 432 | 0.000 % | 245.22/245.31 c | 3218 | 8736 14890 73009 | 9743 3218 453 | 0.000 % | 250.42/250.59 c | 4929 | 8736 14890 73009 | 10717 4929 461 | 0.000 % | 259.42/259.55 c | 7525 | 8736 14890 73009 | 11789 7525 479 | 0.000 % | 275.71/275.80 c | 11499 | 8736 14890 73009 | 12968 11499 513 | 0.000 % | 308.20/308.32 c | 17266 | 8736 14890 73009 | 14265 10343 544 | 0.000 % | 345.69/345.84 c | 26037 | 8736 14890 73009 | 15692 10332 588 | 0.000 % | 399.57/399.70 c | 39011 | 8736 14890 73009 | 17261 13581 563 | 0.000 % | 491.85/492.01 c | 58474 | 8736 14890 73009 | 18987 13802 570 | 0.000 % | 630.11/630.39 c | 87666 | 8736 14890 73009 | 20886 19902 669 | 0.000 % | 840.64/840.91 c | 131455 | 8736 14890 73009 | 22974 15138 624 | 0.000 % | 1189.75/1190.13 c | 197146 | 8736 14890 73009 | 25272 25981 647 | 0.000 % | 1744.78/1745.30 c | 295672 | 8736 14890 73009 | 27799 26542 605 | 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-1875428-1245210662/watcher-1875428-1245210662 -o /tmp/evaluation-result-1875428-1245210662/solver-1875428-1245210662 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875428-1245210662.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.03 1.00 3/64 7050 /proc/meminfo: memFree=1856232/2055920 swapFree=4191900/4192956 [pid=7050] ppid=7048 vsize=3220 CPUtime=0 /proc/7050/stat : 7050 (wbo) R 7048 7050 6893 0 -1 4194304 254 0 0 0 0 0 0 0 18 0 1 0 188665508 3297280 238 1992294400 134512640 135709839 4294956240 18446744073709551615 135187168 0 0 4096 3 0 0 0 17 1 0 0 /proc/7050/statm: 805 238 125 292 0 372 0 [startup+0.015872 s] /proc/loadavg: 1.00 1.03 1.00 3/64 7050 /proc/meminfo: memFree=1856232/2055920 swapFree=4191900/4192956 [pid=7050] ppid=7048 vsize=4032 CPUtime=0.01 /proc/7050/stat : 7050 (wbo) R 7048 7050 6893 0 -1 4194304 456 0 0 0 1 0 0 0 18 0 1 0 188665508 4128768 440 1992294400 134512640 135709839 4294956240 18446744073709551615 134542970 0 0 4096 3 0 0 0 17 1 0 0 /proc/7050/statm: 1008 440 139 292 0 575 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4032 [startup+0.101882 s] /proc/loadavg: 1.00 1.03 1.00 3/64 7050 /proc/meminfo: memFree=1856232/2055920 swapFree=4191900/4192956 [pid=7050] ppid=7048 vsize=5980 CPUtime=0.09 /proc/7050/stat : 7050 (wbo) R 7048 7050 6893 0 -1 4194304 1158 0 0 0 9 0 0 0 18 0 1 0 188665508 6123520 1004 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/7050/statm: 1495 1005 134 292 0 1200 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5980 [startup+0.301904 s] /proc/loadavg: 1.00 1.03 1.00 3/64 7050 /proc/meminfo: memFree=1856232/2055920 swapFree=4191900/4192956 [pid=7050] ppid=7048 vsize=7012 CPUtime=0.29 /proc/7050/stat : 7050 (wbo) R 7048 7050 6893 0 -1 4194304 1536 0 0 0 29 0 0 0 19 0 1 0 188665508 7180288 1296 1992294400 134512640 135709839 4294956240 18446744073709551615 134518528 0 0 4096 3 0 0 0 17 1 0 0 /proc/7050/statm: 1753 1296 135 292 0 1458 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7012 [startup+0.701948 s] /proc/loadavg: 1.00 1.03 1.00 3/64 7050 /proc/meminfo: memFree=1856232/2055920 swapFree=4191900/4192956 [pid=7050] ppid=7048 vsize=7276 CPUtime=0.69 /proc/7050/stat : 7050 (wbo) R 7048 7050 6893 0 -1 4194304 1621 0 0 0 69 0 0 0 22 0 1 0 188665508 7450624 1381 1992294400 134512640 135709839 4294956240 18446744073709551615 134518154 0 0 4096 3 0 0 0 17 1 0 0 /proc/7050/statm: 1819 1381 136 292 0 1524 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7276 [startup+1.50104 s] /proc/loadavg: 1.00 1.03 1.00 2/65 7051 /proc/meminfo: memFree=1850720/2055920 swapFree=4191900/4192956 [pid=7050] ppid=7048 vsize=8464 CPUtime=1.49 /proc/7050/stat : 7050 (wbo) R 7048 7050 6893 0 -1 4194304 1887 0 0 0 149 0 0 0 25 0 1 0 188665508 8667136 1647 1992294400 134512640 135709839 4294956240 18446744073709551615 134518150 0 0 4096 3 0 0 0 17 1 0 0 /proc/7050/statm: 2116 1647 136 292 0 1821 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8464 [startup+3.10122 s] /proc/loadavg: 1.00 1.03 1.00 2/65 7051 /proc/meminfo: memFree=1849376/2055920 swapFree=4191900/4192956 [pid=7050] ppid=7048 vsize=10680 CPUtime=3.09 /proc/7050/stat : 7050 (wbo) R 7048 7050 6893 0 -1 4194304 2568 0 0 0 308 1 0 0 25 0 1 0 188665508 10936320 2236 1992294400 134512640 135709839 4294956240 18446744073709551615 134572728 0 0 4096 3 0 0 0 17 1 0 0 /proc/7050/statm: 2670 2236 136 292 0 2375 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10680 [startup+6.30157 s] /proc/loadavg: 1.00 1.03 1.00 3/65 7051 /proc/meminfo: memFree=1845728/2055920 swapFree=4191900/4192956 [pid=7050] ppid=7048 vsize=13980 CPUtime=6.28 /proc/7050/stat : 7050 (wbo) R 7048 7050 6893 0 -1 4194304 3400 0 0 0 626 2 0 0 25 0 1 0 188665508 14315520 3068 1992294400 134512640 135709839 4294956240 18446744073709551615 134577726 0 0 4096 3 0 0 0 17 1 0 0 /proc/7050/statm: 3495 3068 136 292 0 3200 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 13980 [startup+12.7013 s] /proc/loadavg: 1.00 1.02 1.00 2/65 7051 /proc/meminfo: memFree=1836648/2055920 swapFree=4191900/4192956 [pid=7050] ppid=7048 vsize=22564 CPUtime=12.68 /proc/7050/stat : 7050 (wbo) R 7048 7050 6893 0 -1 4194304 5540 0 0 0 1263 5 0 0 25 0 1 0 188665508 23105536 5208 1992294400 134512640 135709839 4294956240 18446744073709551615 134601316 0 0 4096 3 0 0 0 17 1 0 0 /proc/7050/statm: 5641 5208 136 292 0 5346 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 22564 [startup+25.5017 s] /proc/loadavg: 1.00 1.02 1.00 2/65 7051 /proc/meminfo: memFree=1820520/2055920 swapFree=4191900/4192956 [pid=7050] ppid=7048 vsize=38180 CPUtime=25.48 /proc/7050/stat : 7050 (wbo) R 7048 7050 6893 0 -1 4194304 9438 0 0 0 2538 10 0 0 25 0 1 0 188665508 39096320 9106 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/7050/statm: 9545 9106 136 292 0 9250 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 38180 [startup+51.1016 s] /proc/loadavg: 1.00 1.02 1.00 2/65 7051 /proc/meminfo: memFree=1789800/2055920 swapFree=4191900/4192956 [pid=7050] ppid=7048 vsize=69008 CPUtime=51.07 /proc/7050/stat : 7050 (wbo) R 7048 7050 6893 0 -1 4194304 17131 0 0 0 5090 17 0 0 25 0 1 0 188665508 70664192 16799 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/7050/statm: 17252 16799 136 292 0 16957 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 69008 [startup+102.305 s] /proc/loadavg: 1.00 1.02 1.00 2/65 7053 /proc/meminfo: memFree=1731880/2055920 swapFree=4191900/4192956 [pid=7050] ppid=7048 vsize=126244 CPUtime=102.26 /proc/7050/stat : 7050 (wbo) R 7048 7050 6893 0 -1 4194304 31438 0 0 0 10196 30 0 0 25 0 1 0 188665508 129273856 31106 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/7050/statm: 31561 31106 136 292 0 31266 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 126244 [startup+162.303 s] /proc/loadavg: 1.00 1.01 1.00 2/65 7053 /proc/meminfo: memFree=1660392/2055920 swapFree=4191900/4192956 [pid=7050] ppid=7048 vsize=198168 CPUtime=162.24 /proc/7050/stat : 7050 (wbo) R 7048 7050 6893 0 -1 4194304 49417 0 0 0 16183 41 0 0 25 0 1 0 188665508 202924032 49085 1992294400 134512640 135709839 4294956240 18446744073709551615 134518592 0 0 4096 3 0 0 0 17 1 0 0 /proc/7050/statm: 49542 49085 136 292 0 49247 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 198168 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7053 /proc/meminfo: memFree=1593640/2055920 swapFree=4191900/4192956 [pid=7050] ppid=7048 vsize=264168 CPUtime=222.23 /proc/7050/stat : 7050 (wbo) R 7048 7050 6893 0 -1 4194304 65907 0 0 0 22166 57 0 0 25 0 1 0 188665508 270508032 65575 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 1 0 0 /proc/7050/statm: 66042 65575 136 292 0 65747 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 264168 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7053 /proc/meminfo: memFree=1584872/2055920 swapFree=4191900/4192956 [pid=7050] ppid=7048 vsize=272836 CPUtime=282.21 /proc/7050/stat : 7050 (wbo) R 7048 7050 6893 0 -1 4194304 68070 0 0 0 28153 68 0 0 25 0 1 0 188665508 279384064 67738 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 1 0 0 /proc/7050/statm: 68209 67738 136 292 0 67914 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 272836 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7053 /proc/meminfo: memFree=1584744/2055920 swapFree=4191900/4192956 [pid=7050] ppid=7048 vsize=272836 CPUtime=342.19 /proc/7050/stat : 7050 (wbo) R 7048 7050 6893 0 -1 4194304 68090 0 0 0 34146 73 0 0 25 0 1 0 188665508 279384064 67758 1992294400 134512640 135709839 4294956240 18446744073709551615 134518593 0 0 4096 3 0 0 0 17 1 0 0 /proc/7050/statm: 68209 67758 136 292 0 67914 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 272836 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7053 /proc/meminfo: memFree=1578280/2055920 swapFree=4191900/4192956 [pid=7050] ppid=7048 vsize=280400 CPUtime=402.18 /proc/7050/stat : 7050 (wbo) R 7048 7050 6893 0 -1 4194304 69984 0 0 0 40140 78 0 0 25 0 1 0 188665508 287129600 69652 1992294400 134512640 135709839 4294956240 18446744073709551615 134518605 0 0 4096 3 0 0 0 17 1 0 0 /proc/7050/statm: 70100 69652 136 292 0 69805 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 280400 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7053 /proc/meminfo: memFree=1514984/2055920 swapFree=4191900/4192956 [pid=7050] ppid=7048 vsize=342660 CPUtime=462.16 /proc/7050/stat : 7050 (wbo) R 7048 7050 6893 0 -1 4194304 85563 0 0 0 46122 94 0 0 25 0 1 0 188665508 350883840 85231 1992294400 134512640 135709839 4294956240 18446744073709551615 134601448 0 0 4096 3 0 0 0 17 1 0 0 /proc/7050/statm: 85665 85231 136 292 0 85370 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 342660 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7053 /proc/meminfo: memFree=1458536/2055920 swapFree=4191900/4192956 [pid=7050] ppid=7048 vsize=399272 CPUtime=522.14 /proc/7050/stat : 7050 (wbo) R 7048 7050 6893 0 -1 4194304 99699 0 0 0 52105 109 0 0 25 0 1 0 188665508 408854528 99367 1992294400 134512640 135709839 4294956240 18446744073709551615 134518157 0 0 4096 3 0 0 0 17 1 0 0 /proc/7050/statm: 99818 99367 136 292 0 99523 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 399272 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7053 /proc/meminfo: memFree=1396008/2055920 swapFree=4191900/4192956 [pid=7050] ppid=7048 vsize=461664 CPUtime=582.12 /proc/7050/stat : 7050 (wbo) R 7048 7050 6893 0 -1 4194304 115302 0 0 0 58091 121 0 0 25 0 1 0 188665508 472743936 114970 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/7050/statm: 115416 114970 136 292 0 115121 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 461664 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7059 /proc/meminfo: memFree=1333856/2055920 swapFree=4191900/4192956 [pid=7050] ppid=7048 vsize=523004 CPUtime=642.11 /proc/7050/stat : 7050 (wbo) R 7048 7050 6893 0 -1 4194304 130643 0 0 0 64078 133 0 0 25 0 1 0 188665508 535556096 130311 1992294400 134512640 135709839 4294956240 18446744073709551615 134518528 0 0 4096 3 0 0 0 17 1 0 0 /proc/7050/statm: 130751 130311 136 292 0 130456 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 523004 [startup+702.302 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7059 /proc/meminfo: memFree=1103712/2055920 swapFree=4191900/4192956 [pid=7050] ppid=7048 vsize=752936 CPUtime=882.03 /proc/7050/stat : 7050 (wbo) R 7048 7050 6893 0 -1 4194304 188097 0 0 0 88018 185 0 0 25 0 1 0 188665508 771006464 187765 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/7050/statm: 188234 187765 136 292 0 187939 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 752936 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7059 /proc/meminfo: memFree=1061416/2055920 swapFree=4191900/4192956 [pid=7050] ppid=7048 vsize=795748 CPUtime=942.01 /proc/7050/stat : 7050 (wbo) R 7048 7050 6893 0 -1 4194304 198784 0 0 0 94006 195 0 0 25 0 1 0 188665508 814845952 198452 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/7050/statm: 198937 198452 136 292 0 198642 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 795748 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7059 /proc/meminfo: memFree=1010600/2055920 swapFree=4191900/4192956 [pid=7050] ppid=7048 vsize=845988 CPUtime=1002 /proc/7050/stat : 7050 (wbo) R 7048 7050 6893 0 -1 4194304 211324 0 0 0 99991 209 0 0 25 0 1 0 188665508 866291712 210992 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7050/statm: 211497 210992 136 292 0 211202 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 845988 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7059 /proc/meminfo: memFree=953576/2055920 swapFree=4191900/4192956 [pid=7050] ppid=7048 vsize=903340 CPUtime=1061.98 /proc/7050/stat : 7050 (wbo) R 7048 7050 6893 0 -1 4194304 225672 0 0 0 105974 224 0 0 25 0 1 0 188665508 925020160 225340 1992294400 134512640 135709839 4294956240 18446744073709551615 134518513 0 0 4096 3 0 0 0 17 1 0 0 /proc/7050/statm: 225835 225340 136 292 0 225540 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 903340 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7059 /proc/meminfo: memFree=899816/2055920 swapFree=4191900/4192956 [pid=7050] ppid=7048 vsize=956464 CPUtime=1121.96 /proc/7050/stat : 7050 (wbo) R 7048 7050 6893 0 -1 4194304 238954 0 0 0 111959 237 0 0 25 0 1 0 188665508 979419136 238622 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/7050/statm: 239116 238622 136 292 0 238821 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 956464 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7059 /proc/meminfo: memFree=839144/2055920 swapFree=4191900/4192956 [pid=7050] ppid=7048 vsize=1017756 CPUtime=1181.94 /proc/7050/stat : 7050 (wbo) R 7048 7050 6893 0 -1 4194304 254280 0 0 0 117944 250 0 0 25 0 1 0 188665508 1042182144 253948 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0 /proc/7050/statm: 254439 253948 136 292 0 254144 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 1017756 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7059 /proc/meminfo: memFree=786792/2055920 swapFree=4191900/4192956 [pid=7050] ppid=7048 vsize=1069148 CPUtime=1241.93 /proc/7050/stat : 7050 (wbo) R 7048 7050 6893 0 -1 4194304 267119 0 0 0 123931 262 0 0 25 0 1 0 188665508 1094807552 266787 1992294400 134512640 135709839 4294956240 18446744073709551615 134577653 0 0 4096 3 0 0 0 17 1 0 0 /proc/7050/statm: 267287 266787 136 292 0 266992 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 1069148 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7059 /proc/meminfo: memFree=741736/2055920 swapFree=4191900/4192956 [pid=7050] ppid=7048 vsize=1113996 CPUtime=1301.92 /proc/7050/stat : 7050 (wbo) R 7048 7050 6893 0 -1 4194304 278308 0 0 0 129920 272 0 0 25 0 1 0 188665508 1140731904 277976 1992294400 134512640 135709839 4294956240 18446744073709551615 134572568 0 0 4096 3 0 0 0 17 1 0 0 /proc/7050/statm: 278499 277976 136 292 0 278204 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 1113996 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7059 /proc/meminfo: memFree=691112/2055920 swapFree=4191900/4192956 [pid=7050] ppid=7048 vsize=1164848 CPUtime=1361.89 /proc/7050/stat : 7050 (wbo) R 7048 7050 6893 0 -1 4194304 291023 0 0 0 135906 283 0 0 25 0 1 0 188665508 1192804352 290691 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7050/statm: 291212 290691 136 292 0 290917 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 1164848 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7059 /proc/meminfo: memFree=639464/2055920 swapFree=4191900/4192956 [pid=7050] ppid=7048 vsize=1216032 CPUtime=1421.88 /proc/7050/stat : 7050 (wbo) R 7048 7050 6893 0 -1 4194304 303835 0 0 0 141895 293 0 0 25 0 1 0 188665508 1245216768 303503 1992294400 134512640 135709839 4294956240 18446744073709551615 134578399 0 0 4096 3 0 0 0 17 1 0 0 /proc/7050/statm: 304008 303503 136 292 0 303713 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1216032 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7059 /proc/meminfo: memFree=578408/2055920 swapFree=4191900/4192956 [pid=7050] ppid=7048 vsize=1277108 CPUtime=1481.86 /proc/7050/stat : 7050 (wbo) R 7048 7050 6893 0 -1 4194304 319097 0 0 0 147881 305 0 0 25 0 1 0 188665508 1307758592 318765 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/7050/statm: 319277 318765 136 292 0 318982 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1277108 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7059 /proc/meminfo: memFree=520168/2055920 swapFree=4191900/4192956 [pid=7050] ppid=7048 vsize=1335052 CPUtime=1541.84 /proc/7050/stat : 7050 (wbo) R 7048 7050 6893 0 -1 4194304 333590 0 0 0 153867 317 0 0 25 0 1 0 188665508 1367093248 333258 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/7050/statm: 333763 333258 136 292 0 333468 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 1335052 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7059 /proc/meminfo: memFree=466408/2055920 swapFree=4191900/4192956 [pid=7050] ppid=7048 vsize=1389364 CPUtime=1601.83 /proc/7050/stat : 7050 (wbo) R 7048 7050 6893 0 -1 4194304 347153 0 0 0 159855 328 0 0 25 0 1 0 188665508 1422708736 346821 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7050/statm: 347341 346821 136 292 0 347046 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 1389364 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7059 /proc/meminfo: memFree=415848/2055920 swapFree=4191900/4192956 [pid=7050] ppid=7048 vsize=1439204 CPUtime=1661.81 /proc/7050/stat : 7050 (wbo) R 7048 7050 6893 0 -1 4194304 359627 0 0 0 165843 338 0 0 25 0 1 0 188665508 1473744896 359295 1992294400 134512640 135709839 4294956240 18446744073709551615 134518605 0 0 4096 3 0 0 0 17 1 0 0 /proc/7050/statm: 359801 359295 136 292 0 359506 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 1439204 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7059 /proc/meminfo: memFree=368872/2055920 swapFree=4191900/4192956 [pid=7050] ppid=7048 vsize=1486740 CPUtime=1721.79 /proc/7050/stat : 7050 (wbo) R 7048 7050 6893 0 -1 4194304 371473 0 0 0 171829 350 0 0 25 0 1 0 188665508 1522421760 371141 1992294400 134512640 135709839 4294956240 18446744073709551615 134578476 0 0 4096 3 0 0 0 17 1 0 0 /proc/7050/statm: 371685 371141 136 292 0 371390 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 1486740 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7059 /proc/meminfo: memFree=310952/2055920 swapFree=4191900/4192956 [pid=7050] ppid=7048 vsize=1544152 CPUtime=1781.77 /proc/7050/stat : 7050 (wbo) R 7048 7050 6893 0 -1 4194304 385847 0 0 0 177814 363 0 0 25 0 1 0 188665508 1581211648 385515 1992294400 134512640 135709839 4294956240 18446744073709551615 134577786 0 0 4096 3 0 0 0 17 1 0 0 /proc/7050/statm: 386038 385515 136 292 0 385743 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 1544152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7059 /proc/meminfo: memFree=292200/2055920 swapFree=4191900/4192956 [pid=7050] ppid=7048 vsize=1562388 CPUtime=1800.07 /proc/7050/stat : 7050 (wbo) R 7048 7050 6893 0 -1 4194304 390392 0 0 0 179640 367 0 0 25 0 1 0 188665508 1599885312 390060 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/7050/statm: 390597 390060 136 292 0 390302 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1562388 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7059 /proc/meminfo: memFree=292200/2055920 swapFree=4191900/4192956 [pid=7050] ppid=7048 vsize=0 CPUtime=1800.26 /proc/7050/stat : 7050 (wbo) R 7048 7050 6893 0 -1 4195332 390392 0 0 0 179640 386 0 0 25 0 1 0 188665508 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/7050/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.26 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.85 CPU time (s): 1800.33 CPU user time (s): 1796.41 CPU system time (s): 3.9194 CPU usage (%): 99.9709 Max. virtual memory (cumulated for all children) (KiB): 1562388 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.41 system time used= 3.9194 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 390392 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 1776 runsolver used 1.39779 second user time and 3.60345 second system time The end
Begin job on node35 at 2009-06-17 05:51:02 IDJOB=1875428 IDBENCH=48268 IDSOLVER=698 FILE ID=node35/1875428-1245210662 PBS_JOBID= 9368389 Free space on /tmp= 66136 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_5.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-1875428-1245210662/watcher-1875428-1245210662 -o /tmp/evaluation-result-1875428-1245210662/solver-1875428-1245210662 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875428-1245210662.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9b75ee50c2c62e6be495e8bd0a94fa2c RANDOM SEED=505815638 node35.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.232 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.232 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: 1857160 kB Buffers: 22932 kB Cached: 103776 kB SwapCached: 384 kB Active: 31320 kB Inactive: 108792 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1857160 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 2560 kB Writeback: 0 kB Mapped: 21804 kB Slab: 44636 kB Committed_AS: 194780 kB PageTables: 1408 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-1875428-1245210662.opb Free space on /tmp at the end= 66132 MiB End job on node35 at 2009-06-17 06:21:05