Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | ? (MO) | 1431.29 | 1431.23 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-65-60--soft-0-100-0.wbo |
MD5SUM | 2e8bafba6181eaf32525647669a5fbcc |
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.116981 |
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 | 125 |
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 | 6098 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 6097 |
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 - 20100517 0.00/0.00 c Parsing wbo file format. File HOME/instance-2690034-1277922472.wbo. 0.00/0.00 c Instance file HOME/instance-2690034-1277922472.wbo 0.00/0.00 c File size is 69797 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.04 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.10/0.12 c | 1320 | 3900 125 7800 | 8052 1320 386 | 0.000 % | 0.19/0.23 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.74 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.60 c | 11337 | 3900 125 7800 | 12968 11337 413 | 0.000 % | 5.30/5.36 c | 17108 | 3900 125 7800 | 14265 8722 457 | 0.000 % | 9.59/9.63 c | 25758 | 3900 125 7800 | 15692 17372 410 | 0.000 % | 17.49/17.56 c | 38733 | 3900 125 7800 | 17261 11913 614 | 0.000 % | 39.40/39.47 c | 58194 | 3900 125 7800 | 18987 20857 854 | 0.000 % | 60.19/60.29 c | 87387 | 3900 125 7800 | 20886 17056 605 | 0.000 % | 112.50/112.56 c | 131176 | 3900 125 7800 | 22974 23353 1082 | 0.000 % | 197.20/197.25 c | 196861 | 3900 125 7800 | 25272 20296 992 | 0.000 % | 311.00/311.06 c | 295387 | 3900 125 7800 | 27799 22184 931 | 0.000 % | 543.01/543.06 c | 443176 | 3900 125 7800 | 30579 25375 1104 | 0.000 % | 876.22/876.20 c | 664862 | 3900 125 7800 | 33637 19106 868 | 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-2690034-1277922472/watcher-2690034-1277922472 -o /tmp/evaluation-result-2690034-1277922472/solver-2690034-1277922472 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690034-1277922472.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: 1.95 1.99 1.99 4/178 26597 /proc/meminfo: memFree=28036316/32950928 swapFree=67111528/67111528 [pid=26597] ppid=26595 vsize=3172 CPUtime=0 /proc/26597/stat : 26597 (wbo1.4a) R 26595 26597 24945 0 -1 4202496 428 0 0 0 0 0 0 0 25 0 1 0 167850325 3248128 347 4089446400 134512640 135751879 4291315456 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/26597/statm: 793 348 145 303 0 470 0 [startup+0.106349 s] /proc/loadavg: 1.95 1.99 1.99 4/178 26597 /proc/meminfo: memFree=28036316/32950928 swapFree=67111528/67111528 [pid=26597] ppid=26595 vsize=5384 CPUtime=0.1 /proc/26597/stat : 26597 (wbo1.4a) R 26595 26597 24945 0 -1 4202496 1004 0 0 0 10 0 0 0 25 0 1 0 167850325 5513216 905 4089446400 134512640 135751879 4291315456 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/26597/statm: 1346 905 143 303 0 1041 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 5384 [startup+0.200336 s] /proc/loadavg: 1.95 1.99 1.99 4/178 26597 /proc/meminfo: memFree=28036316/32950928 swapFree=67111528/67111528 [pid=26597] ppid=26595 vsize=6704 CPUtime=0.19 /proc/26597/stat : 26597 (wbo1.4a) R 26595 26597 24945 0 -1 4202496 1349 0 0 0 19 0 0 0 25 0 1 0 167850325 6864896 1250 4089446400 134512640 135751879 4291315456 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/26597/statm: 1676 1251 143 303 0 1371 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 6704 [startup+0.300311 s] /proc/loadavg: 1.95 1.99 1.99 4/178 26597 /proc/meminfo: memFree=28036316/32950928 swapFree=67111528/67111528 [pid=26597] ppid=26595 vsize=8024 CPUtime=0.29 /proc/26597/stat : 26597 (wbo1.4a) R 26595 26597 24945 0 -1 4202496 1676 0 0 0 29 0 0 0 25 0 1 0 167850325 8216576 1577 4089446400 134512640 135751879 4291315456 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/26597/statm: 2006 1577 143 303 0 1701 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8024 [startup+0.700237 s] /proc/loadavg: 1.95 1.99 1.99 4/178 26597 /proc/meminfo: memFree=28036316/32950928 swapFree=67111528/67111528 [pid=26597] ppid=26595 vsize=11720 CPUtime=0.69 /proc/26597/stat : 26597 (wbo1.4a) R 26595 26597 24945 0 -1 4202496 2578 0 0 0 69 0 0 0 25 0 1 0 167850325 12001280 2479 4089446400 134512640 135751879 4291315456 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/26597/statm: 2930 2479 143 303 0 2625 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11720 [startup+1.50109 s] /proc/loadavg: 1.95 1.99 1.99 3/179 26598 /proc/meminfo: memFree=28021924/32950928 swapFree=67111528/67111528 [pid=26597] ppid=26595 vsize=18716 CPUtime=1.49 /proc/26597/stat : 26597 (wbo1.4a) R 26595 26597 24945 0 -1 4202496 4332 0 0 0 148 1 0 0 25 0 1 0 167850325 19165184 4233 4089446400 134512640 135751879 4291315456 18446744073709551615 134616778 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/26597/statm: 4679 4233 143 303 0 4374 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18716 [startup+3.10078 s] /proc/loadavg: 1.95 1.99 1.99 3/179 26598 /proc/meminfo: memFree=28013496/32950928 swapFree=67111528/67111528 [pid=26597] ppid=26595 vsize=28244 CPUtime=3.09 /proc/26597/stat : 26597 (wbo1.4a) R 26595 26597 24945 0 -1 4202496 6711 0 0 0 307 2 0 0 25 0 1 0 167850325 28921856 6612 4089446400 134512640 135751879 4291315456 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/26597/statm: 7061 6613 143 303 0 6756 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 28244 [startup+6.30119 s] /proc/loadavg: 1.95 1.99 1.99 3/179 26598 /proc/meminfo: memFree=27992636/32950928 swapFree=67111528/67111528 [pid=26597] ppid=26595 vsize=42108 CPUtime=6.29 /proc/26597/stat : 26597 (wbo1.4a) R 26595 26597 24945 0 -1 4202496 10173 0 0 0 626 3 0 0 25 0 1 0 167850325 43118592 10074 4089446400 134512640 135751879 4291315456 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/26597/statm: 10527 10074 143 303 0 10222 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 42108 [startup+12.701 s] /proc/loadavg: 1.96 1.99 1.99 3/179 26598 /proc/meminfo: memFree=27947704/32950928 swapFree=67111528/67111528 [pid=26597] ppid=26595 vsize=70236 CPUtime=12.69 /proc/26597/stat : 26597 (wbo1.4a) R 26595 26597 24945 0 -1 4202496 17223 0 0 0 1264 5 0 0 25 0 1 0 167850325 71921664 17124 4089446400 134512640 135751879 4291315456 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/26597/statm: 17559 17124 143 303 0 17254 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 70236 [startup+25.5005 s] /proc/loadavg: 1.97 1.99 1.99 3/179 26598 /proc/meminfo: memFree=27850748/32950928 swapFree=67111528/67111528 [pid=26597] ppid=26595 vsize=126180 CPUtime=25.49 /proc/26597/stat : 26597 (wbo1.4a) R 26595 26597 24945 0 -1 4202496 31218 0 0 0 2540 9 0 0 25 0 1 0 167850325 129208320 31119 4089446400 134512640 135751879 4291315456 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/26597/statm: 31545 31119 143 303 0 31240 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 126180 [startup+51.1007 s] /proc/loadavg: 1.98 1.99 1.99 3/179 26599 /proc/meminfo: memFree=27728524/32950928 swapFree=67111528/67111528 [pid=26597] ppid=26595 vsize=209448 CPUtime=51.1 /proc/26597/stat : 26597 (wbo1.4a) R 26595 26597 24945 0 -1 4202496 52017 0 0 0 5095 15 0 0 25 0 1 0 167850325 214474752 51918 4089446400 134512640 135751879 4291315456 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/26597/statm: 52362 51918 143 303 0 52057 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 209448 [startup+102.301 s] /proc/loadavg: 1.99 1.99 1.99 3/179 26600 /proc/meminfo: memFree=27411184/32950928 swapFree=67111528/67111528 [pid=26597] ppid=26595 vsize=400204 CPUtime=102.3 /proc/26597/stat : 26597 (wbo1.4a) R 26595 26597 24945 0 -1 4202496 99691 0 0 0 10201 29 0 0 25 0 1 0 167850325 409808896 99592 4089446400 134512640 135751879 4291315456 18446744073709551615 134610818 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/26597/statm: 100051 99592 143 303 0 99746 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 400204 [startup+162.3 s] /proc/loadavg: 1.99 1.99 1.99 3/197 26648 /proc/meminfo: memFree=30953040/32950928 swapFree=67111528/67111528 [pid=26597] ppid=26595 vsize=605232 CPUtime=162.3 /proc/26597/stat : 26597 (wbo1.4a) R 26595 26597 24945 0 -1 4202496 150899 0 0 0 16190 40 0 0 25 0 1 0 167850325 619757568 150800 4089446400 134512640 135751879 4291315456 18446744073709551615 134616503 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/26597/statm: 151308 150800 143 303 0 151003 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 605232 [startup+222.306 s] /proc/loadavg: 1.99 1.99 1.99 3/197 26649 /proc/meminfo: memFree=30724632/32950928 swapFree=67111528/67111528 [pid=26597] ppid=26595 vsize=824856 CPUtime=222.31 /proc/26597/stat : 26597 (wbo1.4a) R 26595 26597 24945 0 -1 4202496 205785 0 0 0 22175 56 0 0 25 0 1 0 167850325 844652544 205686 4089446400 134512640 135751879 4291315456 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/26597/statm: 206214 205686 143 303 0 205909 0 Current children cumulated CPU time (s) 222.31 Current children cumulated vsize (KiB) 824856 [startup+282.301 s] /proc/loadavg: 1.99 1.99 1.99 3/197 26651 /proc/meminfo: memFree=30516504/32950928 swapFree=67111528/67111528 [pid=26597] ppid=26595 vsize=1029980 CPUtime=282.31 /proc/26597/stat : 26597 (wbo1.4a) R 26595 26597 24945 0 -1 4202496 257065 0 0 0 28162 69 0 0 25 0 1 0 167850325 1054699520 256966 4089446400 134512640 135751879 4291315456 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/26597/statm: 257495 256966 143 303 0 257190 0 Current children cumulated CPU time (s) 282.31 Current children cumulated vsize (KiB) 1029980 [startup+342.3 s] /proc/loadavg: 1.99 1.99 1.99 3/197 26653 /proc/meminfo: memFree=30293972/32950928 swapFree=67111528/67111528 [pid=26597] ppid=26595 vsize=1248824 CPUtime=342.3 /proc/26597/stat : 26597 (wbo1.4a) R 26595 26597 24945 0 -1 4202496 311751 0 0 0 34145 85 0 0 25 0 1 0 167850325 1278795776 311652 4089446400 134512640 135751879 4291315456 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/26597/statm: 312206 311652 143 303 0 311901 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 1248824 [startup+402.301 s] /proc/loadavg: 1.99 1.99 1.99 3/197 26654 /proc/meminfo: memFree=30130092/32950928 swapFree=67111528/67111528 [pid=26597] ppid=26595 vsize=1412604 CPUtime=402.3 /proc/26597/stat : 26597 (wbo1.4a) R 26595 26597 24945 0 -1 4202496 352646 0 0 0 40133 97 0 0 25 0 1 0 167850325 1446506496 352547 4089446400 134512640 135751879 4291315456 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/26597/statm: 353151 352548 143 303 0 352846 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 1412604 [startup+462.3 s] /proc/loadavg: 1.99 1.99 1.99 3/197 26656 /proc/meminfo: memFree=29956292/32950928 swapFree=67111528/67111528 [pid=26597] ppid=26595 vsize=1584052 CPUtime=462.31 /proc/26597/stat : 26597 (wbo1.4a) R 26595 26597 24945 0 -1 4202496 395506 0 0 0 46123 108 0 0 25 0 1 0 167850325 1622069248 395407 4089446400 134512640 135751879 4291315456 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/26597/statm: 396013 395407 143 303 0 395708 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 1584052 [startup+522.301 s] /proc/loadavg: 1.99 1.99 1.99 3/197 26657 /proc/meminfo: memFree=29802096/32950928 swapFree=67111528/67111528 [pid=26597] ppid=26595 vsize=1738016 CPUtime=522.31 /proc/26597/stat : 26597 (wbo1.4a) R 26595 26597 24945 0 -1 4202496 433995 0 0 0 52111 120 0 0 25 0 1 0 167850325 1779728384 433896 4089446400 134512640 135751879 4291315456 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/26597/statm: 434504 433896 143 303 0 434199 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 1738016 [startup+582.301 s] /proc/loadavg: 1.99 1.99 1.99 3/197 26659 /proc/meminfo: memFree=29595192/32950928 swapFree=67111528/67111528 [pid=26597] ppid=26595 vsize=1943968 CPUtime=582.32 /proc/26597/stat : 26597 (wbo1.4a) R 26595 26597 24945 0 -1 4202496 485433 0 0 0 58095 137 0 0 25 0 1 0 167850325 1990623232 485334 4089446400 134512640 135751879 4291315456 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/26597/statm: 485992 485334 143 303 0 485687 0 Current children cumulated CPU time (s) 582.32 Current children cumulated vsize (KiB) 1943968 [startup+642.301 s] /proc/loadavg: 1.99 1.99 1.99 3/197 26661 /proc/meminfo: memFree=29458484/32950928 swapFree=67111528/67111528 [pid=26597] ppid=26595 vsize=2081856 CPUtime=642.31 /proc/26597/stat : 26597 (wbo1.4a) R 26595 26597 24945 0 -1 4202496 519911 0 0 0 64084 147 0 0 25 0 1 0 167850325 2131820544 519812 4089446400 134512640 135751879 4291315456 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/26597/statm: 520464 519812 143 303 0 520159 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 2081856 [startup+702.301 s] /proc/loadavg: 2.36 2.09 2.02 3/197 26662 /proc/meminfo: memFree=29296108/32950928 swapFree=67111528/67111528 [pid=26597] ppid=26595 vsize=2241648 CPUtime=702.32 /proc/26597/stat : 26597 (wbo1.4a) R 26595 26597 24945 0 -1 4202496 559826 0 0 0 70073 159 0 0 25 0 1 0 167850325 2295447552 559727 4089446400 134512640 135751879 4291315456 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/26597/statm: 560412 559727 143 303 0 560107 0 Current children cumulated CPU time (s) 702.32 Current children cumulated vsize (KiB) 2241648 [startup+762.3 s] /proc/loadavg: 2.13 2.07 2.02 3/197 26664 /proc/meminfo: memFree=29132612/32950928 swapFree=67111528/67111528 [pid=26597] ppid=26595 vsize=2402808 CPUtime=762.32 /proc/26597/stat : 26597 (wbo1.4a) R 26595 26597 24945 0 -1 4202496 600108 0 0 0 76061 171 0 0 25 0 1 0 167850325 2460475392 600009 4089446400 134512640 135751879 4291315456 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/26597/statm: 600702 600009 143 303 0 600397 0 Current children cumulated CPU time (s) 762.32 Current children cumulated vsize (KiB) 2402808 [startup+822.301 s] /proc/loadavg: 2.05 2.05 2.01 3/197 26665 /proc/meminfo: memFree=28982888/32950928 swapFree=67111528/67111528 [pid=26597] ppid=26595 vsize=2553872 CPUtime=822.32 /proc/26597/stat : 26597 (wbo1.4a) R 26595 26597 24945 0 -1 4202496 637856 0 0 0 82048 184 0 0 25 0 1 0 167850325 2615164928 637757 4089446400 134512640 135751879 4291315456 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/26597/statm: 638468 637757 143 303 0 638163 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 2553872 [startup+882.306 s] /proc/loadavg: 2.07 2.06 2.01 3/197 26667 /proc/meminfo: memFree=28861816/32950928 swapFree=67111528/67111528 [pid=26597] ppid=26595 vsize=2670540 CPUtime=882.33 /proc/26597/stat : 26597 (wbo1.4a) R 26595 26597 24945 0 -1 4202496 667008 0 0 0 88041 192 0 0 25 0 1 0 167850325 2734632960 666909 4089446400 134512640 135751879 4291315456 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/26597/statm: 667635 666909 143 303 0 667330 0 Current children cumulated CPU time (s) 882.33 Current children cumulated vsize (KiB) 2670540 [startup+942.301 s] /proc/loadavg: 2.02 2.04 2.01 3/197 26669 /proc/meminfo: memFree=28737516/32950928 swapFree=67111528/67111528 [pid=26597] ppid=26595 vsize=2794832 CPUtime=942.33 /proc/26597/stat : 26597 (wbo1.4a) R 26595 26597 24945 0 -1 4202496 698075 0 0 0 94032 201 0 0 25 0 1 0 167850325 2861907968 697976 4089446400 134512640 135751879 4291315456 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/26597/statm: 698708 697976 143 303 0 698403 0 Current children cumulated CPU time (s) 942.33 Current children cumulated vsize (KiB) 2794832 [startup+1002.3 s] /proc/loadavg: 2.01 2.03 2.00 3/197 26670 /proc/meminfo: memFree=28576992/32950928 swapFree=67111528/67111528 [pid=26597] ppid=26595 vsize=2954796 CPUtime=1002.33 /proc/26597/stat : 26597 (wbo1.4a) R 26595 26597 24945 0 -1 4202496 738025 0 0 0 100020 213 0 0 25 0 1 0 167850325 3025711104 737926 4089446400 134512640 135751879 4291315456 18446744073709551615 134616540 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/26597/statm: 738699 737926 143 303 0 738394 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 2954796 [startup+1062.3 s] /proc/loadavg: 2.00 2.02 2.00 3/197 26672 /proc/meminfo: memFree=28479968/32950928 swapFree=67111528/67111528 [pid=26597] ppid=26595 vsize=3052344 CPUtime=1062.34 /proc/26597/stat : 26597 (wbo1.4a) R 26595 26597 24945 0 -1 4202496 762408 0 0 0 106013 221 0 0 25 0 1 0 167850325 3125600256 762309 4089446400 134512640 135751879 4291315456 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/26597/statm: 763086 762309 143 303 0 762781 0 Current children cumulated CPU time (s) 1062.34 Current children cumulated vsize (KiB) 3052344 [startup+1122.3 s] /proc/loadavg: 2.00 2.02 2.00 3/197 26673 /proc/meminfo: memFree=28344504/32950928 swapFree=67111528/67111528 [pid=26597] ppid=26595 vsize=3187000 CPUtime=1122.33 /proc/26597/stat : 26597 (wbo1.4a) R 26595 26597 24945 0 -1 4202496 796075 0 0 0 112002 231 0 0 25 0 1 0 167850325 3263488000 795976 4089446400 134512640 135751879 4291315456 18446744073709551615 134616489 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/26597/statm: 796750 795976 143 303 0 796445 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 3187000 [startup+1182.3 s] /proc/loadavg: 2.00 2.01 2.00 3/197 26675 /proc/meminfo: memFree=28200296/32950928 swapFree=67111528/67111528 [pid=26597] ppid=26595 vsize=3331476 CPUtime=1182.34 /proc/26597/stat : 26597 (wbo1.4a) R 26595 26597 24945 0 -1 4202496 832161 0 0 0 117991 243 0 0 25 0 1 0 167850325 3411431424 832062 4089446400 134512640 135751879 4291315456 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/26597/statm: 832869 832062 143 303 0 832564 0 Current children cumulated CPU time (s) 1182.34 Current children cumulated vsize (KiB) 3331476 [startup+1242.3 s] /proc/loadavg: 2.04 2.02 2.00 3/197 26677 /proc/meminfo: memFree=28051656/32950928 swapFree=67111528/67111528 [pid=26597] ppid=26595 vsize=3479192 CPUtime=1242.34 /proc/26597/stat : 26597 (wbo1.4a) R 26595 26597 24945 0 -1 4202496 869094 0 0 0 123980 254 0 0 25 0 1 0 167850325 3562692608 868995 4089446400 134512640 135751879 4291315456 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/26597/statm: 869798 868995 143 303 0 869493 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 3479192 [startup+1302.3 s] /proc/loadavg: 2.01 2.02 2.00 3/197 26678 /proc/meminfo: memFree=27903648/32950928 swapFree=67111528/67111528 [pid=26597] ppid=26595 vsize=3627492 CPUtime=1302.34 /proc/26597/stat : 26597 (wbo1.4a) R 26595 26597 24945 0 -1 4202496 906163 0 0 0 129969 265 0 0 25 0 1 0 167850325 3714551808 906064 4089446400 134512640 135751879 4291315456 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/26597/statm: 906873 906064 143 303 0 906568 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 3627492 [startup+1362.3 s] /proc/loadavg: 2.08 2.03 2.01 3/197 26680 /proc/meminfo: memFree=27782324/32950928 swapFree=67111528/67111528 [pid=26597] ppid=26595 vsize=3745568 CPUtime=1362.34 /proc/26597/stat : 26597 (wbo1.4a) R 26595 26597 24945 0 -1 4202496 935699 0 0 0 135960 274 0 0 25 0 1 0 167850325 3835461632 935600 4089446400 134512640 135751879 4291315456 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/26597/statm: 936392 935600 143 303 0 936087 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 3745568 [startup+1422.3 s] /proc/loadavg: 2.03 2.02 2.00 3/197 26681 /proc/meminfo: memFree=27655412/32950928 swapFree=67111528/67111528 [pid=26597] ppid=26595 vsize=3870696 CPUtime=1422.36 /proc/26597/stat : 26597 (wbo1.4a) R 26595 26597 24945 0 -1 4202496 966953 0 0 0 141952 284 0 0 25 0 1 0 167850325 3963592704 966854 4089446400 134512640 135751879 4291315456 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/26597/statm: 967674 966854 143 303 0 967369 0 Current children cumulated CPU time (s) 1422.36 Current children cumulated vsize (KiB) 3870696 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1431.1 s] /proc/loadavg: 2.02 2.02 2.00 3/197 26682 /proc/meminfo: memFree=27634568/32950928 swapFree=67111528/67111528 [pid=26597] ppid=26595 vsize=3891264 CPUtime=1431.16 /proc/26597/stat : 26597 (wbo1.4a) R 26595 26597 24945 0 -1 4202496 972122 0 0 0 142830 286 0 0 25 0 1 0 167850325 3984654336 972023 4089446400 134512640 135751879 4291315456 18446744073709551615 134616377 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/26597/statm: 972816 972023 143 303 0 972511 0 Current children cumulated CPU time (s) 1431.16 Current children cumulated vsize (KiB) 3891264 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1431.21 s] /proc/loadavg: 2.02 2.02 2.00 3/197 26682 /proc/meminfo: memFree=27634568/32950928 swapFree=67111528/67111528 [pid=26597] ppid=26595 vsize=0 CPUtime=1431.26 /proc/26597/stat : 26597 (wbo1.4a) R 26595 26597 24945 0 -1 4203524 972122 0 0 0 142830 296 0 0 25 0 1 0 167850325 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 6 0 0 0 /proc/26597/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1431.26 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1431.23 CPU time (s): 1431.29 CPU user time (s): 1428.3 CPU system time (s): 2.98455 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 3891264 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1428.3 system time used= 2.98455 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 972122 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= 1071 runsolver used 2.31365 second user time and 4.79427 second system time The end
Begin job on node115 at 2010-06-30 20:27:52 IDJOB=2690034 IDBENCH=79186 IDSOLVER=1200 FILE ID=node115/2690034-1277922472 PBS_JOBID= 11197319 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-65-60--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-2690034-1277922472/watcher-2690034-1277922472 -o /tmp/evaluation-result-2690034-1277922472/solver-2690034-1277922472 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690034-1277922472.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2e8bafba6181eaf32525647669a5fbcc RANDOM SEED=1561552522 node115.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.796 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.59 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.796 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.08 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.796 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.796 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.76 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.796 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.796 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.796 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.796 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: 32950928 kB MemFree: 28036720 kB Buffers: 207436 kB Cached: 936272 kB SwapCached: 0 kB Active: 4085264 kB Inactive: 679728 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 28036720 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2720 kB Writeback: 0 kB AnonPages: 3621196 kB Mapped: 15444 kB Slab: 78968 kB PageTables: 11696 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 3765876 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= 74208 MiB End job on node115 at 2010-06-30 20:51:46