Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp98ar.opb |
MD5SUM | 9565d6b3010c78b37c39352cc9731cb7 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2147483647 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 15085 |
Biggest coefficient in the objective function | 504328818 |
Number of bits for the biggest coefficient in the objective function | 29 |
Sum of the numbers in the objective function | 2067304124713 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 504328818 |
Number of bits of the biggest number in a constraint | 29 |
Biggest sum of numbers in a constraint | 2067304124713 |
Number of bits of the biggest sum of numbers | 41 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 14.4348 |
Number of variables | 15085 |
Total number of constraints | 16520 |
Number of constraints which are clauses | 181 |
Number of constraints which are cardinality constraints (but not clauses) | 15927 |
Number of constraints which are nor clauses,nor cardinality constraints | 412 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 4222 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-17 08:13:17 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20256 boxname=wulflinc31 idbench=1559 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 9565d6b3010c78b37c39352cc9731cb7 /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sp98ar.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sp98ar.opb IDLAUNCH: 20256 /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: 718408 kB Buffers: 17784 kB Cached: 269972 kB SwapCached: 1040 kB Active: 78816 kB Inactive: 217040 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 718156 kB SwapTotal: 2097892 kB SwapFree: 2096060 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5380 kB Slab: 14612 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-17 08:33:20 (client local time) WITH STATUS 0 IN 1200.32 SECONDS stats: 20256 7 1200.32 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 15085 variables and 1430 constraints. c After prepocess the problem consists of 15076 variables and 1368 constraints. c preprocess terminated 676.177 s c Initial Lower Bound: -2147483648 c Lower Bound Elapsed time: 40.0343 c Not use computed LB before first solution. c NEW SOLUTION FOUND: -2011398412 @ 807.11 c NEW SOLUTION FOUND: -2147483648 @ 807.263 #### 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.97 2/55 24347 Raw data (stat): 24347 (runsolver) R 24346 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 768201869 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.0003 s] Raw data (loadavg): 0.94 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 16587 0 0 0 961 34 0 0 25 0 1 0 768201869 80740352 16510 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19712 16510 1111 63 0 19649 0 vsize: 78848 [startup+20.0005 s] Raw data (loadavg): 0.95 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 34321 0 0 0 1924 71 0 0 25 0 1 0 768201869 153423872 34244 4294967295 134512640 134714508 3221221776 3221220128 134567410 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 37457 34247 1111 63 0 37394 0 vsize: 149828 [startup+30.001 s] Raw data (loadavg): 0.95 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 51239 0 0 0 2894 101 0 0 25 0 1 0 768201869 222851072 51162 4294967295 134512640 134714508 3221221776 3221219984 1076999581 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54407 51162 1111 63 0 54344 0 vsize: 217628 [startup+40.001 s] Raw data (loadavg): 0.96 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 68722 0 0 0 3861 135 0 0 25 0 1 0 768201869 294363136 68645 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 71866 68645 1111 63 0 71803 0 vsize: 287464 [startup+50.0022 s] Raw data (loadavg): 0.97 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 85806 0 0 0 4832 164 0 0 25 0 1 0 768201869 364392448 85729 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 88963 85729 1111 63 0 88900 0 vsize: 355852 [startup+60.0019 s] Raw data (loadavg): 0.97 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 92941 0 0 0 5819 177 0 0 25 0 1 0 768201869 393560064 92864 4294967295 134512640 134714508 3221221776 3221218316 1077090849 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96084 92864 1111 63 0 96021 0 vsize: 384336 [startup+70.0018 s] Raw data (loadavg): 0.97 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 93639 0 0 0 6816 179 0 0 25 0 1 0 768201869 396435456 93562 4294967295 134512640 134714508 3221221776 3221219436 1077244511 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 96786 93562 1111 63 0 96723 0 vsize: 387144 [startup+80.0029 s] Raw data (loadavg): 0.98 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 94272 0 0 0 7814 181 0 0 25 0 1 0 768201869 399192064 94193 4294967295 134512640 134714508 3221221776 3221220052 1077414385 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 97459 94193 1111 63 0 97396 0 vsize: 389836 [startup+90.0026 s] Raw data (loadavg): 0.98 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 95035 0 0 0 8812 184 0 0 25 0 1 0 768201869 402329600 94956 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 98225 94956 1111 63 0 98162 0 vsize: 392900 [startup+100.003 s] Raw data (loadavg): 0.98 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 95843 0 0 0 9809 186 0 0 25 0 1 0 768201869 405733376 95764 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 99056 95764 1111 63 0 98993 0 vsize: 396224 [startup+110.003 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 96743 0 0 0 10806 189 0 0 25 0 1 0 768201869 409411584 96664 4294967295 134512640 134714508 3221221776 3221220264 1077378037 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 99954 96664 1111 63 0 99891 0 vsize: 399816 [startup+120.003 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 97582 0 0 0 11805 191 0 0 25 0 1 0 768201869 412958720 97503 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 100820 97503 1111 63 0 100757 0 vsize: 403280 [startup+130.003 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 98408 0 0 0 12802 194 0 0 25 0 1 0 768201869 416362496 98329 4294967295 134512640 134714508 3221221776 3221220052 1077414349 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 101651 98329 1111 63 0 101588 0 vsize: 406604 [startup+140.004 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 99228 0 0 0 13800 196 0 0 25 0 1 0 768201869 419766272 99149 4294967295 134512640 134714508 3221221776 3221220052 1077414345 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 102482 99149 1111 63 0 102419 0 vsize: 409928 [startup+150.004 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 99977 0 0 0 14798 198 0 0 25 0 1 0 768201869 422887424 99898 4294967295 134512640 134714508 3221221776 3221220064 134566780 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 103244 99898 1111 63 0 103181 0 vsize: 412976 [startup+160.004 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 101419 0 0 0 15794 201 0 0 25 0 1 0 768201869 419172352 101258 4294967295 134512640 134714508 3221221776 3221220256 134543110 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 102337 101258 1111 63 0 102274 0 vsize: 409348 [startup+170.005 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 101468 0 0 0 16794 201 0 0 25 0 1 0 768201869 419307520 101307 4294967295 134512640 134714508 3221221776 3221220244 134543025 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 102370 101308 1111 63 0 102307 0 vsize: 409480 [startup+180.005 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 101514 0 0 0 17794 201 0 0 25 0 1 0 768201869 419577856 101353 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 102436 101353 1111 63 0 102373 0 vsize: 409744 [startup+190.005 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 101566 0 0 0 18794 201 0 0 25 0 1 0 768201869 419713024 101405 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 102469 101405 1111 63 0 102406 0 vsize: 409876 [startup+200.005 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 101671 0 0 0 19794 201 0 0 25 0 1 0 768201869 420118528 101510 4294967295 134512640 134714508 3221221776 3221220256 134543110 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 102568 101510 1111 63 0 102505 0 vsize: 410272 [startup+210.005 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 101727 0 0 0 20794 201 0 0 25 0 1 0 768201869 420388864 101566 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 102634 101566 1111 63 0 102571 0 vsize: 410536 [startup+220.005 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 101789 0 0 0 21794 202 0 0 25 0 1 0 768201869 420659200 101628 4294967295 134512640 134714508 3221221776 3221220220 134535895 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 102700 101628 1111 63 0 102637 0 vsize: 410800 [startup+230.005 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 101839 0 0 0 22794 202 0 0 25 0 1 0 768201869 420794368 101678 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 102733 101678 1111 63 0 102670 0 vsize: 410932 [startup+240.006 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 101898 0 0 0 23794 202 0 0 25 0 1 0 768201869 421064704 101737 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 102799 101737 1111 63 0 102736 0 vsize: 411196 [startup+250.007 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 101951 0 0 0 24794 202 0 0 25 0 1 0 768201869 421335040 101790 4294967295 134512640 134714508 3221221776 3221220228 134536752 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 102865 101790 1111 63 0 102802 0 vsize: 411460 [startup+260.007 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 102011 0 0 0 25794 202 0 0 25 0 1 0 768201869 421605376 101850 4294967295 134512640 134714508 3221221776 3221220220 134535956 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 102931 101850 1111 63 0 102868 0 vsize: 411724 [startup+270.007 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 102077 0 0 0 26794 202 0 0 25 0 1 0 768201869 421875712 101916 4294967295 134512640 134714508 3221221776 3221220256 134536635 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 102997 101916 1111 63 0 102934 0 vsize: 411988 [startup+280.007 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 102132 0 0 0 27794 203 0 0 25 0 1 0 768201869 422010880 101971 4294967295 134512640 134714508 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 103030 101971 1111 63 0 102967 0 vsize: 412120 [startup+290.008 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 102198 0 0 0 28794 203 0 0 25 0 1 0 768201869 422281216 102037 4294967295 134512640 134714508 3221221776 3221220220 134536814 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 103096 102037 1111 63 0 103033 0 vsize: 412384 [startup+300.008 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 102261 0 0 0 29794 203 0 0 25 0 1 0 768201869 422555648 102100 4294967295 134512640 134714508 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 103163 102100 1111 63 0 103100 0 vsize: 412652 [startup+310.008 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 102307 0 0 0 30794 203 0 0 25 0 1 0 768201869 422825984 102146 4294967295 134512640 134714508 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 103229 102146 1111 63 0 103166 0 vsize: 412916 [startup+320.008 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 102362 0 0 0 31794 204 0 0 25 0 1 0 768201869 422961152 102201 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 103262 102201 1111 63 0 103199 0 vsize: 413048 [startup+330.009 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 102423 0 0 0 32794 204 0 0 25 0 1 0 768201869 423231488 102262 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 103328 102262 1111 63 0 103265 0 vsize: 413312 [startup+340.009 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 102465 0 0 0 33794 204 0 0 25 0 1 0 768201869 423366656 102304 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 103361 102304 1111 63 0 103298 0 vsize: 413444 [startup+350.009 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 102530 0 0 0 34794 204 0 0 25 0 1 0 768201869 423636992 102369 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 103427 102369 1111 63 0 103364 0 vsize: 413708 [startup+360.01 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 102575 0 0 0 35794 204 0 0 25 0 1 0 768201869 423907328 102414 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 103493 102414 1111 63 0 103430 0 vsize: 413972 [startup+370.01 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 102627 0 0 0 36794 205 0 0 25 0 1 0 768201869 424042496 102466 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 103526 102466 1111 63 0 103463 0 vsize: 414104 [startup+380.01 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 102695 0 0 0 37794 205 0 0 25 0 1 0 768201869 424312832 102534 4294967295 134512640 134714508 3221221776 3221220220 134536839 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 103592 102534 1111 63 0 103529 0 vsize: 414368 [startup+390.011 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 102750 0 0 0 38794 205 0 0 25 0 1 0 768201869 424583168 102589 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 103658 102589 1111 63 0 103595 0 vsize: 414632 [startup+400.012 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 102807 0 0 0 39794 205 0 0 25 0 1 0 768201869 424853504 102646 4294967295 134512640 134714508 3221221776 3221220220 134536817 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 103724 102646 1111 63 0 103661 0 vsize: 414896 [startup+410.012 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 102871 0 0 0 40794 205 0 0 25 0 1 0 768201869 425123840 102710 4294967295 134512640 134714508 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 103790 102710 1111 63 0 103727 0 vsize: 415160 [startup+420.013 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 102923 0 0 0 41794 205 0 0 25 0 1 0 768201869 425259008 102762 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 103823 102762 1111 63 0 103760 0 vsize: 415292 [startup+430.013 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 102975 0 0 0 42794 206 0 0 25 0 1 0 768201869 425529344 102814 4294967295 134512640 134714508 3221221776 3221220256 134542368 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 103889 102814 1111 63 0 103826 0 vsize: 415556 [startup+440.014 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 103032 0 0 0 43794 206 0 0 25 0 1 0 768201869 425664512 102871 4294967295 134512640 134714508 3221221776 3221220244 134543092 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 103922 102871 1111 63 0 103859 0 vsize: 415688 [startup+450.014 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 103104 0 0 0 44794 206 0 0 25 0 1 0 768201869 426070016 102943 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 104021 102943 1111 63 0 103958 0 vsize: 416084 [startup+460.015 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 103160 0 0 0 45794 207 0 0 25 0 1 0 768201869 426205184 102999 4294967295 134512640 134714508 3221221776 3221220220 134535956 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 104054 102999 1111 63 0 103991 0 vsize: 416216 [startup+470.015 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 103223 0 0 0 46794 207 0 0 25 0 1 0 768201869 426479616 103062 4294967295 134512640 134714508 3221221776 3221220220 134536817 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 104121 103062 1111 63 0 104058 0 vsize: 416484 [startup+480.016 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 103317 0 0 0 47794 207 0 0 25 0 1 0 768201869 426885120 103156 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 104220 103156 1111 63 0 104157 0 vsize: 416880 [startup+490.017 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 103427 0 0 0 48794 207 0 0 25 0 1 0 768201869 427290624 103266 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 104319 103266 1111 63 0 104256 0 vsize: 417276 [startup+500.017 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 103517 0 0 0 49793 208 0 0 25 0 1 0 768201869 427696128 103356 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 104418 103356 1111 63 0 104355 0 vsize: 417672 [startup+510.017 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 103570 0 0 0 50793 208 0 0 25 0 1 0 768201869 427831296 103409 4294967295 134512640 134714508 3221221776 3221220220 134536817 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 104451 103409 1111 63 0 104388 0 vsize: 417804 [startup+520.017 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 103615 0 0 0 51793 208 0 0 25 0 1 0 768201869 428101632 103454 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 104517 103454 1111 63 0 104454 0 vsize: 418068 [startup+530.017 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 103664 0 0 0 52793 208 0 0 25 0 1 0 768201869 428236800 103503 4294967295 134512640 134714508 3221221776 3221220220 134536817 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 104550 103503 1111 63 0 104487 0 vsize: 418200 [startup+540.018 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 103710 0 0 0 53793 208 0 0 25 0 1 0 768201869 428507136 103549 4294967295 134512640 134714508 3221221776 3221220220 134536817 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 104616 103549 1111 63 0 104553 0 vsize: 418464 [startup+550.018 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 103757 0 0 0 54793 209 0 0 25 0 1 0 768201869 428642304 103596 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 104649 103596 1111 63 0 104586 0 vsize: 418596 [startup+560.019 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 103816 0 0 0 55793 209 0 0 25 0 1 0 768201869 428912640 103655 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 104715 103655 1111 63 0 104652 0 vsize: 418860 [startup+570.019 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 103869 0 0 0 56793 209 0 0 25 0 1 0 768201869 429047808 103708 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 104748 103708 1111 63 0 104685 0 vsize: 418992 [startup+580.019 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 103953 0 0 0 57794 209 0 0 25 0 1 0 768201869 429453312 103792 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 104847 103792 1111 63 0 104784 0 vsize: 419388 [startup+590.02 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 104024 0 0 0 58793 209 0 0 25 0 1 0 768201869 429723648 103863 4294967295 134512640 134714508 3221221776 3221220220 134536817 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 104913 103863 1111 63 0 104850 0 vsize: 419652 [startup+600.02 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 104083 0 0 0 59794 209 0 0 25 0 1 0 768201869 429993984 103922 4294967295 134512640 134714508 3221221776 3221220220 134536817 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 104979 103922 1111 63 0 104916 0 vsize: 419916 [startup+610.02 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 104155 0 0 0 60793 210 0 0 25 0 1 0 768201869 430264320 103994 4294967295 134512640 134714508 3221221776 3221220220 134535952 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 105045 103994 1111 63 0 104982 0 vsize: 420180 [startup+620.02 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 104250 0 0 0 61794 210 0 0 25 0 1 0 768201869 430669824 104089 4294967295 134512640 134714508 3221221776 3221220448 134627241 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 105144 104089 1111 63 0 105081 0 vsize: 420576 [startup+630.021 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 104252 0 0 0 62794 210 0 0 25 0 1 0 768201869 430669824 104091 4294967295 134512640 134714508 3221221776 3221220424 134558485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 105144 104091 1111 63 0 105081 0 vsize: 420576 [startup+640.021 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 104256 0 0 0 63794 210 0 0 25 0 1 0 768201869 430669824 104095 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 105144 104095 1111 63 0 105081 0 vsize: 420576 [startup+650.022 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 104258 0 0 0 64794 210 0 0 25 0 1 0 768201869 430669824 104097 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 105144 104097 1111 63 0 105081 0 vsize: 420576 [startup+660.023 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 104261 0 0 0 65794 210 0 0 25 0 1 0 768201869 430669824 104100 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 105144 104100 1111 63 0 105081 0 vsize: 420576 [startup+670.023 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 104267 0 0 0 66794 210 0 0 25 0 1 0 768201869 430669824 104106 4294967295 134512640 134714508 3221221776 3221220420 134630885 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 105144 104106 1111 63 0 105081 0 vsize: 420576 [startup+680.024 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 105887 0 0 0 67790 214 0 0 25 0 1 0 768201869 437329920 105701 4294967295 134512640 134714508 3221221776 3221219808 1074153760 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 106770 105701 1111 63 0 106707 0 vsize: 427080 [startup+690.025 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 106120 0 0 0 68788 216 0 0 25 0 1 0 768201869 438284288 105934 4294967295 134512640 134714508 3221221776 3221219808 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 107003 105934 1111 63 0 106940 0 vsize: 428012 [startup+700.025 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 106152 0 0 0 69788 216 0 0 25 0 1 0 768201869 438415360 105966 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 107035 105966 1111 63 0 106972 0 vsize: 428140 [startup+710.027 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 106184 0 0 0 70788 216 0 0 25 0 1 0 768201869 438538240 105998 4294967295 134512640 134714508 3221221776 3221219808 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 107065 105998 1111 63 0 107002 0 vsize: 428260 [startup+720.028 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 112933 0 0 0 71774 230 0 0 25 0 1 0 768201869 450138112 108815 4294967295 134512640 134714508 3221221776 3221218616 1074950102 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 109897 108815 1111 63 0 109834 0 vsize: 439588 [startup+730.028 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 112938 0 0 0 72774 230 0 0 25 0 1 0 768201869 450138112 108820 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 109897 108820 1111 63 0 109834 0 vsize: 439588 [startup+740.028 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 118568 0 0 0 73761 243 0 0 25 0 1 0 768201869 439992320 106513 4294967295 134512640 134714508 3221221776 3221220200 134543187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 107420 106513 1111 63 0 107357 0 vsize: 429680 [startup+750.029 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 119541 0 0 0 74760 245 0 0 25 0 1 0 768201869 441077760 106778 4294967295 134512640 134714508 3221221776 3221220204 134558493 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 107685 106778 1111 63 0 107622 0 vsize: 430740 [startup+760.029 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 126637 0 0 0 75742 262 0 0 25 0 1 0 768201869 452571136 109437 4294967295 134512640 134714508 3221221776 3221217768 1074950215 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 110491 109437 1111 63 0 110428 0 vsize: 441964 [startup+770.029 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 131843 0 0 0 76730 274 0 0 25 0 1 0 768201869 442224640 107058 4294967295 134512640 134714508 3221221776 3221220200 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 107965 107058 1111 63 0 107902 0 vsize: 431860 [startup+780.03 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 131843 0 0 0 77730 275 0 0 25 0 1 0 768201869 442224640 107058 4294967295 134512640 134714508 3221221776 3221220200 134543179 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 107965 107058 1111 63 0 107902 0 vsize: 431860 [startup+790.03 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 131843 0 0 0 78730 275 0 0 25 0 1 0 768201869 442224640 107058 4294967295 134512640 134714508 3221221776 3221219848 1074950102 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 107965 107058 1111 63 0 107902 0 vsize: 431860 [startup+800.031 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 143485 0 0 0 79705 299 0 0 25 0 1 0 768201869 442114048 107031 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 107938 107031 1111 63 0 107875 0 vsize: 431752 [startup+810.032 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 152904 0 0 0 80682 322 0 0 25 0 1 0 768201869 437211136 105835 4294967295 134512640 134714508 3221221776 3221219560 1077410163 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 106741 105835 1111 63 0 106678 0 vsize: 426964 [startup+820.031 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 179796 0 0 0 81624 381 0 0 25 0 1 0 768201869 438190080 105844 4294967295 134512640 134714508 3221221776 3221219504 1075828208 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 106980 105849 1111 63 0 106917 0 vsize: 427920 [startup+830.032 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 200307 0 0 0 82581 424 0 0 25 0 1 0 768201869 437235712 105835 4294967295 134512640 134714508 3221221776 3221220256 1074039475 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 106747 105835 1111 63 0 106684 0 vsize: 426988 [startup+840.032 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 217611 0 0 0 83545 460 0 0 25 0 1 0 768201869 437211136 105835 4294967295 134512640 134714508 3221221776 3221220128 1074142734 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 106741 105835 1111 63 0 106678 0 vsize: 426964 [startup+850.033 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 230451 0 0 0 84517 488 0 0 25 0 1 0 768201869 437235712 105835 4294967295 134512640 134714508 3221221776 3221220128 1074115298 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 106747 105835 1111 63 0 106684 0 vsize: 426988 [startup+860.033 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 241677 0 0 0 85493 512 0 0 25 0 1 0 768201869 437235712 105835 4294967295 134512640 134714508 3221221776 3221220160 1074153672 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 106747 105835 1111 63 0 106684 0 vsize: 426988 [startup+870.033 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 252232 0 0 0 86467 538 0 0 25 0 1 0 768201869 437211136 105835 4294967295 134512640 134714508 3221221776 3221219824 1074153792 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 106741 105835 1111 63 0 106678 0 vsize: 426964 [startup+880.033 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 262114 0 0 0 87443 563 0 0 25 0 1 0 768201869 438263808 105883 4294967295 134512640 134714508 3221221776 3221218760 1074831820 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 106998 105883 1111 63 0 106935 0 vsize: 427992 [startup+890.034 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 271649 0 0 0 88422 584 0 0 25 0 1 0 768201869 437235712 105835 4294967295 134512640 134714508 3221221776 3221220064 1074153660 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 106747 105835 1111 63 0 106684 0 vsize: 426988 [startup+900.034 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 280424 0 0 0 89401 605 0 0 25 0 1 0 768201869 438231040 105907 4294967295 134512640 134714508 3221221776 3221219744 1075961292 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 106990 105907 1111 63 0 106927 0 vsize: 427960 [startup+910.034 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 288735 0 0 0 90382 624 0 0 25 0 1 0 768201869 437235712 105841 4294967295 134512640 134714508 3221221776 3221219896 1077410279 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 106747 105841 1111 63 0 106684 0 vsize: 426988 [startup+920.034 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 296690 0 0 0 91364 643 0 0 25 0 1 0 768201869 437235712 105841 4294967295 134512640 134714508 3221221776 3221220248 1077799185 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 106747 105841 1111 63 0 106684 0 vsize: 426988 [startup+930.035 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 304521 0 0 0 92346 661 0 0 25 0 1 0 768201869 437235712 105835 4294967295 134512640 134714508 3221221776 3221219880 1074138150 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 106747 105835 1111 63 0 106684 0 vsize: 426988 [startup+940.035 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 311934 0 0 0 93331 676 0 0 25 0 1 0 768201869 437211136 105835 4294967295 134512640 134714508 3221221776 3221219704 1077377866 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 106741 105835 1111 63 0 106678 0 vsize: 426964 [startup+950.035 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 318928 0 0 0 94314 693 0 0 25 0 1 0 768201869 437235712 105835 4294967295 134512640 134714508 3221221776 3221219824 1074153794 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 106747 105835 1111 63 0 106684 0 vsize: 426988 [startup+960.035 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 326114 0 0 0 95299 709 0 0 25 0 1 0 768201869 437211136 105835 4294967295 134512640 134714508 3221221776 3221219800 1074138150 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 106741 105835 1111 63 0 106678 0 vsize: 426964 [startup+970.035 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 332781 0 0 0 96282 725 0 0 25 0 1 0 768201869 437235712 105841 4294967295 134512640 134714508 3221221776 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 106747 105841 1111 63 0 106684 0 vsize: 426988 [startup+980.036 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 339591 0 0 0 97266 742 0 0 25 0 1 0 768201869 437235712 105835 4294967295 134512640 134714508 3221221776 3221219984 1074153660 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 106747 105835 1111 63 0 106684 0 vsize: 426988 [startup+990.035 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 345983 0 0 0 98252 756 0 0 25 0 1 0 768201869 437235712 105841 4294967295 134512640 134714508 3221221776 3221219888 1074153672 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 106747 105841 1111 63 0 106684 0 vsize: 426988 [startup+1000.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 352442 0 0 0 99239 769 0 0 25 0 1 0 768201869 438247424 105907 4294967295 134512640 134714508 3221221776 3221219600 1075823340 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 106994 105907 1111 63 0 106931 0 vsize: 427976 [startup+1010.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 358799 0 0 0 100224 784 0 0 25 0 1 0 768201869 437235712 105841 4294967295 134512640 134714508 3221221776 3221220064 1074153792 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 106747 105841 1111 63 0 106684 0 vsize: 426988 [startup+1020.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 365163 0 0 0 101211 797 0 0 25 0 1 0 768201869 437235712 105835 4294967295 134512640 134714508 3221221776 3221219920 1074153812 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 106747 105835 1111 63 0 106684 0 vsize: 426988 [startup+1030.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 370907 0 0 0 102197 811 0 0 25 0 1 0 768201869 437235712 105841 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 106747 105841 1111 63 0 106684 0 vsize: 426988 [startup+1040.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 376748 0 0 0 103184 824 0 0 25 0 1 0 768201869 437235712 105841 4294967295 134512640 134714508 3221221776 3221220128 1074153749 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 106747 105841 1111 63 0 106684 0 vsize: 426988 [startup+1050.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 382813 0 0 0 104169 840 0 0 25 0 1 0 768201869 437235712 105841 4294967295 134512640 134714508 3221221776 3221220128 1074153749 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 106747 105841 1111 63 0 106684 0 vsize: 426988 [startup+1060.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 388802 0 0 0 105157 852 0 0 25 0 1 0 768201869 437235712 105835 4294967295 134512640 134714508 3221221776 3221219784 1074138162 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 106747 105835 1111 63 0 106684 0 vsize: 426988 [startup+1070.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 394241 0 0 0 106143 866 0 0 25 0 1 0 768201869 437235712 105841 4294967295 134512640 134714508 3221221776 3221220128 1074153648 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 106747 105841 1111 63 0 106684 0 vsize: 426988 [startup+1080.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 400072 0 0 0 107129 880 0 0 25 0 1 0 768201869 437768192 105952 4294967295 134512640 134714508 3221221776 3221220176 1074118815 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 106877 105952 1111 63 0 106814 0 vsize: 427508 [startup+1090.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 405815 0 0 0 108114 896 0 0 25 0 1 0 768201869 437538816 105845 4294967295 134512640 134714508 3221221776 3221219120 1074839021 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 106821 105845 1111 63 0 106758 0 vsize: 427284 [startup+1100.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 411308 0 0 0 109100 909 0 0 25 0 1 0 768201869 438247424 105907 4294967295 134512640 134714508 3221221776 3221219600 1075823363 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 106994 105907 1111 63 0 106931 0 vsize: 427976 [startup+1110.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 417022 0 0 0 110089 921 0 0 25 0 1 0 768201869 437235712 105841 4294967295 134512640 134714508 3221221776 3221220128 1074153648 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 106747 105841 1111 63 0 106684 0 vsize: 426988 [startup+1120.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 422688 0 0 0 111076 934 0 0 25 0 1 0 768201869 438317056 105910 4294967295 134512640 134714508 3221221776 3221218696 1074950099 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 107011 105910 1111 63 0 106948 0 vsize: 428044 [startup+1130.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 428450 0 0 0 112062 948 0 0 25 0 1 0 768201869 437211136 105835 4294967295 134512640 134714508 3221221776 3221220040 1074138150 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 106741 105835 1111 63 0 106678 0 vsize: 426964 [startup+1140.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 433736 0 0 0 113049 961 0 0 25 0 1 0 768201869 437338112 105866 4294967295 134512640 134714508 3221221776 3221220028 1077411564 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 106772 105866 1111 63 0 106709 0 vsize: 427088 [startup+1150.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 438850 0 0 0 114037 974 0 0 25 0 1 0 768201869 437260288 105847 4294967295 134512640 134714508 3221221776 3221219824 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 106753 105847 1111 63 0 106690 0 vsize: 427012 [startup+1160.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 444266 0 0 0 115026 985 0 0 25 0 1 0 768201869 437235712 105841 4294967295 134512640 134714508 3221221776 3221219888 1074153660 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 106747 105841 1111 63 0 106684 0 vsize: 426988 [startup+1170.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 449132 0 0 0 116014 997 0 0 25 0 1 0 768201869 438431744 105919 4294967295 134512640 134714508 3221221776 3221219696 1075799488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 107039 105919 1111 63 0 106976 0 vsize: 428156 [startup+1180.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 454411 0 0 0 117002 1009 0 0 25 0 1 0 768201869 437235712 105835 4294967295 134512640 134714508 3221221776 3221220112 1074153812 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 106747 105835 1111 63 0 106684 0 vsize: 426988 [startup+1190.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 459187 0 0 0 117991 1020 0 0 25 0 1 0 768201869 437235712 105841 4294967295 134512640 134714508 3221221776 3221219896 1077410279 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 106747 105841 1111 63 0 106684 0 vsize: 426988 [startup+1200.04 s] Raw data (loadavg): 0.99 0.98 0.97 2/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 463880 0 0 0 118980 1031 0 0 25 0 1 0 768201869 437235712 105841 4294967295 134512640 134714508 3221221776 3221220064 1074153736 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 106747 105841 1111 63 0 106684 0 vsize: 426988 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.24 s] Raw data (loadavg): 0.99 0.98 0.97 1/55 24347 Raw data (stat): 24347 (bsolo_lpr_cuts) Z 24346 7876 7672 0 -1 1036 463880 0 0 0 118980 1051 0 0 25 0 1 0 768201869 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child ended because it received signal 15 (SIGTERM) Real time (s): 1200.24 CPU time (s): 1200.32 CPU user time (s): 1189.81 CPU system time (s): 10.5124 CPU usage (%): 100.007 Max. virtual memory (Kb): 441964 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####