Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.21 | 1800.66 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_25_5.opb |
MD5SUM | 65a3c38bd8963c911b96c745ee468cb1 |
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 | 5 |
Best CPU time to get the best result obtained on this benchmark | 456.345 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 100 |
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 | 100 |
Minimum length of a constraint | 26 |
Maximum length of a constraint | 40 |
Number of terms in the objective function | 100 |
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 | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 3062 |
Sum of products size (including duplicates) | 6124 |
Number of different products | 3062 |
Sum of products size | 6124 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2702448-1278567642.opb. 0.00/0.00 c Instance file HOME/instance-2702448-1278567642.opb 0.00/0.00 c File size is 218884 bytes. 0.00/0.03 c Highest Coefficient sum: 41 0.00/0.03 c ============================[ Problem Statistics ]============================= 0.00/0.03 c | | 0.00/0.03 c | Parsing time: 0.04 s | 0.00/0.03 c | Number Variables: 3162 | 0.00/0.03 c | Number Clauses: 3162 | 0.00/0.03 c | Number Cardinality: 0 | 0.00/0.03 c | Number PB Constraints: 3062 | 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 3162 6224 21534 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 99 0.00/0.04 o 99 0.00/0.04 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 3162 6225 21634 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 98 0.00/0.04 o 98 0.00/0.04 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 3162 6226 21734 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 97 0.00/0.04 o 97 0.00/0.04 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 3162 6227 21834 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 95 0.00/0.05 o 95 0.00/0.05 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 3162 6228 21934 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 48 0.00/0.05 o 48 0.00/0.05 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 3162 6229 22034 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 47 0.00/0.05 o 47 0.00/0.05 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 3162 6230 22134 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 46 0.00/0.05 o 46 0.00/0.05 c Elapsed CPU time: 0.054991 s Remaining CPU time: 179.945 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 3162 6231 22234 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 45 0.00/0.05 o 45 0.00/0.05 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 3162 6232 22334 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: 44 0.00/0.06 o 44 0.00/0.06 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 3162 6233 22434 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: 43 0.00/0.06 o 43 0.00/0.06 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 3162 6234 22534 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: 42 0.00/0.06 o 42 0.00/0.06 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 3162 6235 22634 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: 41 0.00/0.06 o 41 0.00/0.06 c Elapsed CPU time: 0.06499 s Remaining CPU time: 179.935 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 3162 6236 22734 | 5000 0 nan | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c New solution: 40 0.00/0.07 o 40 0.00/0.07 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s 0.00/0.07 c =============================================================================== 0.00/0.07 c | 0 | 3162 6237 22834 | 5000 0 nan | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c New solution: 39 0.00/0.07 o 39 0.00/0.07 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s 0.00/0.07 c =============================================================================== 0.00/0.07 c | 0 | 3162 6238 22934 | 5000 0 nan | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c New solution: 31 0.00/0.07 o 31 0.00/0.07 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s 0.00/0.07 c =============================================================================== 0.00/0.07 c | 1 | 3162 6239 23034 | 5000 1 39 | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c New solution: 8 0.00/0.07 o 8 0.00/0.07 c Elapsed CPU time: 0.073988 s Remaining CPU time: 179.926 s 0.00/0.07 c =============================================================================== 0.00/0.07 c | 1 | 3162 6240 23134 | 5000 1 39 | 0.000 % | 0.00/0.09 c | 101 | 3162 6240 23134 | 5500 101 87 | 0.000 % | 0.10/0.10 c =============================================================================== 0.10/0.10 c New solution: 7 0.10/0.10 o 7 0.10/0.10 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s 0.10/0.10 c =============================================================================== 0.10/0.10 c | 155 | 3162 6241 23234 | 5000 155 98 | 0.000 % | 0.10/0.12 c | 257 | 3162 6241 23234 | 5500 257 101 | 0.000 % | 0.10/0.15 c | 408 | 3162 6241 23234 | 6050 408 100 | 0.000 % | 0.19/0.20 c | 636 | 3162 6241 23234 | 6655 636 98 | 0.000 % | 0.19/0.27 c | 975 | 3162 6241 23234 | 7320 975 90 | 0.000 % | 0.30/0.38 c | 1483 | 3162 6241 23234 | 8052 1483 94 | 0.000 % | 0.49/0.54 c | 2242 | 3162 6241 23234 | 8857 2242 97 | 0.000 % | 0.69/0.77 c | 3383 | 3162 6241 23234 | 9743 3383 100 | 0.000 % | 1.10/1.14 c | 5094 | 3162 6241 23234 | 10717 5094 105 | 0.000 % | 1.69/1.72 c | 7657 | 3162 6241 23234 | 11789 7657 115 | 0.000 % | 2.69/2.74 c | 11501 | 3162 6241 23234 | 12968 11501 125 | 0.000 % | 4.40/4.43 c | 17268 | 3162 6241 23234 | 14265 9637 129 | 0.000 % | 7.19/7.24 c | 25917 | 3162 6241 23234 | 15692 10045 120 | 0.000 % | 11.38/11.49 c | 38894 | 3162 6241 23234 | 17261 13993 126 | 0.000 % | 17.89/17.97 c =============================================================================== 17.89/17.97 c New solution: 6 17.89/17.97 o 6 17.89/17.97 c Elapsed CPU time: 17.7333 s Remaining CPU time: 162.267 s 17.89/17.97 c =============================================================================== 17.89/17.97 c | 57245 | 3162 6242 23334 | 5000 12909 131 | 0.000 % | 17.99/18.04 c | 57347 | 3162 6242 23334 | 5500 3330 102 | 0.000 % | 17.99/18.08 c | 57498 | 3162 6242 23334 | 6050 3481 102 | 0.000 % | 18.08/18.13 c | 57723 | 3162 6242 23334 | 6655 3706 101 | 0.000 % | 18.18/18.20 c | 58060 | 3162 6242 23334 | 7320 4043 101 | 0.000 % | 18.28/18.33 c | 58571 | 3162 6242 23334 | 8052 4554 101 | 0.000 % | 18.48/18.55 c | 59333 | 3162 6242 23334 | 8857 5316 110 | 0.000 % | 18.80/18.83 c | 60472 | 3162 6242 23334 | 9743 6455 108 | 0.000 % | 19.19/19.25 c | 62181 | 3162 6242 23334 | 10717 8164 109 | 0.000 % | 19.99/20.06 c | 64745 | 3162 6242 23334 | 11789 10728 107 | 0.000 % | 21.29/21.34 c | 68590 | 3162 6242 23334 | 12968 7712 112 | 0.000 % | 23.19/23.22 c | 74358 | 3162 6242 23334 | 14265 13480 141 | 0.000 % | 25.98/26.08 c | 83007 | 3162 6242 23334 | 15692 13918 145 | 0.000 % | 31.08/31.10 c | 95982 | 3162 6242 23334 | 17261 9337 126 | 0.000 % | 38.68/38.72 c | 115445 | 3162 6242 23334 | 18987 19190 170 | 0.000 % | 51.48/51.50 c | 144640 | 3162 6242 23334 | 20886 17805 254 | 0.000 % | 72.18/72.23 c | 188430 | 3162 6242 23334 | 22974 14179 185 | 0.000 % | 105.57/105.62 c | 254114 | 3162 6242 23334 | 25272 24517 178 | 0.000 % | 154.16/154.28 c | 352640 | 3162 6242 23334 | 27799 13087 106 | 0.000 % | 181.74/181.81 c There are 0 assigned variables. 0 in cost function. 182.25/182.31 c core #1 182.25/182.31 c ============================[ Search Statistics ]============================== 182.25/182.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.25/182.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.25/182.31 c =============================================================================== 182.25/182.31 c | 0 | 850 6344 15220 | 5000 0 nan | 0.000 % | 182.25/182.32 c =============================================================================== 182.25/182.34 c core #2 182.25/182.34 c ============================[ Search Statistics ]============================== 182.25/182.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.25/182.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.25/182.34 c =============================================================================== 182.25/182.34 c | 0 | 2948 6345 22403 | 5000 0 nan | 0.000 % | 182.25/182.39 c | 102 | 2948 6345 22403 | 5500 102 154 | 9.930 % | 182.45/182.56 c =============================================================================== 182.45/182.59 c core #3 182.45/182.59 c ============================[ Search Statistics ]============================== 182.45/182.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.45/182.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.45/182.59 c =============================================================================== 182.45/182.59 c | 0 | 3373 6346 23956 | 5000 0 nan | 0.000 % | 182.56/182.65 c | 100 | 3373 6346 23956 | 5500 100 190 | 0.000 % | 182.66/182.74 c | 250 | 3373 6346 23956 | 6050 250 174 | 0.000 % | 182.75/182.87 c | 476 | 3373 6346 23956 | 6655 476 215 | 0.000 % | 182.94/183.09 c | 819 | 3373 6346 23956 | 7320 819 258 | 0.000 % | 183.45/183.51 c | 1325 | 3373 6346 23956 | 8052 1325 242 | 0.000 % | 183.95/184.06 c | 2084 | 3373 6346 23956 | 8857 2084 251 | 0.000 % | 184.95/185.09 c | 3226 | 3373 6346 23956 | 9743 3226 275 | 0.000 % | 187.05/187.12 c | 4935 | 3373 6346 23956 | 10717 4935 329 | 0.000 % | 190.26/190.38 c | 7501 | 3373 6346 23956 | 11789 7501 338 | 0.000 % | 194.65/194.70 c | 11348 | 3373 6346 23956 | 12968 11348 325 | 0.000 % | 198.95/199.01 c | 17115 | 3373 6346 23956 | 14265 10040 215 | 0.000 % | 206.24/206.32 c | 25766 | 3373 6346 23956 | 15692 10820 201 | 0.000 % | 214.94/215.01 c | 38742 | 3373 6346 23956 | 17261 15048 268 | 0.000 % | 228.53/228.68 c | 58206 | 3373 6346 23956 | 18987 15409 329 | 0.000 % | 250.14/250.29 c | 87403 | 3373 6346 23956 | 20886 13293 244 | 0.000 % | 291.82/291.90 c | 131195 | 3373 6346 23956 | 22974 11746 287 | 0.000 % | 365.90/366.01 c | 196880 | 3373 6346 23956 | 25272 13380 230 | 0.000 % | 464.58/464.73 c | 295407 | 3345 6346 23956 | 27799 16321 121 | 0.830 % | 616.65/616.86 c | 443199 | 3345 6346 23956 | 30579 21734 125 | 0.830 % | 822.79/823.07 c =============================================================================== 825.50/825.74 c core #4 825.50/825.74 c ============================[ Search Statistics ]============================== 825.50/825.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 825.50/825.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 825.50/825.74 c =============================================================================== 825.50/825.74 c | 0 | 3473 6347 24156 | 5000 0 nan | 0.000 % | 825.60/825.88 c | 105 | 3473 6347 24156 | 5500 105 167 | 0.000 % | 825.70/825.92 c | 256 | 3473 6347 24156 | 6050 256 142 | 0.000 % | 825.70/825.98 c | 481 | 3473 6347 24156 | 6655 481 121 | 0.000 % | 825.80/826.06 c | 819 | 3473 6347 24156 | 7320 819 104 | 0.000 % | 826.00/826.21 c | 1325 | 3473 6347 24156 | 8052 1325 102 | 0.000 % | 826.19/826.47 c | 2084 | 3473 6347 24156 | 8857 2084 96 | 0.000 % | 826.50/826.79 c | 3224 | 3473 6347 24156 | 9743 3224 94 | 0.000 % | 827.11/827.33 c | 4932 | 3473 6347 24156 | 10717 4932 89 | 0.000 % | 827.99/828.21 c | 7496 | 3473 6347 24156 | 11789 7496 91 | 0.000 % | 829.60/829.87 c | 11341 | 3473 6347 24156 | 12968 11341 92 | 0.000 % | 832.00/832.24 c | 17110 | 3473 6347 24156 | 14265 9675 84 | 0.000 % | 835.90/836.15 c | 25760 | 3473 6347 24156 | 15692 10145 76 | 0.000 % | 841.40/841.69 c | 38736 | 3473 6347 24156 | 17261 14195 92 | 0.000 % | 850.89/851.11 c | 58198 | 3473 6347 24156 | 18987 14317 88 | 0.000 % | 864.49/864.79 c | 87390 | 3473 6347 24156 | 20886 12167 86 | 0.000 % | 887.49/887.73 c | 131181 | 3473 6347 24156 | 22974 20776 96 | 0.000 % | 920.87/921.10 c | 196868 | 3473 6347 24156 | 25272 18480 94 | 0.000 % | 974.25/974.51 c | 295396 | 3473 6347 24156 | 27799 21764 95 | 0.000 % | 1057.94/1058.27 c | 443189 | 3473 6347 24156 | 30579 23704 89 | 0.000 % | 1192.21/1192.53 c | 664873 | 3473 6347 24156 | 33637 15925 93 | 0.000 % | 1404.04/1404.46 c | 997398 | 3473 6347 24156 | 37001 16232 88 | 0.000 % | 1735.16/1735.67 c | 1496187 | 3473 6347 24156 | 40701 29804 85 | 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-2702448-1278567642/watcher-2702448-1278567642 -o /tmp/evaluation-result-2702448-1278567642/solver-2702448-1278567642 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702448-1278567642.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 29619 /proc/meminfo: memFree=1833284/2059040 swapFree=4139724/4192956 [pid=29619] ppid=29617 vsize=3344 CPUtime=0 /proc/29619/stat : 29619 (wbo1.4b) R 29617 29619 29063 0 -1 4202496 404 0 0 0 0 0 0 0 20 0 1 0 24974842 3424256 322 1992294400 134512640 135751879 4290475312 18446744073709551615 135118532 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29619/statm: 836 322 144 303 0 477 0 [startup+0.105384 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29619 /proc/meminfo: memFree=1833284/2059040 swapFree=4139724/4192956 [pid=29619] ppid=29617 vsize=3852 CPUtime=0.1 /proc/29619/stat : 29619 (wbo1.4b) R 29617 29619 29063 0 -1 4202496 731 0 0 0 10 0 0 0 20 0 1 0 24974842 3944448 521 1992294400 134512640 135751879 4290475312 18446744073709551615 134601264 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29619/statm: 963 521 147 303 0 658 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3852 [startup+0.201393 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29619 /proc/meminfo: memFree=1833284/2059040 swapFree=4139724/4192956 [pid=29619] ppid=29617 vsize=4116 CPUtime=0.19 /proc/29619/stat : 29619 (wbo1.4b) R 29617 29619 29063 0 -1 4202496 794 0 0 0 19 0 0 0 20 0 1 0 24974842 4214784 584 1992294400 134512640 135751879 4290475312 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29619/statm: 1029 584 147 303 0 724 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 4116 [startup+0.301401 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29619 /proc/meminfo: memFree=1833284/2059040 swapFree=4139724/4192956 [pid=29619] ppid=29617 vsize=4380 CPUtime=0.3 /proc/29619/stat : 29619 (wbo1.4b) R 29617 29619 29063 0 -1 4202496 848 0 0 0 29 1 0 0 20 0 1 0 24974842 4485120 638 1992294400 134512640 135751879 4290475312 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29619/statm: 1095 638 147 303 0 790 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 4380 [startup+0.700434 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29619 /proc/meminfo: memFree=1833284/2059040 swapFree=4139724/4192956 [pid=29619] ppid=29617 vsize=5436 CPUtime=0.69 /proc/29619/stat : 29619 (wbo1.4b) R 29617 29619 29063 0 -1 4202496 1116 0 0 0 68 1 0 0 20 0 1 0 24974842 5566464 906 1992294400 134512640 135751879 4290475312 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29619/statm: 1359 906 147 303 0 1054 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5436 [startup+1.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29620 /proc/meminfo: memFree=1829308/2059040 swapFree=4139724/4192956 [pid=29619] ppid=29617 vsize=7680 CPUtime=1.49 /proc/29619/stat : 29619 (wbo1.4b) R 29617 29619 29063 0 -1 4202496 1692 0 0 0 147 2 0 0 23 0 1 0 24974842 7864320 1482 1992294400 134512640 135751879 4290475312 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29619/statm: 1920 1482 147 303 0 1615 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7680 [startup+3.10164 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29620 /proc/meminfo: memFree=1826208/2059040 swapFree=4139724/4192956 [pid=29619] ppid=29617 vsize=11772 CPUtime=3.09 /proc/29619/stat : 29619 (wbo1.4b) R 29617 29619 29063 0 -1 4202496 2720 0 0 0 305 4 0 0 25 0 1 0 24974842 12054528 2510 1992294400 134512640 135751879 4290475312 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29619/statm: 2943 2510 147 303 0 2638 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11772 [startup+6.30192 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29620 /proc/meminfo: memFree=1818644/2059040 swapFree=4139724/4192956 [pid=29619] ppid=29617 vsize=18240 CPUtime=6.29 /proc/29619/stat : 29619 (wbo1.4b) R 29617 29619 29063 0 -1 4202496 4323 0 0 0 621 8 0 0 25 0 1 0 24974842 18677760 4113 1992294400 134512640 135751879 4290475312 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29619/statm: 4560 4113 148 303 0 4255 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18240 [startup+12.7015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29620 /proc/meminfo: memFree=1806368/2059040 swapFree=4139724/4192956 [pid=29619] ppid=29617 vsize=29992 CPUtime=12.69 /proc/29619/stat : 29619 (wbo1.4b) R 29617 29619 29063 0 -1 4202496 7276 0 0 0 1253 16 0 0 25 0 1 0 24974842 30711808 7066 1992294400 134512640 135751879 4290475312 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29619/statm: 7498 7066 148 303 0 7193 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 29992 [startup+25.5006 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29621 /proc/meminfo: memFree=1781320/2059040 swapFree=4139724/4192956 [pid=29619] ppid=29617 vsize=54480 CPUtime=25.49 /proc/29619/stat : 29619 (wbo1.4b) R 29617 29619 29063 0 -1 4202496 13369 0 0 0 2516 33 0 0 25 0 1 0 24974842 55787520 13159 1992294400 134512640 135751879 4290475312 18446744073709551615 134642014 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29619/statm: 13620 13159 148 303 0 13315 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 54480 [startup+51.1008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29622 /proc/meminfo: memFree=1729736/2059040 swapFree=4139724/4192956 [pid=29619] ppid=29617 vsize=107220 CPUtime=51.08 /proc/29619/stat : 29619 (wbo1.4b) R 29617 29619 29063 0 -1 4202496 26567 0 0 0 5050 58 0 0 25 0 1 0 24974842 109793280 26357 1992294400 134512640 135751879 4290475312 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29619/statm: 26805 26358 148 303 0 26500 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 107220 [startup+102.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29623 /proc/meminfo: memFree=1625204/2059040 swapFree=4139724/4192956 [pid=29619] ppid=29617 vsize=209652 CPUtime=102.27 /proc/29619/stat : 29619 (wbo1.4b) R 29617 29619 29063 0 -1 4202496 52171 0 0 0 10122 105 0 0 25 0 1 0 24974842 214683648 51961 1992294400 134512640 135751879 4290475312 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29619/statm: 52413 51961 148 303 0 52108 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 209652 [startup+162.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29624 /proc/meminfo: memFree=1542496/2059040 swapFree=4139724/4192956 [pid=29619] ppid=29617 vsize=293024 CPUtime=162.26 /proc/29619/stat : 29619 (wbo1.4b) R 29617 29619 29063 0 -1 4202496 73011 0 0 0 16068 158 0 0 25 0 1 0 24974842 300056576 72801 1992294400 134512640 135751879 4290475312 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29619/statm: 73256 72801 148 303 0 72951 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 293024 [startup+222.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29626 /proc/meminfo: memFree=1471444/2059040 swapFree=4139724/4192956 [pid=29619] ppid=29617 vsize=363012 CPUtime=222.25 /proc/29619/stat : 29619 (wbo1.4b) R 29617 29619 29063 0 -1 4202496 90572 0 0 0 22021 204 0 0 25 0 1 0 24974842 371724288 90332 1992294400 134512640 135751879 4290475312 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29619/statm: 90753 90332 151 303 0 90448 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 363012 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29628 /proc/meminfo: memFree=1383156/2059040 swapFree=4139724/4192956 [pid=29619] ppid=29617 vsize=451876 CPUtime=282.22 /proc/29619/stat : 29619 (wbo1.4b) R 29617 29619 29063 0 -1 4202496 112772 0 0 0 27976 246 0 0 25 0 1 0 24974842 462721024 112532 1992294400 134512640 135751879 4290475312 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29619/statm: 112969 112532 151 303 0 112664 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 451876 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29630 /proc/meminfo: memFree=1327728/2059040 swapFree=4139724/4192956 [pid=29619] ppid=29617 vsize=506424 CPUtime=342.21 /proc/29619/stat : 29619 (wbo1.4b) R 29617 29619 29063 0 -1 4202496 126420 0 0 0 33937 284 0 0 25 0 1 0 24974842 518578176 126180 1992294400 134512640 135751879 4290475312 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29619/statm: 126606 126180 151 303 0 126301 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 506424 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29631 /proc/meminfo: memFree=1283832/2059040 swapFree=4139724/4192956 [pid=29619] ppid=29617 vsize=550468 CPUtime=402.2 /proc/29619/stat : 29619 (wbo1.4b) R 29617 29619 29063 0 -1 4202496 137401 0 0 0 39898 322 0 0 25 0 1 0 24974842 563679232 137161 1992294400 134512640 135751879 4290475312 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29619/statm: 137617 137161 151 303 0 137312 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 550468 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29632 /proc/meminfo: memFree=1254816/2059040 swapFree=4139724/4192956 [pid=29619] ppid=29617 vsize=579120 CPUtime=462.19 /proc/29619/stat : 29619 (wbo1.4b) R 29617 29619 29063 0 -1 4202496 144585 0 0 0 45864 355 0 0 25 0 1 0 24974842 593018880 144345 1992294400 134512640 135751879 4290475312 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29619/statm: 144780 144345 151 303 0 144475 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 579120 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29634 /proc/meminfo: memFree=1213648/2059040 swapFree=4139724/4192956 [pid=29619] ppid=29617 vsize=620448 CPUtime=522.16 /proc/29619/stat : 29619 (wbo1.4b) R 29617 29619 29063 0 -1 4202496 154924 0 0 0 51831 385 0 0 25 0 1 0 24974842 635338752 154684 1992294400 134512640 135751879 4290475312 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29619/statm: 155112 154684 151 303 0 154807 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 620448 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29636 /proc/meminfo: memFree=1178556/2059040 swapFree=4139724/4192956 [pid=29619] ppid=29617 vsize=655436 CPUtime=582.15 /proc/29619/stat : 29619 (wbo1.4b) R 29617 29619 29063 0 -1 4202496 163657 0 0 0 57795 420 0 0 25 0 1 0 24974842 671166464 163417 1992294400 134512640 135751879 4290475312 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29619/statm: 163859 163417 151 303 0 163554 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 655436 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29638 /proc/meminfo: memFree=1138876/2059040 swapFree=4139724/4192956 [pid=29619] ppid=29617 vsize=695056 CPUtime=642.14 /proc/29619/stat : 29619 (wbo1.4b) R 29617 29619 29063 0 -1 4202496 173578 0 0 0 63756 458 0 0 25 0 1 0 24974842 711737344 173338 1992294400 134512640 135751879 4290475312 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29619/statm: 173764 173338 151 303 0 173459 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 695056 [startup+702.301 s] ################ # More data... # ################ [startup+882.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29644 /proc/meminfo: memFree=1013512/2059040 swapFree=4139724/4192956 [pid=29619] ppid=29617 vsize=819444 CPUtime=882.09 /proc/29619/stat : 29619 (wbo1.4b) R 29617 29619 29063 0 -1 4202496 204669 0 0 0 87613 596 0 0 25 0 1 0 24974842 839110656 204429 1992294400 134512640 135751879 4290475312 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29619/statm: 204861 204429 151 303 0 204556 0 Current children cumulated CPU time (s) 882.09 Current children cumulated vsize (KiB) 819444 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29646 /proc/meminfo: memFree=966144/2059040 swapFree=4139724/4192956 [pid=29619] ppid=29617 vsize=867208 CPUtime=942.07 /proc/29619/stat : 29619 (wbo1.4b) R 29617 29619 29063 0 -1 4202496 216602 0 0 0 93565 642 0 0 25 0 1 0 24974842 888020992 216362 1992294400 134512640 135751879 4290475312 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29619/statm: 216802 216362 151 303 0 216497 0 Current children cumulated CPU time (s) 942.07 Current children cumulated vsize (KiB) 867208 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29647 /proc/meminfo: memFree=923240/2059040 swapFree=4139724/4192956 [pid=29619] ppid=29617 vsize=909632 CPUtime=1002.05 /proc/29619/stat : 29619 (wbo1.4b) R 29617 29619 29063 0 -1 4202496 227199 0 0 0 99514 691 0 0 25 0 1 0 24974842 931463168 226959 1992294400 134512640 135751879 4290475312 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29619/statm: 227408 226959 151 303 0 227103 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 909632 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29648 /proc/meminfo: memFree=884056/2059040 swapFree=4139724/4192956 [pid=29619] ppid=29617 vsize=949120 CPUtime=1062.03 /proc/29619/stat : 29619 (wbo1.4b) R 29617 29619 29063 0 -1 4202496 237071 0 0 0 105466 737 0 0 25 0 1 0 24974842 971898880 236831 1992294400 134512640 135751879 4290475312 18446744073709551615 134620388 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29619/statm: 237280 236831 151 303 0 236975 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 949120 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29650 /proc/meminfo: memFree=839044/2059040 swapFree=4139724/4192956 [pid=29619] ppid=29617 vsize=993548 CPUtime=1122.02 /proc/29619/stat : 29619 (wbo1.4b) R 29617 29619 29063 0 -1 4202496 248171 0 0 0 111422 780 0 0 25 0 1 0 24974842 1017393152 247931 1992294400 134512640 135751879 4290475312 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29619/statm: 248387 247931 151 303 0 248082 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 993548 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29652 /proc/meminfo: memFree=802712/2059040 swapFree=4139724/4192956 [pid=29619] ppid=29617 vsize=1030400 CPUtime=1182.01 /proc/29619/stat : 29619 (wbo1.4b) R 29617 29619 29063 0 -1 4202496 257362 0 0 0 117377 824 0 0 25 0 1 0 24974842 1055129600 257122 1992294400 134512640 135751879 4290475312 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29619/statm: 257600 257122 151 303 0 257295 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 1030400 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29663 /proc/meminfo: memFree=724468/2059040 swapFree=4139724/4192956 [pid=29619] ppid=29617 vsize=1108212 CPUtime=1241.98 /proc/29619/stat : 29619 (wbo1.4b) R 29617 29619 29063 0 -1 4202496 276821 0 0 0 123326 872 0 0 25 0 1 0 24974842 1134809088 276581 1992294400 134512640 135751879 4290475312 18446744073709551615 134608168 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29619/statm: 277053 276582 151 303 0 276748 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 1108212 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29664 /proc/meminfo: memFree=633824/2059040 swapFree=4139724/4192956 [pid=29619] ppid=29617 vsize=1200440 CPUtime=1301.96 /proc/29619/stat : 29619 (wbo1.4b) R 29617 29619 29063 0 -1 4202496 299882 0 0 0 129280 916 0 0 25 0 1 0 24974842 1229250560 299642 1992294400 134512640 135751879 4290475312 18446744073709551615 134608015 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29619/statm: 300110 299642 151 303 0 299805 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1200440 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29665 /proc/meminfo: memFree=569096/2059040 swapFree=4139724/4192956 [pid=29619] ppid=29617 vsize=1262976 CPUtime=1361.96 /proc/29619/stat : 29619 (wbo1.4b) R 29617 29619 29063 0 -1 4202496 315517 0 0 0 135235 961 0 0 25 0 1 0 24974842 1293287424 315277 1992294400 134512640 135751879 4290475312 18446744073709551615 134518897 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29619/statm: 315744 315277 151 303 0 315439 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 1262976 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29667 /proc/meminfo: memFree=522224/2059040 swapFree=4139724/4192956 [pid=29619] ppid=29617 vsize=1309448 CPUtime=1421.95 /proc/29619/stat : 29619 (wbo1.4b) R 29617 29619 29063 0 -1 4202496 327129 0 0 0 141192 1003 0 0 25 0 1 0 24974842 1340874752 326889 1992294400 134512640 135751879 4290475312 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29619/statm: 327362 326889 151 303 0 327057 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 1309448 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29669 /proc/meminfo: memFree=473988/2059040 swapFree=4139724/4192956 [pid=29619] ppid=29617 vsize=1357936 CPUtime=1481.92 /proc/29619/stat : 29619 (wbo1.4b) R 29617 29619 29063 0 -1 4202496 339261 0 0 0 147145 1047 0 0 25 0 1 0 24974842 1390526464 339021 1992294400 134512640 135751879 4290475312 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29619/statm: 339484 339021 151 303 0 339179 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 1357936 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29671 /proc/meminfo: memFree=435052/2059040 swapFree=4139724/4192956 [pid=29619] ppid=29617 vsize=1396504 CPUtime=1541.92 /proc/29619/stat : 29619 (wbo1.4b) R 29617 29619 29063 0 -1 4202496 348882 0 0 0 153101 1091 0 0 25 0 1 0 24974842 1430020096 348642 1992294400 134512640 135751879 4290475312 18446744073709551615 134620541 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29619/statm: 349126 348642 151 303 0 348821 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 1396504 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29672 /proc/meminfo: memFree=396860/2059040 swapFree=4139724/4192956 [pid=29619] ppid=29617 vsize=1434960 CPUtime=1601.9 /proc/29619/stat : 29619 (wbo1.4b) R 29617 29619 29063 0 -1 4202496 358504 0 0 0 159059 1131 0 0 25 0 1 0 24974842 1469399040 358264 1992294400 134512640 135751879 4290475312 18446744073709551615 134611031 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29619/statm: 358740 358264 151 303 0 358435 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 1434960 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29673 /proc/meminfo: memFree=359164/2059040 swapFree=4139724/4192956 [pid=29619] ppid=29617 vsize=1472244 CPUtime=1661.89 /proc/29619/stat : 29619 (wbo1.4b) R 29617 29619 29063 0 -1 4202496 367815 0 0 0 165021 1168 0 0 25 0 1 0 24974842 1507577856 367575 1992294400 134512640 135751879 4290475312 18446744073709551615 134611268 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29619/statm: 368061 367575 151 303 0 367756 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 1472244 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29675 /proc/meminfo: memFree=322212/2059040 swapFree=4139724/4192956 [pid=29619] ppid=29617 vsize=1509344 CPUtime=1721.87 /proc/29619/stat : 29619 (wbo1.4b) R 29617 29619 29063 0 -1 4202496 377101 0 0 0 170978 1209 0 0 25 0 1 0 24974842 1545568256 376861 1992294400 134512640 135751879 4290475312 18446744073709551615 134611155 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29619/statm: 377336 376861 151 303 0 377031 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 1509344 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29677 /proc/meminfo: memFree=266040/2059040 swapFree=4139724/4192956 [pid=29619] ppid=29617 vsize=1565180 CPUtime=1781.85 /proc/29619/stat : 29619 (wbo1.4b) R 29617 29619 29063 0 -1 4202496 391023 0 0 0 176936 1249 0 0 25 0 1 0 24974842 1602744320 390783 1992294400 134512640 135751879 4290475312 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29619/statm: 391295 390783 151 303 0 390990 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 1565180 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29677 /proc/meminfo: memFree=253516/2059040 swapFree=4139724/4192956 [pid=29619] ppid=29617 vsize=1577340 CPUtime=1800.06 /proc/29619/stat : 29619 (wbo1.4b) R 29617 29619 29063 0 -1 4202496 394073 0 0 0 178746 1260 0 0 25 0 1 0 24974842 1615196160 393833 1992294400 134512640 135751879 4290475312 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29619/statm: 394335 393833 151 303 0 394030 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1577340 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29677 /proc/meminfo: memFree=253516/2059040 swapFree=4139724/4192956 [pid=29619] ppid=29617 vsize=0 CPUtime=1800.16 /proc/29619/stat : 29619 (wbo1.4b) R 29617 29619 29063 0 -1 4203524 394073 0 0 0 178746 1270 0 0 25 0 1 0 24974842 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/29619/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.66 CPU time (s): 1800.21 CPU user time (s): 1787.47 CPU system time (s): 12.7491 CPU usage (%): 99.9755 Max. virtual memory (cumulated for all children) (KiB): 1577340 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1787.47 system time used= 12.7491 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 394073 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= 4 involuntary context switches= 4575 runsolver used 3.17752 second user time and 8.31274 second system time The end
Begin job on node031 at 2010-07-08 07:40:42 IDJOB=2702448 IDBENCH=48159 IDSOLVER=1161 FILE ID=node031/2702448-1278567642 PBS_JOBID= 11239533 Free space on /tmp= 62568 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_25_5.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-2702448-1278567642/watcher-2702448-1278567642 -o /tmp/evaluation-result-2702448-1278567642/solver-2702448-1278567642 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702448-1278567642.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 65a3c38bd8963c911b96c745ee468cb1 RANDOM SEED=14417077 node031.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.220 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.44 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.220 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1834308 kB Buffers: 38032 kB Cached: 93700 kB SwapCached: 6812 kB Active: 94036 kB Inactive: 51564 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1834308 kB SwapTotal: 4192956 kB SwapFree: 4139724 kB Dirty: 2652 kB Writeback: 0 kB AnonPages: 12012 kB Mapped: 12200 kB Slab: 57004 kB PageTables: 4224 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180532 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702448-1278567642.opb Free space on /tmp at the end= 62564 MiB End job on node031 at 2010-07-08 08:10:45