Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | ? (MO) | 1164.38 | 1164.33 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-71-70--soft-33-100-0.wbo |
MD5SUM | 374ed8d346409439b64d782bc7a820e5 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 0.156976 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 4970 |
Total number of constraints | 141 |
Number of soft constraints | 94 |
Number of constraints which are clauses | 71 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 70 |
Maximum length of a constraint | 71 |
Top cost | 5200 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 5199 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 72 |
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-2689769-1277893774.wbo. 0.00/0.00 c Instance file HOME/instance-2689769-1277893774.wbo 0.00/0.00 c File size is 89032 bytes. 0.00/0.00 c Highest Coefficient sum: 72 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: 4970 | 0.00/0.00 c | Number Clauses: 71 | 0.00/0.00 c | Number Cardinality: 70 | 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 | 4970 141 9940 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 101 | 4970 141 9940 | 5500 101 306 | 0.000 % | 0.00/0.03 c | 252 | 4970 141 9940 | 6050 252 447 | 0.000 % | 0.00/0.06 c | 477 | 4970 141 9940 | 6655 477 535 | 0.000 % | 0.09/0.09 c | 818 | 4970 141 9940 | 7320 818 507 | 0.000 % | 0.09/0.13 c | 1326 | 4970 141 9940 | 8052 1326 427 | 0.000 % | 0.19/0.22 c | 2088 | 4970 141 9940 | 8857 2088 394 | 0.000 % | 0.29/0.38 c | 3233 | 4970 141 9940 | 9743 3233 370 | 0.000 % | 0.59/0.65 c | 4944 | 4970 141 9940 | 10717 4944 365 | 0.000 % | 1.09/1.18 c | 7508 | 4970 141 9940 | 11789 7508 367 | 0.000 % | 2.19/2.26 c | 11354 | 4970 141 9940 | 12968 11354 373 | 0.000 % | 4.19/4.23 c | 17122 | 4970 141 9940 | 14265 17122 386 | 0.000 % | 8.29/8.31 c | 25772 | 4970 141 9940 | 15692 17211 403 | 0.000 % | 17.79/17.85 c | 38746 | 4970 141 9940 | 17261 11352 1095 | 0.000 % | 35.39/35.47 c | 58208 | 4970 141 9940 | 18987 19736 845 | 0.000 % | 57.39/57.42 c | 87400 | 4970 141 9940 | 20886 14329 870 | 0.000 % | 100.60/100.64 c | 131189 | 4970 141 9940 | 22974 18297 863 | 0.000 % | 177.30/177.33 c | 196875 | 4970 141 9940 | 25272 25239 1284 | 0.000 % | 320.91/320.90 c | 295402 | 4970 141 9940 | 27799 22478 1176 | 0.000 % | 561.51/561.56 c | 443193 | 4970 141 9940 | 30579 19411 1684 | 0.000 % | 1001.23/1001.21 c | 664877 | 4970 141 9940 | 33637 20716 1242 | 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-2689769-1277893774/watcher-2689769-1277893774 -o /tmp/evaluation-result-2689769-1277893774/solver-2689769-1277893774 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689769-1277893774.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.01 3/196 10165 /proc/meminfo: memFree=31716268/32950928 swapFree=67111528/67111528 [pid=10165] ppid=10163 vsize=3480 CPUtime=0 /proc/10165/stat : 10165 (wbo1.4a) R 10163 10165 8905 0 -1 4202496 470 0 0 0 0 0 0 0 21 0 1 0 130523022 3563520 388 4089446400 134512640 135751879 4293392000 18446744073709551615 134559730 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10165/statm: 870 388 143 303 0 543 0 [startup+0.0926109 s] /proc/loadavg: 2.00 2.00 2.01 3/196 10165 /proc/meminfo: memFree=31716268/32950928 swapFree=67111528/67111528 [pid=10165] ppid=10163 vsize=5256 CPUtime=0.09 /proc/10165/stat : 10165 (wbo1.4a) R 10163 10165 8905 0 -1 4202496 983 0 0 0 8 1 0 0 22 0 1 0 130523022 5382144 879 4089446400 134512640 135751879 4293392000 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10165/statm: 1314 879 143 303 0 1009 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5256 [startup+0.100609 s] /proc/loadavg: 2.00 2.00 2.01 3/196 10165 /proc/meminfo: memFree=31716268/32950928 swapFree=67111528/67111528 [pid=10165] ppid=10163 vsize=5388 CPUtime=0.09 /proc/10165/stat : 10165 (wbo1.4a) R 10163 10165 8905 0 -1 4202496 1006 0 0 0 8 1 0 0 22 0 1 0 130523022 5517312 902 4089446400 134512640 135751879 4293392000 18446744073709551615 134616722 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10165/statm: 1347 902 143 303 0 1042 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5388 [startup+0.300571 s] /proc/loadavg: 2.00 2.00 2.01 3/196 10165 /proc/meminfo: memFree=31716268/32950928 swapFree=67111528/67111528 [pid=10165] ppid=10163 vsize=8160 CPUtime=0.29 /proc/10165/stat : 10165 (wbo1.4a) R 10163 10165 8905 0 -1 4202496 1691 0 0 0 28 1 0 0 22 0 1 0 130523022 8355840 1587 4089446400 134512640 135751879 4293392000 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10165/statm: 2040 1587 143 303 0 1735 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8160 [startup+0.700554 s] /proc/loadavg: 2.00 2.00 2.01 3/196 10165 /proc/meminfo: memFree=31716268/32950928 swapFree=67111528/67111528 [pid=10165] ppid=10163 vsize=12120 CPUtime=0.69 /proc/10165/stat : 10165 (wbo1.4a) R 10163 10165 8905 0 -1 4202496 2686 0 0 0 68 1 0 0 24 0 1 0 130523022 12410880 2582 4089446400 134512640 135751879 4293392000 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10165/statm: 3030 2582 143 303 0 2725 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12120 [startup+1.50034 s] /proc/loadavg: 2.00 2.00 2.01 3/197 10166 /proc/meminfo: memFree=31703736/32950928 swapFree=67111528/67111528 [pid=10165] ppid=10163 vsize=18884 CPUtime=1.49 /proc/10165/stat : 10165 (wbo1.4a) R 10163 10165 8905 0 -1 4202496 4359 0 0 0 147 2 0 0 25 0 1 0 130523022 19337216 4255 4089446400 134512640 135751879 4293392000 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10165/statm: 4721 4255 143 303 0 4416 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18884 [startup+3.10109 s] /proc/loadavg: 2.00 2.00 2.01 3/197 10166 /proc/meminfo: memFree=31696668/32950928 swapFree=67111528/67111528 [pid=10165] ppid=10163 vsize=27740 CPUtime=3.1 /proc/10165/stat : 10165 (wbo1.4a) R 10163 10165 8905 0 -1 4202496 6574 0 0 0 307 3 0 0 25 0 1 0 130523022 28405760 6470 4089446400 134512640 135751879 4293392000 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10165/statm: 6935 6470 143 303 0 6630 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 27740 [startup+6.30048 s] /proc/loadavg: 2.00 2.00 2.01 3/197 10166 /proc/meminfo: memFree=31679972/32950928 swapFree=67111528/67111528 [pid=10165] ppid=10163 vsize=41880 CPUtime=6.29 /proc/10165/stat : 10165 (wbo1.4a) R 10163 10165 8905 0 -1 4202496 10133 0 0 0 624 5 0 0 25 0 1 0 130523022 42885120 10029 4089446400 134512640 135751879 4293392000 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10165/statm: 10470 10029 143 303 0 10165 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 41880 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 2.01 3/197 10166 /proc/meminfo: memFree=31646244/32950928 swapFree=67111528/67111528 [pid=10165] ppid=10163 vsize=78040 CPUtime=12.69 /proc/10165/stat : 10165 (wbo1.4a) R 10163 10165 8905 0 -1 4202496 19147 0 0 0 1262 7 0 0 25 0 1 0 130523022 79912960 19043 4089446400 134512640 135751879 4293392000 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10165/statm: 19510 19043 143 303 0 19205 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 78040 [startup+25.5008 s] /proc/loadavg: 2.00 2.00 2.01 3/197 10166 /proc/meminfo: memFree=31575224/32950928 swapFree=67111528/67111528 [pid=10165] ppid=10163 vsize=146744 CPUtime=25.49 /proc/10165/stat : 10165 (wbo1.4a) R 10163 10165 8905 0 -1 4202496 36329 0 0 0 2534 15 0 0 25 0 1 0 130523022 150265856 36225 4089446400 134512640 135751879 4293392000 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10165/statm: 36686 36225 143 303 0 36381 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 146744 [startup+51.1009 s] /proc/loadavg: 2.00 2.00 2.01 3/197 10167 /proc/meminfo: memFree=31472956/32950928 swapFree=67111528/67111528 [pid=10165] ppid=10163 vsize=249564 CPUtime=51.1 /proc/10165/stat : 10165 (wbo1.4a) R 10163 10165 8905 0 -1 4202496 62040 0 0 0 5083 27 0 0 25 0 1 0 130523022 255553536 61936 4089446400 134512640 135751879 4293392000 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10165/statm: 62391 61936 143 303 0 62086 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 249564 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10169 /proc/meminfo: memFree=31280832/32950928 swapFree=67111528/67111528 [pid=10165] ppid=10163 vsize=439784 CPUtime=102.3 /proc/10165/stat : 10165 (wbo1.4a) R 10163 10165 8905 0 -1 4202496 109578 0 0 0 10184 46 0 0 25 0 1 0 130523022 450338816 109474 4089446400 134512640 135751879 4293392000 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10165/statm: 109946 109474 143 303 0 109641 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 439784 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10170 /proc/meminfo: memFree=30984044/32950928 swapFree=67111528/67111528 [pid=10165] ppid=10163 vsize=737760 CPUtime=162.3 /proc/10165/stat : 10165 (wbo1.4a) R 10163 10165 8905 0 -1 4202496 184044 0 0 0 16162 68 0 0 25 0 1 0 130523022 755466240 183940 4089446400 134512640 135751879 4293392000 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10165/statm: 184440 183940 143 303 0 184135 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 737760 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10172 /proc/meminfo: memFree=30768088/32950928 swapFree=67111528/67111528 [pid=10165] ppid=10163 vsize=951400 CPUtime=222.3 /proc/10165/stat : 10165 (wbo1.4a) R 10163 10165 8905 0 -1 4202496 237426 0 0 0 22144 86 0 0 25 0 1 0 130523022 974233600 237322 4089446400 134512640 135751879 4293392000 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10165/statm: 237850 237322 143 303 0 237545 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 951400 [startup+282.301 s] /proc/loadavg: 2.05 2.01 2.00 3/197 10174 /proc/meminfo: memFree=30561208/32950928 swapFree=67111528/67111528 [pid=10165] ppid=10163 vsize=1158520 CPUtime=282.3 /proc/10165/stat : 10165 (wbo1.4a) R 10163 10165 8905 0 -1 4202496 289199 0 0 0 28130 100 0 0 25 0 1 0 130523022 1186324480 289095 4089446400 134512640 135751879 4293392000 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10165/statm: 289630 289095 143 303 0 289325 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 1158520 [startup+342.3 s] /proc/loadavg: 2.08 2.02 2.00 3/197 10175 /proc/meminfo: memFree=30295908/32950928 swapFree=67111528/67111528 [pid=10165] ppid=10163 vsize=1423204 CPUtime=342.31 /proc/10165/stat : 10165 (wbo1.4a) R 10163 10165 8905 0 -1 4202496 355353 0 0 0 34113 118 0 0 25 0 1 0 130523022 1457360896 355249 4089446400 134512640 135751879 4293392000 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10165/statm: 355801 355249 143 303 0 355496 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 1423204 [startup+402.301 s] /proc/loadavg: 2.03 2.02 2.00 3/197 10177 /proc/meminfo: memFree=29996276/32950928 swapFree=67111528/67111528 [pid=10165] ppid=10163 vsize=1721588 CPUtime=402.31 /proc/10165/stat : 10165 (wbo1.4a) R 10163 10165 8905 0 -1 4202496 429917 0 0 0 40096 135 0 0 25 0 1 0 130523022 1762906112 429813 4089446400 134512640 135751879 4293392000 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10165/statm: 430397 429813 143 303 0 430092 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 1721588 [startup+462.3 s] /proc/loadavg: 2.01 2.01 2.00 3/197 10178 /proc/meminfo: memFree=29707164/32950928 swapFree=67111528/67111528 [pid=10165] ppid=10163 vsize=2007528 CPUtime=462.31 /proc/10165/stat : 10165 (wbo1.4a) R 10163 10165 8905 0 -1 4202496 501381 0 0 0 46077 154 0 0 25 0 1 0 130523022 2055708672 501277 4089446400 134512640 135751879 4293392000 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10165/statm: 501882 501277 143 303 0 501577 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 2007528 [startup+522.301 s] /proc/loadavg: 2.00 2.01 2.00 3/197 10180 /proc/meminfo: memFree=29489740/32950928 swapFree=67111528/67111528 [pid=10165] ppid=10163 vsize=2227952 CPUtime=522.31 /proc/10165/stat : 10165 (wbo1.4a) R 10163 10165 8905 0 -1 4202496 556497 0 0 0 52063 168 0 0 25 0 1 0 130523022 2281422848 556393 4089446400 134512640 135751879 4293392000 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10165/statm: 556988 556393 143 303 0 556683 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 2227952 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10182 /proc/meminfo: memFree=29256308/32950928 swapFree=67111528/67111528 [pid=10165] ppid=10163 vsize=2456536 CPUtime=582.31 /proc/10165/stat : 10165 (wbo1.4a) R 10163 10165 8905 0 -1 4202496 613619 0 0 0 58047 184 0 0 25 0 1 0 130523022 2515492864 613515 4089446400 134512640 135751879 4293392000 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10165/statm: 614134 613515 143 303 0 613829 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 2456536 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 10183 /proc/meminfo: memFree=29126056/32950928 swapFree=67111528/67111528 [pid=10165] ppid=10163 vsize=2585384 CPUtime=642.32 /proc/10165/stat : 10165 (wbo1.4a) R 10163 10165 8905 0 -1 4202496 645803 0 0 0 64036 196 0 0 25 0 1 0 130523022 2647433216 645699 4089446400 134512640 135751879 4293392000 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10165/statm: 646346 645699 143 303 0 646041 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 2585384 [startup+702.3 s] /proc/loadavg: 1.96 1.98 1.99 3/197 10233 /proc/meminfo: memFree=29084468/32950928 swapFree=67111528/67111528 [pid=10165] ppid=10163 vsize=2721060 CPUtime=702.32 /proc/10165/stat : 10165 (wbo1.4a) R 10163 10165 8905 0 -1 4202496 679714 0 0 0 70025 207 0 0 25 0 1 0 130523022 2786365440 679610 4089446400 134512640 135751879 4293392000 18446744073709551615 134616489 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10165/statm: 680265 679610 143 303 0 679960 0 Current children cumulated CPU time (s) 702.32 Current children cumulated vsize (KiB) 2721060 [startup+762.307 s] /proc/loadavg: 1.98 1.98 1.99 3/197 10234 /proc/meminfo: memFree=28924424/32950928 swapFree=67111528/67111528 [pid=10165] ppid=10163 vsize=2878256 CPUtime=762.33 /proc/10165/stat : 10165 (wbo1.4a) R 10163 10165 8905 0 -1 4202496 719003 0 0 0 76013 220 0 0 25 0 1 0 130523022 2947334144 718899 4089446400 134512640 135751879 4293392000 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10165/statm: 719564 718899 143 303 0 719259 0 Current children cumulated CPU time (s) 762.33 Current children cumulated vsize (KiB) 2878256 [startup+822.3 s] /proc/loadavg: 1.99 1.98 1.99 3/197 10236 /proc/meminfo: memFree=28763420/32950928 swapFree=67111528/67111528 [pid=10165] ppid=10163 vsize=3038824 CPUtime=822.33 /proc/10165/stat : 10165 (wbo1.4a) R 10163 10165 8905 0 -1 4202496 759134 0 0 0 82001 232 0 0 25 0 1 0 130523022 3111755776 759030 4089446400 134512640 135751879 4293392000 18446744073709551615 134616540 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10165/statm: 759706 759030 143 303 0 759401 0 Current children cumulated CPU time (s) 822.33 Current children cumulated vsize (KiB) 3038824 [startup+882.301 s] /proc/loadavg: 1.99 1.98 1.99 3/197 10238 /proc/meminfo: memFree=28652616/32950928 swapFree=67111528/67111528 [pid=10165] ppid=10163 vsize=3146508 CPUtime=882.33 /proc/10165/stat : 10165 (wbo1.4a) R 10163 10165 8905 0 -1 4202496 786026 0 0 0 87992 241 0 0 25 0 1 0 130523022 3222024192 785922 4089446400 134512640 135751879 4293392000 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10165/statm: 786627 785922 143 303 0 786322 0 Current children cumulated CPU time (s) 882.33 Current children cumulated vsize (KiB) 3146508 [startup+942.3 s] /proc/loadavg: 1.99 1.98 1.99 3/197 10239 /proc/meminfo: memFree=28508720/32950928 swapFree=67111528/67111528 [pid=10165] ppid=10163 vsize=3292620 CPUtime=942.33 /proc/10165/stat : 10165 (wbo1.4a) R 10163 10165 8905 0 -1 4202496 822548 0 0 0 93981 252 0 0 25 0 1 0 130523022 3371642880 822444 4089446400 134512640 135751879 4293392000 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10165/statm: 823155 822444 143 303 0 822850 0 Current children cumulated CPU time (s) 942.33 Current children cumulated vsize (KiB) 3292620 [startup+1002.3 s] /proc/loadavg: 1.99 1.98 1.99 3/197 10241 /proc/meminfo: memFree=28332816/32950928 swapFree=67111528/67111528 [pid=10165] ppid=10163 vsize=3467300 CPUtime=1002.33 /proc/10165/stat : 10165 (wbo1.4a) R 10163 10165 8905 0 -1 4202496 866198 0 0 0 99968 265 0 0 25 0 1 0 130523022 3550515200 866094 4089446400 134512640 135751879 4293392000 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10165/statm: 866825 866094 143 303 0 866520 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 3467300 [startup+1062.3 s] /proc/loadavg: 1.99 1.98 1.99 3/197 10242 /proc/meminfo: memFree=28162628/32950928 swapFree=67111528/67111528 [pid=10165] ppid=10163 vsize=3637048 CPUtime=1062.33 /proc/10165/stat : 10165 (wbo1.4a) R 10163 10165 8905 0 -1 4202496 908625 0 0 0 105956 277 0 0 25 0 1 0 130523022 3724337152 908521 4089446400 134512640 135751879 4293392000 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10165/statm: 909262 908521 143 303 0 908957 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 3637048 [startup+1122.3 s] /proc/loadavg: 1.99 1.98 1.99 3/197 10244 /proc/meminfo: memFree=28020348/32950928 swapFree=67111528/67111528 [pid=10165] ppid=10163 vsize=3778576 CPUtime=1122.33 /proc/10165/stat : 10165 (wbo1.4a) R 10163 10165 8905 0 -1 4202496 943958 0 0 0 111944 289 0 0 25 0 1 0 130523022 3869261824 943854 4089446400 134512640 135751879 4293392000 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10165/statm: 944644 943854 143 303 0 944339 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 3778576 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1164.2 s] /proc/loadavg: 1.99 1.98 1.99 3/197 10245 /proc/meminfo: memFree=27905716/32950928 swapFree=67111528/67111528 [pid=10165] ppid=10163 vsize=3891648 CPUtime=1164.24 /proc/10165/stat : 10165 (wbo1.4a) R 10163 10165 8905 0 -1 4202496 972218 0 0 0 116126 298 0 0 25 0 1 0 130523022 3985047552 972114 4089446400 134512640 135751879 4293392000 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10165/statm: 972912 972114 143 303 0 972607 0 Current children cumulated CPU time (s) 1164.24 Current children cumulated vsize (KiB) 3891648 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1164.31 s] /proc/loadavg: 1.99 1.98 1.99 3/197 10245 /proc/meminfo: memFree=27905716/32950928 swapFree=67111528/67111528 [pid=10165] ppid=10163 vsize=0 CPUtime=1164.35 /proc/10165/stat : 10165 (wbo1.4a) R 10163 10165 8905 0 -1 4203524 972218 0 0 0 116126 309 0 0 25 0 1 0 130523022 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 3 0 0 0 /proc/10165/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1164.35 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1164.33 CPU time (s): 1164.38 CPU user time (s): 1161.26 CPU system time (s): 3.11253 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 3891648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1161.26 system time used= 3.11253 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 972218 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= 3 involuntary context switches= 12262 runsolver used 1.64075 second user time and 3.67844 second system time The end
Begin job on node127 at 2010-06-30 12:29:34 IDJOB=2689769 IDBENCH=78732 IDSOLVER=1200 FILE ID=node127/2689769-1277893774 PBS_JOBID= 11197100 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-71-70--soft-33-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2689769-1277893774/watcher-2689769-1277893774 -o /tmp/evaluation-result-2689769-1277893774/solver-2689769-1277893774 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689769-1277893774.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 374ed8d346409439b64d782bc7a820e5 RANDOM SEED=1051026836 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: 31717044 kB Buffers: 176992 kB Cached: 710328 kB SwapCached: 0 kB Active: 606912 kB Inactive: 485372 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31717044 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2768 kB Writeback: 0 kB AnonPages: 205308 kB Mapped: 20268 kB Slab: 75956 kB PageTables: 5160 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1640704 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= 74204 MiB End job on node127 at 2010-06-30 12:49:00