Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | ? (MO) | 867.367 | 867.587 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_10_3_40.opb |
MD5SUM | b34a3a1ecfe6709c99accfc445aa8e8f |
Bench Category | DEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.922859 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 400 |
Total number of constraints | 602 |
Number of constraints which are clauses | 200 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 401 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 400 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 40 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 400 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 4976 |
Sum of products size (including duplicates) | 9952 |
Number of different products | 2488 |
Sum of products size | 4976 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2671249-1276722109.opb. 0.00/0.00 c Instance file HOME/instance-2671249-1276722109.opb 0.00/0.00 c File size is 219298 bytes. 0.00/0.03 c Highest Coefficient sum: 400 0.00/0.03 c ============================[ Problem Statistics ]============================= 0.00/0.03 c | | 0.00/0.03 c | Parsing time: 0.04 s | 0.00/0.03 c | Number Variables: 2888 | 0.00/0.03 c | Number Clauses: 2688 | 0.00/0.03 c | Number Cardinality: 403 | 0.00/0.03 c | Number PB Constraints: 2488 | 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 2888 5579 21304 | 5000 0 nan | 0.000 % | 0.29/0.30 c | 161 | 2888 5579 21304 | 5500 161 279 | 0.000 % | 0.29/0.36 c | 311 | 2888 5579 21304 | 6050 311 171 | 0.000 % | 0.39/0.43 c | 536 | 2888 5579 21304 | 6655 536 237 | 0.000 % | 0.49/0.52 c | 873 | 2888 5579 21304 | 7320 873 269 | 0.000 % | 0.59/0.64 c | 1379 | 2888 5579 21304 | 8052 1379 287 | 0.000 % | 0.89/0.90 c | 2138 | 2888 5579 21304 | 8857 2138 208 | 0.000 % | 1.19/1.22 c | 3277 | 2888 5579 21304 | 9743 3277 249 | 0.000 % | 1.69/1.75 c | 4985 | 2888 5579 21304 | 10717 4985 271 | 0.000 % | 2.79/2.85 c | 7547 | 2888 5579 21304 | 11789 7547 286 | 0.000 % | 4.89/4.92 c | 11391 | 2888 5579 21304 | 12968 11391 223 | 0.000 % | 6.99/7.01 c | 17157 | 2888 5579 21304 | 14265 9298 239 | 0.000 % | 10.08/10.12 c | 25806 | 2888 5579 21304 | 15692 9418 318 | 0.000 % | 16.89/16.90 c | 38780 | 2888 5579 21304 | 17261 13153 318 | 0.000 % | 40.28/40.31 c | 58241 | 2888 5579 21304 | 18987 12591 335 | 0.000 % | 60.07/60.12 c | 87433 | 2888 5579 21304 | 20886 20441 155 | 0.000 % | 92.46/92.57 c | 131222 | 2888 5579 21304 | 22974 14376 160 | 0.000 % | 133.46/133.51 c | 196906 | 2888 5579 21304 | 25272 20841 326 | 0.000 % | 172.55/172.69 c | 295432 | 2888 5579 21304 | 27799 17020 311 | 0.000 % | 262.53/262.61 c | 443222 | 2888 5579 21304 | 30579 12321 204 | 0.000 % | 392.99/393.10 c | 664905 | 2888 5579 21304 | 33637 12951 302 | 0.000 % | 593.35/593.51 c | 997431 | 2888 5579 21304 | 37001 18643 309 | 0.000 % | 845.69/845.97 c | 1496219 | 2888 5579 21304 | 40701 34562 305 | 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-2671249-1276722109/watcher-2671249-1276722109 -o /tmp/evaluation-result-2671249-1276722109/solver-2671249-1276722109 -C 1800 -W 2000 -M 1800 wbo1.4a -file-format=opb -time-limit=1800 HOME/instance-2671249-1276722109.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 2/106 20322 /proc/meminfo: memFree=1688292/2059040 swapFree=4192952/4192956 [pid=20322] ppid=20320 vsize=3204 CPUtime=0 /proc/20322/stat : 20322 (wbo1.4a) R 20320 20322 19511 0 -1 4202496 379 0 0 0 0 0 0 0 20 0 1 0 13503799 3280896 297 1992294400 134512640 135751879 4291083472 18446744073709551615 134613740 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20322/statm: 801 297 137 303 0 442 0 [startup+0.089421 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20322 /proc/meminfo: memFree=1688292/2059040 swapFree=4192952/4192956 [pid=20322] ppid=20320 vsize=3820 CPUtime=0.08 /proc/20322/stat : 20322 (wbo1.4a) R 20320 20322 19511 0 -1 4202496 640 0 0 0 8 0 0 0 20 0 1 0 13503799 3911680 504 1992294400 134512640 135751879 4291083472 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20322/statm: 955 504 142 303 0 650 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3820 [startup+0.101421 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20322 /proc/meminfo: memFree=1688292/2059040 swapFree=4192952/4192956 [pid=20322] ppid=20320 vsize=3820 CPUtime=0.09 /proc/20322/stat : 20322 (wbo1.4a) R 20320 20322 19511 0 -1 4202496 643 0 0 0 9 0 0 0 20 0 1 0 13503799 3911680 507 1992294400 134512640 135751879 4291083472 18446744073709551615 134606453 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20322/statm: 955 507 142 303 0 650 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3820 [startup+0.301441 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20322 /proc/meminfo: memFree=1688292/2059040 swapFree=4192952/4192956 [pid=20322] ppid=20320 vsize=3948 CPUtime=0.29 /proc/20322/stat : 20322 (wbo1.4a) R 20320 20322 19511 0 -1 4202496 666 0 0 0 29 0 0 0 20 0 1 0 13503799 4042752 530 1992294400 134512640 135751879 4291083472 18446744073709551615 134606354 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20322/statm: 987 530 142 303 0 682 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3948 [startup+0.70148 s] /proc/loadavg: 1.00 1.00 1.00 2/106 20322 /proc/meminfo: memFree=1688292/2059040 swapFree=4192952/4192956 [pid=20322] ppid=20320 vsize=5500 CPUtime=0.69 /proc/20322/stat : 20322 (wbo1.4a) R 20320 20322 19511 0 -1 4202496 1060 0 0 0 68 1 0 0 21 0 1 0 13503799 5632000 924 1992294400 134512640 135751879 4291083472 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20322/statm: 1375 924 143 303 0 1070 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5500 [startup+1.50056 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20323 /proc/meminfo: memFree=1684812/2059040 swapFree=4192952/4192956 [pid=20322] ppid=20320 vsize=8476 CPUtime=1.49 /proc/20322/stat : 20322 (wbo1.4a) R 20320 20322 19511 0 -1 4202496 1811 0 0 0 147 2 0 0 23 0 1 0 13503799 8679424 1675 1992294400 134512640 135751879 4291083472 18446744073709551615 134604729 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20322/statm: 2119 1675 143 303 0 1814 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8476 [startup+3.10072 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20323 /proc/meminfo: memFree=1679976/2059040 swapFree=4192952/4192956 [pid=20322] ppid=20320 vsize=13416 CPUtime=3.09 /proc/20322/stat : 20322 (wbo1.4a) R 20320 20322 19511 0 -1 4202496 3048 0 0 0 306 3 0 0 25 0 1 0 13503799 13737984 2912 1992294400 134512640 135751879 4291083472 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20322/statm: 3354 2912 143 303 0 3049 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13416 [startup+6.30103 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20323 /proc/meminfo: memFree=1673280/2059040 swapFree=4192952/4192956 [pid=20322] ppid=20320 vsize=21160 CPUtime=6.29 /proc/20322/stat : 20322 (wbo1.4a) R 20320 20322 19511 0 -1 4202496 4988 0 0 0 624 5 0 0 25 0 1 0 13503799 21667840 4852 1992294400 134512640 135751879 4291083472 18446744073709551615 134606320 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20322/statm: 5290 4852 143 303 0 4985 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21160 [startup+12.7007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20323 /proc/meminfo: memFree=1651456/2059040 swapFree=4192952/4192956 [pid=20322] ppid=20320 vsize=39712 CPUtime=12.68 /proc/20322/stat : 20322 (wbo1.4a) R 20320 20322 19511 0 -1 4202496 9591 0 0 0 1257 11 0 0 25 0 1 0 13503799 40665088 9455 1992294400 134512640 135751879 4291083472 18446744073709551615 134604768 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20322/statm: 9928 9455 143 303 0 9623 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 39712 [startup+25.5019 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20323 /proc/meminfo: memFree=1633476/2059040 swapFree=4192952/4192956 [pid=20322] ppid=20320 vsize=57356 CPUtime=25.49 /proc/20322/stat : 20322 (wbo1.4a) R 20320 20322 19511 0 -1 4202496 13995 0 0 0 2532 17 0 0 25 0 1 0 13503799 58732544 13859 1992294400 134512640 135751879 4291083472 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20322/statm: 14339 13859 143 303 0 14034 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 57356 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20323 /proc/meminfo: memFree=1601236/2059040 swapFree=4192952/4192956 [pid=20322] ppid=20320 vsize=90100 CPUtime=51.08 /proc/20322/stat : 20322 (wbo1.4a) R 20320 20322 19511 0 -1 4202496 22158 0 0 0 5080 28 0 0 25 0 1 0 13503799 92262400 22022 1992294400 134512640 135751879 4291083472 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20322/statm: 22525 22022 143 303 0 22220 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 90100 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20325 /proc/meminfo: memFree=1537872/2059040 swapFree=4192952/4192956 [pid=20322] ppid=20320 vsize=152824 CPUtime=102.27 /proc/20322/stat : 20322 (wbo1.4a) R 20320 20322 19511 0 -1 4202496 37834 0 0 0 10173 54 0 0 25 0 1 0 13503799 156491776 37698 1992294400 134512640 135751879 4291083472 18446744073709551615 134610726 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20322/statm: 38206 37698 143 303 0 37901 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 152824 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 3/107 20327 /proc/meminfo: memFree=1374564/2059040 swapFree=4192952/4192956 [pid=20322] ppid=20320 vsize=317628 CPUtime=162.25 /proc/20322/stat : 20322 (wbo1.4a) R 20320 20322 19511 0 -1 4202496 78992 0 0 0 16125 100 0 0 25 0 1 0 13503799 325251072 78856 1992294400 134512640 135751879 4291083472 18446744073709551615 134611167 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20322/statm: 79407 78856 143 303 0 79102 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 317628 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20329 /proc/meminfo: memFree=1281936/2059040 swapFree=4192952/4192956 [pid=20322] ppid=20320 vsize=408676 CPUtime=222.24 /proc/20322/stat : 20322 (wbo1.4a) R 20320 20322 19511 0 -1 4202496 101698 0 0 0 22085 139 0 0 25 0 1 0 13503799 418484224 101562 1992294400 134512640 135751879 4291083472 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20322/statm: 102169 101562 143 303 0 101864 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 408676 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20329 /proc/meminfo: memFree=1164136/2059040 swapFree=4192952/4192956 [pid=20322] ppid=20320 vsize=528004 CPUtime=282.22 /proc/20322/stat : 20322 (wbo1.4a) R 20320 20322 19511 0 -1 4202496 131528 0 0 0 28040 182 0 0 25 0 1 0 13503799 540676096 131392 1992294400 134512640 135751879 4291083472 18446744073709551615 134606273 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20322/statm: 132001 131392 143 303 0 131696 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 528004 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20331 /proc/meminfo: memFree=1037780/2059040 swapFree=4192952/4192956 [pid=20322] ppid=20320 vsize=652708 CPUtime=342.2 /proc/20322/stat : 20322 (wbo1.4a) R 20320 20322 19511 0 -1 4202496 162669 0 0 0 33995 225 0 0 25 0 1 0 13503799 668372992 162533 1992294400 134512640 135751879 4291083472 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20322/statm: 163177 162533 143 303 0 162872 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 652708 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20333 /proc/meminfo: memFree=911300/2059040 swapFree=4192952/4192956 [pid=20322] ppid=20320 vsize=780128 CPUtime=402.19 /proc/20322/stat : 20322 (wbo1.4a) R 20320 20322 19511 0 -1 4202496 194539 0 0 0 39949 270 0 0 25 0 1 0 13503799 798851072 194403 1992294400 134512640 135751879 4291083472 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20322/statm: 195032 194403 143 303 0 194727 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 780128 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20335 /proc/meminfo: memFree=783456/2059040 swapFree=4192952/4192956 [pid=20322] ppid=20320 vsize=906332 CPUtime=462.18 /proc/20322/stat : 20322 (wbo1.4a) R 20320 20322 19511 0 -1 4202496 226065 0 0 0 45906 312 0 0 25 0 1 0 13503799 928083968 225929 1992294400 134512640 135751879 4291083472 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20322/statm: 226583 225929 143 303 0 226278 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 906332 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20337 /proc/meminfo: memFree=663672/2059040 swapFree=4192952/4192956 [pid=20322] ppid=20320 vsize=1029072 CPUtime=522.16 /proc/20322/stat : 20322 (wbo1.4a) R 20320 20322 19511 0 -1 4202496 256729 0 0 0 51866 350 0 0 25 0 1 0 13503799 1053769728 256593 1992294400 134512640 135751879 4291083472 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20322/statm: 257268 256593 143 303 0 256963 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 1029072 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 3/107 20337 /proc/meminfo: memFree=520948/2059040 swapFree=4192952/4192956 [pid=20322] ppid=20320 vsize=1168960 CPUtime=582.14 /proc/20322/stat : 20322 (wbo1.4a) R 20320 20322 19511 0 -1 4202496 291687 0 0 0 57820 394 0 0 25 0 1 0 13503799 1197015040 291551 1992294400 134512640 135751879 4291083472 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20322/statm: 292240 291551 143 303 0 291935 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 1168960 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20339 /proc/meminfo: memFree=375124/2059040 swapFree=4192952/4192956 [pid=20322] ppid=20320 vsize=1313240 CPUtime=642.14 /proc/20322/stat : 20322 (wbo1.4a) R 20320 20322 19511 0 -1 4202496 327753 0 0 0 63774 440 0 0 25 0 1 0 13503799 1344757760 327617 1992294400 134512640 135751879 4291083472 18446744073709551615 134616879 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20322/statm: 328310 327617 143 303 0 328005 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 1313240 [startup+702.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20341 /proc/meminfo: memFree=220992/2059040 swapFree=4192952/4192956 [pid=20322] ppid=20320 vsize=1468380 CPUtime=702.12 /proc/20322/stat : 20322 (wbo1.4a) R 20320 20322 19511 0 -1 4202496 366568 0 0 0 69726 486 0 0 25 0 1 0 13503799 1503621120 366432 1992294400 134512640 135751879 4291083472 18446744073709551615 134518720 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20322/statm: 367095 366432 143 303 0 366790 0 Current children cumulated CPU time (s) 702.12 Current children cumulated vsize (KiB) 1468380 [startup+762.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20343 /proc/meminfo: memFree=61776/2059040 swapFree=4192952/4192956 [pid=20322] ppid=20320 vsize=1626148 CPUtime=762.11 /proc/20322/stat : 20322 (wbo1.4a) R 20320 20322 19511 0 -1 4202496 405973 0 0 0 75676 535 0 0 25 0 1 0 13503799 1665175552 405837 1992294400 134512640 135751879 4291083472 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20322/statm: 406537 405837 143 303 0 406232 0 Current children cumulated CPU time (s) 762.11 Current children cumulated vsize (KiB) 1626148 [startup+822.302 s] /proc/loadavg: 1.07 1.02 1.00 2/107 20345 /proc/meminfo: memFree=10668/2059040 swapFree=4192952/4192956 [pid=20322] ppid=20320 vsize=1774736 CPUtime=822.08 /proc/20322/stat : 20322 (wbo1.4a) R 20320 20322 19511 0 -1 4202496 443119 0 0 0 81626 582 0 0 25 0 1 0 13503799 1817329664 442983 1992294400 134512640 135751879 4291083472 18446744073709551615 134611181 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20322/statm: 443684 442983 143 303 0 443379 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 1774736 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+867.4 s] /proc/loadavg: 1.10 1.03 1.01 2/107 20345 /proc/meminfo: memFree=10196/2059040 swapFree=4180712/4192956 [pid=20322] ppid=20320 vsize=1843216 CPUtime=867.18 /proc/20322/stat : 20322 (wbo1.4a) R 20320 20322 19511 0 -1 4202496 460172 0 0 0 86107 611 0 0 25 0 1 0 13503799 1887453184 460036 1992294400 134512640 135751879 4291083472 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20322/statm: 460804 460036 143 303 0 460499 0 Current children cumulated CPU time (s) 867.18 Current children cumulated vsize (KiB) 1843216 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+867.508 s] /proc/loadavg: 1.10 1.03 1.01 2/107 20345 /proc/meminfo: memFree=10196/2059040 swapFree=4180712/4192956 [pid=20322] ppid=20320 vsize=0 CPUtime=867.28 /proc/20322/stat : 20322 (wbo1.4a) R 20320 20322 19511 0 -1 4203524 460172 0 0 0 86107 621 0 0 25 0 1 0 13503799 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/20322/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 867.28 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 867.587 CPU time (s): 867.367 CPU user time (s): 861.078 CPU system time (s): 6.28904 CPU usage (%): 99.9746 Max. virtual memory (cumulated for all children) (KiB): 1843216 getrusage(RUSAGE_CHILDREN,...) data: user time used= 861.078 system time used= 6.28904 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460172 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= 1 involuntary context switches= 707 runsolver used 1.50377 second user time and 4.03439 second system time The end
Begin job on node036 at 2010-06-16 23:01:49 IDJOB=2671249 IDBENCH=48322 IDSOLVER=1160 FILE ID=node036/2671249-1276722109 PBS_JOBID= 11174145 Free space on /tmp= 62524 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_200_10_3_40.opb COMMAND LINE= wbo1.4a -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2671249-1276722109/watcher-2671249-1276722109 -o /tmp/evaluation-result-2671249-1276722109/solver-2671249-1276722109 -C 1800 -W 2000 -M 1800 wbo1.4a -file-format=opb -time-limit=1800 HOME/instance-2671249-1276722109.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b34a3a1ecfe6709c99accfc445aa8e8f RANDOM SEED=256349700 node036.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.251 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.50 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.251 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1689316 kB Buffers: 89252 kB Cached: 138576 kB SwapCached: 4 kB Active: 136452 kB Inactive: 150892 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1689316 kB SwapTotal: 4192956 kB SwapFree: 4192952 kB Dirty: 2736 kB Writeback: 0 kB AnonPages: 59392 kB Mapped: 15464 kB Slab: 60496 kB PageTables: 4056 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179828 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2671249-1276722109.opb Free space on /tmp at the end= 62524 MiB End job on node036 at 2010-06-16 23:16:18