Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.17 | 1800.71 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_001_area_delay.opb |
MD5SUM | f1fcceba4d2ff597685b8a775178b9b4 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 28 |
Best CPU time to get the best result obtained on this benchmark | 31.9671 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 33 |
Optimality of the best value was proved | NO |
Number of variables | 11321 |
Total number of constraints | 36630 |
Number of constraints which are clauses | 36630 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 127 |
Number of terms in the objective function | 5515 |
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 | 5515 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 5515 |
Number of bits of the biggest sum of numbers | 13 |
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 - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680411-1277459249.opb. 0.00/0.00 c Instance file HOME/instance-2680411-1277459249.opb 0.00/0.00 c File size is 1088812 bytes. 0.09/0.18 c Highest Coefficient sum: 128 0.09/0.18 c ============================[ Problem Statistics ]============================= 0.09/0.18 c | | 0.09/0.18 c | Parsing time: 0.18 s | 0.09/0.18 c | Number Variables: 11321 | 0.09/0.18 c | Number Clauses: 36630 | 0.09/0.18 c | Number Cardinality: 0 | 0.09/0.18 c | Number PB Constraints: 0 | 0.69/0.71 c ============================[ Search Statistics ]============================== 0.69/0.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.71 c =============================================================================== 0.69/0.71 c | 0 | 9195 36682 86797 | 12210 0 nan | 0.000 % | 0.69/0.74 c =============================================================================== 0.69/0.74 c New solution: 39 0.69/0.74 o 39 0.69/0.74 c Elapsed CPU time: 0.715891 s Remaining CPU time: 179.284 s 0.69/0.74 c =============================================================================== 0.69/0.74 c | 30 | 9195 36683 92312 | 12227 30 17 | 0.000 % | 0.69/0.75 c =============================================================================== 0.69/0.75 c New solution: 37 0.69/0.75 o 37 0.69/0.75 c Elapsed CPU time: 0.726889 s Remaining CPU time: 179.273 s 0.69/0.75 c =============================================================================== 0.69/0.75 c | 36 | 9195 36684 97827 | 12228 36 21 | 0.000 % | 0.79/0.84 c | 138 | 9195 36684 97827 | 13450 138 61 | 18.779 % | 0.89/1.00 c | 288 | 9195 36684 97827 | 14795 288 54 | 18.779 % | 1.10/1.17 c | 513 | 9195 36684 97827 | 16275 513 51 | 18.780 % | 1.19/1.25 c =============================================================================== 1.19/1.25 c New solution: 36 1.19/1.25 o 36 1.19/1.25 c Elapsed CPU time: 1.21481 s Remaining CPU time: 178.785 s 1.19/1.25 c =============================================================================== 1.19/1.25 c | 589 | 9195 36685 103342 | 12228 589 49 | 18.780 % | 1.29/1.36 c | 689 | 9195 36685 103342 | 13451 689 48 | 18.780 % | 1.49/1.57 c | 839 | 9195 36685 103342 | 14796 839 50 | 18.780 % | 1.69/1.77 c | 1065 | 9195 36685 103342 | 16275 1065 49 | 18.779 % | 1.89/1.94 c =============================================================================== 1.89/1.94 c New solution: 34 1.89/1.94 o 34 1.89/1.94 c Elapsed CPU time: 1.87871 s Remaining CPU time: 178.121 s 1.89/1.94 c =============================================================================== 1.89/1.94 c | 1235 | 9195 36686 108857 | 12228 1235 48 | 18.779 % | 1.99/2.03 c | 1336 | 9195 36686 108857 | 13451 1336 46 | 18.779 % | 2.10/2.20 c | 1486 | 9195 36686 108857 | 14796 1486 46 | 18.779 % | 2.39/2.44 c | 1712 | 9195 36686 108857 | 16276 1712 46 | 18.780 % | 2.79/2.80 c | 2049 | 9195 36686 108857 | 17903 2049 48 | 18.779 % | 3.29/3.33 c | 2555 | 9195 36686 108857 | 19694 2555 50 | 18.779 % | 4.09/4.18 c | 3314 | 9195 36686 108857 | 21663 3314 59 | 18.780 % | 5.59/5.68 c | 4454 | 9195 36686 108857 | 23830 4454 60 | 18.779 % | 7.60/7.61 c | 6162 | 9195 36686 108857 | 26213 6162 65 | 18.779 % | 10.39/10.41 c | 8725 | 9195 36686 108857 | 28834 8725 73 | 18.779 % | 14.39/14.44 c | 12570 | 9195 36686 108857 | 31718 12570 74 | 18.779 % | 21.19/21.24 c | 18337 | 9195 36686 108857 | 34889 18337 75 | 18.779 % | 29.08/29.18 c | 26986 | 9195 36686 108857 | 38378 26986 84 | 18.780 % | 41.69/41.77 c | 39960 | 9195 36686 108857 | 42216 39960 88 | 18.779 % | 66.98/67.01 c | 59422 | 9195 36686 108857 | 46438 23729 93 | 18.779 % | 104.67/104.76 c | 88614 | 9195 36686 108857 | 51082 13313 77 | 18.779 % | 154.35/154.42 c | 132403 | 9195 36686 108857 | 56190 13411 147 | 18.780 % | 181.04/181.15 c There are 2126 assigned variables. 1037 in cost function. 182.63/182.73 c core #1 182.63/182.73 c 182.63/182.73 c 182.63/182.73 c Core size: 71 Core Weight: 1 Total Weight: 1 182.63/182.73 c 182.63/182.73 c 182.63/182.73 c core #2 182.63/182.73 c 182.63/182.73 c 182.63/182.73 c Core size: 45 Core Weight: 1 Total Weight: 2 182.63/182.73 c 182.63/182.73 c 182.63/182.73 c core #3 182.63/182.73 c 182.63/182.73 c 182.63/182.73 c Core size: 51 Core Weight: 1 Total Weight: 3 182.63/182.73 c 182.63/182.73 c 182.63/182.73 c core #4 182.63/182.73 c 182.63/182.73 c 182.63/182.73 c Core size: 51 Core Weight: 1 Total Weight: 4 182.63/182.73 c 182.63/182.73 c 182.63/182.73 c core #5 182.63/182.73 c 182.63/182.73 c 182.63/182.73 c Core size: 71 Core Weight: 1 Total Weight: 5 182.63/182.73 c 182.63/182.73 c 182.63/182.73 c core #6 182.63/182.73 c 182.63/182.73 c 182.63/182.73 c Core size: 51 Core Weight: 1 Total Weight: 6 182.63/182.73 c 182.63/182.73 c 182.63/182.73 c core #7 182.63/182.73 c 182.63/182.73 c 182.63/182.73 c Core size: 49 Core Weight: 1 Total Weight: 7 182.63/182.73 c 182.63/182.73 c 182.63/182.73 c core #8 182.63/182.73 c 182.63/182.73 c 182.63/182.73 c Core size: 31 Core Weight: 1 Total Weight: 8 182.63/182.73 c 182.63/182.73 c 182.63/182.73 c core #9 182.63/182.73 c 182.63/182.73 c 182.63/182.73 c Core size: 51 Core Weight: 1 Total Weight: 9 182.63/182.73 c 182.63/182.73 c 182.63/182.73 c core #10 182.63/182.73 c 182.63/182.73 c 182.63/182.73 c Core size: 51 Core Weight: 1 Total Weight: 10 182.63/182.73 c 182.63/182.73 c 182.63/182.73 c core #11 182.63/182.73 c 182.63/182.73 c 182.63/182.73 c Core size: 15 Core Weight: 1 Total Weight: 11 182.63/182.73 c 182.63/182.73 c 182.63/182.73 c core #12 182.63/182.73 c 182.63/182.73 c 182.63/182.73 c Core size: 30 Core Weight: 1 Total Weight: 12 182.63/182.73 c 182.63/182.73 c 182.63/182.73 c core #13 182.63/182.73 c 182.63/182.73 c 182.63/182.73 c Core size: 31 Core Weight: 1 Total Weight: 13 182.63/182.73 c 182.63/182.73 c 182.63/182.73 c core #14 182.63/182.73 c 182.63/182.73 c 182.63/182.73 c Core size: 71 Core Weight: 1 Total Weight: 14 182.63/182.73 c 182.63/182.73 c 182.63/182.73 c core #15 182.63/182.73 c 182.63/182.73 c 182.63/182.73 c Core size: 31 Core Weight: 1 Total Weight: 15 182.63/182.73 c 182.63/182.73 c 182.63/182.73 c core #16 182.63/182.74 c 182.63/182.74 c 182.63/182.74 c Core size: 5 Core Weight: 1 Total Weight: 16 182.63/182.74 c 182.63/182.74 c 182.63/182.74 c core #17 182.63/182.74 c 182.63/182.74 c 182.63/182.74 c Core size: 31 Core Weight: 1 Total Weight: 17 182.63/182.74 c 182.63/182.74 c 182.63/182.74 c core #18 182.63/182.74 c 182.63/182.74 c 182.63/182.74 c Core size: 29 Core Weight: 1 Total Weight: 18 182.63/182.74 c 182.63/182.74 c 182.63/182.74 c core #19 182.63/182.74 c 182.63/182.74 c 182.63/182.74 c Core size: 554 Core Weight: 1 Total Weight: 19 182.63/182.74 c 182.63/182.74 c 182.63/182.74 c core #20 182.63/182.74 c 182.63/182.74 c 182.63/182.74 c Core size: 15 Core Weight: 1 Total Weight: 20 182.63/182.74 c 182.63/182.74 c 182.63/182.74 c core #21 182.63/182.74 c 182.63/182.74 c 182.63/182.74 c Core size: 107 Core Weight: 1 Total Weight: 21 182.63/182.74 c 182.63/182.74 c 182.63/182.74 c core #22 182.63/182.74 c 182.63/182.74 c 182.63/182.74 c Core size: 13 Core Weight: 1 Total Weight: 22 182.63/182.74 c 182.63/182.74 c 182.63/182.74 c core #23 182.63/182.74 c 182.63/182.74 c 182.63/182.74 c Core size: 340 Core Weight: 1 Total Weight: 23 182.63/182.74 c 182.63/182.74 c 182.63/182.74 c ============================[ Search Statistics ]============================== 182.63/182.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.63/182.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.63/182.74 c =============================================================================== 182.63/182.74 c | 0 | 2284 36288 54494 | 12096 0 nan | 0.000 % | 182.63/182.76 c =============================================================================== 182.73/182.83 c core #24 182.73/182.83 c 182.73/182.83 c 182.73/182.83 c Core size: 604 Core Weight: 1 Total Weight: 24 182.73/182.83 c 182.73/182.83 c 182.73/182.83 c ============================[ Search Statistics ]============================== 182.73/182.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.73/182.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.73/182.83 c =============================================================================== 182.73/182.83 c | 0 | 3074 36289 56841 | 12096 0 nan | 0.000 % | 182.83/182.91 c | 104 | 3074 36289 56841 | 13305 104 57 | 75.202 % | 182.83/182.95 c =============================================================================== 182.93/183.03 c core #25 182.93/183.03 c 182.93/183.03 c 182.93/183.03 c Core size: 524 Core Weight: 1 Total Weight: 25 182.93/183.03 c 182.93/183.03 c 182.93/183.03 c ============================[ Search Statistics ]============================== 182.93/183.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.93/183.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.93/183.03 c =============================================================================== 182.93/183.03 c | 0 | 3445 36290 57658 | 12096 0 nan | 0.000 % | 182.93/183.09 c | 103 | 3445 36290 57658 | 13306 103 89 | 72.944 % | 183.04/183.15 c | 253 | 3445 36290 57658 | 14636 253 82 | 72.944 % | 183.14/183.23 c | 478 | 3445 36290 57658 | 16100 478 75 | 72.944 % | 183.24/183.37 c | 816 | 3445 36290 57658 | 17710 816 64 | 72.944 % | 183.44/183.59 c | 1322 | 3445 36290 57658 | 19481 1322 66 | 72.944 % | 183.84/183.93 c | 2082 | 3445 36290 57658 | 21429 2082 67 | 72.944 % | 184.33/184.49 c | 3221 | 3445 36290 57658 | 23572 3221 68 | 72.944 % | 185.43/185.57 c | 4929 | 3445 36290 57658 | 25930 4929 75 | 72.944 % | 186.64/186.76 c =============================================================================== 186.84/186.92 c core #26 186.84/186.92 c 186.84/186.92 c 186.84/186.92 c Core size: 945 Core Weight: 1 Total Weight: 26 186.84/186.92 c 186.84/186.92 c 186.84/186.92 c ============================[ Search Statistics ]============================== 186.84/186.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.84/186.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.84/186.92 c =============================================================================== 186.84/186.92 c | 0 | 4116 36291 59067 | 12097 0 nan | 0.000 % | 186.94/187.01 c | 104 | 4116 36291 59067 | 13306 104 182 | 69.185 % | 186.94/187.06 c | 254 | 4116 36291 59067 | 14637 254 120 | 69.185 % | 187.03/187.19 c | 481 | 4116 36291 59067 | 16101 481 123 | 69.185 % | 187.23/187.33 c | 820 | 4116 36291 59067 | 17711 820 97 | 69.185 % | 187.33/187.49 c | 1326 | 4116 36291 59067 | 19482 1326 71 | 69.185 % | 187.73/187.89 c | 2085 | 4116 36291 59067 | 21430 2085 78 | 69.185 % | 188.34/188.49 c | 3224 | 4116 36291 59067 | 23573 3224 86 | 69.185 % | 189.43/189.51 c | 4932 | 4116 36291 59067 | 25930 4932 83 | 69.185 % | 191.03/191.15 c | 7495 | 4116 36291 59067 | 28524 7495 88 | 69.185 % | 193.45/193.54 c | 11339 | 4116 36291 59067 | 31376 11339 89 | 69.185 % | 197.73/197.81 c | 17106 | 4116 36291 59067 | 34514 17106 93 | 69.185 % | 204.44/204.53 c | 25756 | 4116 36291 59067 | 37965 25756 90 | 69.185 % | 216.73/216.81 c | 38731 | 4116 36291 59067 | 41762 38731 105 | 69.185 % | 241.23/241.38 c | 58193 | 4116 36291 59067 | 45938 20496 184 | 69.185 % | 271.31/271.42 c | 87386 | 4116 36291 59067 | 50532 49689 171 | 69.185 % | 330.30/330.42 c | 131176 | 4114 36291 59067 | 55585 14899 96 | 69.200 % | 350.19/350.37 c =============================================================================== 352.59/352.70 c core #27 352.59/352.70 c 352.59/352.70 c 352.59/352.70 c Core size: 857 Core Weight: 1 Total Weight: 27 352.59/352.70 c 352.59/352.70 c 352.59/352.70 c ============================[ Search Statistics ]============================== 352.59/352.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 352.59/352.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 352.59/352.70 c =============================================================================== 352.59/352.70 c | 0 | 4996 36295 60976 | 12098 0 nan | 0.000 % | 352.59/352.79 c | 102 | 4996 36295 60976 | 13308 102 179 | 64.680 % | 352.69/352.85 c | 252 | 4996 36295 60976 | 14638 252 88 | 64.680 % | 352.79/352.97 c | 477 | 4996 36295 60976 | 16102 477 68 | 64.680 % | 352.89/353.07 c | 815 | 4996 36295 60976 | 17713 815 64 | 64.680 % | 353.19/353.34 c | 1322 | 4996 36295 60976 | 19484 1322 74 | 64.680 % | 353.49/353.69 c | 2081 | 4996 36295 60976 | 21432 2081 90 | 64.680 % | 354.09/354.21 c | 3222 | 4996 36295 60976 | 23576 3222 95 | 64.680 % | 354.69/354.89 c | 4932 | 4996 36295 60976 | 25933 4932 90 | 64.680 % | 356.20/356.38 c | 7497 | 4996 36295 60976 | 28527 7497 95 | 64.680 % | 358.49/358.66 c | 11343 | 4996 36295 60976 | 31379 11343 98 | 64.680 % | 363.08/363.27 c | 17109 | 4996 36295 60976 | 34517 17109 126 | 64.680 % | 369.59/369.70 c | 25759 | 4996 36295 60976 | 37969 25759 114 | 64.680 % | 383.18/383.39 c | 38734 | 4996 36295 60976 | 41766 38734 117 | 64.680 % | 403.27/403.46 c | 58195 | 4996 36295 60976 | 45943 19303 106 | 64.680 % | 434.27/434.44 c | 87388 | 4996 36295 60976 | 50537 48496 146 | 64.680 % | 511.94/512.17 c | 131178 | 4996 36295 60976 | 55591 44674 229 | 64.680 % | 597.02/597.22 c | 196864 | 4996 36295 60976 | 61150 58213 153 | 64.680 % | 744.77/745.02 c | 295395 | 4996 36295 60976 | 67265 41605 274 | 64.680 % | 967.80/968.17 c | 443185 | 4996 36295 60976 | 73992 66151 141 | 64.680 % | 1393.37/1393.85 c | 664870 | 4996 36295 60976 | 81391 82758 203 | 64.680 % |
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-2680411-1277459249/watcher-2680411-1277459249 -o /tmp/evaluation-result-2680411-1277459249/solver-2680411-1277459249 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680411-1277459249.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 27906 /proc/meminfo: memFree=1841172/2059040 swapFree=4140324/4192956 [pid=27906] ppid=27904 vsize=4508 CPUtime=0 /proc/27906/stat : 27906 (wbo1.4b) R 27904 27906 27491 0 -1 4202496 459 0 0 0 0 0 0 0 17 0 1 0 87216387 4616192 377 1992294400 134512640 135752675 4290068640 18446744073709551615 135010788 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27906/statm: 1127 377 135 303 0 556 0 [startup+0.079255 s] /proc/loadavg: 1.00 1.00 1.00 3/106 27906 /proc/meminfo: memFree=1841172/2059040 swapFree=4140324/4192956 [pid=27906] ppid=27904 vsize=6112 CPUtime=0.07 /proc/27906/stat : 27906 (wbo1.4b) R 27904 27906 27491 0 -1 4202496 965 0 0 0 7 0 0 0 17 0 1 0 87216387 6258688 883 1992294400 134512640 135752675 4290068640 18446744073709551615 134561687 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27906/statm: 1528 883 243 303 0 957 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 6112 [startup+0.101256 s] /proc/loadavg: 1.00 1.00 1.00 3/106 27906 /proc/meminfo: memFree=1841172/2059040 swapFree=4140324/4192956 [pid=27906] ppid=27904 vsize=6472 CPUtime=0.09 /proc/27906/stat : 27906 (wbo1.4b) R 27904 27906 27491 0 -1 4202496 1074 0 0 0 9 0 0 0 17 0 1 0 87216387 6627328 992 1992294400 134512640 135752675 4290068640 18446744073709551615 134565545 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27906/statm: 1618 992 275 303 0 1047 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6472 [startup+0.301274 s] /proc/loadavg: 1.00 1.00 1.00 3/106 27906 /proc/meminfo: memFree=1841172/2059040 swapFree=4140324/4192956 [pid=27906] ppid=27904 vsize=9956 CPUtime=0.29 /proc/27906/stat : 27906 (wbo1.4b) R 27904 27906 27491 0 -1 4202496 2353 0 0 0 29 0 0 0 17 0 1 0 87216387 10194944 1973 1992294400 134512640 135752675 4290068640 18446744073709551615 134580222 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27906/statm: 2489 1973 141 303 0 2184 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9956 [startup+0.70031 s] /proc/loadavg: 1.00 1.00 1.00 3/106 27906 /proc/meminfo: memFree=1841172/2059040 swapFree=4140324/4192956 [pid=27906] ppid=27904 vsize=9956 CPUtime=0.69 /proc/27906/stat : 27906 (wbo1.4b) R 27904 27906 27491 0 -1 4202496 2376 0 0 0 68 1 0 0 17 0 1 0 87216387 10194944 1996 1992294400 134512640 135752675 4290068640 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27906/statm: 2489 1996 141 303 0 2184 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9956 [startup+1.50038 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27907 /proc/meminfo: memFree=1833600/2059040 swapFree=4140324/4192956 [pid=27906] ppid=27904 vsize=9956 CPUtime=1.49 /proc/27906/stat : 27906 (wbo1.4b) R 27904 27906 27491 0 -1 4202496 2380 0 0 0 145 4 0 0 18 0 1 0 87216387 10194944 2000 1992294400 134512640 135752675 4290068640 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27906/statm: 2489 2000 145 303 0 2184 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9956 [startup+3.10053 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27907 /proc/meminfo: memFree=1833476/2059040 swapFree=4140324/4192956 [pid=27906] ppid=27904 vsize=9956 CPUtime=3.09 /proc/27906/stat : 27906 (wbo1.4b) R 27904 27906 27491 0 -1 4202496 2380 0 0 0 298 11 0 0 21 0 1 0 87216387 10194944 2000 1992294400 134512640 135752675 4290068640 18446744073709551615 134605005 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27906/statm: 2489 2000 145 303 0 2184 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9956 [startup+6.30081 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27907 /proc/meminfo: memFree=1833228/2059040 swapFree=4140324/4192956 [pid=27906] ppid=27904 vsize=9956 CPUtime=6.28 /proc/27906/stat : 27906 (wbo1.4b) R 27904 27906 27491 0 -1 4202496 2380 0 0 0 616 12 0 0 25 0 1 0 87216387 10194944 2000 1992294400 134512640 135752675 4290068640 18446744073709551615 134611692 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27906/statm: 2489 2000 145 303 0 2184 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 9956 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27907 /proc/meminfo: memFree=1831616/2059040 swapFree=4140324/4192956 [pid=27906] ppid=27904 vsize=11820 CPUtime=12.69 /proc/27906/stat : 27906 (wbo1.4b) R 27904 27906 27491 0 -1 4202496 2825 0 0 0 1253 16 0 0 25 0 1 0 87216387 12103680 2445 1992294400 134512640 135752675 4290068640 18446744073709551615 134611663 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27906/statm: 2955 2445 145 303 0 2650 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 11820 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27909 /proc/meminfo: memFree=1825912/2059040 swapFree=4140324/4192956 [pid=27906] ppid=27904 vsize=17548 CPUtime=25.48 /proc/27906/stat : 27906 (wbo1.4b) R 27904 27906 27491 0 -1 4202496 4250 0 0 0 2525 23 0 0 25 0 1 0 87216387 17969152 3870 1992294400 134512640 135752675 4290068640 18446744073709551615 134639849 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27906/statm: 4387 3870 145 303 0 4082 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 17548 [startup+51.1018 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27909 /proc/meminfo: memFree=1813636/2059040 swapFree=4140324/4192956 [pid=27906] ppid=27904 vsize=29952 CPUtime=51.08 /proc/27906/stat : 27906 (wbo1.4b) R 27904 27906 27491 0 -1 4202496 7341 0 0 0 5070 38 0 0 25 0 1 0 87216387 30670848 6961 1992294400 134512640 135752675 4290068640 18446744073709551615 134637650 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27906/statm: 7488 6961 145 303 0 7183 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 29952 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27911 /proc/meminfo: memFree=1795160/2059040 swapFree=4140324/4192956 [pid=27906] ppid=27904 vsize=48016 CPUtime=102.27 /proc/27906/stat : 27906 (wbo1.4b) R 27904 27906 27491 0 -1 4202496 11859 0 0 0 10163 64 0 0 25 0 1 0 87216387 49168384 11479 1992294400 134512640 135752675 4290068640 18446744073709551615 134611968 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27906/statm: 12004 11479 145 303 0 11699 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 48016 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27911 /proc/meminfo: memFree=1763912/2059040 swapFree=4140324/4192956 [pid=27906] ppid=27904 vsize=79468 CPUtime=162.24 /proc/27906/stat : 27906 (wbo1.4b) R 27904 27906 27491 0 -1 4202496 19710 0 0 0 16123 101 0 0 25 0 1 0 87216387 81375232 19330 1992294400 134512640 135752675 4290068640 18446744073709551615 134638161 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27906/statm: 19867 19330 145 303 0 19562 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 79468 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27913 /proc/meminfo: memFree=1754860/2059040 swapFree=4140324/4192956 [pid=27906] ppid=27904 vsize=87504 CPUtime=222.23 /proc/27906/stat : 27906 (wbo1.4b) R 27904 27906 27491 0 -1 4202496 22174 0 0 0 22093 130 0 0 25 0 1 0 87216387 89604096 21399 1992294400 134512640 135752675 4290068640 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27906/statm: 21876 21399 146 303 0 21571 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 87504 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27915 /proc/meminfo: memFree=1716048/2059040 swapFree=4140324/4192956 [pid=27906] ppid=27904 vsize=127148 CPUtime=282.21 /proc/27906/stat : 27906 (wbo1.4b) R 27904 27906 27491 0 -1 4202496 32098 0 0 0 28059 162 0 0 25 0 1 0 87216387 130199552 31323 1992294400 134512640 135752675 4290068640 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27906/statm: 31787 31323 146 303 0 31482 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 127148 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27917 /proc/meminfo: memFree=1678600/2059040 swapFree=4140324/4192956 [pid=27906] ppid=27904 vsize=164192 CPUtime=342.19 /proc/27906/stat : 27906 (wbo1.4b) R 27904 27906 27491 0 -1 4202496 41334 0 0 0 34026 193 0 0 25 0 1 0 87216387 168132608 40559 1992294400 134512640 135752675 4290068640 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27906/statm: 41048 40559 146 303 0 40743 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 164192 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27919 /proc/meminfo: memFree=1655660/2059040 swapFree=4140324/4192956 [pid=27906] ppid=27904 vsize=187844 CPUtime=402.17 /proc/27906/stat : 27906 (wbo1.4b) R 27904 27906 27491 0 -1 4202496 47300 0 0 0 39997 220 0 0 25 0 1 0 87216387 192352256 46397 1992294400 134512640 135752675 4290068640 18446744073709551615 134616067 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27906/statm: 46961 46397 146 303 0 46656 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 187844 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27919 /proc/meminfo: memFree=1616352/2059040 swapFree=4140324/4192956 [pid=27906] ppid=27904 vsize=226444 CPUtime=462.15 /proc/27906/stat : 27906 (wbo1.4b) R 27904 27906 27491 0 -1 4202496 56957 0 0 0 45968 247 0 0 25 0 1 0 87216387 231878656 56054 1992294400 134512640 135752675 4290068640 18446744073709551615 134611645 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27906/statm: 56611 56054 146 303 0 56306 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 226444 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27921 /proc/meminfo: memFree=1583988/2059040 swapFree=4140324/4192956 [pid=27906] ppid=27904 vsize=259004 CPUtime=522.14 /proc/27906/stat : 27906 (wbo1.4b) R 27904 27906 27491 0 -1 4202496 65089 0 0 0 51943 271 0 0 25 0 1 0 87216387 265220096 64186 1992294400 134512640 135752675 4290068640 18446744073709551615 134605400 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27906/statm: 64751 64186 146 303 0 64446 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 259004 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27923 /proc/meminfo: memFree=1547036/2059040 swapFree=4140324/4192956 [pid=27906] ppid=27904 vsize=295752 CPUtime=582.11 /proc/27906/stat : 27906 (wbo1.4b) R 27904 27906 27491 0 -1 4202496 74236 0 0 0 57914 297 0 0 25 0 1 0 87216387 302850048 73333 1992294400 134512640 135752675 4290068640 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27906/statm: 73938 73333 146 303 0 73633 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 295752 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27925 /proc/meminfo: memFree=1509588/2059040 swapFree=4140324/4192956 [pid=27906] ppid=27904 vsize=332892 CPUtime=642.11 /proc/27906/stat : 27906 (wbo1.4b) R 27904 27906 27491 0 -1 4202496 83508 0 0 0 63884 327 0 0 25 0 1 0 87216387 340881408 82605 1992294400 134512640 135752675 4290068640 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27906/statm: 83223 82605 146 303 0 82918 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 332892 [startup+702.3 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.07 1.02 1.00 2/107 27938 /proc/meminfo: memFree=1395780/2059040 swapFree=4140324/4192956 [pid=27906] ppid=27904 vsize=445380 CPUtime=822.04 /proc/27906/stat : 27906 (wbo1.4b) R 27904 27906 27491 0 -1 4202496 111618 0 0 0 81796 408 0 0 25 0 1 0 87216387 456069120 110715 1992294400 134512640 135752675 4290068640 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27906/statm: 111345 110715 146 303 0 111040 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 445380 [startup+882.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 27940 /proc/meminfo: memFree=1367880/2059040 swapFree=4140324/4192956 [pid=27906] ppid=27904 vsize=473128 CPUtime=882.02 /proc/27906/stat : 27906 (wbo1.4b) R 27904 27906 27491 0 -1 4202496 118506 0 0 0 87772 430 0 0 25 0 1 0 87216387 484483072 117603 1992294400 134512640 135752675 4290068640 18446744073709551615 134612104 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27906/statm: 118282 117603 146 303 0 117977 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 473128 [startup+942.301 s] /proc/loadavg: 1.01 1.00 1.00 2/107 27942 /proc/meminfo: memFree=1339980/2059040 swapFree=4140324/4192956 [pid=27906] ppid=27904 vsize=501316 CPUtime=942 /proc/27906/stat : 27906 (wbo1.4b) R 27904 27906 27491 0 -1 4202496 125539 0 0 0 93746 454 0 0 25 0 1 0 87216387 513347584 124636 1992294400 134512640 135752675 4290068640 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27906/statm: 125329 124636 146 303 0 125024 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 501316 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27944 /proc/meminfo: memFree=1308608/2059040 swapFree=4140324/4192956 [pid=27906] ppid=27904 vsize=532848 CPUtime=1001.99 /proc/27906/stat : 27906 (wbo1.4b) R 27904 27906 27491 0 -1 4202496 133423 0 0 0 99717 482 0 0 25 0 1 0 87216387 545636352 132520 1992294400 134512640 135752675 4290068640 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27906/statm: 133212 132520 146 303 0 132907 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 532848 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27944 /proc/meminfo: memFree=1277236/2059040 swapFree=4140324/4192956 [pid=27906] ppid=27904 vsize=564444 CPUtime=1061.96 /proc/27906/stat : 27906 (wbo1.4b) R 27904 27906 27491 0 -1 4202496 141310 0 0 0 105694 502 0 0 25 0 1 0 87216387 577990656 140407 1992294400 134512640 135752675 4290068640 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27906/statm: 141111 140407 146 303 0 140806 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 564444 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27946 /proc/meminfo: memFree=1251444/2059040 swapFree=4140324/4192956 [pid=27906] ppid=27904 vsize=589880 CPUtime=1121.95 /proc/27906/stat : 27906 (wbo1.4b) R 27904 27906 27491 0 -1 4202496 147662 0 0 0 111674 521 0 0 25 0 1 0 87216387 604037120 146759 1992294400 134512640 135752675 4290068640 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27906/statm: 147470 146759 146 303 0 147165 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 589880 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27948 /proc/meminfo: memFree=1209780/2059040 swapFree=4140324/4192956 [pid=27906] ppid=27904 vsize=631924 CPUtime=1181.93 /proc/27906/stat : 27906 (wbo1.4b) R 27904 27906 27491 0 -1 4202496 158177 0 0 0 117649 544 0 0 25 0 1 0 87216387 647090176 157274 1992294400 134512640 135752675 4290068640 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27906/statm: 157981 157274 146 303 0 157676 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 631924 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27950 /proc/meminfo: memFree=1179648/2059040 swapFree=4140324/4192956 [pid=27906] ppid=27904 vsize=661384 CPUtime=1241.92 /proc/27906/stat : 27906 (wbo1.4b) R 27904 27906 27491 0 -1 4202496 165524 0 0 0 123623 569 0 0 25 0 1 0 87216387 677257216 164621 1992294400 134512640 135752675 4290068640 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27906/statm: 165346 164621 146 303 0 165041 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 661384 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27952 /proc/meminfo: memFree=1148896/2059040 swapFree=4140324/4192956 [pid=27906] ppid=27904 vsize=691880 CPUtime=1301.9 /proc/27906/stat : 27906 (wbo1.4b) R 27904 27906 27491 0 -1 4202496 173139 0 0 0 129596 594 0 0 25 0 1 0 87216387 708485120 172236 1992294400 134512640 135752675 4290068640 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27906/statm: 172970 172236 146 303 0 172665 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 691880 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27952 /proc/meminfo: memFree=1116904/2059040 swapFree=4140324/4192956 [pid=27906] ppid=27904 vsize=724000 CPUtime=1361.89 /proc/27906/stat : 27906 (wbo1.4b) R 27904 27906 27491 0 -1 4202496 181183 0 0 0 135569 620 0 0 25 0 1 0 87216387 741376000 180280 1992294400 134512640 135752675 4290068640 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27906/statm: 181000 180280 146 303 0 180695 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 724000 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27954 /proc/meminfo: memFree=1090244/2059040 swapFree=4140324/4192956 [pid=27906] ppid=27904 vsize=750448 CPUtime=1421.88 /proc/27906/stat : 27906 (wbo1.4b) R 27904 27906 27491 0 -1 4202496 187789 0 0 0 141545 643 0 0 25 0 1 0 87216387 768458752 186886 1992294400 134512640 135752675 4290068640 18446744073709551615 134605187 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27906/statm: 187612 186886 146 303 0 187307 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 750448 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27956 /proc/meminfo: memFree=1065568/2059040 swapFree=4140324/4192956 [pid=27906] ppid=27904 vsize=775392 CPUtime=1481.85 /proc/27906/stat : 27906 (wbo1.4b) R 27904 27906 27491 0 -1 4202496 193995 0 0 0 147520 665 0 0 25 0 1 0 87216387 794001408 193092 1992294400 134512640 135752675 4290068640 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27906/statm: 193848 193092 146 303 0 193543 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 775392 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27958 /proc/meminfo: memFree=1044364/2059040 swapFree=4140324/4192956 [pid=27906] ppid=27904 vsize=796484 CPUtime=1541.83 /proc/27906/stat : 27906 (wbo1.4b) R 27904 27906 27491 0 -1 4202496 199244 0 0 0 153501 682 0 0 25 0 1 0 87216387 815599616 198341 1992294400 134512640 135752675 4290068640 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27906/statm: 199121 198341 146 303 0 198816 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 796484 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27960 /proc/meminfo: memFree=1012992/2059040 swapFree=4140324/4192956 [pid=27906] ppid=27904 vsize=828056 CPUtime=1601.82 /proc/27906/stat : 27906 (wbo1.4b) R 27904 27906 27491 0 -1 4202496 207141 0 0 0 159473 709 0 0 25 0 1 0 87216387 847929344 206238 1992294400 134512640 135752675 4290068640 18446744073709551615 134611992 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27906/statm: 207014 206238 146 303 0 206709 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 828056 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27960 /proc/meminfo: memFree=985340/2059040 swapFree=4140324/4192956 [pid=27906] ppid=27904 vsize=855456 CPUtime=1661.8 /proc/27906/stat : 27906 (wbo1.4b) R 27904 27906 27491 0 -1 4202496 213966 0 0 0 165449 731 0 0 25 0 1 0 87216387 875986944 213063 1992294400 134512640 135752675 4290068640 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27906/statm: 213864 213063 146 303 0 213559 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 855456 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27962 /proc/meminfo: memFree=950868/2059040 swapFree=4140324/4192956 [pid=27906] ppid=27904 vsize=890044 CPUtime=1721.78 /proc/27906/stat : 27906 (wbo1.4b) R 27904 27906 27491 0 -1 4202496 222629 0 0 0 171420 758 0 0 25 0 1 0 87216387 911405056 221726 1992294400 134512640 135752675 4290068640 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27906/statm: 222511 221726 146 303 0 222206 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 890044 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27964 /proc/meminfo: memFree=915156/2059040 swapFree=4140324/4192956 [pid=27906] ppid=27904 vsize=925220 CPUtime=1781.76 /proc/27906/stat : 27906 (wbo1.4b) R 27904 27906 27491 0 -1 4202496 231398 0 0 0 177394 782 0 0 25 0 1 0 87216387 947425280 230495 1992294400 134512640 135752675 4290068640 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27906/statm: 231305 230495 146 303 0 231000 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 925220 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 3/107 27964 /proc/meminfo: memFree=905484/2059040 swapFree=4140324/4192956 [pid=27906] ppid=27904 vsize=934760 CPUtime=1800.07 /proc/27906/stat : 27906 (wbo1.4b) R 27904 27906 27491 0 -1 4202496 233784 0 0 0 179218 789 0 0 25 0 1 0 87216387 957194240 232881 1992294400 134512640 135752675 4290068640 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27906/statm: 233690 232881 146 303 0 233385 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 934760 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.71 CPU time (s): 1800.17 CPU user time (s): 1792.18 CPU system time (s): 7.98979 CPU usage (%): 99.9703 Max. virtual memory (cumulated for all children) (KiB): 934760 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.18 system time used= 7.98978 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 233784 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= 3766 runsolver used 3.01054 second user time and 8.47871 second system time The end
Begin job on node051 at 2010-06-25 11:47:29 IDJOB=2680411 IDBENCH=24973 IDSOLVER=1190 FILE ID=node051/2680411-1277459249 PBS_JOBID= 11188117 Free space on /tmp= 62556 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_001_area_delay.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680411-1277459249/watcher-2680411-1277459249 -o /tmp/evaluation-result-2680411-1277459249/solver-2680411-1277459249 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680411-1277459249.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f1fcceba4d2ff597685b8a775178b9b4 RANDOM SEED=283579043 node051.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.255 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.51 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.255 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.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1841700 kB Buffers: 33976 kB Cached: 85540 kB SwapCached: 5464 kB Active: 24552 kB Inactive: 108272 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1841700 kB SwapTotal: 4192956 kB SwapFree: 4140324 kB Dirty: 3788 kB Writeback: 0 kB AnonPages: 11956 kB Mapped: 11968 kB Slab: 62560 kB PageTables: 4128 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183368 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62552 MiB End job on node051 at 2010-06-25 12:17:32