Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.3 | 1801.16 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-test4.pi.opb |
MD5SUM | cca57c347e264f92fb70010109aa24c5 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 97 |
Best CPU time to get the best result obtained on this benchmark | 1794.89 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 104 |
Optimality of the best value was proved | NO |
Number of variables | 6139 |
Total number of constraints | 1437 |
Number of constraints which are clauses | 1437 |
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 | 5 |
Maximum length of a constraint | 172 |
Number of terms in the objective function | 6139 |
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 | 6139 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 6139 |
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 This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1875719-1245148486.opb. 0.00/0.00 c Instance file HOME/instance-1875719-1245148486.opb 0.00/0.00 c File size is 1025835 bytes. 0.09/0.15 c Highest Coefficient sum: 173 0.09/0.15 c ============================[ Problem Statistics ]============================= 0.09/0.15 c | | 0.09/0.15 c | Parsing time: 0.15 s | 0.09/0.15 c | Number Variables: 6139 | 0.09/0.15 c | Number Clauses: 7576 | 0.09/0.15 c | Number Cardinality: 0 | 0.09/0.15 c | Number PB Constraints: 0 | 0.09/0.15 c core #1 0.09/0.15 c Core size: 128 Core Weight: 1 Total Weight: 1 0.09/0.15 c Elapsed CPU time: 0.153976 s Remaining CPU time: 1799.85 s 0.09/0.17 c core #2 0.09/0.17 c Core size: 63 Core Weight: 1 Total Weight: 2 0.09/0.17 c Elapsed CPU time: 0.166974 s Remaining CPU time: 1799.83 s 0.09/0.18 c core #3 0.09/0.18 c Core size: 62 Core Weight: 1 Total Weight: 3 0.09/0.18 c Elapsed CPU time: 0.181972 s Remaining CPU time: 1799.82 s 0.19/0.20 c core #4 0.19/0.20 c Core size: 34 Core Weight: 1 Total Weight: 4 0.19/0.20 c Elapsed CPU time: 0.19597 s Remaining CPU time: 1799.8 s 0.19/0.22 c core #5 0.19/0.22 c Core size: 59 Core Weight: 1 Total Weight: 5 0.19/0.22 c Elapsed CPU time: 0.210967 s Remaining CPU time: 1799.79 s 0.19/0.23 c core #6 0.19/0.23 c Core size: 41 Core Weight: 1 Total Weight: 6 0.19/0.23 c Elapsed CPU time: 0.224965 s Remaining CPU time: 1799.78 s 0.19/0.25 c core #7 0.19/0.25 c Core size: 69 Core Weight: 1 Total Weight: 7 0.19/0.25 c Elapsed CPU time: 0.244962 s Remaining CPU time: 1799.76 s 0.19/0.27 c core #8 0.19/0.27 c Core size: 96 Core Weight: 1 Total Weight: 8 0.19/0.27 c Elapsed CPU time: 0.264959 s Remaining CPU time: 1799.74 s 0.19/0.29 c core #9 0.19/0.29 c Core size: 43 Core Weight: 1 Total Weight: 9 0.19/0.29 c Elapsed CPU time: 0.284956 s Remaining CPU time: 1799.72 s 0.29/0.31 c core #10 0.29/0.31 c Core size: 79 Core Weight: 1 Total Weight: 10 0.29/0.31 c Elapsed CPU time: 0.305953 s Remaining CPU time: 1799.69 s 0.29/0.33 c core #11 0.29/0.33 c Core size: 35 Core Weight: 1 Total Weight: 11 0.29/0.33 c Elapsed CPU time: 0.321951 s Remaining CPU time: 1799.68 s 0.29/0.35 c core #12 0.29/0.35 c Core size: 60 Core Weight: 1 Total Weight: 12 0.29/0.35 c Elapsed CPU time: 0.341948 s Remaining CPU time: 1799.66 s 0.29/0.37 c core #13 0.29/0.37 c Core size: 59 Core Weight: 1 Total Weight: 13 0.29/0.37 c Elapsed CPU time: 0.362944 s Remaining CPU time: 1799.64 s 0.29/0.39 c core #14 0.29/0.39 c Core size: 38 Core Weight: 1 Total Weight: 14 0.29/0.39 c Elapsed CPU time: 0.382941 s Remaining CPU time: 1799.62 s 0.39/0.41 c core #15 0.39/0.41 c Core size: 95 Core Weight: 1 Total Weight: 15 0.39/0.41 c Elapsed CPU time: 0.403938 s Remaining CPU time: 1799.6 s 0.39/0.43 c core #16 0.39/0.43 c Core size: 30 Core Weight: 1 Total Weight: 16 0.39/0.43 c Elapsed CPU time: 0.423935 s Remaining CPU time: 1799.58 s 0.39/0.45 c core #17 0.39/0.45 c Core size: 41 Core Weight: 1 Total Weight: 17 0.39/0.45 c Elapsed CPU time: 0.444932 s Remaining CPU time: 1799.56 s 0.39/0.47 c core #18 0.39/0.47 c Core size: 27 Core Weight: 1 Total Weight: 18 0.39/0.47 c Elapsed CPU time: 0.465929 s Remaining CPU time: 1799.53 s 0.39/0.49 c core #19 0.39/0.49 c Core size: 48 Core Weight: 1 Total Weight: 19 0.39/0.49 c Elapsed CPU time: 0.481926 s Remaining CPU time: 1799.52 s 0.49/0.51 c core #20 0.49/0.51 c Core size: 35 Core Weight: 1 Total Weight: 20 0.49/0.51 c Elapsed CPU time: 0.503923 s Remaining CPU time: 1799.5 s 0.49/0.53 c core #21 0.49/0.53 c Core size: 6 Core Weight: 1 Total Weight: 21 0.49/0.53 c Elapsed CPU time: 0.52492 s Remaining CPU time: 1799.48 s 0.49/0.55 c core #22 0.49/0.55 c Core size: 22 Core Weight: 1 Total Weight: 22 0.49/0.55 c Elapsed CPU time: 0.545917 s Remaining CPU time: 1799.45 s 0.49/0.57 c core #23 0.49/0.57 c Core size: 17 Core Weight: 1 Total Weight: 23 0.49/0.57 c Elapsed CPU time: 0.566913 s Remaining CPU time: 1799.43 s 0.49/0.59 c core #24 0.49/0.59 c Core size: 70 Core Weight: 1 Total Weight: 24 0.49/0.59 c Elapsed CPU time: 0.58891 s Remaining CPU time: 1799.41 s 0.59/0.62 c core #25 0.59/0.62 c Core size: 48 Core Weight: 1 Total Weight: 25 0.59/0.62 c Elapsed CPU time: 0.609907 s Remaining CPU time: 1799.39 s 0.59/0.63 c core #26 0.59/0.63 c Core size: 33 Core Weight: 1 Total Weight: 26 0.59/0.63 c Elapsed CPU time: 0.627904 s Remaining CPU time: 1799.37 s 0.59/0.65 c core #27 0.59/0.65 c Core size: 42 Core Weight: 1 Total Weight: 27 0.59/0.65 c Elapsed CPU time: 0.648901 s Remaining CPU time: 1799.35 s 0.59/0.68 c core #28 0.59/0.68 c Core size: 19 Core Weight: 1 Total Weight: 28 0.59/0.68 c Elapsed CPU time: 0.670898 s Remaining CPU time: 1799.33 s 0.69/0.70 c core #29 0.69/0.70 c Core size: 23 Core Weight: 1 Total Weight: 29 0.69/0.70 c Elapsed CPU time: 0.692894 s Remaining CPU time: 1799.31 s 0.69/0.72 c core #30 0.69/0.72 c Core size: 25 Core Weight: 1 Total Weight: 30 0.69/0.72 c Elapsed CPU time: 0.714891 s Remaining CPU time: 1799.29 s 0.69/0.74 c core #31 0.69/0.74 c Core size: 59 Core Weight: 1 Total Weight: 31 0.69/0.74 c Elapsed CPU time: 0.735888 s Remaining CPU time: 1799.26 s 0.69/0.76 c core #32 0.69/0.76 c Core size: 43 Core Weight: 1 Total Weight: 32 0.69/0.76 c Elapsed CPU time: 0.757884 s Remaining CPU time: 1799.24 s 0.69/0.79 c core #33 0.69/0.79 c Core size: 47 Core Weight: 1 Total Weight: 33 0.69/0.79 c Elapsed CPU time: 0.779881 s Remaining CPU time: 1799.22 s 0.79/0.81 c core #34 0.79/0.81 c Core size: 11 Core Weight: 1 Total Weight: 34 0.79/0.81 c Elapsed CPU time: 0.801878 s Remaining CPU time: 1799.2 s 0.79/0.83 c core #35 0.79/0.83 c Core size: 26 Core Weight: 1 Total Weight: 35 0.79/0.83 c Elapsed CPU time: 0.823874 s Remaining CPU time: 1799.18 s 0.79/0.85 c core #36 0.79/0.85 c Core size: 61 Core Weight: 1 Total Weight: 36 0.79/0.85 c Elapsed CPU time: 0.846871 s Remaining CPU time: 1799.15 s 0.79/0.87 c core #37 0.79/0.87 c Core size: 18 Core Weight: 1 Total Weight: 37 0.79/0.87 c Elapsed CPU time: 0.868867 s Remaining CPU time: 1799.13 s 0.89/0.90 c core #38 0.89/0.90 c Core size: 43 Core Weight: 1 Total Weight: 38 0.89/0.90 c Elapsed CPU time: 0.891864 s Remaining CPU time: 1799.11 s 0.89/0.92 c core #39 0.89/0.92 c Core size: 63 Core Weight: 1 Total Weight: 39 0.89/0.92 c Elapsed CPU time: 0.913861 s Remaining CPU time: 1799.09 s 0.89/0.94 c core #40 0.89/0.94 c Core size: 23 Core Weight: 1 Total Weight: 40 0.89/0.94 c Elapsed CPU time: 0.936857 s Remaining CPU time: 1799.06 s 0.89/0.97 c core #41 0.89/0.97 c Core size: 30 Core Weight: 1 Total Weight: 41 0.89/0.97 c Elapsed CPU time: 0.959854 s Remaining CPU time: 1799.04 s 0.89/0.99 c core #42 0.89/0.99 c Core size: 23 Core Weight: 1 Total Weight: 42 0.89/0.99 c Elapsed CPU time: 0.98285 s Remaining CPU time: 1799.02 s 1.00/1.01 c core #43 1.00/1.01 c Core size: 62 Core Weight: 1 Total Weight: 43 1.00/1.01 c Elapsed CPU time: 1.00485 s Remaining CPU time: 1799 s 1.00/1.03 c core #44 1.00/1.03 c Core size: 15 Core Weight: 1 Total Weight: 44 1.00/1.03 c Elapsed CPU time: 1.02684 s Remaining CPU time: 1798.97 s 1.00/1.06 c core #45 1.00/1.06 c Core size: 43 Core Weight: 1 Total Weight: 45 1.00/1.06 c Elapsed CPU time: 1.04984 s Remaining CPU time: 1798.95 s 1.00/1.08 c core #46 1.00/1.08 c Core size: 45 Core Weight: 1 Total Weight: 46 1.00/1.08 c Elapsed CPU time: 1.07384 s Remaining CPU time: 1798.93 s 1.10/1.10 c core #47 1.10/1.10 c Core size: 37 Core Weight: 1 Total Weight: 47 1.10/1.10 c Elapsed CPU time: 1.09683 s Remaining CPU time: 1798.9 s 1.10/1.13 c core #48 1.10/1.13 c Core size: 50 Core Weight: 1 Total Weight: 48 1.10/1.13 c Elapsed CPU time: 1.12083 s Remaining CPU time: 1798.88 s 1.10/1.15 c ============================[ Search Statistics ]============================== 1.10/1.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.15 c =============================================================================== 1.10/1.15 c | 0 | 3706 7624 115099 | 5000 0 nan | 0.000 % | 1.10/1.15 c =============================================================================== 1.10/1.15 c core #49 1.10/1.15 c Core size: 265 Core Weight: 1 Total Weight: 49 1.10/1.15 c Elapsed CPU time: 1.14682 s Remaining CPU time: 1798.85 s 1.10/1.18 c ============================[ Search Statistics ]============================== 1.10/1.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.18 c =============================================================================== 1.10/1.18 c | 0 | 4664 7625 116332 | 5000 0 nan | 0.000 % | 1.10/1.19 c | 100 | 4662 7625 116332 | 5500 100 103 | 45.082 % | 1.19/1.23 c | 256 | 4662 7625 116332 | 6050 256 112 | 45.105 % | 1.19/1.27 c | 481 | 4661 7625 116332 | 6655 481 105 | 45.105 % | 1.19/1.29 c =============================================================================== 1.19/1.29 c core #50 1.19/1.29 c Core size: 336 Core Weight: 1 Total Weight: 50 1.19/1.29 c Elapsed CPU time: 1.27781 s Remaining CPU time: 1798.72 s 1.29/1.31 c ============================[ Search Statistics ]============================== 1.29/1.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.31 c =============================================================================== 1.29/1.31 c | 0 | 5128 7626 117117 | 5000 0 nan | 0.000 % | 1.29/1.33 c | 104 | 5116 7626 117117 | 5500 104 48 | 41.930 % | 1.29/1.38 c | 257 | 5113 7626 117117 | 6050 257 61 | 41.964 % | 1.39/1.44 c | 484 | 5111 7626 117117 | 6655 465 62 | 41.986 % | 1.49/1.57 c | 822 | 5109 7626 117117 | 7320 803 88 | 42.009 % | 1.69/1.73 c | 1331 | 5108 7626 117117 | 8052 1310 105 | 42.020 % | 1.99/2.09 c | 2090 | 5107 7626 117117 | 8857 2069 165 | 42.032 % | 2.49/2.56 c | 3230 | 5107 7626 117117 | 9743 3207 225 | 42.032 % | 3.59/3.64 c | 4938 | 5107 7626 117117 | 10717 4915 269 | 42.032 % | 4.79/4.84 c | 7502 | 5107 7626 117117 | 11789 7479 317 | 42.032 % | 7.69/7.71 c | 11351 | 5107 7626 117117 | 12968 11328 397 | 42.032 % | 15.58/15.68 c | 17118 | 5105 7626 117117 | 14265 8703 580 | 42.054 % | 21.59/21.62 c =============================================================================== 21.79/21.83 c core #51 21.79/21.83 c Core size: 1615 Core Weight: 1 Total Weight: 51 21.79/21.83 c Elapsed CPU time: 21.6697 s Remaining CPU time: 1778.33 s 21.79/21.88 c ============================[ Search Statistics ]============================== 21.79/21.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.79/21.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.79/21.88 c =============================================================================== 21.79/21.88 c | 0 | 7526 7627 121051 | 5000 0 nan | 0.000 % | 21.88/21.91 c | 100 | 7526 7627 121051 | 5500 100 99 | 27.257 % | 21.88/21.93 c | 251 | 7526 7627 121051 | 6050 251 101 | 27.257 % | 21.99/22.04 c | 477 | 7526 7627 121051 | 6655 477 134 | 27.257 % | 22.58/22.61 c | 814 | 7526 7627 121051 | 7320 814 169 | 27.257 % | 23.09/23.10 c | 1320 | 7526 7627 121051 | 8052 1320 167 | 27.257 % | 23.68/23.76 c | 2084 | 7526 7627 121051 | 8857 2084 166 | 27.257 % | 24.98/25.03 c | 3223 | 7526 7627 121051 | 9743 3223 182 | 27.257 % | 27.18/27.21 c | 4932 | 7526 7627 121051 | 10717 4932 193 | 27.257 % | 29.37/29.49 c | 7494 | 7526 7627 121051 | 11789 7494 211 | 27.257 % | 32.98/33.04 c | 11338 | 7526 7627 121051 | 12968 11338 207 | 27.257 % | 39.58/39.66 c | 17104 | 7526 7627 121051 | 14265 9173 233 | 27.257 % | 55.26/55.39 c | 25754 | 7526 7627 121051 | 15692 9229 322 | 27.257 % | 76.95/77.02 c =============================================================================== 77.55/77.60 c core #52 77.55/77.60 c Core size: 1318 Core Weight: 1 Total Weight: 52 77.55/77.60 c Elapsed CPU time: 77.1643 s Remaining CPU time: 1722.84 s 77.55/77.67 c ============================[ Search Statistics ]============================== 77.55/77.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 77.55/77.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 77.55/77.67 c =============================================================================== 77.55/77.67 c | 0 | 9188 7628 123972 | 5000 0 nan | 0.000 % | 77.64/77.70 c | 100 | 9188 7628 123972 | 5500 100 128 | 20.827 % | 77.74/77.83 c | 250 | 9188 7628 123972 | 6050 250 106 | 20.827 % | 77.85/77.98 c | 475 | 9188 7628 123972 | 6655 475 135 | 20.827 % | 77.95/78.06 c | 812 | 9188 7628 123972 | 7320 812 187 | 20.827 % | 78.14/78.27 c | 1323 | 9188 7628 123972 | 8052 1323 185 | 20.827 % | 78.45/78.59 c | 2082 | 9188 7628 123972 | 8857 2082 251 | 20.827 % | 79.35/79.49 c | 3222 | 9188 7628 123972 | 9743 3222 256 | 20.827 % | 80.84/80.90 c | 4932 | 9188 7628 123972 | 10717 4932 240 | 20.827 % | 83.45/83.59 c | 7494 | 9188 7628 123972 | 11789 7494 255 | 20.827 % | 88.44/88.50 c | 11338 | 9188 7628 123972 | 12968 11338 284 | 20.827 % | 97.24/97.30 c | 17108 | 9188 7628 123972 | 14265 9252 366 | 20.827 % | 123.42/123.59 c | 25757 | 9188 7628 123972 | 15692 17901 388 | 20.827 % | 154.92/155.08 c | 38732 | 9188 7628 123972 | 17261 12450 476 | 20.827 % | 201.88/202.06 c | 58195 | 9188 7628 123972 | 18987 11388 587 | 20.827 % | 278.44/278.67 c | 87387 | 9188 7628 123972 | 20886 18628 539 | 20.827 % | 395.39/395.65 c | 131177 | 9188 7628 123972 | 22974 14060 537 | 20.827 % | 579.11/579.40 c | 196861 | 9188 7628 123972 | 25272 23606 426 | 20.827 % | 783.62/784.08 c | 295390 | 9188 7628 123972 | 27799 14095 520 | 20.827 % | 1112.16/1112.79 c | 443182 | 9188 7628 123972 | 30579 14125 418 | 20.827 % | 1660.40/1661.28 c | 664867 | 9188 7628 123972 | 33637 31114 802 | 20.827 % |
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-1875719-1245148486/watcher-1875719-1245148486 -o /tmp/evaluation-result-1875719-1245148486/solver-1875719-1245148486 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875719-1245148486.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/64 5805 /proc/meminfo: memFree=1867704/2055920 swapFree=4191900/4192956 [pid=5805] ppid=5803 vsize=4060 CPUtime=0 /proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 182447866 4157440 287 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 0 0 0 /proc/5805/statm: 1015 288 122 292 0 469 0 [startup+0.0849699 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5805 /proc/meminfo: memFree=1867704/2055920 swapFree=4191900/4192956 [pid=5805] ppid=5803 vsize=4924 CPUtime=0.08 /proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 657 0 0 0 8 0 0 0 18 0 1 0 182447866 5042176 641 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 0 0 0 /proc/5805/statm: 1231 641 255 292 0 685 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 4924 [startup+0.101971 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5805 /proc/meminfo: memFree=1867704/2055920 swapFree=4191900/4192956 [pid=5805] ppid=5803 vsize=5052 CPUtime=0.09 /proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 698 0 0 0 9 0 0 0 18 0 1 0 182447866 5173248 682 1992294400 134512640 135709839 4294956240 18446744073709551615 134605245 0 0 4096 3 0 0 0 17 0 0 0 /proc/5805/statm: 1263 682 282 292 0 717 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5052 [startup+0.302001 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5805 /proc/meminfo: memFree=1867704/2055920 swapFree=4191900/4192956 [pid=5805] ppid=5803 vsize=6176 CPUtime=0.29 /proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 1667 0 0 0 29 0 0 0 19 0 1 0 182447866 6324224 1098 1992294400 134512640 135709839 4294956240 18446744073709551615 134607408 0 0 4096 3 0 0 0 17 0 0 0 /proc/5805/statm: 1544 1098 133 292 0 1249 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6176 [startup+0.701062 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5805 /proc/meminfo: memFree=1867704/2055920 swapFree=4191900/4192956 [pid=5805] ppid=5803 vsize=6532 CPUtime=0.69 /proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 1780 0 0 0 69 0 0 0 23 0 1 0 182447866 6688768 1164 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 0 0 0 /proc/5805/statm: 1633 1164 133 292 0 1338 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6532 [startup+1.50118 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5806 /proc/meminfo: memFree=1863344/2055920 swapFree=4191900/4192956 [pid=5805] ppid=5803 vsize=7172 CPUtime=1.49 /proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 2156 0 0 0 147 2 0 0 25 0 1 0 182447866 7344128 1349 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 0 0 0 /proc/5805/statm: 1793 1349 136 292 0 1498 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7172 [startup+3.10143 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5806 /proc/meminfo: memFree=1862384/2055920 swapFree=4191900/4192956 [pid=5805] ppid=5803 vsize=10736 CPUtime=3.09 /proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 3072 0 0 0 306 3 0 0 25 0 1 0 182447866 10993664 2265 1992294400 134512640 135709839 4294956240 18446744073709551615 134574293 0 0 4096 3 0 0 0 17 0 0 0 /proc/5805/statm: 2684 2265 136 292 0 2389 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10736 [startup+6.30192 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5806 /proc/meminfo: memFree=1850160/2055920 swapFree=4191900/4192956 [pid=5805] ppid=5803 vsize=22628 CPUtime=6.28 /proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 6025 0 0 0 622 6 0 0 25 0 1 0 182447866 23171072 5218 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5805/statm: 5657 5218 136 292 0 5362 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 22628 [startup+12.7019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5806 /proc/meminfo: memFree=1833592/2055920 swapFree=4191900/4192956 [pid=5805] ppid=5803 vsize=37560 CPUtime=12.69 /proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 9772 0 0 0 1259 10 0 0 25 0 1 0 182447866 38461440 8965 1992294400 134512640 135709839 4294956240 18446744073709551615 134573778 0 0 4096 3 0 0 0 17 0 0 0 /proc/5805/statm: 9390 8965 136 292 0 9095 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 37560 [startup+25.5018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5806 /proc/meminfo: memFree=1809400/2055920 swapFree=4191900/4192956 [pid=5805] ppid=5803 vsize=60428 CPUtime=25.48 /proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 15440 0 0 0 2530 18 0 0 25 0 1 0 182447866 61878272 14633 1992294400 134512640 135709839 4294956240 18446744073709551615 134577786 0 0 4096 3 0 0 0 17 0 0 0 /proc/5805/statm: 15107 14633 136 292 0 14812 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 60428 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5806 /proc/meminfo: memFree=1809400/2055920 swapFree=4191900/4192956 [pid=5805] ppid=5803 vsize=60428 CPUtime=51.06 /proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 15446 0 0 0 5077 29 0 0 25 0 1 0 182447866 61878272 14639 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5805/statm: 15107 14639 136 292 0 14812 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 60428 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5806 /proc/meminfo: memFree=1784056/2055920 swapFree=4191900/4192956 [pid=5805] ppid=5803 vsize=85444 CPUtime=102.24 /proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 21844 0 0 0 10171 53 0 0 25 0 1 0 182447866 87494656 20915 1992294400 134512640 135709839 4294956240 18446744073709551615 134578661 0 0 4096 3 0 0 0 17 0 0 0 /proc/5805/statm: 21361 20915 136 292 0 21066 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 85444 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5806 /proc/meminfo: memFree=1730616/2055920 swapFree=4191900/4192956 [pid=5805] ppid=5803 vsize=140100 CPUtime=162.2 /proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 35497 0 0 0 16142 78 0 0 25 0 1 0 182447866 143462400 34568 1992294400 134512640 135709839 4294956240 18446744073709551615 134577722 0 0 4096 3 0 0 0 17 0 0 0 /proc/5805/statm: 35025 34568 136 292 0 34730 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 140100 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5806 /proc/meminfo: memFree=1664376/2055920 swapFree=4191900/4192956 [pid=5805] ppid=5803 vsize=205200 CPUtime=222.17 /proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 51765 0 0 0 22116 101 0 0 25 0 1 0 182447866 210124800 50836 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 0 0 0 /proc/5805/statm: 51300 50836 136 292 0 51005 0 Current children cumulated CPU time (s) 222.17 Current children cumulated vsize (KiB) 205200 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5806 /proc/meminfo: memFree=1606008/2055920 swapFree=4191900/4192956 [pid=5805] ppid=5803 vsize=263976 CPUtime=282.14 /proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 66451 0 0 0 28092 122 0 0 25 0 1 0 182447866 270311424 65522 1992294400 134512640 135709839 4294956240 18446744073709551615 134574107 0 0 4096 3 0 0 0 17 0 0 0 /proc/5805/statm: 65994 65522 136 292 0 65699 0 Current children cumulated CPU time (s) 282.14 Current children cumulated vsize (KiB) 263976 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5806 /proc/meminfo: memFree=1541752/2055920 swapFree=4191900/4192956 [pid=5805] ppid=5803 vsize=327696 CPUtime=342.1 /proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 82373 0 0 0 34071 139 0 0 25 0 1 0 182447866 335560704 81444 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5805/statm: 81924 81444 136 292 0 81629 0 Current children cumulated CPU time (s) 342.1 Current children cumulated vsize (KiB) 327696 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5806 /proc/meminfo: memFree=1481976/2055920 swapFree=4191900/4192956 [pid=5805] ppid=5803 vsize=387588 CPUtime=402.09 /proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 97319 0 0 0 40052 157 0 0 25 0 1 0 182447866 396890112 96390 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0 /proc/5805/statm: 96897 96390 136 292 0 96602 0 Current children cumulated CPU time (s) 402.09 Current children cumulated vsize (KiB) 387588 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5806 /proc/meminfo: memFree=1432888/2055920 swapFree=4191900/4192956 [pid=5805] ppid=5803 vsize=436724 CPUtime=462.06 /proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 109580 0 0 0 46030 176 0 0 25 0 1 0 182447866 447205376 108651 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5805/statm: 109181 108651 136 292 0 108886 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 436724 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5806 /proc/meminfo: memFree=1369016/2055920 swapFree=4191900/4192956 [pid=5805] ppid=5803 vsize=500760 CPUtime=522.03 /proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 125608 0 0 0 52001 202 0 0 25 0 1 0 182447866 512778240 124679 1992294400 134512640 135709839 4294956240 18446744073709551615 134577786 0 0 4096 3 0 0 0 17 0 0 0 /proc/5805/statm: 125190 124679 136 292 0 124895 0 Current children cumulated CPU time (s) 522.03 Current children cumulated vsize (KiB) 500760 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5806 /proc/meminfo: memFree=1318008/2055920 swapFree=4191900/4192956 [pid=5805] ppid=5803 vsize=551368 CPUtime=582.01 /proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 138259 0 0 0 57976 225 0 0 25 0 1 0 182447866 564600832 137330 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/5805/statm: 137842 137330 136 292 0 137547 0 Current children cumulated CPU time (s) 582.01 Current children cumulated vsize (KiB) 551368 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5806 /proc/meminfo: memFree=1253688/2055920 swapFree=4191900/4192956 [pid=5805] ppid=5803 vsize=615028 CPUtime=641.99 /proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 154175 0 0 0 63953 246 0 0 25 0 1 0 182447866 629788672 153246 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5805/statm: 153757 153246 136 292 0 153462 0 Current children cumulated CPU time (s) 641.99 Current children cumulated vsize (KiB) 615028 [startup+702.302 s] ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.07 1.03 1.00 2/65 5806 /proc/meminfo: memFree=937208/2055920 swapFree=4191900/4192956 [pid=5805] ppid=5803 vsize=932128 CPUtime=941.85 /proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 233408 0 0 0 93820 365 0 0 25 0 1 0 182447866 954499072 232479 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5805/statm: 233032 232479 136 292 0 232737 0 Current children cumulated CPU time (s) 941.85 Current children cumulated vsize (KiB) 932128 [startup+1002.3 s] /proc/loadavg: 1.02 1.02 1.00 2/65 5808 /proc/meminfo: memFree=875960/2055920 swapFree=4191900/4192956 [pid=5805] ppid=5803 vsize=992120 CPUtime=1001.82 /proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 248415 0 0 0 99792 390 0 0 25 0 1 0 182447866 1015930880 247486 1992294400 134512640 135709839 4294956240 18446744073709551615 134573913 0 0 4096 3 0 0 0 17 0 0 0 /proc/5805/statm: 248030 247486 136 292 0 247735 0 Current children cumulated CPU time (s) 1001.82 Current children cumulated vsize (KiB) 992120 [startup+1062.3 s] /proc/loadavg: 1.01 1.01 1.00 2/65 5808 /proc/meminfo: memFree=817208/2055920 swapFree=4191900/4192956 [pid=5805] ppid=5803 vsize=1051360 CPUtime=1061.79 /proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 263189 0 0 0 105762 417 0 0 25 0 1 0 182447866 1076592640 262260 1992294400 134512640 135709839 4294956240 18446744073709551615 134601441 0 0 4096 3 0 0 0 17 0 0 0 /proc/5805/statm: 262840 262260 136 292 0 262545 0 Current children cumulated CPU time (s) 1061.79 Current children cumulated vsize (KiB) 1051360 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 5808 /proc/meminfo: memFree=748152/2055920 swapFree=4191900/4192956 [pid=5805] ppid=5803 vsize=1120188 CPUtime=1121.77 /proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 280405 0 0 0 111728 449 0 0 25 0 1 0 182447866 1147072512 279476 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 0 0 0 /proc/5805/statm: 280047 279476 136 292 0 279752 0 Current children cumulated CPU time (s) 1121.77 Current children cumulated vsize (KiB) 1120188 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5808 /proc/meminfo: memFree=689656/2055920 swapFree=4191900/4192956 [pid=5805] ppid=5803 vsize=1178732 CPUtime=1181.73 /proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 295031 0 0 0 117699 474 0 0 25 0 1 0 182447866 1207021568 294102 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5805/statm: 294683 294102 136 292 0 294388 0 Current children cumulated CPU time (s) 1181.73 Current children cumulated vsize (KiB) 1178732 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5808 /proc/meminfo: memFree=628472/2055920 swapFree=4191900/4192956 [pid=5805] ppid=5803 vsize=1239236 CPUtime=1241.7 /proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 310149 0 0 0 123671 499 0 0 25 0 1 0 182447866 1268977664 309220 1992294400 134512640 135709839 4294956240 18446744073709551615 134577700 0 0 4096 3 0 0 0 17 0 0 0 /proc/5805/statm: 309809 309220 136 292 0 309514 0 Current children cumulated CPU time (s) 1241.7 Current children cumulated vsize (KiB) 1239236 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5808 /proc/meminfo: memFree=579768/2055920 swapFree=4191900/4192956 [pid=5805] ppid=5803 vsize=1287660 CPUtime=1301.68 /proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 322209 0 0 0 129647 521 0 0 25 0 1 0 182447866 1318563840 321280 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5805/statm: 321915 321280 136 292 0 321620 0 Current children cumulated CPU time (s) 1301.68 Current children cumulated vsize (KiB) 1287660 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5808 /proc/meminfo: memFree=523896/2055920 swapFree=4191900/4192956 [pid=5805] ppid=5803 vsize=1343516 CPUtime=1361.63 /proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 336190 0 0 0 135615 548 0 0 25 0 1 0 182447866 1375760384 335261 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5805/statm: 335879 335261 136 292 0 335584 0 Current children cumulated CPU time (s) 1361.63 Current children cumulated vsize (KiB) 1343516 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5808 /proc/meminfo: memFree=473784/2055920 swapFree=4191900/4192956 [pid=5805] ppid=5803 vsize=1393456 CPUtime=1421.61 /proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 348654 0 0 0 141592 569 0 0 25 0 1 0 182447866 1426898944 347725 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/5805/statm: 348364 347725 136 292 0 348069 0 Current children cumulated CPU time (s) 1421.61 Current children cumulated vsize (KiB) 1393456 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5808 /proc/meminfo: memFree=420984/2055920 swapFree=4191900/4192956 [pid=5805] ppid=5803 vsize=1446628 CPUtime=1481.59 /proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 361963 0 0 0 147564 595 0 0 25 0 1 0 182447866 1481347072 361034 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 0 0 0 /proc/5805/statm: 361657 361034 136 292 0 361362 0 Current children cumulated CPU time (s) 1481.59 Current children cumulated vsize (KiB) 1446628 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5808 /proc/meminfo: memFree=350200/2055920 swapFree=4191900/4192956 [pid=5805] ppid=5803 vsize=1517292 CPUtime=1541.55 /proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 379632 0 0 0 153538 617 0 0 25 0 1 0 182447866 1553707008 378703 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5805/statm: 379323 378703 136 292 0 379028 0 Current children cumulated CPU time (s) 1541.55 Current children cumulated vsize (KiB) 1517292 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5814 /proc/meminfo: memFree=286768/2055920 swapFree=4191900/4192956 [pid=5805] ppid=5803 vsize=1580304 CPUtime=1601.52 /proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 395374 0 0 0 159521 631 0 0 25 0 1 0 182447866 1618231296 394445 1992294400 134512640 135709839 4294956240 18446744073709551615 134577675 0 0 4096 3 0 0 0 17 0 0 0 /proc/5805/statm: 395076 394445 136 292 0 394781 0 Current children cumulated CPU time (s) 1601.52 Current children cumulated vsize (KiB) 1580304 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5814 /proc/meminfo: memFree=237808/2055920 swapFree=4191900/4192956 [pid=5805] ppid=5803 vsize=1629248 CPUtime=1661.49 /proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 407557 0 0 0 165502 647 0 0 25 0 1 0 182447866 1668349952 406628 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5805/statm: 407312 406628 136 292 0 407017 0 Current children cumulated CPU time (s) 1661.49 Current children cumulated vsize (KiB) 1629248 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5814 /proc/meminfo: memFree=167280/2055920 swapFree=4191900/4192956 [pid=5805] ppid=5803 vsize=1701304 CPUtime=1721.46 /proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 425569 0 0 0 171476 670 0 0 25 0 1 0 182447866 1742135296 424640 1992294400 134512640 135709839 4294956240 18446744073709551615 134572305 0 0 4096 3 0 0 0 17 0 0 0 /proc/5805/statm: 425326 424640 136 292 0 425031 0 Current children cumulated CPU time (s) 1721.46 Current children cumulated vsize (KiB) 1701304 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5814 /proc/meminfo: memFree=99056/2055920 swapFree=4191900/4192956 [pid=5805] ppid=5803 vsize=1767988 CPUtime=1781.43 /proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 442250 0 0 0 177451 692 0 0 25 0 1 0 182447866 1810419712 441321 1992294400 134512640 135709839 4294956240 18446744073709551615 134572568 0 0 4096 3 0 0 0 17 0 0 0 /proc/5805/statm: 441997 441321 136 292 0 441702 0 Current children cumulated CPU time (s) 1781.43 Current children cumulated vsize (KiB) 1767988 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5814 /proc/meminfo: memFree=78448/2055920 swapFree=4191900/4192956 [pid=5805] ppid=5803 vsize=1787936 CPUtime=1800.03 /proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4194304 447216 0 0 0 179304 699 0 0 25 0 1 0 182447866 1830846464 446287 1992294400 134512640 135709839 4294956240 18446744073709551615 134577726 0 0 4096 3 0 0 0 17 0 0 0 /proc/5805/statm: 446984 446287 136 292 0 446689 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1787936 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.01 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5814 /proc/meminfo: memFree=78448/2055920 swapFree=4191900/4192956 [pid=5805] ppid=5803 vsize=0 CPUtime=1800.14 /proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4195332 447216 0 0 0 179304 710 0 0 25 0 1 0 182447866 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/5805/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 [startup+1801.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5814 /proc/meminfo: memFree=78448/2055920 swapFree=4191900/4192956 [pid=5805] ppid=5803 vsize=0 CPUtime=1800.23 /proc/5805/stat : 5805 (wbo) R 5803 5805 5691 0 -1 4195332 447216 0 0 0 179304 719 0 0 25 0 1 0 182447866 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/5805/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.16 CPU time (s): 1800.3 CPU user time (s): 1793.04 CPU system time (s): 7.2569 CPU usage (%): 99.952 Max. virtual memory (cumulated for all children) (KiB): 1787936 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.04 system time used= 7.2569 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 447216 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= 2 involuntary context switches= 6747 runsolver used 2.20866 second user time and 4.35934 second system time The end
Begin job on node34 at 2009-06-16 12:34:46 IDJOB=1875719 IDBENCH=2042 IDSOLVER=698 FILE ID=node34/1875719-1245148486 PBS_JOBID= 9363770 Free space on /tmp= 66252 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-test4.pi.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875719-1245148486/watcher-1875719-1245148486 -o /tmp/evaluation-result-1875719-1245148486/solver-1875719-1245148486 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875719-1245148486.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= cca57c347e264f92fb70010109aa24c5 RANDOM SEED=1285746818 node34.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.263 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.263 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1868184 kB Buffers: 24624 kB Cached: 89832 kB SwapCached: 260 kB Active: 43624 kB Inactive: 84136 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1868184 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 3376 kB Writeback: 0 kB Mapped: 21768 kB Slab: 45980 kB Committed_AS: 164616 kB PageTables: 1384 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875719-1245148486.opb Free space on /tmp at the end= 66252 MiB End job on node34 at 2009-06-16 13:04:49