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/aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr.opb
MD5SUM	88aaed929c30a489c8806c3852596de3
Bench Category	no optimization function (SAT)
Has Objective Function	NO
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	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	56
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.173973
Number of variables	5500
Total number of constraints	210
Number of constraints which are clauses	110
Number of constraints which are cardinality constraints (but not clauses)	100
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	50
Maximum length of a constraint	55
Trace number 23243

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 20:43:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=182 boxname=wulflinc31 idbench=21 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  88aaed929c30a489c8806c3852596de3  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl50_55_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-chnl50_55_pb.cnf.cr.opb
IDLAUNCH: 182
/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:        929728 kB
Buffers:         36732 kB
Cached:          46044 kB
SwapCached:        864 kB
Active:          71224 kB
Inactive:        14000 kB
HighTotal:      131008 kB
HighFree:        83804 kB
LowTotal:       903652 kB
LowFree:        845924 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13980 kB
Committed_AS:    63636 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 21:03:31 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 182 7 1175.03 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 5500 variables and 210 constraints.
c After prepocess the problem consists of 5500 variables and 210 constraints.
c preprocess terminated 2.782 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 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.98 0.91 2/54 14827
Raw data (stat): 14827 (runsolver) R 14826 7876 7672 0 -1 64 1 0 0 0 0 0 0 0 19 0 1 0 634450352 1056768 98 4294967295 134512640 135381576 3221221680 3221217120 134514566 0 0 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 98 215 215 0 43 0
vsize: 1032
[startup+9.99985 s]
Raw data (loadavg): 0.93 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 1962 0 0 0 987 7 0 0 25 0 1 0 634450352 11309056 1883 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2761 1883 1111 63 0 2698 0
vsize: 11044
[startup+20.0006 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 1983 0 0 0 1985 10 0 0 25 0 1 0 634450352 11444224 1904 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2794 1904 1111 63 0 2731 0
vsize: 11176
[startup+30.0005 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2004 0 0 0 2984 11 0 0 25 0 1 0 634450352 11444224 1925 4294967295 134512640 134714508 3221221776 3221220564 134586138 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2794 1925 1111 63 0 2731 0
vsize: 11176
[startup+40.0005 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2007 0 0 0 3982 12 0 0 25 0 1 0 634450352 11444224 1928 4294967295 134512640 134714508 3221221776 3221220264 134697457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2794 1928 1111 63 0 2731 0
vsize: 11176
[startup+50.0004 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2038 0 0 0 4981 14 0 0 25 0 1 0 634450352 11579392 1959 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2827 1959 1111 63 0 2764 0
vsize: 11308
[startup+60.0003 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2038 0 0 0 5979 16 0 0 25 0 1 0 634450352 11579392 1959 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2827 1959 1111 63 0 2764 0
vsize: 11308
[startup+70.0014 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2052 0 0 0 6977 17 0 0 25 0 1 0 634450352 11714560 1973 4294967295 134512640 134714508 3221221776 3221220416 134696081 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2860 1973 1111 63 0 2797 0
vsize: 11440
[startup+80.0022 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2052 0 0 0 7975 19 0 0 25 0 1 0 634450352 11714560 1973 4294967295 134512640 134714508 3221221776 3221220432 134543681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2860 1973 1111 63 0 2797 0
vsize: 11440
[startup+90.0034 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2052 0 0 0 8973 22 0 0 25 0 1 0 634450352 11714560 1973 4294967295 134512640 134714508 3221221776 3221220344 1077377218 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2860 1973 1111 63 0 2797 0
vsize: 11440
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2063 0 0 0 9970 25 0 0 25 0 1 0 634450352 11714560 1984 4294967295 134512640 134714508 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2860 1984 1111 63 0 2797 0
vsize: 11440
[startup+110.003 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2063 0 0 0 10968 27 0 0 25 0 1 0 634450352 11714560 1984 4294967295 134512640 134714508 3221221776 3221220344 1077377527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2860 1984 1111 63 0 2797 0
vsize: 11440
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2110 0 0 0 11966 29 0 0 25 0 1 0 634450352 11849728 2031 4294967295 134512640 134714508 3221221776 3221220400 134696344 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2893 2031 1111 63 0 2830 0
vsize: 11572
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2150 0 0 0 12964 31 0 0 25 0 1 0 634450352 12120064 2071 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2959 2071 1111 63 0 2896 0
vsize: 11836
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2175 0 0 0 13962 33 0 0 25 0 1 0 634450352 12120064 2096 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2959 2096 1111 63 0 2896 0
vsize: 11836
[startup+150.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2175 0 0 0 14960 35 0 0 25 0 1 0 634450352 12120064 2096 4294967295 134512640 134714508 3221221776 3221220520 134551624 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2959 2096 1111 63 0 2896 0
vsize: 11836
[startup+160.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2186 0 0 0 15959 37 0 0 25 0 1 0 634450352 12255232 2107 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2992 2107 1111 63 0 2929 0
vsize: 11968
[startup+170.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2196 0 0 0 16957 39 0 0 25 0 1 0 634450352 12255232 2117 4294967295 134512640 134714508 3221221776 3221220416 134695929 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2992 2117 1111 63 0 2929 0
vsize: 11968
[startup+180.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2196 0 0 0 17955 41 0 0 25 0 1 0 634450352 12255232 2117 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2992 2117 1111 63 0 2929 0
vsize: 11968
[startup+190.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2224 0 0 0 18954 42 0 0 25 0 1 0 634450352 12390400 2145 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3025 2145 1111 63 0 2962 0
vsize: 12100
[startup+200.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2224 0 0 0 19953 44 0 0 25 0 1 0 634450352 12390400 2145 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3025 2145 1111 63 0 2962 0
vsize: 12100
[startup+210.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2224 0 0 0 20952 45 0 0 25 0 1 0 634450352 12390400 2145 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3025 2145 1111 63 0 2962 0
vsize: 12100
[startup+220.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2224 0 0 0 21951 46 0 0 25 0 1 0 634450352 12390400 2145 4294967295 134512640 134714508 3221221776 3221220480 134528481 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3025 2145 1111 63 0 2962 0
vsize: 12100
[startup+230.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2224 0 0 0 22950 47 0 0 25 0 1 0 634450352 12390400 2145 4294967295 134512640 134714508 3221221776 3221220520 134672936 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3025 2145 1111 63 0 2962 0
vsize: 12100
[startup+240.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2224 0 0 0 23948 50 0 0 25 0 1 0 634450352 12390400 2145 4294967295 134512640 134714508 3221221776 3221220336 134696536 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3025 2145 1111 63 0 2962 0
vsize: 12100
[startup+250.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2238 0 0 0 24947 51 0 0 25 0 1 0 634450352 12390400 2159 4294967295 134512640 134714508 3221221776 3221220544 134592516 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3025 2159 1111 63 0 2962 0
vsize: 12100
[startup+260.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2244 0 0 0 25945 52 0 0 25 0 1 0 634450352 12525568 2165 4294967295 134512640 134714508 3221221776 3221220508 134532440 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3058 2165 1111 63 0 2995 0
vsize: 12232
[startup+270.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2253 0 0 0 26944 55 0 0 25 0 1 0 634450352 12521472 2174 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3057 2174 1111 63 0 2994 0
vsize: 12228
[startup+280.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2253 0 0 0 27942 56 0 0 25 0 1 0 634450352 12521472 2174 4294967295 134512640 134714508 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3057 2174 1111 63 0 2994 0
vsize: 12228
[startup+290.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2259 0 0 0 28941 58 0 0 25 0 1 0 634450352 12521472 2180 4294967295 134512640 134714508 3221221776 3221220336 134696489 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3057 2180 1111 63 0 2994 0
vsize: 12228
[startup+300.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2259 0 0 0 29939 59 0 0 25 0 1 0 634450352 12521472 2180 4294967295 134512640 134714508 3221221776 3221220384 134549318 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3057 2180 1111 63 0 2994 0
vsize: 12228
[startup+310.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2259 0 0 0 30938 61 0 0 25 0 1 0 634450352 12521472 2180 4294967295 134512640 134714508 3221221776 3221220416 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3057 2180 1111 63 0 2994 0
vsize: 12228
[startup+320.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2259 0 0 0 31937 62 0 0 25 0 1 0 634450352 12521472 2180 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3057 2180 1111 63 0 2994 0
vsize: 12228
[startup+330.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2268 0 0 0 32935 64 0 0 25 0 1 0 634450352 12521472 2189 4294967295 134512640 134714508 3221221776 3221220560 134529421 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3057 2189 1111 63 0 2994 0
vsize: 12228
[startup+340.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2268 0 0 0 33934 65 0 0 25 0 1 0 634450352 12521472 2189 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3057 2189 1111 63 0 2994 0
vsize: 12228
[startup+350.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2274 0 0 0 34932 67 0 0 25 0 1 0 634450352 12521472 2195 4294967295 134512640 134714508 3221221776 3221220368 134542297 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3057 2195 1111 63 0 2994 0
vsize: 12228
[startup+360.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2274 0 0 0 35931 69 0 0 25 0 1 0 634450352 12521472 2195 4294967295 134512640 134714508 3221221776 3221220448 1076647554 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3057 2195 1111 63 0 2994 0
vsize: 12228
[startup+370.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2281 0 0 0 36929 71 0 0 25 0 1 0 634450352 12656640 2202 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3090 2202 1111 63 0 3027 0
vsize: 12360
[startup+380.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2289 0 0 0 37928 72 0 0 25 0 1 0 634450352 12656640 2210 4294967295 134512640 134714508 3221221776 3221220172 1077379924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3090 2210 1111 63 0 3027 0
vsize: 12360
[startup+390.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2307 0 0 0 38927 73 0 0 25 0 1 0 634450352 12656640 2228 4294967295 134512640 134714508 3221221776 3221220400 134542368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3090 2228 1111 63 0 3027 0
vsize: 12360
[startup+400.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2307 0 0 0 39926 75 0 0 25 0 1 0 634450352 12656640 2228 4294967295 134512640 134714508 3221221776 3221220416 134696064 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3090 2228 1111 63 0 3027 0
vsize: 12360
[startup+410.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2307 0 0 0 40924 77 0 0 25 0 1 0 634450352 12656640 2228 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3090 2228 1111 63 0 3027 0
vsize: 12360
[startup+420.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2313 0 0 0 41922 79 0 0 25 0 1 0 634450352 12791808 2234 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3123 2234 1111 63 0 3060 0
vsize: 12492
[startup+430.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2337 0 0 0 42920 81 0 0 25 0 1 0 634450352 12791808 2258 4294967295 134512640 134714508 3221221776 3221220572 134555017 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3123 2258 1111 63 0 3060 0
vsize: 12492
[startup+440.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2410 0 0 0 43919 82 0 0 25 0 1 0 634450352 13197312 2331 4294967295 134512640 134714508 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3222 2331 1111 63 0 3159 0
vsize: 12888
[startup+450.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2440 0 0 0 44918 84 0 0 25 0 1 0 634450352 13307904 2361 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3249 2361 1111 63 0 3186 0
vsize: 12996
[startup+460.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2485 0 0 0 45916 86 0 0 25 0 1 0 634450352 13443072 2406 4294967295 134512640 134714508 3221221776 3221220384 134549470 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3282 2406 1111 63 0 3219 0
vsize: 13128
[startup+470.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2517 0 0 0 46914 88 0 0 25 0 1 0 634450352 13565952 2438 4294967295 134512640 134714508 3221221776 3221220428 1076530932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3312 2438 1111 63 0 3249 0
vsize: 13248
[startup+480.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2517 0 0 0 47913 89 0 0 25 0 1 0 634450352 13565952 2438 4294967295 134512640 134714508 3221221776 3221220544 134592401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3312 2438 1111 63 0 3249 0
vsize: 13248
[startup+490.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2534 0 0 0 48912 91 0 0 25 0 1 0 634450352 13701120 2455 4294967295 134512640 134714508 3221221776 3221220560 134528780 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3345 2455 1111 63 0 3282 0
vsize: 13380
[startup+500.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2535 0 0 0 49910 92 0 0 25 0 1 0 634450352 13701120 2456 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3345 2456 1111 63 0 3282 0
vsize: 13380
[startup+510.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2549 0 0 0 50909 94 0 0 25 0 1 0 634450352 13701120 2470 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3345 2470 1111 63 0 3282 0
vsize: 13380
[startup+520.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2564 0 0 0 51907 96 0 0 25 0 1 0 634450352 13836288 2485 4294967295 134512640 134714508 3221221776 3221220480 134528538 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3378 2485 1111 63 0 3315 0
vsize: 13512
[startup+530.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2564 0 0 0 52906 97 0 0 25 0 1 0 634450352 13836288 2485 4294967295 134512640 134714508 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3378 2485 1111 63 0 3315 0
vsize: 13512
[startup+540.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2564 0 0 0 53905 99 0 0 25 0 1 0 634450352 13836288 2485 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3378 2485 1111 63 0 3315 0
vsize: 13512
[startup+550.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2583 0 0 0 54903 100 0 0 25 0 1 0 634450352 13836288 2504 4294967295 134512640 134714508 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3378 2504 1111 63 0 3315 0
vsize: 13512
[startup+560.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2583 0 0 0 55902 102 0 0 25 0 1 0 634450352 13836288 2504 4294967295 134512640 134714508 3221221776 3221220400 1077377136 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3378 2504 1111 63 0 3315 0
vsize: 13512
[startup+570.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2598 0 0 0 56900 103 0 0 25 0 1 0 634450352 13971456 2519 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3411 2519 1111 63 0 3348 0
vsize: 13644
[startup+580.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2608 0 0 0 57899 105 0 0 25 0 1 0 634450352 13946880 2529 4294967295 134512640 134714508 3221221776 3221220316 134539217 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3405 2529 1111 63 0 3342 0
vsize: 13620
[startup+590.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2615 0 0 0 58897 107 0 0 25 0 1 0 634450352 13946880 2536 4294967295 134512640 134714508 3221221776 3221220328 134696846 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3405 2536 1111 63 0 3342 0
vsize: 13620
[startup+600.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2626 0 0 0 59896 108 0 0 25 0 1 0 634450352 14082048 2547 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3438 2547 1111 63 0 3375 0
vsize: 13752
[startup+610.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2666 0 0 0 60895 109 0 0 25 0 1 0 634450352 14217216 2587 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3471 2587 1111 63 0 3408 0
vsize: 13884
[startup+620.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2666 0 0 0 61894 111 0 0 25 0 1 0 634450352 14217216 2587 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3471 2587 1111 63 0 3408 0
vsize: 13884
[startup+630.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2666 0 0 0 62892 112 0 0 25 0 1 0 634450352 14217216 2587 4294967295 134512640 134714508 3221221776 3221220432 134536707 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3471 2587 1111 63 0 3408 0
vsize: 13884
[startup+640.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2666 0 0 0 63892 113 0 0 25 0 1 0 634450352 14217216 2587 4294967295 134512640 134714508 3221221776 3221220392 134548551 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3471 2587 1111 63 0 3408 0
vsize: 13884
[startup+650.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2666 0 0 0 64891 115 0 0 25 0 1 0 634450352 14217216 2587 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3471 2587 1111 63 0 3408 0
vsize: 13884
[startup+660.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2666 0 0 0 65890 116 0 0 25 0 1 0 634450352 14217216 2587 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3471 2587 1111 63 0 3408 0
vsize: 13884
[startup+670.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2677 0 0 0 66889 117 0 0 25 0 1 0 634450352 14217216 2598 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3471 2598 1111 63 0 3408 0
vsize: 13884
[startup+680.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2677 0 0 0 67888 118 0 0 25 0 1 0 634450352 14217216 2598 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3471 2598 1111 63 0 3408 0
vsize: 13884
[startup+690.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2677 0 0 0 68886 120 0 0 25 0 1 0 634450352 14217216 2598 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3471 2598 1111 63 0 3408 0
vsize: 13884
[startup+700.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2678 0 0 0 69883 123 0 0 25 0 1 0 634450352 14217216 2599 4294967295 134512640 134714508 3221221776 3221220544 134551796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3471 2599 1111 63 0 3408 0
vsize: 13884
[startup+710.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2680 0 0 0 70882 125 0 0 25 0 1 0 634450352 14217216 2601 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3471 2601 1111 63 0 3408 0
vsize: 13884
[startup+720.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2690 0 0 0 71880 127 0 0 25 0 1 0 634450352 14352384 2611 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3504 2611 1111 63 0 3441 0
vsize: 14016
[startup+730.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2706 0 0 0 72879 128 0 0 25 0 1 0 634450352 14352384 2627 4294967295 134512640 134714508 3221221776 3221220372 134542369 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3504 2627 1111 63 0 3441 0
vsize: 14016
[startup+740.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2706 0 0 0 73877 130 0 0 25 0 1 0 634450352 14352384 2627 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3504 2627 1111 63 0 3441 0
vsize: 14016
[startup+750.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2716 0 0 0 74876 132 0 0 25 0 1 0 634450352 14352384 2637 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3504 2637 1111 63 0 3441 0
vsize: 14016
[startup+760.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2716 0 0 0 75874 134 0 0 25 0 1 0 634450352 14352384 2637 4294967295 134512640 134714508 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3504 2637 1111 63 0 3441 0
vsize: 14016
[startup+770.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2754 0 0 0 76872 136 0 0 25 0 1 0 634450352 14487552 2675 4294967295 134512640 134714508 3221221776 3221220480 134524405 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3537 2675 1111 63 0 3474 0
vsize: 14148
[startup+780.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2755 0 0 0 77871 137 0 0 25 0 1 0 634450352 14487552 2676 4294967295 134512640 134714508 3221221776 3221220632 134589925 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3537 2676 1111 63 0 3474 0
vsize: 14148
[startup+790.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2779 0 0 0 78869 139 0 0 25 0 1 0 634450352 14622720 2700 4294967295 134512640 134714508 3221221776 3221220408 134552673 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3570 2700 1111 63 0 3507 0
vsize: 14280
[startup+800.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2780 0 0 0 79868 140 0 0 25 0 1 0 634450352 14622720 2701 4294967295 134512640 134714508 3221221776 3221220544 134528789 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3570 2701 1111 63 0 3507 0
vsize: 14280
[startup+810.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2787 0 0 0 80867 142 0 0 25 0 1 0 634450352 14622720 2708 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3570 2708 1111 63 0 3507 0
vsize: 14280
[startup+820.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2787 0 0 0 81866 143 0 0 25 0 1 0 634450352 14622720 2708 4294967295 134512640 134714508 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3570 2708 1111 63 0 3507 0
vsize: 14280
[startup+830.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2787 0 0 0 82865 144 0 0 25 0 1 0 634450352 14622720 2708 4294967295 134512640 134714508 3221221776 3221220456 134524423 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3570 2708 1111 63 0 3507 0
vsize: 14280
[startup+840.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2787 0 0 0 83864 145 0 0 25 0 1 0 634450352 14622720 2708 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3570 2708 1111 63 0 3507 0
vsize: 14280
[startup+850.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2787 0 0 0 84863 146 0 0 25 0 1 0 634450352 14622720 2708 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3570 2708 1111 63 0 3507 0
vsize: 14280
[startup+860.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2787 0 0 0 85862 148 0 0 25 0 1 0 634450352 14622720 2708 4294967295 134512640 134714508 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3570 2708 1111 63 0 3507 0
vsize: 14280
[startup+870.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2787 0 0 0 86861 149 0 0 25 0 1 0 634450352 14622720 2708 4294967295 134512640 134714508 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3570 2708 1111 63 0 3507 0
vsize: 14280
[startup+880.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2787 0 0 0 87859 151 0 0 25 0 1 0 634450352 14622720 2708 4294967295 134512640 134714508 3221221776 3221220384 134523350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3570 2708 1111 63 0 3507 0
vsize: 14280
[startup+890.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2803 0 0 0 88857 153 0 0 25 0 1 0 634450352 14757888 2724 4294967295 134512640 134714508 3221221776 3221220520 134672932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3603 2724 1111 63 0 3540 0
vsize: 14412
[startup+900.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2803 0 0 0 89855 155 0 0 25 0 1 0 634450352 14757888 2724 4294967295 134512640 134714508 3221221776 3221220396 134613966 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3603 2724 1111 63 0 3540 0
vsize: 14412
[startup+910.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2811 0 0 0 90854 156 0 0 25 0 1 0 634450352 14757888 2732 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3603 2732 1111 63 0 3540 0
vsize: 14412
[startup+920.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2811 0 0 0 91853 158 0 0 25 0 1 0 634450352 14757888 2732 4294967295 134512640 134714508 3221221776 3221220432 134536614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3603 2732 1111 63 0 3540 0
vsize: 14412
[startup+930.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2835 0 0 0 92851 159 0 0 25 0 1 0 634450352 14893056 2756 4294967295 134512640 134714508 3221221776 3221220384 134548843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3636 2756 1111 63 0 3573 0
vsize: 14544
[startup+940.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2835 0 0 0 93850 161 0 0 25 0 1 0 634450352 14893056 2756 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3636 2756 1111 63 0 3573 0
vsize: 14544
[startup+950.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2848 0 0 0 94849 162 0 0 25 0 1 0 634450352 14893056 2769 4294967295 134512640 134714508 3221221776 3221220384 134548843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3636 2769 1111 63 0 3573 0
vsize: 14544
[startup+960.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 14827
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2871 0 0 0 95846 165 0 0 25 0 1 0 634450352 15024128 2792 4294967295 134512640 134714508 3221221776 3221220584 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3668 2792 1111 63 0 3605 0
vsize: 14672
[startup+970.033 s]
Raw data (loadavg): 0.99 0.98 0.91 3/57 14864
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2871 0 0 0 96841 170 0 0 25 0 1 0 634450352 15024128 2792 4294967295 134512640 134714508 3221221776 3221220460 134523848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3668 2792 1111 63 0 3605 0
vsize: 14672
[startup+980.033 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 14880
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2871 0 0 0 97840 171 0 0 25 0 1 0 634450352 15024128 2792 4294967295 134512640 134714508 3221221776 3221220312 134613965 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3668 2792 1111 63 0 3605 0
vsize: 14672
[startup+990.034 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 14880
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2881 0 0 0 98838 173 0 0 25 0 1 0 634450352 15024128 2802 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3668 2802 1111 63 0 3605 0
vsize: 14672
[startup+1000.03 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 14880
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2881 0 0 0 99837 174 0 0 25 0 1 0 634450352 15024128 2802 4294967295 134512640 134714508 3221221776 3221220332 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3668 2802 1111 63 0 3605 0
vsize: 14672
[startup+1010.03 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 14880
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2886 0 0 0 100836 176 0 0 25 0 1 0 634450352 15024128 2807 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3668 2807 1111 63 0 3605 0
vsize: 14672
[startup+1020.03 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 14880
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2923 0 0 0 101835 177 0 0 25 0 1 0 634450352 15294464 2844 4294967295 134512640 134714508 3221221776 3221220464 134524417 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3734 2844 1111 63 0 3671 0
vsize: 14936
[startup+1030.03 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 14880
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2923 0 0 0 102834 178 0 0 25 0 1 0 634450352 15294464 2844 4294967295 134512640 134714508 3221221776 3221220332 134535631 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3734 2844 1111 63 0 3671 0
vsize: 14936
[startup+1040.04 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 14882
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2932 0 0 0 103833 180 0 0 25 0 1 0 634450352 15294464 2853 4294967295 134512640 134714508 3221221776 3221220456 134552633 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3734 2853 1111 63 0 3671 0
vsize: 14936
[startup+1050.04 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 14882
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2932 0 0 0 104832 181 0 0 25 0 1 0 634450352 15294464 2853 4294967295 134512640 134714508 3221221776 3221220336 134552038 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3734 2853 1111 63 0 3671 0
vsize: 14936
[startup+1060.04 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 14882
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2932 0 0 0 105830 182 0 0 25 0 1 0 634450352 15294464 2853 4294967295 134512640 134714508 3221221776 3221220508 1076648036 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3734 2853 1111 63 0 3671 0
vsize: 14936
[startup+1070.04 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 14882
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2932 0 0 0 106830 183 0 0 25 0 1 0 634450352 15294464 2853 4294967295 134512640 134714508 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3734 2853 1111 63 0 3671 0
vsize: 14936
[startup+1080.04 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 14882
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2932 0 0 0 107829 184 0 0 25 0 1 0 634450352 15294464 2853 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3734 2853 1111 63 0 3671 0
vsize: 14936
[startup+1090.04 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 14882
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2932 0 0 0 108827 185 0 0 25 0 1 0 634450352 15294464 2853 4294967295 134512640 134714508 3221221776 3221220384 134523184 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3734 2853 1111 63 0 3671 0
vsize: 14936
[startup+1100.04 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 14882
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2937 0 0 0 109826 187 0 0 25 0 1 0 634450352 15294464 2858 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3734 2858 1111 63 0 3671 0
vsize: 14936
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14882
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2965 0 0 0 110824 189 0 0 25 0 1 0 634450352 15413248 2886 4294967295 134512640 134714508 3221221776 3221220528 134591920 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3763 2886 1111 63 0 3700 0
vsize: 15052
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14882
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2965 0 0 0 111823 190 0 0 25 0 1 0 634450352 15413248 2886 4294967295 134512640 134714508 3221221776 3221220452 1077374488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3763 2886 1111 63 0 3700 0
vsize: 15052
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14882
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2965 0 0 0 112822 191 0 0 25 0 1 0 634450352 15413248 2886 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3763 2886 1111 63 0 3700 0
vsize: 15052
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14882
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2966 0 0 0 113821 193 0 0 25 0 1 0 634450352 15413248 2887 4294967295 134512640 134714508 3221221776 3221220524 134672920 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3763 2887 1111 63 0 3700 0
vsize: 15052
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14882
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2966 0 0 0 114820 194 0 0 25 0 1 0 634450352 15413248 2887 4294967295 134512640 134714508 3221221776 3221220384 134549713 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3763 2887 1111 63 0 3700 0
vsize: 15052
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14882
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 2967 0 0 0 115819 195 0 0 25 0 1 0 634450352 15413248 2888 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3763 2888 1111 63 0 3700 0
vsize: 15052
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14882
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 3000 0 0 0 116818 196 0 0 25 0 1 0 634450352 15548416 2921 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3796 2921 1111 63 0 3733 0
vsize: 15184
[startup+1174.92 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 14882
Raw data (stat): 14827 (bsolo_lpr_cuts) R 14826 7876 7672 0 -1 0 3000 0 0 0 116818 196 0 0 25 0 1 0 634450352 15548416 2921 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3796 2921 1111 63 0 3733 0
vsize: 0

Child status: 0
Real time (s): 1174.92
CPU time (s): 1175.03
CPU user time (s): 1173.05
CPU system time (s): 1.9787
CPU usage (%): 100.01
Max. virtual memory (Kb): 15184
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####