Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? (TO) | 1800.2 | 1800.67 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-dcmulti.opb |
MD5SUM | 8db02a87a2ff672cda2bdb003f710a98 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 14265 |
Total number of constraints | 290 |
Number of constraints which are clauses | 27 |
Number of constraints which are cardinality constraints (but not clauses) | 5 |
Number of constraints which are nor clauses,nor cardinality constraints | 258 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 420 |
Number of terms in the objective function | 14235 |
Biggest coefficient in the objective function | 714038312960 |
Number of bits for the biggest coefficient in the objective function | 40 |
Sum of the numbers in the objective function | 68224730472397 |
Number of bits of the sum of numbers in the objective function | 46 |
Biggest number in a constraint | 714038312960 |
Number of bits of the biggest number in a constraint | 40 |
Biggest sum of numbers in a constraint | 68224730472397 |
Number of bits of the biggest sum of numbers | 46 |
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 bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/349519-1176704284/instance-349519-1176704284.opb 0.00/0.00 c File size is 656971 bytes. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.03 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.04 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.05 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.06 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.07 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.00/0.08 c Coefficients are big enough for not using lower bounding. 0.07/0.08 c Coefficients are big enough for not using lower bounding. 0.07/0.08 c Coefficients are big enough for not using lower bounding. 0.07/0.08 c Coefficients are big enough for not using lower bounding. 0.07/0.08 c Coefficients are big enough for not using lower bounding. 0.07/0.08 c Coefficients are big enough for not using lower bounding. 0.07/0.08 c Coefficients are big enough for not using lower bounding. 0.07/0.08 c Coefficients are big enough for not using lower bounding. 0.07/0.08 c Coefficients are big enough for not using lower bounding. 0.07/0.08 c Coefficients are big enough for not using lower bounding. 0.07/0.08 c Coefficients are big enough for not using lower bounding. 0.07/0.08 c Coefficients are big enough for not using lower bounding. 0.07/0.08 c Coefficients are big enough for not using lower bounding. 0.07/0.08 c Coefficients are big enough for not using lower bounding. 0.07/0.08 c Coefficients are big enough for not using lower bounding. 0.07/0.08 c Coefficients are big enough for not using lower bounding. 0.07/0.08 c Coefficients are big enough for not using lower bounding. 0.07/0.08 c Coefficients are big enough for not using lower bounding. 0.07/0.08 c Coefficients are big enough for not using lower bounding. 0.07/0.08 c Coefficients are big enough for not using lower bounding. 0.07/0.08 c Coefficients are big enough for not using lower bounding. 0.07/0.08 c Coefficients are big enough for not using lower bounding. 0.07/0.08 c Coefficients are big enough for not using lower bounding. 0.07/0.08 c Coefficients are big enough for not using lower bounding. 0.07/0.08 c Coefficients are big enough for not using lower bounding. 0.07/0.08 c Coefficients are big enough for not using lower bounding. 0.07/0.08 c Coefficients are big enough for not using lower bounding. 0.07/0.08 c Coefficients are big enough for not using lower bounding. 0.07/0.08 c Coefficients are big enough for not using lower bounding. 0.07/0.08 c Coefficients are big enough for not using lower bounding. 0.07/0.08 c Coefficients are big enough for not using lower bounding. 0.07/0.08 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.09 c Coefficients are big enough for not using lower bounding. 0.07/0.10 c Coefficients are big enough for not using lower bounding. 0.07/0.10 c Coefficients are big enough for not using lower bounding. 0.07/0.10 c Coefficients are big enough for not using lower bounding. 0.07/0.10 c Coefficients are big enough for not using lower bounding. 0.07/0.10 c Coefficients are big enough for not using lower bounding. 0.07/0.10 c Coefficients are big enough for not using lower bounding. 0.07/0.10 c Coefficients are big enough for not using lower bounding. 0.07/0.10 c Coefficients are big enough for not using lower bounding. 0.07/0.10 c Coefficients are big enough for not using lower bounding. 0.07/0.10 c Coefficients are big enough for not using lower bounding. 0.07/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Coefficients are big enough for not using lower bounding. 0.09/0.10 c Highest Coefficient sum: 6.82247e+13 0.09/0.10 c Parsing was ok!! 0.09/0.10 c Total parsing time: 0.104 s 0.09/0.11 c Var: 14265 Constr: 368 27/11/330 Lit: 52314 Watch. Lit: 6434 0.09/0.11 c Obj. Vars: 14235 (99.7897 % of total variables) 0.49/0.59 c Pre-processing Time: 0.586 s 1799.92/1800.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.92/1800.48 c 0 9303 367 51898 141 36982 103630 0 0 0.59 1799.92/1800.48 c 101 9303 468 57018 121 37474 113994 101 150 0.67 1799.92/1800.48 c 251 9303 618 65558 106 37887 125394 251 332 0.76 1799.92/1800.48 c 480 9303 847 79977 94 38160 137934 480 537 0.89 1799.92/1800.48 c 818 9303 1185 102981 86 39176 151728 818 725 1.13 1799.92/1800.48 c 1329 9303 1696 142501 84 40132 166901 1329 980 1.35 1799.92/1800.48 c 2093 9303 2460 343083 139 41645 183592 2093 1249 1.68 1799.92/1800.48 c 3240 9303 3607 690102 191 43907 201952 3240 1385 2.34 1799.92/1800.48 c 4961 9303 5328 1433155 268 47863 222148 4961 1280 3.87 1799.92/1800.48 c 7545 9302 7912 1927675 243 53111 244363 7545 1405 5.37 1799.92/1800.48 c 11424 9301 11791 3465439 293 60906 268800 11424 1266 9.02 1799.92/1800.48 c 17246 9301 17613 3915693 222 72483 295681 17246 1530 11.27 1799.92/1800.48 c 25983 9301 26350 6980465 264 89613 325250 25983 969 26.81 1799.92/1800.48 c 39093 9301 39460 9568749 242 115765 357776 39093 1174 33.27 1799.92/1800.48 c 58763 9301 59130 10739176 181 155039 393554 58763 1090 53.90 1799.92/1800.48 c 88273 9291 88640 17510153 197 214413 432910 88273 641 137.70 1799.92/1800.48 c 132544 9291 132911 31598939 237 302683 476202 132544 549 241.02 1799.92/1800.48 c 198957 9291 199324 57220748 287 435921 523823 198957 238 833.96 1799.92/1800.48 c 298577 9289 298944 68352529 228 634877 576206 298577 271 1101.23 1799.92/1800.48 c Resources Exceeded 1799.92/1800.48 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.92/1800.48 c 18 397496 41826 576907 397863 94480906 397496 220 1800.01 1799.92/1800.48 s UNKNOWN 1799.92/1800.48 c Total time: 1800.01 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node47/watcher-349519-1176704284 -o ROOT/results/node47/solver-349519-1176704284 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349519-1176704284/instance-349519-1176704284.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 19897 /proc/meminfo: memFree=1777720/2055920 swapFree=4183716/4192956 [pid=19897] ppid=19895 vsize=12380 CPUtime=0 /proc/19897/stat : 19897 (bsolo3.0.16) R 19895 19897 18623 0 -1 4194304 366 0 0 0 0 0 0 0 18 0 1 0 25273758 12677120 334 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10954363 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19897/statm: 3095 334 281 324 0 2003 0 [startup+0.083801 s] /proc/loadavg: 1.00 1.00 1.00 3/64 19897 /proc/meminfo: memFree=1777720/2055920 swapFree=4183716/4192956 [pid=19897] ppid=19895 vsize=6268 CPUtime=0.07 /proc/19897/stat : 19897 (bsolo3.0.16) R 19895 19897 18623 0 -1 4194304 906 0 0 0 7 0 0 0 18 0 1 0 25273758 6418432 874 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10954363 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19897/statm: 1567 874 406 324 0 475 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 6268 [startup+0.101813 s] /proc/loadavg: 1.00 1.00 1.00 3/64 19897 /proc/meminfo: memFree=1777720/2055920 swapFree=4183716/4192956 [pid=19897] ppid=19895 vsize=6396 CPUtime=0.09 /proc/19897/stat : 19897 (bsolo3.0.16) R 19895 19897 18623 0 -1 4194304 970 0 0 0 9 0 0 0 18 0 1 0 25273758 6549504 938 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19897/statm: 1599 938 432 324 0 507 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6396 [startup+0.301824 s] /proc/loadavg: 1.00 1.00 1.00 3/64 19897 /proc/meminfo: memFree=1777720/2055920 swapFree=4183716/4192956 [pid=19897] ppid=19895 vsize=7828 CPUtime=0.29 /proc/19897/stat : 19897 (bsolo3.0.16) R 19895 19897 18623 0 -1 4194304 1480 0 0 0 29 0 0 0 19 0 1 0 25273758 8015872 1287 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19897/statm: 1957 1287 306 324 0 1026 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7828 [startup+0.701866 s] /proc/loadavg: 1.00 1.00 1.00 3/64 19897 /proc/meminfo: memFree=1777720/2055920 swapFree=4183716/4192956 [pid=19897] ppid=19895 vsize=8368 CPUtime=0.69 /proc/19897/stat : 19897 (bsolo3.0.16) R 19895 19897 18623 0 -1 4194304 1747 0 0 0 68 1 0 0 22 0 1 0 25273758 8568832 1442 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19897/statm: 2092 1442 312 324 0 1161 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8368 [startup+1.50208 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19898 /proc/meminfo: memFree=1773104/2055920 swapFree=4183716/4192956 [pid=19897] ppid=19895 vsize=10172 CPUtime=1.48 /proc/19897/stat : 19897 (bsolo3.0.16) R 19895 19897 18623 0 -1 4194304 2190 0 0 0 147 1 0 0 25 0 1 0 25273758 10416128 1885 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19897/statm: 2543 1885 312 324 0 1612 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 10172 [startup+3.10113 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19898 /proc/meminfo: memFree=1766704/2055920 swapFree=4183716/4192956 [pid=19897] ppid=19895 vsize=21716 CPUtime=3.08 /proc/19897/stat : 19897 (bsolo3.0.16) R 19895 19897 18623 0 -1 4194304 5088 0 0 0 305 3 0 0 25 0 1 0 25273758 22237184 4783 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19897/statm: 5429 4783 312 324 0 4498 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 21716 [startup+6.30147 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19898 /proc/meminfo: memFree=1748656/2055920 swapFree=4183716/4192956 [pid=19897] ppid=19895 vsize=38276 CPUtime=6.29 /proc/19897/stat : 19897 (bsolo3.0.16) R 19895 19897 18623 0 -1 4194304 9233 0 0 0 623 6 0 0 25 0 1 0 25273758 39194624 8928 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19897/statm: 9569 8928 312 324 0 8638 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 38276 [startup+12.7022 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19898 /proc/meminfo: memFree=1719920/2055920 swapFree=4183716/4192956 [pid=19897] ppid=19895 vsize=64952 CPUtime=12.69 /proc/19897/stat : 19897 (bsolo3.0.16) R 19895 19897 18623 0 -1 4194304 15912 0 0 0 1258 11 0 0 25 0 1 0 25273758 66510848 15607 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19897/statm: 16238 15607 312 324 0 15307 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 64952 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19898 /proc/meminfo: memFree=1684400/2055920 swapFree=4183716/4192956 [pid=19897] ppid=19895 vsize=97164 CPUtime=25.49 /proc/19897/stat : 19897 (bsolo3.0.16) R 19895 19897 18623 0 -1 4194304 23966 0 0 0 2533 16 0 0 25 0 1 0 25273758 99495936 23661 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19897/statm: 24291 23661 312 324 0 23360 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 97164 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19898 /proc/meminfo: memFree=1632944/2055920 swapFree=4183716/4192956 [pid=19897] ppid=19895 vsize=148812 CPUtime=51.07 /proc/19897/stat : 19897 (bsolo3.0.16) R 19895 19897 18623 0 -1 4194304 36850 0 0 0 5082 25 0 0 25 0 1 0 25273758 152383488 36545 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19897/statm: 37203 36545 312 324 0 36272 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 148812 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19898 /proc/meminfo: memFree=1564464/2055920 swapFree=4183716/4192956 [pid=19897] ppid=19895 vsize=216764 CPUtime=102.27 /proc/19897/stat : 19897 (bsolo3.0.16) R 19895 19897 18623 0 -1 4194304 53839 0 0 0 10186 41 0 0 25 0 1 0 25273758 221966336 53534 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19897/statm: 54191 53534 312 324 0 53260 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 216764 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19898 /proc/meminfo: memFree=1463728/2055920 swapFree=4183716/4192956 [pid=19897] ppid=19895 vsize=319528 CPUtime=162.25 /proc/19897/stat : 19897 (bsolo3.0.16) R 19895 19897 18623 0 -1 4194304 79550 0 0 0 16165 60 0 0 25 0 1 0 25273758 327196672 79245 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19897/statm: 79882 79245 312 324 0 78951 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 319528 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19898 /proc/meminfo: memFree=1370352/2055920 swapFree=4183716/4192956 [pid=19897] ppid=19895 vsize=410508 CPUtime=222.23 /proc/19897/stat : 19897 (bsolo3.0.16) R 19895 19897 18623 0 -1 4194304 102282 0 0 0 22145 78 0 0 25 0 1 0 25273758 420360192 101977 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19897/statm: 102627 101977 312 324 0 101696 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 410508 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19898 /proc/meminfo: memFree=1310832/2055920 swapFree=4183716/4192956 [pid=19897] ppid=19895 vsize=470524 CPUtime=282.22 /proc/19897/stat : 19897 (bsolo3.0.16) R 19895 19897 18623 0 -1 4194304 117289 0 0 0 28128 94 0 0 25 0 1 0 25273758 481816576 116984 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19897/statm: 117631 116984 312 324 0 116700 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 470524 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19898 /proc/meminfo: memFree=1256496/2055920 swapFree=4183716/4192956 [pid=19897] ppid=19895 vsize=524116 CPUtime=342.19 /proc/19897/stat : 19897 (bsolo3.0.16) R 19895 19897 18623 0 -1 4194304 130686 0 0 0 34114 105 0 0 25 0 1 0 25273758 536694784 130381 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19897/statm: 131029 130381 312 324 0 130098 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 524116 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19898 /proc/meminfo: memFree=1215920/2055920 swapFree=4183716/4192956 [pid=19897] ppid=19895 vsize=565128 CPUtime=402.18 /proc/19897/stat : 19897 (bsolo3.0.16) R 19895 19897 18623 0 -1 4194304 140934 0 0 0 40102 116 0 0 25 0 1 0 25273758 578691072 140629 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19897/statm: 141282 140629 312 324 0 140351 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 565128 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19898 /proc/meminfo: memFree=1180336/2055920 swapFree=4183716/4192956 [pid=19897] ppid=19895 vsize=600076 CPUtime=462.16 /proc/19897/stat : 19897 (bsolo3.0.16) R 19895 19897 18623 0 -1 4194304 149695 0 0 0 46092 124 0 0 25 0 1 0 25273758 614477824 149390 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19897/statm: 150019 149390 312 324 0 149088 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 600076 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19898 /proc/meminfo: memFree=1148784/2055920 swapFree=4183716/4192956 [pid=19897] ppid=19895 vsize=631796 CPUtime=522.15 /proc/19897/stat : 19897 (bsolo3.0.16) R 19895 19897 18623 0 -1 4194304 157616 0 0 0 52084 131 0 0 25 0 1 0 25273758 646959104 157311 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19897/statm: 157949 157311 312 324 0 157018 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 631796 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19898 /proc/meminfo: memFree=1122096/2055920 swapFree=4183716/4192956 [pid=19897] ppid=19895 vsize=658184 CPUtime=582.14 /proc/19897/stat : 19897 (bsolo3.0.16) R 19895 19897 18623 0 -1 4194304 164197 0 0 0 58075 139 0 0 25 0 1 0 25273758 673980416 163892 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19897/statm: 164546 163892 312 324 0 163615 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 658184 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19898 /proc/meminfo: memFree=1095472/2055920 swapFree=4183716/4192956 [pid=19897] ppid=19895 vsize=684484 CPUtime=642.12 /proc/19897/stat : 19897 (bsolo3.0.16) R 19895 19897 18623 0 -1 4194304 170788 0 0 0 64067 145 0 0 25 0 1 0 25273758 700911616 170483 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19897/statm: 171121 170483 312 324 0 170190 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 684484 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19898 /proc/meminfo: memFree=958064/2055920 swapFree=4183716/4192956 [pid=19897] ppid=19895 vsize=821720 CPUtime=882.06 /proc/19897/stat : 19897 (bsolo3.0.16) R 19895 19897 18623 0 -1 4194304 205093 0 0 0 88029 177 0 0 25 0 1 0 25273758 841441280 204788 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19897/statm: 205430 204788 312 324 0 204499 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 821720 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19898 /proc/meminfo: memFree=925488/2055920 swapFree=4183716/4192956 [pid=19897] ppid=19895 vsize=854468 CPUtime=942.04 /proc/19897/stat : 19897 (bsolo3.0.16) R 19895 19897 18623 0 -1 4194304 213269 0 0 0 94013 191 0 0 25 0 1 0 25273758 874975232 212964 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19897/statm: 213617 212964 312 324 0 212686 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 854468 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19898 /proc/meminfo: memFree=901936/2055920 swapFree=4183716/4192956 [pid=19897] ppid=19895 vsize=877680 CPUtime=1002.03 /proc/19897/stat : 19897 (bsolo3.0.16) R 19895 19897 18623 0 -1 4194304 219080 0 0 0 100001 202 0 0 25 0 1 0 25273758 898744320 218775 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19897/statm: 219420 218775 312 324 0 218489 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 877680 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19898 /proc/meminfo: memFree=882416/2055920 swapFree=4183716/4192956 [pid=19897] ppid=19895 vsize=897284 CPUtime=1062.01 /proc/19897/stat : 19897 (bsolo3.0.16) R 19895 19897 18623 0 -1 4194304 223980 0 0 0 105991 210 0 0 25 0 1 0 25273758 918818816 223675 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19897/statm: 224321 223675 312 324 0 223390 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 897284 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19898 /proc/meminfo: memFree=846576/2055920 swapFree=4183716/4192956 [pid=19897] ppid=19895 vsize=933136 CPUtime=1122 /proc/19897/stat : 19897 (bsolo3.0.16) R 19895 19897 18623 0 -1 4194304 232944 0 0 0 111981 219 0 0 25 0 1 0 25273758 955531264 232639 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19897/statm: 233284 232639 312 324 0 232353 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 933136 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19898 /proc/meminfo: memFree=801584/2055920 swapFree=4183716/4192956 [pid=19897] ppid=19895 vsize=978000 CPUtime=1181.98 /proc/19897/stat : 19897 (bsolo3.0.16) R 19895 19897 18623 0 -1 4194304 244167 0 0 0 117968 230 0 0 25 0 1 0 25273758 1001472000 243862 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19897/statm: 244500 243862 312 324 0 243569 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 978000 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19898 /proc/meminfo: memFree=772208/2055920 swapFree=4183716/4192956 [pid=19897] ppid=19895 vsize=1007144 CPUtime=1241.97 /proc/19897/stat : 19897 (bsolo3.0.16) R 19895 19897 18623 0 -1 4194304 251463 0 0 0 123959 238 0 0 25 0 1 0 25273758 1031315456 251158 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19897/statm: 251786 251158 312 324 0 250855 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 1007144 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19898 /proc/meminfo: memFree=746992/2055920 swapFree=4183716/4192956 [pid=19897] ppid=19895 vsize=1032152 CPUtime=1301.96 /proc/19897/stat : 19897 (bsolo3.0.16) R 19895 19897 18623 0 -1 4194304 257689 0 0 0 129952 244 0 0 25 0 1 0 25273758 1056923648 257384 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19897/statm: 258038 257384 312 324 0 257107 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1032152 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19898 /proc/meminfo: memFree=724144/2055920 swapFree=4183716/4192956 [pid=19897] ppid=19895 vsize=1055080 CPUtime=1361.94 /proc/19897/stat : 19897 (bsolo3.0.16) R 19895 19897 18623 0 -1 4194304 263433 0 0 0 135944 250 0 0 25 0 1 0 25273758 1080401920 263128 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19897/statm: 263770 263128 312 324 0 262839 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1055080 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19898 /proc/meminfo: memFree=703856/2055920 swapFree=4183716/4192956 [pid=19897] ppid=19895 vsize=1075180 CPUtime=1421.92 /proc/19897/stat : 19897 (bsolo3.0.16) R 19895 19897 18623 0 -1 4194304 268449 0 0 0 141937 255 0 0 25 0 1 0 25273758 1100984320 268144 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19897/statm: 268795 268144 312 324 0 267864 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1075180 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19898 /proc/meminfo: memFree=685168/2055920 swapFree=4183716/4192956 [pid=19897] ppid=19895 vsize=1093976 CPUtime=1481.9 /proc/19897/stat : 19897 (bsolo3.0.16) R 19895 19897 18623 0 -1 4194304 273157 0 0 0 147929 261 0 0 25 0 1 0 25273758 1120231424 272852 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19897/statm: 273494 272852 312 324 0 272563 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1093976 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19898 /proc/meminfo: memFree=667184/2055920 swapFree=4183716/4192956 [pid=19897] ppid=19895 vsize=1111740 CPUtime=1541.88 /proc/19897/stat : 19897 (bsolo3.0.16) R 19895 19897 18623 0 -1 4194304 277588 0 0 0 153923 265 0 0 25 0 1 0 25273758 1138421760 277283 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19897/statm: 277935 277283 312 324 0 277004 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1111740 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19898 /proc/meminfo: memFree=644912/2055920 swapFree=4183716/4192956 [pid=19897] ppid=19895 vsize=1134184 CPUtime=1601.87 /proc/19897/stat : 19897 (bsolo3.0.16) R 19895 19897 18623 0 -1 4194304 283222 0 0 0 159915 272 0 0 25 0 1 0 25273758 1161404416 282917 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19897/statm: 283546 282917 312 324 0 282615 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 1134184 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19898 /proc/meminfo: memFree=604720/2055920 swapFree=4183716/4192956 [pid=19897] ppid=19895 vsize=1174248 CPUtime=1661.86 /proc/19897/stat : 19897 (bsolo3.0.16) R 19895 19897 18623 0 -1 4194304 293235 0 0 0 165905 281 0 0 25 0 1 0 25273758 1202429952 292930 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19897/statm: 293562 292930 312 324 0 292631 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 1174248 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19898 /proc/meminfo: memFree=566384/2055920 swapFree=4183716/4192956 [pid=19897] ppid=19895 vsize=1212768 CPUtime=1721.84 /proc/19897/stat : 19897 (bsolo3.0.16) R 19895 19897 18623 0 -1 4194304 302863 0 0 0 171892 292 0 0 25 0 1 0 25273758 1241874432 302558 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10952456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19897/statm: 303192 302558 312 324 0 302261 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 1212768 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19898 /proc/meminfo: memFree=536752/2055920 swapFree=4183716/4192956 [pid=19897] ppid=19895 vsize=1242284 CPUtime=1781.82 /proc/19897/stat : 19897 (bsolo3.0.16) R 19895 19897 18623 0 -1 4194304 310225 0 0 0 177882 300 0 0 25 0 1 0 25273758 1272098816 309920 18446744073709551615 134512640 135841103 4294956688 18446744073709551615 10954363 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19897/statm: 310571 309920 312 324 0 309640 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 1242284 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 19898 /proc/meminfo: memFree=646256/2055920 swapFree=4183716/4192956 [pid=19897] ppid=19895 vsize=0 CPUtime=1800.03 /proc/19897/stat : 19897 (bsolo3.0.16) R 19895 19897 18623 0 -1 4194308 312844 0 0 0 179697 306 0 0 25 0 1 0 25273758 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19897/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 0 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/66 19899 /proc/meminfo: memFree=1338984/2055920 swapFree=4183716/4192956 [pid=19897] ppid=19895 vsize=0 CPUtime=1800.13 /proc/19897/stat : 19897 (bsolo3.0.16) R 19895 19897 18623 0 -1 4194308 312844 0 0 0 179697 316 0 0 25 0 1 0 25273758 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19897/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.67 CPU time (s): 1800.2 CPU user time (s): 1796.97 CPU system time (s): 3.22651 CPU usage (%): 99.9737 Max. virtual memory (cumulated for all children) (KiB): 1252592 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.97 system time used= 3.22651 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 312844 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= 12 involuntary context switches= 1776 runsolver used 1.3298 second user time and 3.60245 second system time The end
Begin job on node47 on Mon Apr 16 06:18:04 UTC 2007 IDJOB= 349519 IDBENCH= 2472 IDSOLVER= 163 FILE ID= node47/349519-1176704284 PBS_JOBID= 4560018 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-dcmulti.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349519-1176704284/instance-349519-1176704284.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-349519-1176704284 -o ROOT/results/node47/solver-349519-1176704284 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349519-1176704284/instance-349519-1176704284.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 8db02a87a2ff672cda2bdb003f710a98 RANDOM SEED= 117975065 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node47.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.221 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.221 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: 1778256 kB Buffers: 14668 kB Cached: 207592 kB SwapCached: 3568 kB Active: 109632 kB Inactive: 123896 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1778256 kB SwapTotal: 4192956 kB SwapFree: 4183716 kB Dirty: 5028 kB Writeback: 0 kB Mapped: 16716 kB Slab: 30112 kB Committed_AS: 2429012 kB PageTables: 1456 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node47 on Mon Apr 16 06:48:07 UTC 2007