Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos4.opb |
MD5SUM | e465af1c9ec9e748a7782ddbee36d3b1 |
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 | 100590 |
Biggest coefficient in the objective function | 11202704073084108800000000 |
Number of bits for the biggest coefficient in the objective function | 84 |
Sum of the numbers in the objective function | 2862789126208280618841669632 |
Number of bits of the sum of numbers in the objective function | 92 |
Biggest number in a constraint | 11202704073084108800000000 |
Number of bits of the biggest number in a constraint | 84 |
Biggest sum of numbers in a constraint | 2862789126208280618841669632 |
Number of bits of the biggest sum of numbers | 92 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.90971 |
Number of variables | 203044 |
Total number of constraints | 56505 |
Number of constraints which are clauses | 32142 |
Number of constraints which are cardinality constraints (but not clauses) | 17175 |
Number of constraints which are nor clauses,nor cardinality constraints | 7188 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 1115 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc9 THE 2005-05-25 00:10:28 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=14691 boxname=wulflinc9 idbench=1131 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: e465af1c9ec9e748a7782ddbee36d3b1 /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-neos4.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-neos4.opb IDLAUNCH: 14691 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.242 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 : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.242 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: 799404 kB Buffers: 15220 kB Cached: 199160 kB SwapCached: 364 kB Active: 64284 kB Inactive: 152632 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 799152 kB SwapTotal: 2097136 kB SwapFree: 2096368 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6348 kB Slab: 12660 kB Committed_AS: 63596 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 00:30:32 (client local time) WITH STATUS 0 IN 1200.5 SECONDS stats: 14691 7 1200.5 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.93 0.94 0.90 2/54 13304 Raw data (stat): 13304 (runsolver) R 13303 3944 3943 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776229729 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0016 s] Raw data (loadavg): 0.94 0.95 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 1237 0 0 0 981 4 0 0 25 0 1 0 776229729 15212544 1161 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3714 1161 1111 63 0 3651 0 vsize: 14856 [startup+20.0023 s] Raw data (loadavg): 0.95 0.95 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 1278 0 0 0 1981 4 0 0 25 0 1 0 776229729 15482880 1202 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3780 1202 1111 63 0 3717 0 vsize: 15120 [startup+30.0024 s] Raw data (loadavg): 0.95 0.95 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 1325 0 0 0 2981 4 0 0 25 0 1 0 776229729 15618048 1249 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3813 1249 1111 63 0 3750 0 vsize: 15252 [startup+40.0029 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 1361 0 0 0 3981 4 0 0 25 0 1 0 776229729 15753216 1285 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3846 1285 1111 63 0 3783 0 vsize: 15384 [startup+50.0037 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 1409 0 0 0 4982 4 0 0 25 0 1 0 776229729 16023552 1333 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3912 1333 1111 63 0 3849 0 vsize: 15648 [startup+60.0039 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 1443 0 0 0 5981 4 0 0 25 0 1 0 776229729 16158720 1367 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3945 1367 1111 63 0 3882 0 vsize: 15780 [startup+70.0032 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 1492 0 0 0 6981 5 0 0 25 0 1 0 776229729 16293888 1416 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3978 1416 1111 63 0 3915 0 vsize: 15912 [startup+80.004 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 1536 0 0 0 7982 5 0 0 25 0 1 0 776229729 16429056 1460 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4011 1460 1111 63 0 3948 0 vsize: 16044 [startup+90.0041 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 1577 0 0 0 8982 5 0 0 25 0 1 0 776229729 16703488 1501 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4078 1501 1111 63 0 4015 0 vsize: 16312 [startup+100.005 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 1624 0 0 0 9982 5 0 0 25 0 1 0 776229729 16838656 1548 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4111 1548 1111 63 0 4048 0 vsize: 16444 [startup+110.005 s] Raw data (loadavg): 1.06 0.97 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 1667 0 0 0 10982 5 0 0 25 0 1 0 776229729 16977920 1591 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4145 1591 1111 63 0 4082 0 vsize: 16580 [startup+120.005 s] Raw data (loadavg): 1.05 0.97 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 1709 0 0 0 11982 5 0 0 25 0 1 0 776229729 17248256 1633 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4211 1633 1111 63 0 4148 0 vsize: 16844 [startup+130.006 s] Raw data (loadavg): 1.04 0.97 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 1756 0 0 0 12982 5 0 0 25 0 1 0 776229729 17383424 1680 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4244 1680 1111 63 0 4181 0 vsize: 16976 [startup+140.006 s] Raw data (loadavg): 1.04 0.97 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 1799 0 0 0 13982 6 0 0 25 0 1 0 776229729 17518592 1723 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4277 1723 1111 63 0 4214 0 vsize: 17108 [startup+150.007 s] Raw data (loadavg): 1.03 0.97 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 1838 0 0 0 14982 6 0 0 25 0 1 0 776229729 17653760 1762 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4310 1762 1111 63 0 4247 0 vsize: 17240 [startup+160.01 s] Raw data (loadavg): 1.02 0.97 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 1878 0 0 0 15983 6 0 0 25 0 1 0 776229729 17940480 1802 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4380 1802 1111 63 0 4317 0 vsize: 17520 [startup+170.01 s] Raw data (loadavg): 1.02 0.97 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 1926 0 0 0 16983 6 0 0 25 0 1 0 776229729 18075648 1850 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4413 1850 1111 63 0 4350 0 vsize: 17652 [startup+180.016 s] Raw data (loadavg): 1.02 0.97 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 1969 0 0 0 17983 6 0 0 25 0 1 0 776229729 18210816 1893 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4446 1893 1111 63 0 4383 0 vsize: 17784 [startup+190.026 s] Raw data (loadavg): 1.01 0.97 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2010 0 0 0 18985 6 0 0 25 0 1 0 776229729 18481152 1934 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4512 1934 1111 63 0 4449 0 vsize: 18048 [startup+200.025 s] Raw data (loadavg): 1.01 0.97 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2058 0 0 0 19984 6 0 0 25 0 1 0 776229729 18616320 1982 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4545 1982 1111 63 0 4482 0 vsize: 18180 [startup+210.025 s] Raw data (loadavg): 1.01 0.97 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2099 0 0 0 20985 6 0 0 25 0 1 0 776229729 18751488 2023 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4578 2023 1111 63 0 4515 0 vsize: 18312 [startup+220.025 s] Raw data (loadavg): 1.01 0.97 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2142 0 0 0 21985 6 0 0 25 0 1 0 776229729 19021824 2066 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4644 2066 1111 63 0 4581 0 vsize: 18576 [startup+230.026 s] Raw data (loadavg): 1.01 0.97 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2190 0 0 0 22985 6 0 0 25 0 1 0 776229729 19156992 2114 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4677 2114 1111 63 0 4614 0 vsize: 18708 [startup+240.026 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2237 0 0 0 23985 6 0 0 25 0 1 0 776229729 19292160 2161 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4710 2161 1111 63 0 4647 0 vsize: 18840 [startup+250.027 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2274 0 0 0 24985 6 0 0 25 0 1 0 776229729 19562496 2198 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4776 2198 1111 63 0 4713 0 vsize: 19104 [startup+260.027 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2322 0 0 0 25985 7 0 0 25 0 1 0 776229729 19697664 2246 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4809 2246 1111 63 0 4746 0 vsize: 19236 [startup+270.027 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2370 0 0 0 26985 7 0 0 25 0 1 0 776229729 19832832 2294 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4842 2294 1111 63 0 4779 0 vsize: 19368 [startup+280.027 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2404 0 0 0 27985 7 0 0 25 0 1 0 776229729 19968000 2328 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4875 2328 1111 63 0 4812 0 vsize: 19500 [startup+290.029 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2452 0 0 0 28985 7 0 0 25 0 1 0 776229729 20238336 2376 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4941 2376 1111 63 0 4878 0 vsize: 19764 [startup+300.029 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2494 0 0 0 29986 7 0 0 25 0 1 0 776229729 20373504 2418 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4974 2418 1111 63 0 4911 0 vsize: 19896 [startup+310.037 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2542 0 0 0 30986 7 0 0 25 0 1 0 776229729 20660224 2466 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5044 2466 1111 63 0 4981 0 vsize: 20176 [startup+320.037 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2591 0 0 0 31986 7 0 0 25 0 1 0 776229729 20807680 2515 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5080 2515 1111 63 0 5017 0 vsize: 20320 [startup+330.037 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2632 0 0 0 32987 7 0 0 25 0 1 0 776229729 20946944 2556 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5114 2556 1111 63 0 5051 0 vsize: 20456 [startup+340.045 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2673 0 0 0 33988 7 0 0 25 0 1 0 776229729 21217280 2597 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5180 2597 1111 63 0 5117 0 vsize: 20720 [startup+350.046 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2721 0 0 0 34988 7 0 0 25 0 1 0 776229729 21352448 2645 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5213 2645 1111 63 0 5150 0 vsize: 20852 [startup+360.048 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2770 0 0 0 35988 7 0 0 25 0 1 0 776229729 21487616 2694 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5246 2694 1111 63 0 5183 0 vsize: 20984 [startup+370.048 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2806 0 0 0 36988 8 0 0 25 0 1 0 776229729 21757952 2730 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5312 2730 1111 63 0 5249 0 vsize: 21248 [startup+380.047 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2855 0 0 0 37988 8 0 0 25 0 1 0 776229729 21893120 2779 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5345 2779 1111 63 0 5282 0 vsize: 21380 [startup+390.048 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2905 0 0 0 38988 8 0 0 25 0 1 0 776229729 22163456 2829 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5411 2829 1111 63 0 5348 0 vsize: 21644 [startup+400.152 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2953 0 0 0 39998 8 0 0 25 0 1 0 776229729 22298624 2877 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5444 2877 1111 63 0 5381 0 vsize: 21776 [startup+410.152 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 2995 0 0 0 40998 8 0 0 25 0 1 0 776229729 22433792 2919 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5477 2919 1111 63 0 5414 0 vsize: 21908 [startup+420.157 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 3034 0 0 0 41999 9 0 0 25 0 1 0 776229729 22568960 2958 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5510 2958 1111 63 0 5447 0 vsize: 22040 [startup+430.165 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 3071 0 0 0 43000 9 0 0 25 0 1 0 776229729 22839296 2995 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5576 2995 1111 63 0 5513 0 vsize: 22304 [startup+440.165 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 3118 0 0 0 44000 9 0 0 25 0 1 0 776229729 22974464 3042 4294967295 134512640 134714508 3221224592 3221222820 1077414347 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5609 3042 1111 63 0 5546 0 vsize: 22436 [startup+450.165 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 3166 0 0 0 45000 9 0 0 25 0 1 0 776229729 23109632 3090 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5642 3090 1111 63 0 5579 0 vsize: 22568 [startup+460.165 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 3209 0 0 0 46000 9 0 0 25 0 1 0 776229729 23400448 3133 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5713 3133 1111 63 0 5650 0 vsize: 22852 [startup+470.171 s] Raw data (loadavg): 1.07 0.99 0.92 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 3252 0 0 0 47001 9 0 0 25 0 1 0 776229729 23539712 3176 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5747 3176 1111 63 0 5684 0 vsize: 22988 [startup+480.172 s] Raw data (loadavg): 1.06 0.99 0.92 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 3300 0 0 0 48001 9 0 0 25 0 1 0 776229729 23674880 3224 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5780 3224 1111 63 0 5717 0 vsize: 23120 [startup+490.184 s] Raw data (loadavg): 1.05 0.99 0.92 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 3348 0 0 0 49002 10 0 0 25 0 1 0 776229729 23945216 3272 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5846 3272 1111 63 0 5783 0 vsize: 23384 [startup+500.197 s] Raw data (loadavg): 1.04 0.99 0.92 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 3384 0 0 0 50003 10 0 0 25 0 1 0 776229729 24080384 3308 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5879 3308 1111 63 0 5816 0 vsize: 23516 [startup+510.196 s] Raw data (loadavg): 1.04 0.99 0.92 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 3432 0 0 0 51003 10 0 0 25 0 1 0 776229729 24215552 3356 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5912 3356 1111 63 0 5849 0 vsize: 23648 [startup+520.197 s] Raw data (loadavg): 1.03 0.99 0.92 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 3480 0 0 0 52003 10 0 0 25 0 1 0 776229729 24506368 3404 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5983 3404 1111 63 0 5920 0 vsize: 23932 [startup+530.197 s] Raw data (loadavg): 1.02 0.99 0.92 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 3524 0 0 0 53003 10 0 0 25 0 1 0 776229729 24641536 3448 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6016 3448 1111 63 0 5953 0 vsize: 24064 [startup+540.231 s] Raw data (loadavg): 1.02 0.99 0.92 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 3566 0 0 0 54007 10 0 0 25 0 1 0 776229729 24780800 3490 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6050 3490 1111 63 0 5987 0 vsize: 24200 [startup+550.231 s] Raw data (loadavg): 1.02 0.99 0.92 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 3599 0 0 0 55007 10 0 0 25 0 1 0 776229729 24915968 3523 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6083 3523 1111 63 0 6020 0 vsize: 24332 [startup+560.231 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 3646 0 0 0 56007 10 0 0 25 0 1 0 776229729 25186304 3570 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6149 3570 1111 63 0 6086 0 vsize: 24596 [startup+570.231 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 3688 0 0 0 57007 10 0 0 25 0 1 0 776229729 25325568 3612 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6183 3612 1111 63 0 6120 0 vsize: 24732 [startup+580.246 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 3730 0 0 0 58008 10 0 0 25 0 1 0 776229729 25460736 3654 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6216 3654 1111 63 0 6153 0 vsize: 24864 [startup+590.254 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 3778 0 0 0 59009 11 0 0 25 0 1 0 776229729 25595904 3702 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6249 3702 1111 63 0 6186 0 vsize: 24996 [startup+600.255 s] Raw data (loadavg): 1.01 0.99 0.92 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 3825 0 0 0 60010 11 0 0 25 0 1 0 776229729 25866240 3749 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6315 3749 1111 63 0 6252 0 vsize: 25260 [startup+610.265 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 3880 0 0 0 61011 11 0 0 25 0 1 0 776229729 26157056 3804 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6386 3804 1111 63 0 6323 0 vsize: 25544 [startup+620.265 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 3922 0 0 0 62011 11 0 0 25 0 1 0 776229729 26292224 3846 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6419 3846 1111 63 0 6356 0 vsize: 25676 [startup+630.271 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 3970 0 0 0 63011 11 0 0 25 0 1 0 776229729 26562560 3894 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6485 3894 1111 63 0 6422 0 vsize: 25940 [startup+640.281 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 4019 0 0 0 64012 11 0 0 25 0 1 0 776229729 26697728 3943 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6518 3943 1111 63 0 6455 0 vsize: 26072 [startup+650.281 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 4067 0 0 0 65013 11 0 0 25 0 1 0 776229729 26832896 3991 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6551 3991 1111 63 0 6488 0 vsize: 26204 [startup+660.281 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 4109 0 0 0 66013 11 0 0 25 0 1 0 776229729 27103232 4033 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6617 4033 1111 63 0 6554 0 vsize: 26468 [startup+670.281 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 4151 0 0 0 67013 11 0 0 25 0 1 0 776229729 27238400 4075 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6650 4075 1111 63 0 6587 0 vsize: 26600 [startup+680.281 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 4201 0 0 0 68013 11 0 0 25 0 1 0 776229729 27373568 4125 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6683 4125 1111 63 0 6620 0 vsize: 26732 [startup+690.282 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 4235 0 0 0 69013 12 0 0 25 0 1 0 776229729 27508736 4159 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6716 4159 1111 63 0 6653 0 vsize: 26864 [startup+700.29 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 4282 0 0 0 70014 12 0 0 25 0 1 0 776229729 27779072 4206 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6782 4206 1111 63 0 6719 0 vsize: 27128 [startup+710.298 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 4325 0 0 0 71015 12 0 0 25 0 1 0 776229729 27934720 4249 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6820 4249 1111 63 0 6757 0 vsize: 27280 [startup+720.298 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 4367 0 0 0 72015 12 0 0 25 0 1 0 776229729 28073984 4291 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6854 4291 1111 63 0 6791 0 vsize: 27416 [startup+730.297 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 4414 0 0 0 73015 12 0 0 25 0 1 0 776229729 28344320 4338 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6920 4338 1111 63 0 6857 0 vsize: 27680 [startup+740.298 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 4462 0 0 0 74015 12 0 0 25 0 1 0 776229729 28479488 4386 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6953 4386 1111 63 0 6890 0 vsize: 27812 [startup+750.299 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 4506 0 0 0 75015 12 0 0 25 0 1 0 776229729 28749824 4430 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7019 4430 1111 63 0 6956 0 vsize: 28076 [startup+760.304 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 4550 0 0 0 76016 12 0 0 25 0 1 0 776229729 28884992 4474 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7052 4474 1111 63 0 6989 0 vsize: 28208 [startup+770.304 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 4598 0 0 0 77016 12 0 0 25 0 1 0 776229729 29040640 4522 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7090 4522 1111 63 0 7027 0 vsize: 28360 [startup+780.31 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 4648 0 0 0 78017 12 0 0 25 0 1 0 776229729 29315072 4572 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7157 4572 1111 63 0 7094 0 vsize: 28628 [startup+790.31 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 4696 0 0 0 79017 12 0 0 25 0 1 0 776229729 29450240 4620 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7190 4620 1111 63 0 7127 0 vsize: 28760 [startup+800.317 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 4745 0 0 0 80017 12 0 0 25 0 1 0 776229729 29720576 4669 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7256 4669 1111 63 0 7193 0 vsize: 29024 [startup+810.317 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 4794 0 0 0 81017 12 0 0 25 0 1 0 776229729 29855744 4718 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7289 4718 1111 63 0 7226 0 vsize: 29156 [startup+820.324 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 4829 0 0 0 82018 12 0 0 25 0 1 0 776229729 29990912 4753 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7322 4753 1111 63 0 7259 0 vsize: 29288 [startup+830.324 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 4880 0 0 0 83018 13 0 0 25 0 1 0 776229729 30261248 4804 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7388 4804 1111 63 0 7325 0 vsize: 29552 [startup+840.324 s] Raw data (loadavg): 1.00 0.99 0.92 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 4928 0 0 0 84019 13 0 0 25 0 1 0 776229729 30396416 4852 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7421 4852 1111 63 0 7358 0 vsize: 29684 [startup+850.325 s] Raw data (loadavg): 1.15 1.02 0.93 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 4979 0 0 0 85019 13 0 0 25 0 1 0 776229729 30666752 4903 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7487 4903 1111 63 0 7424 0 vsize: 29948 [startup+860.324 s] Raw data (loadavg): 1.13 1.02 0.93 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 5027 0 0 0 86019 13 0 0 25 0 1 0 776229729 30801920 4951 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7520 4951 1111 63 0 7457 0 vsize: 30080 [startup+870.324 s] Raw data (loadavg): 1.11 1.02 0.93 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 5076 0 0 0 87019 13 0 0 25 0 1 0 776229729 30937088 5000 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7553 5000 1111 63 0 7490 0 vsize: 30212 [startup+880.326 s] Raw data (loadavg): 1.09 1.02 0.93 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 5126 0 0 0 88019 13 0 0 25 0 1 0 776229729 31207424 5050 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7619 5050 1111 63 0 7556 0 vsize: 30476 [startup+890.326 s] Raw data (loadavg): 1.08 1.02 0.93 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 5174 0 0 0 89019 13 0 0 25 0 1 0 776229729 31342592 5098 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7652 5098 1111 63 0 7589 0 vsize: 30608 [startup+900.327 s] Raw data (loadavg): 1.14 1.03 0.94 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 5225 0 0 0 90019 13 0 0 25 0 1 0 776229729 31612928 5149 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7718 5149 1111 63 0 7655 0 vsize: 30872 [startup+910.328 s] Raw data (loadavg): 1.12 1.03 0.94 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 5267 0 0 0 91019 14 0 0 25 0 1 0 776229729 31768576 5191 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7756 5191 1111 63 0 7693 0 vsize: 31024 [startup+920.328 s] Raw data (loadavg): 1.10 1.03 0.94 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 5310 0 0 0 92019 14 0 0 25 0 1 0 776229729 31907840 5234 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7790 5234 1111 63 0 7727 0 vsize: 31160 [startup+930.328 s] Raw data (loadavg): 1.08 1.03 0.94 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 5358 0 0 0 93019 14 0 0 25 0 1 0 776229729 32178176 5282 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7856 5282 1111 63 0 7793 0 vsize: 31424 [startup+940.33 s] Raw data (loadavg): 1.07 1.03 0.94 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 5408 0 0 0 94020 14 0 0 25 0 1 0 776229729 32313344 5332 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7889 5332 1111 63 0 7826 0 vsize: 31556 [startup+950.33 s] Raw data (loadavg): 1.06 1.03 0.94 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 5457 0 0 0 95020 14 0 0 25 0 1 0 776229729 32583680 5381 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7955 5381 1111 63 0 7892 0 vsize: 31820 [startup+960.331 s] Raw data (loadavg): 1.05 1.02 0.94 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 5506 0 0 0 96020 14 0 0 25 0 1 0 776229729 32718848 5430 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7988 5430 1111 63 0 7925 0 vsize: 31952 [startup+970.336 s] Raw data (loadavg): 1.04 1.02 0.94 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 5556 0 0 0 97020 14 0 0 25 0 1 0 776229729 33009664 5480 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8059 5480 1111 63 0 7996 0 vsize: 32236 [startup+980.337 s] Raw data (loadavg): 1.03 1.02 0.94 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 5607 0 0 0 98020 14 0 0 25 0 1 0 776229729 33148928 5531 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8093 5531 1111 63 0 8030 0 vsize: 32372 [startup+990.341 s] Raw data (loadavg): 1.03 1.02 0.94 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 5656 0 0 0 99021 14 0 0 25 0 1 0 776229729 33419264 5580 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8159 5580 1111 63 0 8096 0 vsize: 32636 [startup+1000.37 s] Raw data (loadavg): 1.02 1.02 0.94 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 5711 0 0 0 100024 15 0 0 25 0 1 0 776229729 33554432 5635 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8192 5635 1111 63 0 8129 0 vsize: 32768 [startup+1010.37 s] Raw data (loadavg): 1.02 1.02 0.94 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 5762 0 0 0 101024 15 0 0 25 0 1 0 776229729 33824768 5686 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8258 5686 1111 63 0 8195 0 vsize: 33032 [startup+1020.37 s] Raw data (loadavg): 1.02 1.02 0.94 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 5810 0 0 0 102024 15 0 0 25 0 1 0 776229729 33959936 5734 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8291 5734 1111 63 0 8228 0 vsize: 33164 [startup+1030.37 s] Raw data (loadavg): 1.01 1.02 0.94 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 5852 0 0 0 103024 15 0 0 25 0 1 0 776229729 34095104 5776 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8324 5776 1111 63 0 8261 0 vsize: 33296 [startup+1040.37 s] Raw data (loadavg): 1.01 1.02 0.94 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 5903 0 0 0 104024 15 0 0 25 0 1 0 776229729 34365440 5827 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8390 5827 1111 63 0 8327 0 vsize: 33560 [startup+1050.38 s] Raw data (loadavg): 1.01 1.02 0.94 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 5952 0 0 0 105025 15 0 0 25 0 1 0 776229729 34500608 5876 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8423 5876 1111 63 0 8360 0 vsize: 33692 [startup+1060.39 s] Raw data (loadavg): 1.01 1.02 0.94 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 6000 0 0 0 106027 15 0 0 25 0 1 0 776229729 34770944 5924 4294967295 134512640 134714508 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8489 5924 1111 63 0 8426 0 vsize: 33956 [startup+1070.4 s] Raw data (loadavg): 1.01 1.01 0.94 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 6051 0 0 0 107027 15 0 0 25 0 1 0 776229729 34906112 5975 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8522 5975 1111 63 0 8459 0 vsize: 34088 [startup+1080.4 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 6100 0 0 0 108027 16 0 0 25 0 1 0 776229729 35176448 6024 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8588 6024 1111 63 0 8525 0 vsize: 34352 [startup+1090.4 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 6149 0 0 0 109027 16 0 0 25 0 1 0 776229729 35311616 6073 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8621 6073 1111 63 0 8558 0 vsize: 34484 [startup+1100.4 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 6199 0 0 0 110027 16 0 0 25 0 1 0 776229729 35602432 6123 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8692 6123 1111 63 0 8629 0 vsize: 34768 [startup+1110.4 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 6249 0 0 0 111027 16 0 0 25 0 1 0 776229729 35741696 6173 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8726 6173 1111 63 0 8663 0 vsize: 34904 [startup+1120.4 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 6297 0 0 0 112028 16 0 0 25 0 1 0 776229729 36012032 6221 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8792 6221 1111 63 0 8729 0 vsize: 35168 [startup+1130.41 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 6348 0 0 0 113028 16 0 0 25 0 1 0 776229729 36167680 6272 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8830 6272 1111 63 0 8767 0 vsize: 35320 [startup+1140.4 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 6404 0 0 0 114029 16 0 0 25 0 1 0 776229729 36442112 6328 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8897 6328 1111 63 0 8834 0 vsize: 35588 [startup+1150.41 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 6460 0 0 0 115029 16 0 0 25 0 1 0 776229729 36712448 6384 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8963 6384 1111 63 0 8900 0 vsize: 35852 [startup+1160.41 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 6530 0 0 0 116029 16 0 0 25 0 1 0 776229729 36982784 6454 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9029 6454 1111 63 0 8966 0 vsize: 36116 [startup+1170.41 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 6587 0 0 0 117029 16 0 0 25 0 1 0 776229729 37253120 6511 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9095 6511 1111 63 0 9032 0 vsize: 36380 [startup+1180.41 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 6644 0 0 0 118029 16 0 0 25 0 1 0 776229729 37543936 6568 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9166 6568 1111 63 0 9103 0 vsize: 36664 [startup+1190.41 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 6695 0 0 0 119030 16 0 0 25 0 1 0 776229729 37679104 6619 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9199 6619 1111 63 0 9136 0 vsize: 36796 [startup+1200.43 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 13304 Raw data (stat): 13304 (bsolo_lpr) R 13303 3944 3943 0 -1 0 6752 0 0 0 120031 16 0 0 25 0 1 0 776229729 37953536 6676 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9266 6676 1111 63 0 9203 0 vsize: 37064 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.46 s] Raw data (loadavg): 1.00 1.00 0.94 1/54 13304 Raw data (stat): 13304 (bsolo_lpr) Z 13303 3944 3943 0 -1 1036 6752 0 0 0 120031 18 0 0 24 0 1 0 776229729 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.46 CPU time (s): 1200.5 CPU user time (s): 1200.32 CPU system time (s): 0.181972 CPU usage (%): 100.003 Max. virtual memory (Kb): 37064 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####