Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | ? (MO) | 1249.88 | 1249.84 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-101-100--soft-0-100-0.wbo |
MD5SUM | 0a60736b8b79adacf122a04a37158c9c |
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.529919 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 10100 |
Total number of constraints | 201 |
Number of soft constraints | 201 |
Number of constraints which are clauses | 101 |
Number of constraints which are cardinality constraints (but not clauses) | 100 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 100 |
Maximum length of a constraint | 101 |
Top cost | 9959 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 9958 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 102 |
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-2690026-1277922251.wbo. 0.00/0.00 c Instance file HOME/instance-2690026-1277922251.wbo 0.00/0.00 c File size is 182545 bytes. 0.00/0.01 c Highest Coefficient sum: 102 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: 10100 | 0.00/0.01 c | Number Clauses: 101 | 0.00/0.01 c | Number Cardinality: 100 | 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 | 10100 201 20200 | 5000 0 nan | 0.000 % | 0.00/0.02 c | 103 | 10100 201 20200 | 5500 103 390 | 0.000 % | 0.04/0.05 c | 254 | 10100 201 20200 | 6050 254 592 | 0.000 % | 0.09/0.12 c | 479 | 10100 201 20200 | 6655 479 1097 | 0.000 % | 0.09/0.17 c | 816 | 10100 201 20200 | 7320 816 935 | 0.000 % | 0.19/0.25 c | 1324 | 10100 201 20200 | 8052 1324 752 | 0.000 % | 0.29/0.35 c | 2083 | 10100 201 20200 | 8857 2083 641 | 0.000 % | 0.59/0.60 c | 3222 | 10100 201 20200 | 9743 3222 578 | 0.000 % | 1.00/1.02 c | 4931 | 10100 201 20200 | 10717 4931 561 | 0.000 % | 2.09/2.15 c | 7493 | 10100 201 20200 | 11789 7493 560 | 0.000 % | 4.69/4.79 c | 11337 | 10100 201 20200 | 12968 11337 605 | 0.000 % | 8.19/8.25 c | 17104 | 10100 201 20200 | 14265 17104 602 | 0.000 % | 13.89/13.95 c | 25754 | 10100 201 20200 | 15692 17202 614 | 0.000 % | 25.69/25.78 c | 38729 | 10100 201 20200 | 17261 21576 1447 | 0.000 % | 53.99/54.03 c | 58193 | 10100 201 20200 | 18987 14895 1728 | 0.000 % | 101.10/101.14 c | 87388 | 10100 201 20200 | 20886 26725 2455 | 0.000 % | 165.79/165.89 c | 131177 | 10100 201 20200 | 22974 21098 1367 | 0.000 % | 325.90/325.97 c | 196862 | 10100 201 20200 | 25272 25843 2198 | 0.000 % | 794.92/794.94 c | 295389 | 10100 201 20200 | 27799 26047 2733 | 0.000 % | 1204.73/1204.74 c | 443180 | 10100 201 20200 | 30579 30222 1969 | 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-2690026-1277922251/watcher-2690026-1277922251 -o /tmp/evaluation-result-2690026-1277922251/solver-2690026-1277922251 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690026-1277922251.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 14425 /proc/meminfo: memFree=31599872/32950928 swapFree=67111528/67111528 [pid=14425] ppid=14423 vsize=3860 CPUtime=0 /proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 517 0 0 0 0 0 0 0 25 0 1 0 133370798 3952640 436 4089446400 134512640 135751879 4289739792 18446744073709551615 135203996 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14425/statm: 965 436 142 303 0 615 0 [startup+0.05192 s] /proc/loadavg: 2.00 2.00 2.00 4/196 14425 /proc/meminfo: memFree=31599872/32950928 swapFree=67111528/67111528 [pid=14425] ppid=14423 vsize=5440 CPUtime=0.04 /proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 995 0 0 0 4 0 0 0 25 0 1 0 133370798 5570560 869 4089446400 134512640 135751879 4289739792 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14425/statm: 1360 869 143 303 0 1055 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 5440 [startup+0.100911 s] /proc/loadavg: 2.00 2.00 2.00 4/196 14425 /proc/meminfo: memFree=31599872/32950928 swapFree=67111528/67111528 [pid=14425] ppid=14423 vsize=6652 CPUtime=0.09 /proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 1283 0 0 0 8 1 0 0 25 0 1 0 133370798 6811648 1157 4089446400 134512640 135751879 4289739792 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14425/statm: 1663 1158 143 303 0 1358 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6652 [startup+0.300874 s] /proc/loadavg: 2.00 2.00 2.00 4/196 14425 /proc/meminfo: memFree=31599872/32950928 swapFree=67111528/67111528 [pid=14425] ppid=14423 vsize=9956 CPUtime=0.29 /proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 2124 0 0 0 27 2 0 0 25 0 1 0 133370798 10194944 1998 4089446400 134512640 135751879 4289739792 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14425/statm: 2489 1998 143 303 0 2184 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9956 [startup+0.700794 s] /proc/loadavg: 2.00 2.00 2.00 4/196 14425 /proc/meminfo: memFree=31599872/32950928 swapFree=67111528/67111528 [pid=14425] ppid=14423 vsize=14180 CPUtime=0.69 /proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 3179 0 0 0 66 3 0 0 25 0 1 0 133370798 14520320 3053 4089446400 134512640 135751879 4289739792 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14425/statm: 3545 3053 143 303 0 3240 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14180 [startup+1.50064 s] /proc/loadavg: 2.00 2.00 2.00 3/197 14426 /proc/meminfo: memFree=31585728/32950928 swapFree=67111528/67111528 [pid=14425] ppid=14423 vsize=20120 CPUtime=1.49 /proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 4667 0 0 0 146 3 0 0 25 0 1 0 133370798 20602880 4541 4089446400 134512640 135751879 4289739792 18446744073709551615 134607817 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14425/statm: 5030 4541 143 303 0 4725 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20120 [startup+3.1004 s] /proc/loadavg: 2.00 2.00 2.00 3/197 14427 /proc/meminfo: memFree=31579280/32950928 swapFree=67111528/67111528 [pid=14425] ppid=14423 vsize=29128 CPUtime=3.09 /proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 6901 0 0 0 305 4 0 0 25 0 1 0 133370798 29827072 6775 4089446400 134512640 135751879 4289739792 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14425/statm: 7282 6775 143 303 0 6977 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 29128 [startup+6.30072 s] /proc/loadavg: 2.00 2.00 2.00 3/197 14427 /proc/meminfo: memFree=31563292/32950928 swapFree=67111528/67111528 [pid=14425] ppid=14423 vsize=41972 CPUtime=6.29 /proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 10127 0 0 0 625 4 0 0 25 0 1 0 133370798 42979328 10001 4089446400 134512640 135751879 4289739792 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14425/statm: 10493 10001 143 303 0 10188 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 41972 [startup+12.7005 s] /proc/loadavg: 2.00 2.00 2.00 3/197 14427 /proc/meminfo: memFree=31535632/32950928 swapFree=67111528/67111528 [pid=14425] ppid=14423 vsize=68244 CPUtime=12.69 /proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 16680 0 0 0 1262 7 0 0 25 0 1 0 133370798 69881856 16554 4089446400 134512640 135751879 4289739792 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/14425/statm: 17061 16554 143 303 0 16756 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 68244 [startup+25.5011 s] /proc/loadavg: 2.00 2.00 2.00 3/197 14427 /proc/meminfo: memFree=31428556/32950928 swapFree=67111528/67111528 [pid=14425] ppid=14423 vsize=174228 CPUtime=25.49 /proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 43181 0 0 0 2537 12 0 0 25 0 1 0 133370798 178409472 43055 4089446400 134512640 135751879 4289739792 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/14425/statm: 43557 43055 143 303 0 43252 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 174228 [startup+51.1002 s] /proc/loadavg: 2.00 2.00 2.00 3/197 14428 /proc/meminfo: memFree=31309300/32950928 swapFree=67111528/67111528 [pid=14425] ppid=14423 vsize=293560 CPUtime=51.09 /proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 73000 0 0 0 5091 18 0 0 25 0 1 0 133370798 300605440 72874 4089446400 134512640 135751879 4289739792 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/14425/statm: 73390 72874 143 303 0 73085 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 293560 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/197 14429 /proc/meminfo: memFree=30994904/32950928 swapFree=67111528/67111528 [pid=14425] ppid=14423 vsize=604796 CPUtime=102.3 /proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 150812 0 0 0 10198 32 0 0 25 0 1 0 133370798 619311104 150686 4089446400 134512640 135751879 4289739792 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/14425/statm: 151199 150686 143 303 0 150894 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 604796 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 14431 /proc/meminfo: memFree=30754304/32950928 swapFree=67111528/67111528 [pid=14425] ppid=14423 vsize=846488 CPUtime=162.29 /proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 211202 0 0 0 16182 47 0 0 25 0 1 0 133370798 866803712 211076 4089446400 134512640 135751879 4289739792 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/14425/statm: 211622 211076 143 303 0 211317 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 846488 [startup+222.3 s] /proc/loadavg: 2.04 2.01 2.00 3/197 14432 /proc/meminfo: memFree=30498328/32950928 swapFree=67111528/67111528 [pid=14425] ppid=14423 vsize=1099940 CPUtime=222.3 /proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 274552 0 0 0 22170 60 0 0 25 0 1 0 133370798 1126338560 274426 4089446400 134512640 135751879 4289739792 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/14425/statm: 274985 274426 143 303 0 274680 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 1099940 [startup+282.301 s] /proc/loadavg: 1.96 1.99 1.99 3/179 14464 /proc/meminfo: memFree=30398036/32950928 swapFree=67111528/67111528 [pid=14425] ppid=14423 vsize=1315420 CPUtime=282.3 /proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 328426 0 0 0 28158 72 0 0 25 0 1 0 133370798 1346990080 328300 4089446400 134512640 135751879 4289739792 18446744073709551615 134616503 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14425/statm: 328855 328300 143 303 0 328550 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 1315420 [startup+342.3 s] /proc/loadavg: 1.98 1.99 1.99 3/179 14465 /proc/meminfo: memFree=30011836/32950928 swapFree=67111528/67111528 [pid=14425] ppid=14423 vsize=1495192 CPUtime=342.3 /proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 373356 0 0 0 34147 83 0 0 25 0 1 0 133370798 1531076608 373230 4089446400 134512640 135751879 4289739792 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14425/statm: 373798 373230 143 303 0 373493 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 1495192 [startup+402.301 s] /proc/loadavg: 1.99 1.99 1.99 3/179 14467 /proc/meminfo: memFree=29678368/32950928 swapFree=67111528/67111528 [pid=14425] ppid=14423 vsize=1633896 CPUtime=402.3 /proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 407998 0 0 0 40139 91 0 0 25 0 1 0 133370798 1673109504 407872 4089446400 134512640 135751879 4289739792 18446744073709551615 134616540 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14425/statm: 408474 407872 143 303 0 408169 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 1633896 [startup+462.3 s] /proc/loadavg: 1.99 1.99 1.99 3/179 14469 /proc/meminfo: memFree=29425496/32950928 swapFree=67111528/67111528 [pid=14425] ppid=14423 vsize=1777664 CPUtime=462.3 /proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 443940 0 0 0 46132 98 0 0 25 0 1 0 133370798 1820327936 443814 4089446400 134512640 135751879 4289739792 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14425/statm: 444416 443814 143 303 0 444111 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 1777664 [startup+522.301 s] /proc/loadavg: 1.99 1.99 1.99 3/179 14470 /proc/meminfo: memFree=29155372/32950928 swapFree=67111528/67111528 [pid=14425] ppid=14423 vsize=1972820 CPUtime=522.3 /proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 492732 0 0 0 52121 109 0 0 25 0 1 0 133370798 2020167680 492606 4089446400 134512640 135751879 4289739792 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14425/statm: 493205 492606 143 303 0 492900 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 1972820 [startup+582.3 s] /proc/loadavg: 1.99 1.99 1.99 3/179 14472 /proc/meminfo: memFree=28868888/32950928 swapFree=67111528/67111528 [pid=14425] ppid=14423 vsize=2090648 CPUtime=582.31 /proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 522150 0 0 0 58113 118 0 0 25 0 1 0 133370798 2140823552 522024 4089446400 134512640 135751879 4289739792 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14425/statm: 522662 522024 143 303 0 522357 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 2090648 [startup+642.301 s] /proc/loadavg: 1.99 1.99 1.99 3/179 14473 /proc/meminfo: memFree=28572232/32950928 swapFree=67111528/67111528 [pid=14425] ppid=14423 vsize=2239088 CPUtime=642.31 /proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 559264 0 0 0 64106 125 0 0 25 0 1 0 133370798 2292826112 559138 4089446400 134512640 135751879 4289739792 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14425/statm: 559772 559138 143 303 0 559467 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 2239088 [startup+702.3 s] /proc/loadavg: 1.99 1.99 1.99 3/179 14475 /proc/meminfo: memFree=28332000/32950928 swapFree=67111528/67111528 [pid=14425] ppid=14423 vsize=2334948 CPUtime=702.31 /proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 583225 0 0 0 70099 132 0 0 25 0 1 0 133370798 2390986752 583099 4089446400 134512640 135751879 4289739792 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14425/statm: 583737 583099 143 303 0 583432 0 Current children cumulated CPU time (s) 702.31 Current children cumulated vsize (KiB) 2334948 [startup+762.307 s] /proc/loadavg: 1.99 1.99 1.99 3/179 14477 /proc/meminfo: memFree=28097964/32950928 swapFree=67111528/67111528 [pid=14425] ppid=14423 vsize=2424784 CPUtime=762.32 /proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 605678 0 0 0 76094 138 0 0 25 0 1 0 133370798 2482978816 605552 4089446400 134512640 135751879 4289739792 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14425/statm: 606196 605552 143 303 0 605891 0 Current children cumulated CPU time (s) 762.32 Current children cumulated vsize (KiB) 2424784 [startup+822.301 s] /proc/loadavg: 2.03 2.00 2.00 3/179 14478 /proc/meminfo: memFree=27745876/32950928 swapFree=67111528/67111528 [pid=14425] ppid=14423 vsize=2635068 CPUtime=822.32 /proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 658223 0 0 0 82084 148 0 0 25 0 1 0 133370798 2698309632 658097 4089446400 134512640 135751879 4289739792 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14425/statm: 658767 658097 143 303 0 658462 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 2635068 [startup+882.301 s] /proc/loadavg: 2.01 2.00 2.00 3/179 14480 /proc/meminfo: memFree=27430984/32950928 swapFree=67111528/67111528 [pid=14425] ppid=14423 vsize=2794332 CPUtime=882.32 /proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 698014 0 0 0 88076 156 0 0 25 0 1 0 133370798 2861395968 697888 4089446400 134512640 135751879 4289739792 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14425/statm: 698583 697888 143 303 0 698278 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 2794332 [startup+942.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14481 /proc/meminfo: memFree=27109280/32950928 swapFree=67111528/67111528 [pid=14425] ppid=14423 vsize=2987696 CPUtime=942.32 /proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 746337 0 0 0 94064 168 0 0 25 0 1 0 133370798 3059400704 746211 4089446400 134512640 135751879 4289739792 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14425/statm: 746924 746211 143 303 0 746619 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 2987696 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14483 /proc/meminfo: memFree=26823164/32950928 swapFree=67111528/67111528 [pid=14425] ppid=14423 vsize=3121028 CPUtime=1002.33 /proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 779656 0 0 0 100057 176 0 0 25 0 1 0 133370798 3195932672 779530 4089446400 134512640 135751879 4289739792 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14425/statm: 780257 779530 143 303 0 779952 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 3121028 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14485 /proc/meminfo: memFree=26469464/32950928 swapFree=67111528/67111528 [pid=14425] ppid=14423 vsize=3313456 CPUtime=1062.33 /proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 827776 0 0 0 106045 188 0 0 25 0 1 0 133370798 3392978944 827650 4089446400 134512640 135751879 4289739792 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14425/statm: 828364 827650 143 303 0 828059 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 3313456 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14486 /proc/meminfo: memFree=26115768/32950928 swapFree=67111528/67111528 [pid=14425] ppid=14423 vsize=3517160 CPUtime=1122.33 /proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 878692 0 0 0 112033 200 0 0 25 0 1 0 133370798 3601571840 878566 4089446400 134512640 135751879 4289739792 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14425/statm: 879290 878566 143 303 0 878985 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 3517160 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14488 /proc/meminfo: memFree=25871204/32950928 swapFree=67111528/67111528 [pid=14425] ppid=14423 vsize=3657240 CPUtime=1182.33 /proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 913693 0 0 0 118024 209 0 0 25 0 1 0 133370798 3745013760 913567 4089446400 134512640 135751879 4289739792 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14425/statm: 914310 913567 143 303 0 914005 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 3657240 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14489 /proc/meminfo: memFree=25503728/32950928 swapFree=67111528/67111528 [pid=14425] ppid=14423 vsize=3878304 CPUtime=1242.34 /proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 968974 0 0 0 124011 223 0 0 25 0 1 0 133370798 3971383296 968848 4089446400 134512640 135751879 4289739792 18446744073709551615 134616489 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14425/statm: 969576 968848 143 303 0 969271 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 3878304 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1249.7 s] /proc/loadavg: 2.08 2.02 2.01 3/179 14490 /proc/meminfo: memFree=25475576/32950928 swapFree=67111528/67111528 [pid=14425] ppid=14423 vsize=3891260 CPUtime=1249.74 /proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4202496 972200 0 0 0 124750 224 0 0 25 0 1 0 133370798 3984650240 972074 4089446400 134512640 135751879 4289739792 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/14425/statm: 972815 972074 143 303 0 972510 0 Current children cumulated CPU time (s) 1249.74 Current children cumulated vsize (KiB) 3891260 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1249.81 s] /proc/loadavg: 2.08 2.02 2.01 3/179 14490 /proc/meminfo: memFree=25475576/32950928 swapFree=67111528/67111528 [pid=14425] ppid=14423 vsize=0 CPUtime=1249.84 /proc/14425/stat : 14425 (wbo1.4a) R 14423 14425 12716 0 -1 4203524 972200 0 0 0 124750 234 0 0 25 0 1 0 133370798 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 7 0 0 0 /proc/14425/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1249.84 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1249.84 CPU time (s): 1249.88 CPU user time (s): 1247.51 CPU system time (s): 2.37664 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 3891260 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1247.51 system time used= 2.37664 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 972200 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= 804 runsolver used 2.16567 second user time and 4.14237 second system time The end
Begin job on node127 at 2010-06-30 20:24:12 IDJOB=2690026 IDBENCH=79182 IDSOLVER=1200 FILE ID=node127/2690026-1277922251 PBS_JOBID= 11197273 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-101-100--soft-0-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690026-1277922251/watcher-2690026-1277922251 -o /tmp/evaluation-result-2690026-1277922251/solver-2690026-1277922251 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690026-1277922251.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0a60736b8b79adacf122a04a37158c9c RANDOM SEED=822276295 node127.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.828 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.65 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.828 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.828 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.828 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.72 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.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 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.828 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.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31600400 kB Buffers: 208676 kB Cached: 715056 kB SwapCached: 0 kB Active: 699720 kB Inactive: 509664 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31600400 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2780 kB Writeback: 0 kB AnonPages: 285700 kB Mapped: 20268 kB Slab: 77992 kB PageTables: 5700 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1642564 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= 74200 MiB End job on node127 at 2010-06-30 20:45:03