Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4b | ? (MO) | 1537.07 | 1537.03 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-95-90--soft-66-100-0.wbo |
MD5SUM | 3f020b13e6cf17982f0e6d51d5561da8 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 0.45293 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 8550 |
Total number of constraints | 185 |
Number of soft constraints | 61 |
Number of constraints which are clauses | 95 |
Number of constraints which are cardinality constraints (but not clauses) | 90 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 90 |
Maximum length of a constraint | 95 |
Top cost | 3342 |
Min constraint cost | 1 |
Max constraint cost | 99 |
Sum of constraints costs | 3341 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 96 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing wbo file format. File HOME/instance-2690418-1277894467.wbo. 0.00/0.00 c Instance file HOME/instance-2690418-1277894467.wbo 0.00/0.00 c File size is 153636 bytes. 0.00/0.01 c Highest Coefficient sum: 96 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 8550 | 0.00/0.01 c | Number Clauses: 95 | 0.00/0.01 c | Number Cardinality: 90 | 0.00/0.01 c | Number PB Constraints: 0 | 0.01/0.02 c ============================[ Search Statistics ]============================== 0.01/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.02 c =============================================================================== 0.01/0.02 c | 0 | 8550 185 17100 | 5000 0 nan | 0.000 % | 0.01/0.03 c | 100 | 8550 185 17100 | 5500 100 367 | 0.000 % | 0.01/0.05 c | 252 | 8550 185 17100 | 6050 252 521 | 0.000 % | 0.09/0.10 c | 480 | 8550 185 17100 | 6655 480 878 | 0.000 % | 0.09/0.17 c | 824 | 8550 185 17100 | 7320 824 983 | 0.000 % | 0.19/0.24 c | 1332 | 8550 185 17100 | 8052 1332 834 | 0.000 % | 0.29/0.38 c | 2092 | 8550 185 17100 | 8857 2092 719 | 0.000 % | 0.59/0.62 c | 3232 | 8550 185 17100 | 9743 3232 675 | 0.000 % | 0.89/0.99 c | 4944 | 8550 185 17100 | 10717 4944 625 | 0.000 % | 1.89/1.92 c | 7506 | 8550 185 17100 | 11789 7506 600 | 0.000 % | 3.39/3.40 c | 11351 | 8550 185 17100 | 12968 11351 610 | 0.000 % | 6.09/6.11 c | 17118 | 8550 185 17100 | 14265 17118 614 | 0.000 % | 11.59/11.63 c | 25767 | 8550 185 17100 | 15692 17208 645 | 0.000 % | 17.39/17.47 c | 38742 | 8550 185 17100 | 17261 21579 827 | 0.000 % | 46.99/47.07 c | 58203 | 8550 185 17100 | 18987 16499 1768 | 0.000 % | 85.89/85.96 c | 87395 | 8550 185 17100 | 20886 16757 1956 | 0.000 % | 180.60/180.61 c There are 0 assigned variables. 0 in cost function. 180.60/180.66 c ============================[ Search Statistics ]============================== 180.60/180.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 180.60/180.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 180.60/180.66 c =============================================================================== 180.60/180.66 c | 0 | 8550 185 17100 | 5000 0 nan | 0.000 % | 180.69/180.71 c | 102 | 8550 185 17100 | 5500 102 367 | 0.000 % | 180.69/180.78 c | 255 | 8550 185 17100 | 6050 255 499 | 0.000 % | 180.80/180.88 c | 481 | 8550 185 17100 | 6655 481 668 | 0.000 % | 181.19/181.29 c | 818 | 8550 185 17100 | 7320 818 1094 | 0.000 % | 181.60/181.66 c | 1325 | 8550 185 17100 | 8052 1325 922 | 0.000 % | 182.10/182.14 c | 2085 | 8550 185 17100 | 8857 2085 786 | 0.000 % | 182.79/182.83 c | 3224 | 8550 185 17100 | 9743 3224 686 | 0.000 % | 184.00/184.06 c | 4933 | 8550 185 17100 | 10717 4933 650 | 0.000 % | 186.09/186.13 c | 7495 | 8550 185 17100 | 11789 7495 632 | 0.000 % | 189.99/190.06 c | 11340 | 8550 185 17100 | 12968 11340 642 | 0.000 % | 196.70/196.79 c | 17106 | 8550 185 17100 | 14265 17106 639 | 0.000 % | 208.19/208.28 c | 25756 | 8550 185 17100 | 15692 17203 678 | 0.000 % | 229.90/230.00 c | 38732 | 8550 185 17100 | 17261 21578 1207 | 0.000 % | 267.99/268.08 c | 58193 | 8550 185 17100 | 18987 16403 1516 | 0.000 % | 324.69/324.76 c | 87386 | 8550 185 17100 | 20886 16571 1159 | 0.000 % | 399.49/399.53 c | 131176 | 8550 185 17100 | 22974 27054 1172 | 0.000 % | 531.10/531.18 c | 196861 | 8550 185 17100 | 25272 27323 1456 | 0.000 % | 790.01/790.06 c | 295387 | 8550 185 17100 | 27799 32394 1994 | 0.000 % | 1074.21/1074.23 c | 443179 | 8550 185 17100 | 30579 30242 1171 | 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-2690418-1277894467/watcher-2690418-1277894467 -o /tmp/evaluation-result-2690418-1277894467/solver-2690418-1277894467 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690418-1277894467.wbo 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/178 10356 /proc/meminfo: memFree=30616496/32951124 swapFree=67111528/67111528 [pid=10356] ppid=10354 vsize=3748 CPUtime=0 /proc/10356/stat : 10356 (wbo1.4b) R 10354 10356 8135 0 -1 4202496 520 0 0 0 0 0 0 0 23 0 1 0 130744633 3837952 438 4089446400 134512640 135752675 4288696352 18446744073709551615 134609676 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10356/statm: 937 438 142 303 0 594 0 [startup+0.0153011 s] /proc/loadavg: 2.00 2.00 2.00 3/178 10356 /proc/meminfo: memFree=30616496/32951124 swapFree=67111528/67111528 [pid=10356] ppid=10354 vsize=4952 CPUtime=0.01 /proc/10356/stat : 10356 (wbo1.4b) R 10354 10356 8135 0 -1 4202496 832 0 0 0 1 0 0 0 23 0 1 0 130744633 5070848 712 4089446400 134512640 135752675 4288696352 18446744073709551615 134525235 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10356/statm: 1271 720 141 303 0 966 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4952 [startup+0.100296 s] /proc/loadavg: 2.00 2.00 2.00 3/178 10356 /proc/meminfo: memFree=30616496/32951124 swapFree=67111528/67111528 [pid=10356] ppid=10354 vsize=6068 CPUtime=0.09 /proc/10356/stat : 10356 (wbo1.4b) R 10354 10356 8135 0 -1 4202496 1443 0 0 0 8 1 0 0 23 0 1 0 130744633 6213632 1066 4089446400 134512640 135752675 4288696352 18446744073709551615 134638016 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10356/statm: 1517 1068 144 303 0 1212 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6068 [startup+0.300249 s] /proc/loadavg: 2.00 2.00 2.00 3/178 10356 /proc/meminfo: memFree=30616496/32951124 swapFree=67111528/67111528 [pid=10356] ppid=10354 vsize=9784 CPUtime=0.29 /proc/10356/stat : 10356 (wbo1.4b) R 10354 10356 8135 0 -1 4202496 2352 0 0 0 27 2 0 0 23 0 1 0 130744633 10018816 1975 4089446400 134512640 135752675 4288696352 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10356/statm: 2446 1975 144 303 0 2141 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9784 [startup+0.700178 s] /proc/loadavg: 2.00 2.00 2.00 3/178 10356 /proc/meminfo: memFree=30616496/32951124 swapFree=67111528/67111528 [pid=10356] ppid=10354 vsize=14140 CPUtime=0.69 /proc/10356/stat : 10356 (wbo1.4b) R 10354 10356 8135 0 -1 4202496 3452 0 0 0 66 3 0 0 25 0 1 0 130744633 14479360 3075 4089446400 134512640 135752675 4288696352 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10356/statm: 3535 3075 144 303 0 3230 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14140 [startup+1.50104 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10358 /proc/meminfo: memFree=30602112/32951124 swapFree=67111528/67111528 [pid=10356] ppid=10354 vsize=21400 CPUtime=1.49 /proc/10356/stat : 10356 (wbo1.4b) R 10354 10356 8135 0 -1 4202496 5252 0 0 0 145 4 0 0 25 0 1 0 130744633 21913600 4875 4089446400 134512640 135752675 4288696352 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10356/statm: 5350 4875 144 303 0 5045 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21400 [startup+3.10075 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10358 /proc/meminfo: memFree=30594176/32951124 swapFree=67111528/67111528 [pid=10356] ppid=10354 vsize=32000 CPUtime=3.09 /proc/10356/stat : 10356 (wbo1.4b) R 10354 10356 8135 0 -1 4202496 7919 0 0 0 303 6 0 0 25 0 1 0 130744633 32768000 7542 4089446400 134512640 135752675 4288696352 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10356/statm: 8000 7542 144 303 0 7695 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32000 [startup+6.3002 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10358 /proc/meminfo: memFree=30570288/32951124 swapFree=67111528/67111528 [pid=10356] ppid=10354 vsize=50616 CPUtime=6.29 /proc/10356/stat : 10356 (wbo1.4b) R 10354 10356 8135 0 -1 4202496 12572 0 0 0 619 10 0 0 25 0 1 0 130744633 51830784 12195 4089446400 134512640 135752675 4288696352 18446744073709551615 134611804 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10356/statm: 12654 12195 144 303 0 12349 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 50616 [startup+12.7011 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10358 /proc/meminfo: memFree=30536336/32951124 swapFree=67111528/67111528 [pid=10356] ppid=10354 vsize=87104 CPUtime=12.69 /proc/10356/stat : 10356 (wbo1.4b) R 10354 10356 8135 0 -1 4202496 21682 0 0 0 1255 14 0 0 25 0 1 0 130744633 89194496 21305 4089446400 134512640 135752675 4288696352 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10356/statm: 21776 21305 144 303 0 21471 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 87104 [startup+25.5008 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10359 /proc/meminfo: memFree=30436776/32951124 swapFree=67111528/67111528 [pid=10356] ppid=10354 vsize=173008 CPUtime=25.49 /proc/10356/stat : 10356 (wbo1.4b) R 10354 10356 8135 0 -1 4202496 43165 0 0 0 2528 21 0 0 25 0 1 0 130744633 177160192 42788 4089446400 134512640 135752675 4288696352 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10356/statm: 43252 42788 144 303 0 42947 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 173008 [startup+51.1002 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10359 /proc/meminfo: memFree=30297496/32951124 swapFree=67111528/67111528 [pid=10356] ppid=10354 vsize=300484 CPUtime=51.09 /proc/10356/stat : 10356 (wbo1.4b) R 10354 10356 8135 0 -1 4202496 75033 0 0 0 5080 29 0 0 25 0 1 0 130744633 307695616 74656 4089446400 134512640 135752675 4288696352 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10356/statm: 75121 74656 144 303 0 74816 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 300484 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10361 /proc/meminfo: memFree=29995760/32951124 swapFree=67111528/67111528 [pid=10356] ppid=10354 vsize=571388 CPUtime=102.3 /proc/10356/stat : 10356 (wbo1.4b) R 10354 10356 8135 0 -1 4202496 142735 0 0 0 10182 48 0 0 25 0 1 0 130744633 585101312 142358 4089446400 134512640 135752675 4288696352 18446744073709551615 134611744 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10356/statm: 142847 142358 144 303 0 142542 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 571388 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10362 /proc/meminfo: memFree=29803268/32951124 swapFree=67111528/67111528 [pid=10356] ppid=10354 vsize=735576 CPUtime=162.29 /proc/10356/stat : 10356 (wbo1.4b) R 10354 10356 8135 0 -1 4202496 183759 0 0 0 16172 57 0 0 25 0 1 0 130744633 753229824 183382 4089446400 134512640 135752675 4288696352 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10356/statm: 183894 183382 144 303 0 183589 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 735576 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10363 /proc/meminfo: memFree=29715176/32951124 swapFree=67111528/67111528 [pid=10356] ppid=10354 vsize=796720 CPUtime=222.29 /proc/10356/stat : 10356 (wbo1.4b) R 10354 10356 8135 0 -1 4202496 199229 0 0 0 22158 71 0 0 25 0 1 0 130744633 815841280 198721 4089446400 134512640 135752675 4288696352 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10356/statm: 199180 198721 146 303 0 198875 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 796720 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10365 /proc/meminfo: memFree=29535580/32951124 swapFree=67111528/67111528 [pid=10356] ppid=10354 vsize=944320 CPUtime=282.3 /proc/10356/stat : 10356 (wbo1.4b) R 10354 10356 8135 0 -1 4202496 236161 0 0 0 28148 82 0 0 25 0 1 0 130744633 966983680 235653 4089446400 134512640 135752675 4288696352 18446744073709551615 134607260 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/10356/statm: 236080 235653 146 303 0 235775 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 944320 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10367 /proc/meminfo: memFree=29370732/32951124 swapFree=67111528/67111528 [pid=10356] ppid=10354 vsize=1088484 CPUtime=342.3 /proc/10356/stat : 10356 (wbo1.4b) R 10354 10356 8135 0 -1 4202496 272166 0 0 0 34135 95 0 0 25 0 1 0 130744633 1114607616 271658 4089446400 134512640 135752675 4288696352 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10356/statm: 272121 271658 146 303 0 271816 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 1088484 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10369 /proc/meminfo: memFree=29194116/32951124 swapFree=67111528/67111528 [pid=10356] ppid=10354 vsize=1242452 CPUtime=402.3 /proc/10356/stat : 10356 (wbo1.4b) R 10354 10356 8135 0 -1 4202496 310600 0 0 0 40123 107 0 0 25 0 1 0 130744633 1272270848 310092 4089446400 134512640 135752675 4288696352 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10356/statm: 310613 310092 146 303 0 310308 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 1242452 [startup+462.3 s] /proc/loadavg: 2.05 2.01 2.00 3/179 10370 /proc/meminfo: memFree=29027288/32951124 swapFree=67111528/67111528 [pid=10356] ppid=10354 vsize=1381112 CPUtime=462.3 /proc/10356/stat : 10356 (wbo1.4b) R 10354 10356 8135 0 -1 4202496 345238 0 0 0 46114 116 0 0 25 0 1 0 130744633 1414258688 344730 4089446400 134512640 135752675 4288696352 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10356/statm: 345278 344730 146 303 0 344973 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 1381112 [startup+522.301 s] /proc/loadavg: 2.02 2.01 2.00 3/179 10371 /proc/meminfo: memFree=28848436/32951124 swapFree=67111528/67111528 [pid=10356] ppid=10354 vsize=1535668 CPUtime=522.3 /proc/10356/stat : 10356 (wbo1.4b) R 10354 10356 8135 0 -1 4202496 383856 0 0 0 52103 127 0 0 25 0 1 0 130744633 1572524032 383348 4089446400 134512640 135752675 4288696352 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10356/statm: 383917 383348 146 303 0 383612 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 1535668 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10373 /proc/meminfo: memFree=28636104/32951124 swapFree=67111528/67111528 [pid=10356] ppid=10354 vsize=1727248 CPUtime=582.3 /proc/10356/stat : 10356 (wbo1.4b) R 10354 10356 8135 0 -1 4202496 431749 0 0 0 58088 142 0 0 25 0 1 0 130744633 1768701952 431241 4089446400 134512640 135752675 4288696352 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10356/statm: 431812 431241 146 303 0 431507 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 1727248 [startup+642.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10375 /proc/meminfo: memFree=28472872/32951124 swapFree=67111528/67111528 [pid=10356] ppid=10354 vsize=1865060 CPUtime=642.31 /proc/10356/stat : 10356 (wbo1.4b) R 10354 10356 8135 0 -1 4202496 466173 0 0 0 64081 150 0 0 25 0 1 0 130744633 1909821440 465665 4089446400 134512640 135752675 4288696352 18446744073709551615 134611807 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10356/statm: 466265 465665 146 303 0 465960 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1865060 [startup+702.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10377 /proc/meminfo: memFree=28295264/32951124 swapFree=67111528/67111528 [pid=10356] ppid=10354 vsize=2023924 CPUtime=702.3 /proc/10356/stat : 10356 (wbo1.4b) R 10354 10356 8135 0 -1 4202496 505877 0 0 0 70069 161 0 0 25 0 1 0 130744633 2072498176 505369 4089446400 134512640 135752675 4288696352 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10356/statm: 505981 505369 146 303 0 505676 0 Current children cumulated CPU time (s) 702.3 Current children cumulated vsize (KiB) 2023924 [startup+762.306 s] /proc/loadavg: 2.20 2.05 2.01 4/200 10482 /proc/meminfo: memFree=29462504/32951124 swapFree=67111528/67111528 [pid=10356] ppid=10354 vsize=2202300 CPUtime=762.32 /proc/10356/stat : 10356 (wbo1.4b) R 10354 10356 8135 0 -1 4202496 550480 0 0 0 76059 173 0 0 25 0 1 0 130744633 2255155200 549972 4089446400 134512640 135752675 4288696352 18446744073709551615 134607284 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10356/statm: 550575 549972 146 303 0 550270 0 Current children cumulated CPU time (s) 762.32 Current children cumulated vsize (KiB) 2202300 [startup+822.301 s] /proc/loadavg: 2.15 2.06 2.02 3/179 10511 /proc/meminfo: memFree=29324104/32951124 swapFree=67111528/67111528 [pid=10356] ppid=10354 vsize=2378916 CPUtime=822.31 /proc/10356/stat : 10356 (wbo1.4b) R 10354 10356 8135 0 -1 4202496 594635 0 0 0 82045 186 0 0 25 0 1 0 130744633 2436009984 594127 4089446400 134512640 135752675 4288696352 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10356/statm: 594729 594127 146 303 0 594424 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 2378916 [startup+882.301 s] /proc/loadavg: 2.05 2.05 2.01 3/179 10513 /proc/meminfo: memFree=29021236/32951124 swapFree=67111528/67111528 [pid=10356] ppid=10354 vsize=2528928 CPUtime=882.31 /proc/10356/stat : 10356 (wbo1.4b) R 10354 10356 8135 0 -1 4202496 632103 0 0 0 88034 197 0 0 25 0 1 0 130744633 2589622272 631595 4089446400 134512640 135752675 4288696352 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10356/statm: 632232 631595 146 303 0 631927 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 2528928 [startup+942.3 s] /proc/loadavg: 2.02 2.04 2.01 3/179 10515 /proc/meminfo: memFree=28738828/32951124 swapFree=67111528/67111528 [pid=10356] ppid=10354 vsize=2684660 CPUtime=942.31 /proc/10356/stat : 10356 (wbo1.4b) R 10354 10356 8135 0 -1 4202496 671015 0 0 0 94022 209 0 0 25 0 1 0 130744633 2749091840 670507 4089446400 134512640 135752675 4288696352 18446744073709551615 134639428 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10356/statm: 671165 670507 146 303 0 670860 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 2684660 [startup+1002.3 s] /proc/loadavg: 2.13 2.06 2.01 3/179 10517 /proc/meminfo: memFree=28469064/32951124 swapFree=67111528/67111528 [pid=10356] ppid=10354 vsize=2824920 CPUtime=1002.31 /proc/10356/stat : 10356 (wbo1.4b) R 10354 10356 8135 0 -1 4202496 706082 0 0 0 100011 220 0 0 25 0 1 0 130744633 2892718080 705574 4089446400 134512640 135752675 4288696352 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10356/statm: 706230 705574 146 303 0 705925 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 2824920 [startup+1062.3 s] /proc/loadavg: 2.05 2.05 2.01 3/179 10518 /proc/meminfo: memFree=28202524/32951124 swapFree=67111528/67111528 [pid=10356] ppid=10354 vsize=2964176 CPUtime=1062.32 /proc/10356/stat : 10356 (wbo1.4b) R 10354 10356 8135 0 -1 4202496 740891 0 0 0 106003 229 0 0 25 0 1 0 130744633 3035316224 740383 4089446400 134512640 135752675 4288696352 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10356/statm: 741044 740383 146 303 0 740739 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 2964176 [startup+1122.3 s] /proc/loadavg: 2.02 2.04 2.00 3/179 10519 /proc/meminfo: memFree=27979012/32951124 swapFree=67111528/67111528 [pid=10356] ppid=10354 vsize=3068060 CPUtime=1122.31 /proc/10356/stat : 10356 (wbo1.4b) R 10354 10356 8135 0 -1 4202496 766852 0 0 0 111995 236 0 0 25 0 1 0 130744633 3141693440 766344 4089446400 134512640 135752675 4288696352 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10356/statm: 767015 766344 146 303 0 766710 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 3068060 [startup+1182.3 s] /proc/loadavg: 2.00 2.03 2.00 3/179 10521 /proc/meminfo: memFree=27755992/32951124 swapFree=67111528/67111528 [pid=10356] ppid=10354 vsize=3178484 CPUtime=1182.32 /proc/10356/stat : 10356 (wbo1.4b) R 10354 10356 8135 0 -1 4202496 794442 0 0 0 117988 244 0 0 25 0 1 0 130744633 3254767616 793934 4089446400 134512640 135752675 4288696352 18446744073709551615 134607306 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10356/statm: 794621 793934 146 303 0 794316 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 3178484 [startup+1242.3 s] /proc/loadavg: 2.00 2.02 2.00 3/179 10532 /proc/meminfo: memFree=27530636/32951124 swapFree=67111528/67111528 [pid=10356] ppid=10354 vsize=3280900 CPUtime=1242.32 /proc/10356/stat : 10356 (wbo1.4b) R 10354 10356 8135 0 -1 4202496 819995 0 0 0 123980 252 0 0 25 0 1 0 130744633 3359641600 819487 4089446400 134512640 135752675 4288696352 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10356/statm: 820225 819487 146 303 0 819920 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 3280900 [startup+1302.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 10534 /proc/meminfo: memFree=27291380/32951124 swapFree=67111528/67111528 [pid=10356] ppid=10354 vsize=3398160 CPUtime=1302.32 /proc/10356/stat : 10356 (wbo1.4b) R 10354 10356 8135 0 -1 4202496 849320 0 0 0 129972 260 0 0 25 0 1 0 130744633 3479715840 848812 4089446400 134512640 135752675 4288696352 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10356/statm: 849540 848812 146 303 0 849235 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 3398160 [startup+1362.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 10535 /proc/meminfo: memFree=27031804/32951124 swapFree=67111528/67111528 [pid=10356] ppid=10354 vsize=3554188 CPUtime=1362.32 /proc/10356/stat : 10356 (wbo1.4b) R 10354 10356 8135 0 -1 4202496 888315 0 0 0 135962 270 0 0 25 0 1 0 130744633 3639488512 887807 4089446400 134512640 135752675 4288696352 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10356/statm: 888547 887807 146 303 0 888242 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 3554188 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10536 /proc/meminfo: memFree=26829380/32951124 swapFree=67111528/67111528 [pid=10356] ppid=10354 vsize=3674652 CPUtime=1422.33 /proc/10356/stat : 10356 (wbo1.4b) R 10354 10356 8135 0 -1 4202496 918400 0 0 0 141956 277 0 0 25 0 1 0 130744633 3762843648 917892 4089446400 134512640 135752675 4288696352 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10356/statm: 918663 917892 146 303 0 918358 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 3674652 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10538 /proc/meminfo: memFree=26659700/32951124 swapFree=67111528/67111528 [pid=10356] ppid=10354 vsize=3786172 CPUtime=1482.33 /proc/10356/stat : 10356 (wbo1.4b) R 10354 10356 8135 0 -1 4202496 946258 0 0 0 147948 285 0 0 25 0 1 0 130744633 3877040128 945750 4089446400 134512640 135752675 4288696352 18446744073709551615 134518948 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10356/statm: 946543 945750 146 303 0 946238 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 3786172 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1536.9 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10540 /proc/meminfo: memFree=26512460/32951124 swapFree=67111528/67111528 [pid=10356] ppid=10354 vsize=3891360 CPUtime=1536.93 /proc/10356/stat : 10356 (wbo1.4b) R 10354 10356 8135 0 -1 4202496 972542 0 0 0 153400 293 0 0 25 0 1 0 130744633 3984752640 972034 4089446400 134512640 135752675 4288696352 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10356/statm: 972840 972034 146 303 0 972535 0 Current children cumulated CPU time (s) 1536.93 Current children cumulated vsize (KiB) 3891360 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1537.01 s] /proc/loadavg: 2.00 2.00 2.00 3/179 10540 /proc/meminfo: memFree=26512460/32951124 swapFree=67111528/67111528 [pid=10356] ppid=10354 vsize=0 CPUtime=1537.03 /proc/10356/stat : 10356 (wbo1.4b) R 10354 10356 8135 0 -1 4203524 972542 0 0 0 153400 303 0 0 25 0 1 0 130744633 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 7 0 0 0 /proc/10356/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1537.03 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1537.03 CPU time (s): 1537.07 CPU user time (s): 1534.01 CPU system time (s): 3.06153 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 3891360 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1534.01 system time used= 3.06153 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 972542 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= 5 involuntary context switches= 14384 runsolver used 2.35564 second user time and 4.97324 second system time The end
Begin job on node101 at 2010-06-30 12:41:07 IDJOB=2690418 IDBENCH=78737 IDSOLVER=1201 FILE ID=node101/2690418-1277894467 PBS_JOBID= 11197151 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-95-90--soft-66-100-0.wbo COMMAND LINE= wbo1.4b -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690418-1277894467/watcher-2690418-1277894467 -o /tmp/evaluation-result-2690418-1277894467/solver-2690418-1277894467 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690418-1277894467.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3f020b13e6cf17982f0e6d51d5561da8 RANDOM SEED=1377260463 node101.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.837 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.837 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.837 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.837 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.837 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.837 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.837 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.837 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30617272 kB Buffers: 178152 kB Cached: 736588 kB SwapCached: 0 kB Active: 1670336 kB Inactive: 519488 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30617272 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2804 kB Writeback: 0 kB AnonPages: 1274868 kB Mapped: 16076 kB Slab: 76668 kB PageTables: 7180 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1452372 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node101 at 2010-06-30 13:06:46