Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Signal | 183.366 | 183.443 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=173-P1=23-P2=211-P3=199-P4=389-P5=269-P6=383-P7=211-P8=347-B.opb |
MD5SUM | 98317fc891a56a06b9f6f284bcd4ad38 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 16.0286 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 216 |
Total number of constraints | 17 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 17 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 648 |
Sum of products size (including duplicates) | 1296 |
Number of different products | 648 |
Sum of products size | 1296 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2701924-1278546258.opb. 0.00/0.00 c Instance file HOME/instance-2701924-1278546258.opb 0.00/0.00 c File size is 48923 bytes. 0.00/0.00 c Highest Coefficient sum: 523264 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: 864 | 0.00/0.00 c | Number Clauses: 648 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 673 | 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 | 864 1321 5535 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 100 | 864 1321 5535 | 5500 100 83 | 0.001 % | 0.00/0.02 c | 251 | 864 1321 5535 | 6050 251 84 | 0.001 % | 0.00/0.04 c | 477 | 864 1321 5535 | 6655 477 83 | 0.000 % | 0.05/0.07 c | 814 | 864 1321 5535 | 7320 814 78 | 0.000 % | 0.09/0.10 c | 1321 | 864 1321 5535 | 8052 1321 77 | 0.001 % | 0.19/0.20 c | 2081 | 864 1321 5535 | 8857 2081 70 | 0.000 % | 0.29/0.36 c | 3221 | 864 1321 5535 | 9743 3221 68 | 0.000 % | 0.49/0.56 c | 4930 | 864 1321 5535 | 10717 4930 65 | 0.000 % | 0.79/0.89 c | 7493 | 864 1321 5535 | 11789 7493 74 | 0.001 % | 1.29/1.39 c | 11337 | 864 1321 5535 | 12968 11337 70 | 0.001 % | 2.10/2.10 c | 17103 | 864 1321 5535 | 14265 10319 67 | 0.000 % | 3.79/3.81 c | 25753 | 864 1321 5535 | 15692 11617 59 | 0.000 % | 6.79/6.85 c | 38727 | 864 1321 5535 | 17261 8748 51 | 0.000 % | 9.79/9.90 c | 58189 | 864 1321 5535 | 18987 10351 73 | 0.000 % | 15.68/15.72 c | 87381 | 864 1321 5535 | 20886 10556 65 | 0.000 % | 24.58/24.62 c | 131173 | 864 1321 5535 | 22974 11821 50 | 0.000 % | 39.38/39.43 c | 196858 | 864 1321 5535 | 25272 16284 38 | 0.000 % | 57.28/57.36 c =============================================================================== 57.28/57.36 c New solution: 257 57.28/57.36 o 257 57.28/57.36 c Elapsed CPU time: 56.5404 s Remaining CPU time: 123.46 s 57.28/57.36 c =============================================================================== 57.28/57.36 c | 287457 | 864 1322 5544 | 5000 18209 64 | 0.000 % | 57.38/57.47 c | 287559 | 864 1322 5544 | 5500 4655 64 | 0.000 % | 57.38/57.48 c | 287710 | 864 1322 5544 | 6050 4806 64 | 0.000 % | 57.48/57.50 c | 287936 | 864 1322 5544 | 6655 5032 63 | 0.000 % | 57.48/57.53 c | 288274 | 864 1322 5544 | 7320 5370 62 | 0.000 % | 57.48/57.58 c | 288781 | 864 1322 5544 | 8052 5877 64 | 0.000 % | 57.57/57.67 c | 289541 | 864 1322 5544 | 8857 6637 65 | 0.000 % | 57.68/57.79 c | 290680 | 864 1322 5544 | 9743 7776 67 | 0.000 % | 57.87/57.96 c | 292388 | 864 1322 5544 | 10717 9484 67 | 0.001 % | 58.18/58.25 c | 294950 | 864 1322 5544 | 11789 6385 72 | 0.000 % | 58.57/58.68 c | 298795 | 864 1322 5544 | 12968 10230 72 | 0.000 % | 59.38/59.46 c | 304561 | 864 1322 5544 | 14265 9204 57 | 0.000 % | 60.38/60.49 c | 313211 | 864 1322 5544 | 15692 10628 53 | 0.000 % | 62.18/62.24 c | 326185 | 864 1322 5544 | 17261 15678 49 | 0.000 % | 67.27/67.36 c | 345646 | 864 1322 5544 | 18987 8868 56 | 0.000 % | 73.27/73.31 c | 374839 | 864 1322 5544 | 20886 18824 51 | 0.000 % | 83.97/84.04 c | 418629 | 864 1322 5544 | 22974 20346 49 | 0.001 % | 103.37/103.48 c | 484314 | 864 1322 5544 | 25272 11940 45 | 0.000 % | 113.17/113.24 c =============================================================================== 113.17/113.24 c New solution: 3 113.17/113.24 o 3 113.17/113.24 c Elapsed CPU time: 111.714 s Remaining CPU time: 68.286 s 113.17/113.24 c =============================================================================== 113.17/113.24 c | 537281 | 863 1323 5553 | 5000 21054 54 | 0.000 % | 113.27/113.33 c | 537381 | 774 1323 5553 | 5500 2732 59 | 10.418 % | 113.27/113.35 c | 537531 | 774 1323 5553 | 6050 2882 61 | 10.417 % | 113.27/113.37 c | 537756 | 774 1323 5553 | 6655 3107 62 | 10.417 % | 113.36/113.41 c | 538093 | 774 1323 5553 | 7320 3444 63 | 10.417 % | 113.36/113.46 c | 538599 | 774 1323 5553 | 8052 3950 64 | 10.418 % | 113.46/113.54 c | 539359 | 774 1323 5553 | 8857 4710 64 | 10.417 % | 113.56/113.67 c | 540499 | 774 1323 5553 | 9743 5850 67 | 10.418 % | 113.96/114.01 c | 542208 | 774 1323 5553 | 10717 7559 64 | 10.417 % | 114.26/114.32 c | 544771 | 774 1323 5553 | 11789 10122 65 | 10.418 % | 114.66/114.76 c | 548615 | 774 1323 5553 | 12968 7846 63 | 10.417 % | 115.76/115.82 c | 554381 | 774 1323 5553 | 14265 13612 64 | 10.417 % | 118.16/118.20 c | 563030 | 774 1323 5553 | 15692 7814 38 | 10.417 % | 121.76/121.85 c | 576004 | 774 1323 5553 | 17261 12853 39 | 10.417 % | 125.95/126.07 c | 595465 | 774 1323 5553 | 18987 14609 57 | 10.417 % | 133.35/133.42 c | 624657 | 774 1323 5553 | 20886 14762 37 | 10.418 % | 141.86/141.94 c | 668447 | 774 1323 5553 | 22974 15397 65 | 10.417 % | 158.65/158.78 c | 734132 | 774 1323 5553 | 25272 18228 54 | 10.417 % | 182.24/182.39 c There are 90 assigned variables. 9 in cost function.
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-2701924-1278546258/watcher-2701924-1278546258 -o /tmp/evaluation-result-2701924-1278546258/solver-2701924-1278546258 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2701924-1278546258.opb 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): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.04 0.01 0.00 2/106 1432 /proc/meminfo: memFree=1599436/2059040 swapFree=4139384/4192956 [pid=1432] ppid=1430 vsize=2760 CPUtime=0 /proc/1432/stat : 1432 (wbo1.4b) R 1430 1432 1088 0 -1 4202496 306 0 0 0 0 0 0 0 20 0 1 0 22839639 2826240 225 1992294400 134512640 135751879 4287619776 18446744073709551615 134559686 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1432/statm: 690 225 139 303 0 373 0 [startup+0.0554171 s] /proc/loadavg: 0.04 0.01 0.00 2/106 1432 /proc/meminfo: memFree=1599436/2059040 swapFree=4139384/4192956 [pid=1432] ppid=1430 vsize=3108 CPUtime=0.05 /proc/1432/stat : 1432 (wbo1.4b) R 1430 1432 1088 0 -1 4202496 422 0 0 0 5 0 0 0 20 0 1 0 22839639 3182592 329 1992294400 134512640 135751879 4287619776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1432/statm: 777 329 147 303 0 472 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3108 [startup+0.101421 s] /proc/loadavg: 0.04 0.01 0.00 2/106 1432 /proc/meminfo: memFree=1599436/2059040 swapFree=4139384/4192956 [pid=1432] ppid=1430 vsize=3364 CPUtime=0.09 /proc/1432/stat : 1432 (wbo1.4b) R 1430 1432 1088 0 -1 4202496 488 0 0 0 9 0 0 0 20 0 1 0 22839639 3444736 395 1992294400 134512640 135751879 4287619776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1432/statm: 841 395 147 303 0 536 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3364 [startup+0.301445 s] /proc/loadavg: 0.04 0.01 0.00 2/106 1432 /proc/meminfo: memFree=1599436/2059040 swapFree=4139384/4192956 [pid=1432] ppid=1430 vsize=3884 CPUtime=0.29 /proc/1432/stat : 1432 (wbo1.4b) R 1430 1432 1088 0 -1 4202496 646 0 0 0 28 1 0 0 20 0 1 0 22839639 3977216 553 1992294400 134512640 135751879 4287619776 18446744073709551615 134616714 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1432/statm: 971 553 147 303 0 666 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3884 [startup+0.701491 s] /proc/loadavg: 0.04 0.01 0.00 2/106 1432 /proc/meminfo: memFree=1599436/2059040 swapFree=4139384/4192956 [pid=1432] ppid=1430 vsize=5316 CPUtime=0.69 /proc/1432/stat : 1432 (wbo1.4b) R 1430 1432 1088 0 -1 4202496 980 0 0 0 67 2 0 0 21 0 1 0 22839639 5443584 887 1992294400 134512640 135751879 4287619776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1432/statm: 1329 887 147 303 0 1024 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5316 [startup+1.50059 s] /proc/loadavg: 0.04 0.01 0.00 2/107 1434 /proc/meminfo: memFree=1595832/2059040 swapFree=4139384/4192956 [pid=1432] ppid=1430 vsize=7500 CPUtime=1.49 /proc/1432/stat : 1432 (wbo1.4b) R 1430 1432 1088 0 -1 4202496 1525 0 0 0 146 3 0 0 23 0 1 0 22839639 7680000 1432 1992294400 134512640 135751879 4287619776 18446744073709551615 134616363 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1432/statm: 1875 1432 147 303 0 1570 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7500 [startup+3.10077 s] /proc/loadavg: 0.04 0.01 0.00 2/107 1434 /proc/meminfo: memFree=1592360/2059040 swapFree=4139384/4192956 [pid=1432] ppid=1430 vsize=11500 CPUtime=3.09 /proc/1432/stat : 1432 (wbo1.4b) R 1430 1432 1088 0 -1 4202496 2523 0 0 0 303 6 0 0 25 0 1 0 22839639 11776000 2430 1992294400 134512640 135751879 4287619776 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1432/statm: 2875 2430 148 303 0 2570 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11500 [startup+6.30115 s] /proc/loadavg: 0.12 0.03 0.01 2/107 1434 /proc/meminfo: memFree=1587276/2059040 swapFree=4139384/4192956 [pid=1432] ppid=1430 vsize=15916 CPUtime=6.29 /proc/1432/stat : 1432 (wbo1.4b) R 1430 1432 1088 0 -1 4202496 3634 0 0 0 618 11 0 0 25 0 1 0 22839639 16297984 3541 1992294400 134512640 135751879 4287619776 18446744073709551615 134606399 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1432/statm: 3979 3541 148 303 0 3674 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15916 [startup+12.7009 s] /proc/loadavg: 0.19 0.05 0.01 2/107 1434 /proc/meminfo: memFree=1572272/2059040 swapFree=4139384/4192956 [pid=1432] ppid=1430 vsize=30564 CPUtime=12.69 /proc/1432/stat : 1432 (wbo1.4b) R 1430 1432 1088 0 -1 4202496 7294 0 0 0 1249 20 0 0 25 0 1 0 22839639 31297536 7201 1992294400 134512640 135751879 4287619776 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1432/statm: 7641 7201 148 303 0 7336 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30564 [startup+25.5014 s] /proc/loadavg: 0.37 0.09 0.03 2/107 1435 /proc/meminfo: memFree=1552928/2059040 swapFree=4139384/4192956 [pid=1432] ppid=1430 vsize=49772 CPUtime=25.49 /proc/1432/stat : 1432 (wbo1.4b) R 1430 1432 1088 0 -1 4202496 12093 0 0 0 2511 38 0 0 25 0 1 0 22839639 50966528 12000 1992294400 134512640 135751879 4287619776 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1432/statm: 12443 12000 148 303 0 12138 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 49772 [startup+51.1014 s] /proc/loadavg: 0.58 0.16 0.05 2/107 1435 /proc/meminfo: memFree=1511760/2059040 swapFree=4139384/4192956 [pid=1432] ppid=1430 vsize=91860 CPUtime=51.07 /proc/1432/stat : 1432 (wbo1.4b) R 1430 1432 1088 0 -1 4202496 22597 0 0 0 5034 73 0 0 25 0 1 0 22839639 94064640 22504 1992294400 134512640 135751879 4287619776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1432/statm: 22965 22504 148 303 0 22660 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 91860 [startup+102.308 s] /proc/loadavg: 0.87 0.31 0.10 2/107 1437 /proc/meminfo: memFree=1445916/2059040 swapFree=4139384/4192956 [pid=1432] ppid=1430 vsize=156164 CPUtime=102.27 /proc/1432/stat : 1432 (wbo1.4b) R 1430 1432 1088 0 -1 4202496 38626 0 0 0 10091 136 0 0 25 0 1 0 22839639 159911936 38533 1992294400 134512640 135751879 4287619776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1432/statm: 39041 38533 148 303 0 38736 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 156164 [startup+162.301 s] /proc/loadavg: 1.00 0.44 0.16 2/107 1438 /proc/meminfo: memFree=1366308/2059040 swapFree=4139384/4192956 [pid=1432] ppid=1430 vsize=236420 CPUtime=162.25 /proc/1432/stat : 1432 (wbo1.4b) R 1430 1432 1088 0 -1 4202496 58631 0 0 0 16013 212 0 0 25 0 1 0 22839639 242094080 58538 1992294400 134512640 135751879 4287619776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1432/statm: 59105 58538 148 303 0 58800 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 236420 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 1.00 0.45 0.17 2/107 1438 /proc/meminfo: memFree=1361968/2059040 swapFree=4139384/4192956 [pid=1432] ppid=1430 vsize=240040 CPUtime=166.25 /proc/1432/stat : 1432 (wbo1.4b) R 1430 1432 1088 0 -1 4202496 59547 0 0 0 16409 216 0 0 25 0 1 0 22839639 245800960 59454 1992294400 134512640 135751879 4287619776 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1432/statm: 60010 59454 148 303 0 59705 0 Current children cumulated CPU time (s) 166.25 Current children cumulated vsize (KiB) 240040 [startup+172.708 s] /proc/loadavg: 1.00 0.46 0.17 2/107 1439 /proc/meminfo: memFree=1355520/2059040 swapFree=4139384/4192956 [pid=1432] ppid=1430 vsize=246484 CPUtime=172.65 /proc/1432/stat : 1432 (wbo1.4b) R 1430 1432 1088 0 -1 4202496 61151 0 0 0 17042 223 0 0 25 0 1 0 22839639 252399616 61058 1992294400 134512640 135751879 4287619776 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1432/statm: 61621 61058 148 303 0 61316 0 Current children cumulated CPU time (s) 172.65 Current children cumulated vsize (KiB) 246484 [startup+179.101 s] /proc/loadavg: 1.00 0.47 0.18 2/107 1439 /proc/meminfo: memFree=1350560/2059040 swapFree=4139384/4192956 [pid=1432] ppid=1430 vsize=252088 CPUtime=179.05 /proc/1432/stat : 1432 (wbo1.4b) R 1430 1432 1088 0 -1 4202496 62534 0 0 0 17674 231 0 0 25 0 1 0 22839639 258138112 62441 1992294400 134512640 135751879 4287619776 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1432/statm: 63022 62441 148 303 0 62717 0 Current children cumulated CPU time (s) 179.05 Current children cumulated vsize (KiB) 252088 [startup+180.702 s] /proc/loadavg: 1.00 0.48 0.18 2/107 1439 /proc/meminfo: memFree=1349196/2059040 swapFree=4139384/4192956 [pid=1432] ppid=1430 vsize=253112 CPUtime=180.65 /proc/1432/stat : 1432 (wbo1.4b) R 1430 1432 1088 0 -1 4202496 62789 0 0 0 17832 233 0 0 25 0 1 0 22839639 259186688 62696 1992294400 134512640 135751879 4287619776 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1432/statm: 63278 62696 148 303 0 62973 0 Current children cumulated CPU time (s) 180.65 Current children cumulated vsize (KiB) 253112 [startup+182.301 s] /proc/loadavg: 1.00 0.48 0.18 2/107 1439 /proc/meminfo: memFree=1347708/2059040 swapFree=4139384/4192956 [pid=1432] ppid=1430 vsize=255460 CPUtime=182.24 /proc/1432/stat : 1432 (wbo1.4b) R 1430 1432 1088 0 -1 4202496 63382 0 0 0 17990 234 0 0 25 0 1 0 22839639 261591040 63289 1992294400 134512640 135751879 4287619776 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1432/statm: 63865 63289 148 303 0 63560 0 Current children cumulated CPU time (s) 182.24 Current children cumulated vsize (KiB) 255460 [startup+183.101 s] /proc/loadavg: 1.00 0.48 0.18 2/107 1439 /proc/meminfo: memFree=1319064/2059040 swapFree=4139384/4192956 [pid=1432] ppid=1430 vsize=255720 CPUtime=183.03 /proc/1432/stat : 1432 (wbo1.4b) R 1430 1432 1088 0 -1 4204032 63440 0 0 0 18000 303 0 0 18 0 1 0 22839639 261857280 63347 1992294400 134512640 135751879 4287619776 18446744073709551615 134639954 0 0 4096 3 0 0 0 17 0 0 0 1 /proc/1432/statm: 63930 63347 148 303 0 63625 0 Current children cumulated CPU time (s) 183.03 Current children cumulated vsize (KiB) 255720 [startup+183.301 s] /proc/loadavg: 1.00 0.48 0.18 2/107 1439 /proc/meminfo: memFree=1319064/2059040 swapFree=4139384/4192956 [pid=1432] ppid=1430 vsize=255720 CPUtime=183.22 /proc/1432/stat : 1432 (wbo1.4b) R 1430 1432 1088 0 -1 4204032 63440 0 0 0 18000 322 0 0 18 0 1 0 22839639 261857280 63347 1992294400 134512640 135751879 4287619776 18446744073709551615 134639954 0 0 4096 3 0 0 0 17 1 0 0 2 /proc/1432/statm: 63930 63347 148 303 0 63625 0 Current children cumulated CPU time (s) 183.22 Current children cumulated vsize (KiB) 255720 [startup+183.401 s] /proc/loadavg: 1.00 0.48 0.18 2/107 1439 /proc/meminfo: memFree=1319064/2059040 swapFree=4139384/4192956 [pid=1432] ppid=1430 vsize=255720 CPUtime=183.32 /proc/1432/stat : 1432 (wbo1.4b) R 1430 1432 1088 0 -1 4204032 63440 0 0 0 18000 332 0 0 18 0 1 0 22839639 261857280 63347 1992294400 134512640 135751879 4287619776 18446744073709551615 134639954 0 0 4096 3 0 0 0 17 1 0 0 2 /proc/1432/statm: 63930 63347 148 303 0 63625 0 Current children cumulated CPU time (s) 183.32 Current children cumulated vsize (KiB) 255720 Child ended because it received signal 11 (SIGSEGV) Child dumped core Real time (s): 183.443 CPU time (s): 183.366 CPU user time (s): 180.001 CPU system time (s): 3.36549 CPU usage (%): 99.9583 Max. virtual memory (cumulated for all children) (KiB): 255720 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.001 system time used= 3.36549 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 63441 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= 154 runsolver used 0.32295 second user time and 0.855869 second system time The end
Begin job on node001 at 2010-07-08 01:44:18 IDJOB=2701924 IDBENCH=47897 IDSOLVER=1161 FILE ID=node001/2701924-1278546258 PBS_JOBID= 11239529 Free space on /tmp= 62472 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=173-P1=23-P2=211-P3=199-P4=389-P5=269-P6=383-P7=211-P8=347-B.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2701924-1278546258/watcher-2701924-1278546258 -o /tmp/evaluation-result-2701924-1278546258/solver-2701924-1278546258 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2701924-1278546258.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 98317fc891a56a06b9f6f284bcd4ad38 RANDOM SEED=1121558703 node001.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.215 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.215 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1600460 kB Buffers: 66648 kB Cached: 289120 kB SwapCached: 7252 kB Active: 110016 kB Inactive: 259696 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1600460 kB SwapTotal: 4192956 kB SwapFree: 4139384 kB Dirty: 2884 kB Writeback: 0 kB AnonPages: 11404 kB Mapped: 11864 kB Slab: 67088 kB PageTables: 4152 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180016 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2701924-1278546258.opb Free space on /tmp at the end= 62224 MiB End job on node001 at 2010-07-08 01:47:22