Name | normalized-opb/submitted/manquinho/ttp/normalized-circ10_3.opb |
MD5SUM | fc17fbe37098e8642918641dd9a84b04 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 350 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 900 |
Biggest coefficient in the objective function | 5 |
Number of bits for the biggest coefficient in the objective function | 3 |
Sum of the numbers in the objective function | 2500 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 32 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 2500 |
Number of bits of the biggest sum of numbers | 12 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.1 |
Number of variables | 2700 |
Total number of constraints | 42620 |
Number of constraints which are clauses | 20220 |
Number of constraints which are cardinality constraints (but not clauses) | 800 |
Number of constraints which are nor clauses,nor cardinality constraints | 21600 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 36 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc3 THE 2005-06-08 22:16:42 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28870 boxname=wulflinc3 idbench=256 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: fc17fbe37098e8642918641dd9a84b04 /oldhome/oroussel/tmp/wulflinc3/normalized-circ10_3.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-circ10_3.opb IDLAUNCH: 28870 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 727888 kB Buffers: 30076 kB Cached: 256008 kB SwapCached: 808 kB Active: 50464 kB Inactive: 237692 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 727636 kB SwapTotal: 2097136 kB SwapFree: 2095332 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5012 kB Slab: 12968 kB Committed_AS: 71792 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-08 22:36:45 (client local time) WITH STATUS 0 IN 1200.25 SECONDS stats: 28870 7 1200.25 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 2700 variables and 43070 constraints. c After prepocess the problem consists of 2700 variables and 41292 constraints. c preprocess terminated 235.698 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 Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.67 0.84 0.86 1/54 582 Raw data (stat): 582 (runsolver) R 581 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 905156895 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0009 s] Raw data (loadavg): 0.72 0.84 0.86 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 8407 0 0 0 974 23 0 0 25 0 1 0 905156895 47661056 8327 4294967295 134512640 134716908 3221224576 3221223168 134527014 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11636 8327 1111 63 0 11573 0 vsize: 46544 [startup+20.0022 s] Raw data (loadavg): 0.76 0.85 0.86 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 59206 0 0 0 1844 152 0 0 25 0 1 0 905156895 51159040 11630 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12490 11630 1111 63 0 12427 0 vsize: 49960 [startup+30.0024 s] Raw data (loadavg): 0.80 0.85 0.86 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 79382 0 0 0 2795 201 0 0 25 0 1 0 905156895 54071296 12356 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13201 12356 1111 63 0 13138 0 vsize: 52804 [startup+40.0022 s] Raw data (loadavg): 0.83 0.86 0.86 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 83430 0 0 0 3786 211 0 0 25 0 1 0 905156895 56373248 12918 4294967295 134512640 134716908 3221224576 3221223000 1077377734 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13763 12918 1111 63 0 13700 0 vsize: 55052 [startup+50.0024 s] Raw data (loadavg): 0.85 0.86 0.86 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 88231 0 0 0 4774 222 0 0 25 0 1 0 905156895 69177344 16020 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16889 16020 1111 63 0 16826 0 vsize: 67556 [startup+60.0033 s] Raw data (loadavg): 0.88 0.86 0.87 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 88489 0 0 0 5774 223 0 0 25 0 1 0 905156895 69177344 16044 4294967295 134512640 134716908 3221224576 3221222988 134543616 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16889 16044 1111 63 0 16826 0 vsize: 67556 [startup+70.0038 s] Raw data (loadavg): 0.89 0.87 0.87 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 88489 0 0 0 6774 223 0 0 25 0 1 0 905156895 69177344 16044 4294967295 134512640 134716908 3221224576 3221223224 134555031 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16889 16044 1111 63 0 16826 0 vsize: 67556 [startup+80.0039 s] Raw data (loadavg): 0.91 0.87 0.87 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 89691 0 0 0 7771 226 0 0 25 0 1 0 905156895 69177344 16044 4294967295 134512640 134716908 3221224576 3221223140 134535756 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16889 16044 1111 63 0 16826 0 vsize: 67556 [startup+90.0045 s] Raw data (loadavg): 0.92 0.88 0.87 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 92947 0 0 0 8763 234 0 0 25 0 1 0 905156895 69177344 16044 4294967295 134512640 134716908 3221224576 3221222968 134542985 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16889 16044 1111 63 0 16826 0 vsize: 67556 [startup+100.004 s] Raw data (loadavg): 0.93 0.88 0.87 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 96478 0 0 0 9755 242 0 0 25 0 1 0 905156895 72642560 16889 4294967295 134512640 134716908 3221224576 3221223192 134536909 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17735 16889 1111 63 0 17672 0 vsize: 70940 [startup+110.005 s] Raw data (loadavg): 0.94 0.88 0.87 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 97438 0 0 0 10753 245 0 0 25 0 1 0 905156895 72642560 16890 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17735 16890 1111 63 0 17672 0 vsize: 70940 [startup+120.005 s] Raw data (loadavg): 0.95 0.89 0.87 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 99385 0 0 0 11747 250 0 0 25 0 1 0 905156895 72642560 16890 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17735 16890 1111 63 0 17672 0 vsize: 70940 [startup+130.005 s] Raw data (loadavg): 0.96 0.89 0.87 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 100056 0 0 0 12746 252 0 0 25 0 1 0 905156895 75390976 17561 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18406 17561 1111 63 0 18343 0 vsize: 73624 [startup+140.006 s] Raw data (loadavg): 0.97 0.89 0.87 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 100579 0 0 0 13745 253 0 0 25 0 1 0 905156895 75808768 17663 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18508 17663 1111 63 0 18445 0 vsize: 74032 [startup+150.005 s] Raw data (loadavg): 0.97 0.90 0.87 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 101969 0 0 0 14742 257 0 0 25 0 1 0 905156895 75808768 17663 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18508 17663 1111 63 0 18445 0 vsize: 74032 [startup+160.005 s] Raw data (loadavg): 0.97 0.90 0.88 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 103645 0 0 0 15738 261 0 0 25 0 1 0 905156895 78106624 18224 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19069 18224 1111 63 0 19006 0 vsize: 76276 [startup+170.008 s] Raw data (loadavg): 0.98 0.90 0.88 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 103645 0 0 0 16738 261 0 0 25 0 1 0 905156895 78106624 18224 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19069 18224 1111 63 0 19006 0 vsize: 76276 [startup+180.007 s] Raw data (loadavg): 0.98 0.90 0.88 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 103645 0 0 0 17738 261 0 0 25 0 1 0 905156895 78106624 18224 4294967295 134512640 134716908 3221224576 3221223248 134627257 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19069 18224 1111 63 0 19006 0 vsize: 76276 [startup+190.008 s] Raw data (loadavg): 0.98 0.91 0.88 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 103645 0 0 0 18738 261 0 0 25 0 1 0 905156895 78106624 18224 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19069 18224 1111 63 0 19006 0 vsize: 76276 [startup+200.008 s] Raw data (loadavg): 0.98 0.91 0.88 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 103645 0 0 0 19738 261 0 0 25 0 1 0 905156895 78106624 18224 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19069 18224 1111 63 0 19006 0 vsize: 76276 [startup+210.009 s] Raw data (loadavg): 0.99 0.91 0.88 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 103645 0 0 0 20738 262 0 0 25 0 1 0 905156895 78106624 18224 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19069 18224 1111 63 0 19006 0 vsize: 76276 [startup+220.008 s] Raw data (loadavg): 0.99 0.91 0.88 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 103645 0 0 0 21738 262 0 0 25 0 1 0 905156895 78106624 18224 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19069 18224 1111 63 0 19006 0 vsize: 76276 [startup+230.008 s] Raw data (loadavg): 0.99 0.92 0.88 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 103646 0 0 0 22738 262 0 0 25 0 1 0 905156895 78106624 18225 4294967295 134512640 134716908 3221224576 3221223376 134622759 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19069 18225 1111 63 0 19006 0 vsize: 76276 [startup+240.009 s] Raw data (loadavg): 0.99 0.92 0.88 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 103667 0 0 0 23737 262 0 0 25 0 1 0 905156895 78106624 18246 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19069 18246 1111 63 0 19006 0 vsize: 76276 [startup+250.009 s] Raw data (loadavg): 0.99 0.92 0.88 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 103667 0 0 0 24737 263 0 0 25 0 1 0 905156895 78106624 18246 4294967295 134512640 134716908 3221224576 3221222592 1074153663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19069 18246 1111 63 0 19006 0 vsize: 76276 [startup+260.009 s] Raw data (loadavg): 0.99 0.92 0.89 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 103667 0 0 0 25738 263 0 0 25 0 1 0 905156895 78106624 18246 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19069 18246 1111 63 0 19006 0 vsize: 76276 [startup+270.01 s] Raw data (loadavg): 0.99 0.92 0.89 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 103667 0 0 0 26738 263 0 0 25 0 1 0 905156895 78106624 18246 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19069 18246 1111 63 0 19006 0 vsize: 76276 [startup+280.009 s] Raw data (loadavg): 0.99 0.93 0.89 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 103667 0 0 0 27738 263 0 0 25 0 1 0 905156895 78106624 18246 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19069 18246 1111 63 0 19006 0 vsize: 76276 [startup+290.01 s] Raw data (loadavg): 0.99 0.93 0.89 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 103667 0 0 0 28738 263 0 0 25 0 1 0 905156895 78106624 18246 4294967295 134512640 134716908 3221224576 3221222808 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19069 18246 1111 63 0 19006 0 vsize: 76276 [startup+300.01 s] Raw data (loadavg): 0.99 0.93 0.89 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 103667 0 0 0 29738 263 0 0 25 0 1 0 905156895 78106624 18246 4294967295 134512640 134716908 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19069 18246 1111 63 0 19006 0 vsize: 76276 [startup+310.011 s] Raw data (loadavg): 0.99 0.93 0.89 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 103667 0 0 0 30738 263 0 0 25 0 1 0 905156895 78106624 18246 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19069 18246 1111 63 0 19006 0 vsize: 76276 [startup+320.011 s] Raw data (loadavg): 0.99 0.93 0.89 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 103667 0 0 0 31739 263 0 0 25 0 1 0 905156895 78106624 18246 4294967295 134512640 134716908 3221224576 3221222624 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19069 18246 1111 63 0 19006 0 vsize: 76276 [startup+330.011 s] Raw data (loadavg): 0.99 0.94 0.89 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 103976 0 0 0 32737 264 0 0 25 0 1 0 905156895 79368192 18555 4294967295 134512640 134716908 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19377 18555 1111 63 0 19314 0 vsize: 77508 [startup+340.01 s] Raw data (loadavg): 0.99 0.94 0.89 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 103997 0 0 0 33737 265 0 0 25 0 1 0 905156895 79454208 18576 4294967295 134512640 134716908 3221224576 3221222672 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19398 18576 1111 63 0 19335 0 vsize: 77592 [startup+350.01 s] Raw data (loadavg): 0.99 0.94 0.89 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104016 0 0 0 34737 265 0 0 25 0 1 0 905156895 79532032 18595 4294967295 134512640 134716908 3221224576 3221222640 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19417 18595 1111 63 0 19354 0 vsize: 77668 [startup+360.012 s] Raw data (loadavg): 0.99 0.94 0.89 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104036 0 0 0 35737 265 0 0 25 0 1 0 905156895 79613952 18615 4294967295 134512640 134716908 3221224576 3221222720 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19437 18615 1111 63 0 19374 0 vsize: 77748 [startup+370.012 s] Raw data (loadavg): 0.99 0.94 0.90 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104056 0 0 0 36736 266 0 0 25 0 1 0 905156895 79695872 18635 4294967295 134512640 134716908 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19457 18635 1111 63 0 19394 0 vsize: 77828 [startup+380.012 s] Raw data (loadavg): 0.99 0.94 0.90 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104072 0 0 0 37736 267 0 0 25 0 1 0 905156895 79761408 18651 4294967295 134512640 134716908 3221224576 3221222640 1074153760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19473 18651 1111 63 0 19410 0 vsize: 77892 [startup+390.012 s] Raw data (loadavg): 0.99 0.94 0.90 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104089 0 0 0 38736 267 0 0 25 0 1 0 905156895 79831040 18668 4294967295 134512640 134716908 3221224576 3221222768 1074153760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19490 18668 1111 63 0 19427 0 vsize: 77960 [startup+400.013 s] Raw data (loadavg): 0.99 0.95 0.90 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104105 0 0 0 39735 268 0 0 25 0 1 0 905156895 79896576 18684 4294967295 134512640 134716908 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19506 18684 1111 63 0 19443 0 vsize: 78024 [startup+410.013 s] Raw data (loadavg): 0.99 0.95 0.90 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104122 0 0 0 40735 268 0 0 25 0 1 0 905156895 79966208 18701 4294967295 134512640 134716908 3221224576 3221222576 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19523 18701 1111 63 0 19460 0 vsize: 78092 [startup+420.014 s] Raw data (loadavg): 0.99 0.95 0.90 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104137 0 0 0 41735 268 0 0 25 0 1 0 905156895 80027648 18716 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19538 18716 1111 63 0 19475 0 vsize: 78152 [startup+430.014 s] Raw data (loadavg): 0.99 0.95 0.90 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104151 0 0 0 42735 268 0 0 25 0 1 0 905156895 80084992 18730 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19552 18730 1111 63 0 19489 0 vsize: 78208 [startup+440.014 s] Raw data (loadavg): 0.99 0.95 0.90 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104165 0 0 0 43735 269 0 0 25 0 1 0 905156895 80142336 18744 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19566 18744 1111 63 0 19503 0 vsize: 78264 [startup+450.014 s] Raw data (loadavg): 0.99 0.95 0.90 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104180 0 0 0 44734 269 0 0 25 0 1 0 905156895 80203776 18759 4294967295 134512640 134716908 3221224576 3221222528 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19581 18759 1111 63 0 19518 0 vsize: 78324 [startup+460.015 s] Raw data (loadavg): 0.99 0.95 0.90 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104193 0 0 0 45734 270 0 0 25 0 1 0 905156895 80257024 18772 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19594 18772 1111 63 0 19531 0 vsize: 78376 [startup+470.015 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104206 0 0 0 46734 270 0 0 25 0 1 0 905156895 80310272 18785 4294967295 134512640 134716908 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19607 18785 1111 63 0 19544 0 vsize: 78428 [startup+480.016 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104219 0 0 0 47734 270 0 0 25 0 1 0 905156895 80363520 18798 4294967295 134512640 134716908 3221224576 3221222336 1077814665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19620 18798 1111 63 0 19557 0 vsize: 78480 [startup+490.016 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104231 0 0 0 48734 271 0 0 25 0 1 0 905156895 80412672 18810 4294967295 134512640 134716908 3221224576 3221222592 1074153663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19632 18810 1111 63 0 19569 0 vsize: 78528 [startup+500.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104244 0 0 0 49733 272 0 0 25 0 1 0 905156895 80465920 18823 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19645 18823 1111 63 0 19582 0 vsize: 78580 [startup+510.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104257 0 0 0 50733 272 0 0 25 0 1 0 905156895 80519168 18836 4294967295 134512640 134716908 3221224576 3221222672 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19658 18836 1111 63 0 19595 0 vsize: 78632 [startup+520.016 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104269 0 0 0 51733 272 0 0 25 0 1 0 905156895 80568320 18848 4294967295 134512640 134716908 3221224576 3221222544 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19670 18848 1111 63 0 19607 0 vsize: 78680 [startup+530.015 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104281 0 0 0 52733 272 0 0 25 0 1 0 905156895 80617472 18860 4294967295 134512640 134716908 3221224576 3221222640 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19682 18860 1111 63 0 19619 0 vsize: 78728 [startup+540.017 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104293 0 0 0 53733 272 0 0 25 0 1 0 905156895 80666624 18872 4294967295 134512640 134716908 3221224576 3221222272 1077814665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19694 18872 1111 63 0 19631 0 vsize: 78776 [startup+550.017 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104303 0 0 0 54733 273 0 0 25 0 1 0 905156895 80707584 18882 4294967295 134512640 134716908 3221224576 3221222720 1074153786 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19704 18882 1111 63 0 19641 0 vsize: 78816 [startup+560.018 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104314 0 0 0 55733 273 0 0 25 0 1 0 905156895 80752640 18893 4294967295 134512640 134716908 3221224576 3221222720 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19715 18893 1111 63 0 19652 0 vsize: 78860 [startup+570.019 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104325 0 0 0 56733 273 0 0 25 0 1 0 905156895 80797696 18904 4294967295 134512640 134716908 3221224576 3221222640 1074153760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19726 18904 1111 63 0 19663 0 vsize: 78904 [startup+580.019 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104336 0 0 0 57733 273 0 0 25 0 1 0 905156895 80842752 18915 4294967295 134512640 134716908 3221224576 3221222592 1074153751 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19737 18915 1111 63 0 19674 0 vsize: 78948 [startup+590.019 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104348 0 0 0 58733 273 0 0 25 0 1 0 905156895 80891904 18927 4294967295 134512640 134716908 3221224576 3221222544 1074153779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19749 18927 1111 63 0 19686 0 vsize: 78996 [startup+600.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104358 0 0 0 59733 274 0 0 25 0 1 0 905156895 80932864 18937 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19759 18937 1111 63 0 19696 0 vsize: 79036 [startup+610.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104801 0 0 0 60732 275 0 0 25 0 1 0 905156895 82747392 19380 4294967295 134512640 134716908 3221224576 3221222624 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20202 19380 1111 63 0 20139 0 vsize: 80808 [startup+620.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104816 0 0 0 61731 276 0 0 25 0 1 0 905156895 82808832 19395 4294967295 134512640 134716908 3221224576 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20217 19395 1111 63 0 20154 0 vsize: 80868 [startup+630.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104832 0 0 0 62731 276 0 0 25 0 1 0 905156895 82874368 19411 4294967295 134512640 134716908 3221224576 3221222592 1074153779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20233 19411 1111 63 0 20170 0 vsize: 80932 [startup+640.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104846 0 0 0 63731 277 0 0 25 0 1 0 905156895 82931712 19425 4294967295 134512640 134716908 3221224576 3221222688 1074153779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20247 19425 1111 63 0 20184 0 vsize: 80988 [startup+650.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104861 0 0 0 64731 277 0 0 25 0 1 0 905156895 82993152 19440 4294967295 134512640 134716908 3221224576 3221222640 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20262 19440 1111 63 0 20199 0 vsize: 81048 [startup+660.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104876 0 0 0 65731 277 0 0 25 0 1 0 905156895 83054592 19455 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20277 19455 1111 63 0 20214 0 vsize: 81108 [startup+670.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104891 0 0 0 66731 277 0 0 25 0 1 0 905156895 83116032 19470 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20292 19470 1111 63 0 20229 0 vsize: 81168 [startup+680.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104904 0 0 0 67731 277 0 0 25 0 1 0 905156895 83169280 19483 4294967295 134512640 134716908 3221224576 3221222528 1074153779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20305 19483 1111 63 0 20242 0 vsize: 81220 [startup+690.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104916 0 0 0 68731 277 0 0 25 0 1 0 905156895 83218432 19495 4294967295 134512640 134716908 3221224576 3221222672 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20317 19495 1111 63 0 20254 0 vsize: 81268 [startup+700.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104930 0 0 0 69730 278 0 0 25 0 1 0 905156895 83275776 19509 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20331 19509 1111 63 0 20268 0 vsize: 81324 [startup+710.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104943 0 0 0 70730 279 0 0 25 0 1 0 905156895 83329024 19522 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20344 19522 1111 63 0 20281 0 vsize: 81376 [startup+720.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104958 0 0 0 71730 279 0 0 25 0 1 0 905156895 83390464 19537 4294967295 134512640 134716908 3221224576 3221222640 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20359 19537 1111 63 0 20296 0 vsize: 81436 [startup+730.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104970 0 0 0 72730 279 0 0 25 0 1 0 905156895 83439616 19549 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20371 19549 1111 63 0 20308 0 vsize: 81484 [startup+740.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104984 0 0 0 73730 280 0 0 25 0 1 0 905156895 83496960 19563 4294967295 134512640 134716908 3221224576 3221222768 1074153760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20385 19563 1111 63 0 20322 0 vsize: 81540 [startup+750.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104997 0 0 0 74730 280 0 0 25 0 1 0 905156895 83550208 19576 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20398 19576 1111 63 0 20335 0 vsize: 81592 [startup+760.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 105011 0 0 0 75730 280 0 0 25 0 1 0 905156895 83607552 19590 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20412 19590 1111 63 0 20349 0 vsize: 81648 [startup+770.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 105026 0 0 0 76730 281 0 0 25 0 1 0 905156895 83668992 19605 4294967295 134512640 134716908 3221224576 3221222688 1074153760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20427 19605 1111 63 0 20364 0 vsize: 81708 [startup+780.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 105036 0 0 0 77729 281 0 0 25 0 1 0 905156895 83709952 19615 4294967295 134512640 134716908 3221224576 3221222720 1074153760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20437 19615 1111 63 0 20374 0 vsize: 81748 [startup+790.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 105048 0 0 0 78729 281 0 0 25 0 1 0 905156895 83759104 19627 4294967295 134512640 134716908 3221224576 3221222688 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20449 19627 1111 63 0 20386 0 vsize: 81796 [startup+800.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 105060 0 0 0 79729 281 0 0 25 0 1 0 905156895 83808256 19639 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20461 19639 1111 63 0 20398 0 vsize: 81844 [startup+810.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 105074 0 0 0 80729 282 0 0 25 0 1 0 905156895 83865600 19653 4294967295 134512640 134716908 3221224576 3221222544 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20475 19653 1111 63 0 20412 0 vsize: 81900 [startup+820.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 105086 0 0 0 81729 282 0 0 25 0 1 0 905156895 83914752 19665 4294967295 134512640 134716908 3221224576 3221222832 1074153779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20487 19665 1111 63 0 20424 0 vsize: 81948 [startup+830.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 105098 0 0 0 82729 282 0 0 25 0 1 0 905156895 83963904 19677 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20499 19677 1111 63 0 20436 0 vsize: 81996 [startup+840.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 105127 0 0 0 83729 282 0 0 25 0 1 0 905156895 84082688 19706 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20528 19706 1111 63 0 20465 0 vsize: 82112 [startup+850.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 105138 0 0 0 84729 283 0 0 25 0 1 0 905156895 84127744 19717 4294967295 134512640 134716908 3221224576 3221222528 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20539 19717 1111 63 0 20476 0 vsize: 82156 [startup+860.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 105150 0 0 0 85729 283 0 0 25 0 1 0 905156895 84176896 19729 4294967295 134512640 134716908 3221224576 3221222768 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20551 19729 1111 63 0 20488 0 vsize: 82204 [startup+870.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 105160 0 0 0 86729 284 0 0 25 0 1 0 905156895 84217856 19739 4294967295 134512640 134716908 3221224576 3221222768 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20561 19739 1111 63 0 20498 0 vsize: 82244 [startup+880.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 105175 0 0 0 87729 284 0 0 25 0 1 0 905156895 84279296 19754 4294967295 134512640 134716908 3221224576 3221222736 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20576 19754 1111 63 0 20513 0 vsize: 82304 [startup+890.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 105187 0 0 0 88729 284 0 0 25 0 1 0 905156895 84328448 19766 4294967295 134512640 134716908 3221224576 3221222528 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20588 19766 1111 63 0 20525 0 vsize: 82352 [startup+900.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 109884 0 0 0 89720 293 0 0 25 0 1 0 905156895 96591872 22796 4294967295 134512640 134716908 3221224576 3221222480 1074918597 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23582 22796 1111 63 0 23519 0 vsize: 94328 [startup+910.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 115636 0 0 0 90707 306 0 0 25 0 1 0 905156895 119570432 25191 4294967295 134512640 134716908 3221224576 3221220628 1075964437 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29192 25191 1111 63 0 29129 0 vsize: 116768 [startup+920.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 116859 0 0 0 91704 309 0 0 25 0 1 0 905156895 119570432 26412 4294967295 134512640 134716908 3221224576 3221220492 1074788953 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29192 26412 1111 63 0 29129 0 vsize: 116768 [startup+930.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 117045 0 0 0 92704 310 0 0 25 0 1 0 905156895 115036160 25434 4294967295 134512640 134716908 3221224576 3221220624 1074969465 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28085 25434 1111 63 0 28022 0 vsize: 112340 [startup+940.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 117156 0 0 0 93703 310 0 0 25 0 1 0 905156895 115564544 25543 4294967295 134512640 134716908 3221224576 3221220752 1074961143 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28214 25543 1111 63 0 28151 0 vsize: 112856 [startup+950.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 117289 0 0 0 94703 311 0 0 25 0 1 0 905156895 116121600 25674 4294967295 134512640 134716908 3221224576 3221220624 1074969463 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28350 25674 1111 63 0 28287 0 vsize: 113400 [startup+960.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 117412 0 0 0 95703 311 0 0 25 0 1 0 905156895 116707328 25795 4294967295 134512640 134716908 3221224576 3221220816 1075114277 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28493 25795 1111 63 0 28430 0 vsize: 113972 [startup+970.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 117521 0 0 0 96703 311 0 0 25 0 1 0 905156895 117313536 25902 4294967295 134512640 134716908 3221224576 3221220708 1075115060 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28641 25902 1111 63 0 28578 0 vsize: 114564 [startup+980.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 117619 0 0 0 97703 312 0 0 25 0 1 0 905156895 117956608 25998 4294967295 134512640 134716908 3221224576 3221220428 1074788953 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28798 25998 1111 63 0 28735 0 vsize: 115192 [startup+990.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 117875 0 0 0 98703 312 0 0 25 0 1 0 905156895 118628352 26252 4294967295 134512640 134716908 3221224576 3221220440 1075964740 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28962 26252 1111 63 0 28899 0 vsize: 115848 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 117917 0 0 0 99703 312 0 0 25 0 1 0 905156895 118628352 26292 4294967295 134512640 134716908 3221224576 3221220524 1074873504 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28962 26292 1111 63 0 28899 0 vsize: 115848 [startup+1010.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 117938 0 0 0 100703 312 0 0 25 0 1 0 905156895 118628352 26309 4294967295 134512640 134716908 3221224576 3221220524 1074873478 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28962 26309 1111 63 0 28899 0 vsize: 115848 [startup+1020.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 117946 0 0 0 101703 312 0 0 25 0 1 0 905156895 118628352 26315 4294967295 134512640 134716908 3221224576 3221220492 1074788953 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28962 26315 1111 63 0 28899 0 vsize: 115848 [startup+1030.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 117971 0 0 0 102703 312 0 0 25 0 1 0 905156895 118628352 26338 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28962 26338 1111 63 0 28899 0 vsize: 115848 [startup+1040.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 117991 0 0 0 103703 313 0 0 25 0 1 0 905156895 118628352 26356 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28962 26356 1111 63 0 28899 0 vsize: 115848 [startup+1050.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 117991 0 0 0 104703 313 0 0 25 0 1 0 905156895 118628352 26356 4294967295 134512640 134716908 3221224576 3221220640 1075095169 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28962 26356 1111 63 0 28899 0 vsize: 115848 [startup+1060.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 117993 0 0 0 105703 313 0 0 25 0 1 0 905156895 118628352 26356 4294967295 134512640 134716908 3221224576 3221220752 1074961146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28962 26356 1111 63 0 28899 0 vsize: 115848 [startup+1070.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 117995 0 0 0 106703 313 0 0 25 0 1 0 905156895 118628352 26356 4294967295 134512640 134716908 3221224576 3221220624 1074969463 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28962 26356 1111 63 0 28899 0 vsize: 115848 [startup+1080.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 118074 0 0 0 107703 313 0 0 25 0 1 0 905156895 119345152 26433 4294967295 134512640 134716908 3221224576 3221220640 1075093367 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29137 26433 1111 63 0 29074 0 vsize: 116548 [startup+1090.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 118120 0 0 0 108704 313 0 0 25 0 1 0 905156895 119345152 26477 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29137 26477 1111 63 0 29074 0 vsize: 116548 [startup+1100.04 s] Raw data (loadavg): 0.99 0.97 0.91 3/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 118120 0 0 0 109704 313 0 0 25 0 1 0 905156895 119345152 26477 4294967295 134512640 134716908 3221224576 3221220688 1074815265 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29137 26477 1111 63 0 29074 0 vsize: 116548 [startup+1110.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 118127 0 0 0 110704 313 0 0 25 0 1 0 905156895 119345152 26482 4294967295 134512640 134716908 3221224576 3221220752 1074961267 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29137 26482 1111 63 0 29074 0 vsize: 116548 [startup+1120.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 118130 0 0 0 111704 313 0 0 25 0 1 0 905156895 119345152 26483 4294967295 134512640 134716908 3221224576 3221220388 1074786556 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29137 26483 1111 63 0 29074 0 vsize: 116548 [startup+1130.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 118153 0 0 0 112704 313 0 0 25 0 1 0 905156895 119345152 26504 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29137 26504 1111 63 0 29074 0 vsize: 116548 [startup+1140.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 118160 0 0 0 113704 313 0 0 25 0 1 0 905156895 119345152 26509 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29137 26509 1111 63 0 29074 0 vsize: 116548 [startup+1150.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 118160 0 0 0 114704 313 0 0 25 0 1 0 905156895 119345152 26509 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29137 26509 1111 63 0 29074 0 vsize: 116548 [startup+1160.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 118162 0 0 0 115705 313 0 0 25 0 1 0 905156895 119345152 26509 4294967295 134512640 134716908 3221224576 3221220688 1074815188 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29137 26509 1111 63 0 29074 0 vsize: 116548 [startup+1170.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 118170 0 0 0 116705 313 0 0 25 0 1 0 905156895 119345152 26515 4294967295 134512640 134716908 3221224576 3221220364 1074788964 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29137 26515 1111 63 0 29074 0 vsize: 116548 [startup+1180.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 118194 0 0 0 117705 313 0 0 25 0 1 0 905156895 119345152 26537 4294967295 134512640 134716908 3221224576 3221220688 1074815253 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29137 26537 1111 63 0 29074 0 vsize: 116548 [startup+1190.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 118212 0 0 0 118705 313 0 0 25 0 1 0 905156895 119345152 26553 4294967295 134512640 134716908 3221224576 3221220688 1074815241 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29137 26553 1111 63 0 29074 0 vsize: 116548 [startup+1200.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 118216 0 0 0 119705 313 0 0 25 0 1 0 905156895 119676928 26557 4294967295 134512640 134716908 3221224576 3221221248 1076084226 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29218 26557 1111 63 0 29155 0 vsize: 116872 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.09 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 582 Raw data (stat): 582 (bsolo_lpr_cuts-) Z 581 20224 20223 0 -1 1036 118216 0 0 0 119705 318 0 0 25 0 1 0 905156895 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 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.09 CPU time (s): 1200.25 CPU user time (s): 1197.06 CPU system time (s): 3.18751 CPU usage (%): 100.013 Max. virtual memory (Kb): 116872 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####