Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship08l.opb |
MD5SUM | 765ea624bde3931069939663462a01e5 |
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 | 128490 |
Biggest coefficient in the objective function | 435455996723200 |
Number of bits for the biggest coefficient in the objective function | 49 |
Sum of the numbers in the objective function | 204823519821908064 |
Number of bits of the sum of numbers in the objective function | 58 |
Biggest number in a constraint | 435455996723200 |
Number of bits of the biggest number in a constraint | 49 |
Biggest sum of numbers in a constraint | 204823519821908064 |
Number of bits of the biggest sum of numbers | 58 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.16382 |
Number of variables | 128490 |
Total number of constraints | 712 |
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 | 712 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 2550 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc28 THE 2005-05-25 04:04:55 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=11428 boxname=wulflinc28 idbench=880 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 765ea624bde3931069939663462a01e5 /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-ship08l.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-ship08l.opb IDLAUNCH: 11428 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.077 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 : 3 cpu MHz : 451.077 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: 755512 kB Buffers: 9972 kB Cached: 247648 kB SwapCached: 1052 kB Active: 36376 kB Inactive: 223784 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 755260 kB SwapTotal: 2097640 kB SwapFree: 2096168 kB Dirty: 492 kB Writeback: 0 kB Mapped: 5460 kB Slab: 13396 kB Committed_AS: 63588 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 04:24:58 (client local time) WITH STATUS 0 IN 1201.17 SECONDS stats: 11428 7 1201.17 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.98 0.92 2/54 1279 Raw data (stat): 1279 (runsolver) R 1278 24821 24820 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835865282 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.711 s] Raw data (loadavg): 0.94 0.98 0.92 2/54 1279 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 1363 0 0 0 1065 3 0 0 25 0 1 0 835865282 15364096 1287 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3751 1287 1111 63 0 3688 0 vsize: 15004 [startup+20.718 s] Raw data (loadavg): 0.95 0.98 0.92 2/54 1279 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 1429 0 0 0 2066 4 0 0 25 0 1 0 835865282 15663104 1353 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3824 1353 1111 63 0 3761 0 vsize: 15296 [startup+30.7186 s] Raw data (loadavg): 0.96 0.98 0.92 2/54 1279 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 1503 0 0 0 3066 4 0 0 25 0 1 0 835865282 15945728 1427 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3893 1427 1111 63 0 3830 0 vsize: 15572 [startup+40.7187 s] Raw data (loadavg): 0.96 0.98 0.92 2/54 1279 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 1576 0 0 0 4065 4 0 0 25 0 1 0 835865282 16236544 1500 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3964 1500 1111 63 0 3901 0 vsize: 15856 [startup+50.7351 s] Raw data (loadavg): 0.97 0.98 0.92 2/54 1279 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 1649 0 0 0 5067 4 0 0 25 0 1 0 835865282 16535552 1573 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4037 1573 1111 63 0 3974 0 vsize: 16148 [startup+60.7348 s] Raw data (loadavg): 0.97 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 1723 0 0 0 6067 4 0 0 25 0 1 0 835865282 16838656 1647 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4111 1648 1111 63 0 4048 0 vsize: 16444 [startup+70.7344 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 1807 0 0 0 7067 4 0 0 25 0 1 0 835865282 17272832 1731 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4217 1731 1111 63 0 4154 0 vsize: 16868 [startup+80.7351 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 1887 0 0 0 8067 5 0 0 25 0 1 0 835865282 17567744 1811 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4289 1811 1111 63 0 4226 0 vsize: 17156 [startup+90.7347 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 1969 0 0 0 9067 5 0 0 25 0 1 0 835865282 17846272 1893 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4357 1893 1111 63 0 4294 0 vsize: 17428 [startup+100.738 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 2049 0 0 0 10068 5 0 0 25 0 1 0 835865282 18292736 1973 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4466 1973 1111 63 0 4403 0 vsize: 17864 [startup+110.739 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 2130 0 0 0 11068 5 0 0 25 0 1 0 835865282 18591744 2054 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4539 2054 1111 63 0 4476 0 vsize: 18156 [startup+120.739 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 2211 0 0 0 12068 5 0 0 25 0 1 0 835865282 18894848 2135 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4613 2135 1111 63 0 4550 0 vsize: 18452 [startup+130.739 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 2296 0 0 0 13068 5 0 0 25 0 1 0 835865282 19193856 2220 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4686 2220 1111 63 0 4623 0 vsize: 18744 [startup+140.739 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 2378 0 0 0 14068 5 0 0 25 0 1 0 835865282 19644416 2302 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4796 2302 1111 63 0 4733 0 vsize: 19184 [startup+150.74 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 2453 0 0 0 15068 5 0 0 25 0 1 0 835865282 19943424 2377 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4869 2377 1111 63 0 4806 0 vsize: 19476 [startup+160.739 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 2539 0 0 0 16068 6 0 0 25 0 1 0 835865282 20242432 2463 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4942 2463 1111 63 0 4879 0 vsize: 19768 [startup+170.739 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 2615 0 0 0 17068 6 0 0 25 0 1 0 835865282 20545536 2539 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5016 2539 1111 63 0 4953 0 vsize: 20064 [startup+180.74 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 2701 0 0 0 18068 6 0 0 25 0 1 0 835865282 20844544 2625 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5089 2625 1111 63 0 5026 0 vsize: 20356 [startup+190.741 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 2775 0 0 0 19068 6 0 0 25 0 1 0 835865282 21143552 2699 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5162 2699 1111 63 0 5099 0 vsize: 20648 [startup+200.742 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 2864 0 0 0 20068 6 0 0 25 0 1 0 835865282 21602304 2788 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5274 2788 1111 63 0 5211 0 vsize: 21096 [startup+210.745 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 2944 0 0 0 21069 6 0 0 25 0 1 0 835865282 21901312 2868 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5347 2868 1111 63 0 5284 0 vsize: 21388 [startup+220.744 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 3026 0 0 0 22069 7 0 0 25 0 1 0 835865282 22200320 2950 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5420 2950 1111 63 0 5357 0 vsize: 21680 [startup+230.744 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 3106 0 0 0 23069 7 0 0 25 0 1 0 835865282 22503424 3030 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5494 3030 1111 63 0 5431 0 vsize: 21976 [startup+240.744 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 3186 0 0 0 24069 7 0 0 25 0 1 0 835865282 22949888 3110 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5603 3110 1111 63 0 5540 0 vsize: 22412 [startup+250.744 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 3282 0 0 0 25069 7 0 0 25 0 1 0 835865282 23265280 3206 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5680 3206 1111 63 0 5617 0 vsize: 22720 [startup+260.745 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 3356 0 0 0 26069 7 0 0 25 0 1 0 835865282 23543808 3280 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5748 3280 1111 63 0 5685 0 vsize: 22992 [startup+270.745 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 3442 0 0 0 27069 7 0 0 25 0 1 0 835865282 23994368 3366 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5858 3366 1111 63 0 5795 0 vsize: 23432 [startup+280.745 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 3524 0 0 0 28069 7 0 0 25 0 1 0 835865282 24297472 3448 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5932 3448 1111 63 0 5869 0 vsize: 23728 [startup+290.745 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 3605 0 0 0 29069 7 0 0 25 0 1 0 835865282 24596480 3529 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6005 3529 1111 63 0 5942 0 vsize: 24020 [startup+300.746 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 3688 0 0 0 30069 8 0 0 25 0 1 0 835865282 24895488 3612 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6078 3612 1111 63 0 6015 0 vsize: 24312 [startup+310.745 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 3769 0 0 0 31069 8 0 0 25 0 1 0 835865282 25350144 3693 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6189 3693 1111 63 0 6126 0 vsize: 24756 [startup+320.745 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 3856 0 0 0 32069 8 0 0 25 0 1 0 835865282 25649152 3780 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6262 3780 1111 63 0 6199 0 vsize: 25048 [startup+330.746 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 3932 0 0 0 33069 8 0 0 25 0 1 0 835865282 25952256 3856 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6336 3856 1111 63 0 6273 0 vsize: 25344 [startup+340.746 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 4018 0 0 0 34069 9 0 0 25 0 1 0 835865282 26251264 3942 4294967295 134512640 134714508 3221224592 3221221180 1077091268 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6409 3942 1111 63 0 6346 0 vsize: 25636 [startup+350.747 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 4099 0 0 0 35069 9 0 0 25 0 1 0 835865282 26701824 4023 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6519 4023 1111 63 0 6456 0 vsize: 26076 [startup+360.747 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 4182 0 0 0 36070 9 0 0 25 0 1 0 835865282 26984448 4106 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6588 4106 1111 63 0 6525 0 vsize: 26352 [startup+370.747 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 4270 0 0 0 37070 9 0 0 25 0 1 0 835865282 27275264 4194 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6659 4194 1111 63 0 6596 0 vsize: 26636 [startup+380.746 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 4344 0 0 0 38070 9 0 0 25 0 1 0 835865282 27574272 4268 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6732 4268 1111 63 0 6669 0 vsize: 26928 [startup+390.746 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 4432 0 0 0 39070 9 0 0 25 0 1 0 835865282 28028928 4356 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6843 4356 1111 63 0 6780 0 vsize: 27372 [startup+400.747 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 4512 0 0 0 40070 9 0 0 25 0 1 0 835865282 28327936 4436 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6916 4436 1111 63 0 6853 0 vsize: 27664 [startup+410.747 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 4594 0 0 0 41070 9 0 0 25 0 1 0 835865282 28626944 4518 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6989 4518 1111 63 0 6926 0 vsize: 27956 [startup+420.746 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 4676 0 0 0 42070 10 0 0 25 0 1 0 835865282 28934144 4600 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7064 4600 1111 63 0 7001 0 vsize: 28256 [startup+430.75 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 4756 0 0 0 43070 10 0 0 25 0 1 0 835865282 29380608 4680 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7173 4680 1111 63 0 7110 0 vsize: 28692 [startup+440.749 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 4845 0 0 0 44070 10 0 0 25 0 1 0 835865282 29683712 4769 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7247 4769 1111 63 0 7184 0 vsize: 28988 [startup+450.75 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 4925 0 0 0 45070 10 0 0 25 0 1 0 835865282 29982720 4849 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7320 4849 1111 63 0 7257 0 vsize: 29280 [startup+460.75 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 5006 0 0 0 46070 10 0 0 25 0 1 0 835865282 30281728 4930 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7393 4930 1111 63 0 7330 0 vsize: 29572 [startup+470.75 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 5094 0 0 0 47070 10 0 0 25 0 1 0 835865282 30740480 5018 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7505 5018 1111 63 0 7442 0 vsize: 30020 [startup+480.75 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 5175 0 0 0 48070 10 0 0 25 0 1 0 835865282 31039488 5099 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7578 5099 1111 63 0 7515 0 vsize: 30312 [startup+490.75 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 5269 0 0 0 49070 11 0 0 25 0 1 0 835865282 31526912 5193 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7697 5193 1111 63 0 7634 0 vsize: 30788 [startup+500.75 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 5356 0 0 0 50070 11 0 0 25 0 1 0 835865282 31825920 5280 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7770 5280 1111 63 0 7707 0 vsize: 31080 [startup+510.75 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 5443 0 0 0 51071 11 0 0 25 0 1 0 835865282 32124928 5367 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7843 5367 1111 63 0 7780 0 vsize: 31372 [startup+520.75 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 5525 0 0 0 52071 11 0 0 25 0 1 0 835865282 32583680 5449 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7955 5449 1111 63 0 7892 0 vsize: 31820 [startup+530.75 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 5606 0 0 0 53071 11 0 0 25 0 1 0 835865282 32882688 5530 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8028 5530 1111 63 0 7965 0 vsize: 32112 [startup+540.75 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 5694 0 0 0 54071 11 0 0 25 0 1 0 835865282 33181696 5618 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8101 5618 1111 63 0 8038 0 vsize: 32404 [startup+550.751 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 5777 0 0 0 55071 11 0 0 25 0 1 0 835865282 33484800 5701 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8175 5701 1111 63 0 8112 0 vsize: 32700 [startup+560.75 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 5858 0 0 0 56071 11 0 0 25 0 1 0 835865282 33931264 5782 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8284 5782 1111 63 0 8221 0 vsize: 33136 [startup+570.75 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 5946 0 0 0 57071 12 0 0 25 0 1 0 835865282 34238464 5870 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8359 5870 1111 63 0 8296 0 vsize: 33436 [startup+580.751 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 6034 0 0 0 58070 12 0 0 25 0 1 0 835865282 34537472 5958 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8432 5958 1111 63 0 8369 0 vsize: 33728 [startup+590.755 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 6120 0 0 0 59071 12 0 0 25 0 1 0 835865282 34988032 6044 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8542 6044 1111 63 0 8479 0 vsize: 34168 [startup+600.756 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 6204 0 0 0 60071 12 0 0 25 0 1 0 835865282 35291136 6128 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8616 6128 1111 63 0 8553 0 vsize: 34464 [startup+610.756 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 6286 0 0 0 61071 13 0 0 25 0 1 0 835865282 35590144 6210 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8689 6210 1111 63 0 8626 0 vsize: 34756 [startup+620.756 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 6375 0 0 0 62071 13 0 0 25 0 1 0 835865282 36044800 6299 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8800 6299 1111 63 0 8737 0 vsize: 35200 [startup+630.755 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 6462 0 0 0 63071 13 0 0 25 0 1 0 835865282 36343808 6386 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8873 6386 1111 63 0 8810 0 vsize: 35492 [startup+640.756 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 6543 0 0 0 64071 13 0 0 25 0 1 0 835865282 36642816 6467 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8946 6467 1111 63 0 8883 0 vsize: 35784 [startup+650.759 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 6625 0 0 0 65071 13 0 0 25 0 1 0 835865282 36945920 6549 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9020 6549 1111 63 0 8957 0 vsize: 36080 [startup+660.766 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 6714 0 0 0 66072 14 0 0 25 0 1 0 835865282 37396480 6638 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9130 6638 1111 63 0 9067 0 vsize: 36520 [startup+670.77 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 6801 0 0 0 67072 14 0 0 25 0 1 0 835865282 37695488 6725 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9203 6725 1111 63 0 9140 0 vsize: 36812 [startup+680.776 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 6890 0 0 0 68073 14 0 0 25 0 1 0 835865282 38146048 6814 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9313 6814 1111 63 0 9250 0 vsize: 37252 [startup+690.775 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 6971 0 0 0 69073 14 0 0 25 0 1 0 835865282 38445056 6895 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9386 6895 1111 63 0 9323 0 vsize: 37544 [startup+700.776 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 7059 0 0 0 70073 14 0 0 25 0 1 0 835865282 38752256 6983 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9461 6983 1111 63 0 9398 0 vsize: 37844 [startup+710.784 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 7141 0 0 0 71074 14 0 0 25 0 1 0 835865282 39051264 7065 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9534 7065 1111 63 0 9471 0 vsize: 38136 [startup+720.783 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 7230 0 0 0 72074 15 0 0 25 0 1 0 835865282 39501824 7154 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9644 7154 1111 63 0 9581 0 vsize: 38576 [startup+730.788 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 7319 0 0 0 73074 15 0 0 25 0 1 0 835865282 39804928 7243 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9718 7243 1111 63 0 9655 0 vsize: 38872 [startup+740.788 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 7406 0 0 0 74074 15 0 0 25 0 1 0 835865282 40251392 7330 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9827 7330 1111 63 0 9764 0 vsize: 39308 [startup+750.788 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 7495 0 0 0 75074 15 0 0 25 0 1 0 835865282 40558592 7419 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9902 7419 1111 63 0 9839 0 vsize: 39608 [startup+760.788 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 7582 0 0 0 76074 15 0 0 25 0 1 0 835865282 40857600 7506 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9975 7506 1111 63 0 9912 0 vsize: 39900 [startup+770.788 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 7664 0 0 0 77074 16 0 0 25 0 1 0 835865282 41308160 7588 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10085 7588 1111 63 0 10022 0 vsize: 40340 [startup+780.788 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 7754 0 0 0 78074 16 0 0 25 0 1 0 835865282 41611264 7678 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10159 7678 1111 63 0 10096 0 vsize: 40636 [startup+790.788 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 7835 0 0 0 79074 16 0 0 25 0 1 0 835865282 41910272 7759 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10232 7759 1111 63 0 10169 0 vsize: 40928 [startup+800.789 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 7924 0 0 0 80074 16 0 0 25 0 1 0 835865282 42356736 7848 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10341 7848 1111 63 0 10278 0 vsize: 41364 [startup+810.79 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 8011 0 0 0 81074 16 0 0 25 0 1 0 835865282 42635264 7935 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10409 7935 1111 63 0 10346 0 vsize: 41636 [startup+820.789 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 8092 0 0 0 82074 16 0 0 25 0 1 0 835865282 42934272 8016 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10482 8016 1111 63 0 10419 0 vsize: 41928 [startup+830.789 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 8175 0 0 0 83074 16 0 0 25 0 1 0 835865282 43384832 8099 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10592 8099 1111 63 0 10529 0 vsize: 42368 [startup+840.789 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 8263 0 0 0 84074 17 0 0 25 0 1 0 835865282 43683840 8187 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10665 8187 1111 63 0 10602 0 vsize: 42660 [startup+850.789 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 8351 0 0 0 85074 17 0 0 25 0 1 0 835865282 43982848 8275 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10738 8275 1111 63 0 10675 0 vsize: 42952 [startup+860.789 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 8439 0 0 0 86074 17 0 0 25 0 1 0 835865282 44441600 8363 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10850 8363 1111 63 0 10787 0 vsize: 43400 [startup+870.789 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 8527 0 0 0 87074 17 0 0 25 0 1 0 835865282 44740608 8451 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10923 8451 1111 63 0 10860 0 vsize: 43692 [startup+880.895 s] Raw data (loadavg): 1.07 1.00 0.93 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 8616 0 0 0 88085 17 0 0 25 0 1 0 835865282 45191168 8540 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11033 8540 1111 63 0 10970 0 vsize: 44132 [startup+890.902 s] Raw data (loadavg): 1.06 1.00 0.93 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 8697 0 0 0 89086 17 0 0 25 0 1 0 835865282 45490176 8621 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11106 8621 1111 63 0 11043 0 vsize: 44424 [startup+900.903 s] Raw data (loadavg): 1.05 1.00 0.93 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 8784 0 0 0 90086 17 0 0 25 0 1 0 835865282 45789184 8708 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11179 8708 1111 63 0 11116 0 vsize: 44716 [startup+910.903 s] Raw data (loadavg): 1.04 1.00 0.93 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 8873 0 0 0 91086 18 0 0 25 0 1 0 835865282 46247936 8797 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11291 8797 1111 63 0 11228 0 vsize: 45164 [startup+920.903 s] Raw data (loadavg): 1.04 1.00 0.93 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 8954 0 0 0 92086 18 0 0 25 0 1 0 835865282 46546944 8878 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11364 8878 1111 63 0 11301 0 vsize: 45456 [startup+930.903 s] Raw data (loadavg): 1.03 1.00 0.93 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 9043 0 0 0 93086 18 0 0 25 0 1 0 835865282 46845952 8967 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11437 8967 1111 63 0 11374 0 vsize: 45748 [startup+940.902 s] Raw data (loadavg): 1.03 1.00 0.93 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 9131 0 0 0 94086 18 0 0 25 0 1 0 835865282 47296512 9055 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11547 9055 1111 63 0 11484 0 vsize: 46188 [startup+950.903 s] Raw data (loadavg): 1.02 1.00 0.93 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 9237 0 0 0 95086 18 0 0 25 0 1 0 835865282 47849472 9161 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11682 9161 1111 63 0 11619 0 vsize: 46728 [startup+960.904 s] Raw data (loadavg): 1.02 1.00 0.93 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 9326 0 0 0 96086 19 0 0 25 0 1 0 835865282 48152576 9250 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11756 9250 1111 63 0 11693 0 vsize: 47024 [startup+970.922 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 9413 0 0 0 97087 19 0 0 25 0 1 0 835865282 48451584 9337 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11829 9337 1111 63 0 11766 0 vsize: 47316 [startup+980.94 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 9502 0 0 0 98089 19 0 0 25 0 1 0 835865282 48885760 9426 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11935 9426 1111 63 0 11872 0 vsize: 47740 [startup+990.94 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 9590 0 0 0 99089 20 0 0 25 0 1 0 835865282 49176576 9514 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12006 9514 1111 63 0 11943 0 vsize: 48024 [startup+1000.94 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 9678 0 0 0 100089 20 0 0 25 0 1 0 835865282 49627136 9602 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12116 9602 1111 63 0 12053 0 vsize: 48464 [startup+1010.94 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 9769 0 0 0 101089 20 0 0 25 0 1 0 835865282 49930240 9693 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12190 9693 1111 63 0 12127 0 vsize: 48760 [startup+1020.94 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 9856 0 0 0 102089 20 0 0 25 0 1 0 835865282 50376704 9780 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12299 9780 1111 63 0 12236 0 vsize: 49196 [startup+1030.94 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 9945 0 0 0 103090 20 0 0 25 0 1 0 835865282 50675712 9869 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12372 9869 1111 63 0 12309 0 vsize: 49488 [startup+1040.94 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 10033 0 0 0 104089 20 0 0 25 0 1 0 835865282 51101696 9957 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12476 9957 1111 63 0 12413 0 vsize: 49904 [startup+1050.94 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 10122 0 0 0 105090 21 0 0 25 0 1 0 835865282 51400704 10046 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12549 10046 1111 63 0 12486 0 vsize: 50196 [startup+1060.94 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 10212 0 0 0 106090 21 0 0 25 0 1 0 835865282 51707904 10136 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12624 10136 1111 63 0 12561 0 vsize: 50496 [startup+1070.94 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 10300 0 0 0 107090 21 0 0 25 0 1 0 835865282 52154368 10224 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12733 10224 1111 63 0 12670 0 vsize: 50932 [startup+1080.95 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 10389 0 0 0 108090 21 0 0 25 0 1 0 835865282 52453376 10313 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12806 10313 1111 63 0 12743 0 vsize: 51224 [startup+1090.95 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 10477 0 0 0 109090 21 0 0 25 0 1 0 835865282 52908032 10401 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12917 10401 1111 63 0 12854 0 vsize: 51668 [startup+1100.95 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 10571 0 0 0 110091 22 0 0 25 0 1 0 835865282 53207040 10495 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12990 10495 1111 63 0 12927 0 vsize: 51960 [startup+1110.95 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 10661 0 0 0 111090 22 0 0 25 0 1 0 835865282 53661696 10585 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13101 10585 1111 63 0 13038 0 vsize: 52404 [startup+1120.95 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 10756 0 0 0 112090 22 0 0 25 0 1 0 835865282 53960704 10680 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13174 10680 1111 63 0 13111 0 vsize: 52696 [startup+1130.95 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 10845 0 0 0 113090 22 0 0 25 0 1 0 835865282 54415360 10769 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13285 10769 1111 63 0 13222 0 vsize: 53140 [startup+1140.95 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 10933 0 0 0 114090 22 0 0 25 0 1 0 835865282 54714368 10857 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13358 10857 1111 63 0 13295 0 vsize: 53432 [startup+1150.95 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 11021 0 0 0 115090 23 0 0 25 0 1 0 835865282 55013376 10945 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13431 10945 1111 63 0 13368 0 vsize: 53724 [startup+1160.95 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 11111 0 0 0 116090 23 0 0 25 0 1 0 835865282 55468032 11035 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13542 11035 1111 63 0 13479 0 vsize: 54168 [startup+1170.95 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 11200 0 0 0 117090 23 0 0 25 0 1 0 835865282 55767040 11124 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13615 11124 1111 63 0 13552 0 vsize: 54460 [startup+1180.95 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 11289 0 0 0 118090 24 0 0 25 0 1 0 835865282 56221696 11213 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13726 11213 1111 63 0 13663 0 vsize: 54904 [startup+1190.95 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 11383 0 0 0 119090 24 0 0 25 0 1 0 835865282 56520704 11307 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13799 11307 1111 63 0 13736 0 vsize: 55196 [startup+1200.95 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 1281 Raw data (stat): 1279 (bsolo_lpr) R 1278 24821 24820 0 -1 0 11471 0 0 0 120089 24 0 0 25 0 1 0 835865282 56971264 11395 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13909 11395 1111 63 0 13846 0 vsize: 55636 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1201.02 s] Raw data (loadavg): 1.00 1.00 0.93 1/54 1281 Raw data (stat): 1279 (bsolo_lpr) Z 1278 24821 24820 0 -1 1036 11471 0 0 0 120089 27 0 0 23 0 1 0 835865282 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): 1201.02 CPU time (s): 1201.17 CPU user time (s): 1200.9 CPU system time (s): 0.270958 CPU usage (%): 100.013 Max. virtual memory (Kb): 55636 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####