Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4b | ? (MO) | 1497.03 | 1497.05 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-91-90--soft-0-100-0.wbo |
MD5SUM | dd3ef6bbe4855ee6a3bf373100fffb0f |
Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 0.308952 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 8190 |
Total number of constraints | 181 |
Number of soft constraints | 181 |
Number of constraints which are clauses | 91 |
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 | 91 |
Top cost | 8850 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 8849 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 92 |
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-2690672-1277922449.wbo. 0.00/0.00 c Instance file HOME/instance-2690672-1277922449.wbo 0.00/0.00 c File size is 147714 bytes. 0.00/0.01 c Highest Coefficient sum: 92 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: 8190 | 0.00/0.01 c | Number Clauses: 91 | 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 | 8190 181 16380 | 5000 0 nan | 0.000 % | 0.00/0.02 c | 101 | 8190 181 16380 | 5500 101 345 | 0.000 % | 0.02/0.05 c | 251 | 8190 181 16380 | 6050 251 501 | 0.000 % | 0.02/0.07 c | 476 | 8190 181 16380 | 6655 476 493 | 0.000 % | 0.09/0.15 c | 814 | 8190 181 16380 | 7320 814 807 | 0.000 % | 0.19/0.23 c | 1321 | 8190 181 16380 | 8052 1321 789 | 0.000 % | 0.29/0.36 c | 2080 | 8190 181 16380 | 8857 2080 649 | 0.000 % | 0.49/0.57 c | 3219 | 8190 181 16380 | 9743 3219 561 | 0.000 % | 0.89/0.91 c | 4928 | 8190 181 16380 | 10717 4928 525 | 0.000 % | 1.59/1.60 c | 7490 | 8190 181 16380 | 11789 7490 512 | 0.000 % | 2.79/2.87 c | 11335 | 8190 181 16380 | 12968 11335 502 | 0.000 % | 5.49/5.55 c | 17101 | 8190 181 16380 | 14265 17101 511 | 0.000 % | 9.99/10.00 c | 25751 | 8190 181 16380 | 15692 17201 527 | 0.000 % | 26.49/26.50 c | 38727 | 8190 181 16380 | 17261 21577 1133 | 0.000 % | 53.19/53.21 c | 58188 | 8190 181 16380 | 18987 16525 1557 | 0.000 % | 89.29/89.36 c | 87380 | 8190 181 16380 | 20886 17211 829 | 0.000 % | 143.89/143.98 c | 131170 | 8190 181 16380 | 22974 26597 1077 | 0.000 % | 180.59/180.60 c There are 0 assigned variables. 0 in cost function. 180.59/180.68 c ============================[ Search Statistics ]============================== 180.59/180.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 180.59/180.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 180.59/180.68 c =============================================================================== 180.59/180.68 c | 0 | 8190 181 16380 | 5000 0 nan | 0.000 % | 180.69/180.73 c | 100 | 8190 181 16380 | 5500 100 376 | 0.000 % | 180.80/180.82 c | 250 | 8190 181 16380 | 6050 250 593 | 0.000 % | 180.80/180.88 c | 477 | 8190 181 16380 | 6655 477 567 | 0.000 % | 181.19/181.21 c | 814 | 8190 181 16380 | 7320 814 1020 | 0.000 % | 181.39/181.43 c | 1325 | 8190 181 16380 | 8052 1325 779 | 0.000 % | 181.90/181.99 c | 2085 | 8190 181 16380 | 8857 2085 740 | 0.000 % | 182.19/182.26 c | 3224 | 8190 181 16380 | 9743 3224 681 | 0.000 % | 183.19/183.26 c | 4933 | 8190 181 16380 | 10717 4933 613 | 0.000 % | 184.89/184.96 c | 7500 | 8190 181 16380 | 11789 7500 561 | 0.000 % | 187.69/187.71 c | 11346 | 8190 181 16380 | 12968 11346 539 | 0.000 % | 192.79/192.80 c | 17112 | 8190 181 16380 | 14265 17112 529 | 0.000 % | 202.09/202.14 c | 25766 | 8190 181 16380 | 15692 17210 520 | 0.000 % | 237.99/238.07 c | 38746 | 8190 181 16380 | 17261 21585 1312 | 0.000 % | 282.80/282.83 c | 58209 | 8190 181 16380 | 18987 16655 1861 | 0.000 % | 330.29/330.39 c | 87402 | 8190 181 16380 | 20886 16847 943 | 0.000 % | 446.50/446.51 c | 131194 | 8190 181 16380 | 22974 27474 1273 | 0.000 % | 560.09/560.11 c | 196878 | 8190 181 16380 | 25272 28257 866 | 0.000 % | 734.99/735.00 c | 295405 | 8190 181 16380 | 27799 31250 1111 | 0.000 % | 1087.39/1087.47 c | 443199 | 8190 181 16380 | 30579 29651 1413 | 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-2690672-1277922449/watcher-2690672-1277922449 -o /tmp/evaluation-result-2690672-1277922449/solver-2690672-1277922449 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690672-1277922449.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.09 2.03 2.01 3/176 15176 /proc/meminfo: memFree=30594704/32951132 swapFree=67111528/67111528 [pid=15176] ppid=15174 vsize=3740 CPUtime=0 /proc/15176/stat : 15176 (wbo1.4b) R 15174 15176 13489 0 -1 4202496 517 0 0 0 0 0 0 0 18 0 1 0 133541242 3829760 435 4089446400 134512640 135752675 4288802672 18446744073709551615 134573941 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15176/statm: 935 435 142 303 0 593 0 [startup+0.0359501 s] /proc/loadavg: 2.09 2.03 2.01 3/176 15176 /proc/meminfo: memFree=30594704/32951132 swapFree=67111528/67111528 [pid=15176] ppid=15174 vsize=4540 CPUtime=0.02 /proc/15176/stat : 15176 (wbo1.4b) R 15174 15176 13489 0 -1 4202496 1029 0 0 0 2 0 0 0 18 0 1 0 133541242 4648960 666 4089446400 134512640 135752675 4288802672 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15176/statm: 1135 666 144 303 0 830 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4540 [startup+0.10094 s] /proc/loadavg: 2.09 2.03 2.01 3/176 15176 /proc/meminfo: memFree=30594704/32951132 swapFree=67111528/67111528 [pid=15176] ppid=15174 vsize=6004 CPUtime=0.09 /proc/15176/stat : 15176 (wbo1.4b) R 15174 15176 13489 0 -1 4202496 1393 0 0 0 8 1 0 0 18 0 1 0 133541242 6148096 1030 4089446400 134512640 135752675 4288802672 18446744073709551615 134639387 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15176/statm: 1501 1030 144 303 0 1196 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6004 [startup+0.300906 s] /proc/loadavg: 2.09 2.03 2.01 3/176 15176 /proc/meminfo: memFree=30594704/32951132 swapFree=67111528/67111528 [pid=15176] ppid=15174 vsize=9584 CPUtime=0.29 /proc/15176/stat : 15176 (wbo1.4b) R 15174 15176 13489 0 -1 4202496 2304 0 0 0 27 2 0 0 18 0 1 0 133541242 9814016 1941 4089446400 134512640 135752675 4288802672 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15176/statm: 2396 1941 144 303 0 2091 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9584 [startup+0.700848 s] /proc/loadavg: 2.09 2.03 2.01 3/176 15176 /proc/meminfo: memFree=30594704/32951132 swapFree=67111528/67111528 [pid=15176] ppid=15174 vsize=13676 CPUtime=0.69 /proc/15176/stat : 15176 (wbo1.4b) R 15174 15176 13489 0 -1 4202496 3309 0 0 0 65 4 0 0 18 0 1 0 133541242 14004224 2946 4089446400 134512640 135752675 4288802672 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15176/statm: 3419 2946 144 303 0 3114 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13676 [startup+1.50071 s] /proc/loadavg: 2.09 2.03 2.01 3/177 15177 /proc/meminfo: memFree=30578336/32951132 swapFree=67111528/67111528 [pid=15176] ppid=15174 vsize=20408 CPUtime=1.49 /proc/15176/stat : 15176 (wbo1.4b) R 15174 15176 13489 0 -1 4202496 4981 0 0 0 144 5 0 0 19 0 1 0 133541242 20897792 4618 4089446400 134512640 135752675 4288802672 18446744073709551615 134611804 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15176/statm: 5102 4618 144 303 0 4797 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20408 [startup+3.10043 s] /proc/loadavg: 2.08 2.03 2.00 3/177 15177 /proc/meminfo: memFree=30568540/32951132 swapFree=67111528/67111528 [pid=15176] ppid=15174 vsize=31396 CPUtime=3.09 /proc/15176/stat : 15176 (wbo1.4b) R 15174 15176 13489 0 -1 4202496 7746 0 0 0 302 7 0 0 25 0 1 0 133541242 32149504 7383 4089446400 134512640 135752675 4288802672 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15176/statm: 7849 7383 144 303 0 7544 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 31396 [startup+6.30088 s] /proc/loadavg: 2.08 2.03 2.00 3/177 15177 /proc/meminfo: memFree=30550740/32951132 swapFree=67111528/67111528 [pid=15176] ppid=15174 vsize=47768 CPUtime=6.3 /proc/15176/stat : 15176 (wbo1.4b) R 15174 15176 13489 0 -1 4202496 11852 0 0 0 620 10 0 0 25 0 1 0 133541242 48914432 11489 4089446400 134512640 135752675 4288802672 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15176/statm: 11942 11489 144 303 0 11637 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 47768 [startup+12.7008 s] /proc/loadavg: 2.07 2.03 2.00 3/177 15177 /proc/meminfo: memFree=30504480/32951132 swapFree=67111528/67111528 [pid=15176] ppid=15174 vsize=88276 CPUtime=12.69 /proc/15176/stat : 15176 (wbo1.4b) R 15174 15176 13489 0 -1 4202496 21965 0 0 0 1255 14 0 0 25 0 1 0 133541242 90394624 21602 4089446400 134512640 135752675 4288802672 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15176/statm: 22069 21602 144 303 0 21764 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 88276 [startup+25.5006 s] /proc/loadavg: 2.06 2.03 2.00 3/177 15177 /proc/meminfo: memFree=30434540/32951132 swapFree=67111528/67111528 [pid=15176] ppid=15174 vsize=139120 CPUtime=25.5 /proc/15176/stat : 15176 (wbo1.4b) R 15174 15176 13489 0 -1 4202496 34673 0 0 0 2531 19 0 0 25 0 1 0 133541242 142458880 34310 4089446400 134512640 135752675 4288802672 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15176/statm: 34780 34310 144 303 0 34475 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 139120 [startup+51.1001 s] /proc/loadavg: 2.04 2.03 2.00 3/177 15177 /proc/meminfo: memFree=30265824/32951132 swapFree=67111528/67111528 [pid=15176] ppid=15174 vsize=258836 CPUtime=51.09 /proc/15176/stat : 15176 (wbo1.4b) R 15174 15176 13489 0 -1 4202496 64600 0 0 0 5082 27 0 0 25 0 1 0 133541242 265048064 64237 4089446400 134512640 135752675 4288802672 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/15176/statm: 64709 64237 144 303 0 64404 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 258836 [startup+102.306 s] /proc/loadavg: 2.01 2.02 2.00 3/177 15179 /proc/meminfo: memFree=29999208/32951132 swapFree=67111528/67111528 [pid=15176] ppid=15174 vsize=429640 CPUtime=102.29 /proc/15176/stat : 15176 (wbo1.4b) R 15174 15176 13489 0 -1 4202496 107290 0 0 0 10188 41 0 0 25 0 1 0 133541242 439951360 106927 4089446400 134512640 135752675 4288802672 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/15176/statm: 107410 106927 144 303 0 107105 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 429640 [startup+162.301 s] /proc/loadavg: 2.00 2.02 2.00 3/177 15181 /proc/meminfo: memFree=29706296/32951132 swapFree=67111528/67111528 [pid=15176] ppid=15174 vsize=638864 CPUtime=162.29 /proc/15176/stat : 15176 (wbo1.4b) R 15174 15176 13489 0 -1 4202496 159555 0 0 0 16173 56 0 0 25 0 1 0 133541242 654196736 159192 4089446400 134512640 135752675 4288802672 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/15176/statm: 159716 159192 144 303 0 159411 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 638864 [startup+222.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 15183 /proc/meminfo: memFree=29487424/32951132 swapFree=67111528/67111528 [pid=15176] ppid=15174 vsize=754692 CPUtime=222.29 /proc/15176/stat : 15176 (wbo1.4b) R 15174 15176 13489 0 -1 4202496 188712 0 0 0 22161 68 0 0 25 0 1 0 133541242 772804608 188222 4089446400 134512640 135752675 4288802672 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/15176/statm: 188673 188222 146 303 0 188368 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 754692 [startup+282.301 s] /proc/loadavg: 2.05 2.02 2.00 3/177 15185 /proc/meminfo: memFree=29231464/32951132 swapFree=67111528/67111528 [pid=15176] ppid=15174 vsize=934336 CPUtime=282.3 /proc/15176/stat : 15176 (wbo1.4b) R 15174 15176 13489 0 -1 4202496 233607 0 0 0 28153 77 0 0 25 0 1 0 133541242 956760064 233117 4089446400 134512640 135752675 4288802672 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/15176/statm: 233584 233117 146 303 0 233279 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 934336 [startup+342.301 s] /proc/loadavg: 2.02 2.01 2.00 3/177 15188 /proc/meminfo: memFree=28985280/32951132 swapFree=67111528/67111528 [pid=15176] ppid=15174 vsize=1090092 CPUtime=342.3 /proc/15176/stat : 15176 (wbo1.4b) R 15174 15176 13489 0 -1 4202496 272553 0 0 0 34143 87 0 0 25 0 1 0 133541242 1116254208 272063 4089446400 134512640 135752675 4288802672 18446744073709551615 134611804 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/15176/statm: 272523 272063 146 303 0 272218 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 1090092 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 15190 /proc/meminfo: memFree=28804080/32951132 swapFree=67111528/67111528 [pid=15176] ppid=15174 vsize=1190648 CPUtime=402.29 /proc/15176/stat : 15176 (wbo1.4b) R 15174 15176 13489 0 -1 4202496 297628 0 0 0 40134 95 0 0 25 0 1 0 133541242 1219223552 297138 4089446400 134512640 135752675 4288802672 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15176/statm: 297662 297138 146 303 0 297357 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 1190648 [startup+462.301 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15192 /proc/meminfo: memFree=28569952/32951132 swapFree=67111528/67111528 [pid=15176] ppid=15174 vsize=1317560 CPUtime=462.3 /proc/15176/stat : 15176 (wbo1.4b) R 15174 15176 13489 0 -1 4202496 329346 0 0 0 46121 109 0 0 25 0 1 0 133541242 1349181440 328856 4089446400 134512640 135752675 4288802672 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15176/statm: 329390 328856 146 303 0 329085 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 1317560 [startup+522.301 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15194 /proc/meminfo: memFree=28371156/32951132 swapFree=67111528/67111528 [pid=15176] ppid=15174 vsize=1432960 CPUtime=522.29 /proc/15176/stat : 15176 (wbo1.4b) R 15174 15176 13489 0 -1 4202496 358143 0 0 0 52107 122 0 0 25 0 1 0 133541242 1467351040 357653 4089446400 134512640 135752675 4288802672 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/15176/statm: 358240 357653 146 303 0 357935 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 1432960 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15196 /proc/meminfo: memFree=28152028/32951132 swapFree=67111528/67111528 [pid=15176] ppid=15174 vsize=1560952 CPUtime=582.29 /proc/15176/stat : 15176 (wbo1.4b) R 15174 15176 13489 0 -1 4202496 390136 0 0 0 58094 135 0 0 25 0 1 0 133541242 1598414848 389646 4089446400 134512640 135752675 4288802672 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15176/statm: 390238 389646 146 303 0 389933 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 1560952 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15196 /proc/meminfo: memFree=27937604/32951132 swapFree=67111528/67111528 [pid=15176] ppid=15174 vsize=1695896 CPUtime=642.3 /proc/15176/stat : 15176 (wbo1.4b) R 15174 15176 13489 0 -1 4202496 423860 0 0 0 64084 146 0 0 25 0 1 0 133541242 1736597504 423370 4089446400 134512640 135752675 4288802672 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15176/statm: 423974 423370 146 303 0 423669 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 1695896 [startup+702.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15198 /proc/meminfo: memFree=27776876/32951132 swapFree=67111528/67111528 [pid=15176] ppid=15174 vsize=1837972 CPUtime=702.29 /proc/15176/stat : 15176 (wbo1.4b) R 15174 15176 13489 0 -1 4202496 459376 0 0 0 70069 160 0 0 25 0 1 0 133541242 1882083328 458886 4089446400 134512640 135752675 4288802672 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15176/statm: 459493 458886 146 303 0 459188 0 Current children cumulated CPU time (s) 702.29 Current children cumulated vsize (KiB) 1837972 [startup+762.306 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15200 /proc/meminfo: memFree=27567416/32951132 swapFree=67111528/67111528 [pid=15176] ppid=15174 vsize=2004476 CPUtime=762.3 /proc/15176/stat : 15176 (wbo1.4b) R 15174 15176 13489 0 -1 4202496 501000 0 0 0 76057 173 0 0 25 0 1 0 133541242 2052583424 500510 4089446400 134512640 135752675 4288802672 18446744073709551615 134607295 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15176/statm: 501153 500512 146 303 0 500848 0 Current children cumulated CPU time (s) 762.3 Current children cumulated vsize (KiB) 2004476 [startup+822.301 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15202 /proc/meminfo: memFree=27320516/32951132 swapFree=67111528/67111528 [pid=15176] ppid=15174 vsize=2196696 CPUtime=822.29 /proc/15176/stat : 15176 (wbo1.4b) R 15174 15176 13489 0 -1 4202496 549020 0 0 0 82042 187 0 0 25 0 1 0 133541242 2249416704 548530 4089446400 134512640 135752675 4288802672 18446744073709551615 134607289 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15176/statm: 549174 548530 146 303 0 548869 0 Current children cumulated CPU time (s) 822.29 Current children cumulated vsize (KiB) 2196696 [startup+882.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 15204 /proc/meminfo: memFree=27061340/32951132 swapFree=67111528/67111528 [pid=15176] ppid=15174 vsize=2400216 CPUtime=882.3 /proc/15176/stat : 15176 (wbo1.4b) R 15174 15176 13489 0 -1 4202496 599865 0 0 0 88029 201 0 0 25 0 1 0 133541242 2457821184 599375 4089446400 134512640 135752675 4288802672 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15176/statm: 600054 599375 146 303 0 599749 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 2400216 [startup+942.301 s] /proc/loadavg: 1.93 1.98 1.99 3/177 15232 /proc/meminfo: memFree=28979680/32951132 swapFree=67111528/67111528 [pid=15176] ppid=15174 vsize=2520720 CPUtime=942.29 /proc/15176/stat : 15176 (wbo1.4b) R 15174 15176 13489 0 -1 4202496 629987 0 0 0 94017 212 0 0 25 0 1 0 133541242 2581217280 629497 4089446400 134512640 135752675 4288802672 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15176/statm: 630180 629497 146 303 0 629875 0 Current children cumulated CPU time (s) 942.29 Current children cumulated vsize (KiB) 2520720 [startup+1002.3 s] /proc/loadavg: 1.98 1.98 1.99 4/198 15329 /proc/meminfo: memFree=28697740/32951132 swapFree=67111528/67111528 [pid=15176] ppid=15174 vsize=2674096 CPUtime=1002.29 /proc/15176/stat : 15176 (wbo1.4b) R 15174 15176 13489 0 -1 4202496 668330 0 0 0 100008 221 0 0 25 0 1 0 133541242 2738274304 667840 4089446400 134512640 135752675 4288802672 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15176/statm: 668524 667840 146 303 0 668219 0 Current children cumulated CPU time (s) 1002.29 Current children cumulated vsize (KiB) 2674096 [startup+1062.3 s] /proc/loadavg: 2.29 2.06 2.02 4/198 15363 /proc/meminfo: memFree=28500656/32951132 swapFree=67111528/67111528 [pid=15176] ppid=15174 vsize=2813100 CPUtime=1062.29 /proc/15176/stat : 15176 (wbo1.4b) R 15174 15176 13489 0 -1 4202496 703066 0 0 0 105996 233 0 0 25 0 1 0 133541242 2880614400 702576 4089446400 134512640 135752675 4288802672 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15176/statm: 703275 702576 146 303 0 702970 0 Current children cumulated CPU time (s) 1062.29 Current children cumulated vsize (KiB) 2813100 [startup+1122.3 s] /proc/loadavg: 2.17 2.08 2.02 3/195 15484 /proc/meminfo: memFree=28516800/32951132 swapFree=67111528/67111528 [pid=15176] ppid=15174 vsize=2978012 CPUtime=1122.28 /proc/15176/stat : 15176 (wbo1.4b) R 15174 15176 13489 0 -1 4202496 744269 0 0 0 111981 247 0 0 25 0 1 0 133541242 3049484288 743779 4089446400 134512640 135752675 4288802672 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/15176/statm: 744503 743779 146 303 0 744198 0 Current children cumulated CPU time (s) 1122.28 Current children cumulated vsize (KiB) 2978012 [startup+1182.3 s] /proc/loadavg: 2.06 2.06 2.02 3/195 15559 /proc/meminfo: memFree=28196520/32951132 swapFree=67111528/67111528 [pid=15176] ppid=15174 vsize=3137096 CPUtime=1182.28 /proc/15176/stat : 15176 (wbo1.4b) R 15174 15176 13489 0 -1 4202496 784028 0 0 0 117971 257 0 0 25 0 1 0 133541242 3212386304 783538 4089446400 134512640 135752675 4288802672 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/15176/statm: 784274 783538 146 303 0 783969 0 Current children cumulated CPU time (s) 1182.28 Current children cumulated vsize (KiB) 3137096 [startup+1242.3 s] /proc/loadavg: 2.02 2.05 2.01 3/195 15559 /proc/meminfo: memFree=28041156/32951132 swapFree=67111528/67111528 [pid=15176] ppid=15174 vsize=3282488 CPUtime=1242.27 /proc/15176/stat : 15176 (wbo1.4b) R 15174 15176 13489 0 -1 4202496 820362 0 0 0 123964 263 0 0 25 0 1 0 133541242 3361267712 819872 4089446400 134512640 135752675 4288802672 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15176/statm: 820622 819872 146 303 0 820317 0 Current children cumulated CPU time (s) 1242.27 Current children cumulated vsize (KiB) 3282488 [startup+1302.3 s] /proc/loadavg: 2.01 2.04 2.01 3/195 15561 /proc/meminfo: memFree=27900516/32951132 swapFree=67111528/67111528 [pid=15176] ppid=15174 vsize=3421552 CPUtime=1302.28 /proc/15176/stat : 15176 (wbo1.4b) R 15174 15176 13489 0 -1 4202496 855126 0 0 0 129959 269 0 0 25 0 1 0 133541242 3503669248 854636 4089446400 134512640 135752675 4288802672 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15176/statm: 855388 854636 146 303 0 855083 0 Current children cumulated CPU time (s) 1302.28 Current children cumulated vsize (KiB) 3421552 [startup+1362.3 s] /proc/loadavg: 2.00 2.03 2.00 3/195 15563 /proc/meminfo: memFree=27783932/32951132 swapFree=67111528/67111528 [pid=15176] ppid=15174 vsize=3538392 CPUtime=1362.27 /proc/15176/stat : 15176 (wbo1.4b) R 15174 15176 13489 0 -1 4202496 884302 0 0 0 135951 276 0 0 25 0 1 0 133541242 3623313408 883812 4089446400 134512640 135752675 4288802672 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15176/statm: 884598 883812 146 303 0 884293 0 Current children cumulated CPU time (s) 1362.27 Current children cumulated vsize (KiB) 3538392 [startup+1422.31 s] /proc/loadavg: 2.00 2.02 2.00 3/195 15565 /proc/meminfo: memFree=27626800/32951132 swapFree=67111528/67111528 [pid=15176] ppid=15174 vsize=3688952 CPUtime=1422.27 /proc/15176/stat : 15176 (wbo1.4b) R 15174 15176 13489 0 -1 4202496 921932 0 0 0 141943 284 0 0 25 0 1 0 133541242 3777486848 921442 4089446400 134512640 135752675 4288802672 18446744073709551615 134611753 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15176/statm: 922238 921442 146 303 0 921933 0 Current children cumulated CPU time (s) 1422.27 Current children cumulated vsize (KiB) 3688952 [startup+1482.3 s] /proc/loadavg: 2.03 2.03 2.00 3/195 15567 /proc/meminfo: memFree=27464960/32951132 swapFree=67111528/67111528 [pid=15176] ppid=15174 vsize=3848480 CPUtime=1482.27 /proc/15176/stat : 15176 (wbo1.4b) R 15174 15176 13489 0 -1 4202496 961814 0 0 0 147933 294 0 0 25 0 1 0 133541242 3940843520 961324 4089446400 134512640 135752675 4288802672 18446744073709551615 134611647 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15176/statm: 962120 961324 146 303 0 961815 0 Current children cumulated CPU time (s) 1482.27 Current children cumulated vsize (KiB) 3848480 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1496.9 s] /proc/loadavg: 2.02 2.03 2.00 4/195 15567 /proc/meminfo: memFree=27419692/32951132 swapFree=67111528/67111528 [pid=15176] ppid=15174 vsize=3891356 CPUtime=1496.87 /proc/15176/stat : 15176 (wbo1.4b) R 15174 15176 13489 0 -1 4202496 972530 0 0 0 149391 296 0 0 25 0 1 0 133541242 3984748544 972040 4089446400 134512640 135752675 4288802672 18446744073709551615 134607306 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/15176/statm: 972839 972040 146 303 0 972534 0 Current children cumulated CPU time (s) 1496.87 Current children cumulated vsize (KiB) 3891356 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1497.01 s] /proc/loadavg: 2.02 2.03 2.00 3/196 15568 /proc/meminfo: memFree=30148924/32951132 swapFree=67111528/67111528 [pid=15176] ppid=15174 vsize=0 CPUtime=1496.98 /proc/15176/stat : 15176 (wbo1.4b) R 15174 15176 13489 0 -1 4203524 972530 0 0 0 149391 307 0 0 25 0 1 0 133541242 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 0 0 0 0 /proc/15176/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1496.98 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1497.05 CPU time (s): 1497.03 CPU user time (s): 1493.91 CPU system time (s): 3.11353 CPU usage (%): 99.9984 Max. virtual memory (cumulated for all children) (KiB): 3891356 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1493.91 system time used= 3.11353 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 972530 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= 5 involuntary context switches= 8363 runsolver used 1.9907 second user time and 4.83726 second system time The end
Begin job on node128 at 2010-06-30 20:27:29 IDJOB=2690672 IDBENCH=79185 IDSOLVER=1201 FILE ID=node128/2690672-1277922449 PBS_JOBID= 11197276 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-91-90--soft-0-100-0.wbo COMMAND LINE= wbo1.4b -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690672-1277922449/watcher-2690672-1277922449 -o /tmp/evaluation-result-2690672-1277922449/solver-2690672-1277922449 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690672-1277922449.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= dd3ef6bbe4855ee6a3bf373100fffb0f RANDOM SEED=1539752333 node128.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.853 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.70 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.853 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.853 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.83 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.853 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.74 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.853 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.82 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.853 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.853 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.853 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: 32951132 kB MemFree: 30595232 kB Buffers: 207060 kB Cached: 1014448 kB SwapCached: 0 kB Active: 1409788 kB Inactive: 802956 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 30595232 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2732 kB Writeback: 0 kB AnonPages: 991448 kB Mapped: 15308 kB Slab: 78396 kB PageTables: 6220 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 1138576 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74208 MiB End job on node128 at 2010-06-30 20:52:28