Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | ? (TO) | 1800.17 | 1800.76 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_200_25_2_40.opb |
MD5SUM | ff64c7b9cef588c95a335f732f2d905b |
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 | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
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) | 12440 |
Sum of products size (including duplicates) | 24880 |
Number of different products | 6220 |
Sum of products size | 12440 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2671360-1276723788.opb. 0.00/0.00 c Instance file HOME/instance-2671360-1276723788.opb 0.00/0.00 c File size is 531927 bytes. 0.08/0.09 c Highest Coefficient sum: 400 0.08/0.09 c ============================[ Problem Statistics ]============================= 0.08/0.09 c | | 0.08/0.09 c | Parsing time: 0.09 s | 0.08/0.09 c | Number Variables: 6620 | 0.08/0.09 c | Number Clauses: 6420 | 0.08/0.09 c | Number Cardinality: 403 | 0.08/0.09 c | Number PB Constraints: 6220 | 0.08/0.09 c ============================[ Search Statistics ]============================== 0.08/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.08/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.08/0.09 c =============================================================================== 0.08/0.09 c | 0 | 6620 13043 51160 | 5000 0 nan | 0.000 % | 0.29/0.40 c | 161 | 6620 13043 51160 | 5500 161 279 | 0.000 % | 0.39/0.49 c | 311 | 6620 13043 51160 | 6050 311 152 | 0.000 % | 0.49/0.57 c | 536 | 6620 13043 51160 | 6655 536 221 | 0.000 % | 0.59/0.69 c | 873 | 6620 13043 51160 | 7320 873 250 | 0.000 % | 0.78/0.89 c | 1379 | 6620 13043 51160 | 8052 1379 275 | 0.000 % | 1.10/1.14 c | 2138 | 6620 13043 51160 | 8857 2138 285 | 0.000 % | 1.59/1.61 c | 3277 | 6620 13043 51160 | 9743 3277 294 | 0.000 % | 2.49/2.50 c | 4985 | 6620 13043 51160 | 10717 4985 303 | 0.000 % | 3.89/3.99 c | 7547 | 6620 13043 51160 | 11789 7547 309 | 0.000 % | 7.49/7.51 c | 11391 | 6620 13043 51160 | 12968 11391 265 | 0.000 % | 11.99/12.00 c | 17158 | 6620 13043 51160 | 14265 17158 229 | 0.000 % | 17.89/17.95 c | 25807 | 6620 13043 51160 | 15692 17228 169 | 0.000 % | 26.88/26.95 c | 38781 | 6620 13043 51160 | 17261 11135 159 | 0.000 % | 41.67/41.78 c | 58242 | 6620 13043 51160 | 18987 19233 174 | 0.000 % | 62.57/62.68 c | 87434 | 6620 13043 51160 | 20886 12459 161 | 0.000 % | 107.34/107.47 c | 131223 | 6620 13043 51160 | 22974 11786 175 | 0.000 % | 161.23/161.32 c | 196907 | 6620 13043 51160 | 25272 27612 158 | 0.000 % | 236.90/237.09 c | 295434 | 6620 13043 51160 | 27799 15464 154 | 0.000 % | 333.57/333.71 c | 443223 | 6620 13043 51160 | 30579 14131 154 | 0.000 % | 526.11/526.34 c | 664906 | 6620 13043 51160 | 33637 17382 167 | 0.000 % | 770.73/771.06 c | 997431 | 6620 13043 51160 | 37001 23779 159 | 0.000 % | 1273.67/1274.16 c | 1496219 | 6620 13043 51160 | 40701 35638 176 | 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-2671360-1276723788/watcher-2671360-1276723788 -o /tmp/evaluation-result-2671360-1276723788/solver-2671360-1276723788 -C 1800 -W 2000 -M 1800 wbo1.4a -file-format=opb -time-limit=1800 HOME/instance-2671360-1276723788.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.05 1.03 1.00 3/106 18592 /proc/meminfo: memFree=1744432/2059040 swapFree=4168596/4192956 [pid=18592] ppid=18590 vsize=3244 CPUtime=0 /proc/18592/stat : 18592 (wbo1.4a) R 18590 18592 17917 0 -1 4202496 320 0 0 0 0 0 0 0 17 0 1 0 13669828 3321856 238 1992294400 134512640 135751879 4289623744 18446744073709551615 134556320 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18592/statm: 811 238 132 303 0 376 0 [startup+0.090174 s] /proc/loadavg: 1.05 1.03 1.00 3/106 18592 /proc/meminfo: memFree=1744432/2059040 swapFree=4168596/4192956 [pid=18592] ppid=18590 vsize=5532 CPUtime=0.08 /proc/18592/stat : 18592 (wbo1.4a) R 18590 18592 17917 0 -1 4202496 968 0 0 0 8 0 0 0 17 0 1 0 13669828 5664768 886 1992294400 134512640 135751879 4289623744 18446744073709551615 134560383 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18592/statm: 1383 886 249 303 0 948 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5532 [startup+0.101177 s] /proc/loadavg: 1.05 1.03 1.00 3/106 18592 /proc/meminfo: memFree=1744432/2059040 swapFree=4168596/4192956 [pid=18592] ppid=18590 vsize=5476 CPUtime=0.09 /proc/18592/stat : 18592 (wbo1.4a) R 18590 18592 17917 0 -1 4202496 1091 0 0 0 9 0 0 0 17 0 1 0 13669828 5607424 879 1992294400 134512640 135751879 4289623744 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18592/statm: 1369 879 142 303 0 1064 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5476 [startup+0.301209 s] /proc/loadavg: 1.05 1.03 1.00 3/106 18592 /proc/meminfo: memFree=1744432/2059040 swapFree=4168596/4192956 [pid=18592] ppid=18590 vsize=5604 CPUtime=0.29 /proc/18592/stat : 18592 (wbo1.4a) R 18590 18592 17917 0 -1 4202496 1133 0 0 0 29 0 0 0 18 0 1 0 13669828 5738496 921 1992294400 134512640 135751879 4289623744 18446744073709551615 134606432 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18592/statm: 1401 921 142 303 0 1096 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5604 [startup+0.701276 s] /proc/loadavg: 1.05 1.03 1.00 3/106 18592 /proc/meminfo: memFree=1744432/2059040 swapFree=4168596/4192956 [pid=18592] ppid=18590 vsize=6380 CPUtime=0.68 /proc/18592/stat : 18592 (wbo1.4a) R 18590 18592 17917 0 -1 4202496 1330 0 0 0 68 0 0 0 18 0 1 0 13669828 6533120 1118 1992294400 134512640 135751879 4289623744 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18592/statm: 1595 1118 143 303 0 1290 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 6380 [startup+1.50141 s] /proc/loadavg: 1.05 1.03 1.00 2/107 18593 /proc/meminfo: memFree=1739712/2059040 swapFree=4168596/4192956 [pid=18592] ppid=18590 vsize=9244 CPUtime=1.49 /proc/18592/stat : 18592 (wbo1.4a) R 18590 18592 17917 0 -1 4202496 2040 0 0 0 148 1 0 0 19 0 1 0 13669828 9465856 1828 1992294400 134512640 135751879 4289623744 18446744073709551615 134606401 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18592/statm: 2311 1828 143 303 0 2006 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9244 [startup+3.10167 s] /proc/loadavg: 1.05 1.03 1.00 2/107 18593 /proc/meminfo: memFree=1735992/2059040 swapFree=4168596/4192956 [pid=18592] ppid=18590 vsize=12888 CPUtime=3.08 /proc/18592/stat : 18592 (wbo1.4a) R 18590 18592 17917 0 -1 4202496 2953 0 0 0 306 2 0 0 23 0 1 0 13669828 13197312 2741 1992294400 134512640 135751879 4289623744 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18592/statm: 3222 2741 143 303 0 2917 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 12888 [startup+6.3012 s] /proc/loadavg: 1.05 1.03 1.00 2/107 18593 /proc/meminfo: memFree=1730412/2059040 swapFree=4168596/4192956 [pid=18592] ppid=18590 vsize=17576 CPUtime=6.29 /proc/18592/stat : 18592 (wbo1.4a) R 18590 18592 17917 0 -1 4202496 4123 0 0 0 625 4 0 0 25 0 1 0 13669828 17997824 3911 1992294400 134512640 135751879 4289623744 18446744073709551615 134604741 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18592/statm: 4394 3911 143 303 0 4089 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17576 [startup+12.7013 s] /proc/loadavg: 1.04 1.03 1.00 2/107 18593 /proc/meminfo: memFree=1723220/2059040 swapFree=4168596/4192956 [pid=18592] ppid=18590 vsize=24132 CPUtime=12.68 /proc/18592/stat : 18592 (wbo1.4a) R 18590 18592 17917 0 -1 4202496 5772 0 0 0 1261 7 0 0 25 0 1 0 13669828 24711168 5560 1992294400 134512640 135751879 4289623744 18446744073709551615 134607819 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18592/statm: 6033 5560 143 303 0 5728 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 24132 [startup+25.5004 s] /proc/loadavg: 1.03 1.03 1.00 2/107 18593 /proc/meminfo: memFree=1708588/2059040 swapFree=4168596/4192956 [pid=18592] ppid=18590 vsize=38376 CPUtime=25.48 /proc/18592/stat : 18592 (wbo1.4a) R 18590 18592 17917 0 -1 4202496 9313 0 0 0 2531 17 0 0 25 0 1 0 13669828 39297024 9101 1992294400 134512640 135751879 4289623744 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18592/statm: 9594 9101 143 303 0 9289 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 38376 [startup+51.1006 s] /proc/loadavg: 1.02 1.02 1.00 2/107 18593 /proc/meminfo: memFree=1682548/2059040 swapFree=4168596/4192956 [pid=18592] ppid=18590 vsize=64704 CPUtime=51.07 /proc/18592/stat : 18592 (wbo1.4a) R 18590 18592 17917 0 -1 4202496 15903 0 0 0 5075 32 0 0 25 0 1 0 13669828 66256896 15691 1992294400 134512640 135751879 4289623744 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18592/statm: 16176 15691 143 303 0 15871 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 64704 [startup+102.308 s] /proc/loadavg: 1.01 1.02 1.00 2/107 18595 /proc/meminfo: memFree=1637040/2059040 swapFree=4168596/4192956 [pid=18592] ppid=18590 vsize=109732 CPUtime=102.26 /proc/18592/stat : 18592 (wbo1.4a) R 18590 18592 17917 0 -1 4202496 27146 0 0 0 10164 62 0 0 25 0 1 0 13669828 112365568 26934 1992294400 134512640 135751879 4289623744 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18592/statm: 27433 26934 143 303 0 27128 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 109732 [startup+162.301 s] /proc/loadavg: 1.08 1.03 1.01 2/107 18600 /proc/meminfo: memFree=1586324/2059040 swapFree=4168596/4192956 [pid=18592] ppid=18590 vsize=160424 CPUtime=162.23 /proc/18592/stat : 18592 (wbo1.4a) R 18590 18592 17917 0 -1 4202496 39787 0 0 0 16127 96 0 0 25 0 1 0 13669828 164274176 39575 1992294400 134512640 135751879 4289623744 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18592/statm: 40106 39575 143 303 0 39801 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 160424 [startup+222.301 s] /proc/loadavg: 1.03 1.02 1.00 2/107 18602 /proc/meminfo: memFree=1531640/2059040 swapFree=4168596/4192956 [pid=18592] ppid=18590 vsize=214504 CPUtime=222.21 /proc/18592/stat : 18592 (wbo1.4a) R 18590 18592 17917 0 -1 4202496 53306 0 0 0 22090 131 0 0 25 0 1 0 13669828 219652096 53094 1992294400 134512640 135751879 4289623744 18446744073709551615 134518784 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18592/statm: 53626 53094 143 303 0 53321 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 214504 [startup+282.301 s] /proc/loadavg: 1.01 1.02 1.00 2/107 18604 /proc/meminfo: memFree=1468276/2059040 swapFree=4168596/4192956 [pid=18592] ppid=18590 vsize=278704 CPUtime=282.19 /proc/18592/stat : 18592 (wbo1.4a) R 18590 18592 17917 0 -1 4202496 69334 0 0 0 28049 170 0 0 25 0 1 0 13669828 285392896 69122 1992294400 134512640 135751879 4289623744 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18592/statm: 69676 69122 143 303 0 69371 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 278704 [startup+342.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 18604 /proc/meminfo: memFree=1401440/2059040 swapFree=4168596/4192956 [pid=18592] ppid=18590 vsize=344528 CPUtime=342.17 /proc/18592/stat : 18592 (wbo1.4a) R 18590 18592 17917 0 -1 4202496 85775 0 0 0 34008 209 0 0 25 0 1 0 13669828 352796672 85563 1992294400 134512640 135751879 4289623744 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18592/statm: 86132 85563 143 303 0 85827 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 344528 [startup+402.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 18606 /proc/meminfo: memFree=1354444/2059040 swapFree=4168596/4192956 [pid=18592] ppid=18590 vsize=391696 CPUtime=402.15 /proc/18592/stat : 18592 (wbo1.4a) R 18590 18592 17917 0 -1 4202496 97585 0 0 0 39976 239 0 0 25 0 1 0 13669828 401096704 97373 1992294400 134512640 135751879 4289623744 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18592/statm: 97924 97373 143 303 0 97619 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 391696 [startup+462.301 s] /proc/loadavg: 1.11 1.03 1.01 2/107 18608 /proc/meminfo: memFree=1304472/2059040 swapFree=4168596/4192956 [pid=18592] ppid=18590 vsize=441280 CPUtime=462.13 /proc/18592/stat : 18592 (wbo1.4a) R 18590 18592 17917 0 -1 4202496 109976 0 0 0 45943 270 0 0 25 0 1 0 13669828 451870720 109764 1992294400 134512640 135751879 4289623744 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18592/statm: 110320 109764 143 303 0 110015 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 441280 [startup+522.302 s] /proc/loadavg: 1.11 1.04 1.00 2/107 18610 /proc/meminfo: memFree=1245696/2059040 swapFree=4168596/4192956 [pid=18592] ppid=18590 vsize=500944 CPUtime=522.11 /proc/18592/stat : 18592 (wbo1.4a) R 18590 18592 17917 0 -1 4202496 124849 0 0 0 51906 305 0 0 25 0 1 0 13669828 512966656 124637 1992294400 134512640 135751879 4289623744 18446744073709551615 134602936 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18592/statm: 125236 124637 143 303 0 124931 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 500944 [startup+582.301 s] /proc/loadavg: 1.14 1.06 1.01 2/107 18612 /proc/meminfo: memFree=1176752/2059040 swapFree=4168596/4192956 [pid=18592] ppid=18590 vsize=569628 CPUtime=582.09 /proc/18592/stat : 18592 (wbo1.4a) R 18590 18592 17917 0 -1 4202496 142023 0 0 0 57862 347 0 0 25 0 1 0 13669828 583299072 141811 1992294400 134512640 135751879 4289623744 18446744073709551615 134604797 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18592/statm: 142407 141811 143 303 0 142102 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 569628 [startup+642.301 s] /proc/loadavg: 1.05 1.05 1.00 2/107 18612 /proc/meminfo: memFree=1118100/2059040 swapFree=4168596/4192956 [pid=18592] ppid=18590 vsize=627132 CPUtime=642.08 /proc/18592/stat : 18592 (wbo1.4a) R 18590 18592 17917 0 -1 4202496 156408 0 0 0 63825 383 0 0 25 0 1 0 13669828 642183168 156196 1992294400 134512640 135751879 4289623744 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18592/statm: 156783 156196 143 303 0 156478 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 627132 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.02 1.00 2/107 18620 /proc/meminfo: memFree=922304/2059040 swapFree=4168596/4192956 [pid=18592] ppid=18590 vsize=822636 CPUtime=882 /proc/18592/stat : 18592 (wbo1.4a) R 18590 18592 17917 0 -1 4202496 205231 0 0 0 87688 512 0 0 25 0 1 0 13669828 842379264 205019 1992294400 134512640 135751879 4289623744 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18592/statm: 205659 205019 143 303 0 205354 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 822636 [startup+942.302 s] /proc/loadavg: 1.00 1.02 1.00 2/107 18620 /proc/meminfo: memFree=874564/2059040 swapFree=4168596/4192956 [pid=18592] ppid=18590 vsize=870828 CPUtime=941.98 /proc/18592/stat : 18592 (wbo1.4a) R 18590 18592 17917 0 -1 4202496 217278 0 0 0 93655 543 0 0 25 0 1 0 13669828 891727872 217066 1992294400 134512640 135751879 4289623744 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18592/statm: 217707 217066 143 303 0 217402 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 870828 [startup+1002.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 18622 /proc/meminfo: memFree=825584/2059040 swapFree=4168596/4192956 [pid=18592] ppid=18590 vsize=919268 CPUtime=1001.96 /proc/18592/stat : 18592 (wbo1.4a) R 18590 18592 17917 0 -1 4202496 229394 0 0 0 99624 572 0 0 25 0 1 0 13669828 941330432 229182 1992294400 134512640 135751879 4289623744 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18592/statm: 229817 229182 143 303 0 229512 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 919268 [startup+1062.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 18624 /proc/meminfo: memFree=779084/2059040 swapFree=4168596/4192956 [pid=18592] ppid=18590 vsize=965892 CPUtime=1061.94 /proc/18592/stat : 18592 (wbo1.4a) R 18590 18592 17917 0 -1 4202496 241035 0 0 0 105594 600 0 0 25 0 1 0 13669828 989073408 240823 1992294400 134512640 135751879 4289623744 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18592/statm: 241473 240823 143 303 0 241168 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 965892 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18626 /proc/meminfo: memFree=732832/2059040 swapFree=4168596/4192956 [pid=18592] ppid=18590 vsize=1012228 CPUtime=1121.92 /proc/18592/stat : 18592 (wbo1.4a) R 18590 18592 17917 0 -1 4202496 252620 0 0 0 111563 629 0 0 25 0 1 0 13669828 1036521472 252408 1992294400 134512640 135751879 4289623744 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18592/statm: 253057 252408 143 303 0 252752 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 1012228 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18628 /proc/meminfo: memFree=684844/2059040 swapFree=4168596/4192956 [pid=18592] ppid=18590 vsize=1060500 CPUtime=1181.9 /proc/18592/stat : 18592 (wbo1.4a) R 18590 18592 17917 0 -1 4202496 264679 0 0 0 117531 659 0 0 25 0 1 0 13669828 1085952000 264467 1992294400 134512640 135751879 4289623744 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18592/statm: 265125 264467 143 303 0 264820 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 1060500 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18628 /proc/meminfo: memFree=631896/2059040 swapFree=4168596/4192956 [pid=18592] ppid=18590 vsize=1112640 CPUtime=1241.88 /proc/18592/stat : 18592 (wbo1.4a) R 18590 18592 17917 0 -1 4202496 277711 0 0 0 123493 695 0 0 25 0 1 0 13669828 1139343360 277499 1992294400 134512640 135751879 4289623744 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18592/statm: 278160 277499 143 303 0 277855 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 1112640 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18630 /proc/meminfo: memFree=592960/2059040 swapFree=4168596/4192956 [pid=18592] ppid=18590 vsize=1151208 CPUtime=1301.87 /proc/18592/stat : 18592 (wbo1.4a) R 18590 18592 17917 0 -1 4202496 287354 0 0 0 129466 721 0 0 25 0 1 0 13669828 1178836992 287142 1992294400 134512640 135751879 4289623744 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18592/statm: 287802 287142 143 303 0 287497 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 1151208 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18632 /proc/meminfo: memFree=557248/2059040 swapFree=4168596/4192956 [pid=18592] ppid=18590 vsize=1187320 CPUtime=1361.84 /proc/18592/stat : 18592 (wbo1.4a) R 18590 18592 17917 0 -1 4202496 296367 0 0 0 135438 746 0 0 25 0 1 0 13669828 1215815680 296155 1992294400 134512640 135751879 4289623744 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18592/statm: 296830 296155 143 303 0 296525 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 1187320 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18634 /proc/meminfo: memFree=511740/2059040 swapFree=4168596/4192956 [pid=18592] ppid=18590 vsize=1232288 CPUtime=1421.83 /proc/18592/stat : 18592 (wbo1.4a) R 18590 18592 17917 0 -1 4202496 307599 0 0 0 141408 775 0 0 25 0 1 0 13669828 1261862912 307387 1992294400 134512640 135751879 4289623744 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18592/statm: 308072 307387 143 303 0 307767 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 1232288 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18636 /proc/meminfo: memFree=461520/2059040 swapFree=4168596/4192956 [pid=18592] ppid=18590 vsize=1283136 CPUtime=1481.8 /proc/18592/stat : 18592 (wbo1.4a) R 18590 18592 17917 0 -1 4202496 320306 0 0 0 147374 806 0 0 25 0 1 0 13669828 1313931264 320094 1992294400 134512640 135751879 4289623744 18446744073709551615 134606401 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18592/statm: 320784 320094 143 303 0 320479 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 1283136 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18636 /proc/meminfo: memFree=420476/2059040 swapFree=4168596/4192956 [pid=18592] ppid=18590 vsize=1323452 CPUtime=1541.79 /proc/18592/stat : 18592 (wbo1.4a) R 18590 18592 17917 0 -1 4202496 330386 0 0 0 153346 833 0 0 25 0 1 0 13669828 1355214848 330174 1992294400 134512640 135751879 4289623744 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18592/statm: 330863 330174 143 303 0 330558 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 1323452 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18638 /proc/meminfo: memFree=376208/2059040 swapFree=4168596/4192956 [pid=18592] ppid=18590 vsize=1367772 CPUtime=1601.77 /proc/18592/stat : 18592 (wbo1.4a) R 18590 18592 17917 0 -1 4202496 341488 0 0 0 159315 862 0 0 25 0 1 0 13669828 1400598528 341276 1992294400 134512640 135751879 4289623744 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18592/statm: 341943 341276 143 303 0 341638 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 1367772 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18640 /proc/meminfo: memFree=326484/2059040 swapFree=4168596/4192956 [pid=18592] ppid=18590 vsize=1417356 CPUtime=1661.75 /proc/18592/stat : 18592 (wbo1.4a) R 18590 18592 17917 0 -1 4202496 353863 0 0 0 165284 891 0 0 25 0 1 0 13669828 1451372544 353651 1992294400 134512640 135751879 4289623744 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18592/statm: 354339 353651 143 303 0 354034 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 1417356 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18642 /proc/meminfo: memFree=289532/2059040 swapFree=4168596/4192956 [pid=18592] ppid=18590 vsize=1454308 CPUtime=1721.72 /proc/18592/stat : 18592 (wbo1.4a) R 18590 18592 17917 0 -1 4202496 363094 0 0 0 171257 915 0 0 25 0 1 0 13669828 1489211392 362882 1992294400 134512640 135751879 4289623744 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18592/statm: 363577 362882 143 303 0 363272 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 1454308 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18644 /proc/meminfo: memFree=247000/2059040 swapFree=4168596/4192956 [pid=18592] ppid=18590 vsize=1496572 CPUtime=1781.71 /proc/18592/stat : 18592 (wbo1.4a) R 18590 18592 17917 0 -1 4202496 373647 0 0 0 177228 943 0 0 25 0 1 0 13669828 1532489728 373435 1992294400 134512640 135751879 4289623744 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18592/statm: 374143 373435 143 303 0 373838 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 1496572 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18644 /proc/meminfo: memFree=235592/2059040 swapFree=4168596/4192956 [pid=18592] ppid=18590 vsize=1507580 CPUtime=1800.02 /proc/18592/stat : 18592 (wbo1.4a) R 18590 18592 17917 0 -1 4202496 376421 0 0 0 179051 951 0 0 25 0 1 0 13669828 1543761920 376209 1992294400 134512640 135751879 4289623744 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/18592/statm: 376895 376209 143 303 0 376590 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1507580 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.72 s] /proc/loadavg: 1.00 1.00 1.00 2/107 18644 /proc/meminfo: memFree=235592/2059040 swapFree=4168596/4192956 [pid=18592] ppid=18590 vsize=0 CPUtime=1800.12 /proc/18592/stat : 18592 (wbo1.4a) R 18590 18592 17917 0 -1 4203524 376421 0 0 0 179051 961 0 0 25 0 1 0 13669828 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/18592/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.76 CPU time (s): 1800.17 CPU user time (s): 1790.52 CPU system time (s): 9.65053 CPU usage (%): 99.9674 Max. virtual memory (cumulated for all children) (KiB): 1507580 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.52 system time used= 9.65053 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 376421 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= 1674 runsolver used 2.81157 second user time and 8.66968 second system time The end
Begin job on node055 at 2010-06-16 23:29:48 IDJOB=2671360 IDBENCH=48359 IDSOLVER=1160 FILE ID=node055/2671360-1276723788 PBS_JOBID= 11174141 Free space on /tmp= 62480 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_200_25_2_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-2671360-1276723788/watcher-2671360-1276723788 -o /tmp/evaluation-result-2671360-1276723788/solver-2671360-1276723788 -C 1800 -W 2000 -M 1800 wbo1.4a -file-format=opb -time-limit=1800 HOME/instance-2671360-1276723788.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ff64c7b9cef588c95a335f732f2d905b RANDOM SEED=1120594613 node055.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.258 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.51 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.258 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: 1745704 kB Buffers: 89632 kB Cached: 119712 kB SwapCached: 1504 kB Active: 96496 kB Inactive: 149468 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1745704 kB SwapTotal: 4192956 kB SwapFree: 4168596 kB Dirty: 2760 kB Writeback: 0 kB AnonPages: 34932 kB Mapped: 15144 kB Slab: 45532 kB PageTables: 4056 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181476 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-2671360-1276723788.opb Free space on /tmp at the end= 62476 MiB End job on node055 at 2010-06-16 23:59:51