Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | ? (MO) | 947.718 | 947.733 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-95-90--soft-66-100-0.wbo |
MD5SUM | 3f020b13e6cf17982f0e6d51d5561da8 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 0.45293 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 8550 |
Total number of constraints | 185 |
Number of soft constraints | 61 |
Number of constraints which are clauses | 95 |
Number of constraints which are cardinality constraints (but not clauses) | 90 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 90 |
Maximum length of a constraint | 95 |
Top cost | 3342 |
Min constraint cost | 1 |
Max constraint cost | 99 |
Sum of constraints costs | 3341 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 96 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing wbo file format. File HOME/instance-2689778-1277894452.wbo. 0.00/0.00 c Instance file HOME/instance-2689778-1277894452.wbo 0.00/0.00 c File size is 153636 bytes. 0.00/0.01 c Highest Coefficient sum: 96 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 8550 | 0.00/0.01 c | Number Clauses: 95 | 0.00/0.01 c | Number Cardinality: 90 | 0.00/0.01 c | Number PB Constraints: 0 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 8550 185 17100 | 5000 0 nan | 0.000 % | 0.00/0.02 c | 100 | 8550 185 17100 | 5500 100 367 | 0.000 % | 0.00/0.04 c | 252 | 8550 185 17100 | 6050 252 521 | 0.000 % | 0.05/0.09 c | 480 | 8550 185 17100 | 6655 480 878 | 0.000 % | 0.09/0.17 c | 824 | 8550 185 17100 | 7320 824 983 | 0.000 % | 0.19/0.24 c | 1332 | 8550 185 17100 | 8052 1332 834 | 0.000 % | 0.29/0.37 c | 2092 | 8550 185 17100 | 8857 2092 719 | 0.000 % | 0.59/0.61 c | 3232 | 8550 185 17100 | 9743 3232 675 | 0.000 % | 0.89/0.98 c | 4944 | 8550 185 17100 | 10717 4944 625 | 0.000 % | 1.89/1.90 c | 7506 | 8550 185 17100 | 11789 7506 600 | 0.000 % | 3.29/3.38 c | 11351 | 8550 185 17100 | 12968 11351 610 | 0.000 % | 5.99/6.08 c | 17118 | 8550 185 17100 | 14265 17118 614 | 0.000 % | 11.58/11.62 c | 25767 | 8550 185 17100 | 15692 17208 645 | 0.000 % | 17.38/17.45 c | 38742 | 8550 185 17100 | 17261 21579 827 | 0.000 % | 46.97/47.06 c | 58203 | 8550 185 17100 | 18987 16499 1768 | 0.000 % | 85.96/86.04 c | 87395 | 8550 185 17100 | 20886 16757 1956 | 0.000 % | 210.87/210.92 c | 131187 | 8550 185 17100 | 22974 27376 2250 | 0.000 % | 373.07/373.17 c | 196874 | 8550 185 17100 | 25272 25070 2297 | 0.000 % | 605.57/605.65 c | 295402 | 8550 185 17100 | 27799 23008 2195 | 0.000 % | 926.77/926.80 c | 443198 | 8550 185 17100 | 30579 20042 2260 | 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-2689778-1277894452/watcher-2689778-1277894452 -o /tmp/evaluation-result-2689778-1277894452/solver-2689778-1277894452 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689778-1277894452.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/196 10347 /proc/meminfo: memFree=31429712/32950928 swapFree=67111528/67111528 [pid=10347] ppid=10345 vsize=3840 CPUtime=0 /proc/10347/stat : 10347 (wbo1.4a) R 10345 10347 8851 0 -1 4202496 524 0 0 0 0 0 0 0 25 0 1 0 130741589 3932160 442 4089446400 134512640 135751879 4290387824 18446744073709551615 134564614 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/10347/statm: 960 442 143 303 0 617 0 [startup+0.0527201 s] /proc/loadavg: 2.00 2.00 2.00 4/196 10347 /proc/meminfo: memFree=31429712/32950928 swapFree=67111528/67111528 [pid=10347] ppid=10345 vsize=5028 CPUtime=0.05 /proc/10347/stat : 10347 (wbo1.4a) R 10345 10347 8851 0 -1 4202496 908 0 0 0 4 1 0 0 25 0 1 0 130741589 5148672 788 4089446400 134512640 135751879 4290387824 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/10347/statm: 1257 788 143 303 0 952 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 5028 [startup+0.100715 s] /proc/loadavg: 2.00 2.00 2.00 4/196 10347 /proc/meminfo: memFree=31429712/32950928 swapFree=67111528/67111528 [pid=10347] ppid=10345 vsize=6228 CPUtime=0.09 /proc/10347/stat : 10347 (wbo1.4a) R 10345 10347 8851 0 -1 4202496 1206 0 0 0 8 1 0 0 25 0 1 0 130741589 6377472 1086 4089446400 134512640 135751879 4290387824 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/10347/statm: 1557 1086 143 303 0 1252 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6228 [startup+0.30068 s] /proc/loadavg: 2.00 2.00 2.00 4/196 10347 /proc/meminfo: memFree=31429712/32950928 swapFree=67111528/67111528 [pid=10347] ppid=10345 vsize=9804 CPUtime=0.29 /proc/10347/stat : 10347 (wbo1.4a) R 10345 10347 8851 0 -1 4202496 2120 0 0 0 27 2 0 0 25 0 1 0 130741589 10039296 2000 4089446400 134512640 135751879 4290387824 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/10347/statm: 2451 2000 143 303 0 2146 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9804 [startup+0.700613 s] /proc/loadavg: 2.00 2.00 2.00 4/196 10347 /proc/meminfo: memFree=31429712/32950928 swapFree=67111528/67111528 [pid=10347] ppid=10345 vsize=14292 CPUtime=0.69 /proc/10347/stat : 10347 (wbo1.4a) R 10345 10347 8851 0 -1 4202496 3247 0 0 0 67 2 0 0 25 0 1 0 130741589 14635008 3127 4089446400 134512640 135751879 4290387824 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/10347/statm: 3573 3127 143 303 0 3268 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14292 [startup+1.50048 s] /proc/loadavg: 2.00 2.00 2.00 4/197 10348 /proc/meminfo: memFree=31414452/32950928 swapFree=67111528/67111528 [pid=10347] ppid=10345 vsize=21420 CPUtime=1.49 /proc/10347/stat : 10347 (wbo1.4a) R 10345 10347 8851 0 -1 4202496 5007 0 0 0 146 3 0 0 25 0 1 0 130741589 21934080 4887 4089446400 134512640 135751879 4290387824 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/10347/statm: 5355 4887 143 303 0 5050 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21420 [startup+3.10021 s] /proc/loadavg: 2.00 2.00 2.00 4/197 10348 /proc/meminfo: memFree=31407112/32950928 swapFree=67111528/67111528 [pid=10347] ppid=10345 vsize=32128 CPUtime=3.09 /proc/10347/stat : 10347 (wbo1.4a) R 10345 10347 8851 0 -1 4202496 7690 0 0 0 305 4 0 0 25 0 1 0 130741589 32899072 7570 4089446400 134512640 135751879 4290387824 18446744073709551615 134616489 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/10347/statm: 8032 7570 143 303 0 7727 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32128 [startup+6.30072 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10348 /proc/meminfo: memFree=31385908/32950928 swapFree=67111528/67111528 [pid=10347] ppid=10345 vsize=50880 CPUtime=6.29 /proc/10347/stat : 10347 (wbo1.4a) R 10345 10347 8851 0 -1 4202496 12375 0 0 0 623 6 0 0 25 0 1 0 130741589 52101120 12255 4089446400 134512640 135751879 4290387824 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/10347/statm: 12720 12255 143 303 0 12415 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 50880 [startup+12.7006 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10348 /proc/meminfo: memFree=31356612/32950928 swapFree=67111528/67111528 [pid=10347] ppid=10345 vsize=87104 CPUtime=12.68 /proc/10347/stat : 10347 (wbo1.4a) R 10345 10347 8851 0 -1 4202496 21440 0 0 0 1259 9 0 0 25 0 1 0 130741589 89194496 21320 4089446400 134512640 135751879 4290387824 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10347/statm: 21776 21320 143 303 0 21471 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 87104 [startup+25.5004 s] /proc/loadavg: 2.00 2.00 2.00 4/197 10348 /proc/meminfo: memFree=31263724/32950928 swapFree=67111528/67111528 [pid=10347] ppid=10345 vsize=172996 CPUtime=25.47 /proc/10347/stat : 10347 (wbo1.4a) R 10345 10347 8851 0 -1 4202496 42907 0 0 0 2531 16 0 0 25 0 1 0 130741589 177147904 42787 4089446400 134512640 135751879 4290387824 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/10347/statm: 43249 42787 143 303 0 42944 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 172996 [startup+51.1002 s] /proc/loadavg: 2.00 2.00 2.00 4/197 10350 /proc/meminfo: memFree=31140156/32950928 swapFree=67111528/67111528 [pid=10347] ppid=10345 vsize=300628 CPUtime=51.06 /proc/10347/stat : 10347 (wbo1.4a) R 10345 10347 8851 0 -1 4202496 74797 0 0 0 5081 25 0 0 25 0 1 0 130741589 307843072 74677 4089446400 134512640 135751879 4290387824 18446744073709551615 134616489 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10347/statm: 75157 74677 143 303 0 74852 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 300628 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 4/197 10350 /proc/meminfo: memFree=30863592/32950928 swapFree=67111528/67111528 [pid=10347] ppid=10345 vsize=571312 CPUtime=102.27 /proc/10347/stat : 10347 (wbo1.4a) R 10345 10347 8851 0 -1 4202496 142456 0 0 0 10185 42 0 0 25 0 1 0 130741589 585023488 142336 4089446400 134512640 135751879 4290387824 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10347/statm: 142828 142336 143 303 0 142523 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 571312 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 4/197 10352 /proc/meminfo: memFree=30700452/32950928 swapFree=67111528/67111528 [pid=10347] ppid=10345 vsize=735392 CPUtime=162.26 /proc/10347/stat : 10347 (wbo1.4a) R 10345 10347 8851 0 -1 4202496 183470 0 0 0 16174 52 0 0 25 0 1 0 130741589 753041408 183350 4089446400 134512640 135751879 4290387824 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10347/statm: 183848 183350 143 303 0 183543 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 735392 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 4/197 10354 /proc/meminfo: memFree=30480276/32950928 swapFree=67111528/67111528 [pid=10347] ppid=10345 vsize=954676 CPUtime=222.26 /proc/10347/stat : 10347 (wbo1.4a) R 10345 10347 8851 0 -1 4202496 238299 0 0 0 22161 65 0 0 25 0 1 0 130741589 977588224 238179 4089446400 134512640 135751879 4290387824 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10347/statm: 238669 238179 143 303 0 238364 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 954676 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 4/197 10356 /proc/meminfo: memFree=30273512/32950928 swapFree=67111528/67111528 [pid=10347] ppid=10345 vsize=1161364 CPUtime=282.26 /proc/10347/stat : 10347 (wbo1.4a) R 10345 10347 8851 0 -1 4202496 289924 0 0 0 28146 80 0 0 25 0 1 0 130741589 1189236736 289804 4089446400 134512640 135751879 4290387824 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10347/statm: 290341 289804 143 303 0 290036 0 Current children cumulated CPU time (s) 282.26 Current children cumulated vsize (KiB) 1161364 [startup+342.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10356 /proc/meminfo: memFree=30075140/32950928 swapFree=67111528/67111528 [pid=10347] ppid=10345 vsize=1355228 CPUtime=342.27 /proc/10347/stat : 10347 (wbo1.4a) R 10345 10347 8851 0 -1 4202496 338374 0 0 0 34132 95 0 0 25 0 1 0 130741589 1387753472 338254 4089446400 134512640 135751879 4290387824 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10347/statm: 338807 338254 143 303 0 338502 0 Current children cumulated CPU time (s) 342.27 Current children cumulated vsize (KiB) 1355228 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10358 /proc/meminfo: memFree=29774620/32950928 swapFree=67111528/67111528 [pid=10347] ppid=10345 vsize=1658696 CPUtime=402.27 /proc/10347/stat : 10347 (wbo1.4a) R 10345 10347 8851 0 -1 4202496 414224 0 0 0 40112 115 0 0 25 0 1 0 130741589 1698504704 414104 4089446400 134512640 135751879 4290387824 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10347/statm: 414674 414104 143 303 0 414369 0 Current children cumulated CPU time (s) 402.27 Current children cumulated vsize (KiB) 1658696 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10360 /proc/meminfo: memFree=29536316/32950928 swapFree=67111528/67111528 [pid=10347] ppid=10345 vsize=1893700 CPUtime=462.27 /proc/10347/stat : 10347 (wbo1.4a) R 10345 10347 8851 0 -1 4202496 472969 0 0 0 46100 127 0 0 25 0 1 0 130741589 1939148800 472849 4089446400 134512640 135751879 4290387824 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10347/statm: 473425 472849 143 303 0 473120 0 Current children cumulated CPU time (s) 462.27 Current children cumulated vsize (KiB) 1893700 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10362 /proc/meminfo: memFree=29353712/32950928 swapFree=67111528/67111528 [pid=10347] ppid=10345 vsize=2077456 CPUtime=522.27 /proc/10347/stat : 10347 (wbo1.4a) R 10345 10347 8851 0 -1 4202496 518883 0 0 0 52087 140 0 0 25 0 1 0 130741589 2127314944 518763 4089446400 134512640 135751879 4290387824 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10347/statm: 519364 518763 143 303 0 519059 0 Current children cumulated CPU time (s) 522.27 Current children cumulated vsize (KiB) 2077456 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 4/197 10364 /proc/meminfo: memFree=29148004/32950928 swapFree=67111528/67111528 [pid=10347] ppid=10345 vsize=2280640 CPUtime=582.27 /proc/10347/stat : 10347 (wbo1.4a) R 10345 10347 8851 0 -1 4202496 569693 0 0 0 58076 151 0 0 25 0 1 0 130741589 2335375360 569573 4089446400 134512640 135751879 4290387824 18446744073709551615 134602919 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10347/statm: 570160 569573 143 303 0 569855 0 Current children cumulated CPU time (s) 582.27 Current children cumulated vsize (KiB) 2280640 [startup+642.3 s] /proc/loadavg: 2.04 2.01 2.00 4/197 10364 /proc/meminfo: memFree=28808540/32950928 swapFree=67111528/67111528 [pid=10347] ppid=10345 vsize=2618348 CPUtime=642.28 /proc/10347/stat : 10347 (wbo1.4a) R 10345 10347 8851 0 -1 4202496 654093 0 0 0 64054 174 0 0 25 0 1 0 130741589 2681188352 653973 4089446400 134512640 135751879 4290387824 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10347/statm: 654587 653973 143 303 0 654282 0 Current children cumulated CPU time (s) 642.28 Current children cumulated vsize (KiB) 2618348 [startup+702.3 s] /proc/loadavg: 2.01 2.01 2.00 4/197 10366 /proc/meminfo: memFree=28524636/32950928 swapFree=67111528/67111528 [pid=10347] ppid=10345 vsize=2904248 CPUtime=702.27 /proc/10347/stat : 10347 (wbo1.4a) R 10345 10347 8851 0 -1 4202496 725567 0 0 0 70035 192 0 0 25 0 1 0 130741589 2973949952 725447 4089446400 134512640 135751879 4290387824 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10347/statm: 726062 725447 143 303 0 725757 0 Current children cumulated CPU time (s) 702.27 Current children cumulated vsize (KiB) 2904248 [startup+762.306 s] /proc/loadavg: 2.00 2.00 2.00 4/197 10368 /proc/meminfo: memFree=28245684/32950928 swapFree=67111528/67111528 [pid=10347] ppid=10345 vsize=3167792 CPUtime=762.28 /proc/10347/stat : 10347 (wbo1.4a) R 10345 10347 8851 0 -1 4202496 791445 0 0 0 76020 208 0 0 25 0 1 0 130741589 3243819008 791325 4089446400 134512640 135751879 4290387824 18446744073709551615 134607805 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10347/statm: 791948 791325 143 303 0 791643 0 Current children cumulated CPU time (s) 762.28 Current children cumulated vsize (KiB) 3167792 [startup+822.3 s] /proc/loadavg: 2.00 2.00 2.00 4/197 10370 /proc/meminfo: memFree=28037684/32950928 swapFree=67111528/67111528 [pid=10347] ppid=10345 vsize=3376608 CPUtime=822.27 /proc/10347/stat : 10347 (wbo1.4a) R 10345 10347 8851 0 -1 4202496 843643 0 0 0 82005 222 0 0 25 0 1 0 130741589 3457646592 843523 4089446400 134512640 135751879 4290387824 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10347/statm: 844152 843523 143 303 0 843847 0 Current children cumulated CPU time (s) 822.27 Current children cumulated vsize (KiB) 3376608 [startup+882.301 s] /proc/loadavg: 2.00 2.00 2.00 4/197 10372 /proc/meminfo: memFree=27824848/32950928 swapFree=67111528/67111528 [pid=10347] ppid=10345 vsize=3587400 CPUtime=882.28 /proc/10347/stat : 10347 (wbo1.4a) R 10345 10347 8851 0 -1 4202496 896309 0 0 0 87992 236 0 0 25 0 1 0 130741589 3673497600 896190 4089446400 134512640 135751879 4290387824 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10347/statm: 896850 896191 143 303 0 896545 0 Current children cumulated CPU time (s) 882.28 Current children cumulated vsize (KiB) 3587400 [startup+942.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10447 /proc/meminfo: memFree=27577908/32950928 swapFree=67111528/67111528 [pid=10347] ppid=10345 vsize=3864440 CPUtime=942.27 /proc/10347/stat : 10347 (wbo1.4a) R 10345 10347 8851 0 -1 4202496 965550 0 0 0 93975 252 0 0 25 0 1 0 130741589 3957186560 965430 4089446400 134512640 135751879 4290387824 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10347/statm: 966110 965430 143 303 0 965805 0 Current children cumulated CPU time (s) 942.27 Current children cumulated vsize (KiB) 3864440 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+947.601 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10449 /proc/meminfo: memFree=27542540/32950928 swapFree=67111528/67111528 [pid=10347] ppid=10345 vsize=3891648 CPUtime=947.58 /proc/10347/stat : 10347 (wbo1.4a) R 10345 10347 8851 0 -1 4202496 972362 0 0 0 94504 254 0 0 25 0 1 0 130741589 3985047552 972242 4089446400 134512640 135751879 4290387824 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10347/statm: 972912 972242 143 303 0 972607 0 Current children cumulated CPU time (s) 947.58 Current children cumulated vsize (KiB) 3891648 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+947.707 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10449 /proc/meminfo: memFree=27542540/32950928 swapFree=67111528/67111528 [pid=10347] ppid=10345 vsize=0 CPUtime=947.68 /proc/10347/stat : 10347 (wbo1.4a) R 10345 10347 8851 0 -1 4203524 972362 0 0 0 94504 264 0 0 25 0 1 0 130741589 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0 /proc/10347/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 947.68 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 947.733 CPU time (s): 947.718 CPU user time (s): 945.045 CPU system time (s): 2.67259 CPU usage (%): 99.9984 Max. virtual memory (cumulated for all children) (KiB): 3891648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 945.045 system time used= 2.67259 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 972362 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= 17419 runsolver used 1.51277 second user time and 3.11353 second system time The end
Begin job on node126 at 2010-06-30 12:40:52 IDJOB=2689778 IDBENCH=78737 IDSOLVER=1200 FILE ID=node126/2689778-1277894452 PBS_JOBID= 11197101 Free space on /tmp= 74192 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-95-90--soft-66-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2689778-1277894452/watcher-2689778-1277894452 -o /tmp/evaluation-result-2689778-1277894452/solver-2689778-1277894452 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689778-1277894452.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3f020b13e6cf17982f0e6d51d5561da8 RANDOM SEED=785560133 node126.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.835 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.835 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.83 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.835 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.835 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.835 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.72 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.835 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.835 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.835 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: 32950928 kB MemFree: 31430232 kB Buffers: 176596 kB Cached: 919628 kB SwapCached: 0 kB Active: 736908 kB Inactive: 640368 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31430232 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2888 kB Writeback: 0 kB AnonPages: 280548 kB Mapped: 20276 kB Slab: 77288 kB PageTables: 5168 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1640688 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= 74188 MiB End job on node126 at 2010-06-30 12:56:42