Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-maros-r7.opb |
MD5SUM | 652a81faea87c0443f84aaa4223a3702 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 125440 |
Biggest coefficient in the objective function | 524288 |
Number of bits for the biggest coefficient in the objective function | 20 |
Sum of the numbers in the objective function | 6576662400 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 4020224000000 |
Number of bits of the biggest number in a constraint | 42 |
Biggest sum of numbers in a constraint | 8483418475850 |
Number of bits of the biggest sum of numbers | 43 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.71574 |
Number of variables | 188160 |
Total number of constraints | 3136 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 3136 |
Minimum length of a constraint | 100 |
Maximum length of a constraint | 480 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc15 THE 2005-05-24 23:11:03 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=15978 boxname=wulflinc15 idbench=1230 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 652a81faea87c0443f84aaa4223a3702 /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-maros-r7.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-maros-r7.opb IDLAUNCH: 15978 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 738984 kB Buffers: 13440 kB Cached: 261236 kB SwapCached: 384 kB Active: 52760 kB Inactive: 224188 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 738732 kB SwapTotal: 2097136 kB SwapFree: 2096044 kB Dirty: 4 kB Writeback: 0 kB Mapped: 5644 kB Slab: 13060 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-24 23:31:07 (client local time) WITH STATUS 0 IN 1200.4 SECONDS stats: 15978 7 1200.4 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.52 0.75 0.83 1/54 30479 Raw data (stat): 30479 (runsolver) D 30478 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 775868232 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 3225161850 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0011 s] Raw data (loadavg): 0.59 0.76 0.84 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 1192 0 0 0 982 4 0 0 25 0 1 0 775868232 15912960 1116 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3885 1116 1111 63 0 3822 0 vsize: 15540 [startup+20.0055 s] Raw data (loadavg): 0.65 0.77 0.84 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 1406 0 0 0 1981 5 0 0 25 0 1 0 775868232 16900096 1330 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4126 1330 1111 63 0 4063 0 vsize: 16504 [startup+30.006 s] Raw data (loadavg): 0.71 0.78 0.84 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 1613 0 0 0 2981 5 0 0 25 0 1 0 775868232 17743872 1537 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4332 1537 1111 63 0 4269 0 vsize: 17328 [startup+40.0066 s] Raw data (loadavg): 0.75 0.78 0.84 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 1836 0 0 0 3981 6 0 0 25 0 1 0 775868232 18604032 1760 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4542 1760 1111 63 0 4479 0 vsize: 18168 [startup+50.0067 s] Raw data (loadavg): 0.79 0.79 0.84 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 2048 0 0 0 4981 6 0 0 25 0 1 0 775868232 19443712 1972 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4747 1972 1111 63 0 4684 0 vsize: 18988 [startup+60.0079 s] Raw data (loadavg): 0.82 0.80 0.84 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 2262 0 0 0 5981 6 0 0 25 0 1 0 775868232 20291584 2186 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4954 2186 1111 63 0 4891 0 vsize: 19816 [startup+70.0081 s] Raw data (loadavg): 0.85 0.80 0.84 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 2487 0 0 0 6981 7 0 0 25 0 1 0 775868232 21274624 2411 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5194 2411 1111 63 0 5131 0 vsize: 20776 [startup+80.0093 s] Raw data (loadavg): 0.87 0.81 0.84 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 2707 0 0 0 7981 7 0 0 25 0 1 0 775868232 22114304 2631 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5399 2631 1111 63 0 5336 0 vsize: 21596 [startup+90.0101 s] Raw data (loadavg): 0.89 0.81 0.84 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 2920 0 0 0 8980 8 0 0 25 0 1 0 775868232 23101440 2844 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5640 2844 1111 63 0 5577 0 vsize: 22560 [startup+100.01 s] Raw data (loadavg): 0.91 0.82 0.84 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 3134 0 0 0 9980 8 0 0 25 0 1 0 775868232 23949312 3058 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5847 3058 1111 63 0 5784 0 vsize: 23388 [startup+110.016 s] Raw data (loadavg): 0.92 0.83 0.85 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 3354 0 0 0 10980 9 0 0 25 0 1 0 775868232 24797184 3278 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6054 3278 1111 63 0 5991 0 vsize: 24216 [startup+120.131 s] Raw data (loadavg): 0.93 0.83 0.85 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 3575 0 0 0 11991 9 0 0 25 0 1 0 775868232 25780224 3499 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6294 3499 1111 63 0 6231 0 vsize: 25176 [startup+130.131 s] Raw data (loadavg): 0.94 0.84 0.85 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 3800 0 0 0 12991 10 0 0 25 0 1 0 775868232 26644480 3724 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6505 3724 1111 63 0 6442 0 vsize: 26020 [startup+140.131 s] Raw data (loadavg): 0.95 0.84 0.85 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 4021 0 0 0 13991 10 0 0 25 0 1 0 775868232 27627520 3945 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6745 3945 1111 63 0 6682 0 vsize: 26980 [startup+150.131 s] Raw data (loadavg): 0.96 0.85 0.85 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 4235 0 0 0 14991 11 0 0 25 0 1 0 775868232 28475392 4159 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6952 4159 1111 63 0 6889 0 vsize: 27808 [startup+160.132 s] Raw data (loadavg): 0.96 0.85 0.85 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 4455 0 0 0 15990 11 0 0 25 0 1 0 775868232 29315072 4379 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7157 4379 1111 63 0 7094 0 vsize: 28628 [startup+170.132 s] Raw data (loadavg): 0.97 0.85 0.85 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 4676 0 0 0 16991 11 0 0 25 0 1 0 775868232 30302208 4600 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7398 4600 1111 63 0 7335 0 vsize: 29592 [startup+180.132 s] Raw data (loadavg): 0.97 0.86 0.85 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 4897 0 0 0 17990 11 0 0 25 0 1 0 775868232 31150080 4821 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7605 4821 1111 63 0 7542 0 vsize: 30420 [startup+190.132 s] Raw data (loadavg): 0.98 0.86 0.85 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 5117 0 0 0 18990 12 0 0 25 0 1 0 775868232 31997952 5041 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7812 5041 1111 63 0 7749 0 vsize: 31248 [startup+200.132 s] Raw data (loadavg): 0.98 0.87 0.85 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 5338 0 0 0 19990 12 0 0 25 0 1 0 775868232 32976896 5262 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8051 5262 1111 63 0 7988 0 vsize: 32204 [startup+210.234 s] Raw data (loadavg): 0.98 0.87 0.85 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 5559 0 0 0 21000 12 0 0 25 0 1 0 775868232 33820672 5483 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8257 5483 1111 63 0 8194 0 vsize: 33028 [startup+220.235 s] Raw data (loadavg): 0.98 0.87 0.86 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 5779 0 0 0 22000 13 0 0 25 0 1 0 775868232 34811904 5703 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8499 5703 1111 63 0 8436 0 vsize: 33996 [startup+230.235 s] Raw data (loadavg): 0.99 0.88 0.86 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 6006 0 0 0 22999 14 0 0 25 0 1 0 775868232 35655680 5930 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8705 5930 1111 63 0 8642 0 vsize: 34820 [startup+240.235 s] Raw data (loadavg): 0.99 0.88 0.86 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 6226 0 0 0 23999 14 0 0 25 0 1 0 775868232 36642816 6150 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8946 6150 1111 63 0 8883 0 vsize: 35784 [startup+250.235 s] Raw data (loadavg): 0.99 0.89 0.86 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 6445 0 0 0 24998 15 0 0 25 0 1 0 775868232 37482496 6369 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9151 6369 1111 63 0 9088 0 vsize: 36604 [startup+260.235 s] Raw data (loadavg): 0.99 0.89 0.86 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 6677 0 0 0 25998 15 0 0 25 0 1 0 775868232 38481920 6601 4294967295 134512640 134714508 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9395 6601 1111 63 0 9332 0 vsize: 37580 [startup+270.235 s] Raw data (loadavg): 0.99 0.89 0.86 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 6898 0 0 0 26997 16 0 0 25 0 1 0 775868232 39329792 6822 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9602 6822 1111 63 0 9539 0 vsize: 38408 [startup+280.235 s] Raw data (loadavg): 0.99 0.89 0.86 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 7125 0 0 0 27996 17 0 0 25 0 1 0 775868232 40308736 7049 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9841 7049 1111 63 0 9778 0 vsize: 39364 [startup+290.236 s] Raw data (loadavg): 0.99 0.90 0.86 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 7352 0 0 0 28996 18 0 0 25 0 1 0 775868232 41295872 7276 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10082 7276 1111 63 0 10019 0 vsize: 40328 [startup+300.236 s] Raw data (loadavg): 0.99 0.90 0.86 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 7573 0 0 0 29996 18 0 0 25 0 1 0 775868232 42143744 7497 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10289 7497 1111 63 0 10226 0 vsize: 41156 [startup+310.237 s] Raw data (loadavg): 0.99 0.90 0.86 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 7794 0 0 0 30996 18 0 0 25 0 1 0 775868232 42987520 7718 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10495 7718 1111 63 0 10432 0 vsize: 41980 [startup+320.237 s] Raw data (loadavg): 0.99 0.91 0.87 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 8022 0 0 0 31996 19 0 0 25 0 1 0 775868232 43974656 7946 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10736 7946 1111 63 0 10673 0 vsize: 42944 [startup+330.238 s] Raw data (loadavg): 0.99 0.91 0.87 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 8248 0 0 0 32995 20 0 0 25 0 1 0 775868232 44957696 8172 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10976 8172 1111 63 0 10913 0 vsize: 43904 [startup+340.238 s] Raw data (loadavg): 0.99 0.91 0.87 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 8469 0 0 0 33995 20 0 0 25 0 1 0 775868232 45801472 8393 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11182 8393 1111 63 0 11119 0 vsize: 44728 [startup+350.238 s] Raw data (loadavg): 0.99 0.91 0.87 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 8703 0 0 0 34995 20 0 0 25 0 1 0 775868232 46788608 8627 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11423 8627 1111 63 0 11360 0 vsize: 45692 [startup+360.239 s] Raw data (loadavg): 0.99 0.92 0.87 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 8925 0 0 0 35994 21 0 0 25 0 1 0 775868232 47636480 8849 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11630 8849 1111 63 0 11567 0 vsize: 46520 [startup+370.239 s] Raw data (loadavg): 0.99 0.92 0.87 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 9151 0 0 0 36994 21 0 0 25 0 1 0 775868232 48615424 9075 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11869 9075 1111 63 0 11806 0 vsize: 47476 [startup+380.24 s] Raw data (loadavg): 0.99 0.92 0.87 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 9379 0 0 0 37994 22 0 0 25 0 1 0 775868232 49463296 9303 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12076 9303 1111 63 0 12013 0 vsize: 48304 [startup+390.24 s] Raw data (loadavg): 0.99 0.92 0.87 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 9607 0 0 0 38994 22 0 0 25 0 1 0 775868232 50450432 9531 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12317 9531 1111 63 0 12254 0 vsize: 49268 [startup+400.24 s] Raw data (loadavg): 0.99 0.92 0.87 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 9834 0 0 0 39993 23 0 0 25 0 1 0 775868232 51437568 9758 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12558 9758 1111 63 0 12495 0 vsize: 50232 [startup+410.241 s] Raw data (loadavg): 0.99 0.93 0.87 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 10063 0 0 0 40993 23 0 0 25 0 1 0 775868232 52277248 9987 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12763 9987 1111 63 0 12700 0 vsize: 51052 [startup+420.241 s] Raw data (loadavg): 0.99 0.93 0.88 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 10290 0 0 0 41993 24 0 0 25 0 1 0 775868232 53264384 10214 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13004 10214 1111 63 0 12941 0 vsize: 52016 [startup+430.241 s] Raw data (loadavg): 0.99 0.93 0.88 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 10523 0 0 0 42993 24 0 0 25 0 1 0 775868232 54251520 10447 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13245 10447 1111 63 0 13182 0 vsize: 52980 [startup+440.242 s] Raw data (loadavg): 0.99 0.93 0.88 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 10752 0 0 0 43993 24 0 0 25 0 1 0 775868232 55095296 10676 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13451 10676 1111 63 0 13388 0 vsize: 53804 [startup+450.241 s] Raw data (loadavg): 0.99 0.93 0.88 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 10980 0 0 0 44993 24 0 0 25 0 1 0 775868232 56086528 10904 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13693 10904 1111 63 0 13630 0 vsize: 54772 [startup+460.242 s] Raw data (loadavg): 0.99 0.94 0.88 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 11212 0 0 0 45992 25 0 0 25 0 1 0 775868232 57065472 11136 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13932 11136 1111 63 0 13869 0 vsize: 55728 [startup+470.242 s] Raw data (loadavg): 0.99 0.94 0.88 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 11440 0 0 0 46992 26 0 0 25 0 1 0 775868232 57909248 11364 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14138 11364 1111 63 0 14075 0 vsize: 56552 [startup+480.242 s] Raw data (loadavg): 0.99 0.94 0.88 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 11673 0 0 0 47992 26 0 0 25 0 1 0 775868232 58900480 11597 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14380 11597 1111 63 0 14317 0 vsize: 57520 [startup+490.243 s] Raw data (loadavg): 0.99 0.94 0.88 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 11901 0 0 0 48992 26 0 0 25 0 1 0 775868232 59883520 11825 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14620 11825 1111 63 0 14557 0 vsize: 58480 [startup+500.244 s] Raw data (loadavg): 0.99 0.94 0.88 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 12153 0 0 0 49991 27 0 0 25 0 1 0 775868232 60952576 12077 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14881 12077 1111 63 0 14818 0 vsize: 59524 [startup+510.244 s] Raw data (loadavg): 0.99 0.94 0.88 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 12385 0 0 0 50991 27 0 0 25 0 1 0 775868232 61931520 12309 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15120 12309 1111 63 0 15057 0 vsize: 60480 [startup+520.244 s] Raw data (loadavg): 0.99 0.94 0.89 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 12614 0 0 0 51991 27 0 0 25 0 1 0 775868232 62918656 12538 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15361 12538 1111 63 0 15298 0 vsize: 61444 [startup+530.244 s] Raw data (loadavg): 0.99 0.95 0.89 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 12849 0 0 0 52991 28 0 0 25 0 1 0 775868232 63766528 12773 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15568 12773 1111 63 0 15505 0 vsize: 62272 [startup+540.245 s] Raw data (loadavg): 0.99 0.95 0.89 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 13083 0 0 0 53991 28 0 0 25 0 1 0 775868232 64753664 13007 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15809 13007 1111 63 0 15746 0 vsize: 63236 [startup+550.245 s] Raw data (loadavg): 0.99 0.95 0.89 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 13318 0 0 0 54991 28 0 0 25 0 1 0 775868232 65732608 13242 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16048 13242 1111 63 0 15985 0 vsize: 64192 [startup+560.246 s] Raw data (loadavg): 0.99 0.95 0.89 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 13551 0 0 0 55991 29 0 0 25 0 1 0 775868232 66719744 13475 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16289 13475 1111 63 0 16226 0 vsize: 65156 [startup+570.246 s] Raw data (loadavg): 0.99 0.95 0.89 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 13785 0 0 0 56991 29 0 0 25 0 1 0 775868232 67706880 13709 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16530 13709 1111 63 0 16467 0 vsize: 66120 [startup+580.246 s] Raw data (loadavg): 0.99 0.95 0.89 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 14020 0 0 0 57991 29 0 0 25 0 1 0 775868232 68554752 13944 4294967295 134512640 134714508 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16737 13944 1111 63 0 16674 0 vsize: 66948 [startup+590.247 s] Raw data (loadavg): 0.99 0.95 0.89 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 14256 0 0 0 58990 30 0 0 25 0 1 0 775868232 69537792 14180 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16977 14180 1111 63 0 16914 0 vsize: 67908 [startup+600.248 s] Raw data (loadavg): 0.99 0.95 0.89 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 14496 0 0 0 59990 30 0 0 25 0 1 0 775868232 70520832 14420 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17217 14420 1111 63 0 17154 0 vsize: 68868 [startup+610.249 s] Raw data (loadavg): 0.99 0.95 0.89 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 14730 0 0 0 60990 31 0 0 25 0 1 0 775868232 71507968 14654 4294967295 134512640 134714508 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17458 14654 1111 63 0 17395 0 vsize: 69832 [startup+620.249 s] Raw data (loadavg): 0.99 0.95 0.89 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 14965 0 0 0 61990 31 0 0 25 0 1 0 775868232 72495104 14889 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17699 14889 1111 63 0 17636 0 vsize: 70796 [startup+630.248 s] Raw data (loadavg): 0.99 0.95 0.90 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 15199 0 0 0 62989 31 0 0 25 0 1 0 775868232 73478144 15123 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17939 15123 1111 63 0 17876 0 vsize: 71756 [startup+640.249 s] Raw data (loadavg): 0.99 0.96 0.90 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 15441 0 0 0 63989 32 0 0 25 0 1 0 775868232 74469376 15365 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18181 15365 1111 63 0 18118 0 vsize: 72724 [startup+650.249 s] Raw data (loadavg): 0.99 0.96 0.90 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 15682 0 0 0 64989 32 0 0 25 0 1 0 775868232 75452416 15606 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18421 15606 1111 63 0 18358 0 vsize: 73684 [startup+660.25 s] Raw data (loadavg): 0.99 0.96 0.90 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 15916 0 0 0 65988 33 0 0 25 0 1 0 775868232 76292096 15840 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18626 15840 1111 63 0 18563 0 vsize: 74504 [startup+670.251 s] Raw data (loadavg): 0.99 0.96 0.90 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 16157 0 0 0 66988 34 0 0 25 0 1 0 775868232 77283328 16081 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18868 16081 1111 63 0 18805 0 vsize: 75472 [startup+680.251 s] Raw data (loadavg): 0.99 0.96 0.90 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 16399 0 0 0 67988 34 0 0 25 0 1 0 775868232 78266368 16323 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19108 16323 1111 63 0 19045 0 vsize: 76432 [startup+690.251 s] Raw data (loadavg): 0.99 0.96 0.90 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 16634 0 0 0 68988 34 0 0 25 0 1 0 775868232 79253504 16558 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19349 16558 1111 63 0 19286 0 vsize: 77396 [startup+700.251 s] Raw data (loadavg): 0.99 0.96 0.90 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 16876 0 0 0 69987 35 0 0 25 0 1 0 775868232 80240640 16800 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19590 16800 1111 63 0 19527 0 vsize: 78360 [startup+710.254 s] Raw data (loadavg): 0.99 0.96 0.90 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 17115 0 0 0 70987 36 0 0 25 0 1 0 775868232 81223680 17039 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19830 17039 1111 63 0 19767 0 vsize: 79320 [startup+720.254 s] Raw data (loadavg): 0.99 0.96 0.90 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 17357 0 0 0 71987 36 0 0 25 0 1 0 775868232 82206720 17281 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20070 17281 1111 63 0 20007 0 vsize: 80280 [startup+730.256 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 17599 0 0 0 72987 36 0 0 25 0 1 0 775868232 83193856 17523 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20311 17523 1111 63 0 20248 0 vsize: 81244 [startup+740.26 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 17840 0 0 0 73988 36 0 0 25 0 1 0 775868232 84180992 17764 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20552 17764 1111 63 0 20489 0 vsize: 82208 [startup+750.259 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 18082 0 0 0 74987 37 0 0 25 0 1 0 775868232 85168128 18006 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20793 18006 1111 63 0 20730 0 vsize: 83172 [startup+760.26 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 18324 0 0 0 75987 37 0 0 25 0 1 0 775868232 86147072 18248 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21032 18248 1111 63 0 20969 0 vsize: 84128 [startup+770.26 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 18564 0 0 0 76986 38 0 0 25 0 1 0 775868232 87138304 18488 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21274 18488 1111 63 0 21211 0 vsize: 85096 [startup+780.261 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 18812 0 0 0 77986 38 0 0 25 0 1 0 775868232 88121344 18736 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21514 18736 1111 63 0 21451 0 vsize: 86056 [startup+790.263 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 19054 0 0 0 78986 39 0 0 25 0 1 0 775868232 89108480 18978 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21755 18978 1111 63 0 21692 0 vsize: 87020 [startup+800.263 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 19295 0 0 0 79986 39 0 0 25 0 1 0 775868232 90095616 19219 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21996 19219 1111 63 0 21933 0 vsize: 87984 [startup+810.271 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 19544 0 0 0 80987 39 0 0 25 0 1 0 775868232 91222016 19468 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22271 19468 1111 63 0 22208 0 vsize: 89084 [startup+820.272 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 19792 0 0 0 81986 40 0 0 25 0 1 0 775868232 92209152 19716 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22512 19716 1111 63 0 22449 0 vsize: 90048 [startup+830.272 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 20032 0 0 0 82986 40 0 0 25 0 1 0 775868232 93188096 19956 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22751 19956 1111 63 0 22688 0 vsize: 91004 [startup+840.273 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 20280 0 0 0 83986 41 0 0 25 0 1 0 775868232 94175232 20204 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22992 20204 1111 63 0 22929 0 vsize: 91968 [startup+850.274 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 20523 0 0 0 84985 42 0 0 25 0 1 0 775868232 95162368 20447 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23233 20447 1111 63 0 23170 0 vsize: 92932 [startup+860.275 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 20770 0 0 0 85985 42 0 0 25 0 1 0 775868232 96149504 20694 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23474 20694 1111 63 0 23411 0 vsize: 93896 [startup+870.274 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 21020 0 0 0 86985 43 0 0 25 0 1 0 775868232 97136640 20944 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23715 20944 1111 63 0 23652 0 vsize: 94860 [startup+880.274 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 21268 0 0 0 87984 43 0 0 25 0 1 0 775868232 98263040 21192 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23990 21192 1111 63 0 23927 0 vsize: 95960 [startup+890.275 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 21514 0 0 0 88984 44 0 0 25 0 1 0 775868232 99246080 21438 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24230 21438 1111 63 0 24167 0 vsize: 96920 [startup+900.275 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 21763 0 0 0 89984 44 0 0 25 0 1 0 775868232 100229120 21687 4294967295 134512640 134714508 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24470 21687 1111 63 0 24407 0 vsize: 97880 [startup+910.276 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 22011 0 0 0 90984 44 0 0 25 0 1 0 775868232 101216256 21935 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24711 21935 1111 63 0 24648 0 vsize: 98844 [startup+920.277 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 22259 0 0 0 91984 45 0 0 25 0 1 0 775868232 102203392 22183 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24952 22183 1111 63 0 24889 0 vsize: 99808 [startup+930.276 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 22508 0 0 0 92983 45 0 0 25 0 1 0 775868232 103329792 22432 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25227 22432 1111 63 0 25164 0 vsize: 100908 [startup+940.276 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 22756 0 0 0 93983 46 0 0 25 0 1 0 775868232 104316928 22680 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25468 22680 1111 63 0 25405 0 vsize: 101872 [startup+950.277 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 23008 0 0 0 94983 46 0 0 25 0 1 0 775868232 105295872 22932 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25707 22932 1111 63 0 25644 0 vsize: 102828 [startup+960.278 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 23290 0 0 0 95982 47 0 0 25 0 1 0 775868232 106786816 23214 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26071 23214 1111 63 0 26008 0 vsize: 104284 [startup+970.278 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 23544 0 0 0 96982 47 0 0 25 0 1 0 775868232 107769856 23468 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26311 23468 1111 63 0 26248 0 vsize: 105244 [startup+980.278 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 23794 0 0 0 97981 48 0 0 25 0 1 0 775868232 108761088 23718 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26553 23718 1111 63 0 26490 0 vsize: 106212 [startup+990.278 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 24049 0 0 0 98981 49 0 0 25 0 1 0 775868232 109887488 23973 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26828 23973 1111 63 0 26765 0 vsize: 107312 [startup+1000.28 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 24303 0 0 0 99981 49 0 0 25 0 1 0 775868232 110870528 24227 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27068 24227 1111 63 0 27005 0 vsize: 108272 [startup+1010.28 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 24554 0 0 0 100980 50 0 0 25 0 1 0 775868232 111857664 24478 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27309 24478 1111 63 0 27246 0 vsize: 109236 [startup+1020.28 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 24814 0 0 0 101980 51 0 0 25 0 1 0 775868232 112979968 24738 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27583 24738 1111 63 0 27520 0 vsize: 110332 [startup+1030.28 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 25062 0 0 0 102980 51 0 0 25 0 1 0 775868232 113967104 24986 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27824 24986 1111 63 0 27761 0 vsize: 111296 [startup+1040.28 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 25318 0 0 0 103979 51 0 0 25 0 1 0 775868232 114954240 25242 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28065 25242 1111 63 0 28002 0 vsize: 112260 [startup+1050.28 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 25572 0 0 0 104979 52 0 0 25 0 1 0 775868232 116080640 25496 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28340 25496 1111 63 0 28277 0 vsize: 113360 [startup+1060.28 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 25828 0 0 0 105979 52 0 0 25 0 1 0 775868232 117067776 25752 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28581 25752 1111 63 0 28518 0 vsize: 114324 [startup+1070.28 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 26083 0 0 0 106979 52 0 0 25 0 1 0 775868232 118194176 26007 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28856 26007 1111 63 0 28793 0 vsize: 115424 [startup+1080.28 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 26344 0 0 0 107978 53 0 0 25 0 1 0 775868232 119181312 26268 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29097 26268 1111 63 0 29034 0 vsize: 116388 [startup+1090.28 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 26601 0 0 0 108978 53 0 0 25 0 1 0 775868232 120307712 26525 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29372 26525 1111 63 0 29309 0 vsize: 117488 [startup+1100.28 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 26854 0 0 0 109977 54 0 0 25 0 1 0 775868232 121286656 26778 4294967295 134512640 134714508 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29611 26778 1111 63 0 29548 0 vsize: 118444 [startup+1110.28 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 27115 0 0 0 110977 55 0 0 25 0 1 0 775868232 122413056 27039 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29886 27039 1111 63 0 29823 0 vsize: 119544 [startup+1120.28 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 27372 0 0 0 111977 55 0 0 25 0 1 0 775868232 123400192 27296 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30127 27296 1111 63 0 30064 0 vsize: 120508 [startup+1130.28 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 27627 0 0 0 112977 56 0 0 25 0 1 0 775868232 124387328 27551 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30368 27551 1111 63 0 30305 0 vsize: 121472 [startup+1140.28 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 27889 0 0 0 113976 56 0 0 25 0 1 0 775868232 125513728 27813 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30643 27813 1111 63 0 30580 0 vsize: 122572 [startup+1150.28 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 28151 0 0 0 114976 57 0 0 25 0 1 0 775868232 126640128 28075 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30918 28075 1111 63 0 30855 0 vsize: 123672 [startup+1160.28 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 28406 0 0 0 115976 57 0 0 25 0 1 0 775868232 127627264 28330 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31159 28330 1111 63 0 31096 0 vsize: 124636 [startup+1170.28 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 28669 0 0 0 116976 57 0 0 25 0 1 0 775868232 128753664 28593 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31434 28593 1111 63 0 31371 0 vsize: 125736 [startup+1180.28 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 28925 0 0 0 117975 58 0 0 25 0 1 0 775868232 129732608 28849 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31673 28849 1111 63 0 31610 0 vsize: 126692 [startup+1190.28 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 29184 0 0 0 118975 58 0 0 25 0 1 0 775868232 130863104 29108 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31949 29108 1111 63 0 31886 0 vsize: 127796 [startup+1200.28 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30479 Raw data (stat): 30479 (bsolo_lpr) R 30478 23514 23513 0 -1 0 29448 0 0 0 119974 59 0 0 25 0 1 0 775868232 131850240 29372 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32190 29372 1111 63 0 32127 0 vsize: 128760 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.34 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 30479 Raw data (stat): 30479 (bsolo_lpr) Z 30478 23514 23513 0 -1 1036 29448 0 0 0 119975 64 0 0 25 0 1 0 775868232 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child ended because it received signal 15 (SIGTERM) Real time (s): 1200.34 CPU time (s): 1200.4 CPU user time (s): 1199.75 CPU system time (s): 0.648901 CPU usage (%): 100.005 Max. virtual memory (Kb): 128760 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####