Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | ? (TO) | 1800.14 | 1800.09 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-25-20--soft-0-100-0.wbo |
MD5SUM | 3ef623ad54bc9b8a55f5198a1c4abc02 |
Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 4 |
Best CPU time to get the best result obtained on this benchmark | 0.023996 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 500 |
Total number of constraints | 45 |
Number of soft constraints | 45 |
Number of constraints which are clauses | 25 |
Number of constraints which are cardinality constraints (but not clauses) | 20 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 25 |
Top cost | 1950 |
Min constraint cost | 1 |
Max constraint cost | 99 |
Sum of constraints costs | 1949 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 26 |
Number of bits of the biggest sum of numbers | 5 |
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-2690036-1277922556.wbo. 0.00/0.00 c Instance file HOME/instance-2690036-1277922556.wbo 0.00/0.00 c File size is 8595 bytes. 0.00/0.00 c Highest Coefficient sum: 26 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 500 | 0.00/0.00 c | Number Clauses: 25 | 0.00/0.00 c | Number Cardinality: 20 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 500 45 1000 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 100 | 500 45 1000 | 5500 100 77 | 0.000 % | 0.00/0.00 c | 250 | 500 45 1000 | 6050 250 101 | 0.000 % | 0.01/0.01 c | 475 | 500 45 1000 | 6655 475 113 | 0.000 % | 0.01/0.03 c | 813 | 500 45 1000 | 7320 813 116 | 0.000 % | 0.01/0.06 c | 1321 | 500 45 1000 | 8052 1321 111 | 0.000 % | 0.09/0.11 c | 2080 | 500 45 1000 | 8857 2080 119 | 0.000 % | 0.19/0.23 c | 3220 | 500 45 1000 | 9743 3220 119 | 0.000 % | 0.39/0.47 c | 4928 | 500 45 1000 | 10717 4928 120 | 0.000 % | 0.79/0.88 c | 7492 | 500 45 1000 | 11789 7492 131 | 0.000 % | 1.59/1.66 c | 11337 | 500 45 1000 | 12968 11337 138 | 0.000 % | 2.89/2.95 c | 17103 | 500 45 1000 | 14265 10398 146 | 0.000 % | 5.29/5.32 c | 25754 | 500 45 1000 | 15692 11697 139 | 0.000 % | 8.99/9.03 c | 38730 | 500 45 1000 | 17261 8533 137 | 0.000 % | 13.98/14.01 c | 58191 | 500 45 1000 | 18987 10311 128 | 0.000 % | 23.48/23.54 c | 87384 | 500 45 1000 | 20886 10384 137 | 0.000 % | 44.89/44.97 c | 131177 | 500 45 1000 | 22974 11557 179 | 0.000 % | 67.58/67.66 c | 196863 | 500 45 1000 | 25272 18319 182 | 0.000 % | 116.99/117.01 c | 295391 | 500 45 1000 | 27799 24823 161 | 0.000 % | 197.59/197.69 c | 443180 | 500 45 1000 | 30579 17956 204 | 0.000 % | 339.00/339.04 c | 664863 | 500 45 1000 | 33637 27791 164 | 0.000 % | 464.80/464.89 c | 997389 | 500 45 1000 | 37001 29971 171 | 0.000 % | 768.02/768.08 c | 1496178 | 500 45 1000 | 40701 23157 252 | 0.000 % | 1612.54/1612.60 c | 2244362 | 500 45 1000 | 44771 18520 271 | 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-2690036-1277922556/watcher-2690036-1277922556 -o /tmp/evaluation-result-2690036-1277922556/solver-2690036-1277922556 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690036-1277922556.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: 1.93 1.99 1.99 4/196 12287 /proc/meminfo: memFree=30391596/32951124 swapFree=67111528/67111528 [pid=12287] ppid=12285 vsize=2704 CPUtime=0 /proc/12287/stat : 12287 (wbo1.4a) R 12285 12287 11359 0 -1 4202496 313 0 0 0 0 0 0 0 25 0 1 0 133552920 2768896 228 4089446400 134512640 135751879 4292078080 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12287/statm: 676 228 143 303 0 371 0 [startup+0.0105701 s] /proc/loadavg: 1.93 1.99 1.99 4/196 12287 /proc/meminfo: memFree=30391596/32951124 swapFree=67111528/67111528 [pid=12287] ppid=12285 vsize=2704 CPUtime=0.01 /proc/12287/stat : 12287 (wbo1.4a) R 12285 12287 11359 0 -1 4202496 334 0 0 0 1 0 0 0 25 0 1 0 133552920 2768896 249 4089446400 134512640 135751879 4292078080 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12287/statm: 676 250 143 303 0 371 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2704 [startup+0.100548 s] /proc/loadavg: 1.93 1.99 1.99 4/196 12287 /proc/meminfo: memFree=30391596/32951124 swapFree=67111528/67111528 [pid=12287] ppid=12285 vsize=3760 CPUtime=0.09 /proc/12287/stat : 12287 (wbo1.4a) R 12285 12287 11359 0 -1 4202496 605 0 0 0 9 0 0 0 25 0 1 0 133552920 3850240 520 4089446400 134512640 135751879 4292078080 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12287/statm: 940 520 143 303 0 635 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3760 [startup+0.300512 s] /proc/loadavg: 1.93 1.99 1.99 4/196 12287 /proc/meminfo: memFree=30391596/32951124 swapFree=67111528/67111528 [pid=12287] ppid=12285 vsize=5220 CPUtime=0.29 /proc/12287/stat : 12287 (wbo1.4a) R 12285 12287 11359 0 -1 4202496 938 0 0 0 29 0 0 0 25 0 1 0 133552920 5345280 853 4089446400 134512640 135751879 4292078080 18446744073709551615 134616540 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12287/statm: 1305 853 143 303 0 1000 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5220 [startup+0.700437 s] /proc/loadavg: 1.93 1.99 1.99 4/196 12287 /proc/meminfo: memFree=30391596/32951124 swapFree=67111528/67111528 [pid=12287] ppid=12285 vsize=7200 CPUtime=0.69 /proc/12287/stat : 12287 (wbo1.4a) R 12285 12287 11359 0 -1 4202496 1455 0 0 0 69 0 0 0 25 0 1 0 133552920 7372800 1370 4089446400 134512640 135751879 4292078080 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12287/statm: 1800 1370 143 303 0 1495 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7200 [startup+1.50029 s] /proc/loadavg: 1.93 1.99 1.99 3/197 12288 /proc/meminfo: memFree=30385140/32951124 swapFree=67111528/67111528 [pid=12287] ppid=12285 vsize=10636 CPUtime=1.49 /proc/12287/stat : 12287 (wbo1.4a) R 12285 12287 11359 0 -1 4202496 2314 0 0 0 148 1 0 0 25 0 1 0 133552920 10891264 2229 4089446400 134512640 135751879 4292078080 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12287/statm: 2659 2229 143 303 0 2354 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10636 [startup+3.10101 s] /proc/loadavg: 1.93 1.99 1.99 3/197 12288 /proc/meminfo: memFree=30380924/32951124 swapFree=67111528/67111528 [pid=12287] ppid=12285 vsize=16192 CPUtime=3.1 /proc/12287/stat : 12287 (wbo1.4a) R 12285 12287 11359 0 -1 4202496 3689 0 0 0 308 2 0 0 25 0 1 0 133552920 16580608 3604 4089446400 134512640 135751879 4292078080 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12287/statm: 4048 3604 143 303 0 3743 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 16192 [startup+6.30041 s] /proc/loadavg: 1.93 1.99 1.99 3/197 12288 /proc/meminfo: memFree=30371192/32951124 swapFree=67111528/67111528 [pid=12287] ppid=12285 vsize=25836 CPUtime=6.29 /proc/12287/stat : 12287 (wbo1.4a) R 12285 12287 11359 0 -1 4202496 6110 0 0 0 625 4 0 0 25 0 1 0 133552920 26456064 6025 4089446400 134512640 135751879 4292078080 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12287/statm: 6459 6025 143 303 0 6154 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25836 [startup+12.7002 s] /proc/loadavg: 1.94 1.99 1.99 3/197 12289 /proc/meminfo: memFree=30351844/32951124 swapFree=67111528/67111528 [pid=12287] ppid=12285 vsize=43608 CPUtime=12.69 /proc/12287/stat : 12287 (wbo1.4a) R 12285 12287 11359 0 -1 4202496 10532 0 0 0 1263 6 0 0 25 0 1 0 133552920 44654592 10447 4089446400 134512640 135751879 4292078080 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12287/statm: 10902 10447 143 303 0 10597 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 43608 [startup+25.5009 s] /proc/loadavg: 1.95 1.99 1.99 3/197 12289 /proc/meminfo: memFree=30320628/32951124 swapFree=67111528/67111528 [pid=12287] ppid=12285 vsize=74252 CPUtime=25.49 /proc/12287/stat : 12287 (wbo1.4a) R 12285 12287 11359 0 -1 4202496 18186 0 0 0 2538 11 0 0 25 0 1 0 133552920 76034048 18101 4089446400 134512640 135751879 4292078080 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12287/statm: 18563 18101 143 303 0 18258 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 74252 [startup+51.1011 s] /proc/loadavg: 1.97 1.99 1.99 3/197 12289 /proc/meminfo: memFree=30273148/32951124 swapFree=67111528/67111528 [pid=12287] ppid=12285 vsize=122528 CPUtime=51.08 /proc/12287/stat : 12287 (wbo1.4a) R 12285 12287 11359 0 -1 4202496 30203 0 0 0 5091 17 0 0 25 0 1 0 133552920 125468672 30118 4089446400 134512640 135751879 4292078080 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12287/statm: 30632 30118 143 303 0 30327 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 122528 [startup+102.307 s] /proc/loadavg: 1.98 1.99 1.99 3/197 12291 /proc/meminfo: memFree=30169320/32951124 swapFree=67111528/67111528 [pid=12287] ppid=12285 vsize=225288 CPUtime=102.3 /proc/12287/stat : 12287 (wbo1.4a) R 12285 12287 11359 0 -1 4202496 55854 0 0 0 10196 34 0 0 25 0 1 0 133552920 230694912 55769 4089446400 134512640 135751879 4292078080 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12287/statm: 56322 55769 143 303 0 56017 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 225288 [startup+162.301 s] /proc/loadavg: 1.99 1.99 1.99 3/197 12296 /proc/meminfo: memFree=30087592/32951124 swapFree=67111528/67111528 [pid=12287] ppid=12285 vsize=307024 CPUtime=162.29 /proc/12287/stat : 12287 (wbo1.4a) R 12285 12287 11359 0 -1 4202496 76156 0 0 0 16180 49 0 0 25 0 1 0 133552920 314392576 76071 4089446400 134512640 135751879 4292078080 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12287/statm: 76756 76071 143 303 0 76451 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 307024 [startup+222.3 s] /proc/loadavg: 1.99 1.99 1.99 3/197 12297 /proc/meminfo: memFree=30001624/32951124 swapFree=67111528/67111528 [pid=12287] ppid=12285 vsize=392276 CPUtime=222.29 /proc/12287/stat : 12287 (wbo1.4a) R 12285 12287 11359 0 -1 4202496 97472 0 0 0 22165 64 0 0 25 0 1 0 133552920 401690624 97387 4089446400 134512640 135751879 4292078080 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12287/statm: 98069 97387 143 303 0 97764 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 392276 [startup+282.3 s] /proc/loadavg: 1.99 1.99 1.99 3/197 12299 /proc/meminfo: memFree=29928288/32951124 swapFree=67111528/67111528 [pid=12287] ppid=12285 vsize=466184 CPUtime=282.3 /proc/12287/stat : 12287 (wbo1.4a) R 12285 12287 11359 0 -1 4202496 115921 0 0 0 28154 76 0 0 25 0 1 0 133552920 477372416 115836 4089446400 134512640 135751879 4292078080 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12287/statm: 116546 115836 143 303 0 116241 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 466184 [startup+342.3 s] /proc/loadavg: 2.07 2.00 2.00 3/197 12300 /proc/meminfo: memFree=29850996/32951124 swapFree=67111528/67111528 [pid=12287] ppid=12285 vsize=542700 CPUtime=342.3 /proc/12287/stat : 12287 (wbo1.4a) R 12285 12287 11359 0 -1 4202496 135027 0 0 0 34139 91 0 0 25 0 1 0 133552920 555724800 134942 4089446400 134512640 135751879 4292078080 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12287/statm: 135675 134942 143 303 0 135370 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 542700 [startup+402.301 s] /proc/loadavg: 2.02 2.00 2.00 3/197 12302 /proc/meminfo: memFree=29703640/32951124 swapFree=67111528/67111528 [pid=12287] ppid=12285 vsize=690988 CPUtime=402.3 /proc/12287/stat : 12287 (wbo1.4a) R 12285 12287 11359 0 -1 4202496 172078 0 0 0 40115 115 0 0 25 0 1 0 133552920 707571712 171993 4089446400 134512640 135751879 4292078080 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12287/statm: 172747 171993 143 303 0 172442 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 690988 [startup+462.301 s] /proc/loadavg: 2.01 2.00 2.00 3/179 12334 /proc/meminfo: memFree=29761848/32951124 swapFree=67111528/67111528 [pid=12287] ppid=12285 vsize=862932 CPUtime=462.3 /proc/12287/stat : 12287 (wbo1.4a) R 12285 12287 11359 0 -1 4202496 215051 0 0 0 46082 148 0 0 25 0 1 0 133552920 883642368 214966 4089446400 134512640 135751879 4292078080 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12287/statm: 215733 214966 143 303 0 215428 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 862932 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12335 /proc/meminfo: memFree=29568948/32951124 swapFree=67111528/67111528 [pid=12287] ppid=12285 vsize=982120 CPUtime=522.3 /proc/12287/stat : 12287 (wbo1.4a) R 12285 12287 11359 0 -1 4202496 244798 0 0 0 52064 166 0 0 25 0 1 0 133552920 1005690880 244713 4089446400 134512640 135751879 4292078080 18446744073709551615 134616489 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12287/statm: 245530 244713 143 303 0 245225 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 982120 [startup+582.301 s] /proc/loadavg: 2.06 2.02 2.00 3/179 12337 /proc/meminfo: memFree=29437340/32951124 swapFree=67111528/67111528 [pid=12287] ppid=12285 vsize=1076436 CPUtime=582.31 /proc/12287/stat : 12287 (wbo1.4a) R 12285 12287 11359 0 -1 4202496 268371 0 0 0 58052 179 0 0 25 0 1 0 133552920 1102270464 268286 4089446400 134512640 135751879 4292078080 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12287/statm: 269109 268286 143 303 0 268804 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 1076436 [startup+642.301 s] /proc/loadavg: 2.02 2.01 2.00 3/179 12338 /proc/meminfo: memFree=29237404/32951124 swapFree=67111528/67111528 [pid=12287] ppid=12285 vsize=1205464 CPUtime=642.31 /proc/12287/stat : 12287 (wbo1.4a) R 12285 12287 11359 0 -1 4202496 300593 0 0 0 64035 196 0 0 25 0 1 0 133552920 1234395136 300508 4089446400 134512640 135751879 4292078080 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12287/statm: 301366 300508 143 303 0 301061 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1205464 [startup+702.301 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12343 /proc/meminfo: memFree=28771236/32951124 swapFree=67111528/67111528 [pid=12287] ppid=12285 vsize=1534660 CPUtime=822.31 /proc/12287/stat : 12287 (wbo1.4a) R 12285 12287 11359 0 -1 4202496 382777 0 0 0 81985 246 0 0 25 0 1 0 133552920 1571491840 382692 4089446400 134512640 135751879 4292078080 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12287/statm: 383665 382692 143 303 0 383360 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 1534660 [startup+882.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12345 /proc/meminfo: memFree=28680780/32951124 swapFree=67111528/67111528 [pid=12287] ppid=12285 vsize=1584432 CPUtime=882.32 /proc/12287/stat : 12287 (wbo1.4a) R 12285 12287 11359 0 -1 4202496 395197 0 0 0 87976 256 0 0 25 0 1 0 133552920 1622458368 395112 4089446400 134512640 135751879 4292078080 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12287/statm: 396108 395112 143 303 0 395803 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 1584432 [startup+942.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12346 /proc/meminfo: memFree=28595776/32951124 swapFree=67111528/67111528 [pid=12287] ppid=12285 vsize=1638672 CPUtime=942.32 /proc/12287/stat : 12287 (wbo1.4a) R 12285 12287 11359 0 -1 4202496 408775 0 0 0 93968 264 0 0 25 0 1 0 133552920 1678000128 408690 4089446400 134512640 135751879 4292078080 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12287/statm: 409668 408690 143 303 0 409363 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 1638672 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12348 /proc/meminfo: memFree=28504196/32951124 swapFree=67111528/67111528 [pid=12287] ppid=12285 vsize=1705232 CPUtime=1002.33 /proc/12287/stat : 12287 (wbo1.4a) R 12285 12287 11359 0 -1 4202496 425392 0 0 0 99961 272 0 0 25 0 1 0 133552920 1746157568 425307 4089446400 134512640 135751879 4292078080 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12287/statm: 426308 425307 143 303 0 426003 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 1705232 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12350 /proc/meminfo: memFree=28414496/32951124 swapFree=67111528/67111528 [pid=12287] ppid=12285 vsize=1774864 CPUtime=1062.32 /proc/12287/stat : 12287 (wbo1.4a) R 12285 12287 11359 0 -1 4202496 442788 0 0 0 105951 281 0 0 25 0 1 0 133552920 1817460736 442703 4089446400 134512640 135751879 4292078080 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12287/statm: 443716 442703 143 303 0 443411 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1774864 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12351 /proc/meminfo: memFree=28338920/32951124 swapFree=67111528/67111528 [pid=12287] ppid=12285 vsize=1836512 CPUtime=1122.32 /proc/12287/stat : 12287 (wbo1.4a) R 12285 12287 11359 0 -1 4202496 458180 0 0 0 111942 290 0 0 25 0 1 0 133552920 1880588288 458095 4089446400 134512640 135751879 4292078080 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12287/statm: 459128 458095 143 303 0 458823 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1836512 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12353 /proc/meminfo: memFree=28276016/32951124 swapFree=67111528/67111528 [pid=12287] ppid=12285 vsize=1894160 CPUtime=1182.32 /proc/12287/stat : 12287 (wbo1.4a) R 12285 12287 11359 0 -1 4202496 472567 0 0 0 117934 298 0 0 25 0 1 0 133552920 1939619840 472482 4089446400 134512640 135751879 4292078080 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12287/statm: 473540 472482 143 303 0 473235 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1894160 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12354 /proc/meminfo: memFree=28211220/32951124 swapFree=67111528/67111528 [pid=12287] ppid=12285 vsize=1946724 CPUtime=1242.33 /proc/12287/stat : 12287 (wbo1.4a) R 12285 12287 11359 0 -1 4202496 485719 0 0 0 123925 308 0 0 25 0 1 0 133552920 1993445376 485634 4089446400 134512640 135751879 4292078080 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12287/statm: 486681 485634 143 303 0 486376 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 1946724 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12356 /proc/meminfo: memFree=28162784/32951124 swapFree=67111528/67111528 [pid=12287] ppid=12285 vsize=1985868 CPUtime=1302.34 /proc/12287/stat : 12287 (wbo1.4a) R 12285 12287 11359 0 -1 4202496 495467 0 0 0 129918 316 0 0 25 0 1 0 133552920 2033528832 495382 4089446400 134512640 135751879 4292078080 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12287/statm: 496467 495382 143 303 0 496162 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 1985868 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12358 /proc/meminfo: memFree=28086572/32951124 swapFree=67111528/67111528 [pid=12287] ppid=12285 vsize=2040848 CPUtime=1362.33 /proc/12287/stat : 12287 (wbo1.4a) R 12285 12287 11359 0 -1 4202496 509202 0 0 0 135910 323 0 0 25 0 1 0 133552920 2089828352 509117 4089446400 134512640 135751879 4292078080 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12287/statm: 510212 509117 143 303 0 509907 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 2040848 [startup+1422.31 s] /proc/loadavg: 2.06 2.01 2.00 3/179 12359 /proc/meminfo: memFree=28021688/32951124 swapFree=67111528/67111528 [pid=12287] ppid=12285 vsize=2104856 CPUtime=1422.34 /proc/12287/stat : 12287 (wbo1.4a) R 12285 12287 11359 0 -1 4202496 525186 0 0 0 141900 334 0 0 25 0 1 0 133552920 2155372544 525101 4089446400 134512640 135751879 4292078080 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12287/statm: 526214 525101 143 303 0 525909 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 2104856 [startup+1482.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 12361 /proc/meminfo: memFree=27926920/32951124 swapFree=67111528/67111528 [pid=12287] ppid=12285 vsize=2199184 CPUtime=1482.33 /proc/12287/stat : 12287 (wbo1.4a) R 12285 12287 11359 0 -1 4202496 548728 0 0 0 147887 346 0 0 25 0 1 0 133552920 2251964416 548643 4089446400 134512640 135751879 4292078080 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12287/statm: 549796 548643 143 303 0 549491 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 2199184 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12362 /proc/meminfo: memFree=27864868/32951124 swapFree=67111528/67111528 [pid=12287] ppid=12285 vsize=2258496 CPUtime=1542.34 /proc/12287/stat : 12287 (wbo1.4a) R 12285 12287 11359 0 -1 4202496 563582 0 0 0 153878 356 0 0 25 0 1 0 133552920 2312699904 563497 4089446400 134512640 135751879 4292078080 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12287/statm: 564624 563497 143 303 0 564319 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 2258496 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12364 /proc/meminfo: memFree=27774568/32951124 swapFree=67111528/67111528 [pid=12287] ppid=12285 vsize=2349232 CPUtime=1602.33 /proc/12287/stat : 12287 (wbo1.4a) R 12285 12287 11359 0 -1 4202496 586248 0 0 0 159867 366 0 0 25 0 1 0 133552920 2405613568 586163 4089446400 134512640 135751879 4292078080 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12287/statm: 587308 586163 143 303 0 587003 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 2349232 [startup+1662.3 s] /proc/loadavg: 2.05 2.01 2.00 3/179 12366 /proc/meminfo: memFree=27688592/32951124 swapFree=67111528/67111528 [pid=12287] ppid=12285 vsize=2433720 CPUtime=1662.34 /proc/12287/stat : 12287 (wbo1.4a) R 12285 12287 11359 0 -1 4202496 607364 0 0 0 165858 376 0 0 25 0 1 0 133552920 2492129280 607279 4089446400 134512640 135751879 4292078080 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12287/statm: 608430 607279 143 303 0 608125 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 2433720 [startup+1722.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 12367 /proc/meminfo: memFree=27616004/32951124 swapFree=67111528/67111528 [pid=12287] ppid=12285 vsize=2506996 CPUtime=1722.35 /proc/12287/stat : 12287 (wbo1.4a) R 12285 12287 11359 0 -1 4202496 625632 0 0 0 171848 387 0 0 25 0 1 0 133552920 2567163904 625547 4089446400 134512640 135751879 4292078080 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12287/statm: 626749 625547 143 303 0 626444 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 2506996 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12369 /proc/meminfo: memFree=27526680/32951124 swapFree=67111528/67111528 [pid=12287] ppid=12285 vsize=2595276 CPUtime=1782.35 /proc/12287/stat : 12287 (wbo1.4a) R 12285 12287 11359 0 -1 4202496 647703 0 0 0 177835 400 0 0 25 0 1 0 133552920 2657562624 647618 4089446400 134512640 135751879 4292078080 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12287/statm: 648819 647618 143 303 0 648514 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 2595276 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 12369 /proc/meminfo: memFree=27492448/32951124 swapFree=67111528/67111528 [pid=12287] ppid=12285 vsize=2628244 CPUtime=1800.05 /proc/12287/stat : 12287 (wbo1.4a) R 12285 12287 11359 0 -1 4202496 655961 0 0 0 179601 404 0 0 25 0 1 0 133552920 2691321856 655876 4089446400 134512640 135751879 4292078080 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12287/statm: 657061 655876 143 303 0 656756 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 2628244 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.09 CPU time (s): 1800.14 CPU user time (s): 1796.02 CPU system time (s): 4.12837 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 2628244 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.01 system time used= 4.12837 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 655961 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= 1 involuntary context switches= 3165 runsolver used 3.12052 second user time and 6.04308 second system time The end
Begin job on node105 at 2010-06-30 20:29:16 IDJOB=2690036 IDBENCH=79187 IDSOLVER=1200 FILE ID=node105/2690036-1277922556 PBS_JOBID= 11197293 Free space on /tmp= 74212 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-25-20--soft-0-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690036-1277922556/watcher-2690036-1277922556 -o /tmp/evaluation-result-2690036-1277922556/solver-2690036-1277922556 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690036-1277922556.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3ef623ad54bc9b8a55f5198a1c4abc02 RANDOM SEED=170199200 node105.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.840 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.68 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.840 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.840 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.82 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.840 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.75 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.840 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.94 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.840 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.70 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.840 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.82 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.840 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30392124 kB Buffers: 205412 kB Cached: 1817092 kB SwapCached: 0 kB Active: 866632 kB Inactive: 1547876 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30392124 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2764 kB Writeback: 0 kB AnonPages: 391964 kB Mapped: 20276 kB Slab: 80656 kB PageTables: 5504 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1645540 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 node105 at 2010-06-30 20:59:18