Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | ? (MO) | 1187.25 | 1187.23 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-95-90--soft-33-100-0.wbo |
MD5SUM | bad48add975eecf801ffda2fc733cf44 |
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 | 1 |
Best CPU time to get the best result obtained on this benchmark | 0.337947 |
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 | 120 |
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 | 6763 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 6762 |
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 - 20100517 0.00/0.00 c Parsing wbo file format. File HOME/instance-2689780-1277894553.wbo. 0.00/0.00 c Instance file HOME/instance-2689780-1277894553.wbo 0.00/0.00 c File size is 153931 bytes. 0.01/0.01 c Highest Coefficient sum: 96 0.01/0.01 c ============================[ Problem Statistics ]============================= 0.01/0.01 c | | 0.01/0.01 c | Parsing time: 0.01 s | 0.01/0.01 c | Number Variables: 8550 | 0.01/0.01 c | Number Clauses: 95 | 0.01/0.01 c | Number Cardinality: 90 | 0.01/0.01 c | Number PB Constraints: 0 | 0.01/0.01 c ============================[ Search Statistics ]============================== 0.01/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.01 c =============================================================================== 0.01/0.01 c | 0 | 8550 185 17100 | 5000 0 nan | 0.000 % | 0.01/0.02 c | 100 | 8550 185 17100 | 5500 100 367 | 0.000 % | 0.01/0.04 c | 252 | 8550 185 17100 | 6050 252 521 | 0.000 % | 0.01/0.09 c | 480 | 8550 185 17100 | 6655 480 878 | 0.000 % | 0.09/0.16 c | 820 | 8550 185 17100 | 7320 820 965 | 0.000 % | 0.19/0.24 c | 1328 | 8550 185 17100 | 8052 1328 818 | 0.000 % | 0.29/0.35 c | 2087 | 8550 185 17100 | 8857 2087 700 | 0.000 % | 0.59/0.60 c | 3227 | 8550 185 17100 | 9743 3227 641 | 0.000 % | 0.89/0.96 c | 4936 | 8550 185 17100 | 10717 4936 617 | 0.000 % | 1.79/1.81 c | 7499 | 8550 185 17100 | 11789 7499 622 | 0.000 % | 3.69/3.77 c | 11343 | 8550 185 17100 | 12968 11343 640 | 0.000 % | 6.79/6.82 c | 17109 | 8550 185 17100 | 14265 17109 704 | 0.000 % | 12.59/12.66 c | 25759 | 8550 185 17100 | 15692 17205 760 | 0.000 % | 29.49/29.60 c | 38733 | 8550 185 17100 | 17261 21577 1123 | 0.000 % | 63.59/63.65 c | 58194 | 8550 185 17100 | 18987 16100 1834 | 0.000 % | 96.99/97.09 c | 87387 | 8550 185 17100 | 20886 15499 1611 | 0.000 % | 168.10/168.17 c | 131178 | 8550 185 17100 | 22974 26371 1671 | 0.000 % | 281.50/281.52 c | 196866 | 8550 185 17100 | 25272 24859 1352 | 0.000 % | 435.70/435.71 c | 295392 | 8550 185 17100 | 27799 24700 1003 | 0.000 % | 783.31/783.36 c | 443182 | 8550 185 17100 | 30579 20049 1834 | 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-2689780-1277894553/watcher-2689780-1277894553 -o /tmp/evaluation-result-2689780-1277894553/solver-2689780-1277894553 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689780-1277894553.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 4/178 22154 /proc/meminfo: memFree=27487456/32951124 swapFree=67111528/67111528 [pid=22154] ppid=22152 vsize=3836 CPUtime=0 /proc/22154/stat : 22154 (wbo1.4a) R 22152 22154 20750 0 -1 4202496 522 0 0 0 0 0 0 0 25 0 1 0 163094913 3928064 440 4089446400 134512640 135751879 4287304176 18446744073709551615 134564614 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22154/statm: 959 442 143 303 0 616 0 [startup+0.0113291 s] /proc/loadavg: 2.00 2.00 2.00 4/178 22154 /proc/meminfo: memFree=27487456/32951124 swapFree=67111528/67111528 [pid=22154] ppid=22152 vsize=4112 CPUtime=0.01 /proc/22154/stat : 22154 (wbo1.4a) R 22152 22154 20750 0 -1 4202496 619 0 0 0 1 0 0 0 25 0 1 0 163094913 4210688 537 4089446400 134512640 135751879 4287304176 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22154/statm: 1028 537 159 303 0 685 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4112 [startup+0.100318 s] /proc/loadavg: 2.00 2.00 2.00 4/178 22154 /proc/meminfo: memFree=27487456/32951124 swapFree=67111528/67111528 [pid=22154] ppid=22152 vsize=6224 CPUtime=0.09 /proc/22154/stat : 22154 (wbo1.4a) R 22152 22154 20750 0 -1 4202496 1205 0 0 0 9 0 0 0 18 0 1 0 163094913 6373376 1085 4089446400 134512640 135751879 4287304176 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22154/statm: 1556 1085 143 303 0 1251 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6224 [startup+0.300283 s] /proc/loadavg: 2.00 2.00 2.00 4/178 22154 /proc/meminfo: memFree=27487456/32951124 swapFree=67111528/67111528 [pid=22154] ppid=22152 vsize=9660 CPUtime=0.29 /proc/22154/stat : 22154 (wbo1.4a) R 22152 22154 20750 0 -1 4202496 2077 0 0 0 28 1 0 0 18 0 1 0 163094913 9891840 1957 4089446400 134512640 135751879 4287304176 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22154/statm: 2415 1957 143 303 0 2110 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9660 [startup+0.700215 s] /proc/loadavg: 2.00 2.00 2.00 4/178 22154 /proc/meminfo: memFree=27487456/32951124 swapFree=67111528/67111528 [pid=22154] ppid=22152 vsize=14560 CPUtime=0.69 /proc/22154/stat : 22154 (wbo1.4a) R 22152 22154 20750 0 -1 4202496 3304 0 0 0 67 2 0 0 18 0 1 0 163094913 14909440 3184 4089446400 134512640 135751879 4287304176 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22154/statm: 3640 3185 143 303 0 3335 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14560 [startup+1.50108 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22155 /proc/meminfo: memFree=27468352/32951124 swapFree=67111528/67111528 [pid=22154] ppid=22152 vsize=22356 CPUtime=1.49 /proc/22154/stat : 22154 (wbo1.4a) R 22152 22154 20750 0 -1 4202496 5248 0 0 0 147 2 0 0 19 0 1 0 163094913 22892544 5128 4089446400 134512640 135751879 4287304176 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22154/statm: 5589 5128 143 303 0 5284 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 22356 [startup+3.10081 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22155 /proc/meminfo: memFree=27454836/32951124 swapFree=67111528/67111528 [pid=22154] ppid=22152 vsize=32924 CPUtime=3.09 /proc/22154/stat : 22154 (wbo1.4a) R 22152 22154 20750 0 -1 4202496 7874 0 0 0 306 3 0 0 25 0 1 0 163094913 33714176 7754 4089446400 134512640 135751879 4287304176 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22154/statm: 8231 7754 143 303 0 7926 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32924 [startup+6.30028 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22155 /proc/meminfo: memFree=27423632/32951124 swapFree=67111528/67111528 [pid=22154] ppid=22152 vsize=52284 CPUtime=6.29 /proc/22154/stat : 22154 (wbo1.4a) R 22152 22154 20750 0 -1 4202496 12717 0 0 0 625 4 0 0 25 0 1 0 163094913 53538816 12597 4089446400 134512640 135751879 4287304176 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22154/statm: 13071 12597 143 303 0 12766 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 52284 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22155 /proc/meminfo: memFree=27370684/32951124 swapFree=67111528/67111528 [pid=22154] ppid=22152 vsize=82000 CPUtime=12.69 /proc/22154/stat : 22154 (wbo1.4a) R 22152 22154 20750 0 -1 4202496 20147 0 0 0 1262 7 0 0 25 0 1 0 163094913 83968000 20027 4089446400 134512640 135751879 4287304176 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22154/statm: 20500 20027 143 303 0 20195 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 82000 [startup+25.5011 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22155 /proc/meminfo: memFree=27261972/32951124 swapFree=67111528/67111528 [pid=22154] ppid=22152 vsize=145316 CPUtime=25.5 /proc/22154/stat : 22154 (wbo1.4a) R 22152 22154 20750 0 -1 4202496 35992 0 0 0 2538 12 0 0 25 0 1 0 163094913 148803584 35872 4089446400 134512640 135751879 4287304176 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22154/statm: 36329 35872 143 303 0 36024 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 145316 [startup+51.1008 s] /proc/loadavg: 1.94 1.98 1.99 3/197 22203 /proc/meminfo: memFree=30897280/32951124 swapFree=67111528/67111528 [pid=22154] ppid=22152 vsize=258404 CPUtime=51.09 /proc/22154/stat : 22154 (wbo1.4a) R 22152 22154 20750 0 -1 4202496 64265 0 0 0 5092 17 0 0 25 0 1 0 163094913 264605696 64145 4089446400 134512640 135751879 4287304176 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22154/statm: 64601 64145 143 303 0 64296 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 258404 [startup+102.306 s] /proc/loadavg: 2.02 2.00 2.00 3/197 22205 /proc/meminfo: memFree=30599668/32951124 swapFree=67111528/67111528 [pid=22154] ppid=22152 vsize=535432 CPUtime=102.3 /proc/22154/stat : 22154 (wbo1.4a) R 22152 22154 20750 0 -1 4202496 133504 0 0 0 10196 34 0 0 25 0 1 0 163094913 548282368 133384 4089446400 134512640 135751879 4287304176 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22154/statm: 133858 133384 143 303 0 133553 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 535432 [startup+162.3 s] /proc/loadavg: 2.01 2.00 2.00 3/197 22205 /proc/meminfo: memFree=30340468/32951124 swapFree=67111528/67111528 [pid=22154] ppid=22152 vsize=760020 CPUtime=162.29 /proc/22154/stat : 22154 (wbo1.4a) R 22152 22154 20750 0 -1 4202496 189613 0 0 0 16184 45 0 0 25 0 1 0 163094913 778260480 189493 4089446400 134512640 135751879 4287304176 18446744073709551615 134616540 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22154/statm: 190005 189493 143 303 0 189700 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 760020 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 22207 /proc/meminfo: memFree=30136452/32951124 swapFree=67111528/67111528 [pid=22154] ppid=22152 vsize=948148 CPUtime=222.3 /proc/22154/stat : 22154 (wbo1.4a) R 22152 22154 20750 0 -1 4202496 236628 0 0 0 22173 57 0 0 25 0 1 0 163094913 970903552 236508 4089446400 134512640 135751879 4287304176 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22154/statm: 237037 236508 143 303 0 236732 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 948148 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 22209 /proc/meminfo: memFree=29896836/32951124 swapFree=67111528/67111528 [pid=22154] ppid=22152 vsize=1136812 CPUtime=282.29 /proc/22154/stat : 22154 (wbo1.4a) R 22152 22154 20750 0 -1 4202496 283782 0 0 0 28163 66 0 0 25 0 1 0 163094913 1164095488 283662 4089446400 134512640 135751879 4287304176 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22154/statm: 284203 283662 143 303 0 283898 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 1136812 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 22211 /proc/meminfo: memFree=29700756/32951124 swapFree=67111528/67111528 [pid=22154] ppid=22152 vsize=1324596 CPUtime=342.29 /proc/22154/stat : 22154 (wbo1.4a) R 22152 22154 20750 0 -1 4202496 330696 0 0 0 34150 79 0 0 25 0 1 0 163094913 1356386304 330576 4089446400 134512640 135751879 4287304176 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22154/statm: 331149 330576 143 303 0 330844 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 1324596 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 22211 /proc/meminfo: memFree=29532192/32951124 swapFree=67111528/67111528 [pid=22154] ppid=22152 vsize=1492968 CPUtime=402.3 /proc/22154/stat : 22154 (wbo1.4a) R 22152 22154 20750 0 -1 4202496 372784 0 0 0 40140 90 0 0 25 0 1 0 163094913 1528799232 372664 4089446400 134512640 135751879 4287304176 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22154/statm: 373242 372664 143 303 0 372937 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 1492968 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 22213 /proc/meminfo: memFree=29314788/32951124 swapFree=67111528/67111528 [pid=22154] ppid=22152 vsize=1710392 CPUtime=462.3 /proc/22154/stat : 22154 (wbo1.4a) R 22152 22154 20750 0 -1 4202496 427143 0 0 0 46128 102 0 0 25 0 1 0 163094913 1751441408 427023 4089446400 134512640 135751879 4287304176 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22154/statm: 427598 427023 143 303 0 427293 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 1710392 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 22215 /proc/meminfo: memFree=29154756/32951124 swapFree=67111528/67111528 [pid=22154] ppid=22152 vsize=1871196 CPUtime=522.3 /proc/22154/stat : 22154 (wbo1.4a) R 22152 22154 20750 0 -1 4202496 467314 0 0 0 52118 112 0 0 25 0 1 0 163094913 1916104704 467194 4089446400 134512640 135751879 4287304176 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22154/statm: 467799 467194 143 303 0 467494 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 1871196 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 22217 /proc/meminfo: memFree=28983592/32951124 swapFree=67111528/67111528 [pid=22154] ppid=22152 vsize=2041780 CPUtime=582.3 /proc/22154/stat : 22154 (wbo1.4a) R 22152 22154 20750 0 -1 4202496 509970 0 0 0 58108 122 0 0 25 0 1 0 163094913 2090782720 509850 4089446400 134512640 135751879 4287304176 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22154/statm: 510445 509850 143 303 0 510140 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 2041780 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 22219 /proc/meminfo: memFree=28735664/32951124 swapFree=67111528/67111528 [pid=22154] ppid=22152 vsize=2286212 CPUtime=642.3 /proc/22154/stat : 22154 (wbo1.4a) R 22152 22154 20750 0 -1 4202496 571035 0 0 0 64097 133 0 0 25 0 1 0 163094913 2341081088 570915 4089446400 134512640 135751879 4287304176 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22154/statm: 571553 570915 143 303 0 571248 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 2286212 [startup+702.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 22219 /proc/meminfo: memFree=28525292/32951124 swapFree=67111528/67111528 [pid=22154] ppid=22152 vsize=2497024 CPUtime=702.3 /proc/22154/stat : 22154 (wbo1.4a) R 22152 22154 20750 0 -1 4202496 623760 0 0 0 70085 145 0 0 25 0 1 0 163094913 2556952576 623640 4089446400 134512640 135751879 4287304176 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22154/statm: 624256 623640 143 303 0 623951 0 Current children cumulated CPU time (s) 702.3 Current children cumulated vsize (KiB) 2497024 [startup+762.307 s] /proc/loadavg: 2.03 2.01 2.00 3/197 22221 /proc/meminfo: memFree=28352076/32951124 swapFree=67111528/67111528 [pid=22154] ppid=22152 vsize=2668760 CPUtime=762.31 /proc/22154/stat : 22154 (wbo1.4a) R 22152 22154 20750 0 -1 4202496 666679 0 0 0 76076 155 0 0 25 0 1 0 163094913 2732810240 666559 4089446400 134512640 135751879 4287304176 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22154/statm: 667190 666559 143 303 0 666885 0 Current children cumulated CPU time (s) 762.31 Current children cumulated vsize (KiB) 2668760 [startup+822.3 s] /proc/loadavg: 2.01 2.01 2.00 3/197 22223 /proc/meminfo: memFree=28102284/32951124 swapFree=67111528/67111528 [pid=22154] ppid=22152 vsize=2909412 CPUtime=822.3 /proc/22154/stat : 22154 (wbo1.4a) R 22152 22154 20750 0 -1 4202496 726843 0 0 0 82063 167 0 0 25 0 1 0 163094913 2979237888 726723 4089446400 134512640 135751879 4287304176 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22154/statm: 727353 726723 143 303 0 727048 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 2909412 [startup+882.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 22225 /proc/meminfo: memFree=27921588/32951124 swapFree=67111528/67111528 [pid=22154] ppid=22152 vsize=3088408 CPUtime=882.3 /proc/22154/stat : 22154 (wbo1.4a) R 22152 22154 20750 0 -1 4202496 771560 0 0 0 88053 177 0 0 25 0 1 0 163094913 3162529792 771440 4089446400 134512640 135751879 4287304176 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22154/statm: 772102 771440 143 303 0 771797 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 3088408 [startup+942.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 22227 /proc/meminfo: memFree=27790580/32951124 swapFree=67111528/67111528 [pid=22154] ppid=22152 vsize=3218684 CPUtime=942.3 /proc/22154/stat : 22154 (wbo1.4a) R 22152 22154 20750 0 -1 4202496 804127 0 0 0 94045 185 0 0 25 0 1 0 163094913 3295932416 804007 4089446400 134512640 135751879 4287304176 18446744073709551615 134616489 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22154/statm: 804671 804007 143 303 0 804366 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 3218684 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 22229 /proc/meminfo: memFree=27621660/32951124 swapFree=67111528/67111528 [pid=22154] ppid=22152 vsize=3385224 CPUtime=1002.31 /proc/22154/stat : 22154 (wbo1.4a) R 22152 22154 20750 0 -1 4202496 845750 0 0 0 100036 195 0 0 25 0 1 0 163094913 3466469376 845630 4089446400 134512640 135751879 4287304176 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22154/statm: 846306 845630 143 303 0 846001 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 3385224 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 22229 /proc/meminfo: memFree=27429300/32951124 swapFree=67111528/67111528 [pid=22154] ppid=22152 vsize=3543640 CPUtime=1062.31 /proc/22154/stat : 22154 (wbo1.4a) R 22152 22154 20750 0 -1 4202496 885355 0 0 0 106027 204 0 0 25 0 1 0 163094913 3628687360 885235 4089446400 134512640 135751879 4287304176 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22154/statm: 885910 885235 143 303 0 885605 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 3543640 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 22240 /proc/meminfo: memFree=27217660/32951124 swapFree=67111528/67111528 [pid=22154] ppid=22152 vsize=3747004 CPUtime=1122.31 /proc/22154/stat : 22154 (wbo1.4a) R 22152 22154 20750 0 -1 4202496 936174 0 0 0 112017 214 0 0 25 0 1 0 163094913 3836932096 936054 4089446400 134512640 135751879 4287304176 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22154/statm: 936751 936054 143 303 0 936446 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 3747004 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 22242 /proc/meminfo: memFree=27096836/32951124 swapFree=67111528/67111528 [pid=22154] ppid=22152 vsize=3868936 CPUtime=1182.31 /proc/22154/stat : 22154 (wbo1.4a) R 22152 22154 20750 0 -1 4202496 966645 0 0 0 118010 221 0 0 25 0 1 0 163094913 3961790464 966525 4089446400 134512640 135751879 4287304176 18446744073709551615 134616489 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22154/statm: 967234 966525 143 303 0 966929 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 3868936 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1187.1 s] /proc/loadavg: 2.00 2.00 2.00 3/197 22242 /proc/meminfo: memFree=27071296/32951124 swapFree=67111528/67111528 [pid=22154] ppid=22152 vsize=3891380 CPUtime=1187.11 /proc/22154/stat : 22154 (wbo1.4a) R 22152 22154 20750 0 -1 4202496 972253 0 0 0 118489 222 0 0 25 0 1 0 163094913 3984773120 972133 4089446400 134512640 135751879 4287304176 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22154/statm: 972845 972133 143 303 0 972540 0 Current children cumulated CPU time (s) 1187.11 Current children cumulated vsize (KiB) 3891380 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1187.21 s] /proc/loadavg: 2.00 2.00 2.00 3/197 22242 /proc/meminfo: memFree=27071296/32951124 swapFree=67111528/67111528 [pid=22154] ppid=22152 vsize=0 CPUtime=1187.21 /proc/22154/stat : 22154 (wbo1.4a) R 22152 22154 20750 0 -1 4203524 972253 0 0 0 118489 232 0 0 25 0 1 0 163094913 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 4 0 0 0 /proc/22154/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1187.21 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1187.23 CPU time (s): 1187.25 CPU user time (s): 1184.9 CPU system time (s): 2.35064 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 3891380 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1184.9 system time used= 2.35064 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 972253 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= 872 runsolver used 1.83172 second user time and 3.90941 second system time The end
Begin job on node118 at 2010-06-30 12:42:33 IDJOB=2689780 IDBENCH=78739 IDSOLVER=1200 FILE ID=node118/2689780-1277894553 PBS_JOBID= 11197118 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-95-90--soft-33-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2689780-1277894553/watcher-2689780-1277894553 -o /tmp/evaluation-result-2689780-1277894553/solver-2689780-1277894553 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689780-1277894553.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= bad48add975eecf801ffda2fc733cf44 RANDOM SEED=2042003601 node118.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.791 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.58 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.791 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 : 5332.75 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.791 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.76 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.791 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.791 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.75 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.791 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.83 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.791 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.791 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 : 5448.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 27487984 kB Buffers: 176836 kB Cached: 1289356 kB SwapCached: 0 kB Active: 4306960 kB Inactive: 1007052 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 27487984 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2736 kB Writeback: 0 kB AnonPages: 3847512 kB Mapped: 15296 kB Slab: 77628 kB PageTables: 12184 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 3993316 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= 74208 MiB End job on node118 at 2010-06-30 13:02:23