PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par16-4-c.opb
MD5SUM	fabab1fefe64535b227fac16b2477da8
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	324
Optimality of the best value was proved	NO
Number of terms in the objective function	648
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	648
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	648
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.809876
Number of variables	648
Total number of constraints	1616
Number of constraints which are clauses	1616
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	2
Maximum length of a constraint	3
Trace number 24133

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-08 07:55:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1784 boxname=wulflinc31 idbench=199 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  fabab1fefe64535b227fac16b2477da8  /oldhome/oroussel/tmp/wulflinc31/normalized-par16-4-c.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-par16-4-c.opb
IDLAUNCH: 1784
/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:        141684 kB
Buffers:         41328 kB
Cached:         817412 kB
SwapCached:        644 kB
Active:         491708 kB
Inactive:       369356 kB
HighTotal:      131008 kB
HighFree:         4200 kB
LowTotal:       903652 kB
LowFree:        137484 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26232 kB
Committed_AS:    63648 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-08 08:15:35 (client local time) WITH STATUS 0 IN 1179.66 SECONDS
stats: 1784 7 1179.66 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 648 variables and 1616 constraints.
c After prepocess the problem consists of 618 variables and 2036 constraints.
c preprocess terminated 2.56 s
c Initial Lower Bound: 218
c Lower Bound Elapsed time: 0.9442
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1179.63 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
Raw data (loadavg): 0.92 0.95 0.90 2/54 13252
Raw data (stat): 13252 (runsolver) R 13251 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 690328688 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 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+10.0004 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 5949 0 0 0 977 18 0 0 25 0 1 0 690328688 11517952 1954 4294967295 134512640 134714508 3221221776 3221219500 1077386340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2812 1954 1111 63 0 2749 0
vsize: 11248
[startup+20.0013 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 8785 0 0 0 1971 24 0 0 25 0 1 0 690328688 10186752 1812 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2487 1812 1111 63 0 2424 0
vsize: 9948
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 10675 0 0 0 2967 28 0 0 25 0 1 0 690328688 11866112 1997 4294967295 134512640 134714508 3221221776 3221218048 1074961496 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2897 1997 1111 63 0 2834 0
vsize: 11588
[startup+40.0022 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 13480 0 0 0 3960 36 0 0 25 0 1 0 690328688 11608064 1898 4294967295 134512640 134714508 3221221776 3221217832 1074789815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2834 1898 1111 63 0 2771 0
vsize: 11336
[startup+50.0029 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 16767 0 0 0 4951 45 0 0 25 0 1 0 690328688 10342400 1818 4294967295 134512640 134714508 3221221776 3221219056 1074140016 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2525 1818 1111 63 0 2462 0
vsize: 10100
[startup+60.0029 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 20103 0 0 0 5943 52 0 0 25 0 1 0 690328688 10186752 1812 4294967295 134512640 134714508 3221221776 3221219968 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2487 1812 1111 63 0 2424 0
vsize: 9948
[startup+70.0031 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 23293 0 0 0 6935 60 0 0 25 0 1 0 690328688 11624448 2022 4294967295 134512640 134714508 3221221776 3221217712 1075965248 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2838 2022 1111 63 0 2775 0
vsize: 11352
[startup+80.0037 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 26505 0 0 0 7926 70 0 0 25 0 1 0 690328688 10326016 1847 4294967295 134512640 134714508 3221221776 3221220432 134649997 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2521 1847 1111 63 0 2458 0
vsize: 10084
[startup+90.0036 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 30529 0 0 0 8915 81 0 0 25 0 1 0 690328688 10326016 1847 4294967295 134512640 134714508 3221221776 3221220176 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2521 1847 1111 63 0 2458 0
vsize: 10084
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 33751 0 0 0 9908 88 0 0 25 0 1 0 690328688 11411456 1984 4294967295 134512640 134714508 3221221776 3221217980 1075564194 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2786 1984 1111 63 0 2723 0
vsize: 11144
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 36482 0 0 0 10901 96 0 0 25 0 1 0 690328688 10346496 1852 4294967295 134512640 134714508 3221221776 3221220080 1074153753 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2526 1852 1111 63 0 2463 0
vsize: 10104
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 39395 0 0 0 11892 104 0 0 25 0 1 0 690328688 11911168 1993 4294967295 134512640 134714508 3221221776 3221217936 1074883665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2908 1993 1111 63 0 2845 0
vsize: 11632
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 42271 0 0 0 12885 112 0 0 25 0 1 0 690328688 11235328 1968 4294967295 134512640 134714508 3221221776 3221218800 1074867340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2743 1968 1111 63 0 2680 0
vsize: 10972
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 45340 0 0 0 13878 119 0 0 25 0 1 0 690328688 11960320 2040 4294967295 134512640 134714508 3221221776 3221218240 1075603127 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2920 2040 1111 63 0 2857 0
vsize: 11680
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 48411 0 0 0 14869 128 0 0 25 0 1 0 690328688 10448896 1877 4294967295 134512640 134714508 3221221776 3221220160 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2551 1877 1111 63 0 2488 0
vsize: 10204
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 50995 0 0 0 15862 135 0 0 25 0 1 0 690328688 10735616 1923 4294967295 134512640 134714508 3221221776 3221219056 1074140041 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2621 1929 1111 63 0 2558 0
vsize: 10484
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 53257 0 0 0 16856 141 0 0 25 0 1 0 690328688 12140544 2025 4294967295 134512640 134714508 3221221776 3221217672 1074789536 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2964 2025 1111 63 0 2901 0
vsize: 11856
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 56011 0 0 0 17848 150 0 0 25 0 1 0 690328688 12115968 2017 4294967295 134512640 134714508 3221221776 3221218288 1075084533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2958 2017 1111 63 0 2895 0
vsize: 11832
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 58768 0 0 0 18841 157 0 0 25 0 1 0 690328688 12132352 2137 4294967295 134512640 134714508 3221221776 3221217660 1074788968 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2962 2137 1111 63 0 2899 0
vsize: 11848
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 61316 0 0 0 19834 164 0 0 25 0 1 0 690328688 11730944 2047 4294967295 134512640 134714508 3221221776 3221218048 1074960944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2864 2047 1111 63 0 2801 0
vsize: 11456
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 64002 0 0 0 20828 171 0 0 25 0 1 0 690328688 10518528 1894 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2568 1894 1111 63 0 2505 0
vsize: 10272
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 66453 0 0 0 21821 177 0 0 25 0 1 0 690328688 12038144 2024 4294967295 134512640 134714508 3221221776 3221218004 1075114975 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2939 2024 1111 63 0 2876 0
vsize: 11756
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 69481 0 0 0 22815 184 0 0 25 0 1 0 690328688 11296768 2045 4294967295 134512640 134714508 3221221776 3221217872 1074969680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2758 2045 1111 63 0 2695 0
vsize: 11032
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 72083 0 0 0 23807 192 0 0 25 0 1 0 690328688 10600448 1914 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2588 1914 1111 63 0 2525 0
vsize: 10352
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 74484 0 0 0 24801 198 0 0 25 0 1 0 690328688 11993088 1980 4294967295 134512640 134714508 3221221776 3221218016 1075115732 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2928 1980 1111 63 0 2865 0
vsize: 11712
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 76972 0 0 0 25796 204 0 0 25 0 1 0 690328688 11829248 2066 4294967295 134512640 134714508 3221221776 3221217660 1074788921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2888 2066 1111 63 0 2825 0
vsize: 11552
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 80060 0 0 0 26789 211 0 0 25 0 1 0 690328688 10579968 1909 4294967295 134512640 134714508 3221221776 3221220160 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2583 1909 1111 63 0 2520 0
vsize: 10332
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 82660 0 0 0 27783 216 0 0 25 0 1 0 690328688 12152832 2050 4294967295 134512640 134714508 3221221776 3221217920 1074969970 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2967 2050 1111 63 0 2904 0
vsize: 11868
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 84908 0 0 0 28778 222 0 0 25 0 1 0 690328688 10641408 1924 4294967295 134512640 134714508 3221221776 3221219532 1077411564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2598 1924 1111 63 0 2535 0
vsize: 10392
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 87480 0 0 0 29772 228 0 0 25 0 1 0 690328688 11853824 2130 4294967295 134512640 134714508 3221221776 3221217968 1075115765 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2894 2130 1111 63 0 2831 0
vsize: 11576
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 90134 0 0 0 30766 234 0 0 25 0 1 0 690328688 11755520 2118 4294967295 134512640 134714508 3221221776 3221217872 1074970413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2870 2118 1111 63 0 2807 0
vsize: 11480
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 92222 0 0 0 31762 239 0 0 25 0 1 0 690328688 10842112 1973 4294967295 134512640 134714508 3221221776 3221220136 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2647 1973 1111 63 0 2584 0
vsize: 10588
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 94476 0 0 0 32757 244 0 0 25 0 1 0 690328688 12345344 2100 4294967295 134512640 134714508 3221221776 3221218320 1075088563 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3014 2100 1111 63 0 2951 0
vsize: 12056
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 96892 0 0 0 33751 249 0 0 25 0 1 0 690328688 11161600 2004 4294967295 134512640 134714508 3221221776 3221219504 1075828615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2725 2004 1111 63 0 2662 0
vsize: 10900
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 99070 0 0 0 34744 256 0 0 25 0 1 0 690328688 12541952 2118 4294967295 134512640 134714508 3221221776 3221218816 1075971386 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 2118 1111 63 0 2999 0
vsize: 12248
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 101032 0 0 0 35740 260 0 0 25 0 1 0 690328688 11743232 2144 4294967295 134512640 134714508 3221221776 3221217612 1074788944 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2867 2144 1111 63 0 2804 0
vsize: 11468
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 102882 0 0 0 36736 264 0 0 25 0 1 0 690328688 11726848 2139 4294967295 134512640 134714508 3221221776 3221217612 1074788926 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2863 2139 1111 63 0 2800 0
vsize: 11452
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 105116 0 0 0 37731 269 0 0 25 0 1 0 690328688 11157504 2050 4294967295 134512640 134714508 3221221776 3221220160 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2724 2050 1111 63 0 2661 0
vsize: 10896
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 107682 0 0 0 38725 275 0 0 25 0 1 0 690328688 11849728 2141 4294967295 134512640 134714508 3221221776 3221217888 1074794682 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2893 2141 1111 63 0 2830 0
vsize: 11572
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 109605 0 0 0 39721 280 0 0 25 0 1 0 690328688 12464128 2137 4294967295 134512640 134714508 3221221776 3221218216 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3043 2137 1111 63 0 2980 0
vsize: 12172
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 111673 0 0 0 40716 285 0 0 25 0 1 0 690328688 10964992 2003 4294967295 134512640 134714508 3221221776 3221220160 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2677 2003 1111 63 0 2614 0
vsize: 10708
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 113837 0 0 0 41710 291 0 0 25 0 1 0 690328688 12500992 2144 4294967295 134512640 134714508 3221221776 3221218048 1074961264 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3052 2144 1111 63 0 2989 0
vsize: 12208
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 115969 0 0 0 42705 296 0 0 25 0 1 0 690328688 12230656 2162 4294967295 134512640 134714508 3221221776 3221218048 1074960868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2986 2162 1111 63 0 2923 0
vsize: 11944
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 118262 0 0 0 43700 301 0 0 25 0 1 0 690328688 12271616 2171 4294967295 134512640 134714508 3221221776 3221217788 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2996 2171 1111 63 0 2933 0
vsize: 11984
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 120122 0 0 0 44696 306 0 0 25 0 1 0 690328688 12140544 2173 4294967295 134512640 134714508 3221221776 3221218016 1075115704 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2964 2173 1111 63 0 2901 0
vsize: 11856
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 122252 0 0 0 45690 312 0 0 25 0 1 0 690328688 11931648 2153 4294967295 134512640 134714508 3221221776 3221217692 1074788177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2913 2153 1111 63 0 2850 0
vsize: 11652
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 124730 0 0 0 46685 316 0 0 25 0 1 0 690328688 12570624 2149 4294967295 134512640 134714508 3221221776 3221218004 1075115141 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3069 2149 1111 63 0 3006 0
vsize: 12276
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 127198 0 0 0 47679 323 0 0 25 0 1 0 690328688 12623872 2160 4294967295 134512640 134714508 3221221776 3221217724 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3082 2160 1111 63 0 3019 0
vsize: 12328
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 129506 0 0 0 48674 328 0 0 25 0 1 0 690328688 11182080 2056 4294967295 134512640 134714508 3221221776 3221220088 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2730 2056 1111 63 0 2667 0
vsize: 10920
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 131718 0 0 0 49669 333 0 0 25 0 1 0 690328688 11264000 2076 4294967295 134512640 134714508 3221221776 3221220164 134650128 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2750 2076 1111 63 0 2687 0
vsize: 11000
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 134237 0 0 0 50663 339 0 0 25 0 1 0 690328688 11247616 2072 4294967295 134512640 134714508 3221221776 3221220176 1074153669 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2746 2072 1111 63 0 2683 0
vsize: 10984
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 136337 0 0 0 51658 345 0 0 25 0 1 0 690328688 12402688 2217 4294967295 134512640 134714508 3221221776 3221218304 1075397189 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3028 2217 1111 63 0 2965 0
vsize: 12112
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 138549 0 0 0 52651 351 0 0 25 0 1 0 690328688 12210176 2225 4294967295 134512640 134714508 3221221776 3221217604 1074786501 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2981 2225 1111 63 0 2918 0
vsize: 11924
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 141003 0 0 0 53645 358 0 0 25 0 1 0 690328688 12406784 2238 4294967295 134512640 134714508 3221221776 3221217936 1075095195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3029 2238 1111 63 0 2966 0
vsize: 12116
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 143599 0 0 0 54639 364 0 0 25 0 1 0 690328688 11333632 2093 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2767 2093 1111 63 0 2704 0
vsize: 11068
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 145980 0 0 0 55633 370 0 0 25 0 1 0 690328688 12967936 2254 4294967295 134512640 134714508 3221221776 3221217724 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3166 2254 1111 63 0 3103 0
vsize: 12664
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 148534 0 0 0 56626 377 0 0 25 0 1 0 690328688 12926976 2241 4294967295 134512640 134714508 3221221776 3221218016 1075115704 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3156 2241 1111 63 0 3093 0
vsize: 12624
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 150964 0 0 0 57621 383 0 0 25 0 1 0 690328688 11382784 2105 4294967295 134512640 134714508 3221221776 3221220152 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2779 2105 1111 63 0 2716 0
vsize: 11116
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 153162 0 0 0 58616 387 0 0 25 0 1 0 690328688 13111296 2254 4294967295 134512640 134714508 3221221776 3221218320 1075088563 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3201 2254 1111 63 0 3138 0
vsize: 12804
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 155596 0 0 0 59611 393 0 0 25 0 1 0 690328688 12173312 2245 4294967295 134512640 134714508 3221221776 3221218880 1075969830 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2972 2245 1111 63 0 2909 0
vsize: 11888
[startup+610.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 158166 0 0 0 60605 399 0 0 25 0 1 0 690328688 11452416 2122 4294967295 134512640 134714508 3221221776 3221219880 1077374653 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2796 2122 1111 63 0 2733 0
vsize: 11184
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 160465 0 0 0 61599 405 0 0 25 0 1 0 690328688 12722176 2172 4294967295 134512640 134714508 3221221776 3221218016 1075115752 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3106 2172 1111 63 0 3043 0
vsize: 12424
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 162799 0 0 0 62592 413 0 0 25 0 1 0 690328688 12902400 2204 4294967295 134512640 134714508 3221221776 3221218112 1075113423 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3150 2204 1111 63 0 3087 0
vsize: 12600
[startup+640.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 165304 0 0 0 63585 419 0 0 25 0 1 0 690328688 12472320 2285 4294967295 134512640 134714508 3221221776 3221218240 1075084533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3045 2285 1111 63 0 2982 0
vsize: 12180
[startup+650.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 167621 0 0 0 64579 425 0 0 25 0 1 0 690328688 11546624 2145 4294967295 134512640 134714508 3221221776 3221220160 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2819 2145 1111 63 0 2756 0
vsize: 11276
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 170129 0 0 0 65573 432 0 0 25 0 1 0 690328688 12689408 2304 4294967295 134512640 134714508 3221221776 3221217928 1074883152 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3098 2304 1111 63 0 3035 0
vsize: 12392
[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 172194 0 0 0 66567 438 0 0 25 0 1 0 690328688 13115392 2274 4294967295 134512640 134714508 3221221776 3221218004 1075115065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3202 2274 1111 63 0 3139 0
vsize: 12808
[startup+680.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 174327 0 0 0 67561 444 0 0 25 0 1 0 690328688 13266944 2306 4294967295 134512640 134714508 3221221776 3221218896 1074834317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3239 2306 1111 63 0 3176 0
vsize: 12956
[startup+690.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 177052 0 0 0 68555 450 0 0 25 0 1 0 690328688 12726272 2313 4294967295 134512640 134714508 3221221776 3221218112 1075114274 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3107 2313 1111 63 0 3044 0
vsize: 12428
[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 179384 0 0 0 69549 456 0 0 25 0 1 0 690328688 13148160 2292 4294967295 134512640 134714508 3221221776 3221217904 1075561201 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3210 2292 1111 63 0 3147 0
vsize: 12840
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 181704 0 0 0 70543 463 0 0 25 0 1 0 690328688 13160448 2306 4294967295 134512640 134714508 3221221776 3221218048 1074960800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3213 2306 1111 63 0 3150 0
vsize: 12852
[startup+720.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 184426 0 0 0 71537 468 0 0 25 0 1 0 690328688 11603968 2159 4294967295 134512640 134714508 3221221776 3221219952 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2833 2159 1111 63 0 2770 0
vsize: 11332
[startup+730.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 187104 0 0 0 72531 475 0 0 25 0 1 0 690328688 13189120 2426 4294967295 134512640 134714508 3221221776 3221217920 1074970231 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3220 2426 1111 63 0 3157 0
vsize: 12880
[startup+740.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 189436 0 0 0 73525 481 0 0 25 0 1 0 690328688 13205504 2301 4294967295 134512640 134714508 3221221776 3221217724 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3224 2301 1111 63 0 3161 0
vsize: 12896
[startup+750.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 191575 0 0 0 74520 487 0 0 25 0 1 0 690328688 11743232 2193 4294967295 134512640 134714508 3221221776 3221220176 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2867 2193 1111 63 0 2804 0
vsize: 11468
[startup+760.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 194293 0 0 0 75515 492 0 0 25 0 1 0 690328688 13037568 2359 4294967295 134512640 134714508 3221221776 3221217788 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3183 2359 1111 63 0 3120 0
vsize: 12732
[startup+770.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 196752 0 0 0 76508 498 0 0 25 0 1 0 690328688 13492224 2344 4294967295 134512640 134714508 3221221776 3221218320 1075088560 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3294 2344 1111 63 0 3231 0
vsize: 13176
[startup+780.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 198711 0 0 0 77504 503 0 0 25 0 1 0 690328688 13152256 2381 4294967295 134512640 134714508 3221221776 3221218696 1074950102 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3211 2381 1111 63 0 3148 0
vsize: 12844
[startup+790.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 200829 0 0 0 78498 509 0 0 25 0 1 0 690328688 12005376 2257 4294967295 134512640 134714508 3221221776 3221220080 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2931 2257 1111 63 0 2868 0
vsize: 11724
[startup+800.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 202728 0 0 0 79494 513 0 0 25 0 1 0 690328688 11984896 2252 4294967295 134512640 134714508 3221221776 3221219968 1074153660 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2926 2252 1111 63 0 2863 0
vsize: 11704
[startup+810.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 205070 0 0 0 80488 519 0 0 25 0 1 0 690328688 13402112 2359 4294967295 134512640 134714508 3221221776 3221217644 1074787912 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3272 2359 1111 63 0 3209 0
vsize: 13088
[startup+820.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 207312 0 0 0 81483 524 0 0 25 0 1 0 690328688 13266944 2486 4294967295 134512640 134714508 3221221776 3221218000 1074960903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3239 2486 1111 63 0 3176 0
vsize: 12956
[startup+830.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 209261 0 0 0 82477 530 0 0 25 0 1 0 690328688 12722176 2366 4294967295 134512640 134714508 3221221776 3221217696 1075965248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3106 2366 1111 63 0 3043 0
vsize: 12424
[startup+840.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 210613 0 0 0 83474 533 0 0 25 0 1 0 690328688 13492224 2386 4294967295 134512640 134714508 3221221776 3221217904 1075561092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3294 2386 1111 63 0 3231 0
vsize: 13176
[startup+850.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 212349 0 0 0 84470 538 0 0 25 0 1 0 690328688 13492224 2416 4294967295 134512640 134714508 3221221776 3221217868 1075663518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3294 2416 1111 63 0 3231 0
vsize: 13176
[startup+860.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 214176 0 0 0 85466 542 0 0 25 0 1 0 690328688 13492224 2501 4294967295 134512640 134714508 3221221776 3221218080 1075895212 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3294 2501 1111 63 0 3231 0
vsize: 13176
[startup+870.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 215719 0 0 0 86462 547 0 0 25 0 1 0 690328688 13492224 2384 4294967295 134512640 134714508 3221221776 3221218016 1075115747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3294 2384 1111 63 0 3231 0
vsize: 13176
[startup+880.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 217619 0 0 0 87457 551 0 0 25 0 1 0 690328688 13074432 2406 4294967295 134512640 134714508 3221221776 3221217936 1075094871 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3192 2406 1111 63 0 3129 0
vsize: 12768
[startup+890.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 219396 0 0 0 88452 557 0 0 25 0 1 0 690328688 12238848 2314 4294967295 134512640 134714508 3221221776 3221220160 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2988 2314 1111 63 0 2925 0
vsize: 11952
[startup+900.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 221648 0 0 0 89447 562 0 0 25 0 1 0 690328688 13524992 2489 4294967295 134512640 134714508 3221221776 3221218288 1075084533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3302 2489 1111 63 0 3239 0
vsize: 13208
[startup+910.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 223428 0 0 0 90443 566 0 0 25 0 1 0 690328688 13627392 2412 4294967295 134512640 134714508 3221221776 3221217644 1074787699 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3327 2412 1111 63 0 3264 0
vsize: 13308
[startup+920.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 225126 0 0 0 91438 571 0 0 25 0 1 0 690328688 12845056 2409 4294967295 134512640 134714508 3221221776 3221218732 1074621030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3136 2409 1111 63 0 3073 0
vsize: 12544
[startup+930.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 227092 0 0 0 92434 575 0 0 25 0 1 0 690328688 13643776 2419 4294967295 134512640 134714508 3221221776 3221217936 1075090398 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3331 2419 1111 63 0 3268 0
vsize: 13324
[startup+940.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 229017 0 0 0 93428 581 0 0 25 0 1 0 690328688 12238848 2314 4294967295 134512640 134714508 3221221776 3221219992 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2988 2314 1111 63 0 2925 0
vsize: 11952
[startup+950.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 231036 0 0 0 94424 585 0 0 25 0 1 0 690328688 12238848 2314 4294967295 134512640 134714508 3221221776 3221220176 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2988 2314 1111 63 0 2925 0
vsize: 11952
[startup+960.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 233004 0 0 0 95420 590 0 0 25 0 1 0 690328688 13152256 2461 4294967295 134512640 134714508 3221221776 3221217968 1075115712 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3211 2461 1111 63 0 3148 0
vsize: 12844
[startup+970.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 234708 0 0 0 96414 595 0 0 25 0 1 0 690328688 13729792 2426 4294967295 134512640 134714508 3221221776 3221218048 1074961264 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3352 2426 1111 63 0 3289 0
vsize: 13408
[startup+980.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 236564 0 0 0 97411 599 0 0 25 0 1 0 690328688 13729792 2409 4294967295 134512640 134714508 3221221776 3221217832 1074789553 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3352 2409 1111 63 0 3289 0
vsize: 13408
[startup+990.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 238662 0 0 0 98406 604 0 0 25 0 1 0 690328688 13258752 2420 4294967295 134512640 134714508 3221221776 3221217660 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3237 2420 1111 63 0 3174 0
vsize: 12948
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 240982 0 0 0 99400 610 0 0 25 0 1 0 690328688 12554240 2331 4294967295 134512640 134714508 3221221776 3221219696 1075799723 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3065 2331 1111 63 0 3002 0
vsize: 12260
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 243360 0 0 0 100396 615 0 0 25 0 1 0 690328688 13492224 2363 4294967295 134512640 134714508 3221221776 3221217820 1074873478 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3294 2363 1111 63 0 3231 0
vsize: 13176
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 245078 0 0 0 101393 618 0 0 25 0 1 0 690328688 12238848 2314 4294967295 134512640 134714508 3221221776 3221219780 1076999581 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2988 2314 1111 63 0 2925 0
vsize: 11952
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 246743 0 0 0 102388 622 0 0 25 0 1 0 690328688 12238848 2314 4294967295 134512640 134714508 3221221776 3221220032 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2988 2314 1111 63 0 2925 0
vsize: 11952
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 248899 0 0 0 103383 628 0 0 25 0 1 0 690328688 12988416 2413 4294967295 134512640 134714508 3221221776 3221217740 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3171 2413 1111 63 0 3108 0
vsize: 12684
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 251166 0 0 0 104379 633 0 0 25 0 1 0 690328688 13303808 2436 4294967295 134512640 134714508 3221221776 3221218288 1075084528 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3248 2436 1111 63 0 3185 0
vsize: 12992
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 253601 0 0 0 105373 639 0 0 25 0 1 0 690328688 12406784 2355 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3029 2355 1111 63 0 2966 0
vsize: 12116
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 255622 0 0 0 106368 644 0 0 25 0 1 0 690328688 13824000 2464 4294967295 134512640 134714508 3221221776 3221218588 1074788968 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3375 2464 1111 63 0 3312 0
vsize: 13500
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 257958 0 0 0 107363 649 0 0 25 0 1 0 690328688 13660160 2400 4294967295 134512640 134714508 3221221776 3221217996 1074878559 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3335 2400 1111 63 0 3272 0
vsize: 13340
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 260158 0 0 0 108358 654 0 0 25 0 1 0 690328688 13819904 2578 4294967295 134512640 134714508 3221221776 3221217708 1074788177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3374 2578 1111 63 0 3311 0
vsize: 13496
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 261986 0 0 0 109353 659 0 0 25 0 1 0 690328688 12681216 2413 4294967295 134512640 134714508 3221221776 3221218968 1074138316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3096 2414 1111 63 0 3033 0
vsize: 12384
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 264417 0 0 0 110348 665 0 0 25 0 1 0 690328688 13164544 2483 4294967295 134512640 134714508 3221221776 3221217828 1075964296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3214 2483 1111 63 0 3151 0
vsize: 12856
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 266721 0 0 0 111342 670 0 0 25 0 1 0 690328688 14131200 2518 4294967295 134512640 134714508 3221221776 3221217984 1074815253 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3450 2518 1111 63 0 3387 0
vsize: 13800
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 269125 0 0 0 112337 676 0 0 25 0 1 0 690328688 12558336 2392 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3066 2392 1111 63 0 3003 0
vsize: 12264
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 271294 0 0 0 113332 681 0 0 25 0 1 0 690328688 14286848 2536 4294967295 134512640 134714508 3221221776 3221218016 1075115709 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3488 2536 1111 63 0 3425 0
vsize: 13952
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 273450 0 0 0 114327 686 0 0 25 0 1 0 690328688 13590528 2565 4294967295 134512640 134714508 3221221776 3221217956 1075115046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3318 2565 1111 63 0 3255 0
vsize: 13272
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 275763 0 0 0 115321 692 0 0 25 0 1 0 690328688 14213120 2528 4294967295 134512640 134714508 3221221776 3221217820 1074873379 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3470 2528 1111 63 0 3407 0
vsize: 13880
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 278068 0 0 0 116315 698 0 0 25 0 1 0 690328688 13516800 2527 4294967295 134512640 134714508 3221221776 3221218168 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3300 2527 1111 63 0 3237 0
vsize: 13200
[startup+1179.54 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 13252
Raw data (stat): 13252 (bsolo_lpr_cuts) R 13251 7876 7672 0 -1 0 278068 0 0 0 116315 698 0 0 25 0 1 0 690328688 13516800 2527 4294967295 134512640 134714508 3221221776 3221218168 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3300 2527 1111 63 0 3237 0
vsize: 0

Child status: 0
Real time (s): 1179.54
CPU time (s): 1179.66
CPU user time (s): 1172.63
CPU system time (s): 7.03293
CPU usage (%): 100.01
Max. virtual memory (Kb): 13952
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####