Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | ? (TO) | 1800.12 | 1800.07 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-21-20--soft-33-100-0.wbo |
MD5SUM | c9bbca9920220172e28f0008e519bfaf |
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.023996 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 420 |
Total number of constraints | 41 |
Number of soft constraints | 32 |
Number of constraints which are clauses | 21 |
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 | 21 |
Top cost | 1258 |
Min constraint cost | 1 |
Max constraint cost | 83 |
Sum of constraints costs | 1257 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 22 |
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-2689776-1277894381.wbo. 0.00/0.00 c Instance file HOME/instance-2689776-1277894381.wbo 0.00/0.00 c File size is 7228 bytes. 0.00/0.00 c Highest Coefficient sum: 22 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: 420 | 0.00/0.00 c | Number Clauses: 21 | 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 | 420 41 840 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 101 | 420 41 840 | 5500 101 67 | 0.001 % | 0.00/0.00 c | 251 | 420 41 840 | 6050 251 74 | 0.001 % | 0.00/0.01 c | 477 | 420 41 840 | 6655 477 95 | 0.001 % | 0.00/0.02 c | 814 | 420 41 840 | 7320 814 125 | 0.001 % | 0.00/0.04 c | 1324 | 420 41 840 | 8052 1324 107 | 0.001 % | 0.06/0.09 c | 2083 | 420 41 840 | 8857 2083 124 | 0.001 % | 0.09/0.18 c | 3224 | 420 41 840 | 9743 3224 124 | 0.001 % | 0.29/0.32 c | 4933 | 420 41 840 | 10717 4933 123 | 0.001 % | 0.59/0.68 c | 7495 | 420 41 840 | 11789 7495 120 | 0.001 % | 1.29/1.33 c | 11339 | 420 41 840 | 12968 11339 123 | 0.001 % | 2.09/2.14 c | 17105 | 420 41 840 | 14265 10435 152 | 0.001 % | 5.89/5.91 c | 25756 | 420 41 840 | 15692 11786 262 | 0.001 % | 19.29/19.38 c | 38732 | 420 41 840 | 17261 8823 297 | 0.001 % | 34.99/35.01 c | 58196 | 420 41 840 | 18987 10799 273 | 0.001 % | 64.49/64.53 c | 87391 | 420 41 840 | 20886 11286 271 | 0.001 % | 99.00/99.03 c | 131182 | 420 41 840 | 22974 12832 272 | 0.001 % | 194.40/194.42 c | 196867 | 420 41 840 | 25272 20415 305 | 0.001 % | 279.50/279.56 c | 295393 | 420 41 840 | 27799 24451 280 | 0.001 % | 481.41/481.47 c | 443182 | 420 41 840 | 30579 17132 284 | 0.001 % | 737.31/737.32 c | 664870 | 420 41 840 | 33637 16925 262 | 0.001 % | 970.01/970.02 c | 997396 | 420 41 840 | 37001 30104 288 | 0.001 % | 1618.24/1618.28 c | 1496186 | 420 41 840 | 40701 19170 261 | 0.001 % |
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-2689776-1277894381/watcher-2689776-1277894381 -o /tmp/evaluation-result-2689776-1277894381/solver-2689776-1277894381 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689776-1277894381.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/196 7982 /proc/meminfo: memFree=31820544/32951124 swapFree=67111528/67111528 [pid=7982] ppid=7980 vsize=2704 CPUtime=0 /proc/7982/stat : 7982 (wbo1.4a) R 7980 7982 6781 0 -1 4202496 307 0 0 0 0 0 0 0 24 0 1 0 130735664 2768896 223 4089446400 134512640 135751879 4288661248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/7982/statm: 676 223 143 303 0 371 0 [startup+0.0689589 s] /proc/loadavg: 2.00 2.00 2.00 3/196 7982 /proc/meminfo: memFree=31820544/32951124 swapFree=67111528/67111528 [pid=7982] ppid=7980 vsize=3628 CPUtime=0.06 /proc/7982/stat : 7982 (wbo1.4a) R 7980 7982 6781 0 -1 4202496 547 0 0 0 6 0 0 0 24 0 1 0 130735664 3715072 463 4089446400 134512640 135751879 4288661248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/7982/statm: 907 463 143 303 0 602 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3628 [startup+0.100956 s] /proc/loadavg: 2.00 2.00 2.00 3/196 7982 /proc/meminfo: memFree=31820544/32951124 swapFree=67111528/67111528 [pid=7982] ppid=7980 vsize=3892 CPUtime=0.09 /proc/7982/stat : 7982 (wbo1.4a) R 7980 7982 6781 0 -1 4202496 632 0 0 0 9 0 0 0 24 0 1 0 130735664 3985408 548 4089446400 134512640 135751879 4288661248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/7982/statm: 973 548 143 303 0 668 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3892 [startup+0.300919 s] /proc/loadavg: 2.00 2.00 2.00 3/196 7982 /proc/meminfo: memFree=31820544/32951124 swapFree=67111528/67111528 [pid=7982] ppid=7980 vsize=5624 CPUtime=0.29 /proc/7982/stat : 7982 (wbo1.4a) R 7980 7982 6781 0 -1 4202496 1064 0 0 0 29 0 0 0 25 0 1 0 130735664 5758976 980 4089446400 134512640 135751879 4288661248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/7982/statm: 1406 980 143 303 0 1101 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5624 [startup+0.700847 s] /proc/loadavg: 2.00 2.00 2.00 3/196 7982 /proc/meminfo: memFree=31820544/32951124 swapFree=67111528/67111528 [pid=7982] ppid=7980 vsize=7480 CPUtime=0.69 /proc/7982/stat : 7982 (wbo1.4a) R 7980 7982 6781 0 -1 4202496 1520 0 0 0 69 0 0 0 25 0 1 0 130735664 7659520 1436 4089446400 134512640 135751879 4288661248 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/7982/statm: 1870 1436 143 303 0 1565 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7480 [startup+1.5007 s] /proc/loadavg: 2.00 2.00 2.00 3/197 7983 /proc/meminfo: memFree=31813592/32951124 swapFree=67111528/67111528 [pid=7982] ppid=7980 vsize=11184 CPUtime=1.49 /proc/7982/stat : 7982 (wbo1.4a) R 7980 7982 6781 0 -1 4202496 2454 0 0 0 148 1 0 0 25 0 1 0 130735664 11452416 2370 4089446400 134512640 135751879 4288661248 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/7982/statm: 2796 2370 143 303 0 2491 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11184 [startup+3.10042 s] /proc/loadavg: 2.00 2.00 2.00 3/197 7983 /proc/meminfo: memFree=31807764/32951124 swapFree=67111528/67111528 [pid=7982] ppid=7980 vsize=18316 CPUtime=3.09 /proc/7982/stat : 7982 (wbo1.4a) R 7980 7982 6781 0 -1 4202496 4233 0 0 0 307 2 0 0 25 0 1 0 130735664 18755584 4149 4089446400 134512640 135751879 4288661248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/7982/statm: 4579 4149 143 303 0 4274 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18316 [startup+6.30083 s] /proc/loadavg: 2.00 2.00 2.00 3/197 7983 /proc/meminfo: memFree=31798492/32951124 swapFree=67111528/67111528 [pid=7982] ppid=7980 vsize=26792 CPUtime=6.29 /proc/7982/stat : 7982 (wbo1.4a) R 7980 7982 6781 0 -1 4202496 6351 0 0 0 626 3 0 0 25 0 1 0 130735664 27435008 6267 4089446400 134512640 135751879 4288661248 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/7982/statm: 6698 6267 143 303 0 6393 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26792 [startup+12.7007 s] /proc/loadavg: 2.00 2.00 2.00 3/197 7984 /proc/meminfo: memFree=31789540/32951124 swapFree=67111528/67111528 [pid=7982] ppid=7980 vsize=35112 CPUtime=12.69 /proc/7982/stat : 7982 (wbo1.4a) R 7980 7982 6781 0 -1 4202496 8436 0 0 0 1264 5 0 0 25 0 1 0 130735664 35954688 8352 4089446400 134512640 135751879 4288661248 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/7982/statm: 8778 8352 143 303 0 8473 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 35112 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 2.00 3/197 7984 /proc/meminfo: memFree=31770096/32951124 swapFree=67111528/67111528 [pid=7982] ppid=7980 vsize=54788 CPUtime=25.5 /proc/7982/stat : 7982 (wbo1.4a) R 7980 7982 6781 0 -1 4202496 13340 0 0 0 2541 9 0 0 25 0 1 0 130735664 56102912 13256 4089446400 134512640 135751879 4288661248 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/7982/statm: 13697 13256 143 303 0 13392 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 54788 [startup+51.1007 s] /proc/loadavg: 2.00 2.00 2.00 3/197 7984 /proc/meminfo: memFree=31738880/32951124 swapFree=67111528/67111528 [pid=7982] ppid=7980 vsize=86124 CPUtime=51.09 /proc/7982/stat : 7982 (wbo1.4a) R 7980 7982 6781 0 -1 4202496 21154 0 0 0 5096 13 0 0 25 0 1 0 130735664 88190976 21070 4089446400 134512640 135751879 4288661248 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/7982/statm: 21531 21070 143 303 0 21226 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 86124 [startup+102.306 s] /proc/loadavg: 2.04 2.01 2.00 3/197 7986 /proc/meminfo: memFree=31657976/32951124 swapFree=67111528/67111528 [pid=7982] ppid=7980 vsize=166184 CPUtime=102.29 /proc/7982/stat : 7982 (wbo1.4a) R 7980 7982 6781 0 -1 4202496 41151 0 0 0 10205 24 0 0 25 0 1 0 130735664 170172416 41067 4089446400 134512640 135751879 4288661248 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/7982/statm: 41546 41067 143 303 0 41241 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 166184 [startup+162.3 s] /proc/loadavg: 2.01 2.01 2.00 3/197 7988 /proc/meminfo: memFree=31616380/32951124 swapFree=67111528/67111528 [pid=7982] ppid=7980 vsize=207884 CPUtime=162.29 /proc/7982/stat : 7982 (wbo1.4a) R 7980 7982 6781 0 -1 4202496 51551 0 0 0 16197 32 0 0 25 0 1 0 130735664 212873216 51467 4089446400 134512640 135751879 4288661248 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/7982/statm: 51971 51467 143 303 0 51666 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 207884 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 7989 /proc/meminfo: memFree=31537216/32951124 swapFree=67111528/67111528 [pid=7982] ppid=7980 vsize=286880 CPUtime=222.3 /proc/7982/stat : 7982 (wbo1.4a) R 7980 7982 6781 0 -1 4202496 71296 0 0 0 22184 46 0 0 25 0 1 0 130735664 293765120 71212 4089446400 134512640 135751879 4288661248 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/7982/statm: 71720 71212 143 303 0 71415 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 286880 [startup+282.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 7990 /proc/meminfo: memFree=31442172/32951124 swapFree=67111528/67111528 [pid=7982] ppid=7980 vsize=379244 CPUtime=282.3 /proc/7982/stat : 7982 (wbo1.4a) R 7980 7982 6781 0 -1 4202496 94363 0 0 0 28170 60 0 0 25 0 1 0 130735664 388345856 94279 4089446400 134512640 135751879 4288661248 18446744073709551615 134616489 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/7982/statm: 94811 94279 143 303 0 94506 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 379244 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 7992 /proc/meminfo: memFree=31400940/32951124 swapFree=67111528/67111528 [pid=7982] ppid=7980 vsize=420176 CPUtime=342.3 /proc/7982/stat : 7982 (wbo1.4a) R 7980 7982 6781 0 -1 4202496 104585 0 0 0 34163 67 0 0 25 0 1 0 130735664 430260224 104501 4089446400 134512640 135751879 4288661248 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/7982/statm: 105044 104501 143 303 0 104739 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 420176 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 7994 /proc/meminfo: memFree=31348308/32951124 swapFree=67111528/67111528 [pid=7982] ppid=7980 vsize=472864 CPUtime=402.31 /proc/7982/stat : 7982 (wbo1.4a) R 7980 7982 6781 0 -1 4202496 117738 0 0 0 40154 77 0 0 25 0 1 0 130735664 484212736 117654 4089446400 134512640 135751879 4288661248 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/7982/statm: 118216 117654 143 303 0 117911 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 472864 [startup+462.301 s] /proc/loadavg: 2.03 2.01 2.00 3/197 7996 /proc/meminfo: memFree=31273844/32951124 swapFree=67111528/67111528 [pid=7982] ppid=7980 vsize=547484 CPUtime=462.3 /proc/7982/stat : 7982 (wbo1.4a) R 7980 7982 6781 0 -1 4202496 136354 0 0 0 46141 89 0 0 25 0 1 0 130735664 560623616 136270 4089446400 134512640 135751879 4288661248 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/7982/statm: 136871 136270 143 303 0 136566 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 547484 [startup+522.301 s] /proc/loadavg: 2.01 2.01 2.00 3/197 7997 /proc/meminfo: memFree=31215508/32951124 swapFree=67111528/67111528 [pid=7982] ppid=7980 vsize=605436 CPUtime=522.31 /proc/7982/stat : 7982 (wbo1.4a) R 7980 7982 6781 0 -1 4202496 150818 0 0 0 52131 100 0 0 25 0 1 0 130735664 619966464 150734 4089446400 134512640 135751879 4288661248 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/7982/statm: 151359 150734 143 303 0 151054 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 605436 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 7998 /proc/meminfo: memFree=31164996/32951124 swapFree=67111528/67111528 [pid=7982] ppid=7980 vsize=655584 CPUtime=582.31 /proc/7982/stat : 7982 (wbo1.4a) R 7980 7982 6781 0 -1 4202496 163312 0 0 0 58123 108 0 0 25 0 1 0 130735664 671318016 163228 4089446400 134512640 135751879 4288661248 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/7982/statm: 163896 163228 143 303 0 163591 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 655584 [startup+642.301 s] /proc/loadavg: 2.06 2.01 2.00 3/197 8000 /proc/meminfo: memFree=31120292/32951124 swapFree=67111528/67111528 [pid=7982] ppid=7980 vsize=699268 CPUtime=642.32 /proc/7982/stat : 7982 (wbo1.4a) R 7980 7982 6781 0 -1 4202496 174226 0 0 0 64115 117 0 0 25 0 1 0 130735664 716050432 174142 4089446400 134512640 135751879 4288661248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/7982/statm: 174817 174142 143 303 0 174512 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 699268 [startup+702.301 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 8005 /proc/meminfo: memFree=30807520/32951124 swapFree=67111528/67111528 [pid=7982] ppid=7980 vsize=1011004 CPUtime=822.32 /proc/7982/stat : 7982 (wbo1.4a) R 7980 7982 6781 0 -1 4202496 252133 0 0 0 82064 168 0 0 25 0 1 0 130735664 1035268096 252049 4089446400 134512640 135751879 4288661248 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/7982/statm: 252751 252049 143 303 0 252446 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 1011004 [startup+882.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 8006 /proc/meminfo: memFree=30698344/32951124 swapFree=67111528/67111528 [pid=7982] ppid=7980 vsize=1118856 CPUtime=882.32 /proc/7982/stat : 7982 (wbo1.4a) R 7980 7982 6781 0 -1 4202496 279072 0 0 0 88042 190 0 0 25 0 1 0 130735664 1145708544 278988 4089446400 134512640 135751879 4288661248 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/7982/statm: 279714 278988 143 303 0 279409 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 1118856 [startup+942.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 8008 /proc/meminfo: memFree=30621396/32951124 swapFree=67111528/67111528 [pid=7982] ppid=7980 vsize=1196112 CPUtime=942.32 /proc/7982/stat : 7982 (wbo1.4a) R 7980 7982 6781 0 -1 4202496 298370 0 0 0 94024 208 0 0 25 0 1 0 130735664 1224818688 298286 4089446400 134512640 135751879 4288661248 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/7982/statm: 299028 298286 143 303 0 298723 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 1196112 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 8040 /proc/meminfo: memFree=30522696/32951124 swapFree=67111528/67111528 [pid=7982] ppid=7980 vsize=1250244 CPUtime=1002.32 /proc/7982/stat : 7982 (wbo1.4a) R 7980 7982 6781 0 -1 4202496 311867 0 0 0 100014 218 0 0 25 0 1 0 130735664 1280249856 311783 4089446400 134512640 135751879 4288661248 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/7982/statm: 312561 311783 143 303 0 312256 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 1250244 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 8042 /proc/meminfo: memFree=30340976/32951124 swapFree=67111528/67111528 [pid=7982] ppid=7980 vsize=1296484 CPUtime=1062.32 /proc/7982/stat : 7982 (wbo1.4a) R 7980 7982 6781 0 -1 4202496 323422 0 0 0 106004 228 0 0 25 0 1 0 130735664 1327599616 323338 4089446400 134512640 135751879 4288661248 18446744073709551615 134616792 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/7982/statm: 324121 323338 143 303 0 323816 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 1296484 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 8043 /proc/meminfo: memFree=30154156/32951124 swapFree=67111528/67111528 [pid=7982] ppid=7980 vsize=1351808 CPUtime=1122.32 /proc/7982/stat : 7982 (wbo1.4a) R 7980 7982 6781 0 -1 4202496 337238 0 0 0 111993 239 0 0 25 0 1 0 130735664 1384251392 337154 4089446400 134512640 135751879 4288661248 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/7982/statm: 337952 337155 143 303 0 337647 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1351808 [startup+1182.3 s] /proc/loadavg: 2.08 2.02 2.01 3/179 8044 /proc/meminfo: memFree=29991544/32951124 swapFree=67111528/67111528 [pid=7982] ppid=7980 vsize=1391924 CPUtime=1182.33 /proc/7982/stat : 7982 (wbo1.4a) R 7980 7982 6781 0 -1 4202496 347280 0 0 0 117985 248 0 0 25 0 1 0 130735664 1425330176 347196 4089446400 134512640 135751879 4288661248 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/7982/statm: 347981 347196 143 303 0 347676 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 1391924 [startup+1242.3 s] /proc/loadavg: 2.25 2.06 2.02 4/200 8100 /proc/meminfo: memFree=30255572/32951124 swapFree=67111528/67111528 [pid=7982] ppid=7980 vsize=1454400 CPUtime=1242.33 /proc/7982/stat : 7982 (wbo1.4a) R 7980 7982 6781 0 -1 4202496 362860 0 0 0 123971 262 0 0 25 0 1 0 130735664 1489305600 362776 4089446400 134512640 135751879 4288661248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/7982/statm: 363600 362776 143 303 0 363295 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 1454400 [startup+1302.3 s] /proc/loadavg: 2.16 2.07 2.02 3/179 8212 /proc/meminfo: memFree=30309332/32951124 swapFree=67111528/67111528 [pid=7982] ppid=7980 vsize=1509924 CPUtime=1302.33 /proc/7982/stat : 7982 (wbo1.4a) R 7980 7982 6781 0 -1 4202496 376732 0 0 0 129962 271 0 0 25 0 1 0 130735664 1546162176 376648 4089446400 134512640 135751879 4288661248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/7982/statm: 377481 376648 143 303 0 377176 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 1509924 [startup+1362.3 s] /proc/loadavg: 2.06 2.06 2.01 3/179 8214 /proc/meminfo: memFree=30211668/32951124 swapFree=67111528/67111528 [pid=7982] ppid=7980 vsize=1578408 CPUtime=1362.33 /proc/7982/stat : 7982 (wbo1.4a) R 7980 7982 6781 0 -1 4202496 393832 0 0 0 135949 284 0 0 25 0 1 0 130735664 1616289792 393748 4089446400 134512640 135751879 4288661248 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/7982/statm: 394602 393748 143 303 0 394297 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 1578408 [startup+1422.31 s] /proc/loadavg: 2.02 2.05 2.01 3/179 8215 /proc/meminfo: memFree=30138580/32951124 swapFree=67111528/67111528 [pid=7982] ppid=7980 vsize=1644792 CPUtime=1422.34 /proc/7982/stat : 7982 (wbo1.4a) R 7980 7982 6781 0 -1 4202496 410431 0 0 0 141938 296 0 0 25 0 1 0 130735664 1684267008 410347 4089446400 134512640 135751879 4288661248 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/7982/statm: 411198 410347 143 303 0 410893 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 1644792 [startup+1482.3 s] /proc/loadavg: 2.00 2.03 2.00 3/179 8216 /proc/meminfo: memFree=30066864/32951124 swapFree=67111528/67111528 [pid=7982] ppid=7980 vsize=1716124 CPUtime=1482.33 /proc/7982/stat : 7982 (wbo1.4a) R 7980 7982 6781 0 -1 4202496 428240 0 0 0 147925 308 0 0 25 0 1 0 130735664 1757310976 428156 4089446400 134512640 135751879 4288661248 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/7982/statm: 429031 428156 143 303 0 428726 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 1716124 [startup+1542.3 s] /proc/loadavg: 2.00 2.03 2.00 3/179 8218 /proc/meminfo: memFree=30022692/32951124 swapFree=67111528/67111528 [pid=7982] ppid=7980 vsize=1758844 CPUtime=1542.33 /proc/7982/stat : 7982 (wbo1.4a) R 7980 7982 6781 0 -1 4202496 438909 0 0 0 153916 317 0 0 25 0 1 0 130735664 1801056256 438825 4089446400 134512640 135751879 4288661248 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/7982/statm: 439711 438825 143 303 0 439406 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 1758844 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.00 3/179 8220 /proc/meminfo: memFree=29945644/32951124 swapFree=67111528/67111528 [pid=7982] ppid=7980 vsize=1833600 CPUtime=1602.33 /proc/7982/stat : 7982 (wbo1.4a) R 7980 7982 6781 0 -1 4202496 457592 0 0 0 159902 331 0 0 25 0 1 0 130735664 1877606400 457508 4089446400 134512640 135751879 4288661248 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/7982/statm: 458400 457508 143 303 0 458095 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 1833600 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 8222 /proc/meminfo: memFree=29822212/32951124 swapFree=67111528/67111528 [pid=7982] ppid=7980 vsize=1932980 CPUtime=1662.34 /proc/7982/stat : 7982 (wbo1.4a) R 7980 7982 6781 0 -1 4202496 482413 0 0 0 165884 350 0 0 25 0 1 0 130735664 1979371520 482329 4089446400 134512640 135751879 4288661248 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/7982/statm: 483245 482329 143 303 0 482940 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 1932980 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 8223 /proc/meminfo: memFree=29695804/32951124 swapFree=67111528/67111528 [pid=7982] ppid=7980 vsize=2029068 CPUtime=1722.34 /proc/7982/stat : 7982 (wbo1.4a) R 7980 7982 6781 0 -1 4202496 506408 0 0 0 171866 368 0 0 25 0 1 0 130735664 2077765632 506324 4089446400 134512640 135751879 4288661248 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/7982/statm: 507267 506324 143 303 0 506962 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 2029068 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 8224 /proc/meminfo: memFree=29632024/32951124 swapFree=67111528/67111528 [pid=7982] ppid=7980 vsize=2081544 CPUtime=1782.34 /proc/7982/stat : 7982 (wbo1.4a) R 7980 7982 6781 0 -1 4202496 519486 0 0 0 177856 378 0 0 25 0 1 0 130735664 2131501056 519402 4089446400 134512640 135751879 4288661248 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/7982/statm: 520386 519402 143 303 0 520081 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 2081544 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 8225 /proc/meminfo: memFree=29625428/32951124 swapFree=67111528/67111528 [pid=7982] ppid=7980 vsize=2088184 CPUtime=1800.05 /proc/7982/stat : 7982 (wbo1.4a) R 7980 7982 6781 0 -1 4202496 521105 0 0 0 179625 380 0 0 25 0 1 0 130735664 2138300416 521021 4089446400 134512640 135751879 4288661248 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/7982/statm: 522046 521021 143 303 0 521741 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 2088184 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.07 CPU time (s): 1800.12 CPU user time (s): 1796.25 CPU system time (s): 3.86541 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 2088184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.25 system time used= 3.86541 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 521105 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= 3 involuntary context switches= 1408 runsolver used 2.47762 second user time and 5.71813 second system time The end
Begin job on node104 at 2010-06-30 12:39:41 IDJOB=2689776 IDBENCH=78736 IDSOLVER=1200 FILE ID=node104/2689776-1277894381 PBS_JOBID= 11197145 Free space on /tmp= 74212 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-21-20--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-2689776-1277894381/watcher-2689776-1277894381 -o /tmp/evaluation-result-2689776-1277894381/solver-2689776-1277894381 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689776-1277894381.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c9bbca9920220172e28f0008e519bfaf RANDOM SEED=1172166525 node104.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.839 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.839 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.12 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.839 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.839 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.84 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.839 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.839 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.839 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.839 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31821196 kB Buffers: 171676 kB Cached: 683480 kB SwapCached: 0 kB Active: 463720 kB Inactive: 525604 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31821196 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2780 kB Writeback: 0 kB AnonPages: 134188 kB Mapped: 20256 kB Slab: 75804 kB PageTables: 4496 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1643544 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 node104 at 2010-06-30 13:09:43