Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (MO) | 1277.7 | 1278.27 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=383-P1=149-P2=409-P3=307-P4=127-P5=191-P6=227-P7=281-P8=211-B.opb |
MD5SUM | 1d88cb7e119c66203d260e6c8e2ab364 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 6.77897 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 216 |
Total number of constraints | 17 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 17 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 648 |
Sum of products size (including duplicates) | 1296 |
Number of different products | 648 |
Sum of products size | 1296 |
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-1875135-1245187452.opb. 0.00/0.00 c Instance file HOME/instance-1875135-1245187452.opb 0.00/0.00 c File size is 48923 bytes. 0.00/0.00 c Highest Coefficient sum: 523264 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 864 | 0.00/0.00 c | Number Clauses: 657 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 673 | 0.00/0.00 c core #1 0.00/0.00 c Core size: 10 Core Weight: 1 Total Weight: 1 0.00/0.00 c Elapsed CPU time: 0.006998 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #2 0.00/0.00 c Core size: 9 Core Weight: 1 Total Weight: 2 0.00/0.00 c Elapsed CPU time: 0.008998 s Remaining CPU time: 1799.99 s 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 775 1347 5367 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 101 | 775 1347 5367 | 5500 101 70 | 12.032 % | 0.00/0.02 c | 252 | 775 1347 5367 | 6050 252 74 | 12.033 % | 0.00/0.04 c | 478 | 775 1347 5367 | 6655 478 71 | 12.032 % | 0.05/0.06 c | 815 | 775 1347 5367 | 7320 815 71 | 12.032 % | 0.05/0.10 c | 1323 | 775 1347 5367 | 8052 1323 75 | 12.032 % | 0.09/0.16 c | 2082 | 775 1347 5367 | 8857 2082 76 | 12.032 % | 0.19/0.26 c | 3222 | 775 1347 5367 | 9743 3222 77 | 12.032 % | 0.29/0.39 c | 4931 | 775 1347 5367 | 10717 4931 81 | 12.032 % | 0.69/0.71 c | 7495 | 775 1347 5367 | 11789 7495 80 | 12.032 % | 0.99/1.05 c | 11340 | 775 1347 5367 | 12968 11340 82 | 12.032 % | 1.89/1.92 c | 17107 | 775 1347 5367 | 14265 10384 80 | 12.032 % | 2.69/2.71 c | 25756 | 775 1347 5367 | 15692 11541 87 | 12.032 % | 4.88/4.99 c | 38731 | 775 1347 5367 | 17261 8339 87 | 12.033 % | 7.98/8.04 c | 58192 | 775 1347 5367 | 18987 9871 86 | 12.032 % | 13.68/13.73 c | 87386 | 775 1347 5367 | 20886 19405 84 | 12.033 % | 21.18/21.29 c | 131176 | 775 1347 5367 | 22974 20036 89 | 12.033 % | 33.57/33.60 c | 196860 | 775 1347 5367 | 25272 22242 82 | 12.032 % | 52.97/53.01 c | 295387 | 775 1347 5367 | 27799 18481 92 | 12.032 % | 97.83/97.99 c | 443177 | 775 1347 5367 | 30579 15219 84 | 12.032 % | 149.81/149.98 c | 664861 | 775 1347 5367 | 33637 16319 100 | 12.032 % | 260.56/260.74 c | 997387 | 775 1347 5367 | 37001 32395 81 | 12.032 % | 402.79/403.03 c | 1496176 | 775 1347 5367 | 40701 33501 94 | 12.032 % | 714.47/714.81 c | 2244359 | 775 1347 5367 | 44771 12370 84 | 12.032 % | 1258.23/1258.81 c | 3366634 | 775 1347 5367 | 49248 33850 85 | 12.032 % |
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-1875135-1245187452/watcher-1875135-1245187452 -o /tmp/evaluation-result-1875135-1245187452/solver-1875135-1245187452 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875135-1245187452.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.93 0.98 0.99 3/64 8746 /proc/meminfo: memFree=1858688/2055920 swapFree=4180828/4192956 [pid=8746] ppid=8744 vsize=2576 CPUtime=0 /proc/8746/stat : 8746 (wbo) R 8744 8746 8674 0 -1 4194304 219 0 0 0 0 0 0 0 18 0 1 0 186345162 2637824 203 1992294400 134512640 135709839 4294956240 18446744073709551615 134547899 0 0 4096 3 0 0 0 17 0 0 0 /proc/8746/statm: 644 204 130 292 0 337 0 [startup+0.0565489 s] /proc/loadavg: 0.93 0.98 0.99 3/64 8746 /proc/meminfo: memFree=1858688/2055920 swapFree=4180828/4192956 [pid=8746] ppid=8744 vsize=3080 CPUtime=0.05 /proc/8746/stat : 8746 (wbo) R 8744 8746 8674 0 -1 4194304 378 0 0 0 5 0 0 0 18 0 1 0 186345162 3153920 350 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8746/statm: 770 350 136 292 0 475 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3080 [startup+0.102556 s] /proc/loadavg: 0.93 0.98 0.99 3/64 8746 /proc/meminfo: memFree=1858688/2055920 swapFree=4180828/4192956 [pid=8746] ppid=8744 vsize=3468 CPUtime=0.09 /proc/8746/stat : 8746 (wbo) R 8744 8746 8674 0 -1 4194304 463 0 0 0 9 0 0 0 18 0 1 0 186345162 3551232 435 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8746/statm: 867 435 136 292 0 572 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3468 [startup+0.301597 s] /proc/loadavg: 0.93 0.98 0.99 3/64 8746 /proc/meminfo: memFree=1858688/2055920 swapFree=4180828/4192956 [pid=8746] ppid=8744 vsize=4768 CPUtime=0.29 /proc/8746/stat : 8746 (wbo) R 8744 8746 8674 0 -1 4194304 786 0 0 0 29 0 0 0 19 0 1 0 186345162 4882432 758 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8746/statm: 1192 758 136 292 0 897 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4768 [startup+0.701656 s] /proc/loadavg: 0.93 0.98 0.99 3/64 8746 /proc/meminfo: memFree=1858688/2055920 swapFree=4180828/4192956 [pid=8746] ppid=8744 vsize=6720 CPUtime=0.69 /proc/8746/stat : 8746 (wbo) R 8744 8746 8674 0 -1 4194304 1270 0 0 0 68 1 0 0 23 0 1 0 186345162 6881280 1242 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8746/statm: 1680 1242 136 292 0 1385 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6720 [startup+1.50179 s] /proc/loadavg: 0.93 0.98 0.99 2/65 8747 /proc/meminfo: memFree=1852536/2055920 swapFree=4180828/4192956 [pid=8746] ppid=8744 vsize=10376 CPUtime=1.49 /proc/8746/stat : 8746 (wbo) R 8744 8746 8674 0 -1 4194304 2169 0 0 0 146 3 0 0 25 0 1 0 186345162 10625024 2141 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8746/statm: 2594 2141 136 292 0 2299 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10376 [startup+3.10106 s] /proc/loadavg: 0.93 0.98 0.99 2/65 8747 /proc/meminfo: memFree=1848192/2055920 swapFree=4180828/4192956 [pid=8746] ppid=8744 vsize=17764 CPUtime=3.09 /proc/8746/stat : 8746 (wbo) R 8744 8746 8674 0 -1 4194304 4021 0 0 0 303 6 0 0 25 0 1 0 186345162 18190336 3993 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8746/statm: 4441 3993 136 292 0 4146 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17764 [startup+6.30159 s] /proc/loadavg: 0.93 0.98 0.99 2/65 8747 /proc/meminfo: memFree=1834816/2055920 swapFree=4180828/4192956 [pid=8746] ppid=8744 vsize=29696 CPUtime=6.29 /proc/8746/stat : 8746 (wbo) R 8744 8746 8674 0 -1 4194304 7007 0 0 0 618 11 0 0 25 0 1 0 186345162 30408704 6979 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8746/statm: 7424 6979 136 292 0 7129 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29696 [startup+12.7017 s] /proc/loadavg: 0.94 0.98 0.99 2/65 8747 /proc/meminfo: memFree=1813440/2055920 swapFree=4180828/4192956 [pid=8746] ppid=8744 vsize=48316 CPUtime=12.68 /proc/8746/stat : 8746 (wbo) R 8744 8746 8674 0 -1 4194304 11666 0 0 0 1249 19 0 0 25 0 1 0 186345162 49475584 11638 1992294400 134512640 135709839 4294956240 18446744073709551615 134574243 0 0 4096 3 0 0 0 17 0 0 0 /proc/8746/statm: 12079 11638 136 292 0 11784 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 48316 [startup+25.5028 s] /proc/loadavg: 0.95 0.98 0.99 2/65 8747 /proc/meminfo: memFree=1775552/2055920 swapFree=4180828/4192956 [pid=8746] ppid=8744 vsize=87096 CPUtime=25.48 /proc/8746/stat : 8746 (wbo) R 8744 8746 8674 0 -1 4194304 21374 0 0 0 2511 37 0 0 25 0 1 0 186345162 89186304 21346 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8746/statm: 21774 21346 136 292 0 21479 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 87096 [startup+51.1021 s] /proc/loadavg: 0.97 0.98 0.99 2/65 8747 /proc/meminfo: memFree=1710208/2055920 swapFree=4180828/4192956 [pid=8746] ppid=8744 vsize=153256 CPUtime=51.06 /proc/8746/stat : 8746 (wbo) R 8744 8746 8674 0 -1 4194304 37906 0 0 0 5040 66 0 0 25 0 1 0 186345162 156934144 37878 1992294400 134512640 135709839 4294956240 18446744073709551615 134572738 0 0 4096 3 0 0 0 17 0 0 0 /proc/8746/statm: 38314 37878 136 292 0 38019 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 153256 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/65 8747 /proc/meminfo: memFree=1608256/2055920 swapFree=4180828/4192956 [pid=8746] ppid=8744 vsize=252644 CPUtime=102.23 /proc/8746/stat : 8746 (wbo) R 8744 8746 8674 0 -1 4194304 62727 0 0 0 10109 114 0 0 25 0 1 0 186345162 258707456 62699 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8746/statm: 63161 62699 136 292 0 62866 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 252644 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8747 /proc/meminfo: memFree=1475392/2055920 swapFree=4180828/4192956 [pid=8746] ppid=8744 vsize=385976 CPUtime=162.2 /proc/8746/stat : 8746 (wbo) R 8744 8746 8674 0 -1 4194304 96034 0 0 0 16045 175 0 0 25 0 1 0 186345162 395239424 96006 1992294400 134512640 135709839 4294956240 18446744073709551615 134573944 0 0 4096 3 0 0 0 17 0 0 0 /proc/8746/statm: 96494 96006 136 292 0 96199 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 385976 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8747 /proc/meminfo: memFree=1389056/2055920 swapFree=4180828/4192956 [pid=8746] ppid=8744 vsize=471720 CPUtime=222.17 /proc/8746/stat : 8746 (wbo) R 8744 8746 8674 0 -1 4194304 117473 0 0 0 21995 222 0 0 25 0 1 0 186345162 483041280 117445 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8746/statm: 117930 117445 136 292 0 117635 0 Current children cumulated CPU time (s) 222.17 Current children cumulated vsize (KiB) 471720 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8747 /proc/meminfo: memFree=1267648/2055920 swapFree=4180828/4192956 [pid=8746] ppid=8744 vsize=594520 CPUtime=282.16 /proc/8746/stat : 8746 (wbo) R 8744 8746 8674 0 -1 4194304 148192 0 0 0 27933 283 0 0 25 0 1 0 186345162 608788480 148164 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8746/statm: 148630 148164 136 292 0 148335 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 594520 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8747 /proc/meminfo: memFree=1143616/2055920 swapFree=4180828/4192956 [pid=8746] ppid=8744 vsize=716484 CPUtime=342.13 /proc/8746/stat : 8746 (wbo) R 8744 8746 8674 0 -1 4194304 178642 0 0 0 33876 337 0 0 25 0 1 0 186345162 733679616 178614 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8746/statm: 179121 178614 136 292 0 178826 0 Current children cumulated CPU time (s) 342.13 Current children cumulated vsize (KiB) 716484 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8747 /proc/meminfo: memFree=1055168/2055920 swapFree=4180828/4192956 [pid=8746] ppid=8744 vsize=805124 CPUtime=402.1 /proc/8746/stat : 8746 (wbo) R 8744 8746 8674 0 -1 4194304 200782 0 0 0 39829 381 0 0 25 0 1 0 186345162 824446976 200754 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8746/statm: 201281 200754 136 292 0 200986 0 Current children cumulated CPU time (s) 402.1 Current children cumulated vsize (KiB) 805124 [startup+462.303 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8747 /proc/meminfo: memFree=969600/2055920 swapFree=4180828/4192956 [pid=8746] ppid=8744 vsize=890384 CPUtime=462.07 /proc/8746/stat : 8746 (wbo) R 8744 8746 8674 0 -1 4194304 222078 0 0 0 45787 420 0 0 25 0 1 0 186345162 911753216 222050 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8746/statm: 222596 222050 136 292 0 222301 0 Current children cumulated CPU time (s) 462.07 Current children cumulated vsize (KiB) 890384 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8747 /proc/meminfo: memFree=908416/2055920 swapFree=4180828/4192956 [pid=8746] ppid=8744 vsize=952080 CPUtime=522.05 /proc/8746/stat : 8746 (wbo) R 8744 8746 8674 0 -1 4194304 237479 0 0 0 51751 454 0 0 25 0 1 0 186345162 974929920 237451 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8746/statm: 238020 237451 136 292 0 237725 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 952080 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8747 /proc/meminfo: memFree=841408/2055920 swapFree=4180828/4192956 [pid=8746] ppid=8744 vsize=1018404 CPUtime=582.02 /proc/8746/stat : 8746 (wbo) R 8744 8746 8674 0 -1 4194304 254051 0 0 0 57714 488 0 0 25 0 1 0 186345162 1042845696 254023 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8746/statm: 254601 254023 136 292 0 254306 0 Current children cumulated CPU time (s) 582.02 Current children cumulated vsize (KiB) 1018404 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8747 /proc/meminfo: memFree=768000/2055920 swapFree=4180828/4192956 [pid=8746] ppid=8744 vsize=1091396 CPUtime=642.01 /proc/8746/stat : 8746 (wbo) R 8744 8746 8674 0 -1 4194304 272277 0 0 0 63675 526 0 0 25 0 1 0 186345162 1117589504 272249 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 0 0 0 /proc/8746/statm: 272849 272249 136 292 0 272554 0 Current children cumulated CPU time (s) 642.01 Current children cumulated vsize (KiB) 1091396 [startup+702.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8747 /proc/meminfo: memFree=670784/2055920 swapFree=4180828/4192956 [pid=8746] ppid=8744 vsize=1189664 CPUtime=701.97 /proc/8746/stat : 8746 (wbo) R 8744 8746 8674 0 -1 4194304 296842 0 0 0 69619 578 0 0 25 0 1 0 186345162 1218215936 296814 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8746/statm: 297416 296814 136 292 0 297121 0 Current children cumulated CPU time (s) 701.97 Current children cumulated vsize (KiB) 1189664 [startup+762.306 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8747 /proc/meminfo: memFree=588608/2055920 swapFree=4180828/4192956 [pid=8746] ppid=8744 vsize=1270512 CPUtime=761.95 /proc/8746/stat : 8746 (wbo) R 8744 8746 8674 0 -1 4194304 317024 0 0 0 75574 621 0 0 25 0 1 0 186345162 1301004288 316996 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8746/statm: 317628 316996 136 292 0 317333 0 Current children cumulated CPU time (s) 761.95 Current children cumulated vsize (KiB) 1270512 [startup+822.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8747 /proc/meminfo: memFree=521920/2055920 swapFree=4180828/4192956 [pid=8746] ppid=8744 vsize=1337656 CPUtime=821.92 /proc/8746/stat : 8746 (wbo) R 8744 8746 8674 0 -1 4194304 333806 0 0 0 81536 656 0 0 25 0 1 0 186345162 1369759744 333778 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8746/statm: 334414 333778 136 292 0 334119 0 Current children cumulated CPU time (s) 821.92 Current children cumulated vsize (KiB) 1337656 [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8747 /proc/meminfo: memFree=437504/2055920 swapFree=4180828/4192956 [pid=8746] ppid=8744 vsize=1421604 CPUtime=881.89 /proc/8746/stat : 8746 (wbo) R 8744 8746 8674 0 -1 4194304 354762 0 0 0 87491 698 0 0 25 0 1 0 186345162 1455722496 354734 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8746/statm: 355401 354734 136 292 0 355106 0 Current children cumulated CPU time (s) 881.89 Current children cumulated vsize (KiB) 1421604 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8747 /proc/meminfo: memFree=380608/2055920 swapFree=4180828/4192956 [pid=8746] ppid=8744 vsize=1478692 CPUtime=941.87 /proc/8746/stat : 8746 (wbo) R 8744 8746 8674 0 -1 4194304 369037 0 0 0 93461 726 0 0 25 0 1 0 186345162 1514180608 369009 1992294400 134512640 135709839 4294956240 18446744073709551615 134573823 0 0 4096 3 0 0 0 17 0 0 0 /proc/8746/statm: 369673 369009 136 292 0 369378 0 Current children cumulated CPU time (s) 941.87 Current children cumulated vsize (KiB) 1478692 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8747 /proc/meminfo: memFree=313856/2055920 swapFree=4180828/4192956 [pid=8746] ppid=8744 vsize=1545416 CPUtime=1001.84 /proc/8746/stat : 8746 (wbo) R 8744 8746 8674 0 -1 4194304 385705 0 0 0 99423 761 0 0 25 0 1 0 186345162 1582505984 385677 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8746/statm: 386354 385677 136 292 0 386059 0 Current children cumulated CPU time (s) 1001.84 Current children cumulated vsize (KiB) 1545416 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8747 /proc/meminfo: memFree=258176/2055920 swapFree=4180828/4192956 [pid=8746] ppid=8744 vsize=1601812 CPUtime=1061.81 /proc/8746/stat : 8746 (wbo) R 8744 8746 8674 0 -1 4194304 399809 0 0 0 105392 789 0 0 25 0 1 0 186345162 1640255488 399781 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8746/statm: 400453 399781 136 292 0 400158 0 Current children cumulated CPU time (s) 1061.81 Current children cumulated vsize (KiB) 1601812 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8747 /proc/meminfo: memFree=207872/2055920 swapFree=4180828/4192956 [pid=8746] ppid=8744 vsize=1651480 CPUtime=1121.78 /proc/8746/stat : 8746 (wbo) R 8744 8746 8674 0 -1 4194304 412211 0 0 0 111362 816 0 0 25 0 1 0 186345162 1691115520 412183 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8746/statm: 412870 412183 136 292 0 412575 0 Current children cumulated CPU time (s) 1121.78 Current children cumulated vsize (KiB) 1651480 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8747 /proc/meminfo: memFree=143808/2055920 swapFree=4180828/4192956 [pid=8746] ppid=8744 vsize=1715680 CPUtime=1181.77 /proc/8746/stat : 8746 (wbo) R 8744 8746 8674 0 -1 4194304 428245 0 0 0 117329 848 0 0 25 0 1 0 186345162 1756856320 428217 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8746/statm: 428920 428217 136 292 0 428625 0 Current children cumulated CPU time (s) 1181.77 Current children cumulated vsize (KiB) 1715680 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 8747 /proc/meminfo: memFree=59264/2055920 swapFree=4180828/4192956 [pid=8746] ppid=8744 vsize=1799616 CPUtime=1241.73 /proc/8746/stat : 8746 (wbo) R 8744 8746 8674 0 -1 4194304 449228 0 0 0 123284 889 0 0 25 0 1 0 186345162 1842806784 449200 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8746/statm: 449904 449200 136 292 0 449609 0 Current children cumulated CPU time (s) 1241.73 Current children cumulated vsize (KiB) 1799616 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1278 s] /proc/loadavg: 0.99 0.98 0.99 3/65 8747 /proc/meminfo: memFree=14784/2055920 swapFree=4180828/4192956 [pid=8746] ppid=8744 vsize=1843268 CPUtime=1277.42 /proc/8746/stat : 8746 (wbo) R 8744 8746 8674 0 -1 4194304 460130 0 0 0 126831 911 0 0 25 0 1 0 186345162 1887506432 460102 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8746/statm: 460817 460102 136 292 0 460522 0 Current children cumulated CPU time (s) 1277.42 Current children cumulated vsize (KiB) 1843268 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1278.21 s] /proc/loadavg: 0.99 0.98 0.99 2/66 8748 /proc/meminfo: memFree=677176/2055920 swapFree=4180828/4192956 [pid=8746] ppid=8744 vsize=0 CPUtime=1277.62 /proc/8746/stat : 8746 (wbo) R 8744 8746 8674 0 -1 4195332 460130 0 0 0 126831 931 0 0 25 0 1 0 186345162 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/8746/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1277.62 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1278.27 CPU time (s): 1277.7 CPU user time (s): 1268.32 CPU system time (s): 9.38557 CPU usage (%): 99.9554 Max. virtual memory (cumulated for all children) (KiB): 1843268 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1268.32 system time used= 9.38557 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460130 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= 4624 runsolver used 1.41478 second user time and 3.24751 second system time The end
Begin job on node31 at 2009-06-16 23:24:12 IDJOB=1875135 IDBENCH=47975 IDSOLVER=698 FILE ID=node31/1875135-1245187452 PBS_JOBID= 9368296 Free space on /tmp= 66272 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=383-P1=149-P2=409-P3=307-P4=127-P5=191-P6=227-P7=281-P8=211-B.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-1875135-1245187452/watcher-1875135-1245187452 -o /tmp/evaluation-result-1875135-1245187452/solver-1875135-1245187452 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875135-1245187452.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1d88cb7e119c66203d260e6c8e2ab364 RANDOM SEED=518037724 node31.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.258 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.258 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: 1860768 kB Buffers: 40804 kB Cached: 83672 kB SwapCached: 5132 kB Active: 30768 kB Inactive: 101688 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1860768 kB SwapTotal: 4192956 kB SwapFree: 4180828 kB Dirty: 2748 kB Writeback: 0 kB Mapped: 13736 kB Slab: 48308 kB Committed_AS: 174788 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875135-1245187452.opb Free space on /tmp at the end= 66268 MiB End job on node31 at 2009-06-16 23:45:32