Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | ? (MO) | 1636.96 | 1637.39 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_25_1_15.opb |
MD5SUM | 0df66f3e832b73f1cdf8165c8cc1c11b |
Bench Category | DEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
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 | 200 |
Total number of constraints | 302 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 201 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 200 |
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 | 15 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 6076 |
Sum of products size (including duplicates) | 12152 |
Number of different products | 3038 |
Sum of products size | 6076 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2671327-1276722808.opb. 0.00/0.00 c Instance file HOME/instance-2671327-1276722808.opb 0.00/0.00 c File size is 254878 bytes. 0.00/0.04 c Highest Coefficient sum: 200 0.00/0.04 c ============================[ Problem Statistics ]============================= 0.00/0.04 c | | 0.00/0.04 c | Parsing time: 0.04 s | 0.00/0.04 c | Number Variables: 3238 | 0.00/0.04 c | Number Clauses: 3138 | 0.00/0.04 c | Number Cardinality: 203 | 0.00/0.04 c | Number PB Constraints: 3038 | 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 3238 6379 25004 | 5000 0 nan | 0.000 % | 0.00/0.10 c | 100 | 3238 6379 25004 | 5500 100 147 | 0.000 % | 0.10/0.13 c | 251 | 3238 6379 25004 | 6050 251 92 | 0.000 % | 0.10/0.15 c | 476 | 3238 6379 25004 | 6655 476 127 | 0.000 % | 0.19/0.20 c | 813 | 3238 6379 25004 | 7320 813 139 | 0.000 % | 0.19/0.29 c | 1319 | 3238 6379 25004 | 8052 1319 147 | 0.000 % | 0.39/0.42 c | 2079 | 3238 6379 25004 | 8857 2079 154 | 0.000 % | 0.69/0.72 c | 3218 | 3238 6379 25004 | 9743 3218 122 | 0.000 % | 1.10/1.17 c | 4926 | 3238 6379 25004 | 10717 4926 112 | 0.000 % | 1.89/1.91 c | 7489 | 3238 6379 25004 | 11789 7489 110 | 0.000 % | 3.49/3.51 c | 11333 | 3238 6379 25004 | 12968 11333 127 | 0.000 % | 5.29/5.39 c | 17099 | 3238 6379 25004 | 14265 9037 154 | 0.000 % | 10.09/10.20 c | 25749 | 3238 6379 25004 | 15692 8973 164 | 0.000 % | 20.19/20.21 c | 38725 | 3238 6379 25004 | 17261 12546 164 | 0.000 % | 29.48/29.55 c | 58186 | 3238 6379 25004 | 18987 11585 171 | 0.000 % | 38.18/38.22 c | 87378 | 3238 6379 25004 | 20886 17931 172 | 0.000 % | 54.77/54.81 c | 131167 | 3238 6379 25004 | 22974 22021 170 | 0.000 % | 84.97/85.01 c | 196851 | 3238 6379 25004 | 25272 11599 172 | 0.000 % | 127.26/127.39 c | 295378 | 3238 6379 25004 | 27799 22951 166 | 0.000 % | 194.44/194.54 c | 443167 | 3238 6379 25004 | 30579 11871 168 | 0.000 % | 293.73/293.88 c | 664851 | 3238 6379 25004 | 33637 30755 168 | 0.000 % | 466.17/466.32 c | 997378 | 3238 6379 25004 | 37001 32569 158 | 0.000 % | 763.60/763.89 c | 1496168 | 3238 6379 25004 | 40701 20343 151 | 0.000 % | 1280.55/1280.95 c | 2244353 | 3238 6379 25004 | 44771 29766 150 | 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-2671327-1276722808/watcher-2671327-1276722808 -o /tmp/evaluation-result-2671327-1276722808/solver-2671327-1276722808 -C 1800 -W 2000 -M 1800 wbo1.4a -file-format=opb -time-limit=1800 HOME/instance-2671327-1276722808.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/106 19052 /proc/meminfo: memFree=1634752/2059040 swapFree=4192956/4192956 [pid=19052] ppid=19050 vsize=3364 CPUtime=0 /proc/19052/stat : 19052 (wbo1.4a) R 19050 19052 18346 0 -1 4202496 411 0 0 0 0 0 0 0 20 0 1 0 13572880 3444736 330 1992294400 134512640 135751879 4293672656 18446744073709551615 134613979 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19052/statm: 841 330 137 303 0 473 0 [startup+0.109298 s] /proc/loadavg: 1.00 1.00 1.00 3/106 19052 /proc/meminfo: memFree=1634752/2059040 swapFree=4192956/4192956 [pid=19052] ppid=19050 vsize=4036 CPUtime=0.1 /proc/19052/stat : 19052 (wbo1.4a) R 19050 19052 18346 0 -1 4202496 695 0 0 0 10 0 0 0 20 0 1 0 13572880 4132864 551 1992294400 134512640 135751879 4293672656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19052/statm: 1009 551 143 303 0 704 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 4036 [startup+0.201308 s] /proc/loadavg: 1.00 1.00 1.00 3/106 19052 /proc/meminfo: memFree=1634752/2059040 swapFree=4192956/4192956 [pid=19052] ppid=19050 vsize=4428 CPUtime=0.19 /proc/19052/stat : 19052 (wbo1.4a) R 19050 19052 18346 0 -1 4202496 795 0 0 0 19 0 0 0 20 0 1 0 13572880 4534272 651 1992294400 134512640 135751879 4293672656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19052/statm: 1107 651 143 303 0 802 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 4428 [startup+0.301319 s] /proc/loadavg: 1.00 1.00 1.00 3/106 19052 /proc/meminfo: memFree=1634752/2059040 swapFree=4192956/4192956 [pid=19052] ppid=19050 vsize=4812 CPUtime=0.29 /proc/19052/stat : 19052 (wbo1.4a) R 19050 19052 18346 0 -1 4202496 904 0 0 0 29 0 0 0 20 0 1 0 13572880 4927488 760 1992294400 134512640 135751879 4293672656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19052/statm: 1203 760 143 303 0 898 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4812 [startup+0.701361 s] /proc/loadavg: 1.00 1.00 1.00 3/106 19052 /proc/meminfo: memFree=1634752/2059040 swapFree=4192956/4192956 [pid=19052] ppid=19050 vsize=5728 CPUtime=0.69 /proc/19052/stat : 19052 (wbo1.4a) R 19050 19052 18346 0 -1 4202496 1145 0 0 0 68 1 0 0 20 0 1 0 13572880 5865472 1001 1992294400 134512640 135751879 4293672656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19052/statm: 1432 1001 143 303 0 1127 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5728 [startup+1.50145 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19053 /proc/meminfo: memFree=1630900/2059040 swapFree=4192956/4192956 [pid=19052] ppid=19050 vsize=7276 CPUtime=1.49 /proc/19052/stat : 19052 (wbo1.4a) R 19050 19052 18346 0 -1 4202496 1513 0 0 0 147 2 0 0 22 0 1 0 13572880 7450624 1369 1992294400 134512640 135751879 4293672656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19052/statm: 1819 1369 143 303 0 1514 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7276 [startup+3.10162 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19053 /proc/meminfo: memFree=1628916/2059040 swapFree=4192956/4192956 [pid=19052] ppid=19050 vsize=9744 CPUtime=3.09 /proc/19052/stat : 19052 (wbo1.4a) R 19050 19052 18346 0 -1 4202496 2138 0 0 0 305 4 0 0 25 0 1 0 13572880 9977856 1994 1992294400 134512640 135751879 4293672656 18446744073709551615 134518465 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19052/statm: 2436 1994 143 303 0 2131 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9744 [startup+6.30096 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19053 /proc/meminfo: memFree=1621724/2059040 swapFree=4192956/4192956 [pid=19052] ppid=19050 vsize=16100 CPUtime=6.29 /proc/19052/stat : 19052 (wbo1.4a) R 19050 19052 18346 0 -1 4202496 3701 0 0 0 623 6 0 0 25 0 1 0 13572880 16486400 3557 1992294400 134512640 135751879 4293672656 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19052/statm: 4025 3557 143 303 0 3720 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16100 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19053 /proc/meminfo: memFree=1611308/2059040 swapFree=4192956/4192956 [pid=19052] ppid=19050 vsize=25948 CPUtime=12.68 /proc/19052/stat : 19052 (wbo1.4a) R 19050 19052 18346 0 -1 4202496 6152 0 0 0 1258 10 0 0 25 0 1 0 13572880 26570752 6008 1992294400 134512640 135751879 4293672656 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19052/statm: 6487 6008 143 303 0 6182 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 25948 [startup+25.501 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19053 /proc/meminfo: memFree=1595436/2059040 swapFree=4192956/4192956 [pid=19052] ppid=19050 vsize=42352 CPUtime=25.49 /proc/19052/stat : 19052 (wbo1.4a) R 19050 19052 18346 0 -1 4202496 10248 0 0 0 2529 20 0 0 25 0 1 0 13572880 43368448 10104 1992294400 134512640 135751879 4293672656 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19052/statm: 10588 10104 143 303 0 10283 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 42352 [startup+51.1007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19055 /proc/meminfo: memFree=1545836/2059040 swapFree=4192956/4192956 [pid=19052] ppid=19050 vsize=92208 CPUtime=51.07 /proc/19052/stat : 19052 (wbo1.4a) R 19050 19052 18346 0 -1 4202496 22704 0 0 0 5064 43 0 0 25 0 1 0 13572880 94420992 22560 1992294400 134512640 135751879 4293672656 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19052/statm: 23052 22560 143 303 0 22747 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 92208 [startup+102.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19055 /proc/meminfo: memFree=1460400/2059040 swapFree=4192956/4192956 [pid=19052] ppid=19050 vsize=176644 CPUtime=102.27 /proc/19052/stat : 19052 (wbo1.4a) R 19050 19052 18346 0 -1 4202496 43765 0 0 0 10142 85 0 0 25 0 1 0 13572880 180883456 43621 1992294400 134512640 135751879 4293672656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19052/statm: 44161 43621 143 303 0 43856 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 176644 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19057 /proc/meminfo: memFree=1359960/2059040 swapFree=4192956/4192956 [pid=19052] ppid=19050 vsize=278332 CPUtime=162.25 /proc/19052/stat : 19052 (wbo1.4a) R 19050 19052 18346 0 -1 4202496 69188 0 0 0 16088 137 0 0 25 0 1 0 13572880 285011968 69044 1992294400 134512640 135751879 4293672656 18446744073709551615 134616444 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19052/statm: 69583 69044 143 303 0 69278 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 278332 [startup+222.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19059 /proc/meminfo: memFree=1254064/2059040 swapFree=4192956/4192956 [pid=19052] ppid=19050 vsize=382636 CPUtime=222.24 /proc/19052/stat : 19052 (wbo1.4a) R 19050 19052 18346 0 -1 4202496 95247 0 0 0 22034 190 0 0 25 0 1 0 13572880 391819264 95103 1992294400 134512640 135751879 4293672656 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19052/statm: 95659 95103 143 303 0 95354 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 382636 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19061 /proc/meminfo: memFree=1160196/2059040 swapFree=4192956/4192956 [pid=19052] ppid=19050 vsize=477464 CPUtime=282.22 /proc/19052/stat : 19052 (wbo1.4a) R 19050 19052 18346 0 -1 4202496 118928 0 0 0 27982 240 0 0 25 0 1 0 13572880 488923136 118784 1992294400 134512640 135751879 4293672656 18446744073709551615 134606557 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19052/statm: 119366 118784 143 303 0 119061 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 477464 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19063 /proc/meminfo: memFree=1076372/2059040 swapFree=4192956/4192956 [pid=19052] ppid=19050 vsize=559936 CPUtime=342.21 /proc/19052/stat : 19052 (wbo1.4a) R 19050 19052 18346 0 -1 4202496 139539 0 0 0 33935 286 0 0 25 0 1 0 13572880 573374464 139395 1992294400 134512640 135751879 4293672656 18446744073709551615 134602968 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19052/statm: 139984 139395 143 303 0 139679 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 559936 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19063 /proc/meminfo: memFree=986348/2059040 swapFree=4192956/4192956 [pid=19052] ppid=19050 vsize=651064 CPUtime=402.19 /proc/19052/stat : 19052 (wbo1.4a) R 19050 19052 18346 0 -1 4202496 162287 0 0 0 39880 339 0 0 25 0 1 0 13572880 666689536 162143 1992294400 134512640 135751879 4293672656 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19052/statm: 162766 162143 143 303 0 162461 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 651064 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19065 /proc/meminfo: memFree=902028/2059040 swapFree=4192956/4192956 [pid=19052] ppid=19050 vsize=734652 CPUtime=462.17 /proc/19052/stat : 19052 (wbo1.4a) R 19050 19052 18346 0 -1 4202496 183135 0 0 0 45832 385 0 0 25 0 1 0 13572880 752283648 182991 1992294400 134512640 135751879 4293672656 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19052/statm: 183663 182991 143 303 0 183358 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 734652 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19067 /proc/meminfo: memFree=832712/2059040 swapFree=4192956/4192956 [pid=19052] ppid=19050 vsize=804388 CPUtime=522.16 /proc/19052/stat : 19052 (wbo1.4a) R 19050 19052 18346 0 -1 4202496 200575 0 0 0 51789 427 0 0 25 0 1 0 13572880 823693312 200431 1992294400 134512640 135751879 4293672656 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19052/statm: 201097 200431 143 303 0 200792 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 804388 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19069 /proc/meminfo: memFree=757320/2059040 swapFree=4192956/4192956 [pid=19052] ppid=19050 vsize=879308 CPUtime=582.14 /proc/19052/stat : 19052 (wbo1.4a) R 19050 19052 18346 0 -1 4202496 219253 0 0 0 57735 479 0 0 25 0 1 0 13572880 900411392 219109 1992294400 134512640 135751879 4293672656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19052/statm: 219827 219109 143 303 0 219522 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 879308 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19071 /proc/meminfo: memFree=694080/2059040 swapFree=4192956/4192956 [pid=19052] ppid=19050 vsize=942948 CPUtime=642.12 /proc/19052/stat : 19052 (wbo1.4a) R 19050 19052 18346 0 -1 4202496 235129 0 0 0 63682 530 0 0 25 0 1 0 13572880 965578752 234985 1992294400 134512640 135751879 4293672656 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19052/statm: 235737 234985 143 303 0 235432 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 942948 [startup+702.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19071 /proc/meminfo: memFree=623028/2059040 swapFree=4192956/4192956 [pid=19052] ppid=19050 vsize=1013356 CPUtime=702.11 /proc/19052/stat : 19052 (wbo1.4a) R 19050 19052 18346 0 -1 4202496 252722 0 0 0 69626 585 0 0 25 0 1 0 13572880 1037676544 252578 1992294400 134512640 135751879 4293672656 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19052/statm: 253339 252578 143 303 0 253034 0 Current children cumulated CPU time (s) 702.11 Current children cumulated vsize (KiB) 1013356 [startup+762.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19073 /proc/meminfo: memFree=556192/2059040 swapFree=4192956/4192956 [pid=19052] ppid=19050 vsize=1079600 CPUtime=762.1 /proc/19052/stat : 19052 (wbo1.4a) R 19050 19052 18346 0 -1 4202496 269259 0 0 0 75581 629 0 0 25 0 1 0 13572880 1105510400 269115 1992294400 134512640 135751879 4293672656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19052/statm: 269900 269115 143 303 0 269595 0 Current children cumulated CPU time (s) 762.1 Current children cumulated vsize (KiB) 1079600 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19075 /proc/meminfo: memFree=491712/2059040 swapFree=4192956/4192956 [pid=19052] ppid=19050 vsize=1145324 CPUtime=822.08 /proc/19052/stat : 19052 (wbo1.4a) R 19050 19052 18346 0 -1 4202496 285596 0 0 0 81540 668 0 0 25 0 1 0 13572880 1172811776 285452 1992294400 134512640 135751879 4293672656 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19052/statm: 286331 285452 143 303 0 286026 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 1145324 [startup+882.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19077 /proc/meminfo: memFree=425744/2059040 swapFree=4192956/4192956 [pid=19052] ppid=19050 vsize=1210208 CPUtime=882.07 /proc/19052/stat : 19052 (wbo1.4a) R 19050 19052 18346 0 -1 4202496 301810 0 0 0 87492 715 0 0 25 0 1 0 13572880 1239252992 301666 1992294400 134512640 135751879 4293672656 18446744073709551615 134602936 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19052/statm: 302552 301666 143 303 0 302247 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 1210208 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19079 /proc/meminfo: memFree=365852/2059040 swapFree=4192956/4192956 [pid=19052] ppid=19050 vsize=1270704 CPUtime=942.04 /proc/19052/stat : 19052 (wbo1.4a) R 19050 19052 18346 0 -1 4202496 316892 0 0 0 93443 761 0 0 25 0 1 0 13572880 1301200896 316748 1992294400 134512640 135751879 4293672656 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19052/statm: 317676 316748 143 303 0 317371 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 1270704 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19079 /proc/meminfo: memFree=308688/2059040 swapFree=4192956/4192956 [pid=19052] ppid=19050 vsize=1327444 CPUtime=1002.03 /proc/19052/stat : 19052 (wbo1.4a) R 19050 19052 18346 0 -1 4202496 331068 0 0 0 99402 801 0 0 25 0 1 0 13572880 1359302656 330924 1992294400 134512640 135751879 4293672656 18446744073709551615 134606599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19052/statm: 331861 330924 143 303 0 331556 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 1327444 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19081 /proc/meminfo: memFree=248920/2059040 swapFree=4192956/4192956 [pid=19052] ppid=19050 vsize=1387892 CPUtime=1062.02 /proc/19052/stat : 19052 (wbo1.4a) R 19050 19052 18346 0 -1 4202496 346182 0 0 0 105361 841 0 0 25 0 1 0 13572880 1421201408 346038 1992294400 134512640 135751879 4293672656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19052/statm: 346973 346038 143 303 0 346668 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 1387892 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19083 /proc/meminfo: memFree=196468/2059040 swapFree=4192956/4192956 [pid=19052] ppid=19050 vsize=1439708 CPUtime=1122 /proc/19052/stat : 19052 (wbo1.4a) R 19050 19052 18346 0 -1 4202496 359089 0 0 0 111325 875 0 0 25 0 1 0 13572880 1474260992 358945 1992294400 134512640 135751879 4293672656 18446744073709551615 134606393 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19052/statm: 359927 358945 143 303 0 359622 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 1439708 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19088 /proc/meminfo: memFree=139676/2059040 swapFree=4192956/4192956 [pid=19052] ppid=19050 vsize=1496432 CPUtime=1181.99 /proc/19052/stat : 19052 (wbo1.4a) R 19050 19052 18346 0 -1 4202496 373280 0 0 0 117280 919 0 0 25 0 1 0 13572880 1532346368 373136 1992294400 134512640 135751879 4293672656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19052/statm: 374108 373136 143 303 0 373803 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 1496432 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19090 /proc/meminfo: memFree=88464/2059040 swapFree=4192956/4192956 [pid=19052] ppid=19050 vsize=1546820 CPUtime=1241.97 /proc/19052/stat : 19052 (wbo1.4a) R 19050 19052 18346 0 -1 4202496 385853 0 0 0 123234 963 0 0 25 0 1 0 13572880 1583943680 385709 1992294400 134512640 135751879 4293672656 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19052/statm: 386705 385709 143 303 0 386400 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 1546820 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19090 /proc/meminfo: memFree=41592/2059040 swapFree=4192956/4192956 [pid=19052] ppid=19050 vsize=1593652 CPUtime=1301.95 /proc/19052/stat : 19052 (wbo1.4a) R 19050 19052 18346 0 -1 4202496 397516 0 0 0 129201 994 0 0 25 0 1 0 13572880 1631899648 397372 1992294400 134512640 135751879 4293672656 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19052/statm: 398413 397372 143 303 0 398108 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1593652 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19092 /proc/meminfo: memFree=15056/2059040 swapFree=4192956/4192956 [pid=19052] ppid=19050 vsize=1620240 CPUtime=1361.94 /proc/19052/stat : 19052 (wbo1.4a) R 19050 19052 18346 0 -1 4202496 404168 0 0 0 135179 1015 0 0 25 0 1 0 13572880 1659125760 404024 1992294400 134512640 135751879 4293672656 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19052/statm: 405060 404024 143 303 0 404755 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1620240 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19094 /proc/meminfo: memFree=9892/2059040 swapFree=4183932/4192956 [pid=19052] ppid=19050 vsize=1666864 CPUtime=1421.93 /proc/19052/stat : 19052 (wbo1.4a) R 19050 19052 18346 0 -1 4202496 415808 0 0 0 141145 1048 0 0 25 0 1 0 13572880 1706868736 415664 1992294400 134512640 135751879 4293672656 18446744073709551615 134616873 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19052/statm: 416716 415664 143 303 0 416411 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 1666864 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19096 /proc/meminfo: memFree=9960/2059040 swapFree=4164952/4192956 [pid=19052] ppid=19050 vsize=1713244 CPUtime=1481.91 /proc/19052/stat : 19052 (wbo1.4a) R 19050 19052 18346 0 -1 4202496 427417 0 0 0 147111 1080 0 0 25 0 1 0 13572880 1754361856 427273 1992294400 134512640 135751879 4293672656 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19052/statm: 428311 427273 143 303 0 428006 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 1713244 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19098 /proc/meminfo: memFree=10536/2059040 swapFree=4164952/4192956 [pid=19052] ppid=19050 vsize=1754608 CPUtime=1541.9 /proc/19052/stat : 19052 (wbo1.4a) R 19050 19052 18346 0 -1 4202496 437751 0 0 0 153076 1114 0 0 25 0 1 0 13572880 1796718592 437607 1992294400 134512640 135751879 4293672656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19052/statm: 438652 437607 143 303 0 438347 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 1754608 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19098 /proc/meminfo: memFree=10616/2059040 swapFree=4164952/4192956 [pid=19052] ppid=19050 vsize=1804956 CPUtime=1601.88 /proc/19052/stat : 19052 (wbo1.4a) R 19050 19052 18346 0 -1 4202496 450310 0 0 0 159030 1158 0 0 25 0 1 0 13572880 1848274944 450166 1992294400 134512640 135751879 4293672656 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19052/statm: 451239 450166 143 303 0 450934 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 1804956 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1637.2 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19100 /proc/meminfo: memFree=10344/2059040 swapFree=4162420/4192956 [pid=19052] ppid=19050 vsize=1843240 CPUtime=1636.78 /proc/19052/stat : 19052 (wbo1.4a) R 19050 19052 18346 0 -1 4202496 459873 0 0 0 162491 1187 0 0 25 0 1 0 13572880 1887477760 459729 1992294400 134512640 135751879 4293672656 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/19052/statm: 460810 459729 143 303 0 460505 0 Current children cumulated CPU time (s) 1636.78 Current children cumulated vsize (KiB) 1843240 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1637.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 19100 /proc/meminfo: memFree=10344/2059040 swapFree=4162420/4192956 [pid=19052] ppid=19050 vsize=0 CPUtime=1636.88 /proc/19052/stat : 19052 (wbo1.4a) R 19050 19052 18346 0 -1 4203524 459873 0 0 0 162491 1197 0 0 25 0 1 0 13572880 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/19052/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1636.88 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1637.39 CPU time (s): 1636.96 CPU user time (s): 1624.91 CPU system time (s): 12.0492 CPU usage (%): 99.9741 Max. virtual memory (cumulated for all children) (KiB): 1843240 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1624.91 system time used= 12.0492 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 459873 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= 1212 runsolver used 2.87556 second user time and 7.56685 second system time The end
Begin job on node047 at 2010-06-16 23:13:28 IDJOB=2671327 IDBENCH=48348 IDSOLVER=1160 FILE ID=node047/2671327-1276722808 PBS_JOBID= 11174167 Free space on /tmp= 62540 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_25_1_15.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-2671327-1276722808/watcher-2671327-1276722808 -o /tmp/evaluation-result-2671327-1276722808/solver-2671327-1276722808 -C 1800 -W 2000 -M 1800 wbo1.4a -file-format=opb -time-limit=1800 HOME/instance-2671327-1276722808.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0df66f3e832b73f1cdf8165c8cc1c11b RANDOM SEED=976595698 node047.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.244 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.48 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.244 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1635900 kB Buffers: 134076 kB Cached: 160388 kB SwapCached: 0 kB Active: 139852 kB Inactive: 213944 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1635900 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2916 kB Writeback: 0 kB AnonPages: 59364 kB Mapped: 15452 kB Slab: 47432 kB PageTables: 4060 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 179868 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-2671327-1276722808.opb Free space on /tmp at the end= 62540 MiB End job on node047 at 2010-06-16 23:40:48