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_51_pb.cnf.cr.opb
MD5SUM	00bdc6bb9bafd4b1100d8bfa4f886626
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	52
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.156976
Number of variables	5100
Total number of constraints	202
Number of constraints which are clauses	102
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	51
Trace number 40570

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-08 15:03:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28634 boxname=wulflinc3 idbench=20 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  00bdc6bb9bafd4b1100d8bfa4f886626  /oldhome/oroussel/tmp/wulflinc3/normalized-chnl50_51_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-chnl50_51_pb.cnf.cr.opb
IDLAUNCH: 28634
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        763892 kB
Buffers:          9268 kB
Cached:         241796 kB
SwapCached:        808 kB
Active:          32648 kB
Inactive:       220492 kB
HighTotal:      131008 kB
HighFree:         4536 kB
LowTotal:       903652 kB
LowFree:        759356 kB
SwapTotal:     2097136 kB
SwapFree:      2095332 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            12020 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 15:22:47 (client local time) WITH STATUS 0 IN 1175.02 SECONDS
stats: 28634 7 1175.02 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 5100 variables and 202 constraints.
c After prepocess the problem consists of 5100 variables and 202 constraints.
c preprocess terminated 2.363 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.93 1.00 0.93 2/54 26877
Raw data (stat): 26877 (runsolver) R 26876 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 902555525 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.94 1.00 0.93 2/54 26877
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 1896 0 0 0 992 6 0 0 25 0 1 0 902555525 11051008 1814 4294967295 134512640 134716908 3221224560 3221223272 134558490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2698 1814 1111 63 0 2635 0
vsize: 10792
[startup+20.0018 s]
Raw data (loadavg): 0.95 1.00 0.93 2/54 26877
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 1935 0 0 0 1991 7 0 0 25 0 1 0 902555525 11186176 1853 4294967295 134512640 134716908 3221224560 3221223040 134699723 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2731 1853 1111 63 0 2668 0
vsize: 10924
[startup+30.0023 s]
Raw data (loadavg): 0.95 1.00 0.93 2/54 26877
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 1940 0 0 0 2989 9 0 0 25 0 1 0 902555525 11186176 1858 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2731 1858 1111 63 0 2668 0
vsize: 10924
[startup+40.0022 s]
Raw data (loadavg): 0.96 1.00 0.93 2/54 26877
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 1960 0 0 0 3988 10 0 0 25 0 1 0 902555525 11321344 1878 4294967295 134512640 134716908 3221224560 3221223296 134591946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2764 1878 1111 63 0 2701 0
vsize: 11056
[startup+50.0036 s]
Raw data (loadavg): 0.97 1.00 0.93 2/54 26877
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 1960 0 0 0 4986 13 0 0 25 0 1 0 902555525 11321344 1878 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2764 1878 1111 63 0 2701 0
vsize: 11056
[startup+60.0041 s]
Raw data (loadavg): 0.97 1.00 0.93 2/54 26877
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 1968 0 0 0 5985 14 0 0 25 0 1 0 902555525 11321344 1886 4294967295 134512640 134716908 3221224560 3221223200 134698305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2764 1886 1111 63 0 2701 0
vsize: 11056
[startup+70.0047 s]
Raw data (loadavg): 0.98 1.00 0.93 2/54 26877
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 1984 0 0 0 6983 16 0 0 25 0 1 0 902555525 11321344 1902 4294967295 134512640 134716908 3221224560 3221223168 134549488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2764 1902 1111 63 0 2701 0
vsize: 11056
[startup+80.0058 s]
Raw data (loadavg): 0.98 1.00 0.93 2/54 26877
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 1984 0 0 0 7982 17 0 0 25 0 1 0 902555525 11321344 1902 4294967295 134512640 134716908 3221224560 3221223244 134552651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2764 1902 1111 63 0 2701 0
vsize: 11056
[startup+90.0057 s]
Raw data (loadavg): 0.98 1.00 0.93 2/54 26877
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 1999 0 0 0 8980 19 0 0 25 0 1 0 902555525 11452416 1917 4294967295 134512640 134716908 3221224560 3221223376 134590018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2796 1917 1111 63 0 2733 0
vsize: 11184
[startup+100.006 s]
Raw data (loadavg): 0.98 1.00 0.93 2/54 26877
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2007 0 0 0 9978 21 0 0 25 0 1 0 902555525 11452416 1925 4294967295 134512640 134716908 3221224560 3221223188 1077374149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2796 1925 1111 63 0 2733 0
vsize: 11184
[startup+110.007 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 26877
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2015 0 0 0 10977 23 0 0 25 0 1 0 902555525 11452416 1933 4294967295 134512640 134716908 3221224560 3221223168 134548843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2796 1933 1111 63 0 2733 0
vsize: 11184
[startup+120.008 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 26877
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2040 0 0 0 11975 24 0 0 25 0 1 0 902555525 11587584 1958 4294967295 134512640 134716908 3221224560 3221223188 1077374146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2829 1958 1111 63 0 2766 0
vsize: 11316
[startup+130.008 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 26877
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2070 0 0 0 12974 26 0 0 25 0 1 0 902555525 11722752 1988 4294967295 134512640 134716908 3221224560 3221223128 1077377705 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2862 1988 1111 63 0 2799 0
vsize: 11448
[startup+140.008 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 26877
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2108 0 0 0 13973 27 0 0 25 0 1 0 902555525 11857920 2026 4294967295 134512640 134716908 3221224560 3221223184 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2895 2026 1111 63 0 2832 0
vsize: 11580
[startup+150.009 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2139 0 0 0 14972 28 0 0 25 0 1 0 902555525 11993088 2057 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2928 2057 1111 63 0 2865 0
vsize: 11712
[startup+160.008 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2179 0 0 0 15971 29 0 0 25 0 1 0 902555525 12128256 2097 4294967295 134512640 134716908 3221224560 3221223380 134590017 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2961 2097 1111 63 0 2898 0
vsize: 11844
[startup+170.01 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2179 0 0 0 16969 31 0 0 25 0 1 0 902555525 12128256 2097 4294967295 134512640 134716908 3221224560 3221223168 134543671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2961 2097 1111 63 0 2898 0
vsize: 11844
[startup+180.01 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2225 0 0 0 17968 33 0 0 25 0 1 0 902555525 12398592 2143 4294967295 134512640 134716908 3221224560 3221223344 134528780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3027 2143 1111 63 0 2964 0
vsize: 12108
[startup+190.01 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2261 0 0 0 18967 34 0 0 25 0 1 0 902555525 12533760 2179 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3060 2179 1111 63 0 2997 0
vsize: 12240
[startup+200.01 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2261 0 0 0 19965 36 0 0 25 0 1 0 902555525 12533760 2179 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3060 2179 1111 63 0 2997 0
vsize: 12240
[startup+210.009 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2261 0 0 0 20964 38 0 0 25 0 1 0 902555525 12533760 2179 4294967295 134512640 134716908 3221224560 3221223296 134558504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3060 2179 1111 63 0 2997 0
vsize: 12240
[startup+220.01 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2261 0 0 0 21963 38 0 0 25 0 1 0 902555525 12533760 2179 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3060 2179 1111 63 0 2997 0
vsize: 12240
[startup+230.011 s]
Raw data (loadavg): 0.99 1.00 0.93 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2261 0 0 0 22962 39 0 0 25 0 1 0 902555525 12533760 2179 4294967295 134512640 134716908 3221224560 3221223296 134558537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3060 2179 1111 63 0 2997 0
vsize: 12240
[startup+240.01 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2261 0 0 0 23962 40 0 0 25 0 1 0 902555525 12533760 2179 4294967295 134512640 134716908 3221224560 3221223188 134698608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3060 2179 1111 63 0 2997 0
vsize: 12240
[startup+250.01 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2288 0 0 0 24960 42 0 0 25 0 1 0 902555525 12668928 2206 4294967295 134512640 134716908 3221224560 3221223120 134698901 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3093 2206 1111 63 0 3030 0
vsize: 12372
[startup+260.01 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2317 0 0 0 25959 44 0 0 25 0 1 0 902555525 12804096 2235 4294967295 134512640 134716908 3221224560 3221222408 134699783 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3126 2235 1111 63 0 3063 0
vsize: 12504
[startup+270.011 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2359 0 0 0 26957 46 0 0 25 0 1 0 902555525 12939264 2277 4294967295 134512640 134716908 3221224560 3221223312 134592421 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3159 2277 1111 63 0 3096 0
vsize: 12636
[startup+280.01 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2365 0 0 0 27955 47 0 0 25 0 1 0 902555525 12939264 2283 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3159 2283 1111 63 0 3096 0
vsize: 12636
[startup+290.011 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2414 0 0 0 28954 49 0 0 25 0 1 0 902555525 13209600 2332 4294967295 134512640 134716908 3221224560 3221223260 134552682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3225 2332 1111 63 0 3162 0
vsize: 12900
[startup+300.011 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2443 0 0 0 29952 51 0 0 25 0 1 0 902555525 13209600 2361 4294967295 134512640 134716908 3221224560 3221223168 134549318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3225 2361 1111 63 0 3162 0
vsize: 12900
[startup+310.011 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2443 0 0 0 30950 53 0 0 25 0 1 0 902555525 13209600 2361 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3225 2361 1111 63 0 3162 0
vsize: 12900
[startup+320.012 s]
Raw data (loadavg): 1.09 1.02 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2448 0 0 0 31950 54 0 0 25 0 1 0 902555525 13344768 2366 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3258 2366 1111 63 0 3195 0
vsize: 13032
[startup+330.013 s]
Raw data (loadavg): 1.08 1.02 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2479 0 0 0 32948 56 0 0 25 0 1 0 902555525 13344768 2397 4294967295 134512640 134716908 3221224560 3221223232 134542977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3258 2397 1111 63 0 3195 0
vsize: 13032
[startup+340.012 s]
Raw data (loadavg): 1.06 1.02 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2512 0 0 0 33945 58 0 0 25 0 1 0 902555525 13479936 2430 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3291 2430 1111 63 0 3228 0
vsize: 13164
[startup+350.013 s]
Raw data (loadavg): 1.05 1.02 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2512 0 0 0 34944 60 0 0 25 0 1 0 902555525 13479936 2430 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3291 2430 1111 63 0 3228 0
vsize: 13164
[startup+360.013 s]
Raw data (loadavg): 1.05 1.02 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2529 0 0 0 35942 62 0 0 25 0 1 0 902555525 13615104 2447 4294967295 134512640 134716908 3221224560 3221223184 134698586 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3324 2447 1111 63 0 3261 0
vsize: 13296
[startup+370.014 s]
Raw data (loadavg): 1.04 1.02 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2539 0 0 0 36941 63 0 0 25 0 1 0 902555525 13615104 2457 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3324 2457 1111 63 0 3261 0
vsize: 13296
[startup+380.014 s]
Raw data (loadavg): 1.03 1.02 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2560 0 0 0 37939 66 0 0 25 0 1 0 902555525 13750272 2478 4294967295 134512640 134716908 3221224560 3221223184 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3357 2478 1111 63 0 3294 0
vsize: 13428
[startup+390.014 s]
Raw data (loadavg): 1.03 1.02 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2570 0 0 0 38938 67 0 0 25 0 1 0 902555525 13750272 2488 4294967295 134512640 134716908 3221224560 3221223168 134549318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3357 2488 1111 63 0 3294 0
vsize: 13428
[startup+400.014 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2618 0 0 0 39936 69 0 0 25 0 1 0 902555525 14020608 2536 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3423 2536 1111 63 0 3360 0
vsize: 13692
[startup+410.015 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2643 0 0 0 40935 71 0 0 25 0 1 0 902555525 14020608 2561 4294967295 134512640 134716908 3221224560 3221223184 134536680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3423 2561 1111 63 0 3360 0
vsize: 13692
[startup+420.015 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2643 0 0 0 41933 72 0 0 25 0 1 0 902555525 14020608 2561 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3423 2561 1111 63 0 3360 0
vsize: 13692
[startup+430.016 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2643 0 0 0 42932 74 0 0 25 0 1 0 902555525 14020608 2561 4294967295 134512640 134716908 3221224560 3221223324 134552560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3423 2561 1111 63 0 3360 0
vsize: 13692
[startup+440.016 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2643 0 0 0 43931 75 0 0 25 0 1 0 902555525 14020608 2561 4294967295 134512640 134716908 3221224560 3221223280 134591847 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3423 2561 1111 63 0 3360 0
vsize: 13692
[startup+450.017 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2643 0 0 0 44930 76 0 0 25 0 1 0 902555525 14020608 2561 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3423 2561 1111 63 0 3360 0
vsize: 13692
[startup+460.016 s]
Raw data (loadavg): 1.08 1.03 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2643 0 0 0 45929 77 0 0 25 0 1 0 902555525 14020608 2561 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3423 2561 1111 63 0 3360 0
vsize: 13692
[startup+470.018 s]
Raw data (loadavg): 1.07 1.03 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2643 0 0 0 46928 79 0 0 25 0 1 0 902555525 14020608 2561 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3423 2561 1111 63 0 3360 0
vsize: 13692
[startup+480.018 s]
Raw data (loadavg): 1.06 1.02 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2643 0 0 0 47926 80 0 0 25 0 1 0 902555525 14020608 2561 4294967295 134512640 134716908 3221224560 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3423 2561 1111 63 0 3360 0
vsize: 13692
[startup+490.018 s]
Raw data (loadavg): 1.05 1.02 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2643 0 0 0 48925 82 0 0 25 0 1 0 902555525 14020608 2561 4294967295 134512640 134716908 3221224560 3221223304 134551624 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3423 2561 1111 63 0 3360 0
vsize: 13692
[startup+500.019 s]
Raw data (loadavg): 1.04 1.02 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2643 0 0 0 49924 83 0 0 25 0 1 0 902555525 14020608 2561 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3423 2561 1111 63 0 3360 0
vsize: 13692
[startup+510.019 s]
Raw data (loadavg): 1.03 1.02 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2646 0 0 0 50922 85 0 0 25 0 1 0 902555525 14155776 2564 4294967295 134512640 134716908 3221224560 3221223168 134549318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3456 2564 1111 63 0 3393 0
vsize: 13824
[startup+520.018 s]
Raw data (loadavg): 1.03 1.02 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2671 0 0 0 51921 87 0 0 25 0 1 0 902555525 14155776 2589 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3456 2589 1111 63 0 3393 0
vsize: 13824
[startup+530.019 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2679 0 0 0 52919 89 0 0 25 0 1 0 902555525 14290944 2597 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3489 2597 1111 63 0 3426 0
vsize: 13956
[startup+540.019 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2706 0 0 0 53917 90 0 0 25 0 1 0 902555525 14290944 2624 4294967295 134512640 134716908 3221224560 3221223328 134592424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3489 2624 1111 63 0 3426 0
vsize: 13956
[startup+550.02 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2706 0 0 0 54916 92 0 0 25 0 1 0 902555525 14290944 2624 4294967295 134512640 134716908 3221224560 3221223280 134584814 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3489 2624 1111 63 0 3426 0
vsize: 13956
[startup+560.02 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2733 0 0 0 55915 93 0 0 25 0 1 0 902555525 14426112 2651 4294967295 134512640 134716908 3221224560 3221223344 134528805 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3522 2651 1111 63 0 3459 0
vsize: 14088
[startup+570.02 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2733 0 0 0 56914 95 0 0 25 0 1 0 902555525 14426112 2651 4294967295 134512640 134716908 3221224560 3221223200 134524198 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3522 2651 1111 63 0 3459 0
vsize: 14088
[startup+580.019 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2735 0 0 0 57913 96 0 0 25 0 1 0 902555525 14426112 2653 4294967295 134512640 134716908 3221224560 3221223196 134543760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3522 2653 1111 63 0 3459 0
vsize: 14088
[startup+590.02 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2735 0 0 0 58912 97 0 0 25 0 1 0 902555525 14426112 2653 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3522 2653 1111 63 0 3459 0
vsize: 14088
[startup+600.02 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2748 0 0 0 59911 98 0 0 25 0 1 0 902555525 14553088 2666 4294967295 134512640 134716908 3221224560 3221222956 1077379908 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3553 2666 1111 63 0 3490 0
vsize: 14212
[startup+610.021 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2748 0 0 0 60910 99 0 0 25 0 1 0 902555525 14553088 2666 4294967295 134512640 134716908 3221224560 3221223136 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3553 2666 1111 63 0 3490 0
vsize: 14212
[startup+620.021 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2748 0 0 0 61909 100 0 0 25 0 1 0 902555525 14553088 2666 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3553 2666 1111 63 0 3490 0
vsize: 14212
[startup+630.022 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2748 0 0 0 62908 102 0 0 25 0 1 0 902555525 14553088 2666 4294967295 134512640 134716908 3221224560 3221223248 134534107 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3553 2666 1111 63 0 3490 0
vsize: 14212
[startup+640.022 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2748 0 0 0 63907 103 0 0 25 0 1 0 902555525 14553088 2666 4294967295 134512640 134716908 3221224560 3221223200 134698434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3553 2666 1111 63 0 3490 0
vsize: 14212
[startup+650.023 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2748 0 0 0 64906 104 0 0 25 0 1 0 902555525 14553088 2666 4294967295 134512640 134716908 3221224560 3221223200 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3553 2666 1111 63 0 3490 0
vsize: 14212
[startup+660.023 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2748 0 0 0 65905 106 0 0 25 0 1 0 902555525 14553088 2666 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3553 2666 1111 63 0 3490 0
vsize: 14212
[startup+670.023 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2748 0 0 0 66904 107 0 0 25 0 1 0 902555525 14553088 2666 4294967295 134512640 134716908 3221224560 3221223264 134524573 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3553 2666 1111 63 0 3490 0
vsize: 14212
[startup+680.024 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2748 0 0 0 67902 108 0 0 25 0 1 0 902555525 14553088 2666 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3553 2666 1111 63 0 3490 0
vsize: 14212
[startup+690.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2757 0 0 0 68901 110 0 0 25 0 1 0 902555525 14553088 2675 4294967295 134512640 134716908 3221224560 3221223296 134558537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3553 2675 1111 63 0 3490 0
vsize: 14212
[startup+700.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2757 0 0 0 69899 112 0 0 25 0 1 0 902555525 14553088 2675 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3553 2675 1111 63 0 3490 0
vsize: 14212
[startup+710.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2757 0 0 0 70898 113 0 0 25 0 1 0 902555525 14553088 2675 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3553 2675 1111 63 0 3490 0
vsize: 14212
[startup+720.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2757 0 0 0 71897 114 0 0 25 0 1 0 902555525 14553088 2675 4294967295 134512640 134716908 3221224560 3221223112 134698813 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3553 2675 1111 63 0 3490 0
vsize: 14212
[startup+730.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2778 0 0 0 72896 116 0 0 25 0 1 0 902555525 14688256 2696 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3586 2696 1111 63 0 3523 0
vsize: 14344
[startup+740.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2778 0 0 0 73895 117 0 0 25 0 1 0 902555525 14651392 2696 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3577 2696 1111 63 0 3514 0
vsize: 14308
[startup+750.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2778 0 0 0 74894 118 0 0 25 0 1 0 902555525 14651392 2696 4294967295 134512640 134716908 3221224560 3221223296 134591997 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3577 2696 1111 63 0 3514 0
vsize: 14308
[startup+760.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2789 0 0 0 75893 120 0 0 25 0 1 0 902555525 14651392 2707 4294967295 134512640 134716908 3221224560 3221223000 1077377696 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3577 2707 1111 63 0 3514 0
vsize: 14308
[startup+770.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2789 0 0 0 76892 121 0 0 25 0 1 0 902555525 14651392 2707 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3577 2707 1111 63 0 3514 0
vsize: 14308
[startup+780.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2790 0 0 0 77891 122 0 0 25 0 1 0 902555525 14651392 2708 4294967295 134512640 134716908 3221224560 3221223140 1077378583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3577 2708 1111 63 0 3514 0
vsize: 14308
[startup+790.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2819 0 0 0 78890 123 0 0 25 0 1 0 902555525 14786560 2737 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3610 2737 1111 63 0 3547 0
vsize: 14440
[startup+800.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2819 0 0 0 79888 125 0 0 25 0 1 0 902555525 14786560 2737 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3610 2737 1111 63 0 3547 0
vsize: 14440
[startup+810.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2861 0 0 0 80887 126 0 0 25 0 1 0 902555525 14921728 2779 4294967295 134512640 134716908 3221224560 3221223200 134698465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3643 2779 1111 63 0 3580 0
vsize: 14572
[startup+820.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2902 0 0 0 81885 129 0 0 25 0 1 0 902555525 15171584 2820 4294967295 134512640 134716908 3221224560 3221223304 134675300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3704 2820 1111 63 0 3641 0
vsize: 14816
[startup+830.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2936 0 0 0 82883 130 0 0 25 0 1 0 902555525 15298560 2854 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3735 2854 1111 63 0 3672 0
vsize: 14940
[startup+840.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2985 0 0 0 83882 132 0 0 25 0 1 0 902555525 15433728 2903 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3768 2903 1111 63 0 3705 0
vsize: 15072
[startup+850.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 2994 0 0 0 84881 133 0 0 25 0 1 0 902555525 15568896 2912 4294967295 134512640 134716908 3221224560 3221223168 134549395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3801 2912 1111 63 0 3738 0
vsize: 15204
[startup+860.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 3006 0 0 0 85880 134 0 0 25 0 1 0 902555525 15568896 2924 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3801 2924 1111 63 0 3738 0
vsize: 15204
[startup+870.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 3023 0 0 0 86879 135 0 0 25 0 1 0 902555525 15704064 2941 4294967295 134512640 134716908 3221224560 3221223192 134552673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3834 2941 1111 63 0 3771 0
vsize: 15336
[startup+880.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 3023 0 0 0 87878 136 0 0 25 0 1 0 902555525 15704064 2941 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3834 2941 1111 63 0 3771 0
vsize: 15336
[startup+890.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 3036 0 0 0 88877 138 0 0 25 0 1 0 902555525 15704064 2954 4294967295 134512640 134716908 3221224560 3221223164 134549858 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3834 2954 1111 63 0 3771 0
vsize: 15336
[startup+900.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 3036 0 0 0 89875 139 0 0 25 0 1 0 902555525 15704064 2954 4294967295 134512640 134716908 3221224560 3221223236 134594374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3834 2954 1111 63 0 3771 0
vsize: 15336
[startup+910.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 3052 0 0 0 90874 141 0 0 25 0 1 0 902555525 15704064 2970 4294967295 134512640 134716908 3221224560 3221223292 1076647540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3834 2970 1111 63 0 3771 0
vsize: 15336
[startup+920.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 3052 0 0 0 91874 141 0 0 25 0 1 0 902555525 15704064 2970 4294967295 134512640 134716908 3221224560 3221223320 134675437 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3834 2970 1111 63 0 3771 0
vsize: 15336
[startup+930.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 3052 0 0 0 92872 143 0 0 25 0 1 0 902555525 15704064 2970 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3834 2970 1111 63 0 3771 0
vsize: 15336
[startup+940.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 3052 0 0 0 93872 144 0 0 25 0 1 0 902555525 15704064 2970 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3834 2970 1111 63 0 3771 0
vsize: 15336
[startup+950.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 3052 0 0 0 94871 145 0 0 25 0 1 0 902555525 15704064 2970 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3834 2970 1111 63 0 3771 0
vsize: 15336
[startup+960.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 3052 0 0 0 95870 146 0 0 25 0 1 0 902555525 15704064 2970 4294967295 134512640 134716908 3221224560 3221222964 134699689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3834 2970 1111 63 0 3771 0
vsize: 15336
[startup+970.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 3062 0 0 0 96869 147 0 0 25 0 1 0 902555525 15839232 2980 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3867 2980 1111 63 0 3804 0
vsize: 15468
[startup+980.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 3077 0 0 0 97867 149 0 0 25 0 1 0 902555525 15839232 2995 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3867 2995 1111 63 0 3804 0
vsize: 15468
[startup+990.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 3077 0 0 0 98866 151 0 0 25 0 1 0 902555525 15839232 2995 4294967295 134512640 134716908 3221224560 3221223392 134551450 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3867 2995 1111 63 0 3804 0
vsize: 15468
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 3086 0 0 0 99864 153 0 0 25 0 1 0 902555525 15839232 3004 4294967295 134512640 134716908 3221224560 3221223312 134592345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3867 3004 1111 63 0 3804 0
vsize: 15468
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 3102 0 0 0 100863 154 0 0 25 0 1 0 902555525 15970304 3020 4294967295 134512640 134716908 3221224560 3221222956 1077379860 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3899 3020 1111 63 0 3836 0
vsize: 15596
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 3102 0 0 0 101862 155 0 0 25 0 1 0 902555525 15970304 3020 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3899 3020 1111 63 0 3836 0
vsize: 15596
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 3122 0 0 0 102861 157 0 0 25 0 1 0 902555525 16097280 3040 4294967295 134512640 134716908 3221224560 3221223232 134543710 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3930 3040 1111 63 0 3867 0
vsize: 15720
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 3122 0 0 0 103860 157 0 0 25 0 1 0 902555525 16097280 3040 4294967295 134512640 134716908 3221224560 3221223224 134543634 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3930 3040 1111 63 0 3867 0
vsize: 15720
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 3131 0 0 0 104859 158 0 0 25 0 1 0 902555525 16080896 3049 4294967295 134512640 134716908 3221224560 3221223192 134536665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3926 3049 1111 63 0 3863 0
vsize: 15704
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 3131 0 0 0 105859 159 0 0 25 0 1 0 902555525 16080896 3049 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3926 3049 1111 63 0 3863 0
vsize: 15704
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 3150 0 0 0 106858 160 0 0 25 0 1 0 902555525 16216064 3068 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3959 3068 1111 63 0 3896 0
vsize: 15836
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 3200 0 0 0 107857 161 0 0 25 0 1 0 902555525 16351232 3118 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3992 3118 1111 63 0 3929 0
vsize: 15968
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 3239 0 0 0 108856 162 0 0 25 0 1 0 902555525 16486400 3157 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4025 3157 1111 63 0 3962 0
vsize: 16100
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 3266 0 0 0 109856 163 0 0 25 0 1 0 902555525 16621568 3184 4294967295 134512640 134716908 3221224560 3221223320 134592433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4058 3184 1111 63 0 3995 0
vsize: 16232
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 3266 0 0 0 110855 164 0 0 25 0 1 0 902555525 16621568 3184 4294967295 134512640 134716908 3221224560 3221223200 134539516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4058 3184 1111 63 0 3995 0
vsize: 16232
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 3266 0 0 0 111853 166 0 0 25 0 1 0 902555525 16621568 3184 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4058 3184 1111 63 0 3995 0
vsize: 16232
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 3266 0 0 0 112853 167 0 0 25 0 1 0 902555525 16621568 3184 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4058 3184 1111 63 0 3995 0
vsize: 16232
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 3266 0 0 0 113851 168 0 0 25 0 1 0 902555525 16621568 3184 4294967295 134512640 134716908 3221224560 3221223344 134584976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4058 3184 1111 63 0 3995 0
vsize: 16232
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 3266 0 0 0 114851 169 0 0 25 0 1 0 902555525 16621568 3184 4294967295 134512640 134716908 3221224560 3221222956 1077379933 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4058 3184 1111 63 0 3995 0
vsize: 16232
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 3266 0 0 0 115850 170 0 0 25 0 1 0 902555525 16621568 3184 4294967295 134512640 134716908 3221224560 3221223128 1077377416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4058 3184 1111 63 0 3995 0
vsize: 16232
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 3266 0 0 0 116849 171 0 0 25 0 1 0 902555525 16621568 3184 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4058 3184 1111 63 0 3995 0
vsize: 16232
[startup+1174.85 s]
Raw data (loadavg): 1.00 1.00 0.94 1/53 26879
Raw data (stat): 26877 (bsolo_lpr_cuts-) R 26876 20224 20223 0 -1 0 3266 0 0 0 116849 171 0 0 25 0 1 0 902555525 16621568 3184 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4058 3184 1111 63 0 3995 0
vsize: 0

Child status: 0
Real time (s): 1174.85
CPU time (s): 1175.02
CPU user time (s): 1173.29
CPU system time (s): 1.72574
CPU usage (%): 100.015
Max. virtual memory (Kb): 16232
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####