Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-4-c.opb |
MD5SUM | 3d2c3109962e8068c6ff1a393a02942b |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 2666 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 2666 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2666 |
Number of bits of the biggest sum of numbers | 12 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 2666 |
Total number of constraints | 6659 |
Number of constraints which are clauses | 6659 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-08 22:06:40 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1873 boxname=wulflinc31 idbench=209 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 3d2c3109962e8068c6ff1a393a02942b /oldhome/oroussel/tmp/wulflinc31/normalized-par32-4-c.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-par32-4-c.opb IDLAUNCH: 1873 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 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.153 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 137080 kB Buffers: 42440 kB Cached: 820856 kB SwapCached: 644 kB Active: 494524 kB Inactive: 371116 kB HighTotal: 131008 kB HighFree: 756 kB LowTotal: 903652 kB LowFree: 136324 kB SwapTotal: 2097892 kB SwapFree: 2096612 kB Dirty: 808 kB Writeback: 0 kB Mapped: 5608 kB Slab: 26464 kB Committed_AS: 63652 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-08 22:26:16 (client local time) WITH STATUS 0 IN 1175.1 SECONDS stats: 1873 7 1175.1 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 2666 variables and 6659 constraints. c After prepocess the problem consists of 2601 variables and 8508 constraints. c preprocess terminated 58.377 s c Initial Lower Bound: 818 c Lower Bound Elapsed time: 17.7693 c Not use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.04 s #### 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.97 0.99 2/54 17918 Raw data (stat): 17918 (runsolver) R 17917 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 695433811 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0014 s] Raw data (loadavg): 0.94 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 6276 0 0 0 979 17 0 0 25 0 1 0 695433811 18235392 3609 4294967295 134512640 134714508 3221221792 3221220444 134558618 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4452 3609 1111 63 0 4389 0 vsize: 17808 [startup+20.0019 s] Raw data (loadavg): 0.95 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 6276 0 0 0 1979 17 0 0 25 0 1 0 695433811 18235392 3609 4294967295 134512640 134714508 3221221792 3221220444 134558618 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4452 3609 1111 63 0 4389 0 vsize: 17808 [startup+30.0028 s] Raw data (loadavg): 0.95 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 6279 0 0 0 2979 17 0 0 25 0 1 0 695433811 18370560 3612 4294967295 134512640 134714508 3221221792 3221220440 134558492 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4485 3612 1111 63 0 4422 0 vsize: 17940 [startup+40.0028 s] Raw data (loadavg): 0.96 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 6432 0 0 0 3979 18 0 0 25 0 1 0 695433811 18911232 3765 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4617 3765 1111 63 0 4554 0 vsize: 18468 [startup+50.003 s] Raw data (loadavg): 0.97 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 6554 0 0 0 4978 18 0 0 25 0 1 0 695433811 19451904 3887 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4749 3887 1111 63 0 4686 0 vsize: 18996 [startup+60.0038 s] Raw data (loadavg): 0.97 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 7695 0 0 0 5975 22 0 0 25 0 1 0 695433811 24068096 5028 4294967295 134512640 134714508 3221221792 3221220096 1074153749 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5876 5028 1111 63 0 5813 0 vsize: 23504 [startup+70.0036 s] Raw data (loadavg): 0.97 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 9168 0 0 0 6971 26 0 0 25 0 1 0 695433811 30789632 6191 4294967295 134512640 134714508 3221221792 3221217872 1075091586 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7517 6191 1111 63 0 7454 0 vsize: 30068 [startup+80.0045 s] Raw data (loadavg): 0.98 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 9215 0 0 0 7971 26 0 0 25 0 1 0 695433811 30789632 6238 4294967295 134512640 134714508 3221221792 3221217920 1074815372 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7517 6238 1111 63 0 7454 0 vsize: 30068 [startup+90.0045 s] Raw data (loadavg): 0.98 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 9226 0 0 0 8971 26 0 0 25 0 1 0 695433811 30789632 6249 4294967295 134512640 134714508 3221221792 3221217872 1074883665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7517 6249 1111 63 0 7454 0 vsize: 30068 [startup+100.004 s] Raw data (loadavg): 0.98 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 9231 0 0 0 9971 26 0 0 25 0 1 0 695433811 30789632 6254 4294967295 134512640 134714508 3221221792 3221218480 1076083558 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7517 6254 1111 63 0 7454 0 vsize: 30068 [startup+110.006 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 9443 0 0 0 10971 26 0 0 25 0 1 0 695433811 29687808 6195 4294967295 134512640 134714508 3221221792 3221217648 1075965308 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7248 6195 1111 63 0 7185 0 vsize: 28992 [startup+120.006 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 9479 0 0 0 11971 26 0 0 25 0 1 0 695433811 29917184 6231 4294967295 134512640 134714508 3221221792 3221217724 1074788950 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7304 6231 1111 63 0 7241 0 vsize: 29216 [startup+130.007 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 9634 0 0 0 12971 27 0 0 25 0 1 0 695433811 31133696 6386 4294967295 134512640 134714508 3221221792 3221217700 1074790695 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7601 6386 1111 63 0 7538 0 vsize: 30404 [startup+140.007 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 12434 0 0 0 13965 32 0 0 25 0 1 0 695433811 31428608 6223 4294967295 134512640 134714508 3221221792 3221217932 1075116767 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7673 6223 1111 63 0 7610 0 vsize: 30692 [startup+150.007 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 18545 0 0 0 14952 46 0 0 25 0 1 0 695433811 30728192 6410 4294967295 134512640 134714508 3221221792 3221217872 1075094860 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7502 6410 1111 63 0 7439 0 vsize: 30008 [startup+160.007 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 21413 0 0 0 15945 53 0 0 25 0 1 0 695433811 32141312 6414 4294967295 134512640 134714508 3221221792 3221217872 1074794536 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7847 6414 1111 63 0 7784 0 vsize: 31388 [startup+170.007 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 21806 0 0 0 16944 55 0 0 25 0 1 0 695433811 31260672 6501 4294967295 134512640 134714508 3221221792 3221217680 1075965243 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7632 6501 1111 63 0 7569 0 vsize: 30528 [startup+180.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 25157 0 0 0 17936 63 0 0 25 0 1 0 695433811 31322112 6556 4294967295 134512640 134714508 3221221792 3221217596 1074788937 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7647 6556 1111 63 0 7584 0 vsize: 30588 [startup+190.009 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 25220 0 0 0 18936 63 0 0 25 0 1 0 695433811 31465472 6619 4294967295 134512640 134714508 3221221792 3221218496 1074793534 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7682 6619 1111 63 0 7619 0 vsize: 30728 [startup+200.009 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 30279 0 0 0 19924 75 0 0 25 0 1 0 695433811 27709440 6018 4294967295 134512640 134714508 3221221792 3221219864 1074950114 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6765 6018 1111 63 0 6702 0 vsize: 27060 [startup+210.009 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 31959 0 0 0 20920 79 0 0 25 0 1 0 695433811 31633408 6648 4294967295 134512640 134714508 3221221792 3221217984 1074960909 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7723 6648 1111 63 0 7660 0 vsize: 30892 [startup+220.009 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 33909 0 0 0 21916 84 0 0 25 0 1 0 695433811 27926528 6072 4294967295 134512640 134714508 3221221792 3221219864 1074950077 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6818 6072 1111 63 0 6755 0 vsize: 27272 [startup+230.009 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 35560 0 0 0 22911 88 0 0 25 0 1 0 695433811 31907840 6713 4294967295 134512640 134714508 3221221792 3221217916 1075564165 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7790 6713 1111 63 0 7727 0 vsize: 31160 [startup+240.009 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 39924 0 0 0 23902 97 0 0 25 0 1 0 695433811 26558464 5772 4294967295 134512640 134714508 3221221792 3221220480 134543698 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6484 5772 1111 63 0 6421 0 vsize: 25936 [startup+250.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 39924 0 0 0 24902 98 0 0 25 0 1 0 695433811 26558464 5772 4294967295 134512640 134714508 3221221792 3221220592 134597733 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6484 5772 1111 63 0 6421 0 vsize: 25936 [startup+260.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 40108 0 0 0 25901 99 0 0 25 0 1 0 695433811 27369472 5956 4294967295 134512640 134714508 3221221792 3221220568 134613542 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6682 5956 1111 63 0 6619 0 vsize: 26728 [startup+270.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 40271 0 0 0 26900 99 0 0 25 0 1 0 695433811 28045312 6119 4294967295 134512640 134714508 3221221792 3221220400 134549296 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6847 6119 1111 63 0 6784 0 vsize: 27388 [startup+280.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 40452 0 0 0 27899 101 0 0 25 0 1 0 695433811 28721152 6300 4294967295 134512640 134714508 3221221792 3221220580 134597574 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7012 6300 1111 63 0 6949 0 vsize: 28048 [startup+290.009 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 40606 0 0 0 28898 102 0 0 25 0 1 0 695433811 29396992 6454 4294967295 134512640 134714508 3221221792 3221220288 134697098 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7177 6454 1111 63 0 7114 0 vsize: 28708 [startup+300.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 40782 0 0 0 29897 104 0 0 25 0 1 0 695433811 30081024 6630 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7344 6630 1111 63 0 7281 0 vsize: 29376 [startup+310.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 40937 0 0 0 30896 105 0 0 25 0 1 0 695433811 30756864 6785 4294967295 134512640 134714508 3221221792 3221220592 134597692 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7509 6785 1111 63 0 7446 0 vsize: 30036 [startup+320.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 41134 0 0 0 31894 106 0 0 25 0 1 0 695433811 31571968 6982 4294967295 134512640 134714508 3221221792 3221220464 134652825 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7708 6982 1111 63 0 7645 0 vsize: 30832 [startup+330.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 41297 0 0 0 32893 107 0 0 25 0 1 0 695433811 32247808 7145 4294967295 134512640 134714508 3221221792 3221220464 134543681 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7873 7145 1111 63 0 7810 0 vsize: 31492 [startup+340.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 41399 0 0 0 33892 109 0 0 25 0 1 0 695433811 32653312 7247 4294967295 134512640 134714508 3221221792 3221220468 134542962 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7972 7247 1111 63 0 7909 0 vsize: 31888 [startup+350.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 41523 0 0 0 34891 110 0 0 25 0 1 0 695433811 33193984 7371 4294967295 134512640 134714508 3221221792 3221220412 134613956 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8104 7371 1111 63 0 8041 0 vsize: 32416 [startup+360.009 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 41656 0 0 0 35890 111 0 0 25 0 1 0 695433811 33734656 7504 4294967295 134512640 134714508 3221221792 3221220336 134696418 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8236 7504 1111 63 0 8173 0 vsize: 32944 [startup+370.009 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 41773 0 0 0 36889 112 0 0 25 0 1 0 695433811 34140160 7621 4294967295 134512640 134714508 3221221792 3221220580 134597574 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8335 7621 1111 63 0 8272 0 vsize: 33340 [startup+380.009 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 41897 0 0 0 37888 113 0 0 25 0 1 0 695433811 34680832 7745 4294967295 134512640 134714508 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8467 7745 1111 63 0 8404 0 vsize: 33868 [startup+390.009 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 42029 0 0 0 38887 114 0 0 25 0 1 0 695433811 35221504 7877 4294967295 134512640 134714508 3221221792 3221220592 134597735 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8599 7877 1111 63 0 8536 0 vsize: 34396 [startup+400.009 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 42153 0 0 0 39886 116 0 0 25 0 1 0 695433811 35762176 8001 4294967295 134512640 134714508 3221221792 3221220572 134600365 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8731 8001 1111 63 0 8668 0 vsize: 34924 [startup+410.009 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 42294 0 0 0 40885 117 0 0 25 0 1 0 695433811 36306944 8142 4294967295 134512640 134714508 3221221792 3221220568 134600364 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8864 8142 1111 63 0 8801 0 vsize: 35456 [startup+420.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 42427 0 0 0 41884 118 0 0 25 0 1 0 695433811 36847616 8275 4294967295 134512640 134714508 3221221792 3221220448 134536630 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8996 8275 1111 63 0 8933 0 vsize: 35984 [startup+430.009 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 42551 0 0 0 42884 119 0 0 25 0 1 0 695433811 37388288 8399 4294967295 134512640 134714508 3221221792 3221220332 134539235 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9128 8399 1111 63 0 9065 0 vsize: 36512 [startup+440.009 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 42695 0 0 0 43883 119 0 0 25 0 1 0 695433811 37928960 8543 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9260 8543 1111 63 0 9197 0 vsize: 37040 [startup+450.009 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 42827 0 0 0 44882 120 0 0 25 0 1 0 695433811 38469632 8675 4294967295 134512640 134714508 3221221792 3221220356 134542700 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9392 8675 1111 63 0 9329 0 vsize: 37568 [startup+460.01 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 42964 0 0 0 45882 121 0 0 25 0 1 0 695433811 39141376 8812 4294967295 134512640 134714508 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9556 8812 1111 63 0 9493 0 vsize: 38224 [startup+470.01 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 43124 0 0 0 46881 122 0 0 25 0 1 0 695433811 39677952 8972 4294967295 134512640 134714508 3221221792 3221220352 134542368 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9687 8972 1111 63 0 9624 0 vsize: 38748 [startup+480.011 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 43268 0 0 0 47880 123 0 0 25 0 1 0 695433811 40349696 9116 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9851 9116 1111 63 0 9788 0 vsize: 39404 [startup+490.011 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 43398 0 0 0 48879 124 0 0 25 0 1 0 695433811 40890368 9246 4294967295 134512640 134714508 3221221792 3221220432 134542352 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9983 9246 1111 63 0 9920 0 vsize: 39932 [startup+500.011 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 43540 0 0 0 49879 125 0 0 25 0 1 0 695433811 41431040 9388 4294967295 134512640 134714508 3221221792 3221220348 134539208 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10115 9388 1111 63 0 10052 0 vsize: 40460 [startup+510.011 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 43700 0 0 0 50879 125 0 0 25 0 1 0 695433811 42106880 9548 4294967295 134512640 134714508 3221221792 3221220440 134543652 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10280 9548 1111 63 0 10217 0 vsize: 41120 [startup+520.011 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 43834 0 0 0 51878 126 0 0 25 0 1 0 695433811 42647552 9682 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10412 9682 1111 63 0 10349 0 vsize: 41648 [startup+530.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 43973 0 0 0 52878 126 0 0 25 0 1 0 695433811 43188224 9821 4294967295 134512640 134714508 3221221792 3221220560 134584892 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10544 9821 1111 63 0 10481 0 vsize: 42176 [startup+540.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 44119 0 0 0 53877 127 0 0 25 0 1 0 695433811 43864064 9967 4294967295 134512640 134714508 3221221792 3221220552 134652884 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10709 9967 1111 63 0 10646 0 vsize: 42836 [startup+550.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 44250 0 0 0 54876 128 0 0 25 0 1 0 695433811 44400640 10098 4294967295 134512640 134714508 3221221792 3221220384 134549700 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10840 10098 1111 63 0 10777 0 vsize: 43360 [startup+560.011 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 44371 0 0 0 55876 129 0 0 25 0 1 0 695433811 44806144 10219 4294967295 134512640 134714508 3221221792 3221220480 134523350 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10939 10219 1111 63 0 10876 0 vsize: 43756 [startup+570.011 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 44523 0 0 0 56875 130 0 0 25 0 1 0 695433811 45477888 10371 4294967295 134512640 134714508 3221221792 3221220344 134539340 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11103 10371 1111 63 0 11040 0 vsize: 44412 [startup+580.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 44649 0 0 0 57875 130 0 0 25 0 1 0 695433811 46018560 10497 4294967295 134512640 134714508 3221221792 3221220348 134539237 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11235 10497 1111 63 0 11172 0 vsize: 44940 [startup+590.013 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 44754 0 0 0 58875 130 0 0 25 0 1 0 695433811 46419968 10602 4294967295 134512640 134714508 3221221792 3221220432 134696116 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11333 10602 1111 63 0 11270 0 vsize: 45332 [startup+600.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 44852 0 0 0 59874 131 0 0 25 0 1 0 695433811 46821376 10700 4294967295 134512640 134714508 3221221792 3221220592 134597766 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11431 10700 1111 63 0 11368 0 vsize: 45724 [startup+610.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 44959 0 0 0 60874 131 0 0 25 0 1 0 695433811 47226880 10807 4294967295 134512640 134714508 3221221792 3221220416 134539570 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11530 10807 1111 63 0 11467 0 vsize: 46120 [startup+620.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 45066 0 0 0 61873 132 0 0 25 0 1 0 695433811 47767552 10914 4294967295 134512640 134714508 3221221792 3221220376 134543614 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11662 10914 1111 63 0 11599 0 vsize: 46648 [startup+630.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 45156 0 0 0 62873 133 0 0 25 0 1 0 695433811 48037888 11004 4294967295 134512640 134714508 3221221792 3221220596 134557831 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11728 11004 1111 63 0 11665 0 vsize: 46912 [startup+640.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 45271 0 0 0 63872 133 0 0 25 0 1 0 695433811 48578560 11119 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11860 11119 1111 63 0 11797 0 vsize: 47440 [startup+650.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 45383 0 0 0 64872 134 0 0 25 0 1 0 695433811 48984064 11231 4294967295 134512640 134714508 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11959 11231 1111 63 0 11896 0 vsize: 47836 [startup+660.013 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 45511 0 0 0 65871 135 0 0 25 0 1 0 695433811 49524736 11359 4294967295 134512640 134714508 3221221792 3221220448 134543684 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12091 11359 1111 63 0 12028 0 vsize: 48364 [startup+670.013 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 45630 0 0 0 66871 136 0 0 25 0 1 0 695433811 50065408 11478 4294967295 134512640 134714508 3221221792 3221220128 134697496 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12223 11478 1111 63 0 12160 0 vsize: 48892 [startup+680.014 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 45732 0 0 0 67870 136 0 0 25 0 1 0 695433811 50479104 11580 4294967295 134512640 134714508 3221221792 3221220568 134613542 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12324 11580 1111 63 0 12261 0 vsize: 49296 [startup+690.014 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 45877 0 0 0 68869 138 0 0 25 0 1 0 695433811 51019776 11725 4294967295 134512640 134714508 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12456 11725 1111 63 0 12393 0 vsize: 49824 [startup+700.014 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 46003 0 0 0 69868 138 0 0 25 0 1 0 695433811 51560448 11851 4294967295 134512640 134714508 3221221792 3221220496 134528735 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12588 11851 1111 63 0 12525 0 vsize: 50352 [startup+710.015 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 46110 0 0 0 70868 139 0 0 25 0 1 0 695433811 51965952 11958 4294967295 134512640 134714508 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12687 11958 1111 63 0 12624 0 vsize: 50748 [startup+720.015 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 46215 0 0 0 71867 140 0 0 25 0 1 0 695433811 52383744 12063 4294967295 134512640 134714508 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12789 12063 1111 63 0 12726 0 vsize: 51156 [startup+730.016 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 46311 0 0 0 72867 140 0 0 25 0 1 0 695433811 52789248 12159 4294967295 134512640 134714508 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12888 12159 1111 63 0 12825 0 vsize: 51552 [startup+740.016 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 46413 0 0 0 73867 141 0 0 25 0 1 0 695433811 53194752 12261 4294967295 134512640 134714508 3221221792 3221220528 134535740 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12987 12261 1111 63 0 12924 0 vsize: 51948 [startup+750.016 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 46526 0 0 0 74866 141 0 0 25 0 1 0 695433811 53735424 12374 4294967295 134512640 134714508 3221221792 3221220352 134696515 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13119 12374 1111 63 0 13056 0 vsize: 52476 [startup+760.017 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 46650 0 0 0 75866 142 0 0 25 0 1 0 695433811 54140928 12498 4294967295 134512640 134714508 3221221792 3221220300 134535928 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13218 12498 1111 63 0 13155 0 vsize: 52872 [startup+770.017 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 46767 0 0 0 76866 142 0 0 25 0 1 0 695433811 54681600 12615 4294967295 134512640 134714508 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13350 12615 1111 63 0 13287 0 vsize: 53400 [startup+780.017 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 46874 0 0 0 77866 143 0 0 25 0 1 0 695433811 55087104 12722 4294967295 134512640 134714508 3221221792 3221220432 134542350 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13449 12722 1111 63 0 13386 0 vsize: 53796 [startup+790.017 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 46993 0 0 0 78865 143 0 0 25 0 1 0 695433811 55627776 12841 4294967295 134512640 134714508 3221221792 3221220352 134542347 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13581 12841 1111 63 0 13518 0 vsize: 54324 [startup+800.017 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 47106 0 0 0 79865 144 0 0 25 0 1 0 695433811 56033280 12954 4294967295 134512640 134714508 3221221792 3221220528 134588000 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13680 12954 1111 63 0 13617 0 vsize: 54720 [startup+810.018 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 47214 0 0 0 80864 145 0 0 25 0 1 0 695433811 56573952 13062 4294967295 134512640 134714508 3221221792 3221220352 134542342 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13812 13062 1111 63 0 13749 0 vsize: 55248 [startup+820.018 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 47325 0 0 0 81864 145 0 0 25 0 1 0 695433811 56979456 13173 4294967295 134512640 134714508 3221221792 3221220416 134542359 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13911 13173 1111 63 0 13848 0 vsize: 55644 [startup+830.019 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 47425 0 0 0 82864 146 0 0 25 0 1 0 695433811 57384960 13273 4294967295 134512640 134714508 3221221792 3221220384 134543684 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14010 13273 1111 63 0 13947 0 vsize: 56040 [startup+840.02 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 47523 0 0 0 83863 146 0 0 25 0 1 0 695433811 57790464 13371 4294967295 134512640 134714508 3221221792 3221220528 134523930 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14109 13371 1111 63 0 14046 0 vsize: 56436 [startup+850.02 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 47659 0 0 0 84863 147 0 0 25 0 1 0 695433811 58339328 13507 4294967295 134512640 134714508 3221221792 3221220376 134543600 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14243 13507 1111 63 0 14180 0 vsize: 56972 [startup+860.021 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 47775 0 0 0 85862 148 0 0 25 0 1 0 695433811 58880000 13623 4294967295 134512640 134714508 3221221792 3221220436 134523868 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14375 13623 1111 63 0 14312 0 vsize: 57500 [startup+870.021 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 47877 0 0 0 86862 148 0 0 25 0 1 0 695433811 59285504 13725 4294967295 134512640 134714508 3221221792 3221220416 134543097 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14474 13725 1111 63 0 14411 0 vsize: 57896 [startup+880.022 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 48003 0 0 0 87861 149 0 0 25 0 1 0 695433811 59826176 13851 4294967295 134512640 134714508 3221221792 3221220456 134543600 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14606 13851 1111 63 0 14543 0 vsize: 58424 [startup+890.022 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 48120 0 0 0 88860 150 0 0 25 0 1 0 695433811 60231680 13968 4294967295 134512640 134714508 3221221792 3221220432 134542368 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14705 13968 1111 63 0 14642 0 vsize: 58820 [startup+900.021 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 48225 0 0 0 89860 150 0 0 25 0 1 0 695433811 60641280 14072 4294967295 134512640 134714508 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14805 14072 1111 63 0 14742 0 vsize: 59220 [startup+910.023 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 48327 0 0 0 90860 151 0 0 25 0 1 0 695433811 61046784 14174 4294967295 134512640 134714508 3221221792 3221220396 134536828 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14904 14174 1111 63 0 14841 0 vsize: 59616 [startup+920.022 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 48438 0 0 0 91860 151 0 0 25 0 1 0 695433811 61587456 14285 4294967295 134512640 134714508 3221221792 3221220496 134528702 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15036 14285 1111 63 0 14973 0 vsize: 60144 [startup+930.023 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 48547 0 0 0 92860 151 0 0 25 0 1 0 695433811 61992960 14394 4294967295 134512640 134714508 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15135 14394 1111 63 0 15072 0 vsize: 60540 [startup+940.024 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 48640 0 0 0 93860 152 0 0 25 0 1 0 695433811 62394368 14487 4294967295 134512640 134714508 3221221792 3221220376 134543606 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15233 14487 1111 63 0 15170 0 vsize: 60932 [startup+950.023 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 48751 0 0 0 94859 152 0 0 25 0 1 0 695433811 62799872 14598 4294967295 134512640 134714508 3221221792 3221220352 134542347 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15332 14598 1111 63 0 15269 0 vsize: 61328 [startup+960.024 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 48873 0 0 0 95859 153 0 0 25 0 1 0 695433811 63340544 14720 4294967295 134512640 134714508 3221221792 3221220464 134543686 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15464 14720 1111 63 0 15401 0 vsize: 61856 [startup+970.024 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 48961 0 0 0 96858 154 0 0 25 0 1 0 695433811 63746048 14808 4294967295 134512640 134714508 3221221792 3221220384 134549548 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15563 14808 1111 63 0 15500 0 vsize: 62252 [startup+980.025 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 49076 0 0 0 97858 154 0 0 25 0 1 0 695433811 64151552 14923 4294967295 134512640 134714508 3221221792 3221220332 134539243 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15662 14923 1111 63 0 15599 0 vsize: 62648 [startup+990.025 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 49180 0 0 0 98858 155 0 0 25 0 1 0 695433811 64557056 15027 4294967295 134512640 134714508 3221221792 3221220432 134539374 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15761 15027 1111 63 0 15698 0 vsize: 63044 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 49283 0 0 0 99857 155 0 0 25 0 1 0 695433811 64962560 15130 4294967295 134512640 134714508 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15860 15130 1111 63 0 15797 0 vsize: 63440 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 49391 0 0 0 100857 156 0 0 25 0 1 0 695433811 65499136 15238 4294967295 134512640 134714508 3221221792 3221220576 134529091 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15991 15238 1111 63 0 15928 0 vsize: 63964 [startup+1020.03 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 49480 0 0 0 101856 157 0 0 25 0 1 0 695433811 65769472 15327 4294967295 134512640 134714508 3221221792 3221220432 134543110 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16057 15327 1111 63 0 15994 0 vsize: 64228 [startup+1030.03 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 49582 0 0 0 102856 157 0 0 25 0 1 0 695433811 66174976 15429 4294967295 134512640 134714508 3221221792 3221220592 134597769 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16156 15429 1111 63 0 16093 0 vsize: 64624 [startup+1040.03 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 49678 0 0 0 103856 157 0 0 25 0 1 0 695433811 66580480 15525 4294967295 134512640 134714508 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16255 15525 1111 63 0 16192 0 vsize: 65020 [startup+1050.03 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 49791 0 0 0 104855 158 0 0 25 0 1 0 695433811 67133440 15638 4294967295 134512640 134714508 3221221792 3221220568 134613542 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16390 15638 1111 63 0 16327 0 vsize: 65560 [startup+1060.03 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 49884 0 0 0 105855 159 0 0 25 0 1 0 695433811 67538944 15731 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16489 15731 1111 63 0 16426 0 vsize: 65956 [startup+1070.03 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 49979 0 0 0 106854 159 0 0 25 0 1 0 695433811 67944448 15826 4294967295 134512640 134714508 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16588 15826 1111 63 0 16525 0 vsize: 66352 [startup+1080.03 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 50072 0 0 0 107854 160 0 0 25 0 1 0 695433811 68214784 15919 4294967295 134512640 134714508 3221221792 3221220328 134613965 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16654 15919 1111 63 0 16591 0 vsize: 66616 [startup+1090.03 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 50172 0 0 0 108854 160 0 0 25 0 1 0 695433811 68620288 16019 4294967295 134512640 134714508 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16753 16019 1111 63 0 16690 0 vsize: 67012 [startup+1100.03 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 50261 0 0 0 109854 161 0 0 25 0 1 0 695433811 69025792 16108 4294967295 134512640 134714508 3221221792 3221220328 134613965 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16852 16108 1111 63 0 16789 0 vsize: 67408 [startup+1110.03 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 50337 0 0 0 110854 161 0 0 25 0 1 0 695433811 69447680 16184 4294967295 134512640 134714508 3221221792 3221220432 134523874 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16955 16184 1111 63 0 16892 0 vsize: 67820 [startup+1120.03 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 50434 0 0 0 111853 161 0 0 25 0 1 0 695433811 69853184 16281 4294967295 134512640 134714508 3221221792 3221220332 134539243 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17054 16281 1111 63 0 16991 0 vsize: 68216 [startup+1130.03 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 50519 0 0 0 112853 162 0 0 25 0 1 0 695433811 70123520 16366 4294967295 134512640 134714508 3221221792 3221220320 134543030 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17120 16366 1111 63 0 17057 0 vsize: 68480 [startup+1140.03 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 50605 0 0 0 113853 162 0 0 25 0 1 0 695433811 70529024 16452 4294967295 134512640 134714508 3221221792 3221220436 134543119 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17219 16452 1111 63 0 17156 0 vsize: 68876 [startup+1150.03 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 50682 0 0 0 114852 163 0 0 25 0 1 0 695433811 70799360 16529 4294967295 134512640 134714508 3221221792 3221220232 1077378037 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17285 16529 1111 63 0 17222 0 vsize: 69140 [startup+1160.03 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 50768 0 0 0 115852 163 0 0 25 0 1 0 695433811 71213056 16615 4294967295 134512640 134714508 3221221792 3221220536 134672906 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17386 16615 1111 63 0 17323 0 vsize: 69544 [startup+1170.03 s] Raw data (loadavg): 0.99 0.97 0.99 2/54 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 50855 0 0 0 116852 164 0 0 25 0 1 0 695433811 71483392 16702 4294967295 134512640 134714508 3221221792 3221220376 134543614 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17452 16702 1111 63 0 17389 0 vsize: 69808 [startup+1174.96 s] Raw data (loadavg): 0.99 0.97 0.99 1/53 17918 Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 50855 0 0 0 116852 164 0 0 25 0 1 0 695433811 71483392 16702 4294967295 134512640 134714508 3221221792 3221220376 134543614 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17452 16702 1111 63 0 17389 0 vsize: 0 Child status: 0 Real time (s): 1174.96 CPU time (s): 1175.1 CPU user time (s): 1173.43 CPU system time (s): 1.67174 CPU usage (%): 100.012 Max. virtual memory (Kb): 69808 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####