Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3708.opb |
MD5SUM | 530cef6af13bdf9c6dc1bddf1879e0d7 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 155000 |
Biggest coefficient in the objective function | 4294967296 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 29705729356859 |
Number of bits of the sum of numbers in the objective function | 45 |
Biggest number in a constraint | 4294967296 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 29705729356859 |
Number of bits of the biggest sum of numbers | 45 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.42678 |
Number of variables | 155000 |
Total number of constraints | 5150 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 5150 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 3000 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc13 THE 2005-05-25 00:50:58 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=14107 boxname=wulflinc13 idbench=1086 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 530cef6af13bdf9c6dc1bddf1879e0d7 /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-n3708.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-n3708.opb IDLAUNCH: 14107 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.242 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 : 2 cpu MHz : 451.242 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: 743008 kB Buffers: 23796 kB Cached: 246988 kB SwapCached: 604 kB Active: 42780 kB Inactive: 230676 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 742756 kB SwapTotal: 2097136 kB SwapFree: 2096148 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6152 kB Slab: 12540 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 01:11:00 (client local time) WITH STATUS 0 IN 1200.18 SECONDS stats: 14107 7 1200.18 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.87 0.94 0.90 2/54 6881 Raw data (stat): 6881 (runsolver) R 6880 1269 1268 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776480182 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0004 s] Raw data (loadavg): 0.89 0.94 0.90 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 1295 0 0 0 977 4 0 0 25 0 1 0 776480182 15511552 1219 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3787 1219 1111 63 0 3724 0 vsize: 15148 [startup+20.0008 s] Raw data (loadavg): 0.91 0.94 0.90 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 1405 0 0 0 1977 5 0 0 25 0 1 0 776480182 15941632 1329 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3892 1329 1111 63 0 3829 0 vsize: 15568 [startup+30.0015 s] Raw data (loadavg): 0.92 0.94 0.90 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 1508 0 0 0 2977 5 0 0 25 0 1 0 776480182 16379904 1432 4294967295 134512640 134714508 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3999 1432 1111 63 0 3936 0 vsize: 15996 [startup+40.0021 s] Raw data (loadavg): 0.93 0.94 0.90 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 1618 0 0 0 3977 5 0 0 25 0 1 0 776480182 16834560 1542 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4110 1542 1111 63 0 4047 0 vsize: 16440 [startup+50.0028 s] Raw data (loadavg): 0.94 0.95 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 1730 0 0 0 4977 5 0 0 25 0 1 0 776480182 17264640 1654 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4215 1654 1111 63 0 4152 0 vsize: 16860 [startup+60.0024 s] Raw data (loadavg): 0.95 0.95 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 1834 0 0 0 5977 6 0 0 25 0 1 0 776480182 17715200 1758 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4325 1758 1111 63 0 4262 0 vsize: 17300 [startup+70.0021 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 1943 0 0 0 6977 6 0 0 25 0 1 0 776480182 18161664 1867 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4434 1867 1111 63 0 4371 0 vsize: 17736 [startup+80.0027 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 2053 0 0 0 7977 6 0 0 25 0 1 0 776480182 18616320 1977 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4545 1977 1111 63 0 4482 0 vsize: 18180 [startup+90.0049 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 2162 0 0 0 8977 6 0 0 25 0 1 0 776480182 19058688 2086 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4653 2086 1111 63 0 4590 0 vsize: 18612 [startup+100.005 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 2277 0 0 0 9977 6 0 0 25 0 1 0 776480182 19501056 2201 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4761 2201 1111 63 0 4698 0 vsize: 19044 [startup+110.013 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 2381 0 0 0 10978 7 0 0 25 0 1 0 776480182 19955712 2305 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4872 2305 1111 63 0 4809 0 vsize: 19488 [startup+120.012 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 2491 0 0 0 11978 7 0 0 25 0 1 0 776480182 20402176 2415 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4981 2415 1111 63 0 4918 0 vsize: 19924 [startup+130.013 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 2600 0 0 0 12978 7 0 0 25 0 1 0 776480182 20856832 2524 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5092 2524 1111 63 0 5029 0 vsize: 20368 [startup+140.013 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 2710 0 0 0 13978 7 0 0 25 0 1 0 776480182 21299200 2634 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5200 2634 1111 63 0 5137 0 vsize: 20800 [startup+150.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 2819 0 0 0 14978 7 0 0 25 0 1 0 776480182 21725184 2743 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5304 2743 1111 63 0 5241 0 vsize: 21216 [startup+160.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 2924 0 0 0 15978 8 0 0 25 0 1 0 776480182 22171648 2848 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5413 2848 1111 63 0 5350 0 vsize: 21652 [startup+170.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 3038 0 0 0 16977 8 0 0 25 0 1 0 776480182 22622208 2962 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5523 2962 1111 63 0 5460 0 vsize: 22092 [startup+180.026 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 3143 0 0 0 17979 8 0 0 25 0 1 0 776480182 23072768 3067 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5633 3067 1111 63 0 5570 0 vsize: 22532 [startup+190.037 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 3258 0 0 0 18980 8 0 0 25 0 1 0 776480182 23662592 3182 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5777 3182 1111 63 0 5714 0 vsize: 23108 [startup+200.076 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 3369 0 0 0 19984 9 0 0 25 0 1 0 776480182 24113152 3293 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5887 3293 1111 63 0 5824 0 vsize: 23548 [startup+210.076 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 3479 0 0 0 20984 9 0 0 25 0 1 0 776480182 24559616 3403 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5996 3403 1111 63 0 5933 0 vsize: 23984 [startup+220.076 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 3589 0 0 0 21984 9 0 0 25 0 1 0 776480182 25010176 3513 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6106 3513 1111 63 0 6043 0 vsize: 24424 [startup+230.077 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 3699 0 0 0 22984 9 0 0 25 0 1 0 776480182 25460736 3623 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6216 3623 1111 63 0 6153 0 vsize: 24864 [startup+240.076 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 3810 0 0 0 23984 9 0 0 25 0 1 0 776480182 25911296 3734 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6326 3734 1111 63 0 6263 0 vsize: 25304 [startup+250.077 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 3919 0 0 0 24984 9 0 0 25 0 1 0 776480182 26357760 3843 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6435 3843 1111 63 0 6372 0 vsize: 25740 [startup+260.078 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 4030 0 0 0 25984 9 0 0 25 0 1 0 776480182 26804224 3954 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6544 3954 1111 63 0 6481 0 vsize: 26176 [startup+270.077 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 4140 0 0 0 26984 9 0 0 25 0 1 0 776480182 27258880 4064 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6655 4064 1111 63 0 6592 0 vsize: 26620 [startup+280.078 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 4251 0 0 0 27984 10 0 0 25 0 1 0 776480182 27705344 4175 4294967295 134512640 134714508 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6764 4175 1111 63 0 6701 0 vsize: 27056 [startup+290.078 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 4360 0 0 0 28984 10 0 0 25 0 1 0 776480182 28160000 4284 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6875 4284 1111 63 0 6812 0 vsize: 27500 [startup+300.078 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 4471 0 0 0 29984 10 0 0 25 0 1 0 776480182 28602368 4395 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6983 4395 1111 63 0 6920 0 vsize: 27932 [startup+310.078 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 4581 0 0 0 30984 11 0 0 25 0 1 0 776480182 29028352 4505 4294967295 134512640 134714508 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7087 4505 1111 63 0 7024 0 vsize: 28348 [startup+320.078 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 4691 0 0 0 31984 11 0 0 25 0 1 0 776480182 29474816 4615 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7196 4615 1111 63 0 7133 0 vsize: 28784 [startup+330.078 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 4800 0 0 0 32984 11 0 0 25 0 1 0 776480182 29925376 4724 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7306 4724 1111 63 0 7243 0 vsize: 29224 [startup+340.08 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 4911 0 0 0 33984 11 0 0 25 0 1 0 776480182 30375936 4835 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7416 4835 1111 63 0 7353 0 vsize: 29664 [startup+350.081 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 5026 0 0 0 34984 11 0 0 25 0 1 0 776480182 30826496 4950 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7526 4950 1111 63 0 7463 0 vsize: 30104 [startup+360.084 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 5142 0 0 0 35985 11 0 0 25 0 1 0 776480182 31309824 5066 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7644 5066 1111 63 0 7581 0 vsize: 30576 [startup+370.083 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 5258 0 0 0 36984 12 0 0 25 0 1 0 776480182 31760384 5182 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7754 5182 1111 63 0 7691 0 vsize: 31016 [startup+380.084 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 5369 0 0 0 37985 12 0 0 25 0 1 0 776480182 32210944 5293 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7864 5293 1111 63 0 7801 0 vsize: 31456 [startup+390.086 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 5478 0 0 0 38985 12 0 0 25 0 1 0 776480182 32661504 5402 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7974 5402 1111 63 0 7911 0 vsize: 31896 [startup+400.091 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 5589 0 0 0 39985 12 0 0 25 0 1 0 776480182 33107968 5513 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8083 5513 1111 63 0 8020 0 vsize: 32332 [startup+410.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 5699 0 0 0 40985 12 0 0 25 0 1 0 776480182 33558528 5623 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8193 5623 1111 63 0 8130 0 vsize: 32772 [startup+420.093 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 5810 0 0 0 41986 12 0 0 25 0 1 0 776480182 34009088 5734 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8303 5734 1111 63 0 8240 0 vsize: 33212 [startup+430.095 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 5921 0 0 0 42986 13 0 0 25 0 1 0 776480182 34459648 5845 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8413 5845 1111 63 0 8350 0 vsize: 33652 [startup+440.096 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 6037 0 0 0 43986 13 0 0 25 0 1 0 776480182 35061760 5961 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8560 5961 1111 63 0 8497 0 vsize: 34240 [startup+450.096 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 6148 0 0 0 44986 13 0 0 25 0 1 0 776480182 35508224 6072 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8669 6072 1111 63 0 8606 0 vsize: 34676 [startup+460.096 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 6258 0 0 0 45986 13 0 0 25 0 1 0 776480182 35958784 6182 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8779 6182 1111 63 0 8716 0 vsize: 35116 [startup+470.097 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 6375 0 0 0 46986 14 0 0 25 0 1 0 776480182 36409344 6299 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8889 6299 1111 63 0 8826 0 vsize: 35556 [startup+480.097 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 6480 0 0 0 47986 14 0 0 25 0 1 0 776480182 36859904 6404 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8999 6404 1111 63 0 8936 0 vsize: 35996 [startup+490.097 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 6595 0 0 0 48985 14 0 0 25 0 1 0 776480182 37306368 6519 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9108 6519 1111 63 0 9045 0 vsize: 36432 [startup+500.098 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 6707 0 0 0 49985 15 0 0 25 0 1 0 776480182 37761024 6631 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9219 6631 1111 63 0 9156 0 vsize: 36876 [startup+510.098 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 6816 0 0 0 50985 15 0 0 25 0 1 0 776480182 38207488 6740 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9328 6740 1111 63 0 9265 0 vsize: 37312 [startup+520.098 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 6934 0 0 0 51985 15 0 0 25 0 1 0 776480182 38658048 6858 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9438 6858 1111 63 0 9375 0 vsize: 37752 [startup+530.098 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 7044 0 0 0 52985 15 0 0 25 0 1 0 776480182 39108608 6968 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9548 6968 1111 63 0 9485 0 vsize: 38192 [startup+540.099 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 6881 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 7156 0 0 0 53985 15 0 0 25 0 1 0 776480182 39559168 7080 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9658 7080 1111 63 0 9595 0 vsize: 38632 [startup+550.1 s] Raw data (loadavg): 1.15 1.00 0.92 2/58 6924 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 7271 0 0 0 54985 16 0 0 25 0 1 0 776480182 40005632 7195 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9767 7195 1111 63 0 9704 0 vsize: 39068 [startup+560.1 s] Raw data (loadavg): 1.13 1.00 0.92 2/54 6934 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 7383 0 0 0 55985 16 0 0 25 0 1 0 776480182 40456192 7307 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9877 7307 1111 63 0 9814 0 vsize: 39508 [startup+570.1 s] Raw data (loadavg): 1.11 1.00 0.92 2/54 6934 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 7493 0 0 0 56985 16 0 0 25 0 1 0 776480182 40906752 7417 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9987 7417 1111 63 0 9924 0 vsize: 39948 [startup+580.1 s] Raw data (loadavg): 1.09 1.00 0.92 2/54 6934 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 7611 0 0 0 57985 16 0 0 25 0 1 0 776480182 41357312 7535 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10097 7535 1111 63 0 10034 0 vsize: 40388 [startup+590.099 s] Raw data (loadavg): 1.08 1.00 0.92 2/54 6934 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 7726 0 0 0 58985 16 0 0 25 0 1 0 776480182 41951232 7650 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10242 7650 1111 63 0 10179 0 vsize: 40968 [startup+600.1 s] Raw data (loadavg): 1.07 1.00 0.92 2/54 6934 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 7837 0 0 0 59985 17 0 0 25 0 1 0 776480182 42405888 7761 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10353 7761 1111 63 0 10290 0 vsize: 41412 [startup+610.101 s] Raw data (loadavg): 1.06 1.00 0.92 2/54 6934 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 7948 0 0 0 60985 17 0 0 25 0 1 0 776480182 42852352 7872 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10462 7872 1111 63 0 10399 0 vsize: 41848 [startup+620.1 s] Raw data (loadavg): 1.05 1.00 0.92 2/54 6936 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 8065 0 0 0 61985 17 0 0 25 0 1 0 776480182 43307008 7989 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10573 7989 1111 63 0 10510 0 vsize: 42292 [startup+630.101 s] Raw data (loadavg): 1.04 1.00 0.92 2/54 6936 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 8175 0 0 0 62985 18 0 0 25 0 1 0 776480182 43753472 8099 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10682 8099 1111 63 0 10619 0 vsize: 42728 [startup+640.101 s] Raw data (loadavg): 1.03 1.00 0.92 2/54 6936 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 8286 0 0 0 63985 18 0 0 25 0 1 0 776480182 44183552 8210 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10787 8210 1111 63 0 10724 0 vsize: 43148 [startup+650.101 s] Raw data (loadavg): 1.03 1.00 0.92 2/54 6936 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 8402 0 0 0 64985 18 0 0 25 0 1 0 776480182 44621824 8326 4294967295 134512640 134714508 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10894 8326 1111 63 0 10831 0 vsize: 43576 [startup+660.101 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 6936 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 8520 0 0 0 65985 18 0 0 25 0 1 0 776480182 45072384 8444 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11004 8444 1111 63 0 10941 0 vsize: 44016 [startup+670.101 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 6936 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 8629 0 0 0 66985 19 0 0 25 0 1 0 776480182 45522944 8553 4294967295 134512640 134714508 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11114 8553 1111 63 0 11051 0 vsize: 44456 [startup+680.105 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 6936 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 8740 0 0 0 67985 19 0 0 25 0 1 0 776480182 45973504 8664 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11224 8664 1111 63 0 11161 0 vsize: 44896 [startup+690.105 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 6936 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 8856 0 0 0 68985 19 0 0 25 0 1 0 776480182 46567424 8780 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11369 8780 1111 63 0 11306 0 vsize: 45476 [startup+700.105 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 6936 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 8973 0 0 0 69985 19 0 0 25 0 1 0 776480182 47022080 8897 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11480 8897 1111 63 0 11417 0 vsize: 45920 [startup+710.106 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 6936 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 9103 0 0 0 70985 19 0 0 25 0 1 0 776480182 47579136 9027 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11616 9027 1111 63 0 11553 0 vsize: 46464 [startup+720.106 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 6936 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 9214 0 0 0 71985 20 0 0 25 0 1 0 776480182 48144384 9138 4294967295 134512640 134714508 3221224576 3221223232 134527935 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11754 9138 1111 63 0 11691 0 vsize: 47016 [startup+730.106 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6936 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 9330 0 0 0 72985 20 0 0 25 0 1 0 776480182 48590848 9254 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11863 9254 1111 63 0 11800 0 vsize: 47452 [startup+740.106 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6936 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 9447 0 0 0 73985 20 0 0 25 0 1 0 776480182 49041408 9371 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11973 9371 1111 63 0 11910 0 vsize: 47892 [startup+750.107 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6936 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 9564 0 0 0 74985 20 0 0 25 0 1 0 776480182 49491968 9488 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12083 9488 1111 63 0 12020 0 vsize: 48332 [startup+760.107 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6936 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 9677 0 0 0 75985 20 0 0 25 0 1 0 776480182 49942528 9601 4294967295 134512640 134714508 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12193 9601 1111 63 0 12130 0 vsize: 48772 [startup+770.107 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6936 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 9786 0 0 0 76985 21 0 0 25 0 1 0 776480182 50388992 9710 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12302 9710 1111 63 0 12239 0 vsize: 49208 [startup+780.108 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6936 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 9904 0 0 0 77985 21 0 0 25 0 1 0 776480182 50958336 9828 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12441 9828 1111 63 0 12378 0 vsize: 49764 [startup+790.107 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6936 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 10020 0 0 0 78984 22 0 0 25 0 1 0 776480182 51408896 9944 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12551 9944 1111 63 0 12488 0 vsize: 50204 [startup+800.108 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6936 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 10139 0 0 0 79984 22 0 0 25 0 1 0 776480182 51859456 10063 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12661 10063 1111 63 0 12598 0 vsize: 50644 [startup+810.108 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6936 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 10256 0 0 0 80984 22 0 0 25 0 1 0 776480182 52310016 10180 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12771 10180 1111 63 0 12708 0 vsize: 51084 [startup+820.107 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6936 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 10366 0 0 0 81984 23 0 0 25 0 1 0 776480182 52760576 10290 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12881 10290 1111 63 0 12818 0 vsize: 51524 [startup+830.107 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6936 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 10484 0 0 0 82984 23 0 0 25 0 1 0 776480182 53207040 10408 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12990 10408 1111 63 0 12927 0 vsize: 51960 [startup+840.107 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6936 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 10595 0 0 0 83984 23 0 0 25 0 1 0 776480182 53657600 10519 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13100 10519 1111 63 0 13037 0 vsize: 52400 [startup+850.107 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6936 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 10713 0 0 0 84984 23 0 0 25 0 1 0 776480182 54259712 10637 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13247 10637 1111 63 0 13184 0 vsize: 52988 [startup+860.107 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6936 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 10829 0 0 0 85984 24 0 0 25 0 1 0 776480182 54710272 10753 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13357 10753 1111 63 0 13294 0 vsize: 53428 [startup+870.107 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6936 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 10947 0 0 0 86984 24 0 0 25 0 1 0 776480182 55160832 10871 4294967295 134512640 134714508 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13467 10871 1111 63 0 13404 0 vsize: 53868 [startup+880.107 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6936 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 11064 0 0 0 87984 24 0 0 25 0 1 0 776480182 55607296 10988 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13576 10988 1111 63 0 13513 0 vsize: 54304 [startup+890.107 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6936 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 11176 0 0 0 88984 24 0 0 25 0 1 0 776480182 56057856 11100 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13686 11100 1111 63 0 13623 0 vsize: 54744 [startup+900.108 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6938 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 11292 0 0 0 89984 24 0 0 25 0 1 0 776480182 56508416 11216 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13796 11216 1111 63 0 13733 0 vsize: 55184 [startup+910.108 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6938 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 11410 0 0 0 90984 25 0 0 25 0 1 0 776480182 57110528 11334 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13943 11334 1111 63 0 13880 0 vsize: 55772 [startup+920.108 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6938 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 11527 0 0 0 91983 25 0 0 25 0 1 0 776480182 57552896 11451 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14051 11451 1111 63 0 13988 0 vsize: 56204 [startup+930.109 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6938 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 11640 0 0 0 92983 25 0 0 25 0 1 0 776480182 58007552 11564 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14162 11564 1111 63 0 14099 0 vsize: 56648 [startup+940.108 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6938 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 11756 0 0 0 93984 25 0 0 25 0 1 0 776480182 58454016 11680 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14271 11680 1111 63 0 14208 0 vsize: 57084 [startup+950.109 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6938 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 11874 0 0 0 94984 25 0 0 25 0 1 0 776480182 58908672 11798 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14382 11798 1111 63 0 14319 0 vsize: 57528 [startup+960.11 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6938 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 11990 0 0 0 95984 26 0 0 25 0 1 0 776480182 59351040 11914 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14490 11914 1111 63 0 14427 0 vsize: 57960 [startup+970.109 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6938 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 12109 0 0 0 96984 26 0 0 25 0 1 0 776480182 59953152 12033 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14637 12033 1111 63 0 14574 0 vsize: 58548 [startup+980.109 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6938 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 12226 0 0 0 97984 26 0 0 25 0 1 0 776480182 60403712 12150 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14747 12150 1111 63 0 14684 0 vsize: 58988 [startup+990.11 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6938 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 12343 0 0 0 98984 26 0 0 25 0 1 0 776480182 60854272 12267 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14857 12267 1111 63 0 14794 0 vsize: 59428 [startup+1000.11 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 6938 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 12461 0 0 0 99984 27 0 0 25 0 1 0 776480182 61300736 12385 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14966 12385 1111 63 0 14903 0 vsize: 59864 [startup+1010.11 s] Raw data (loadavg): 1.08 1.02 0.93 2/54 6938 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 12577 0 0 0 100984 27 0 0 25 0 1 0 776480182 61755392 12501 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15077 12501 1111 63 0 15014 0 vsize: 60308 [startup+1020.11 s] Raw data (loadavg): 1.14 1.03 0.93 2/54 6938 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 12696 0 0 0 101984 27 0 0 25 0 1 0 776480182 62353408 12620 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15223 12620 1111 63 0 15160 0 vsize: 60892 [startup+1030.11 s] Raw data (loadavg): 1.12 1.03 0.93 2/54 6938 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 12813 0 0 0 102984 27 0 0 25 0 1 0 776480182 62803968 12737 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15333 12737 1111 63 0 15270 0 vsize: 61332 [startup+1040.11 s] Raw data (loadavg): 1.10 1.03 0.93 2/54 6938 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 12930 0 0 0 103984 27 0 0 25 0 1 0 776480182 63254528 12854 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15443 12854 1111 63 0 15380 0 vsize: 61772 [startup+1050.11 s] Raw data (loadavg): 1.08 1.03 0.93 2/54 6938 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 13048 0 0 0 104984 27 0 0 25 0 1 0 776480182 63700992 12972 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15552 12972 1111 63 0 15489 0 vsize: 62208 [startup+1060.11 s] Raw data (loadavg): 1.07 1.03 0.93 2/54 6938 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 13167 0 0 0 105984 28 0 0 25 0 1 0 776480182 64155648 13091 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15663 13091 1111 63 0 15600 0 vsize: 62652 [startup+1070.11 s] Raw data (loadavg): 1.06 1.03 0.93 2/54 6938 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 13283 0 0 0 106984 28 0 0 25 0 1 0 776480182 64749568 13207 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15808 13207 1111 63 0 15745 0 vsize: 63232 [startup+1080.11 s] Raw data (loadavg): 1.05 1.02 0.93 2/54 6938 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 13401 0 0 0 107983 28 0 0 25 0 1 0 776480182 65204224 13325 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15919 13325 1111 63 0 15856 0 vsize: 63676 [startup+1090.11 s] Raw data (loadavg): 1.04 1.02 0.93 2/54 6938 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 13518 0 0 0 108983 28 0 0 25 0 1 0 776480182 65650688 13442 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16028 13442 1111 63 0 15965 0 vsize: 64112 [startup+1100.11 s] Raw data (loadavg): 1.04 1.02 0.93 2/54 6938 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 13637 0 0 0 109984 28 0 0 25 0 1 0 776480182 66105344 13561 4294967295 134512640 134714508 3221224576 3221222804 1077414393 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16139 13561 1111 63 0 16076 0 vsize: 64556 [startup+1110.11 s] Raw data (loadavg): 1.03 1.02 0.93 2/54 6938 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 13754 0 0 0 110984 29 0 0 25 0 1 0 776480182 66547712 13678 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16247 13678 1111 63 0 16184 0 vsize: 64988 [startup+1120.11 s] Raw data (loadavg): 1.02 1.02 0.93 2/54 6938 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 13872 0 0 0 111984 29 0 0 25 0 1 0 776480182 67149824 13796 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16394 13796 1111 63 0 16331 0 vsize: 65576 [startup+1130.11 s] Raw data (loadavg): 1.02 1.02 0.93 2/54 6938 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 13989 0 0 0 112984 29 0 0 25 0 1 0 776480182 67600384 13913 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16504 13913 1111 63 0 16441 0 vsize: 66016 [startup+1140.11 s] Raw data (loadavg): 1.02 1.02 0.93 2/54 6938 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 14113 0 0 0 113983 30 0 0 25 0 1 0 776480182 68050944 14037 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16614 14037 1111 63 0 16551 0 vsize: 66456 [startup+1150.11 s] Raw data (loadavg): 1.01 1.02 0.93 2/54 6938 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 14232 0 0 0 114983 30 0 0 25 0 1 0 776480182 68497408 14156 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16723 14156 1111 63 0 16660 0 vsize: 66892 [startup+1160.11 s] Raw data (loadavg): 1.01 1.02 0.93 2/54 6938 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 14349 0 0 0 115983 30 0 0 25 0 1 0 776480182 69099520 14273 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16870 14273 1111 63 0 16807 0 vsize: 67480 [startup+1170.11 s] Raw data (loadavg): 1.01 1.02 0.93 2/54 6938 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 14474 0 0 0 116983 31 0 0 25 0 1 0 776480182 69550080 14398 4294967295 134512640 134714508 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16980 14398 1111 63 0 16917 0 vsize: 67920 [startup+1180.11 s] Raw data (loadavg): 1.01 1.01 0.93 2/54 6938 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 14590 0 0 0 117983 31 0 0 25 0 1 0 776480182 70000640 14514 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17090 14514 1111 63 0 17027 0 vsize: 68360 [startup+1190.11 s] Raw data (loadavg): 1.01 1.01 0.93 2/54 6938 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 14709 0 0 0 118983 31 0 0 25 0 1 0 776480182 70451200 14633 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17200 14633 1111 63 0 17137 0 vsize: 68800 [startup+1200.11 s] Raw data (loadavg): 1.00 1.01 0.93 2/54 6938 Raw data (stat): 6881 (bsolo_lpr_cuts) R 6880 1269 1268 0 -1 0 14826 0 0 0 119982 32 0 0 25 0 1 0 776480182 71045120 14750 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17345 14750 1111 63 0 17282 0 vsize: 69380 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.14 s] Raw data (loadavg): 1.00 1.01 0.93 1/54 6938 Raw data (stat): 6881 (bsolo_lpr_cuts) Z 6880 1269 1268 0 -1 1036 14826 0 0 0 119982 35 0 0 25 0 1 0 776480182 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.14 CPU time (s): 1200.18 CPU user time (s): 1199.83 CPU system time (s): 0.350946 CPU usage (%): 100.003 Max. virtual memory (Kb): 69380 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####