Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa2670-130.opb |
MD5SUM | 600cdaf1f0eedf797341aa9f45a30b93 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 2718 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 2718 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2718 |
Number of bits of the biggest sum of numbers | 12 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.164974 |
Number of variables | 2718 |
Total number of constraints | 4680 |
Number of constraints which are clauses | 4680 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 5 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-06-08 21:57:54 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28838 boxname=wulflinc6 idbench=224 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: 600cdaf1f0eedf797341aa9f45a30b93 /oldhome/oroussel/tmp/wulflinc6/normalized-ssa2670-130.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-ssa2670-130.opb IDLAUNCH: 28838 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 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.042 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: 917908 kB Buffers: 30044 kB Cached: 65360 kB SwapCached: 1292 kB Active: 30108 kB Inactive: 67688 kB HighTotal: 131008 kB HighFree: 81480 kB LowTotal: 903652 kB LowFree: 836428 kB SwapTotal: 2097136 kB SwapFree: 2094824 kB Dirty: 24 kB Writeback: 0 kB Mapped: 4988 kB Slab: 13252 kB Committed_AS: 63732 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-08 22:17:30 (client local time) WITH STATUS 0 IN 1175.87 SECONDS stats: 28838 7 1175.87 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 2718 variables and 4680 constraints. c After prepocess the problem consists of 715 variables and 1657 constraints. c preprocess terminated 262.054 s c Initial Lower Bound: 1269 c Lower Bound Elapsed time: 0.847625 c Use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.8 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.74 0.86 0.87 1/54 3144 Raw data (stat): 3144 (runsolver) D 3143 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 905051771 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 3225161850 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0008 s] Raw data (loadavg): 0.78 0.86 0.87 2/54 3144 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 6779 0 0 0 980 16 0 0 25 0 1 0 905051771 18444288 3659 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4503 3659 1111 63 0 4440 0 vsize: 18012 [startup+20.0011 s] Raw data (loadavg): 0.81 0.87 0.88 2/54 3144 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 58334 0 0 0 1845 152 0 0 25 0 1 0 905051771 26025984 5494 4294967295 134512640 134716908 3221224576 3221223152 134523974 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6354 5494 1111 63 0 6291 0 vsize: 25416 [startup+30.001 s] Raw data (loadavg): 0.84 0.87 0.88 2/54 3144 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 71557 0 0 0 2807 191 0 0 25 0 1 0 905051771 29839360 6441 4294967295 134512640 134716908 3221224576 3221223008 134543671 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7285 6441 1111 63 0 7222 0 vsize: 29140 [startup+40.0011 s] Raw data (loadavg): 0.86 0.87 0.88 2/54 3144 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 91627 0 0 0 3753 245 0 0 25 0 1 0 905051771 33087488 7228 4294967295 134512640 134716908 3221224576 3221223304 134675281 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8078 7228 1111 63 0 8015 0 vsize: 32312 [startup+50.0016 s] Raw data (loadavg): 0.88 0.88 0.88 2/54 3144 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 115124 0 0 0 4691 307 0 0 25 0 1 0 905051771 38014976 8437 4294967295 134512640 134716908 3221224576 3221222956 134539235 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9281 8437 1111 63 0 9218 0 vsize: 37124 [startup+60.0015 s] Raw data (loadavg): 0.90 0.88 0.88 2/54 3144 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 129889 0 0 0 5653 346 0 0 25 0 1 0 905051771 40288256 8992 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9871 8993 1111 63 0 9808 0 vsize: 39344 [startup+70.0016 s] Raw data (loadavg): 0.92 0.88 0.88 2/54 3144 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 140372 0 0 0 6625 374 0 0 25 0 1 0 905051771 41574400 9306 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10150 9306 1111 63 0 10087 0 vsize: 40600 [startup+80.0021 s] Raw data (loadavg): 0.93 0.89 0.88 2/54 3144 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 158178 0 0 0 7575 424 0 0 25 0 1 0 905051771 44716032 10057 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10917 10057 1111 63 0 10854 0 vsize: 43668 [startup+90.0018 s] Raw data (loadavg): 0.94 0.89 0.88 2/54 3144 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 170943 0 0 0 8538 462 0 0 25 0 1 0 905051771 45445120 10238 4294967295 134512640 134716908 3221224576 3221223200 134529091 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11095 10238 1111 63 0 11032 0 vsize: 44380 [startup+100.002 s] Raw data (loadavg): 0.95 0.89 0.88 2/54 3144 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 176205 0 0 0 9522 477 0 0 25 0 1 0 905051771 46231552 10421 4294967295 134512640 134716908 3221224576 3221223000 1077378037 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11287 10427 1111 63 0 11224 0 vsize: 45148 [startup+110.002 s] Raw data (loadavg): 0.96 0.90 0.88 2/54 3144 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 190614 0 0 0 10484 517 0 0 25 0 1 0 905051771 48402432 10960 4294967295 134512640 134716908 3221224576 3221223084 134543588 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11817 10960 1111 63 0 11754 0 vsize: 47268 [startup+120.003 s] Raw data (loadavg): 0.96 0.90 0.89 2/54 3144 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 195458 0 0 0 11473 528 0 0 25 0 1 0 905051771 49303552 11193 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12037 11193 1111 63 0 11974 0 vsize: 48148 [startup+130.004 s] Raw data (loadavg): 0.97 0.90 0.89 3/57 3184 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 211696 0 0 0 12428 574 0 0 25 0 1 0 905051771 50987008 11577 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12448 11577 1111 63 0 12385 0 vsize: 49792 [startup+140.005 s] Raw data (loadavg): 1.05 0.92 0.89 2/54 3197 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 221667 0 0 0 13399 602 0 0 25 0 1 0 905051771 51220480 11661 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12505 11661 1111 63 0 12442 0 vsize: 50020 [startup+150.006 s] Raw data (loadavg): 1.04 0.92 0.89 2/54 3197 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 246257 0 0 0 14331 671 0 0 25 0 1 0 905051771 53137408 12099 4294967295 134512640 134716908 3221224576 3221223140 134535756 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12973 12099 1111 63 0 12910 0 vsize: 51892 [startup+160.006 s] Raw data (loadavg): 1.03 0.92 0.89 2/54 3197 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 261654 0 0 0 15289 713 0 0 25 0 1 0 905051771 54509568 12445 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13308 12445 1111 63 0 13245 0 vsize: 53232 [startup+170.006 s] Raw data (loadavg): 1.03 0.93 0.90 2/54 3197 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 273850 0 0 0 16257 746 0 0 25 0 1 0 905051771 55521280 12692 4294967295 134512640 134716908 3221224576 3221223288 134675274 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13555 12692 1111 63 0 13492 0 vsize: 54220 [startup+180.006 s] Raw data (loadavg): 1.02 0.93 0.90 2/54 3197 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 280018 0 0 0 17239 764 0 0 25 0 1 0 905051771 56696832 12993 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13842 12993 1111 63 0 13779 0 vsize: 55368 [startup+190.006 s] Raw data (loadavg): 1.02 0.93 0.90 2/54 3197 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 282832 0 0 0 18232 771 0 0 25 0 1 0 905051771 57073664 13090 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13934 13090 1111 63 0 13871 0 vsize: 55736 [startup+200.007 s] Raw data (loadavg): 1.02 0.93 0.90 2/54 3197 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 283874 0 0 0 19230 774 0 0 25 0 1 0 905051771 57073664 13090 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13934 13090 1111 63 0 13871 0 vsize: 55736 [startup+210.007 s] Raw data (loadavg): 1.01 0.93 0.90 2/54 3199 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 283874 0 0 0 20230 774 0 0 25 0 1 0 905051771 57073664 13090 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13934 13090 1111 63 0 13871 0 vsize: 55736 [startup+220.007 s] Raw data (loadavg): 1.01 0.94 0.90 2/54 3199 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 283874 0 0 0 21230 774 0 0 25 0 1 0 905051771 57073664 13090 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13934 13090 1111 63 0 13871 0 vsize: 55736 [startup+230.007 s] Raw data (loadavg): 1.01 0.94 0.90 2/54 3199 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 283874 0 0 0 22231 774 0 0 25 0 1 0 905051771 57073664 13090 4294967295 134512640 134716908 3221224576 3221223232 134627277 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13934 13090 1111 63 0 13871 0 vsize: 55736 [startup+240.007 s] Raw data (loadavg): 1.01 0.94 0.90 2/54 3199 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 283874 0 0 0 23231 774 0 0 25 0 1 0 905051771 57073664 13090 4294967295 134512640 134716908 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13934 13090 1111 63 0 13871 0 vsize: 55736 [startup+250.007 s] Raw data (loadavg): 1.00 0.94 0.90 2/54 3199 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 283874 0 0 0 24232 774 0 0 25 0 1 0 905051771 57073664 13090 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13934 13090 1111 63 0 13871 0 vsize: 55736 [startup+260.008 s] Raw data (loadavg): 1.00 0.94 0.90 2/54 3199 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 287016 0 0 0 25224 782 0 0 25 0 1 0 905051771 70090752 16226 4294967295 134512640 134716908 3221224576 3221222788 1077374505 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17112 16229 1111 63 0 17049 0 vsize: 68448 [startup+270.008 s] Raw data (loadavg): 1.00 0.94 0.91 2/54 3199 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 300867 0 0 0 26189 817 0 0 25 0 1 0 905051771 118689792 27798 4294967295 134512640 134716908 3221224576 3221220752 1074882601 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28977 27798 1111 63 0 28914 0 vsize: 115908 [startup+280.008 s] Raw data (loadavg): 1.00 0.94 0.91 2/54 3199 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 302615 0 0 0 27185 820 0 0 25 0 1 0 905051771 119808000 28220 4294967295 134512640 134716908 3221224576 3221222960 1074153749 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29250 28220 1111 63 0 29187 0 vsize: 117000 [startup+290.008 s] Raw data (loadavg): 1.00 0.95 0.91 2/54 3199 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 303860 0 0 0 28183 824 0 0 25 0 1 0 905051771 120963072 28330 4294967295 134512640 134716908 3221224576 3221221344 1076084141 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29532 28330 1111 63 0 29469 0 vsize: 118128 [startup+300.008 s] Raw data (loadavg): 1.00 0.95 0.91 2/54 3199 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 305922 0 0 0 29179 828 0 0 25 0 1 0 905051771 122580992 28909 4294967295 134512640 134716908 3221224576 3221222736 1074206618 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29927 28909 1111 63 0 29864 0 vsize: 119708 [startup+310.008 s] Raw data (loadavg): 1.00 0.95 0.91 2/54 3199 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 307028 0 0 0 30177 830 0 0 25 0 1 0 905051771 122580992 28910 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29927 28910 1111 63 0 29864 0 vsize: 119708 [startup+320.009 s] Raw data (loadavg): 1.00 0.95 0.91 2/54 3199 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 308893 0 0 0 31173 834 0 0 25 0 1 0 905051771 122195968 28817 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29833 28817 1111 63 0 29770 0 vsize: 119332 [startup+330.008 s] Raw data (loadavg): 1.00 0.95 0.91 2/54 3199 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 311232 0 0 0 32166 841 0 0 25 0 1 0 905051771 123199488 28958 4294967295 134512640 134716908 3221224576 3221220672 1074969461 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30078 28958 1111 63 0 30015 0 vsize: 120312 [startup+340.009 s] Raw data (loadavg): 1.00 0.95 0.91 2/54 3199 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 312976 0 0 0 33161 847 0 0 25 0 1 0 905051771 122535936 28868 4294967295 134512640 134716908 3221224576 3221222792 1074138162 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29916 28868 1111 63 0 29853 0 vsize: 119664 [startup+350.009 s] Raw data (loadavg): 1.00 0.95 0.91 2/54 3199 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 314757 0 0 0 34158 850 0 0 25 0 1 0 905051771 122433536 28875 4294967295 134512640 134716908 3221224576 3221222976 1074153812 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29891 28875 1111 63 0 29828 0 vsize: 119564 [startup+360.009 s] Raw data (loadavg): 1.00 0.95 0.91 2/54 3199 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 317569 0 0 0 35151 858 0 0 25 0 1 0 905051771 122396672 28867 4294967295 134512640 134716908 3221224576 3221223328 134558521 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29882 28867 1111 63 0 29819 0 vsize: 119528 [startup+370.009 s] Raw data (loadavg): 1.00 0.95 0.91 2/54 3199 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 319615 0 0 0 36146 863 0 0 25 0 1 0 905051771 123457536 28975 4294967295 134512640 134716908 3221224576 3221220768 1075115747 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30141 28975 1111 63 0 30078 0 vsize: 120564 [startup+380.01 s] Raw data (loadavg): 1.00 0.95 0.91 2/54 3199 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 321861 0 0 0 37140 869 0 0 25 0 1 0 905051771 122986496 29009 4294967295 134512640 134716908 3221224576 3221222872 1074138162 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30026 29009 1111 63 0 29963 0 vsize: 120104 [startup+390.01 s] Raw data (loadavg): 1.00 0.96 0.91 2/54 3199 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 324246 0 0 0 38135 875 0 0 25 0 1 0 905051771 122986496 29009 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30026 29009 1111 63 0 29963 0 vsize: 120104 [startup+400.01 s] Raw data (loadavg): 1.00 0.96 0.91 2/54 3199 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 326390 0 0 0 39129 881 0 0 25 0 1 0 905051771 123092992 29037 4294967295 134512640 134716908 3221224576 3221222976 1074153779 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30052 29037 1111 63 0 29989 0 vsize: 120208 [startup+410.01 s] Raw data (loadavg): 1.00 0.96 0.91 2/54 3199 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 328593 0 0 0 40124 886 0 0 25 0 1 0 905051771 123334656 29095 4294967295 134512640 134716908 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30111 29095 1111 63 0 30048 0 vsize: 120444 [startup+420.01 s] Raw data (loadavg): 1.00 0.96 0.91 2/54 3199 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 331052 0 0 0 41119 892 0 0 25 0 1 0 905051771 124223488 29111 4294967295 134512640 134716908 3221224576 3221221640 1075007302 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30328 29111 1111 63 0 30265 0 vsize: 121312 [startup+430.01 s] Raw data (loadavg): 1.00 0.96 0.91 2/54 3199 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 333219 0 0 0 42113 898 0 0 25 0 1 0 905051771 123482112 29132 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30147 29132 1111 63 0 30084 0 vsize: 120588 [startup+440.01 s] Raw data (loadavg): 1.00 0.96 0.91 2/54 3199 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 334992 0 0 0 43109 902 0 0 25 0 1 0 905051771 123592704 29161 4294967295 134512640 134716908 3221224576 3221222880 1074153800 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30174 29161 1111 63 0 30111 0 vsize: 120696 [startup+450.011 s] Raw data (loadavg): 1.00 0.96 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 336607 0 0 0 44105 907 0 0 25 0 1 0 905051771 123666432 29170 4294967295 134512640 134716908 3221224576 3221223064 1075463333 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30192 29170 1111 63 0 30129 0 vsize: 120768 [startup+460.01 s] Raw data (loadavg): 1.00 0.96 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 338436 0 0 0 45101 911 0 0 25 0 1 0 905051771 124518400 29202 4294967295 134512640 134716908 3221224576 3221220804 1075114950 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30400 29202 1111 63 0 30337 0 vsize: 121600 [startup+470.011 s] Raw data (loadavg): 1.00 0.96 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 340287 0 0 0 46097 916 0 0 25 0 1 0 905051771 123703296 29188 4294967295 134512640 134716908 3221224576 3221222848 1074153663 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30201 29188 1111 63 0 30138 0 vsize: 120804 [startup+480.011 s] Raw data (loadavg): 1.00 0.96 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 342058 0 0 0 47093 920 0 0 25 0 1 0 905051771 123854848 29225 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30238 29225 1111 63 0 30175 0 vsize: 120952 [startup+490.011 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 343654 0 0 0 48088 925 0 0 25 0 1 0 905051771 123940864 29246 4294967295 134512640 134716908 3221224576 3221222888 1074138166 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30259 29246 1111 63 0 30196 0 vsize: 121036 [startup+500.012 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 345212 0 0 0 49085 928 0 0 25 0 1 0 905051771 124751872 29302 4294967295 134512640 134716908 3221224576 3221220800 1074960964 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30457 29302 1111 63 0 30394 0 vsize: 121828 [startup+510.012 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 346767 0 0 0 50081 932 0 0 25 0 1 0 905051771 123981824 29256 4294967295 134512640 134716908 3221224576 3221222872 1074138162 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30269 29256 1111 63 0 30206 0 vsize: 121076 [startup+520.012 s] Raw data (loadavg): 1.00 0.97 0.91 3/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 348314 0 0 0 51078 937 0 0 25 0 1 0 905051771 124239872 29319 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30332 29319 1111 63 0 30269 0 vsize: 121328 [startup+530.013 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 349589 0 0 0 52075 940 0 0 25 0 1 0 905051771 125087744 29376 4294967295 134512640 134716908 3221224576 3221221104 1075397211 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30539 29376 1111 63 0 30476 0 vsize: 122156 [startup+540.014 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 350869 0 0 0 53073 942 0 0 25 0 1 0 905051771 124272640 29320 4294967295 134512640 134716908 3221224576 3221222848 1074153822 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30340 29320 1111 63 0 30277 0 vsize: 121360 [startup+550.014 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 352355 0 0 0 54069 946 0 0 25 0 1 0 905051771 124235776 29318 4294967295 134512640 134716908 3221224576 3221223224 134543568 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30331 29318 1111 63 0 30268 0 vsize: 121324 [startup+560.014 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 353802 0 0 0 55066 949 0 0 25 0 1 0 905051771 124272640 29319 4294967295 134512640 134716908 3221224576 3221222848 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30340 29319 1111 63 0 30277 0 vsize: 121360 [startup+570.014 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 355266 0 0 0 56063 953 0 0 25 0 1 0 905051771 124272640 29319 4294967295 134512640 134716908 3221224576 3221222792 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30340 29319 1111 63 0 30277 0 vsize: 121360 [startup+580.014 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 356849 0 0 0 57058 958 0 0 25 0 1 0 905051771 124391424 29348 4294967295 134512640 134716908 3221224576 3221222880 1074153749 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30369 29348 1111 63 0 30306 0 vsize: 121476 [startup+590.025 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 358512 0 0 0 58055 963 0 0 25 0 1 0 905051771 125243392 29386 4294967295 134512640 134716908 3221224576 3221220736 1074794649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30577 29386 1111 63 0 30514 0 vsize: 122308 [startup+600.025 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 360284 0 0 0 59051 967 0 0 25 0 1 0 905051771 125747200 29516 4294967295 134512640 134716908 3221224576 3221220736 1075091586 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30700 29516 1111 63 0 30637 0 vsize: 122800 [startup+610.026 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 361976 0 0 0 60048 971 0 0 25 0 1 0 905051771 125788160 29536 4294967295 134512640 134716908 3221224576 3221220780 1075564309 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30710 29536 1111 63 0 30647 0 vsize: 122840 [startup+620.027 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 363682 0 0 0 61044 975 0 0 25 0 1 0 905051771 125296640 29497 4294967295 134512640 134716908 3221224576 3221220672 1074969461 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30590 29497 1111 63 0 30527 0 vsize: 122360 [startup+630.027 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 365209 0 0 0 62041 979 0 0 25 0 1 0 905051771 124776448 29450 4294967295 134512640 134716908 3221224576 3221222976 1074153660 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30463 29450 1111 63 0 30400 0 vsize: 121852 [startup+640.028 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 366931 0 0 0 63036 984 0 0 25 0 1 0 905051771 124809216 29451 4294967295 134512640 134716908 3221224576 3221222792 1074138162 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30471 29451 1111 63 0 30408 0 vsize: 121884 [startup+650.029 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 368676 0 0 0 64031 990 0 0 25 0 1 0 905051771 124776448 29450 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30463 29450 1111 63 0 30400 0 vsize: 121852 [startup+660.028 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 370383 0 0 0 65026 994 0 0 25 0 1 0 905051771 124776448 29450 4294967295 134512640 134716908 3221224576 3221222960 1074153822 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30463 29450 1111 63 0 30400 0 vsize: 121852 [startup+670.029 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 372252 0 0 0 66021 1000 0 0 25 0 1 0 905051771 125652992 29582 4294967295 134512640 134716908 3221224576 3221220688 1075093367 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30677 29582 1111 63 0 30614 0 vsize: 122708 [startup+680.029 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 373685 0 0 0 67018 1003 0 0 25 0 1 0 905051771 125001728 29498 4294967295 134512640 134716908 3221224576 3221222976 1074119040 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30518 29498 1111 63 0 30455 0 vsize: 122072 [startup+690.029 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 375825 0 0 0 68012 1009 0 0 25 0 1 0 905051771 125140992 29540 4294967295 134512640 134716908 3221224576 3221223300 134622827 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30552 29540 1111 63 0 30489 0 vsize: 122208 [startup+700.029 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 377833 0 0 0 69007 1015 0 0 25 0 1 0 905051771 124968960 29498 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30510 29498 1111 63 0 30447 0 vsize: 122040 [startup+710.029 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 379356 0 0 0 70003 1019 0 0 25 0 1 0 905051771 124968960 29498 4294967295 134512640 134716908 3221224576 3221222960 1074153675 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30510 29498 1111 63 0 30447 0 vsize: 122040 [startup+720.029 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 381405 0 0 0 70998 1025 0 0 25 0 1 0 905051771 126328832 29521 4294967295 134512640 134716908 3221224576 3221221068 1074798916 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30842 29521 1111 63 0 30779 0 vsize: 123368 [startup+730.029 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 383584 0 0 0 71992 1031 0 0 25 0 1 0 905051771 127270912 29952 4294967295 134512640 134716908 3221224576 3221220848 1074960909 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31072 29952 1111 63 0 31009 0 vsize: 124288 [startup+740.03 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 384861 0 0 0 72989 1034 0 0 25 0 1 0 905051771 125157376 29544 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30556 29544 1111 63 0 30493 0 vsize: 122224 [startup+750.031 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 386331 0 0 0 73985 1038 0 0 25 0 1 0 905051771 125157376 29544 4294967295 134512640 134716908 3221224576 3221222956 1074207648 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30556 29544 1111 63 0 30493 0 vsize: 122224 [startup+760.031 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 387658 0 0 0 74982 1042 0 0 25 0 1 0 905051771 125444096 29609 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30626 29609 1111 63 0 30563 0 vsize: 122504 [startup+770.031 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 389962 0 0 0 75976 1048 0 0 25 0 1 0 905051771 125157376 29544 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30556 29544 1111 63 0 30493 0 vsize: 122224 [startup+780.032 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 391522 0 0 0 76972 1053 0 0 25 0 1 0 905051771 126517248 29579 4294967295 134512640 134716908 3221224576 3221221232 1075967413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30888 29579 1111 63 0 30825 0 vsize: 123552 [startup+790.032 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 393236 0 0 0 77967 1059 0 0 25 0 1 0 905051771 125157376 29544 4294967295 134512640 134716908 3221224576 3221222872 1074138155 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30556 29544 1111 63 0 30493 0 vsize: 122224 [startup+800.033 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 395347 0 0 0 78961 1065 0 0 25 0 1 0 905051771 125157376 29544 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30556 29544 1111 63 0 30493 0 vsize: 122224 [startup+810.033 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 396982 0 0 0 79957 1069 0 0 25 0 1 0 905051771 125157376 29544 4294967295 134512640 134716908 3221224576 3221222872 1074138247 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30556 29544 1111 63 0 30493 0 vsize: 122224 [startup+820.034 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 398484 0 0 0 80953 1074 0 0 25 0 1 0 905051771 125157376 29544 4294967295 134512640 134716908 3221224576 3221222928 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30556 29544 1111 63 0 30493 0 vsize: 122224 [startup+830.034 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 400126 0 0 0 81949 1078 0 0 25 0 1 0 905051771 125198336 29554 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30566 29554 1111 63 0 30503 0 vsize: 122264 [startup+840.034 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 401624 0 0 0 82945 1082 0 0 25 0 1 0 905051771 125157376 29544 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30556 29544 1111 63 0 30493 0 vsize: 122224 [startup+850.034 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 403179 0 0 0 83941 1086 0 0 25 0 1 0 905051771 126517248 29576 4294967295 134512640 134716908 3221224576 3221220632 1074789596 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30888 29576 1111 63 0 30825 0 vsize: 123552 [startup+860.035 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 404920 0 0 0 84937 1091 0 0 25 0 1 0 905051771 125300736 29579 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30591 29579 1111 63 0 30528 0 vsize: 122364 [startup+870.035 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 406465 0 0 0 85932 1096 0 0 25 0 1 0 905051771 125300736 29579 4294967295 134512640 134716908 3221224576 3221222976 1074153800 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30591 29579 1111 63 0 30528 0 vsize: 122364 [startup+880.035 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 408064 0 0 0 86927 1101 0 0 25 0 1 0 905051771 125194240 29554 4294967295 134512640 134716908 3221224576 3221222888 1074138155 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30565 29554 1111 63 0 30502 0 vsize: 122260 [startup+890.035 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 409673 0 0 0 87924 1105 0 0 25 0 1 0 905051771 126668800 29630 4294967295 134512640 134716908 3221224576 3221221648 1074867308 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30925 29630 1111 63 0 30862 0 vsize: 123700 [startup+900.035 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 411144 0 0 0 88920 1109 0 0 25 0 1 0 905051771 125341696 29590 4294967295 134512640 134716908 3221224576 3221222792 1074138166 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30601 29590 1111 63 0 30538 0 vsize: 122404 [startup+910.035 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 412781 0 0 0 89915 1114 0 0 25 0 1 0 905051771 125378560 29599 4294967295 134512640 134716908 3221224576 3221222976 1074153749 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30610 29599 1111 63 0 30547 0 vsize: 122440 [startup+920.036 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 414720 0 0 0 90911 1118 0 0 25 0 1 0 905051771 125419520 29609 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30620 29609 1111 63 0 30557 0 vsize: 122480 [startup+930.036 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 416362 0 0 0 91908 1122 0 0 25 0 1 0 905051771 127488000 29925 4294967295 134512640 134716908 3221224576 3221221104 1075397184 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31125 29925 1111 63 0 31062 0 vsize: 124500 [startup+940.036 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 418327 0 0 0 92902 1128 0 0 25 0 1 0 905051771 125546496 29640 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30651 29640 1111 63 0 30588 0 vsize: 122604 [startup+950.036 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 420085 0 0 0 93897 1134 0 0 25 0 1 0 905051771 127045632 29727 4294967295 134512640 134716908 3221224576 3221220780 1075564316 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31017 29727 1111 63 0 30954 0 vsize: 124068 [startup+960.037 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 421748 0 0 0 94893 1139 0 0 25 0 1 0 905051771 125759488 29679 4294967295 134512640 134716908 3221224576 3221222304 1075635953 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30703 29679 1111 63 0 30640 0 vsize: 122812 [startup+970.037 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 423336 0 0 0 95888 1144 0 0 25 0 1 0 905051771 127209472 29783 4294967295 134512640 134716908 3221224576 3221221080 1074971925 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31057 29783 1111 63 0 30994 0 vsize: 124228 [startup+980.038 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 424610 0 0 0 96885 1147 0 0 25 0 1 0 905051771 125882368 29722 4294967295 134512640 134716908 3221224576 3221222880 1074153749 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30733 29722 1111 63 0 30670 0 vsize: 122932 [startup+990.039 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 426159 0 0 0 97881 1151 0 0 25 0 1 0 905051771 125882368 29722 4294967295 134512640 134716908 3221224576 3221222976 1074153760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30733 29722 1111 63 0 30670 0 vsize: 122932 [startup+1000.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 427713 0 0 0 98878 1155 0 0 25 0 1 0 905051771 125882368 29722 4294967295 134512640 134716908 3221224576 3221222872 1074138166 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30733 29722 1111 63 0 30670 0 vsize: 122932 [startup+1010.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 430053 0 0 0 99872 1161 0 0 25 0 1 0 905051771 125882368 29722 4294967295 134512640 134716908 3221224576 3221222960 1074153749 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30733 29722 1111 63 0 30670 0 vsize: 122932 [startup+1020.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 431968 0 0 0 100868 1166 0 0 25 0 1 0 905051771 125915136 29723 4294967295 134512640 134716908 3221224576 3221222296 1077410205 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30741 29723 1111 63 0 30678 0 vsize: 122964 [startup+1030.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 433912 0 0 0 101863 1171 0 0 25 0 1 0 905051771 126103552 29768 4294967295 134512640 134716908 3221224576 3221222976 1074118792 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30787 29768 1111 63 0 30724 0 vsize: 123148 [startup+1040.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 435812 0 0 0 102858 1176 0 0 25 0 1 0 905051771 126832640 29875 4294967295 134512640 134716908 3221224576 3221222688 1074867305 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30965 29875 1111 63 0 30902 0 vsize: 123860 [startup+1050.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 438075 0 0 0 103854 1181 0 0 25 0 1 0 905051771 126181376 29795 4294967295 134512640 134716908 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30806 29795 1111 63 0 30743 0 vsize: 123224 [startup+1060.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 439992 0 0 0 104850 1185 0 0 25 0 1 0 905051771 126193664 29798 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30809 29798 1111 63 0 30746 0 vsize: 123236 [startup+1070.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 441905 0 0 0 105844 1191 0 0 25 0 1 0 905051771 127557632 29863 4294967295 134512640 134716908 3221224576 3221220848 1074799726 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31142 29863 1111 63 0 31079 0 vsize: 124568 [startup+1080.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 444207 0 0 0 106838 1198 0 0 25 0 1 0 905051771 126308352 29826 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30837 29826 1111 63 0 30774 0 vsize: 123348 [startup+1090.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 445876 0 0 0 107834 1203 0 0 25 0 1 0 905051771 127672320 29865 4294967295 134512640 134716908 3221224576 3221221748 1075964218 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31170 29865 1111 63 0 31107 0 vsize: 124680 [startup+1100.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 447473 0 0 0 108829 1208 0 0 25 0 1 0 905051771 126349312 29833 4294967295 134512640 134716908 3221224576 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30847 29833 1111 63 0 30784 0 vsize: 123388 [startup+1110.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 449288 0 0 0 109825 1212 0 0 25 0 1 0 905051771 126308352 29826 4294967295 134512640 134716908 3221224576 3221222560 1074206862 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30837 29826 1111 63 0 30774 0 vsize: 123348 [startup+1120.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 451635 0 0 0 110819 1218 0 0 25 0 1 0 905051771 128442368 30104 4294967295 134512640 134716908 3221224576 3221220660 1075964437 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31358 30104 1111 63 0 31295 0 vsize: 125432 [startup+1130.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 453611 0 0 0 111814 1224 0 0 25 0 1 0 905051771 128233472 30059 4294967295 134512640 134716908 3221224576 3221220912 1075113502 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31307 30059 1111 63 0 31244 0 vsize: 125228 [startup+1140.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 455110 0 0 0 112810 1228 0 0 25 0 1 0 905051771 128266240 30063 4294967295 134512640 134716908 3221224576 3221221084 1074971924 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31315 30063 1111 63 0 31252 0 vsize: 125260 [startup+1150.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 457091 0 0 0 113807 1231 0 0 25 0 1 0 905051771 128061440 29966 4294967295 134512640 134716908 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31265 29966 1111 63 0 31202 0 vsize: 125060 [startup+1160.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 459030 0 0 0 114802 1236 0 0 25 0 1 0 905051771 126812160 29949 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30960 29949 1111 63 0 30897 0 vsize: 123840 [startup+1170.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 460830 0 0 0 115798 1241 0 0 25 0 1 0 905051771 126697472 29921 4294967295 134512640 134716908 3221224576 3221222792 1074138162 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30932 29921 1111 63 0 30869 0 vsize: 123728 [startup+1175.51 s] Raw data (loadavg): 1.00 0.97 0.91 1/53 3201 Raw data (stat): 3144 (bsolo_lpr_cuts-) R 3143 25568 25567 0 -1 0 460830 0 0 0 115798 1241 0 0 25 0 1 0 905051771 126697472 29921 4294967295 134512640 134716908 3221224576 3221222792 1074138162 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30932 29921 1111 63 0 30869 0 vsize: 0 Child status: 0 Real time (s): 1175.51 CPU time (s): 1175.87 CPU user time (s): 1163.36 CPU system time (s): 12.5021 CPU usage (%): 100.03 Max. virtual memory (Kb): 125432 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####