Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.15 | 1800.76 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_60_1.opb |
MD5SUM | 04b9af5ff2583cb908a8972f40516a9e |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 44 |
Best CPU time to get the best result obtained on this benchmark | 1800.25 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 37 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1000 |
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 | 1000 |
Minimum length of a constraint | 61 |
Maximum length of a constraint | 110 |
Number of terms in the objective function | 1000 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1000 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 75586 |
Sum of products size (including duplicates) | 151172 |
Number of different products | 75586 |
Sum of products size | 151172 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702363-1278564738.opb. 0.00/0.00 c Instance file HOME/instance-2702363-1278564738.opb 0.00/0.00 c File size is 5927827 bytes. 1.00/1.08 c Highest Coefficient sum: 111 1.00/1.09 c ============================[ Problem Statistics ]============================= 1.00/1.09 c | | 1.00/1.09 c | Parsing time: 1.05 s | 1.00/1.09 c | Number Variables: 76586 | 1.00/1.09 c | Number Clauses: 76586 | 1.00/1.09 c | Number Cardinality: 0 | 1.00/1.09 c | Number PB Constraints: 75586 | 1.19/1.20 c ============================[ Search Statistics ]============================== 1.19/1.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.20 c =============================================================================== 1.19/1.20 c | 0 | 76586 152172 530102 | 50724 0 nan | 0.000 % | 1.19/1.29 c =============================================================================== 1.19/1.29 c New solution: 999 1.19/1.29 o 999 1.19/1.29 c Elapsed CPU time: 1.24081 s Remaining CPU time: 178.759 s 1.19/1.29 c =============================================================================== 1.19/1.29 c | 0 | 76586 152173 531102 | 50724 0 nan | 0.000 % | 1.29/1.36 c =============================================================================== 1.29/1.36 c New solution: 998 1.29/1.36 o 998 1.29/1.36 c Elapsed CPU time: 1.3098 s Remaining CPU time: 178.69 s 1.29/1.36 c =============================================================================== 1.29/1.36 c | 0 | 76586 152174 532102 | 50724 0 nan | 0.000 % | 1.39/1.44 c =============================================================================== 1.39/1.44 c New solution: 997 1.39/1.44 o 997 1.39/1.44 c Elapsed CPU time: 1.38279 s Remaining CPU time: 178.617 s 1.39/1.44 c =============================================================================== 1.39/1.44 c | 0 | 76586 152175 533102 | 50725 0 nan | 0.000 % | 1.49/1.51 c =============================================================================== 1.49/1.51 c New solution: 996 1.49/1.51 o 996 1.49/1.51 c Elapsed CPU time: 1.45278 s Remaining CPU time: 178.547 s 1.49/1.51 c =============================================================================== 1.49/1.51 c | 0 | 76586 152176 534102 | 50725 0 nan | 0.000 % | 1.49/1.58 c =============================================================================== 1.49/1.58 c New solution: 995 1.49/1.58 o 995 1.49/1.58 c Elapsed CPU time: 1.52577 s Remaining CPU time: 178.474 s 1.49/1.58 c =============================================================================== 1.49/1.58 c | 0 | 76586 152177 535102 | 50725 0 nan | 0.000 % | 1.59/1.66 c =============================================================================== 1.59/1.66 c New solution: 994 1.59/1.66 o 994 1.59/1.66 c Elapsed CPU time: 1.59976 s Remaining CPU time: 178.4 s 1.59/1.66 c =============================================================================== 1.59/1.66 c | 0 | 76586 152178 536102 | 50726 0 nan | 0.000 % | 1.69/1.73 c =============================================================================== 1.69/1.73 c New solution: 993 1.69/1.73 o 993 1.69/1.73 c Elapsed CPU time: 1.67475 s Remaining CPU time: 178.325 s 1.69/1.73 c =============================================================================== 1.69/1.73 c | 0 | 76586 152179 537102 | 50726 0 nan | 0.000 % | 1.79/1.81 c =============================================================================== 1.79/1.81 c New solution: 992 1.79/1.81 o 992 1.79/1.81 c Elapsed CPU time: 1.74873 s Remaining CPU time: 178.251 s 1.79/1.81 c =============================================================================== 1.79/1.81 c | 0 | 76586 152180 538102 | 50726 0 nan | 0.000 % | 1.89/1.90 c =============================================================================== 1.89/1.90 c New solution: 765 1.89/1.90 o 765 1.89/1.90 c Elapsed CPU time: 1.83272 s Remaining CPU time: 178.167 s 1.89/1.90 c =============================================================================== 1.89/1.90 c | 0 | 76586 152181 539102 | 50727 0 nan | 0.000 % | 1.89/1.99 c =============================================================================== 1.89/1.99 c New solution: 764 1.89/1.99 o 764 1.89/1.99 c Elapsed CPU time: 1.91271 s Remaining CPU time: 178.087 s 1.89/1.99 c =============================================================================== 1.89/1.99 c | 0 | 76586 152182 540102 | 50727 0 nan | 0.000 % | 2.10/2.11 c =============================================================================== 2.10/2.11 c New solution: 298 2.10/2.11 o 298 2.10/2.11 c Elapsed CPU time: 2.03169 s Remaining CPU time: 177.968 s 2.10/2.11 c =============================================================================== 2.10/2.11 c | 0 | 76586 152183 541102 | 50727 0 nan | 0.000 % | 2.20/2.22 c =============================================================================== 2.20/2.22 c New solution: 297 2.20/2.22 o 297 2.20/2.22 c Elapsed CPU time: 2.13767 s Remaining CPU time: 177.862 s 2.20/2.22 c =============================================================================== 2.20/2.22 c | 0 | 76586 152184 542102 | 50728 0 nan | 0.000 % | 2.29/2.34 c =============================================================================== 2.29/2.34 c New solution: 296 2.29/2.34 o 296 2.29/2.34 c Elapsed CPU time: 2.25866 s Remaining CPU time: 177.741 s 2.29/2.34 c =============================================================================== 2.29/2.34 c | 2 | 76586 152185 543102 | 50728 2 297 | 0.000 % | 2.39/2.48 c =============================================================================== 2.39/2.48 c New solution: 50 2.39/2.48 o 50 2.39/2.48 c Elapsed CPU time: 2.40063 s Remaining CPU time: 177.599 s 2.39/2.48 c =============================================================================== 2.39/2.48 c | 2 | 76586 152186 544102 | 50728 2 297 | 0.000 % | 3.68/3.78 c | 104 | 76586 152186 544102 | 55801 104 137 | 0.000 % | 4.40/4.49 c | 254 | 76586 152186 544102 | 61381 254 187 | 0.000 % | 4.59/4.64 c =============================================================================== 4.59/4.64 c New solution: 49 4.59/4.64 o 49 4.59/4.64 c Elapsed CPU time: 4.54631 s Remaining CPU time: 175.454 s 4.59/4.64 c =============================================================================== 4.59/4.64 c | 254 | 76586 152187 545102 | 50729 254 187 | 0.000 % | 4.69/4.78 c =============================================================================== 4.69/4.78 c New solution: 48 4.69/4.78 o 48 4.69/4.78 c Elapsed CPU time: 4.68329 s Remaining CPU time: 175.317 s 4.69/4.78 c =============================================================================== 4.69/4.78 c | 256 | 76586 152188 546102 | 50729 256 187 | 0.000 % | 4.88/4.98 c =============================================================================== 4.88/4.98 c New solution: 47 4.88/4.98 o 47 4.88/4.98 c Elapsed CPU time: 4.88726 s Remaining CPU time: 175.113 s 4.88/4.98 c =============================================================================== 4.88/4.98 c | 320 | 76586 152189 547102 | 50729 320 217 | 0.000 % | 5.19/5.20 c | 421 | 76586 152189 547102 | 55802 421 268 | 0.000 % | 5.50/5.51 c | 571 | 76586 152189 547102 | 61382 571 316 | 0.000 % | 5.79/5.87 c | 797 | 76586 152189 547102 | 67521 797 364 | 0.000 % | 6.29/6.37 c | 1135 | 76586 152189 547102 | 74273 1135 374 | 0.000 % | 7.08/7.11 c | 1642 | 76586 152189 547102 | 81700 1642 374 | 0.000 % | 8.09/8.18 c | 2402 | 76586 152189 547102 | 89870 2402 391 | 0.000 % | 9.80/9.83 c | 3541 | 76586 152189 547102 | 98857 3541 405 | 0.000 % | 11.79/11.80 c | 5249 | 76586 152189 547102 | 108743 5249 413 | 0.000 % | 12.00/12.05 c =============================================================================== 12.00/12.05 c New solution: 46 12.00/12.05 o 46 12.00/12.05 c Elapsed CPU time: 11.8932 s Remaining CPU time: 168.107 s 12.00/12.05 c =============================================================================== 12.00/12.05 c | 5311 | 76586 152190 548102 | 50730 5311 411 | 0.000 % | 12.19/12.29 c | 5413 | 76586 152190 548102 | 55803 5413 410 | 0.000 % | 12.49/12.56 c | 5563 | 76586 152190 548102 | 61383 5563 408 | 0.000 % | 12.89/12.93 c | 5788 | 76586 152190 548102 | 67521 5788 410 | 0.000 % | 13.39/13.41 c | 6125 | 76586 152190 548102 | 74273 6125 408 | 0.000 % | 14.09/14.17 c | 6631 | 76586 152190 548102 | 81701 6631 410 | 0.000 % | 15.09/15.10 c | 7391 | 76586 152190 548102 | 89871 7391 402 | 0.000 % | 16.39/16.50 c | 8531 | 76586 152190 548102 | 98858 8531 390 | 0.000 % | 18.69/18.77 c | 10239 | 76586 152190 548102 | 108744 10239 410 | 0.000 % | 21.68/21.75 c | 12801 | 76586 152190 548102 | 119618 12801 397 | 0.000 % | 26.68/26.77 c | 16645 | 76586 152190 548102 | 131580 16645 400 | 0.000 % | 34.09/34.18 c | 22411 | 76586 152190 548102 | 144738 22411 444 | 0.000 % | 48.48/48.57 c | 31061 | 76586 152190 548102 | 159212 31061 450 | 0.000 % | 69.17/69.28 c | 44035 | 76586 152190 548102 | 175133 44035 454 | 0.000 % | 104.86/104.97 c | 63499 | 76586 152190 548102 | 192647 63499 480 | 0.000 % | 105.35/105.47 c =============================================================================== 105.35/105.47 c New solution: 45 105.35/105.47 o 45 105.35/105.47 c Elapsed CPU time: 104.642 s Remaining CPU time: 75.3579 s 105.35/105.47 c =============================================================================== 105.35/105.47 c | 63749 | 76586 152191 549102 | 50730 63749 480 | 0.000 % | 105.85/105.91 c | 63851 | 76586 152191 549102 | 55803 12247 591 | 0.000 % | 106.05/106.19 c | 64001 | 76586 152191 549102 | 61383 12397 588 | 0.000 % | 106.56/106.62 c | 64227 | 76586 152191 549102 | 67522 12623 584 | 0.000 % | 107.05/107.16 c | 64567 | 76586 152191 549102 | 74274 12963 578 | 0.000 % | 107.85/107.99 c | 65073 | 76586 152191 549102 | 81701 13469 571 | 0.000 % | 109.15/109.24 c | 65832 | 76586 152191 549102 | 89871 14228 557 | 0.000 % | 110.75/110.88 c | 66973 | 76586 152191 549102 | 98859 15369 547 | 0.000 % | 113.35/113.49 c | 68681 | 76586 152191 549102 | 108744 17077 533 | 0.000 % | 116.75/116.85 c | 71244 | 76586 152191 549102 | 119619 19640 523 | 0.000 % | 122.54/122.63 c | 75089 | 76586 152191 549102 | 131581 23485 514 | 0.000 % | 130.15/130.22 c | 80855 | 76586 152191 549102 | 144739 29251 492 | 0.000 % | 143.84/143.91 c | 89505 | 76586 152191 549102 | 159213 37901 484 | 0.000 % | 169.34/169.41 c | 102482 | 76586 152191 549102 | 175134 50878 460 | 0.000 % | 181.23/181.39 c There are 0 assigned variables. 0 in cost function. 182.33/182.44 c core #1 182.33/182.44 c 182.33/182.44 c 182.33/182.44 c Core size: 122 Core Weight: 1 Total Weight: 1 182.33/182.44 c 182.33/182.44 c 182.33/182.44 c core #2 182.33/182.44 c 182.33/182.44 c 182.33/182.44 c Core size: 126 Core Weight: 1 Total Weight: 2 182.33/182.44 c 182.33/182.44 c 182.33/182.44 c ============================[ Search Statistics ]============================== 182.33/182.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.33/182.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.33/182.44 c =============================================================================== 182.33/182.44 c | 0 | 9841 153193 338495 | 51064 0 nan | 0.000 % | 182.33/182.49 c =============================================================================== 182.83/182.96 c core #3 182.83/182.96 c 182.83/182.96 c 182.83/182.96 c Core size: 454 Core Weight: 1 Total Weight: 3 182.83/182.96 c 182.83/182.96 c 182.83/182.96 c ============================[ Search Statistics ]============================== 182.83/182.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.83/182.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.83/182.96 c =============================================================================== 182.83/182.96 c | 0 | 26004 153194 389351 | 51064 0 nan | 0.000 % | 183.54/183.64 c | 105 | 26004 153194 389351 | 56171 105 396 | 66.198 % | 185.43/185.57 c =============================================================================== 185.92/186.07 c core #4 185.92/186.07 c 185.92/186.07 c 185.92/186.07 c Core size: 1206 Core Weight: 1 Total Weight: 4 185.92/186.07 c 185.92/186.07 c 185.92/186.07 c ============================[ Search Statistics ]============================== 185.92/186.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.92/186.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.92/186.07 c =============================================================================== 185.92/186.07 c | 0 | 56574 153195 479705 | 51065 0 nan | 0.000 % | 186.73/186.82 c | 100 | 56574 153195 479705 | 56171 100 465 | 27.010 % | 188.63/188.74 c | 250 | 56574 153195 479705 | 61788 250 451 | 27.010 % | 193.12/193.28 c | 475 | 56574 153195 479705 | 67967 475 423 | 27.010 % | 198.53/198.64 c | 816 | 56574 153195 479705 | 74764 816 430 | 27.010 % | 207.83/207.91 c | 1322 | 56574 153195 479705 | 82240 1322 522 | 27.010 % | 224.33/224.44 c | 2081 | 56574 153195 479705 | 90464 2081 480 | 27.010 % | 247.61/247.71 c | 3220 | 56574 153195 479705 | 99511 3220 433 | 27.010 % | 285.49/285.67 c | 4931 | 56574 153195 479705 | 109462 4931 477 | 27.010 % | 341.07/341.29 c | 7493 | 56574 153195 479705 | 120408 7493 540 | 27.010 % | 416.85/417.06 c | 11341 | 56574 153195 479705 | 132449 11341 563 | 27.010 % | 515.92/516.13 c | 17108 | 56574 153195 479705 | 145694 17108 759 | 27.010 % | 674.46/674.75 c | 25757 | 56574 153195 479705 | 160263 25757 929 | 27.010 % | 974.27/974.64 c | 38731 | 56574 153195 479705 | 176290 38731 938 | 27.010 % | 1045.44/1045.88 c =============================================================================== 1046.93/1047.30 c core #5 1046.93/1047.30 c 1046.93/1047.30 c 1046.93/1047.30 c Core size: 4494 Core Weight: 1 Total Weight: 5 1046.93/1047.30 c 1046.93/1047.30 c 1046.93/1047.30 c ============================[ Search Statistics ]============================== 1046.93/1047.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 1046.93/1047.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1046.93/1047.30 c =============================================================================== 1046.93/1047.30 c | 0 | 78509 153196 553948 | 51065 0 nan | 0.000 % | 1047.84/1048.22 c | 102 | 78509 153196 553948 | 56171 102 683 | 0.000 % | 1050.23/1050.69 c | 253 | 78509 153196 553948 | 61789 253 583 | 0.000 % | 1054.83/1055.28 c | 478 | 78509 153196 553948 | 67967 478 596 | 0.000 % | 1060.04/1060.46 c | 815 | 78509 153196 553948 | 74764 815 539 | 0.000 % | 1075.33/1075.80 c | 1323 | 78509 153196 553948 | 82241 1323 461 | 0.000 % | 1089.31/1089.76 c | 2084 | 78509 153196 553948 | 90465 2084 449 | 0.000 % | 1110.01/1110.42 c | 3223 | 78509 153196 553948 | 99511 3223 473 | 0.000 % | 1141.70/1142.18 c | 4931 | 78509 153196 553948 | 109463 4931 609 | 0.000 % | 1189.88/1190.35 c | 7494 | 78509 153196 553948 | 120409 7494 696 | 0.000 % | 1261.06/1261.59 c | 11338 | 78509 153196 553948 | 132450 11338 657 | 0.000 % | 1354.03/1354.54 c | 17105 | 78509 153196 553948 | 145695 17105 649 | 0.000 % | 1511.78/1512.35 c | 25755 | 78509 153196 553948 | 160264 25755 613 | 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-2702363-1278564738/watcher-2702363-1278564738 -o /tmp/evaluation-result-2702363-1278564738/solver-2702363-1278564738 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702363-1278564738.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: 1.00 1.00 1.00 3/106 29746 /proc/meminfo: memFree=1768856/2059040 swapFree=4080076/4192956 [pid=29746] ppid=29744 vsize=8832 CPUtime=0 /proc/29746/stat : 29746 (wbo1.4b) R 29744 29746 29511 0 -1 4202496 405 0 0 0 0 0 0 0 18 0 1 0 24681443 9043968 324 1992294400 134512640 135752675 4291096720 18446744073709551615 134609663 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29746/statm: 2208 324 138 303 0 455 0 [startup+0.0934189 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29746 /proc/meminfo: memFree=1768856/2059040 swapFree=4080076/4192956 [pid=29746] ppid=29744 vsize=15692 CPUtime=0.08 /proc/29746/stat : 29746 (wbo1.4b) R 29744 29746 29511 0 -1 4202496 2094 0 0 0 8 0 0 0 20 0 1 0 24681443 16068608 1923 1992294400 134512640 135752675 4291096720 18446744073709551615 135378670 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29746/statm: 3923 1925 239 303 0 2170 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 15692 [startup+0.10142 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29746 /proc/meminfo: memFree=1768856/2059040 swapFree=4080076/4192956 [pid=29746] ppid=29744 vsize=17340 CPUtime=0.09 /proc/29746/stat : 29746 (wbo1.4b) R 29744 29746 29511 0 -1 4202496 2294 0 0 0 9 0 0 0 20 0 1 0 24681443 17756160 2123 1992294400 134512640 135752675 4291096720 18446744073709551615 134574025 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29746/statm: 4335 2123 249 303 0 2582 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17340 [startup+0.301457 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29746 /proc/meminfo: memFree=1768856/2059040 swapFree=4080076/4192956 [pid=29746] ppid=29744 vsize=23436 CPUtime=0.29 /proc/29746/stat : 29746 (wbo1.4b) R 29744 29746 29511 0 -1 4202496 4065 0 0 0 28 1 0 0 20 0 1 0 24681443 23998464 3780 1992294400 134512640 135752675 4291096720 18446744073709551615 134635507 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29746/statm: 5859 3780 512 303 0 4106 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 23436 [startup+0.701529 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29746 /proc/meminfo: memFree=1768856/2059040 swapFree=4080076/4192956 [pid=29746] ppid=29744 vsize=29904 CPUtime=0.69 /proc/29746/stat : 29746 (wbo1.4b) R 29744 29746 29511 0 -1 4202496 6204 0 0 0 67 2 0 0 20 0 1 0 24681443 30621696 5919 1992294400 134512640 135752675 4291096720 18446744073709551615 135196160 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29746/statm: 7476 5919 1049 303 0 5723 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29904 [startup+1.50168 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29747 /proc/meminfo: memFree=1744792/2059040 swapFree=4080076/4192956 [pid=29746] ppid=29744 vsize=34040 CPUtime=1.49 /proc/29746/stat : 29746 (wbo1.4b) R 29744 29746 29511 0 -1 4202496 11854 0 0 0 143 6 0 0 23 0 1 0 24681443 34856960 7343 1992294400 134512640 135752675 4291096720 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29746/statm: 8510 7343 143 303 0 8205 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34040 [startup+3.10097 s] /proc/loadavg: 1.08 1.02 1.01 2/107 29747 /proc/meminfo: memFree=1739460/2059040 swapFree=4080076/4192956 [pid=29746] ppid=29744 vsize=34964 CPUtime=3.09 /proc/29746/stat : 29746 (wbo1.4b) R 29744 29746 29511 0 -1 4202496 12062 0 0 0 301 8 0 0 25 0 1 0 24681443 35803136 7551 1992294400 134512640 135752675 4291096720 18446744073709551615 134611537 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29746/statm: 8741 7551 144 303 0 8436 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 34964 [startup+6.30155 s] /proc/loadavg: 1.08 1.02 1.01 2/107 29747 /proc/meminfo: memFree=1738344/2059040 swapFree=4080076/4192956 [pid=29746] ppid=29744 vsize=36820 CPUtime=6.29 /proc/29746/stat : 29746 (wbo1.4b) R 29744 29746 29511 0 -1 4202496 12527 0 0 0 618 11 0 0 25 0 1 0 24681443 37703680 8016 1992294400 134512640 135752675 4291096720 18446744073709551615 134638038 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29746/statm: 9205 8016 145 303 0 8900 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 36820 [startup+12.7017 s] /proc/loadavg: 1.07 1.02 1.00 2/107 29747 /proc/meminfo: memFree=1729664/2059040 swapFree=4080076/4192956 [pid=29746] ppid=29744 vsize=44780 CPUtime=12.69 /proc/29746/stat : 29746 (wbo1.4b) R 29744 29746 29511 0 -1 4202496 14533 0 0 0 1254 15 0 0 25 0 1 0 24681443 45854720 10022 1992294400 134512640 135752675 4291096720 18446744073709551615 134639434 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29746/statm: 11195 10022 145 303 0 10890 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 44780 [startup+25.501 s] /proc/loadavg: 1.06 1.01 1.00 2/107 29747 /proc/meminfo: memFree=1712924/2059040 swapFree=4080076/4192956 [pid=29746] ppid=29744 vsize=61408 CPUtime=25.48 /proc/29746/stat : 29746 (wbo1.4b) R 29744 29746 29511 0 -1 4202496 18694 0 0 0 2524 24 0 0 25 0 1 0 24681443 62881792 14183 1992294400 134512640 135752675 4291096720 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29746/statm: 15352 14183 145 303 0 15047 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 61408 [startup+51.1007 s] /proc/loadavg: 1.10 1.03 1.01 2/107 29749 /proc/meminfo: memFree=1677336/2059040 swapFree=4080076/4192956 [pid=29746] ppid=29744 vsize=97320 CPUtime=51.07 /proc/29746/stat : 29746 (wbo1.4b) R 29744 29746 29511 0 -1 4202496 27675 0 0 0 5062 45 0 0 25 0 1 0 24681443 99655680 23164 1992294400 134512640 135752675 4291096720 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29746/statm: 24330 23164 145 303 0 24025 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 97320 [startup+102.309 s] /proc/loadavg: 1.10 1.04 1.01 2/107 29749 /proc/meminfo: memFree=1615212/2059040 swapFree=4080076/4192956 [pid=29746] ppid=29744 vsize=158664 CPUtime=102.27 /proc/29746/stat : 29746 (wbo1.4b) R 29744 29746 29511 0 -1 4202496 42984 0 0 0 10149 78 0 0 25 0 1 0 24681443 162471936 38473 1992294400 134512640 135752675 4291096720 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29746/statm: 39666 38473 145 303 0 39361 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 158664 [startup+162.301 s] /proc/loadavg: 1.10 1.04 1.01 2/107 29751 /proc/meminfo: memFree=1549244/2059040 swapFree=4080076/4192956 [pid=29746] ppid=29744 vsize=224756 CPUtime=162.23 /proc/29746/stat : 29746 (wbo1.4b) R 29744 29746 29511 0 -1 4202496 59498 0 0 0 16104 119 0 0 25 0 1 0 24681443 230150144 54987 1992294400 134512640 135752675 4291096720 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29746/statm: 56189 54987 145 303 0 55884 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 224756 [startup+222.301 s] /proc/loadavg: 1.08 1.05 1.01 2/107 29753 /proc/meminfo: memFree=1522460/2059040 swapFree=4080076/4192956 [pid=29746] ppid=29744 vsize=249252 CPUtime=222.22 /proc/29746/stat : 29746 (wbo1.4b) R 29744 29746 29511 0 -1 4202496 71602 0 0 0 22085 137 0 0 25 0 1 0 24681443 255234048 61407 1992294400 134512640 135752675 4291096720 18446744073709551615 134518864 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29746/statm: 62313 61407 146 303 0 62008 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 249252 [startup+282.301 s] /proc/loadavg: 1.08 1.05 1.01 2/107 29755 /proc/meminfo: memFree=1522460/2059040 swapFree=4080076/4192956 [pid=29746] ppid=29744 vsize=249252 CPUtime=282.2 /proc/29746/stat : 29746 (wbo1.4b) R 29744 29746 29511 0 -1 4202496 71602 0 0 0 28079 141 0 0 25 0 1 0 24681443 255234048 61407 1992294400 134512640 135752675 4291096720 18446744073709551615 134638053 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29746/statm: 62313 61407 146 303 0 62008 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 249252 [startup+342.302 s] /proc/loadavg: 1.07 1.06 1.00 2/107 29755 /proc/meminfo: memFree=1522460/2059040 swapFree=4080076/4192956 [pid=29746] ppid=29744 vsize=249252 CPUtime=342.18 /proc/29746/stat : 29746 (wbo1.4b) R 29744 29746 29511 0 -1 4202496 71602 0 0 0 34073 145 0 0 25 0 1 0 24681443 255234048 61407 1992294400 134512640 135752675 4291096720 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29746/statm: 62313 61407 146 303 0 62008 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 249252 [startup+402.302 s] /proc/loadavg: 1.07 1.06 1.00 2/107 29757 /proc/meminfo: memFree=1522336/2059040 swapFree=4080076/4192956 [pid=29746] ppid=29744 vsize=249252 CPUtime=402.15 /proc/29746/stat : 29746 (wbo1.4b) R 29744 29746 29511 0 -1 4202496 71602 0 0 0 40068 147 0 0 25 0 1 0 24681443 255234048 61407 1992294400 134512640 135752675 4291096720 18446744073709551615 134605224 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29746/statm: 62313 61407 146 303 0 62008 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 249252 [startup+462.301 s] /proc/loadavg: 1.02 1.05 1.00 2/107 29759 /proc/meminfo: memFree=1522336/2059040 swapFree=4080076/4192956 [pid=29746] ppid=29744 vsize=249252 CPUtime=462.13 /proc/29746/stat : 29746 (wbo1.4b) R 29744 29746 29511 0 -1 4202496 71603 0 0 0 46062 151 0 0 25 0 1 0 24681443 255234048 61408 1992294400 134512640 135752675 4291096720 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29746/statm: 62313 61408 146 303 0 62008 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 249252 [startup+522.3 s] /proc/loadavg: 1.01 1.03 1.00 2/107 29770 /proc/meminfo: memFree=1522088/2059040 swapFree=4080076/4192956 [pid=29746] ppid=29744 vsize=249252 CPUtime=522.11 /proc/29746/stat : 29746 (wbo1.4b) R 29744 29746 29511 0 -1 4202496 71603 0 0 0 52057 154 0 0 25 0 1 0 24681443 255234048 61408 1992294400 134512640 135752675 4291096720 18446744073709551615 134605221 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29746/statm: 62313 61408 146 303 0 62008 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 249252 [startup+582.3 s] /proc/loadavg: 1.00 1.03 1.00 2/107 29772 /proc/meminfo: memFree=1522088/2059040 swapFree=4080076/4192956 [pid=29746] ppid=29744 vsize=249252 CPUtime=582.08 /proc/29746/stat : 29746 (wbo1.4b) R 29744 29746 29511 0 -1 4202496 71603 0 0 0 58051 157 0 0 25 0 1 0 24681443 255234048 61408 1992294400 134512640 135752675 4291096720 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29746/statm: 62313 61408 146 303 0 62008 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 249252 [startup+642.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 29772 /proc/meminfo: memFree=1522088/2059040 swapFree=4080076/4192956 [pid=29746] ppid=29744 vsize=249252 CPUtime=642.08 /proc/29746/stat : 29746 (wbo1.4b) R 29744 29746 29511 0 -1 4202496 71604 0 0 0 64048 160 0 0 25 0 1 0 24681443 255234048 61409 1992294400 134512640 135752675 4291096720 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29746/statm: 62313 61409 146 303 0 62008 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 249252 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29780 /proc/meminfo: memFree=1480796/2059040 swapFree=4080076/4192956 [pid=29746] ppid=29744 vsize=290668 CPUtime=881.99 /proc/29746/stat : 29746 (wbo1.4b) R 29744 29746 29511 0 -1 4202496 81944 0 0 0 88017 182 0 0 25 0 1 0 24681443 297644032 71749 1992294400 134512640 135752675 4291096720 18446744073709551615 134605224 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29746/statm: 72667 71749 146 303 0 72362 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 290668 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29780 /proc/meminfo: memFree=1473852/2059040 swapFree=4080076/4192956 [pid=29746] ppid=29744 vsize=297588 CPUtime=941.97 /proc/29746/stat : 29746 (wbo1.4b) R 29744 29746 29511 0 -1 4202496 83679 0 0 0 94010 187 0 0 25 0 1 0 24681443 304730112 73484 1992294400 134512640 135752675 4291096720 18446744073709551615 134605026 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29746/statm: 74397 73484 146 303 0 74092 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 297588 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29782 /proc/meminfo: memFree=1460832/2059040 swapFree=4080076/4192956 [pid=29746] ppid=29744 vsize=310732 CPUtime=1001.94 /proc/29746/stat : 29746 (wbo1.4b) R 29744 29746 29511 0 -1 4202496 86933 0 0 0 100000 194 0 0 25 0 1 0 24681443 318189568 76738 1992294400 134512640 135752675 4291096720 18446744073709551615 134518865 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29746/statm: 77683 76738 146 303 0 77378 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 310732 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29784 /proc/meminfo: memFree=1439752/2059040 swapFree=4080076/4192956 [pid=29746] ppid=29744 vsize=331492 CPUtime=1061.93 /proc/29746/stat : 29746 (wbo1.4b) R 29744 29746 29511 0 -1 4202496 92918 0 0 0 105991 202 0 0 25 0 1 0 24681443 339447808 81813 1992294400 134512640 135752675 4291096720 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29746/statm: 82873 81813 146 303 0 82568 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 331492 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29786 /proc/meminfo: memFree=1439752/2059040 swapFree=4080076/4192956 [pid=29746] ppid=29744 vsize=331492 CPUtime=1121.9 /proc/29746/stat : 29746 (wbo1.4b) R 29744 29746 29511 0 -1 4202496 92920 0 0 0 111983 207 0 0 25 0 1 0 24681443 339447808 81815 1992294400 134512640 135752675 4291096720 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29746/statm: 82873 81815 146 303 0 82568 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 331492 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29788 /proc/meminfo: memFree=1439752/2059040 swapFree=4080076/4192956 [pid=29746] ppid=29744 vsize=331492 CPUtime=1181.89 /proc/29746/stat : 29746 (wbo1.4b) R 29744 29746 29511 0 -1 4202496 92949 0 0 0 117978 211 0 0 25 0 1 0 24681443 339447808 81844 1992294400 134512640 135752675 4291096720 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29746/statm: 82873 81844 146 303 0 82568 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 331492 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29788 /proc/meminfo: memFree=1439752/2059040 swapFree=4080076/4192956 [pid=29746] ppid=29744 vsize=331492 CPUtime=1241.86 /proc/29746/stat : 29746 (wbo1.4b) R 29744 29746 29511 0 -1 4202496 92949 0 0 0 123971 215 0 0 25 0 1 0 24681443 339447808 81844 1992294400 134512640 135752675 4291096720 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29746/statm: 82873 81844 146 303 0 82568 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 331492 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29790 /proc/meminfo: memFree=1433800/2059040 swapFree=4080076/4192956 [pid=29746] ppid=29744 vsize=337768 CPUtime=1301.85 /proc/29746/stat : 29746 (wbo1.4b) R 29744 29746 29511 0 -1 4202496 94528 0 0 0 129963 222 0 0 25 0 1 0 24681443 345874432 83423 1992294400 134512640 135752675 4291096720 18446744073709551615 134518802 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29746/statm: 84442 83423 146 303 0 84137 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 337768 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29792 /proc/meminfo: memFree=1424748/2059040 swapFree=4080076/4192956 [pid=29746] ppid=29744 vsize=346892 CPUtime=1361.83 /proc/29746/stat : 29746 (wbo1.4b) R 29744 29746 29511 0 -1 4202496 96818 0 0 0 135954 229 0 0 25 0 1 0 24681443 355217408 85713 1992294400 134512640 135752675 4291096720 18446744073709551615 134605428 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29746/statm: 86723 85713 146 303 0 86418 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 346892 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29794 /proc/meminfo: memFree=1416192/2059040 swapFree=4080076/4192956 [pid=29746] ppid=29744 vsize=355292 CPUtime=1421.81 /proc/29746/stat : 29746 (wbo1.4b) R 29744 29746 29511 0 -1 4202496 98910 0 0 0 141946 235 0 0 25 0 1 0 24681443 363819008 87805 1992294400 134512640 135752675 4291096720 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29746/statm: 88823 87805 146 303 0 88518 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 355292 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29796 /proc/meminfo: memFree=1409868/2059040 swapFree=4080076/4192956 [pid=29746] ppid=29744 vsize=361640 CPUtime=1481.79 /proc/29746/stat : 29746 (wbo1.4b) R 29744 29746 29511 0 -1 4202496 100497 0 0 0 147938 241 0 0 25 0 1 0 24681443 370319360 89392 1992294400 134512640 135752675 4291096720 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29746/statm: 90410 89392 146 303 0 90105 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 361640 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29796 /proc/meminfo: memFree=1402924/2059040 swapFree=4080076/4192956 [pid=29746] ppid=29744 vsize=368524 CPUtime=1541.76 /proc/29746/stat : 29746 (wbo1.4b) R 29744 29746 29511 0 -1 4202496 102197 0 0 0 153928 248 0 0 25 0 1 0 24681443 377368576 91092 1992294400 134512640 135752675 4291096720 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29746/statm: 92131 91092 146 303 0 91826 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 368524 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29798 /proc/meminfo: memFree=1395980/2059040 swapFree=4080076/4192956 [pid=29746] ppid=29744 vsize=375540 CPUtime=1601.74 /proc/29746/stat : 29746 (wbo1.4b) R 29744 29746 29511 0 -1 4202496 103946 0 0 0 159919 255 0 0 25 0 1 0 24681443 384552960 92841 1992294400 134512640 135752675 4291096720 18446744073709551615 134518784 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29746/statm: 93885 92841 146 303 0 93580 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 375540 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29803 /proc/meminfo: memFree=1390276/2059040 swapFree=4080076/4192956 [pid=29746] ppid=29744 vsize=380688 CPUtime=1661.72 /proc/29746/stat : 29746 (wbo1.4b) R 29744 29746 29511 0 -1 4202496 105254 0 0 0 165911 261 0 0 25 0 1 0 24681443 389824512 94149 1992294400 134512640 135752675 4291096720 18446744073709551615 134605412 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29746/statm: 95172 94149 146 303 0 94867 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 380688 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29805 /proc/meminfo: memFree=1384448/2059040 swapFree=4080076/4192956 [pid=29746] ppid=29744 vsize=386648 CPUtime=1721.71 /proc/29746/stat : 29746 (wbo1.4b) R 29744 29746 29511 0 -1 4202496 106723 0 0 0 171905 266 0 0 25 0 1 0 24681443 395927552 95618 1992294400 134512640 135752675 4291096720 18446744073709551615 134605387 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29746/statm: 96662 95618 146 303 0 96357 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 386648 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29807 /proc/meminfo: memFree=1378248/2059040 swapFree=4080076/4192956 [pid=29746] ppid=29744 vsize=392732 CPUtime=1781.69 /proc/29746/stat : 29746 (wbo1.4b) R 29744 29746 29511 0 -1 4202496 108251 0 0 0 177899 270 0 0 25 0 1 0 24681443 402157568 97146 1992294400 134512640 135752675 4291096720 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29746/statm: 98183 97146 146 303 0 97878 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 392732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29807 /proc/meminfo: memFree=1375272/2059040 swapFree=4080076/4192956 [pid=29746] ppid=29744 vsize=395800 CPUtime=1800.09 /proc/29746/stat : 29746 (wbo1.4b) R 29744 29746 29511 0 -1 4202496 109009 0 0 0 179738 271 0 0 25 0 1 0 24681443 405299200 97904 1992294400 134512640 135752675 4291096720 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29746/statm: 98950 97904 146 303 0 98645 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 395800 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29807 /proc/meminfo: memFree=1375272/2059040 swapFree=4080076/4192956 [pid=29746] ppid=29744 vsize=395800 CPUtime=1800.09 /proc/29746/stat : 29746 (wbo1.4b) R 29744 29746 29511 0 -1 4202496 109009 0 0 0 179738 271 0 0 25 0 1 0 24681443 405299200 97904 1992294400 134512640 135752675 4291096720 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29746/statm: 98950 97904 146 303 0 98645 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 395800 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.76 CPU time (s): 1800.15 CPU user time (s): 1797.39 CPU system time (s): 2.75858 CPU usage (%): 99.966 Max. virtual memory (cumulated for all children) (KiB): 395800 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.39 system time used= 2.75858 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 109009 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= 15 involuntary context switches= 2132 runsolver used 2.84657 second user time and 8.65268 second system time The end
Begin job on node044 at 2010-07-08 06:52:18 IDJOB=2702363 IDBENCH=48116 IDSOLVER=1190 FILE ID=node044/2702363-1278564738 PBS_JOBID= 11239548 Free space on /tmp= 62524 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_60_1.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-2702363-1278564738/watcher-2702363-1278564738 -o /tmp/evaluation-result-2702363-1278564738/solver-2702363-1278564738 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702363-1278564738.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 04b9af5ff2583cb908a8972f40516a9e RANDOM SEED=539955287 node044.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.267 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.53 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.267 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.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1774840 kB Buffers: 40028 kB Cached: 110396 kB SwapCached: 67804 kB Active: 104268 kB Inactive: 116424 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1774840 kB SwapTotal: 4192956 kB SwapFree: 4080076 kB Dirty: 3768 kB Writeback: 0 kB AnonPages: 12328 kB Mapped: 8488 kB Slab: 41492 kB PageTables: 4096 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182584 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-2702363-1278564738.opb Free space on /tmp at the end= 62516 MiB End job on node044 at 2010-07-08 07:22:24