Name | normalized-opb/submitted/een/normalized-mitre.opb |
MD5SUM | a32373ce42835aed9464b28f5a9ed13c |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 8818 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 9324 |
Biggest coefficient in the objective function | 213 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 909647 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 1069 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 909647 |
Number of bits of the biggest sum of numbers | 20 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.18 |
Number of variables | 10724 |
Total number of constraints | 2045 |
Number of constraints which are clauses | 523 |
Number of constraints which are cardinality constraints (but not clauses) | 1139 |
Number of constraints which are nor clauses,nor cardinality constraints | 383 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 98 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-16 20:30:07 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=5123 boxname=wulflinc31 idbench=395 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: a32373ce42835aed9464b28f5a9ed13c /oldhome/oroussel/tmp/wulflinc31/normalized-mitre.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mitre.opb IDLAUNCH: 5123 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 765884 kB Buffers: 51628 kB Cached: 187344 kB SwapCached: 1952 kB Active: 202376 kB Inactive: 45532 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 765632 kB SwapTotal: 2097892 kB SwapFree: 2095228 kB Dirty: 60 kB Writeback: 0 kB Mapped: 5380 kB Slab: 15244 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-16 20:50:09 (client local time) WITH STATUS 0 IN 1200.22 SECONDS stats: 5123 7 1200.22 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 10724 variables and 2045 constraints. #### 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.95 1.07 1.03 2/55 17331 Raw data (stat): 17331 (runsolver) R 17330 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 763982287 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+9.99967 s] Raw data (loadavg): 0.96 1.07 1.02 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 6100 0 0 0 978 17 0 0 25 0 1 0 763982287 20975616 4222 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5121 4222 1111 63 0 5058 0 vsize: 20484 [startup+20.0006 s] Raw data (loadavg): 0.97 1.06 1.02 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 11550 0 0 0 1961 34 0 0 25 0 1 0 763982287 25567232 5344 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6242 5344 1111 63 0 6179 0 vsize: 24968 [startup+30.0005 s] Raw data (loadavg): 0.97 1.06 1.02 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 14282 0 0 0 2953 42 0 0 25 0 1 0 763982287 28700672 6109 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7007 6109 1111 63 0 6944 0 vsize: 28028 [startup+40.0004 s] Raw data (loadavg): 0.97 1.06 1.02 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 16876 0 0 0 3945 50 0 0 25 0 1 0 763982287 34578432 7543 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8442 7543 1111 63 0 8379 0 vsize: 33768 [startup+50.0018 s] Raw data (loadavg): 0.98 1.06 1.02 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 17545 0 0 0 4943 52 0 0 25 0 1 0 763982287 36208640 7942 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8840 7942 1111 63 0 8777 0 vsize: 35360 [startup+60.0013 s] Raw data (loadavg): 0.98 1.05 1.02 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 18839 0 0 0 5939 56 0 0 25 0 1 0 763982287 37883904 8351 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9249 8351 1111 63 0 9186 0 vsize: 36996 [startup+70.0023 s] Raw data (loadavg): 0.98 1.05 1.02 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 19788 0 0 0 6936 60 0 0 25 0 1 0 763982287 39297024 8696 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9594 8696 1111 63 0 9531 0 vsize: 38376 [startup+80.0022 s] Raw data (loadavg): 0.98 1.05 1.02 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 21339 0 0 0 7931 65 0 0 25 0 1 0 763982287 40198144 8916 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9814 8916 1111 63 0 9751 0 vsize: 39256 [startup+90.0021 s] Raw data (loadavg): 0.99 1.05 1.02 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 22913 0 0 0 8926 70 0 0 25 0 1 0 763982287 41402368 9210 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10108 9210 1111 63 0 10045 0 vsize: 40432 [startup+100.002 s] Raw data (loadavg): 0.99 1.05 1.02 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 24688 0 0 0 9921 75 0 0 25 0 1 0 763982287 42557440 9492 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10390 9492 1111 63 0 10327 0 vsize: 41560 [startup+110.002 s] Raw data (loadavg): 0.99 1.04 1.02 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 25988 0 0 0 10917 79 0 0 25 0 1 0 763982287 43159552 9639 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10537 9639 1111 63 0 10474 0 vsize: 42148 [startup+120.003 s] Raw data (loadavg): 0.99 1.04 1.01 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 26982 0 0 0 11914 82 0 0 25 0 1 0 763982287 44322816 9923 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10821 9923 1111 63 0 10758 0 vsize: 43284 [startup+130.003 s] Raw data (loadavg): 0.99 1.04 1.01 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 28162 0 0 0 12911 86 0 0 25 0 1 0 763982287 45223936 10143 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11041 10143 1111 63 0 10978 0 vsize: 44164 [startup+140.003 s] Raw data (loadavg): 0.99 1.04 1.01 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 30031 0 0 0 13906 91 0 0 25 0 1 0 763982287 51490816 11672 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12571 11672 1111 63 0 12508 0 vsize: 50284 [startup+150.004 s] Raw data (loadavg): 0.99 1.04 1.01 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 30135 0 0 0 14905 92 0 0 25 0 1 0 763982287 51789824 11746 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12644 11746 1111 63 0 12581 0 vsize: 50576 [startup+160.004 s] Raw data (loadavg): 0.99 1.03 1.01 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 30301 0 0 0 15905 92 0 0 25 0 1 0 763982287 52346880 11882 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12780 11882 1111 63 0 12717 0 vsize: 51120 [startup+170.004 s] Raw data (loadavg): 0.99 1.03 1.01 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 30301 0 0 0 16905 93 0 0 25 0 1 0 763982287 52346880 11882 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12780 11882 1111 63 0 12717 0 vsize: 51120 [startup+180.003 s] Raw data (loadavg): 0.99 1.03 1.01 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 31812 0 0 0 17900 97 0 0 25 0 1 0 763982287 53678080 12206 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13105 12206 1111 63 0 13042 0 vsize: 52420 [startup+190.004 s] Raw data (loadavg): 0.99 1.03 1.01 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 32392 0 0 0 18899 99 0 0 25 0 1 0 763982287 54538240 12416 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13315 12416 1111 63 0 13252 0 vsize: 53260 [startup+200.004 s] Raw data (loadavg): 0.99 1.03 1.01 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 32581 0 0 0 19898 100 0 0 25 0 1 0 763982287 55308288 12605 4294967295 134512640 134714508 3221221792 3221220544 134630795 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13503 12605 1111 63 0 13440 0 vsize: 54012 [startup+210.004 s] Raw data (loadavg): 0.99 1.03 1.01 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 32780 0 0 0 20897 101 0 0 25 0 1 0 763982287 56123392 12804 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13702 12804 1111 63 0 13639 0 vsize: 54808 [startup+220.005 s] Raw data (loadavg): 0.99 1.03 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 34029 0 0 0 21894 104 0 0 25 0 1 0 763982287 56983552 13013 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13912 13013 1111 63 0 13849 0 vsize: 55648 [startup+230.006 s] Raw data (loadavg): 0.99 1.02 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 34943 0 0 0 22891 107 0 0 25 0 1 0 763982287 57368576 13107 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14006 13107 1111 63 0 13943 0 vsize: 56024 [startup+240.006 s] Raw data (loadavg): 0.99 1.02 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 35182 0 0 0 23890 108 0 0 25 0 1 0 763982287 58138624 13296 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14194 13296 1111 63 0 14131 0 vsize: 56776 [startup+250.006 s] Raw data (loadavg): 0.99 1.02 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 36293 0 0 0 24887 111 0 0 25 0 1 0 763982287 58998784 13505 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14404 13505 1111 63 0 14341 0 vsize: 57616 [startup+260.006 s] Raw data (loadavg): 0.99 1.02 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 36887 0 0 0 25886 113 0 0 25 0 1 0 763982287 61100032 14019 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14917 14019 1111 63 0 14854 0 vsize: 59668 [startup+270.006 s] Raw data (loadavg): 0.99 1.02 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 37865 0 0 0 26884 115 0 0 25 0 1 0 763982287 61100032 14019 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14917 14019 1111 63 0 14854 0 vsize: 59668 [startup+280.006 s] Raw data (loadavg): 0.99 1.02 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 38866 0 0 0 27881 118 0 0 25 0 1 0 763982287 61743104 14176 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15074 14176 1111 63 0 15011 0 vsize: 60296 [startup+290.007 s] Raw data (loadavg): 0.99 1.02 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 39705 0 0 0 28879 121 0 0 25 0 1 0 763982287 64405504 14825 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15724 14825 1111 63 0 15661 0 vsize: 62896 [startup+300.007 s] Raw data (loadavg): 0.99 1.02 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 39705 0 0 0 29878 121 0 0 25 0 1 0 763982287 64405504 14825 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15724 14825 1111 63 0 15661 0 vsize: 62896 [startup+310.007 s] Raw data (loadavg): 0.99 1.02 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 39705 0 0 0 30878 122 0 0 25 0 1 0 763982287 64405504 14825 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15724 14825 1111 63 0 15661 0 vsize: 62896 [startup+320.007 s] Raw data (loadavg): 0.99 1.02 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 40410 0 0 0 31876 124 0 0 25 0 1 0 763982287 65396736 15068 4294967295 134512640 134714508 3221221792 3221220372 1077374508 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15966 15068 1111 63 0 15903 0 vsize: 63864 [startup+330.007 s] Raw data (loadavg): 0.99 1.01 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 40553 0 0 0 32875 125 0 0 25 0 1 0 763982287 65699840 15141 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16040 15141 1111 63 0 15977 0 vsize: 64160 [startup+340.007 s] Raw data (loadavg): 0.99 1.01 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 41066 0 0 0 33873 127 0 0 25 0 1 0 763982287 66211840 15267 4294967295 134512640 134714508 3221221792 3221220464 134606809 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16165 15267 1111 63 0 16102 0 vsize: 64660 [startup+350.008 s] Raw data (loadavg): 0.99 1.01 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 41770 0 0 0 34871 129 0 0 25 0 1 0 763982287 68358144 15791 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16689 15791 1111 63 0 16626 0 vsize: 66756 [startup+360.008 s] Raw data (loadavg): 0.99 1.01 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 42453 0 0 0 35868 132 0 0 25 0 1 0 763982287 68616192 15854 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16752 15854 1111 63 0 16689 0 vsize: 67008 [startup+370.008 s] Raw data (loadavg): 0.99 1.01 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 43290 0 0 0 36866 135 0 0 25 0 1 0 763982287 69259264 16011 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16909 16011 1111 63 0 16846 0 vsize: 67636 [startup+380.008 s] Raw data (loadavg): 0.99 1.01 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 43489 0 0 0 37865 135 0 0 25 0 1 0 763982287 70074368 16210 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17108 16210 1111 63 0 17045 0 vsize: 68432 [startup+390.008 s] Raw data (loadavg): 0.99 1.01 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 43802 0 0 0 38864 137 0 0 25 0 1 0 763982287 70332416 16273 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17171 16273 1111 63 0 17108 0 vsize: 68684 [startup+400.009 s] Raw data (loadavg): 0.99 1.01 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 44939 0 0 0 39860 140 0 0 25 0 1 0 763982287 70934528 16420 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17318 16420 1111 63 0 17255 0 vsize: 69272 [startup+410.009 s] Raw data (loadavg): 0.99 1.01 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 45382 0 0 0 40859 142 0 0 25 0 1 0 763982287 71233536 16493 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17391 16493 1111 63 0 17328 0 vsize: 69564 [startup+420.01 s] Raw data (loadavg): 0.99 1.01 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 46738 0 0 0 41855 146 0 0 25 0 1 0 763982287 73420800 17027 4294967295 134512640 134714508 3221221792 3221220448 134606273 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17925 17027 1111 63 0 17862 0 vsize: 71700 [startup+430.01 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 46926 0 0 0 42854 147 0 0 25 0 1 0 763982287 74194944 17215 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18114 17215 1111 63 0 18051 0 vsize: 72456 [startup+440.01 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 47400 0 0 0 43853 149 0 0 25 0 1 0 763982287 74452992 17279 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18177 17279 1111 63 0 18114 0 vsize: 72708 [startup+450.011 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 48306 0 0 0 44850 152 0 0 25 0 1 0 763982287 75051008 17425 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18323 17425 1111 63 0 18260 0 vsize: 73292 [startup+460.011 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 48710 0 0 0 45848 154 0 0 25 0 1 0 763982287 75354112 17499 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18397 17499 1111 63 0 18334 0 vsize: 73588 [startup+470.012 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 49813 0 0 0 46845 157 0 0 25 0 1 0 763982287 75997184 17655 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18554 17655 1111 63 0 18491 0 vsize: 74216 [startup+480.012 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 50148 0 0 0 47844 158 0 0 25 0 1 0 763982287 77328384 17980 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18879 17980 1111 63 0 18816 0 vsize: 75516 [startup+490.012 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 50354 0 0 0 48843 159 0 0 25 0 1 0 763982287 77885440 18116 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19015 18116 1111 63 0 18952 0 vsize: 76060 [startup+500.014 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 50869 0 0 0 49841 161 0 0 25 0 1 0 763982287 79171584 18431 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19329 18431 1111 63 0 19266 0 vsize: 77316 [startup+510.013 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 51675 0 0 0 50838 165 0 0 25 0 1 0 763982287 79773696 18577 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19476 18577 1111 63 0 19413 0 vsize: 77904 [startup+520.013 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 51811 0 0 0 51837 166 0 0 25 0 1 0 763982287 80330752 18713 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19612 18713 1111 63 0 19549 0 vsize: 78448 [startup+530.014 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 51925 0 0 0 52837 166 0 0 25 0 1 0 763982287 80588800 18777 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19675 18777 1111 63 0 19612 0 vsize: 78700 [startup+540.015 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 52921 0 0 0 53834 170 0 0 25 0 1 0 763982287 82989056 19363 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20261 19363 1111 63 0 20198 0 vsize: 81044 [startup+550.015 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 53077 0 0 0 54833 170 0 0 25 0 1 0 763982287 83505152 19489 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20387 19489 1111 63 0 20324 0 vsize: 81548 [startup+560.015 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 53857 0 0 0 55830 174 0 0 25 0 1 0 763982287 83505152 19489 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20387 19489 1111 63 0 20324 0 vsize: 81548 [startup+570.016 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 54223 0 0 0 56829 175 0 0 25 0 1 0 763982287 84107264 19635 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20534 19635 1111 63 0 20471 0 vsize: 82136 [startup+580.016 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 54652 0 0 0 57828 176 0 0 25 0 1 0 763982287 84922368 19834 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20733 19834 1111 63 0 20670 0 vsize: 82932 [startup+590.016 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 54885 0 0 0 58828 177 0 0 25 0 1 0 763982287 85225472 19908 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20807 19908 1111 63 0 20744 0 vsize: 83228 [startup+600.017 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 55553 0 0 0 59825 179 0 0 25 0 1 0 763982287 85225472 19909 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20807 19909 1111 63 0 20744 0 vsize: 83228 [startup+610.017 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 55892 0 0 0 60824 180 0 0 25 0 1 0 763982287 86126592 20128 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21027 20128 1111 63 0 20964 0 vsize: 84108 [startup+620.017 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 56037 0 0 0 61824 181 0 0 25 0 1 0 763982287 86126592 20129 4294967295 134512640 134714508 3221221792 3221220464 134607132 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21027 20129 1111 63 0 20964 0 vsize: 84108 [startup+630.016 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 56512 0 0 0 62822 183 0 0 25 0 1 0 763982287 86724608 20275 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21173 20275 1111 63 0 21110 0 vsize: 84692 [startup+640.017 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 56685 0 0 0 63821 184 0 0 25 0 1 0 763982287 86982656 20338 4294967295 134512640 134714508 3221221792 3221220404 134557788 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21236 20338 1111 63 0 21173 0 vsize: 84944 [startup+650.018 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 57618 0 0 0 64818 187 0 0 25 0 1 0 763982287 87326720 20421 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21320 20421 1111 63 0 21257 0 vsize: 85280 [startup+660.017 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 57742 0 0 0 65817 188 0 0 25 0 1 0 763982287 87584768 20485 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21383 20485 1111 63 0 21320 0 vsize: 85532 [startup+670.017 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 58328 0 0 0 66815 190 0 0 25 0 1 0 763982287 88182784 20631 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21529 20631 1111 63 0 21466 0 vsize: 86116 [startup+680.018 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 58516 0 0 0 67815 191 0 0 25 0 1 0 763982287 88956928 20819 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21718 20819 1111 63 0 21655 0 vsize: 86872 [startup+690.018 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 58730 0 0 0 68814 192 0 0 25 0 1 0 763982287 89255936 20893 4294967295 134512640 134714508 3221221792 3221220432 134555029 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21791 20893 1111 63 0 21728 0 vsize: 87164 [startup+700.018 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 58890 0 0 0 69814 193 0 0 25 0 1 0 763982287 89255936 20893 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21791 20893 1111 63 0 21728 0 vsize: 87164 [startup+710.019 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 59734 0 0 0 70811 195 0 0 25 0 1 0 763982287 89255936 20893 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21791 20893 1111 63 0 21728 0 vsize: 87164 [startup+720.019 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 60164 0 0 0 71810 197 0 0 25 0 1 0 763982287 89899008 21050 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21948 21050 1111 63 0 21885 0 vsize: 87792 [startup+730.019 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 60277 0 0 0 72809 198 0 0 25 0 1 0 763982287 90202112 21123 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22022 21123 1111 63 0 21959 0 vsize: 88088 [startup+740.02 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 60466 0 0 0 73808 198 0 0 25 0 1 0 763982287 90972160 21312 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22210 21312 1111 63 0 22147 0 vsize: 88840 [startup+750.021 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 61545 0 0 0 74806 201 0 0 25 0 1 0 763982287 95391744 22391 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23289 22391 1111 63 0 23226 0 vsize: 93156 [startup+760.021 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 61831 0 0 0 75805 202 0 0 25 0 1 0 763982287 95907840 22517 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23415 22517 1111 63 0 23352 0 vsize: 93660 [startup+770.021 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 62185 0 0 0 76804 204 0 0 25 0 1 0 763982287 97239040 22841 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23740 22841 1111 63 0 23677 0 vsize: 94960 [startup+780.021 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 62197 0 0 0 77803 205 0 0 25 0 1 0 763982287 97374208 22853 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23773 22853 1111 63 0 23710 0 vsize: 95092 [startup+790.022 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 62271 0 0 0 78803 205 0 0 25 0 1 0 763982287 97587200 22927 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23825 22927 1111 63 0 23762 0 vsize: 95300 [startup+800.023 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 62396 0 0 0 79802 206 0 0 25 0 1 0 763982287 98103296 23052 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23951 23052 1111 63 0 23888 0 vsize: 95804 [startup+810.022 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 62817 0 0 0 80801 207 0 0 25 0 1 0 763982287 98103296 23053 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23951 23053 1111 63 0 23888 0 vsize: 95804 [startup+820.023 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 63166 0 0 0 81799 209 0 0 25 0 1 0 763982287 98959360 23262 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24160 23262 1111 63 0 24097 0 vsize: 96640 [startup+830.024 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 63166 0 0 0 82799 209 0 0 25 0 1 0 763982287 98959360 23262 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24160 23262 1111 63 0 24097 0 vsize: 96640 [startup+840.024 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 63488 0 0 0 83799 210 0 0 25 0 1 0 763982287 100032512 23524 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24422 23524 1111 63 0 24359 0 vsize: 97688 [startup+850.025 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 63488 0 0 0 84799 211 0 0 25 0 1 0 763982287 100032512 23524 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 24422 23524 1111 63 0 24359 0 vsize: 97688 [startup+860.026 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 63624 0 0 0 85798 211 0 0 25 0 1 0 763982287 100589568 23660 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24558 23660 1111 63 0 24495 0 vsize: 98232 [startup+870.026 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 63760 0 0 0 86798 211 0 0 25 0 1 0 763982287 101150720 23796 4294967295 134512640 134714508 3221221792 3221220528 134618275 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24695 23796 1111 63 0 24632 0 vsize: 98780 [startup+880.026 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 63886 0 0 0 87798 211 0 0 25 0 1 0 763982287 101662720 23922 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24820 23922 1111 63 0 24757 0 vsize: 99280 [startup+890.027 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 63959 0 0 0 88798 212 0 0 25 0 1 0 763982287 101965824 23995 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24894 23995 1111 63 0 24831 0 vsize: 99576 [startup+900.028 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 64085 0 0 0 89798 212 0 0 25 0 1 0 763982287 102477824 24121 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25019 24121 1111 63 0 24956 0 vsize: 100076 [startup+910.028 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 65415 0 0 0 90796 214 0 0 25 0 1 0 763982287 107929600 25451 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26350 25451 1111 63 0 26287 0 vsize: 105400 [startup+920.029 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 65478 0 0 0 91796 215 0 0 25 0 1 0 763982287 108187648 25514 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26413 25514 1111 63 0 26350 0 vsize: 105652 [startup+930.029 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 65478 0 0 0 92795 215 0 0 25 0 1 0 763982287 108187648 25514 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26413 25514 1111 63 0 26350 0 vsize: 105652 [startup+940.029 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 65478 0 0 0 93795 215 0 0 25 0 1 0 763982287 108187648 25514 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26413 25514 1111 63 0 26350 0 vsize: 105652 [startup+950.031 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 65478 0 0 0 94796 216 0 0 25 0 1 0 763982287 108187648 25514 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26413 25514 1111 63 0 26350 0 vsize: 105652 [startup+960.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 65478 0 0 0 95796 216 0 0 25 0 1 0 763982287 108187648 25514 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26413 25514 1111 63 0 26350 0 vsize: 105652 [startup+970.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 65478 0 0 0 96796 216 0 0 25 0 1 0 763982287 108187648 25514 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26413 25514 1111 63 0 26350 0 vsize: 105652 [startup+980.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 65478 0 0 0 97796 216 0 0 25 0 1 0 763982287 108187648 25514 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26413 25514 1111 63 0 26350 0 vsize: 105652 [startup+990.031 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 66797 0 0 0 98792 220 0 0 25 0 1 0 763982287 108187648 25515 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26413 25515 1111 63 0 26350 0 vsize: 105652 [startup+1000.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 67351 0 0 0 99791 221 0 0 25 0 1 0 763982287 109215744 25765 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26664 25765 1111 63 0 26601 0 vsize: 106656 [startup+1010.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 67362 0 0 0 100791 221 0 0 25 0 1 0 763982287 109215744 25766 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26664 25766 1111 63 0 26601 0 vsize: 106656 [startup+1020.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 67362 0 0 0 101791 221 0 0 25 0 1 0 763982287 109215744 25766 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26664 25766 1111 63 0 26601 0 vsize: 106656 [startup+1030.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 67545 0 0 0 102791 222 0 0 25 0 1 0 763982287 109559808 25849 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26748 25849 1111 63 0 26685 0 vsize: 106992 [startup+1040.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 67846 0 0 0 103790 223 0 0 25 0 1 0 763982287 109559808 25850 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26748 25850 1111 63 0 26685 0 vsize: 106992 [startup+1050.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 68079 0 0 0 104789 224 0 0 25 0 1 0 763982287 109903872 25933 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26832 25933 1111 63 0 26769 0 vsize: 107328 [startup+1060.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 68215 0 0 0 105789 224 0 0 25 0 1 0 763982287 110460928 26069 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26968 26069 1111 63 0 26905 0 vsize: 107872 [startup+1070.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 68278 0 0 0 106789 224 0 0 25 0 1 0 763982287 110718976 26132 4294967295 134512640 134714508 3221221792 3221220480 134606735 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 27031 26132 1111 63 0 26968 0 vsize: 108124 [startup+1080.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 68451 0 0 0 107788 225 0 0 25 0 1 0 763982287 110972928 26195 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 27093 26195 1111 63 0 27030 0 vsize: 108372 [startup+1090.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 69528 0 0 0 108785 228 0 0 25 0 1 0 763982287 111833088 26382 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 27303 26388 1111 63 0 27240 0 vsize: 109212 [startup+1100.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 70100 0 0 0 109784 230 0 0 25 0 1 0 763982287 113164288 26729 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 27628 26729 1111 63 0 27565 0 vsize: 110512 [startup+1110.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 70100 0 0 0 110784 230 0 0 25 0 1 0 763982287 113164288 26729 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 27628 26729 1111 63 0 27565 0 vsize: 110512 [startup+1120.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 70291 0 0 0 111784 230 0 0 25 0 1 0 763982287 113164288 26730 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 27628 26730 1111 63 0 27565 0 vsize: 110512 [startup+1130.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 71071 0 0 0 112782 232 0 0 25 0 1 0 763982287 113164288 26730 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 27628 26730 1111 63 0 27565 0 vsize: 110512 [startup+1140.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 71377 0 0 0 113781 233 0 0 25 0 1 0 763982287 113762304 26876 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 27774 26876 1111 63 0 27711 0 vsize: 111096 [startup+1150.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 71656 0 0 0 114781 234 0 0 25 0 1 0 763982287 114536448 27065 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 27963 27065 1111 63 0 27900 0 vsize: 111852 [startup+1160.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 72156 0 0 0 115779 235 0 0 25 0 1 0 763982287 114536448 27065 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 27963 27065 1111 63 0 27900 0 vsize: 111852 [startup+1170.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 72805 0 0 0 116778 237 0 0 25 0 1 0 763982287 115392512 27274 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28172 27274 1111 63 0 28109 0 vsize: 112688 [startup+1180.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 72878 0 0 0 117778 237 0 0 25 0 1 0 763982287 115695616 27347 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28246 27347 1111 63 0 28183 0 vsize: 112984 [startup+1190.04 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 73169 0 0 0 118777 238 0 0 25 0 1 0 763982287 115695616 27348 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28246 27348 1111 63 0 28183 0 vsize: 112984 [startup+1200.04 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 17331 Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 74005 0 0 0 119775 240 0 0 25 0 1 0 763982287 116338688 27504 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28403 27504 1111 63 0 28340 0 vsize: 113612 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.09 s] Raw data (loadavg): 0.99 1.00 1.00 1/55 17331 Raw data (stat): 17331 (bsolo_lpr) Z 17330 7876 7672 0 -1 1036 74005 0 0 0 119775 245 0 0 25 0 1 0 763982287 0 0 4294967295 0 0 0 0 0 0 0 1 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.22 CPU user time (s): 1197.76 CPU system time (s): 2.45863 CPU usage (%): 100.011 Max. virtual memory (Kb): 113612 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####