Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.19 | 1800.7 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_25_1.opb |
MD5SUM | e0d3a2bf2cd2b7e4b27d7033a7686e76 |
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 | -6 |
Best CPU time to get the best result obtained on this benchmark | 766.009 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -6 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 151 |
Number of constraints which are clauses | 50 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 101 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 50 |
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 | 50 |
Number of bits of the sum of numbers in the objective function | 6 |
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) | 2996 |
Sum of products size (including duplicates) | 5992 |
Number of different products | 1498 |
Sum of products size | 2996 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702631-1278572910.opb. 0.00/0.00 c Instance file HOME/instance-2702631-1278572910.opb 0.00/0.00 c File size is 120403 bytes. 0.00/0.02 c Highest Coefficient sum: 100 0.00/0.02 c ============================[ Problem Statistics ]============================= 0.00/0.02 c | | 0.00/0.02 c | Parsing time: 0.02 s | 0.00/0.02 c | Number Variables: 1598 | 0.00/0.02 c | Number Clauses: 1548 | 0.00/0.02 c | Number Cardinality: 102 | 0.00/0.02 c | Number PB Constraints: 1498 | 0.02/0.04 c ============================[ Search Statistics ]============================== 0.02/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.02/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.02/0.04 c =============================================================================== 0.02/0.04 c | 0 | 1598 3148 12284 | 5000 0 nan | 0.000 % | 0.02/0.04 c =============================================================================== 0.02/0.04 c New solution: 0 0.02/0.04 o 0 0.02/0.04 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s 0.02/0.04 c =============================================================================== 0.02/0.04 c | 0 | 1598 3149 12334 | 5000 0 nan | 0.000 % | 0.02/0.04 c =============================================================================== 0.02/0.04 c New solution: -1 0.02/0.04 o -1 0.02/0.04 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s 0.02/0.04 c =============================================================================== 0.02/0.04 c | 1 | 1598 3150 12384 | 5000 1 51 | 0.000 % | 0.02/0.05 c =============================================================================== 0.02/0.05 c New solution: -2 0.02/0.05 o -2 0.02/0.05 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s 0.02/0.05 c =============================================================================== 0.02/0.05 c | 1 | 1598 3151 12434 | 5000 1 51 | 0.000 % | 0.02/0.05 c =============================================================================== 0.02/0.05 c New solution: -3 0.02/0.05 o -3 0.02/0.05 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s 0.02/0.05 c =============================================================================== 0.02/0.05 c | 13 | 1598 3152 12484 | 5000 13 37 | 0.000 % | 0.02/0.07 c | 116 | 1598 3152 12484 | 5500 116 74 | 0.001 % | 0.02/0.08 c | 271 | 1598 3152 12484 | 6050 271 78 | 0.001 % | 0.09/0.13 c | 497 | 1598 3152 12484 | 6655 497 80 | 0.001 % | 0.19/0.23 c | 840 | 1598 3152 12484 | 7320 840 75 | 0.001 % | 0.19/0.28 c | 1357 | 1598 3152 12484 | 8052 1357 80 | 0.001 % | 0.29/0.39 c | 2117 | 1598 3152 12484 | 8857 2117 82 | 0.001 % | 0.49/0.57 c | 3256 | 1598 3152 12484 | 9743 3256 81 | 0.001 % | 1.10/1.13 c | 4964 | 1598 3152 12484 | 10717 4964 78 | 0.001 % | 1.39/1.41 c =============================================================================== 1.39/1.41 c New solution: -4 1.39/1.41 o -4 1.39/1.41 c Elapsed CPU time: 1.40079 s Remaining CPU time: 178.599 s 1.39/1.41 c =============================================================================== 1.39/1.41 c | 6233 | 1598 3153 12534 | 5000 6233 79 | 0.001 % | 1.39/1.44 c | 6335 | 1598 3153 12534 | 5500 3219 75 | 0.001 % | 1.39/1.48 c | 6488 | 1598 3153 12534 | 6050 3372 75 | 0.001 % | 1.49/1.52 c | 6714 | 1598 3153 12534 | 6655 3598 75 | 0.001 % | 1.49/1.59 c | 7051 | 1598 3153 12534 | 7320 3935 75 | 0.001 % | 1.59/1.67 c | 7558 | 1598 3153 12534 | 8052 4442 75 | 0.000 % | 1.79/1.82 c | 8317 | 1598 3153 12534 | 8857 5201 75 | 0.001 % | 1.99/2.04 c | 9462 | 1598 3153 12534 | 9743 6346 75 | 0.001 % | 2.29/2.39 c | 11170 | 1598 3153 12534 | 10717 8054 76 | 0.001 % | 2.99/3.06 c | 13732 | 1598 3153 12534 | 11789 10616 76 | 0.001 % | 4.19/4.22 c | 17578 | 1598 3153 12534 | 12968 7812 74 | 0.001 % | 5.68/5.76 c | 23346 | 1598 3153 12534 | 14265 13580 75 | 0.001 % | 6.60/6.62 c =============================================================================== 6.60/6.62 c New solution: -5 6.60/6.62 o -5 6.60/6.62 c Elapsed CPU time: 6.51701 s Remaining CPU time: 173.483 s 6.60/6.62 c =============================================================================== 6.60/6.62 c | 25847 | 1598 3154 12584 | 5000 8253 74 | 0.001 % | 6.60/6.66 c | 25948 | 1598 3154 12584 | 5500 4228 73 | 0.001 % | 6.60/6.68 c | 26100 | 1598 3154 12584 | 6050 4380 73 | 0.001 % | 6.68/6.74 c | 26325 | 1598 3154 12584 | 6655 4605 74 | 0.001 % | 6.79/6.82 c | 26664 | 1598 3154 12584 | 7320 4944 74 | 0.001 % | 6.89/6.91 c | 27173 | 1598 3154 12584 | 8052 5453 74 | 0.001 % | 6.99/7.06 c | 27933 | 1598 3154 12584 | 8857 6213 75 | 0.001 % | 7.29/7.33 c | 29072 | 1598 3154 12584 | 9743 7352 75 | 0.001 % | 7.70/7.72 c | 30780 | 1598 3154 12584 | 10717 9060 75 | 0.001 % | 8.39/8.45 c | 33343 | 1598 3154 12584 | 11789 11623 74 | 0.001 % | 9.48/9.54 c | 37187 | 1598 3154 12584 | 12968 8837 74 | 0.001 % | 11.19/11.20 c | 42954 | 1598 3154 12584 | 14265 7471 75 | 0.001 % | 13.49/13.53 c | 51607 | 1598 3154 12584 | 15692 8211 75 | 0.001 % | 17.39/17.48 c | 64583 | 1598 3154 12584 | 17261 12570 76 | 0.001 % | 23.98/24.07 c | 84045 | 1598 3154 12584 | 18987 13276 74 | 0.001 % | 35.19/35.24 c | 113239 | 1598 3154 12584 | 20886 11799 73 | 0.001 % | 52.98/53.09 c | 157031 | 1598 3154 12584 | 22974 22064 75 | 0.001 % | 54.77/54.87 c =============================================================================== 54.77/54.87 c New solution: -6 54.77/54.87 o -6 54.77/54.87 c Elapsed CPU time: 54.1968 s Remaining CPU time: 125.803 s 54.77/54.87 c =============================================================================== 54.77/54.87 c | 160093 | 1598 3155 12634 | 5000 12411 66 | 0.001 % | 54.88/54.92 c | 160193 | 1598 3155 12634 | 5500 3203 47 | 0.001 % | 54.88/54.93 c | 160345 | 1598 3155 12634 | 6050 3355 48 | 0.001 % | 54.88/54.96 c | 160570 | 1598 3155 12634 | 6655 3580 50 | 0.001 % | 54.88/54.99 c | 160910 | 1598 3155 12634 | 7320 3920 53 | 0.001 % | 54.98/55.06 c | 161417 | 1598 3155 12634 | 8052 4427 57 | 0.001 % | 55.08/55.16 c | 162178 | 1598 3155 12634 | 8857 5188 61 | 0.001 % | 55.28/55.32 c | 163318 | 1598 3155 12634 | 9743 6328 65 | 0.001 % | 55.47/55.58 c | 165032 | 1598 3155 12634 | 10717 8042 70 | 0.000 % | 56.09/56.11 c | 167594 | 1598 3155 12634 | 11789 10604 72 | 0.001 % | 57.38/57.48 c | 171440 | 1598 3155 12634 | 12968 7813 80 | 0.001 % | 59.67/59.76 c | 177206 | 1598 3155 12634 | 14265 13579 77 | 0.001 % | 62.58/62.61 c | 185855 | 1598 3155 12634 | 15692 14350 74 | 0.001 % | 66.98/67.02 c | 198830 | 1598 3155 12634 | 17261 10164 71 | 0.001 % | 73.27/73.32 c | 218294 | 1598 3155 12634 | 18987 10947 70 | 0.001 % | 84.07/84.10 c | 247486 | 1598 3155 12634 | 20886 19686 73 | 0.001 % | 100.46/100.52 c | 291278 | 1598 3155 12634 | 22974 18963 74 | 0.001 % | 130.16/130.21 c | 356962 | 1598 3155 12634 | 25272 23567 62 | 0.001 % | 173.45/173.52 c | 455488 | 1598 3155 12634 | 27799 23557 66 | 0.001 % | 181.84/181.99 c There are 0 assigned variables. 0 in cost function. 182.45/182.52 c core #1 182.45/182.52 c 182.45/182.52 c 182.45/182.52 c Core size: 101 Core Weight: 1 Total Weight: -49 182.45/182.52 c 182.45/182.52 c 182.45/182.52 c ============================[ Search Statistics ]============================== 182.45/182.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.45/182.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.45/182.52 c =============================================================================== 182.45/182.52 c | 0 | 1648 5179 18660 | 5000 0 nan | 0.000 % | 182.45/182.53 c =============================================================================== 182.45/182.54 c core #2 182.45/182.54 c 182.45/182.54 c 182.45/182.54 c Core size: 43 Core Weight: 1 Total Weight: -48 182.45/182.54 c 182.45/182.54 c 182.45/182.54 c ============================[ Search Statistics ]============================== 182.45/182.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.45/182.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.45/182.54 c =============================================================================== 182.45/182.54 c | 0 | 1687 5180 18738 | 5000 0 nan | 0.000 % | 182.45/182.57 c | 100 | 1686 5180 18738 | 5500 100 33 | 2.134 % | 182.55/182.60 c | 253 | 1648 5180 18738 | 6050 211 32 | 5.929 % | 182.55/182.63 c =============================================================================== 182.55/182.65 c core #3 182.55/182.65 c 182.55/182.65 c 182.55/182.65 c Core size: 61 Core Weight: 1 Total Weight: -47 182.55/182.65 c 182.55/182.65 c 182.55/182.65 c ============================[ Search Statistics ]============================== 182.55/182.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.55/182.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.55/182.65 c =============================================================================== 182.55/182.65 c | 0 | 1737 5211 18928 | 5000 0 nan | 0.000 % | 182.55/182.68 c | 100 | 1737 5211 18928 | 5500 100 65 | 0.001 % | 182.64/182.71 c | 253 | 1737 5211 18928 | 6050 253 49 | 0.001 % | 182.64/182.74 c | 478 | 1737 5211 18928 | 6655 478 38 | 0.001 % | 182.74/182.81 c | 817 | 1737 5211 18928 | 7320 817 33 | 0.002 % | 182.84/182.91 c | 1326 | 1737 5211 18928 | 8052 1326 32 | 0.008 % | 182.93/183.09 c | 2086 | 1737 5211 18928 | 8857 2086 30 | 0.002 % | 183.14/183.27 c =============================================================================== 183.24/183.30 c core #4 183.24/183.30 c 183.24/183.30 c 183.24/183.30 c Core size: 62 Core Weight: 1 Total Weight: -46 183.24/183.30 c 183.24/183.30 c 183.24/183.30 c ============================[ Search Statistics ]============================== 183.24/183.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.24/183.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.24/183.30 c =============================================================================== 183.24/183.30 c | 0 | 1787 5451 19742 | 5000 0 nan | 0.000 % | 183.24/183.34 c | 101 | 1787 5451 19742 | 5500 101 96 | 0.001 % | 183.24/183.37 c | 253 | 1787 5451 19742 | 6050 253 62 | 0.000 % | 183.24/183.39 c | 478 | 1787 5451 19742 | 6655 478 47 | 0.001 % | 183.34/183.45 c | 815 | 1787 5451 19742 | 7320 815 45 | 0.001 % | 183.44/183.55 c | 1326 | 1787 5451 19742 | 8052 1326 45 | 0.001 % | 183.64/183.72 c | 2087 | 1787 5451 19742 | 8857 2087 37 | 0.001 % | 183.94/184.03 c | 3232 | 1787 5451 19742 | 9743 3232 41 | 0.001 % | 184.34/184.47 c | 4946 | 1787 5451 19742 | 10717 4946 46 | 0.001 % | 184.94/185.09 c | 7511 | 1787 5451 19742 | 11789 7511 54 | 0.001 % | 185.84/185.91 c | 11355 | 1787 5451 19742 | 12968 11355 57 | 0.001 % | 187.43/187.59 c | 17123 | 1787 5451 19742 | 14265 10040 60 | 0.001 % | 190.54/190.61 c | 25773 | 1787 5451 19742 | 15692 11113 54 | 0.001 % | 194.83/194.99 c | 38748 | 1787 5451 19742 | 17261 15639 57 | 0.001 % | 201.54/201.60 c | 58210 | 1787 5451 19742 | 18987 17020 56 | 0.001 % | 213.53/213.68 c | 87404 | 1787 5451 19742 | 20886 16118 59 | 0.001 % | 231.53/231.67 c | 131195 | 1787 5451 19742 | 22974 15963 56 | 0.001 % | 264.81/264.95 c | 196881 | 1694 5451 19742 | 25272 17936 54 | 5.205 % | 320.80/320.92 c | 295408 | 1694 5451 19742 | 27799 17711 60 | 5.205 % | 411.87/412.00 c | 443199 | 1694 5451 19742 | 30579 17056 51 | 5.205 % | 527.24/527.40 c =============================================================================== 529.34/529.50 c core #5 529.34/529.50 c 529.34/529.50 c 529.34/529.50 c Core size: 65 Core Weight: 1 Total Weight: -45 529.34/529.50 c 529.34/529.50 c 529.34/529.50 c ============================[ Search Statistics ]============================== 529.34/529.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 529.34/529.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 529.34/529.50 c =============================================================================== 529.34/529.50 c | 0 | 1837 8084 27688 | 5000 0 nan | 0.000 % | 529.44/529.64 c | 100 | 1837 8084 27688 | 5500 100 123 | 0.001 % | 529.44/529.66 c | 250 | 1837 8084 27688 | 6050 250 72 | 0.000 % | 529.44/529.68 c | 475 | 1837 8084 27688 | 6655 475 60 | 0.001 % | 529.54/529.75 c | 812 | 1837 8084 27688 | 7320 812 53 | 0.001 % | 529.64/529.85 c | 1319 | 1837 8084 27688 | 8052 1319 47 | 0.000 % | 529.84/530.00 c | 2080 | 1837 8084 27688 | 8857 2080 44 | 0.001 % | 530.05/530.22 c | 3221 | 1837 8084 27688 | 9743 3221 42 | 0.000 % | 530.24/530.44 c | 4929 | 1837 8084 27688 | 10717 4929 52 | 0.001 % | 530.94/531.13 c | 7495 | 1837 8084 27688 | 11789 7495 58 | 0.001 % | 531.94/532.12 c | 11341 | 1837 8084 27688 | 12968 11341 60 | 0.001 % | 533.54/533.74 c | 17108 | 1837 8084 27688 | 14265 9880 59 | 0.001 % | 536.54/536.76 c | 25760 | 1837 8084 27688 | 15692 10688 59 | 0.001 % | 542.74/542.90 c | 38737 | 1837 8084 27688 | 17261 15061 58 | 0.001 % | 549.54/549.77 c | 58199 | 1837 8084 27688 | 18987 15770 62 | 0.001 % | 561.03/561.21 c | 87394 | 1837 8084 27688 | 20886 14314 59 | 0.001 % | 584.42/584.68 c | 131183 | 1837 8084 27688 | 22974 13414 66 | 0.001 % | 612.22/612.43 c | 196867 | 1837 8084 27688 | 25272 15470 51 | 0.001 % | 658.00/658.27 c | 295395 | 1837 8084 27688 | 27799 24475 63 | 0.001 % | 726.49/726.71 c | 443187 | 1837 8084 27688 | 30579 14398 50 | 0.001 % | 837.75/838.05 c | 664873 | 1837 8084 27688 | 33637 16172 55 | 0.001 % | 1026.01/1026.34 c | 997398 | 1837 8084 27688 | 37001 30192 60 | 0.001 % | 1316.42/1316.83 c | 1496188 | 1837 8084 27688 | 40701 15745 39 | 0.001 % | 1793.68/1794.24 c | 2244372 | 1837 8084 27688 | 44771 31772 47 | 0.001 % |
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-2702631-1278572910/watcher-2702631-1278572910 -o /tmp/evaluation-result-2702631-1278572910/solver-2702631-1278572910 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702631-1278572910.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.00 0.03 0.34 3/106 2941 /proc/meminfo: memFree=1640008/2059040 swapFree=4086148/4192956 [pid=2941] ppid=2939 vsize=2840 CPUtime=0 /proc/2941/stat : 2941 (wbo1.4b) R 2939 2941 2906 0 -1 4202496 329 0 0 0 0 0 0 0 19 0 1 0 25503999 2908160 248 1992294400 134512640 135752675 4288344752 18446744073709551615 134647808 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2941/statm: 710 248 138 303 0 375 0 [startup+0.0263509 s] /proc/loadavg: 0.00 0.03 0.34 3/106 2941 /proc/meminfo: memFree=1640008/2059040 swapFree=4086148/4192956 [pid=2941] ppid=2939 vsize=3256 CPUtime=0.02 /proc/2941/stat : 2941 (wbo1.4b) R 2939 2941 2906 0 -1 4202496 500 0 0 0 2 0 0 0 19 0 1 0 25503999 3334144 389 1992294400 134512640 135752675 4288344752 18446744073709551615 135211648 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2941/statm: 814 389 142 303 0 509 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 3256 [startup+0.101358 s] /proc/loadavg: 0.00 0.03 0.34 3/106 2941 /proc/meminfo: memFree=1640008/2059040 swapFree=4086148/4192956 [pid=2941] ppid=2939 vsize=3528 CPUtime=0.09 /proc/2941/stat : 2941 (wbo1.4b) R 2939 2941 2906 0 -1 4202496 559 0 0 0 9 0 0 0 20 0 1 0 25503999 3612672 448 1992294400 134512640 135752675 4288344752 18446744073709551615 134638767 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2941/statm: 882 448 145 303 0 577 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3528 [startup+0.301385 s] /proc/loadavg: 0.00 0.03 0.34 3/106 2941 /proc/meminfo: memFree=1640008/2059040 swapFree=4086148/4192956 [pid=2941] ppid=2939 vsize=3784 CPUtime=0.29 /proc/2941/stat : 2941 (wbo1.4b) R 2939 2941 2906 0 -1 4202496 632 0 0 0 29 0 0 0 20 0 1 0 25503999 3874816 521 1992294400 134512640 135752675 4288344752 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2941/statm: 946 521 145 303 0 641 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3784 [startup+0.701437 s] /proc/loadavg: 0.00 0.03 0.34 3/106 2941 /proc/meminfo: memFree=1640008/2059040 swapFree=4086148/4192956 [pid=2941] ppid=2939 vsize=4960 CPUtime=0.69 /proc/2941/stat : 2941 (wbo1.4b) R 2939 2941 2906 0 -1 4202496 901 0 0 0 69 0 0 0 21 0 1 0 25503999 5079040 790 1992294400 134512640 135752675 4288344752 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2941/statm: 1240 790 145 303 0 935 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4960 [startup+1.50154 s] /proc/loadavg: 0.00 0.03 0.34 2/107 2942 /proc/meminfo: memFree=1637396/2059040 swapFree=4086148/4192956 [pid=2941] ppid=2939 vsize=6156 CPUtime=1.49 /proc/2941/stat : 2941 (wbo1.4b) R 2939 2941 2906 0 -1 4202496 1215 0 0 0 148 1 0 0 23 0 1 0 25503999 6303744 1104 1992294400 134512640 135752675 4288344752 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2941/statm: 1539 1105 145 303 0 1234 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6156 [startup+3.10175 s] /proc/loadavg: 0.00 0.03 0.34 2/107 2942 /proc/meminfo: memFree=1635040/2059040 swapFree=4086148/4192956 [pid=2941] ppid=2939 vsize=9172 CPUtime=3.09 /proc/2941/stat : 2941 (wbo1.4b) R 2939 2941 2906 0 -1 4202496 1961 0 0 0 305 4 0 0 25 0 1 0 25503999 9392128 1850 1992294400 134512640 135752675 4288344752 18446744073709551615 134611663 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2941/statm: 2293 1850 145 303 0 1988 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9172 [startup+6.30117 s] /proc/loadavg: 0.08 0.05 0.34 2/107 2942 /proc/meminfo: memFree=1630080/2059040 swapFree=4086148/4192956 [pid=2941] ppid=2939 vsize=13620 CPUtime=6.29 /proc/2941/stat : 2941 (wbo1.4b) R 2939 2941 2906 0 -1 4202496 3080 0 0 0 619 10 0 0 25 0 1 0 25503999 13946880 2969 1992294400 134512640 135752675 4288344752 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2941/statm: 3405 2969 145 303 0 3100 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13620 [startup+12.701 s] /proc/loadavg: 0.15 0.06 0.35 2/107 2942 /proc/meminfo: memFree=1620036/2059040 swapFree=4086148/4192956 [pid=2941] ppid=2939 vsize=23244 CPUtime=12.69 /proc/2941/stat : 2941 (wbo1.4b) R 2939 2941 2906 0 -1 4202496 5467 0 0 0 1250 19 0 0 25 0 1 0 25503999 23801856 5356 1992294400 134512640 135752675 4288344752 18446744073709551615 134611612 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2941/statm: 5811 5356 145 303 0 5506 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 23244 [startup+25.5007 s] /proc/loadavg: 0.34 0.11 0.36 2/107 2944 /proc/meminfo: memFree=1604040/2059040 swapFree=4086148/4192956 [pid=2941] ppid=2939 vsize=38552 CPUtime=25.48 /proc/2941/stat : 2941 (wbo1.4b) R 2939 2941 2906 0 -1 4202496 9288 0 0 0 2513 35 0 0 25 0 1 0 25503999 39477248 9177 1992294400 134512640 135752675 4288344752 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2941/statm: 9638 9177 145 303 0 9333 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 38552 [startup+51.101 s] /proc/loadavg: 0.56 0.18 0.37 2/107 2944 /proc/meminfo: memFree=1578124/2059040 swapFree=4086148/4192956 [pid=2941] ppid=2939 vsize=64612 CPUtime=51.08 /proc/2941/stat : 2941 (wbo1.4b) R 2939 2941 2906 0 -1 4202496 15822 0 0 0 5044 64 0 0 25 0 1 0 25503999 66162688 15711 1992294400 134512640 135752675 4288344752 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2941/statm: 16153 15711 145 303 0 15848 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 64612 [startup+102.309 s] /proc/loadavg: 0.81 0.30 0.40 2/107 2946 /proc/meminfo: memFree=1522696/2059040 swapFree=4086148/4192956 [pid=2941] ppid=2939 vsize=119312 CPUtime=102.27 /proc/2941/stat : 2941 (wbo1.4b) R 2939 2941 2906 0 -1 4202496 29487 0 0 0 10104 123 0 0 25 0 1 0 25503999 122175488 29376 1992294400 134512640 135752675 4288344752 18446744073709551615 134604978 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2941/statm: 29828 29376 145 303 0 29523 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 119312 [startup+162.301 s] /proc/loadavg: 0.93 0.43 0.44 2/107 2946 /proc/meminfo: memFree=1474088/2059040 swapFree=4086148/4192956 [pid=2941] ppid=2939 vsize=168040 CPUtime=162.25 /proc/2941/stat : 2941 (wbo1.4b) R 2939 2941 2906 0 -1 4202496 41647 0 0 0 16048 177 0 0 25 0 1 0 25503999 172072960 41536 1992294400 134512640 135752675 4288344752 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2941/statm: 42010 41536 145 303 0 41705 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 168040 [startup+222.301 s] /proc/loadavg: 0.97 0.53 0.47 3/107 2948 /proc/meminfo: memFree=1440732/2059040 swapFree=4086148/4192956 [pid=2941] ppid=2939 vsize=201104 CPUtime=222.23 /proc/2941/stat : 2941 (wbo1.4b) R 2939 2941 2906 0 -1 4202496 49960 0 0 0 21982 241 0 0 25 0 1 0 25503999 205930496 49820 1992294400 134512640 135752675 4288344752 18446744073709551615 134516989 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2941/statm: 50276 49820 146 303 0 49971 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 201104 [startup+282.301 s] /proc/loadavg: 0.99 0.61 0.50 2/107 2950 /proc/meminfo: memFree=1409732/2059040 swapFree=4086148/4192956 [pid=2941] ppid=2939 vsize=232288 CPUtime=282.21 /proc/2941/stat : 2941 (wbo1.4b) R 2939 2941 2906 0 -1 4202496 57732 0 0 0 27924 297 0 0 25 0 1 0 25503999 237862912 57592 1992294400 134512640 135752675 4288344752 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2941/statm: 58072 57592 146 303 0 57767 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 232288 [startup+342.301 s] /proc/loadavg: 0.99 0.68 0.53 2/107 2952 /proc/meminfo: memFree=1383196/2059040 swapFree=4086148/4192956 [pid=2941] ppid=2939 vsize=258472 CPUtime=342.2 /proc/2941/stat : 2941 (wbo1.4b) R 2939 2941 2906 0 -1 4202496 64264 0 0 0 33883 337 0 0 25 0 1 0 25503999 264675328 64124 1992294400 134512640 135752675 4288344752 18446744073709551615 135200964 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2941/statm: 64651 64125 146 303 0 64346 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 258472 [startup+402.301 s] /proc/loadavg: 0.99 0.74 0.56 2/107 2954 /proc/meminfo: memFree=1356164/2059040 swapFree=4086148/4192956 [pid=2941] ppid=2939 vsize=285864 CPUtime=402.17 /proc/2941/stat : 2941 (wbo1.4b) R 2939 2941 2906 0 -1 4202496 71070 0 0 0 39831 386 0 0 25 0 1 0 25503999 292724736 70930 1992294400 134512640 135752675 4288344752 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2941/statm: 71466 70930 146 303 0 71161 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 285864 [startup+462.301 s] /proc/loadavg: 0.99 0.78 0.58 2/107 2954 /proc/meminfo: memFree=1327148/2059040 swapFree=4086148/4192956 [pid=2941] ppid=2939 vsize=314640 CPUtime=462.16 /proc/2941/stat : 2941 (wbo1.4b) R 2939 2941 2906 0 -1 4202496 78257 0 0 0 45786 430 0 0 25 0 1 0 25503999 322191360 78117 1992294400 134512640 135752675 4288344752 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2941/statm: 78660 78117 146 303 0 78355 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 314640 [startup+522.301 s] /proc/loadavg: 0.99 0.82 0.60 2/107 2956 /proc/meminfo: memFree=1292676/2059040 swapFree=4086148/4192956 [pid=2941] ppid=2939 vsize=349288 CPUtime=522.14 /proc/2941/stat : 2941 (wbo1.4b) R 2939 2941 2906 0 -1 4202496 86917 0 0 0 51739 475 0 0 25 0 1 0 25503999 357670912 86777 1992294400 134512640 135752675 4288344752 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2941/statm: 87322 86777 146 303 0 87017 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 349288 [startup+582.301 s] /proc/loadavg: 0.99 0.85 0.63 2/107 2958 /proc/meminfo: memFree=1258080/2059040 swapFree=4086148/4192956 [pid=2941] ppid=2939 vsize=383564 CPUtime=582.12 /proc/2941/stat : 2941 (wbo1.4b) R 2939 2941 2906 0 -1 4202496 95530 0 0 0 57681 531 0 0 25 0 1 0 25503999 392769536 95390 1992294400 134512640 135752675 4288344752 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2941/statm: 95891 95390 146 303 0 95586 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 383564 [startup+642.301 s] /proc/loadavg: 1.05 0.89 0.65 2/107 2963 /proc/meminfo: memFree=1221872/2059040 swapFree=4086148/4192956 [pid=2941] ppid=2939 vsize=418760 CPUtime=642.12 /proc/2941/stat : 2941 (wbo1.4b) R 2939 2941 2906 0 -1 4202496 104307 0 0 0 63625 587 0 0 25 0 1 0 25503999 428810240 104167 1992294400 134512640 135752675 4288344752 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2941/statm: 104690 104167 146 303 0 104385 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 418760 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 0.93 0.70 2/107 2967 /proc/meminfo: memFree=1129740/2059040 swapFree=4086148/4192956 [pid=2941] ppid=2939 vsize=511144 CPUtime=822.06 /proc/2941/stat : 2941 (wbo1.4b) R 2939 2941 2906 0 -1 4202496 127358 0 0 0 81459 747 0 0 25 0 1 0 25503999 523411456 127218 1992294400 134512640 135752675 4288344752 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2941/statm: 127786 127218 146 303 0 127481 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 511144 [startup+882.301 s] /proc/loadavg: 1.00 0.94 0.72 2/107 2969 /proc/meminfo: memFree=1100352/2059040 swapFree=4086148/4192956 [pid=2941] ppid=2939 vsize=540456 CPUtime=882.04 /proc/2941/stat : 2941 (wbo1.4b) R 2939 2941 2906 0 -1 4202496 134657 0 0 0 87414 790 0 0 25 0 1 0 25503999 553426944 134517 1992294400 134512640 135752675 4288344752 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2941/statm: 135114 134517 146 303 0 134809 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 540456 [startup+942.301 s] /proc/loadavg: 1.00 0.95 0.74 2/107 2971 /proc/meminfo: memFree=1066128/2059040 swapFree=4086148/4192956 [pid=2941] ppid=2939 vsize=574908 CPUtime=942.02 /proc/2941/stat : 2941 (wbo1.4b) R 2939 2941 2906 0 -1 4202496 143280 0 0 0 93364 838 0 0 25 0 1 0 25503999 588705792 143140 1992294400 134512640 135752675 4288344752 18446744073709551615 134611807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2941/statm: 143727 143140 146 303 0 143422 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 574908 [startup+1002.3 s] /proc/loadavg: 1.00 0.95 0.75 2/107 2973 /proc/meminfo: memFree=1029920/2059040 swapFree=4086148/4192956 [pid=2941] ppid=2939 vsize=610688 CPUtime=1002.01 /proc/2941/stat : 2941 (wbo1.4b) R 2939 2941 2906 0 -1 4202496 152254 0 0 0 99313 888 0 0 25 0 1 0 25503999 625344512 152114 1992294400 134512640 135752675 4288344752 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2941/statm: 152672 152114 146 303 0 152367 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 610688 [startup+1062.3 s] /proc/loadavg: 1.00 0.96 0.76 2/107 2973 /proc/meminfo: memFree=999788/2059040 swapFree=4086148/4192956 [pid=2941] ppid=2939 vsize=641424 CPUtime=1061.99 /proc/2941/stat : 2941 (wbo1.4b) R 2939 2941 2906 0 -1 4202496 159913 0 0 0 105271 928 0 0 25 0 1 0 25503999 656818176 159773 1992294400 134512640 135752675 4288344752 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2941/statm: 160356 159773 146 303 0 160051 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 641424 [startup+1122.3 s] /proc/loadavg: 1.00 0.97 0.77 2/107 2975 /proc/meminfo: memFree=968044/2059040 swapFree=4086148/4192956 [pid=2941] ppid=2939 vsize=672808 CPUtime=1121.98 /proc/2941/stat : 2941 (wbo1.4b) R 2939 2941 2906 0 -1 4202496 167716 0 0 0 111222 976 0 0 25 0 1 0 25503999 688955392 167576 1992294400 134512640 135752675 4288344752 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2941/statm: 168202 167576 146 303 0 167897 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 672808 [startup+1182.3 s] /proc/loadavg: 1.00 0.97 0.78 2/107 2977 /proc/meminfo: memFree=941880/2059040 swapFree=4086148/4192956 [pid=2941] ppid=2939 vsize=698936 CPUtime=1181.96 /proc/2941/stat : 2941 (wbo1.4b) R 2939 2941 2906 0 -1 4202496 174260 0 0 0 117182 1014 0 0 25 0 1 0 25503999 715710464 174120 1992294400 134512640 135752675 4288344752 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2941/statm: 174734 174120 146 303 0 174429 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 698936 [startup+1242.3 s] /proc/loadavg: 1.00 0.97 0.79 2/107 2979 /proc/meminfo: memFree=916460/2059040 swapFree=4086148/4192956 [pid=2941] ppid=2939 vsize=724356 CPUtime=1241.94 /proc/2941/stat : 2941 (wbo1.4b) R 2939 2941 2906 0 -1 4202496 180597 0 0 0 123136 1058 0 0 25 0 1 0 25503999 741740544 180457 1992294400 134512640 135752675 4288344752 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2941/statm: 181089 180457 146 303 0 180784 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 724356 [startup+1302.3 s] /proc/loadavg: 1.00 0.97 0.81 2/107 2981 /proc/meminfo: memFree=891288/2059040 swapFree=4086148/4192956 [pid=2941] ppid=2939 vsize=749248 CPUtime=1301.93 /proc/2941/stat : 2941 (wbo1.4b) R 2939 2941 2906 0 -1 4202496 186812 0 0 0 129096 1097 0 0 25 0 1 0 25503999 767229952 186672 1992294400 134512640 135752675 4288344752 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2941/statm: 187312 186672 146 303 0 187007 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 749248 [startup+1362.3 s] /proc/loadavg: 1.00 0.97 0.82 2/107 2981 /proc/meminfo: memFree=863636/2059040 swapFree=4086148/4192956 [pid=2941] ppid=2939 vsize=777204 CPUtime=1361.9 /proc/2941/stat : 2941 (wbo1.4b) R 2939 2941 2906 0 -1 4202496 193770 0 0 0 135052 1138 0 0 25 0 1 0 25503999 795856896 193630 1992294400 134512640 135752675 4288344752 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2941/statm: 194301 193630 146 303 0 193996 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 777204 [startup+1422.31 s] /proc/loadavg: 1.00 0.97 0.82 2/107 2983 /proc/meminfo: memFree=835116/2059040 swapFree=4086148/4192956 [pid=2941] ppid=2939 vsize=805616 CPUtime=1421.9 /proc/2941/stat : 2941 (wbo1.4b) R 2939 2941 2906 0 -1 4202496 200850 0 0 0 141010 1180 0 0 25 0 1 0 25503999 824950784 200710 1992294400 134512640 135752675 4288344752 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2941/statm: 201404 200710 146 303 0 201099 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 805616 [startup+1482.3 s] /proc/loadavg: 1.00 0.97 0.83 2/107 2985 /proc/meminfo: memFree=814408/2059040 swapFree=4086148/4192956 [pid=2941] ppid=2939 vsize=826412 CPUtime=1481.87 /proc/2941/stat : 2941 (wbo1.4b) R 2939 2941 2906 0 -1 4202496 206013 0 0 0 146974 1213 0 0 25 0 1 0 25503999 846245888 205873 1992294400 134512640 135752675 4288344752 18446744073709551615 134603244 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2941/statm: 206603 205873 146 303 0 206298 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 826412 [startup+1542.3 s] /proc/loadavg: 1.00 0.97 0.84 2/107 2987 /proc/meminfo: memFree=787748/2059040 swapFree=4086148/4192956 [pid=2941] ppid=2939 vsize=853132 CPUtime=1541.86 /proc/2941/stat : 2941 (wbo1.4b) R 2939 2941 2906 0 -1 4202496 212687 0 0 0 152933 1253 0 0 25 0 1 0 25503999 873607168 212547 1992294400 134512640 135752675 4288344752 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2941/statm: 213283 212547 146 303 0 212978 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 853132 [startup+1602.3 s] /proc/loadavg: 1.00 0.97 0.84 2/107 2989 /proc/meminfo: memFree=763816/2059040 swapFree=4086148/4192956 [pid=2941] ppid=2939 vsize=877312 CPUtime=1601.84 /proc/2941/stat : 2941 (wbo1.4b) R 2939 2941 2906 0 -1 4202496 218706 0 0 0 158890 1294 0 0 25 0 1 0 25503999 898367488 218566 1992294400 134512640 135752675 4288344752 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2941/statm: 219328 218566 146 303 0 219023 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 877312 [startup+1662.3 s] /proc/loadavg: 1.00 0.97 0.85 2/107 2989 /proc/meminfo: memFree=738272/2059040 swapFree=4086148/4192956 [pid=2941] ppid=2939 vsize=902596 CPUtime=1661.82 /proc/2941/stat : 2941 (wbo1.4b) R 2939 2941 2906 0 -1 4202496 225010 0 0 0 164849 1333 0 0 25 0 1 0 25503999 924258304 224870 1992294400 134512640 135752675 4288344752 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2941/statm: 225649 224870 146 303 0 225344 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 902596 [startup+1722.3 s] /proc/loadavg: 1.00 0.97 0.85 2/107 2991 /proc/meminfo: memFree=714588/2059040 swapFree=4086148/4192956 [pid=2941] ppid=2939 vsize=926636 CPUtime=1721.81 /proc/2941/stat : 2941 (wbo1.4b) R 2939 2941 2906 0 -1 4202496 230994 0 0 0 170809 1372 0 0 25 0 1 0 25503999 948875264 230854 1992294400 134512640 135752675 4288344752 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2941/statm: 231659 230854 146 303 0 231354 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 926636 [startup+1782.3 s] /proc/loadavg: 1.00 0.97 0.86 2/107 2993 /proc/meminfo: memFree=692888/2059040 swapFree=4086148/4192956 [pid=2941] ppid=2939 vsize=947788 CPUtime=1781.79 /proc/2941/stat : 2941 (wbo1.4b) R 2939 2941 2906 0 -1 4202496 236272 0 0 0 176771 1408 0 0 25 0 1 0 25503999 970534912 236132 1992294400 134512640 135752675 4288344752 18446744073709551615 134603238 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2941/statm: 236947 236132 146 303 0 236642 0 Current children cumulated CPU time (s) 1781.79 Current children cumulated vsize (KiB) 947788 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 0.97 0.86 2/107 2993 /proc/meminfo: memFree=686068/2059040 swapFree=4086148/4192956 [pid=2941] ppid=2939 vsize=954636 CPUtime=1800.1 /proc/2941/stat : 2941 (wbo1.4b) R 2939 2941 2906 0 -1 4202496 237983 0 0 0 178590 1420 0 0 25 0 1 0 25503999 977547264 237843 1992294400 134512640 135752675 4288344752 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/2941/statm: 238659 237843 146 303 0 238354 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 954636 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.7 CPU time (s): 1800.19 CPU user time (s): 1785.91 CPU system time (s): 14.2888 CPU usage (%): 99.9717 Max. virtual memory (cumulated for all children) (KiB): 954636 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1785.91 system time used= 14.2888 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 237983 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= 7 involuntary context switches= 3056 runsolver used 2.96455 second user time and 8.5217 second system time The end
Begin job on node013 at 2010-07-08 09:08:30 IDJOB=2702631 IDBENCH=48250 IDSOLVER=1190 FILE ID=node013/2702631-1278572910 PBS_JOBID= 11240103 Free space on /tmp= 62552 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_25_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-2702631-1278572910/watcher-2702631-1278572910 -o /tmp/evaluation-result-2702631-1278572910/solver-2702631-1278572910 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702631-1278572910.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e0d3a2bf2cd2b7e4b27d7033a7686e76 RANDOM SEED=1106380042 node013.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.218 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1640908 kB Buffers: 57808 kB Cached: 215216 kB SwapCached: 61580 kB Active: 118748 kB Inactive: 219264 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1640908 kB SwapTotal: 4192956 kB SwapFree: 4086148 kB Dirty: 2648 kB Writeback: 0 kB AnonPages: 11944 kB Mapped: 8384 kB Slab: 57972 kB PageTables: 4160 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182496 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-2702631-1278572910.opb Free space on /tmp at the end= 62548 MiB End job on node013 at 2010-07-08 09:38:33