Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa2670-130.opb |
MD5SUM | 600cdaf1f0eedf797341aa9f45a30b93 |
Bench Category | optimization, small integers (OPTSMALLINT) |
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 | 2718 |
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 | 2718 |
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 | 2718 |
Number of bits of the biggest sum of numbers | 12 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.164974 |
Number of variables | 2718 |
Total number of constraints | 4680 |
Number of constraints which are clauses | 4680 |
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 | 1 |
Maximum length of a constraint | 5 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-09 05:57:35 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2009 boxname=wulflinc31 idbench=224 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 600cdaf1f0eedf797341aa9f45a30b93 /oldhome/oroussel/tmp/wulflinc31/normalized-ssa2670-130.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-ssa2670-130.opb IDLAUNCH: 2009 /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: 134128 kB Buffers: 43644 kB Cached: 822304 kB SwapCached: 644 kB Active: 496648 kB Inactive: 371656 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 133876 kB SwapTotal: 2097892 kB SwapFree: 2096612 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5608 kB Slab: 26524 kB Committed_AS: 63632 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-09 06:17:11 (client local time) WITH STATUS 0 IN 1175.47 SECONDS stats: 2009 7 1175.47 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 2718 variables and 4680 constraints. c After prepocess the problem consists of 715 variables and 1657 constraints. c preprocess terminated 259.566 s c Initial Lower Bound: 1267 c Lower Bound Elapsed time: 0.581 c Use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.39 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.92 0.95 0.90 2/54 25162 Raw data (stat): 25162 (runsolver) R 25161 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 698259576 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 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.0011 s] Raw data (loadavg): 0.93 0.96 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 6868 0 0 0 977 18 0 0 25 0 1 0 698259576 18309120 3627 4294967295 134512640 134714508 3221221776 3221220128 134543030 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4470 3627 1111 63 0 4407 0 vsize: 17880 [startup+20.0018 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 59142 0 0 0 1848 147 0 0 25 0 1 0 698259576 26030080 5512 4294967295 134512640 134714508 3221221776 3221220504 134672913 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6355 5512 1111 63 0 6292 0 vsize: 25420 [startup+30.0026 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 72591 0 0 0 2814 181 0 0 25 0 1 0 698259576 29843456 6443 4294967295 134512640 134714508 3221221776 3221220212 1077782939 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7286 6443 1111 63 0 7223 0 vsize: 29144 [startup+40.0026 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 92181 0 0 0 3768 227 0 0 25 0 1 0 698259576 32808960 7167 4294967295 134512640 134714508 3221221776 3221220160 134542347 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8010 7167 1111 63 0 7947 0 vsize: 32040 [startup+50.0033 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 116171 0 0 0 4709 287 0 0 25 0 1 0 698259576 38019072 8439 4294967295 134512640 134714508 3221221776 3221220140 134539276 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9282 8439 1111 63 0 9219 0 vsize: 37128 [startup+60.0032 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 130409 0 0 0 5675 321 0 0 25 0 1 0 698259576 40718336 9066 4294967295 134512640 134714508 3221221776 3221220340 134535789 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9941 9066 1111 63 0 9878 0 vsize: 39764 [startup+70.0034 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 140982 0 0 0 6647 348 0 0 25 0 1 0 698259576 42004480 9385 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10255 9385 1111 63 0 10192 0 vsize: 41020 [startup+80.0041 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 158831 0 0 0 7603 393 0 0 25 0 1 0 698259576 44437504 10006 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10849 10006 1111 63 0 10786 0 vsize: 43396 [startup+90.004 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 171242 0 0 0 8574 422 0 0 25 0 1 0 698259576 45645824 10272 4294967295 134512640 134714508 3221221776 3221220392 134543804 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11144 10272 1111 63 0 11081 0 vsize: 44576 [startup+100.005 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 177422 0 0 0 9559 437 0 0 25 0 1 0 698259576 46743552 10545 4294967295 134512640 134714508 3221221776 3221220332 134542828 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11412 10545 1111 63 0 11349 0 vsize: 45648 [startup+110.006 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 190722 0 0 0 10527 470 0 0 25 0 1 0 698259576 48545792 10977 4294967295 134512640 134714508 3221221776 3221220392 134536901 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11852 10977 1111 63 0 11789 0 vsize: 47408 [startup+120.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 195633 0 0 0 11514 483 0 0 25 0 1 0 698259576 49307648 11195 4294967295 134512640 134714508 3221221776 3221220108 134535956 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12038 11195 1111 63 0 11975 0 vsize: 48152 [startup+130.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 212064 0 0 0 12474 523 0 0 25 0 1 0 698259576 50991104 11603 4294967295 134512640 134714508 3221221776 3221220400 134529418 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12449 11603 1111 63 0 12386 0 vsize: 49796 [startup+140.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 229858 0 0 0 13428 569 0 0 25 0 1 0 698259576 51367936 11680 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12541 11685 1111 63 0 12478 0 vsize: 50164 [startup+150.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 250213 0 0 0 14378 620 0 0 25 0 1 0 698259576 52973568 12090 4294967295 134512640 134714508 3221221776 3221220184 134543606 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12933 12090 1111 63 0 12870 0 vsize: 51732 [startup+160.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 267785 0 0 0 15334 663 0 0 25 0 1 0 698259576 54325248 12420 4294967295 134512640 134714508 3221221776 3221220284 134523848 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13263 12420 1111 63 0 13200 0 vsize: 53052 [startup+170.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 277227 0 0 0 16310 688 0 0 25 0 1 0 698259576 55758848 12741 4294967295 134512640 134714508 3221221776 3221220280 134543600 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13613 12741 1111 63 0 13550 0 vsize: 54452 [startup+180.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 280040 0 0 0 17304 694 0 0 25 0 1 0 698259576 56700928 12995 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13843 12995 1111 63 0 13780 0 vsize: 55372 [startup+190.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 283896 0 0 0 18295 703 0 0 25 0 1 0 698259576 57077760 13092 4294967295 134512640 134714508 3221221776 3221220448 134627231 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13935 13092 1111 63 0 13872 0 vsize: 55740 [startup+200.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 283896 0 0 0 19295 703 0 0 25 0 1 0 698259576 57077760 13092 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13935 13092 1111 63 0 13872 0 vsize: 55740 [startup+210.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 283896 0 0 0 20295 703 0 0 25 0 1 0 698259576 57077760 13092 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13935 13092 1111 63 0 13872 0 vsize: 55740 [startup+220.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 283896 0 0 0 21295 703 0 0 25 0 1 0 698259576 57077760 13092 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13935 13092 1111 63 0 13872 0 vsize: 55740 [startup+230.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 283896 0 0 0 22296 703 0 0 25 0 1 0 698259576 57077760 13092 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13935 13092 1111 63 0 13872 0 vsize: 55740 [startup+240.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 283896 0 0 0 23296 703 0 0 25 0 1 0 698259576 57077760 13092 4294967295 134512640 134714508 3221221776 3221220424 134558492 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13935 13092 1111 63 0 13872 0 vsize: 55740 [startup+250.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 283896 0 0 0 24296 703 0 0 25 0 1 0 698259576 57077760 13092 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13935 13092 1111 63 0 13872 0 vsize: 55740 [startup+260.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 297785 0 0 0 25266 733 0 0 25 0 1 0 698259576 114110464 26697 4294967295 134512640 134714508 3221221776 3221220096 1074153648 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27859 26697 1111 63 0 27796 0 vsize: 111436 [startup+270.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 303659 0 0 0 26251 747 0 0 25 0 1 0 698259576 121319424 28424 4294967295 134512640 134714508 3221221776 3221217936 1074883536 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29619 28424 1111 63 0 29556 0 vsize: 118476 [startup+280.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 304927 0 0 0 27248 751 0 0 25 0 1 0 698259576 120164352 28314 4294967295 134512640 134714508 3221221776 3221220088 1074138155 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29337 28314 1111 63 0 29274 0 vsize: 117348 [startup+290.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 307131 0 0 0 28242 757 0 0 25 0 1 0 698259576 122740736 28952 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29966 28952 1111 63 0 29903 0 vsize: 119864 [startup+300.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 309452 0 0 0 29236 764 0 0 25 0 1 0 698259576 123179008 28932 4294967295 134512640 134714508 3221221776 3221218048 1075169508 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30073 28932 1111 63 0 30010 0 vsize: 120292 [startup+310.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 311468 0 0 0 30230 769 0 0 25 0 1 0 698259576 123772928 29014 4294967295 134512640 134714508 3221221776 3221218112 1075113472 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30218 29014 1111 63 0 30155 0 vsize: 120872 [startup+320.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 313655 0 0 0 31225 775 0 0 25 0 1 0 698259576 122650624 28931 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29944 28931 1111 63 0 29881 0 vsize: 119776 [startup+330.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 316066 0 0 0 32219 781 0 0 25 0 1 0 698259576 122679296 28938 4294967295 134512640 134714508 3221221776 3221220088 1074138162 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29951 28938 1111 63 0 29888 0 vsize: 119804 [startup+340.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 318885 0 0 0 33211 789 0 0 25 0 1 0 698259576 123482112 29075 4294967295 134512640 134714508 3221221776 3221217968 1075115696 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30147 29076 1111 63 0 30084 0 vsize: 120588 [startup+350.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 322271 0 0 0 34204 797 0 0 25 0 1 0 698259576 122957824 28999 4294967295 134512640 134714508 3221221776 3221219992 1074138162 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30019 28999 1111 63 0 29956 0 vsize: 120076 [startup+360.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 324779 0 0 0 35196 804 0 0 25 0 1 0 698259576 123162624 29056 4294967295 134512640 134714508 3221221776 3221220160 1074153672 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30069 29056 1111 63 0 30006 0 vsize: 120276 [startup+370.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 327416 0 0 0 36190 811 0 0 25 0 1 0 698259576 123437056 29123 4294967295 134512640 134714508 3221221776 3221220152 1077410279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30136 29123 1111 63 0 30073 0 vsize: 120544 [startup+380.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 329297 0 0 0 37186 815 0 0 25 0 1 0 698259576 124424192 29186 4294967295 134512640 134714508 3221221776 3221218004 1075114975 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30377 29186 1111 63 0 30314 0 vsize: 121508 [startup+390.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 331438 0 0 0 38179 822 0 0 25 0 1 0 698259576 124530688 29214 4294967295 134512640 134714508 3221221776 3221218004 1075114984 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30403 29214 1111 63 0 30340 0 vsize: 121612 [startup+400.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 333421 0 0 0 39175 827 0 0 25 0 1 0 698259576 124268544 29275 4294967295 134512640 134714508 3221221776 3221218060 1076111494 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30339 29275 1111 63 0 30276 0 vsize: 121356 [startup+410.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 335308 0 0 0 40170 831 0 0 25 0 1 0 698259576 123932672 29244 4294967295 134512640 134714508 3221221776 3221220176 1074153800 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30257 29244 1111 63 0 30194 0 vsize: 121028 [startup+420.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 337697 0 0 0 41163 838 0 0 25 0 1 0 698259576 123932672 29244 4294967295 134512640 134714508 3221221776 3221220176 1074153766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30257 29244 1111 63 0 30194 0 vsize: 121028 [startup+430.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 339720 0 0 0 42157 844 0 0 25 0 1 0 698259576 124895232 29313 4294967295 134512640 134714508 3221221776 3221217920 1074970231 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30492 29313 1111 63 0 30429 0 vsize: 121968 [startup+440.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 341784 0 0 0 43152 850 0 0 25 0 1 0 698259576 124002304 29261 4294967295 134512640 134714508 3221221776 3221220088 1074138153 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30274 29261 1111 63 0 30211 0 vsize: 121096 [startup+450.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 343944 0 0 0 44147 855 0 0 25 0 1 0 698259576 125026304 29334 4294967295 134512640 134714508 3221221776 3221217924 1075964433 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30524 29334 1111 63 0 30461 0 vsize: 122096 [startup+460.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 345880 0 0 0 45142 860 0 0 25 0 1 0 698259576 125181952 29344 4294967295 134512640 134714508 3221221776 3221218352 1076049109 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30562 29344 1111 63 0 30499 0 vsize: 122248 [startup+470.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 347697 0 0 0 46138 865 0 0 25 0 1 0 698259576 124354560 29301 4294967295 134512640 134714508 3221221776 3221219600 1075823337 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30360 29301 1111 63 0 30297 0 vsize: 121440 [startup+480.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 349575 0 0 0 47133 870 0 0 25 0 1 0 698259576 125288448 29358 4294967295 134512640 134714508 3221221776 3221218016 1075115768 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30588 29358 1111 63 0 30525 0 vsize: 122352 [startup+490.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 351348 0 0 0 48129 874 0 0 25 0 1 0 698259576 124350464 29347 4294967295 134512640 134714508 3221221776 3221220088 1074138265 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30359 29347 1111 63 0 30296 0 vsize: 121436 [startup+500.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 353289 0 0 0 49124 880 0 0 25 0 1 0 698259576 124416000 29357 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30375 29357 1111 63 0 30312 0 vsize: 121500 [startup+510.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 355033 0 0 0 50120 883 0 0 25 0 1 0 698259576 124489728 29381 4294967295 134512640 134714508 3221221776 3221220160 1074153675 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30393 29381 1111 63 0 30330 0 vsize: 121572 [startup+520.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 356652 0 0 0 51117 887 0 0 25 0 1 0 698259576 126484480 29812 4294967295 134512640 134714508 3221221776 3221218216 1077410163 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30880 29812 1111 63 0 30817 0 vsize: 123520 [startup+530.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 358563 0 0 0 52112 892 0 0 25 0 1 0 698259576 124604416 29409 4294967295 134512640 134714508 3221221776 3221220176 1074153663 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30421 29409 1111 63 0 30358 0 vsize: 121684 [startup+540.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 360222 0 0 0 53107 897 0 0 25 0 1 0 698259576 124637184 29409 4294967295 134512640 134714508 3221221776 3221219520 1075640218 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30429 29409 1111 63 0 30366 0 vsize: 121716 [startup+550.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 362523 0 0 0 54100 904 0 0 25 0 1 0 698259576 124604416 29409 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30421 29409 1111 63 0 30358 0 vsize: 121684 [startup+560.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 364459 0 0 0 55096 909 0 0 25 0 1 0 698259576 124604416 29409 4294967295 134512640 134714508 3221221776 3221219740 1077411564 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30421 29409 1111 63 0 30358 0 vsize: 121684 [startup+570.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 366441 0 0 0 56089 915 0 0 25 0 1 0 698259576 125194240 29518 4294967295 134512640 134714508 3221221776 3221218064 1075114249 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30565 29518 1111 63 0 30502 0 vsize: 122260 [startup+580.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 367992 0 0 0 57086 919 0 0 25 0 1 0 698259576 124825600 29463 4294967295 134512640 134714508 3221221776 3221220176 1074153675 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30475 29463 1111 63 0 30412 0 vsize: 121900 [startup+590.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 369755 0 0 0 58082 923 0 0 25 0 1 0 698259576 124862464 29471 4294967295 134512640 134714508 3221221776 3221220056 1077410279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30484 29471 1111 63 0 30421 0 vsize: 121936 [startup+600.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 371467 0 0 0 59079 927 0 0 25 0 1 0 698259576 126164992 29574 4294967295 134512640 134714508 3221221776 3221217672 1074789631 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30802 29574 1111 63 0 30739 0 vsize: 123208 [startup+610.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 372881 0 0 0 60074 931 0 0 25 0 1 0 698259576 126017536 29549 4294967295 134512640 134714508 3221221776 3221217808 1075965258 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30766 29549 1111 63 0 30703 0 vsize: 123064 [startup+620.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 374243 0 0 0 61071 935 0 0 25 0 1 0 698259576 124973056 29499 4294967295 134512640 134714508 3221221776 3221220088 1074138144 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30511 29499 1111 63 0 30448 0 vsize: 122044 [startup+630.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 376100 0 0 0 62066 940 0 0 25 0 1 0 698259576 124973056 29499 4294967295 134512640 134714508 3221221776 3221220160 1074153663 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30511 29499 1111 63 0 30448 0 vsize: 122044 [startup+640.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 377994 0 0 0 63061 944 0 0 25 0 1 0 698259576 126472192 29683 4294967295 134512640 134714508 3221221776 3221218304 1075890974 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30877 29683 1111 63 0 30814 0 vsize: 123508 [startup+650.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 379701 0 0 0 64057 949 0 0 25 0 1 0 698259576 126181376 29593 4294967295 134512640 134714508 3221221776 3221218704 1075960460 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30806 29593 1111 63 0 30743 0 vsize: 123224 [startup+660.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 381292 0 0 0 65054 953 0 0 25 0 1 0 698259576 125718528 29573 4294967295 134512640 134714508 3221221776 3221218732 1074621117 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30693 29573 1111 63 0 30630 0 vsize: 122772 [startup+670.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 383074 0 0 0 66050 957 0 0 25 0 1 0 698259576 127426560 30013 4294967295 134512640 134714508 3221221776 3221218848 1074867340 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31110 30013 1111 63 0 31047 0 vsize: 124440 [startup+680.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 385295 0 0 0 67044 963 0 0 25 0 1 0 698259576 125300736 29542 4294967295 134512640 134714508 3221221776 3221219836 1074206191 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30591 29542 1111 63 0 30528 0 vsize: 122364 [startup+690.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 386975 0 0 0 68040 967 0 0 25 0 1 0 698259576 125620224 29581 4294967295 134512640 134714508 3221221776 3221219600 1075823601 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30669 29581 1111 63 0 30606 0 vsize: 122676 [startup+700.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 388858 0 0 0 69035 972 0 0 25 0 1 0 698259576 126660608 29664 4294967295 134512640 134714508 3221221776 3221217656 1074788336 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30923 29664 1111 63 0 30860 0 vsize: 123692 [startup+710.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 390515 0 0 0 70031 976 0 0 25 0 1 0 698259576 126816256 29690 4294967295 134512640 134714508 3221221776 3221218096 1075170422 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30961 29694 1111 63 0 30898 0 vsize: 123844 [startup+720.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 392003 0 0 0 71026 981 0 0 25 0 1 0 698259576 125558784 29642 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30654 29642 1111 63 0 30591 0 vsize: 122616 [startup+730.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 394026 0 0 0 72021 987 0 0 25 0 1 0 698259576 127836160 29990 4294967295 134512640 134714508 3221221776 3221217868 1075663518 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31210 29991 1111 63 0 31147 0 vsize: 124840 [startup+740.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 396426 0 0 0 73015 993 0 0 25 0 1 0 698259576 126009344 29752 4294967295 134512640 134714508 3221221776 3221219600 1074153675 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30764 29752 1111 63 0 30701 0 vsize: 123056 [startup+750.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 398045 0 0 0 74012 996 0 0 25 0 1 0 698259576 126152704 29754 4294967295 134512640 134714508 3221221776 3221219504 1075828224 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30799 29754 1111 63 0 30736 0 vsize: 123196 [startup+760.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 400309 0 0 0 75007 1001 0 0 25 0 1 0 698259576 127475712 30059 4294967295 134512640 134714508 3221221776 3221218000 1074960903 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31122 30059 1111 63 0 31059 0 vsize: 124488 [startup+770.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 402365 0 0 0 76002 1007 0 0 25 0 1 0 698259576 127508480 29907 4294967295 134512640 134714508 3221221776 3221218432 1075967941 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31130 29907 1111 63 0 31067 0 vsize: 124520 [startup+780.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 403942 0 0 0 76998 1011 0 0 25 0 1 0 698259576 125972480 29743 4294967295 134512640 134714508 3221221776 3221220580 134622157 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30755 29743 1111 63 0 30692 0 vsize: 123020 [startup+790.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 405407 0 0 0 77995 1014 0 0 25 0 1 0 698259576 126066688 29737 4294967295 134512640 134714508 3221221776 3221220160 1074153663 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30778 29737 1111 63 0 30715 0 vsize: 123112 [startup+800.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 407833 0 0 0 78989 1020 0 0 25 0 1 0 698259576 126476288 29834 4294967295 134512640 134714508 3221221776 3221219776 1074913812 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30878 29834 1111 63 0 30815 0 vsize: 123512 [startup+810.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 409975 0 0 0 79984 1025 0 0 25 0 1 0 698259576 126349312 29835 4294967295 134512640 134714508 3221221776 3221220080 1074153663 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30847 29835 1111 63 0 30784 0 vsize: 123388 [startup+820.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 411512 0 0 0 80980 1030 0 0 25 0 1 0 698259576 127799296 29941 4294967295 134512640 134714508 3221221776 3221218696 1074950114 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31201 29941 1111 63 0 31138 0 vsize: 124804 [startup+830.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 412686 0 0 0 81977 1033 0 0 25 0 1 0 698259576 126443520 29858 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30870 29858 1111 63 0 30807 0 vsize: 123480 [startup+840.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 414594 0 0 0 82972 1038 0 0 25 0 1 0 698259576 127016960 29942 4294967295 134512640 134714508 3221221776 3221217660 1074788143 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31010 29942 1111 63 0 30947 0 vsize: 124040 [startup+850.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 416237 0 0 0 83969 1042 0 0 25 0 1 0 698259576 127275008 29850 4294967295 134512640 134714508 3221221776 3221217904 1075561094 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31073 29850 1111 63 0 31010 0 vsize: 124292 [startup+860.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 418013 0 0 0 84965 1046 0 0 25 0 1 0 698259576 127479808 29870 4294967295 134512640 134714508 3221221776 3221217724 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31123 29870 1111 63 0 31060 0 vsize: 124492 [startup+870.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 419583 0 0 0 85961 1050 0 0 25 0 1 0 698259576 127479808 29867 4294967295 134512640 134714508 3221221776 3221218432 1075967398 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31123 29867 1111 63 0 31060 0 vsize: 124492 [startup+880.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 421293 0 0 0 86957 1054 0 0 25 0 1 0 698259576 127479808 29878 4294967295 134512640 134714508 3221221776 3221218704 1075960372 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31123 29878 1111 63 0 31060 0 vsize: 124492 [startup+890.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 422768 0 0 0 87954 1057 0 0 25 0 1 0 698259576 126300160 29824 4294967295 134512640 134714508 3221221776 3221220072 1074138144 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30835 29824 1111 63 0 30772 0 vsize: 123340 [startup+900.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 425044 0 0 0 88948 1063 0 0 25 0 1 0 698259576 126300160 29824 4294967295 134512640 134714508 3221221776 3221220032 1074153815 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30835 29824 1111 63 0 30772 0 vsize: 123340 [startup+910.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 426774 0 0 0 89944 1067 0 0 25 0 1 0 698259576 126300160 29824 4294967295 134512640 134714508 3221221776 3221220176 1074153815 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30835 29824 1111 63 0 30772 0 vsize: 123340 [startup+920.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 428461 0 0 0 90940 1071 0 0 25 0 1 0 698259576 126799872 29922 4294967295 134512640 134714508 3221221776 3221220160 1074153792 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30957 29922 1111 63 0 30894 0 vsize: 123828 [startup+930.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 430020 0 0 0 91938 1074 0 0 25 0 1 0 698259576 128249856 29975 4294967295 134512640 134714508 3221221776 3221217996 1075116722 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31311 29975 1111 63 0 31248 0 vsize: 125244 [startup+940.037 s] Raw data (loadavg): 0.99 0.97 0.91 3/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 431400 0 0 0 92934 1078 0 0 25 0 1 0 698259576 128237568 29970 4294967295 134512640 134714508 3221221776 3221218820 1074846160 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31308 29970 1111 63 0 31245 0 vsize: 125232 [startup+950.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 433023 0 0 0 93930 1082 0 0 25 0 1 0 698259576 127959040 29880 4294967295 134512640 134714508 3221221776 3221217980 1075564269 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31240 29880 1111 63 0 31177 0 vsize: 124960 [startup+960.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 434826 0 0 0 94924 1088 0 0 25 0 1 0 698259576 126332928 29826 4294967295 134512640 134714508 3221221776 3221220352 134650321 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30843 29826 1111 63 0 30780 0 vsize: 123372 [startup+970.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 436680 0 0 0 95919 1094 0 0 25 0 1 0 698259576 127356928 29885 4294967295 134512640 134714508 3221221776 3221217956 1075115073 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31093 29885 1111 63 0 31030 0 vsize: 124372 [startup+980.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 438985 0 0 0 96912 1100 0 0 25 0 1 0 698259576 126558208 29888 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30898 29888 1111 63 0 30835 0 vsize: 123592 [startup+990.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 440582 0 0 0 97908 1104 0 0 25 0 1 0 698259576 126898176 29940 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30981 29940 1111 63 0 30918 0 vsize: 123924 [startup+1000.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 442464 0 0 0 98904 1109 0 0 25 0 1 0 698259576 126689280 29920 4294967295 134512640 134714508 3221221776 3221220176 1074153672 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30930 29920 1111 63 0 30867 0 vsize: 123720 [startup+1010.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 444278 0 0 0 99899 1114 0 0 25 0 1 0 698259576 128008192 30068 4294967295 134512640 134714508 3221221776 3221217932 1074788968 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31252 30068 1111 63 0 31189 0 vsize: 125008 [startup+1020.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 446489 0 0 0 100893 1120 0 0 25 0 1 0 698259576 126631936 29906 4294967295 134512640 134714508 3221221776 3221220160 1074153648 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30916 29906 1111 63 0 30853 0 vsize: 123664 [startup+1030.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 449023 0 0 0 101887 1126 0 0 25 0 1 0 698259576 128143360 29900 4294967295 134512640 134714508 3221221776 3221217868 1075663518 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31285 29900 1111 63 0 31222 0 vsize: 125140 [startup+1040.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 451916 0 0 0 102880 1134 0 0 25 0 1 0 698259576 126672896 29909 4294967295 134512640 134714508 3221221776 3221219776 1074140578 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30926 29909 1111 63 0 30863 0 vsize: 123704 [startup+1050.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 454781 0 0 0 103873 1140 0 0 25 0 1 0 698259576 128372736 29969 4294967295 134512640 134714508 3221221776 3221218304 1075119993 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31341 29970 1111 63 0 31278 0 vsize: 125364 [startup+1060.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 457249 0 0 0 104868 1146 0 0 25 0 1 0 698259576 126844928 29950 4294967295 134512640 134714508 3221221776 3221220056 1077410279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30968 29950 1111 63 0 30905 0 vsize: 123872 [startup+1070.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 459214 0 0 0 105864 1150 0 0 25 0 1 0 698259576 126836736 29949 4294967295 134512640 134714508 3221221776 3221219776 1074917882 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30966 29949 1111 63 0 30903 0 vsize: 123864 [startup+1080.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 462721 0 0 0 106855 1159 0 0 25 0 1 0 698259576 126803968 29948 4294967295 134512640 134714508 3221221776 3221220080 1074153640 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30958 29948 1111 63 0 30895 0 vsize: 123832 [startup+1090.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 466625 0 0 0 107845 1169 0 0 25 0 1 0 698259576 126803968 29950 4294967295 134512640 134714508 3221221776 3221220176 1074153822 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30958 29950 1111 63 0 30895 0 vsize: 123832 [startup+1100.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 469055 0 0 0 108839 1176 0 0 25 0 1 0 698259576 126877696 29961 4294967295 134512640 134714508 3221221776 3221218880 1074138752 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30976 29961 1111 63 0 30913 0 vsize: 123904 [startup+1110.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 470965 0 0 0 109835 1180 0 0 25 0 1 0 698259576 128462848 29999 4294967295 134512640 134714508 3221221776 3221218016 1075088573 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31363 29999 1111 63 0 31300 0 vsize: 125452 [startup+1120.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 472835 0 0 0 110830 1185 0 0 25 0 1 0 698259576 126803968 29950 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30958 29950 1111 63 0 30895 0 vsize: 123832 [startup+1130.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 474948 0 0 0 111825 1190 0 0 25 0 1 0 698259576 127000576 29973 4294967295 134512640 134714508 3221221776 3221220160 1074153672 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31006 29973 1111 63 0 30943 0 vsize: 124024 [startup+1140.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 476818 0 0 0 112819 1196 0 0 25 0 1 0 698259576 127000576 29993 4294967295 134512640 134714508 3221221776 3221220080 1074153779 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31006 29993 1111 63 0 30943 0 vsize: 124024 [startup+1150.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 478675 0 0 0 113814 1201 0 0 25 0 1 0 698259576 127909888 30030 4294967295 134512640 134714508 3221221776 3221217856 1075112100 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31228 30030 1111 63 0 31165 0 vsize: 124912 [startup+1160.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 480827 0 0 0 114809 1207 0 0 25 0 1 0 698259576 128659456 30031 4294967295 134512640 134714508 3221221776 3221217868 1075663518 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31411 30032 1111 63 0 31348 0 vsize: 125644 [startup+1170.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 482871 0 0 0 115804 1212 0 0 25 0 1 0 698259576 127111168 30013 4294967295 134512640 134714508 3221221776 3221220080 1074115334 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31033 30013 1111 63 0 30970 0 vsize: 124132 [startup+1175.34 s] Raw data (loadavg): 0.99 0.97 0.91 1/53 25162 Raw data (stat): 25162 (bsolo_lpr_cuts) R 25161 7876 7672 0 -1 0 482871 0 0 0 115804 1212 0 0 25 0 1 0 698259576 127111168 30013 4294967295 134512640 134714508 3221221776 3221220080 1074115334 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31033 30013 1111 63 0 30970 0 vsize: 0 Child status: 0 Real time (s): 1175.34 CPU time (s): 1175.47 CPU user time (s): 1163.25 CPU system time (s): 12.2141 CPU usage (%): 100.011 Max. virtual memory (Kb): 125644 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####