Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4b | ? (MO) | 1507.18 | 1507.14 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-65-60--soft-33-100-0.wbo |
MD5SUM | 62825c7b78173675be8da33e26a62860 |
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.112982 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 3900 |
Total number of constraints | 125 |
Number of soft constraints | 82 |
Number of constraints which are clauses | 65 |
Number of constraints which are cardinality constraints (but not clauses) | 60 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 65 |
Top cost | 4502 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 4501 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 66 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing wbo file format. File HOME/instance-2690399-1277893299.wbo. 0.00/0.00 c Instance file HOME/instance-2690399-1277893299.wbo 0.00/0.00 c File size is 69591 bytes. 0.00/0.00 c Highest Coefficient sum: 66 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 3900 | 0.00/0.00 c | Number Clauses: 65 | 0.00/0.00 c | Number Cardinality: 60 | 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 | 3900 125 7800 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 101 | 3900 125 7800 | 5500 101 293 | 0.000 % | 0.00/0.02 c | 251 | 3900 125 7800 | 6050 251 324 | 0.000 % | 0.00/0.05 c | 476 | 3900 125 7800 | 6655 476 482 | 0.000 % | 0.00/0.07 c | 813 | 3900 125 7800 | 7320 813 405 | 0.000 % | 0.09/0.12 c | 1320 | 3900 125 7800 | 8052 1320 386 | 0.000 % | 0.19/0.24 c | 2080 | 3900 125 7800 | 8857 2080 412 | 0.000 % | 0.39/0.41 c | 3219 | 3900 125 7800 | 9743 3219 404 | 0.000 % | 0.69/0.75 c | 4928 | 3900 125 7800 | 10717 4928 397 | 0.000 % | 1.29/1.34 c | 7492 | 3900 125 7800 | 11789 7492 413 | 0.000 % | 2.59/2.61 c | 11337 | 3900 125 7800 | 12968 11337 413 | 0.000 % | 5.29/5.37 c | 17108 | 3900 125 7800 | 14265 8722 457 | 0.000 % | 9.59/9.66 c | 25758 | 3900 125 7800 | 15692 17372 410 | 0.000 % | 17.49/17.60 c | 38733 | 3900 125 7800 | 17261 11913 614 | 0.000 % | 39.49/39.52 c | 58194 | 3900 125 7800 | 18987 20857 854 | 0.000 % | 60.29/60.32 c | 87387 | 3900 125 7800 | 20886 17056 605 | 0.000 % | 112.49/112.57 c | 131176 | 3900 125 7800 | 22974 23353 1082 | 0.000 % | 180.59/180.63 c There are 0 assigned variables. 0 in cost function. 180.69/180.71 c ============================[ Search Statistics ]============================== 180.69/180.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 180.69/180.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 180.69/180.71 c =============================================================================== 180.69/180.71 c | 0 | 3900 125 7800 | 5000 0 nan | 0.000 % | 180.69/180.75 c | 100 | 3900 125 7800 | 5500 100 272 | 0.000 % | 180.69/180.76 c | 250 | 3900 125 7800 | 6050 250 309 | 0.000 % | 180.79/180.83 c | 476 | 3900 125 7800 | 6655 476 466 | 0.000 % | 180.89/180.94 c | 813 | 3900 125 7800 | 7320 813 441 | 0.000 % | 180.99/181.07 c | 1320 | 3900 125 7800 | 8052 1320 398 | 0.000 % | 181.29/181.33 c | 2079 | 3900 125 7800 | 8857 2079 393 | 0.000 % | 181.79/181.80 c | 3220 | 3900 125 7800 | 9743 3220 400 | 0.000 % | 182.39/182.46 c | 4928 | 3900 125 7800 | 10717 4928 386 | 0.000 % | 183.49/183.52 c | 7493 | 3900 125 7800 | 11789 7493 373 | 0.000 % | 185.49/185.51 c | 11339 | 3900 125 7800 | 12968 11339 381 | 0.000 % | 189.09/189.12 c | 17106 | 3900 125 7800 | 14265 8728 413 | 0.000 % | 195.29/195.34 c | 25755 | 3900 125 7800 | 15692 17377 409 | 0.000 % | 205.39/205.43 c | 38729 | 3900 125 7800 | 17261 11928 621 | 0.000 % | 232.69/232.75 c | 58193 | 3900 125 7800 | 18987 20871 714 | 0.000 % | 267.09/267.12 c | 87385 | 3900 125 7800 | 20886 17121 797 | 0.000 % | 311.49/311.59 c | 131177 | 3900 125 7800 | 22974 24096 749 | 0.000 % | 419.80/419.82 c | 196861 | 3900 125 7800 | 25272 23056 1094 | 0.000 % | 572.11/572.13 c | 295387 | 3900 125 7800 | 27799 27394 963 | 0.000 % | 770.11/770.11 c | 443176 | 3900 125 7800 | 30579 14483 836 | 0.000 % | 1142.53/1142.50 c | 664860 | 3900 125 7800 | 33637 28453 988 | 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-2690399-1277893299/watcher-2690399-1277893299 -o /tmp/evaluation-result-2690399-1277893299/solver-2690399-1277893299 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690399-1277893299.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.01 2.10 2.04 4/196 14128 /proc/meminfo: memFree=30983160/32951124 swapFree=67111528/67111528 [pid=14128] ppid=14126 vsize=3268 CPUtime=0 /proc/14128/stat : 14128 (wbo1.4b) R 14126 14128 12511 0 -1 4202496 438 0 0 0 0 0 0 0 25 0 1 0 130625434 3346432 356 4089446400 134512640 135752675 4288726944 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14128/statm: 817 357 147 303 0 495 0 [startup+0.009699 s] /proc/loadavg: 2.01 2.10 2.04 4/196 14128 /proc/meminfo: memFree=30983160/32951124 swapFree=67111528/67111528 [pid=14128] ppid=14126 vsize=3320 CPUtime=0 /proc/14128/stat : 14128 (wbo1.4b) R 14126 14128 12511 0 -1 4202496 608 0 0 0 0 0 0 0 25 0 1 0 130625434 3399680 408 4089446400 134512640 135752675 4288726944 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14128/statm: 830 408 142 303 0 525 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 3320 [startup+0.100657 s] /proc/loadavg: 2.01 2.10 2.04 4/196 14128 /proc/meminfo: memFree=30983160/32951124 swapFree=67111528/67111528 [pid=14128] ppid=14126 vsize=5172 CPUtime=0.09 /proc/14128/stat : 14128 (wbo1.4b) R 14126 14128 12511 0 -1 4202496 1064 0 0 0 9 0 0 0 25 0 1 0 130625434 5296128 864 4089446400 134512640 135752675 4288726944 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14128/statm: 1293 865 144 303 0 988 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5172 [startup+0.300623 s] /proc/loadavg: 2.01 2.10 2.04 4/196 14128 /proc/meminfo: memFree=30983160/32951124 swapFree=67111528/67111528 [pid=14128] ppid=14126 vsize=7944 CPUtime=0.29 /proc/14128/stat : 14128 (wbo1.4b) R 14126 14128 12511 0 -1 4202496 1759 0 0 0 28 1 0 0 25 0 1 0 130625434 8134656 1559 4089446400 134512640 135752675 4288726944 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14128/statm: 1986 1560 144 303 0 1681 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7944 [startup+0.700544 s] /proc/loadavg: 2.01 2.10 2.04 4/196 14128 /proc/meminfo: memFree=30983160/32951124 swapFree=67111528/67111528 [pid=14128] ppid=14126 vsize=11508 CPUtime=0.69 /proc/14128/stat : 14128 (wbo1.4b) R 14126 14128 12511 0 -1 4202496 2648 0 0 0 68 1 0 0 25 0 1 0 130625434 11784192 2448 4089446400 134512640 135752675 4288726944 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14128/statm: 2877 2448 144 303 0 2572 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11508 [startup+1.5004 s] /proc/loadavg: 2.01 2.10 2.04 3/197 14129 /proc/meminfo: memFree=30970628/32951124 swapFree=67111528/67111528 [pid=14128] ppid=14126 vsize=18512 CPUtime=1.49 /proc/14128/stat : 14128 (wbo1.4b) R 14126 14128 12511 0 -1 4202496 4381 0 0 0 147 2 0 0 25 0 1 0 130625434 18956288 4181 4089446400 134512640 135752675 4288726944 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/14128/statm: 4628 4181 144 303 0 4323 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18512 [startup+3.10011 s] /proc/loadavg: 2.01 2.10 2.04 3/197 14129 /proc/meminfo: memFree=30963080/32951124 swapFree=67111528/67111528 [pid=14128] ppid=14126 vsize=27888 CPUtime=3.09 /proc/14128/stat : 14128 (wbo1.4b) R 14126 14128 12511 0 -1 4202496 6726 0 0 0 306 3 0 0 25 0 1 0 130625434 28557312 6526 4089446400 134512640 135752675 4288726944 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14128/statm: 6972 6526 144 303 0 6667 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27888 [startup+6.30052 s] /proc/loadavg: 2.01 2.10 2.04 3/197 14129 /proc/meminfo: memFree=30948944/32951124 swapFree=67111528/67111528 [pid=14128] ppid=14126 vsize=41484 CPUtime=6.28 /proc/14128/stat : 14128 (wbo1.4b) R 14126 14128 12511 0 -1 4202496 10145 0 0 0 623 5 0 0 25 0 1 0 130625434 42479616 9945 4089446400 134512640 135752675 4288726944 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14128/statm: 10371 9945 144 303 0 10066 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 41484 [startup+12.7004 s] /proc/loadavg: 2.01 2.10 2.04 3/197 14129 /proc/meminfo: memFree=30919380/32951124 swapFree=67111528/67111528 [pid=14128] ppid=14126 vsize=69492 CPUtime=12.69 /proc/14128/stat : 14128 (wbo1.4b) R 14126 14128 12511 0 -1 4202496 17126 0 0 0 1260 9 0 0 25 0 1 0 130625434 71159808 16926 4089446400 134512640 135752675 4288726944 18446744073709551615 134611807 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14128/statm: 17373 16926 144 303 0 17068 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 69492 [startup+25.501 s] /proc/loadavg: 2.00 2.09 2.04 3/197 14130 /proc/meminfo: memFree=30861872/32951124 swapFree=67111528/67111528 [pid=14128] ppid=14126 vsize=124940 CPUtime=25.48 /proc/14128/stat : 14128 (wbo1.4b) R 14126 14128 12511 0 -1 4202496 31001 0 0 0 2534 14 0 0 25 0 1 0 130625434 127938560 30801 4089446400 134512640 135752675 4288726944 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14128/statm: 31235 30801 144 303 0 30930 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 124940 [startup+51.1004 s] /proc/loadavg: 2.00 2.08 2.03 3/197 14131 /proc/meminfo: memFree=30780912/32951124 swapFree=67111528/67111528 [pid=14128] ppid=14126 vsize=207404 CPUtime=51.09 /proc/14128/stat : 14128 (wbo1.4b) R 14126 14128 12511 0 -1 4202496 51599 0 0 0 5084 25 0 0 25 0 1 0 130625434 212381696 51399 4089446400 134512640 135752675 4288726944 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14128/statm: 51851 51399 144 303 0 51546 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 207404 [startup+102.307 s] /proc/loadavg: 2.04 2.08 2.03 3/197 14132 /proc/meminfo: memFree=30588916/32951124 swapFree=67111528/67111528 [pid=14128] ppid=14126 vsize=397132 CPUtime=102.29 /proc/14128/stat : 14128 (wbo1.4b) R 14126 14128 12511 0 -1 4202496 99011 0 0 0 10187 42 0 0 25 0 1 0 130625434 406663168 98811 4089446400 134512640 135752675 4288726944 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14128/statm: 99283 98811 144 303 0 98978 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 397132 [startup+162.301 s] /proc/loadavg: 2.02 2.06 2.03 3/179 14163 /proc/meminfo: memFree=30455848/32951124 swapFree=67111528/67111528 [pid=14128] ppid=14126 vsize=600964 CPUtime=162.29 /proc/14128/stat : 14128 (wbo1.4b) R 14126 14128 12511 0 -1 4202496 149949 0 0 0 16171 58 0 0 25 0 1 0 130625434 615387136 149749 4089446400 134512640 135752675 4288726944 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14128/statm: 150241 149749 144 303 0 149936 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 600964 [startup+222.301 s] /proc/loadavg: 2.00 2.05 2.02 3/179 14165 /proc/meminfo: memFree=30350196/32951124 swapFree=67111528/67111528 [pid=14128] ppid=14126 vsize=670772 CPUtime=222.29 /proc/14128/stat : 14128 (wbo1.4b) R 14126 14128 12511 0 -1 4202496 167459 0 0 0 22156 73 0 0 25 0 1 0 130625434 686870528 167259 4089446400 134512640 135752675 4288726944 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14128/statm: 167693 167259 146 303 0 167388 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 670772 [startup+282.3 s] /proc/loadavg: 2.00 2.04 2.02 3/179 14167 /proc/meminfo: memFree=30174568/32951124 swapFree=67111528/67111528 [pid=14128] ppid=14126 vsize=823140 CPUtime=282.3 /proc/14128/stat : 14128 (wbo1.4b) R 14126 14128 12511 0 -1 4202496 205518 0 0 0 28139 91 0 0 25 0 1 0 130625434 842895360 205318 4089446400 134512640 135752675 4288726944 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14128/statm: 205785 205318 146 303 0 205480 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 823140 [startup+342.3 s] /proc/loadavg: 2.00 2.03 2.01 3/179 14169 /proc/meminfo: memFree=29971044/32951124 swapFree=67111528/67111528 [pid=14128] ppid=14126 vsize=999984 CPUtime=342.3 /proc/14128/stat : 14128 (wbo1.4b) R 14126 14128 12511 0 -1 4202496 249688 0 0 0 34123 107 0 0 25 0 1 0 130625434 1023983616 249488 4089446400 134512640 135752675 4288726944 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14128/statm: 249996 249488 146 303 0 249691 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 999984 [startup+402.3 s] /proc/loadavg: 2.00 2.02 2.00 3/179 14170 /proc/meminfo: memFree=29811904/32951124 swapFree=67111528/67111528 [pid=14128] ppid=14126 vsize=1135360 CPUtime=402.29 /proc/14128/stat : 14128 (wbo1.4b) R 14126 14128 12511 0 -1 4202496 283519 0 0 0 40112 117 0 0 25 0 1 0 130625434 1162608640 283319 4089446400 134512640 135752675 4288726944 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14128/statm: 283840 283319 146 303 0 283535 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 1135360 [startup+462.3 s] /proc/loadavg: 2.00 2.02 2.00 3/179 14171 /proc/meminfo: memFree=29612096/32951124 swapFree=67111528/67111528 [pid=14128] ppid=14126 vsize=1310372 CPUtime=462.3 /proc/14128/stat : 14128 (wbo1.4b) R 14126 14128 12511 0 -1 4202496 327260 0 0 0 46098 132 0 0 25 0 1 0 130625434 1341820928 327060 4089446400 134512640 135752675 4288726944 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14128/statm: 327593 327060 146 303 0 327288 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 1310372 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.00 3/179 14173 /proc/meminfo: memFree=29431140/32951124 swapFree=67111528/67111528 [pid=14128] ppid=14126 vsize=1460976 CPUtime=522.3 /proc/14128/stat : 14128 (wbo1.4b) R 14126 14128 12511 0 -1 4202496 364885 0 0 0 52087 143 0 0 25 0 1 0 130625434 1496039424 364685 4089446400 134512640 135752675 4288726944 18446744073709551615 134611807 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14128/statm: 365244 364685 146 303 0 364939 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 1460976 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14175 /proc/meminfo: memFree=29241368/32951124 swapFree=67111528/67111528 [pid=14128] ppid=14126 vsize=1620280 CPUtime=582.31 /proc/14128/stat : 14128 (wbo1.4b) R 14126 14128 12511 0 -1 4202496 404693 0 0 0 58073 158 0 0 25 0 1 0 130625434 1659166720 404493 4089446400 134512640 135752675 4288726944 18446744073709551615 134611807 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14128/statm: 405070 404493 146 303 0 404765 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 1620280 [startup+642.3 s] /proc/loadavg: 2.06 2.02 2.00 3/179 14180 /proc/meminfo: memFree=29070368/32951124 swapFree=67111528/67111528 [pid=14128] ppid=14126 vsize=1764660 CPUtime=642.31 /proc/14128/stat : 14128 (wbo1.4b) R 14126 14128 12511 0 -1 4202496 440790 0 0 0 64059 172 0 0 25 0 1 0 130625434 1807011840 440590 4089446400 134512640 135752675 4288726944 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14128/statm: 441165 440590 146 303 0 440860 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1764660 [startup+702.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 14181 /proc/meminfo: memFree=28882340/32951124 swapFree=67111528/67111528 [pid=14128] ppid=14126 vsize=1928600 CPUtime=702.31 /proc/14128/stat : 14128 (wbo1.4b) R 14126 14128 12511 0 -1 4202496 481738 0 0 0 70045 186 0 0 25 0 1 0 130625434 1974886400 481538 4089446400 134512640 135752675 4288726944 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14128/statm: 482150 481538 146 303 0 481845 0 Current children cumulated CPU time (s) 702.31 Current children cumulated vsize (KiB) 1928600 [startup+762.307 s] /proc/loadavg: 2.01 2.00 2.00 3/179 14182 /proc/meminfo: memFree=28679808/32951124 swapFree=67111528/67111528 [pid=14128] ppid=14126 vsize=2106184 CPUtime=762.31 /proc/14128/stat : 14128 (wbo1.4b) R 14126 14128 12511 0 -1 4202496 526141 0 0 0 76032 199 0 0 25 0 1 0 130625434 2156732416 525941 4089446400 134512640 135752675 4288726944 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14128/statm: 526546 525941 146 303 0 526241 0 Current children cumulated CPU time (s) 762.31 Current children cumulated vsize (KiB) 2106184 [startup+822.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14184 /proc/meminfo: memFree=28510880/32951124 swapFree=67111528/67111528 [pid=14128] ppid=14126 vsize=2250824 CPUtime=822.31 /proc/14128/stat : 14128 (wbo1.4b) R 14126 14128 12511 0 -1 4202496 562261 0 0 0 82018 213 0 0 25 0 1 0 130625434 2304843776 562061 4089446400 134512640 135752675 4288726944 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14128/statm: 562706 562061 146 303 0 562401 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 2250824 [startup+882.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14186 /proc/meminfo: memFree=28366120/32951124 swapFree=67111528/67111528 [pid=14128] ppid=14126 vsize=2371612 CPUtime=882.31 /proc/14128/stat : 14128 (wbo1.4b) R 14126 14128 12511 0 -1 4202496 592465 0 0 0 88007 224 0 0 25 0 1 0 130625434 2428530688 592265 4089446400 134512640 135752675 4288726944 18446744073709551615 134611804 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14128/statm: 592903 592265 146 303 0 592598 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 2371612 [startup+942.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14187 /proc/meminfo: memFree=28195080/32951124 swapFree=67111528/67111528 [pid=14128] ppid=14126 vsize=2520416 CPUtime=942.31 /proc/14128/stat : 14128 (wbo1.4b) R 14126 14128 12511 0 -1 4202496 629654 0 0 0 93996 235 0 0 25 0 1 0 130625434 2580905984 629454 4089446400 134512640 135752675 4288726944 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14128/statm: 630104 629454 146 303 0 629799 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 2520416 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14189 /proc/meminfo: memFree=28018332/32951124 swapFree=67111528/67111528 [pid=14128] ppid=14126 vsize=2675752 CPUtime=1002.32 /proc/14128/stat : 14128 (wbo1.4b) R 14126 14128 12511 0 -1 4202496 668441 0 0 0 99983 249 0 0 25 0 1 0 130625434 2739970048 668241 4089446400 134512640 135752675 4288726944 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14128/statm: 668938 668241 146 303 0 668633 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 2675752 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14190 /proc/meminfo: memFree=27822864/32951124 swapFree=67111528/67111528 [pid=14128] ppid=14126 vsize=2849768 CPUtime=1062.31 /proc/14128/stat : 14128 (wbo1.4b) R 14126 14128 12511 0 -1 4202496 711947 0 0 0 105969 262 0 0 25 0 1 0 130625434 2918162432 711747 4089446400 134512640 135752675 4288726944 18446744073709551615 134607306 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14128/statm: 712442 711747 146 303 0 712137 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 2849768 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14192 /proc/meminfo: memFree=27648608/32951124 swapFree=67111528/67111528 [pid=14128] ppid=14126 vsize=3000124 CPUtime=1122.32 /proc/14128/stat : 14128 (wbo1.4b) R 14126 14128 12511 0 -1 4202496 749529 0 0 0 111957 275 0 0 25 0 1 0 130625434 3072126976 749329 4089446400 134512640 135752675 4288726944 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14128/statm: 750031 749329 146 303 0 749726 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 3000124 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14194 /proc/meminfo: memFree=27474332/32951124 swapFree=67111528/67111528 [pid=14128] ppid=14126 vsize=3152660 CPUtime=1182.32 /proc/14128/stat : 14128 (wbo1.4b) R 14126 14128 12511 0 -1 4202496 787651 0 0 0 117945 287 0 0 25 0 1 0 130625434 3228323840 787451 4089446400 134512640 135752675 4288726944 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14128/statm: 788165 787451 146 303 0 787860 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 3152660 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14196 /proc/meminfo: memFree=27348420/32951124 swapFree=67111528/67111528 [pid=14128] ppid=14126 vsize=3256520 CPUtime=1242.32 /proc/14128/stat : 14128 (wbo1.4b) R 14126 14128 12511 0 -1 4202496 813604 0 0 0 123936 296 0 0 25 0 1 0 130625434 3334676480 813404 4089446400 134512640 135752675 4288726944 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14128/statm: 814130 813404 146 303 0 813825 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 3256520 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14197 /proc/meminfo: memFree=27193876/32951124 swapFree=67111528/67111528 [pid=14128] ppid=14126 vsize=3387100 CPUtime=1302.33 /proc/14128/stat : 14128 (wbo1.4b) R 14126 14128 12511 0 -1 4202496 846207 0 0 0 129929 304 0 0 25 0 1 0 130625434 3468390400 846007 4089446400 134512640 135752675 4288726944 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14128/statm: 846775 846007 146 303 0 846470 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 3387100 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14198 /proc/meminfo: memFree=27020968/32951124 swapFree=67111528/67111528 [pid=14128] ppid=14126 vsize=3538884 CPUtime=1362.32 /proc/14128/stat : 14128 (wbo1.4b) R 14126 14128 12511 0 -1 4202496 884165 0 0 0 135916 316 0 0 25 0 1 0 130625434 3623817216 883965 4089446400 134512640 135752675 4288726944 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14128/statm: 884721 883965 146 303 0 884416 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 3538884 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14200 /proc/meminfo: memFree=26852912/32951124 swapFree=67111528/67111528 [pid=14128] ppid=14126 vsize=3683164 CPUtime=1422.34 /proc/14128/stat : 14128 (wbo1.4b) R 14126 14128 12511 0 -1 4202496 920213 0 0 0 141905 329 0 0 25 0 1 0 130625434 3771559936 920013 4089446400 134512640 135752675 4288726944 18446744073709551615 134611744 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14128/statm: 920791 920013 146 303 0 920486 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 3683164 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14202 /proc/meminfo: memFree=26686700/32951124 swapFree=67111528/67111528 [pid=14128] ppid=14126 vsize=3828496 CPUtime=1482.33 /proc/14128/stat : 14128 (wbo1.4b) R 14126 14128 12511 0 -1 4202496 956556 0 0 0 147893 340 0 0 25 0 1 0 130625434 3920379904 956356 4089446400 134512640 135752675 4288726944 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14128/statm: 957124 956356 146 303 0 956819 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 3828496 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1507.01 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14202 /proc/meminfo: memFree=26613276/32951124 swapFree=67111528/67111528 [pid=14128] ppid=14126 vsize=3891332 CPUtime=1507.05 /proc/14128/stat : 14128 (wbo1.4b) R 14126 14128 12511 0 -1 4202496 972263 0 0 0 150359 346 0 0 25 0 1 0 130625434 3984723968 972063 4089446400 134512640 135752675 4288726944 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14128/statm: 972833 972063 146 303 0 972528 0 Current children cumulated CPU time (s) 1507.05 Current children cumulated vsize (KiB) 3891332 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1507.11 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14202 /proc/meminfo: memFree=26613276/32951124 swapFree=67111528/67111528 [pid=14128] ppid=14126 vsize=0 CPUtime=1507.14 /proc/14128/stat : 14128 (wbo1.4b) R 14126 14128 12511 0 -1 4203524 972264 0 0 0 150359 355 0 0 25 0 1 0 130625434 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 7 0 0 0 /proc/14128/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1507.14 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1507.14 CPU time (s): 1507.18 CPU user time (s): 1503.59 CPU system time (s): 3.58246 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 3891332 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1503.59 system time used= 3.58245 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 972264 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= 817 runsolver used 2.20666 second user time and 4.90425 second system time The end
Begin job on node139 at 2010-06-30 12:21:39 IDJOB=2690399 IDBENCH=78724 IDSOLVER=1201 FILE ID=node139/2690399-1277893299 PBS_JOBID= 11197076 Free space on /tmp= 74124 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-65-60--soft-33-100-0.wbo COMMAND LINE= wbo1.4b -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690399-1277893299/watcher-2690399-1277893299 -o /tmp/evaluation-result-2690399-1277893299/solver-2690399-1277893299 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690399-1277893299.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 62825c7b78173675be8da33e26a62860 RANDOM SEED=1139594345 node139.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 : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.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.78 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.75 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30983556 kB Buffers: 179324 kB Cached: 1460028 kB SwapCached: 0 kB Active: 838568 kB Inactive: 982928 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30983556 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2908 kB Writeback: 0 kB AnonPages: 182172 kB Mapped: 20344 kB Slab: 82448 kB PageTables: 4876 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1643744 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= 74120 MiB End job on node139 at 2010-06-30 12:46:49