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-fpga45_45_sat_pb.cnf.cr.opb
MD5SUM	da4cd22fd601b0d838453ba86be8f9aa
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
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	46
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	6.73997
Number of variables	3038
Total number of constraints	2160
Number of constraints which are clauses	2070
Number of constraints which are cardinality constraints (but not clauses)	90
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	22
Maximum length of a constraint	45
Trace number 40609

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-08 17:01:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28671 boxname=wulflinc4 idbench=57 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  da4cd22fd601b0d838453ba86be8f9aa  /oldhome/oroussel/tmp/wulflinc4/normalized-fpga45_45_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-fpga45_45_sat_pb.cnf.cr.opb
IDLAUNCH: 28671
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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.169
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:        869900 kB
Buffers:         22432 kB
Cached:         116868 kB
SwapCached:       5200 kB
Active:          25788 kB
Inactive:       119840 kB
HighTotal:      131008 kB
HighFree:        78848 kB
LowTotal:       903652 kB
LowFree:        791052 kB
SwapTotal:     2097136 kB
SwapFree:      2090912 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4908 kB
Slab:            13668 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 17:20:49 (client local time) WITH STATUS 0 IN 1175.02 SECONDS
stats: 28671 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 3038 variables and 2160 constraints.
c After prepocess the problem consists of 3038 variables and 2160 constraints.
c preprocess terminated 9.177 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.87 0.95 0.90 2/54 2156
Raw data (stat): 2156 (runsolver) R 2155 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 903262791 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+9.99962 s]
Raw data (loadavg): 0.89 0.95 0.90 2/54 2158
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 2277 0 0 0 989 7 0 0 25 0 1 0 903262791 12443648 2195 4294967295 134512640 134716908 3221224560 3221223248 134524578 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3038 2195 1111 63 0 2975 0
vsize: 12152
[startup+20.0004 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 2158
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 2519 0 0 0 1986 10 0 0 25 0 1 0 903262791 13524992 2437 4294967295 134512640 134716908 3221224560 3221223320 134592433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3302 2437 1111 63 0 3239 0
vsize: 13208
[startup+30.0007 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 2158
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 2670 0 0 0 2983 12 0 0 25 0 1 0 903262791 14069760 2588 4294967295 134512640 134716908 3221224560 3221223116 134539324 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3435 2588 1111 63 0 3372 0
vsize: 13740
[startup+40.001 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 2158
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3191 0 0 0 3979 16 0 0 25 0 1 0 903262791 16228352 3109 4294967295 134512640 134716908 3221224560 3221223248 134523184 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3962 3109 1111 63 0 3899 0
vsize: 15848
[startup+50.0019 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 2158
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3396 0 0 0 4978 17 0 0 25 0 1 0 903262791 17039360 3314 4294967295 134512640 134716908 3221224560 3221223048 134699825 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4160 3314 1111 63 0 4097 0
vsize: 16640
[startup+60.002 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 2158
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3523 0 0 0 5977 18 0 0 25 0 1 0 903262791 17575936 3441 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3441 1111 63 0 4228 0
vsize: 17164
[startup+70.0026 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 2158
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3523 0 0 0 6978 18 0 0 25 0 1 0 903262791 17575936 3441 4294967295 134512640 134716908 3221224560 3221223264 134528481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3441 1111 63 0 4228 0
vsize: 17164
[startup+80.0024 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 2158
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3523 0 0 0 7978 18 0 0 25 0 1 0 903262791 17575936 3441 4294967295 134512640 134716908 3221224560 3221223184 134542300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3441 1111 63 0 4228 0
vsize: 17164
[startup+90.0026 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 2158
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3523 0 0 0 8978 18 0 0 25 0 1 0 903262791 17575936 3441 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3441 1111 63 0 4228 0
vsize: 17164
[startup+100.002 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 2158
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3523 0 0 0 9977 18 0 0 25 0 1 0 903262791 17575936 3441 4294967295 134512640 134716908 3221224560 3221223200 134698465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3441 1111 63 0 4228 0
vsize: 17164
[startup+110.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 2158
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3530 0 0 0 10977 19 0 0 25 0 1 0 903262791 17575936 3448 4294967295 134512640 134716908 3221224560 3221223312 134534148 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+120.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 2158
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3530 0 0 0 11977 19 0 0 25 0 1 0 903262791 17575936 3448 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+130.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 2158
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3530 0 0 0 12977 20 0 0 25 0 1 0 903262791 17575936 3448 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+140.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 2158
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3530 0 0 0 13977 20 0 0 25 0 1 0 903262791 17575936 3448 4294967295 134512640 134716908 3221224560 3221223184 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2158
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3530 0 0 0 14977 20 0 0 25 0 1 0 903262791 17575936 3448 4294967295 134512640 134716908 3221224560 3221223216 134536635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2158
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3530 0 0 0 15977 20 0 0 25 0 1 0 903262791 17575936 3448 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2158
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3530 0 0 0 16977 20 0 0 25 0 1 0 903262791 17575936 3448 4294967295 134512640 134716908 3221224560 3221223240 134552633 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2158
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3530 0 0 0 17976 21 0 0 25 0 1 0 903262791 17575936 3448 4294967295 134512640 134716908 3221224560 3221223192 134698369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2158
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3530 0 0 0 18976 22 0 0 25 0 1 0 903262791 17575936 3448 4294967295 134512640 134716908 3221224560 3221223120 134699092 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2158
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3530 0 0 0 19975 22 0 0 25 0 1 0 903262791 17575936 3448 4294967295 134512640 134716908 3221224560 3221223200 134543070 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2158
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3530 0 0 0 20975 22 0 0 25 0 1 0 903262791 17575936 3448 4294967295 134512640 134716908 3221224560 3221223148 134535891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2158
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3530 0 0 0 21975 23 0 0 25 0 1 0 903262791 17575936 3448 4294967295 134512640 134716908 3221224560 3221223316 134655223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2158
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3530 0 0 0 22975 23 0 0 25 0 1 0 903262791 17575936 3448 4294967295 134512640 134716908 3221224560 3221223236 1077374568 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2158
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3530 0 0 0 23975 24 0 0 25 0 1 0 903262791 17575936 3448 4294967295 134512640 134716908 3221224560 3221223096 134613981 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2158
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3530 0 0 0 24974 24 0 0 25 0 1 0 903262791 17575936 3448 4294967295 134512640 134716908 3221224560 3221222896 134699590 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2158
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3530 0 0 0 25974 25 0 0 25 0 1 0 903262791 17575936 3448 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3530 0 0 0 26973 25 0 0 25 0 1 0 903262791 17575936 3448 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3530 0 0 0 27973 26 0 0 25 0 1 0 903262791 17575936 3448 4294967295 134512640 134716908 3221224560 3221223120 134542300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3530 0 0 0 28972 27 0 0 25 0 1 0 903262791 17575936 3448 4294967295 134512640 134716908 3221224560 3221223176 134542657 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3530 0 0 0 29971 29 0 0 25 0 1 0 903262791 17575936 3448 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3530 0 0 0 30969 31 0 0 25 0 1 0 903262791 17575936 3448 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3530 0 0 0 31967 33 0 0 25 0 1 0 903262791 17575936 3448 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3530 0 0 0 32966 34 0 0 25 0 1 0 903262791 17575936 3448 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3530 0 0 0 33964 36 0 0 25 0 1 0 903262791 17575936 3448 4294967295 134512640 134716908 3221224560 3221223344 134584976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3530 0 0 0 34963 38 0 0 25 0 1 0 903262791 17575936 3448 4294967295 134512640 134716908 3221224560 3221223292 134518132 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3530 0 0 0 35961 39 0 0 25 0 1 0 903262791 17575936 3448 4294967295 134512640 134716908 3221224560 3221223264 134535812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3530 0 0 0 36960 41 0 0 25 0 1 0 903262791 17575936 3448 4294967295 134512640 134716908 3221224560 3221223168 134548843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3530 0 0 0 37958 44 0 0 25 0 1 0 903262791 17575936 3448 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3530 0 0 0 38957 45 0 0 25 0 1 0 903262791 17575936 3448 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 3448 1111 63 0 4228 0
vsize: 17164
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3566 0 0 0 39956 45 0 0 25 0 1 0 903262791 17711104 3484 4294967295 134512640 134716908 3221224560 3221223116 134535891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4324 3484 1111 63 0 4261 0
vsize: 17296
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3566 0 0 0 40956 46 0 0 25 0 1 0 903262791 17711104 3484 4294967295 134512640 134716908 3221224560 3221223120 134698760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4324 3484 1111 63 0 4261 0
vsize: 17296
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3566 0 0 0 41955 47 0 0 25 0 1 0 903262791 17711104 3484 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4324 3484 1111 63 0 4261 0
vsize: 17296
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3566 0 0 0 42955 47 0 0 25 0 1 0 903262791 17711104 3484 4294967295 134512640 134716908 3221224560 3221223296 134535821 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4324 3484 1111 63 0 4261 0
vsize: 17296
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3566 0 0 0 43954 48 0 0 25 0 1 0 903262791 17711104 3484 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4324 3484 1111 63 0 4261 0
vsize: 17296
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3566 0 0 0 44953 49 0 0 25 0 1 0 903262791 17711104 3484 4294967295 134512640 134716908 3221224560 3221223184 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4324 3484 1111 63 0 4261 0
vsize: 17296
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3566 0 0 0 45952 50 0 0 25 0 1 0 903262791 17711104 3484 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4324 3484 1111 63 0 4261 0
vsize: 17296
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3684 0 0 0 46952 50 0 0 25 0 1 0 903262791 18251776 3602 4294967295 134512640 134716908 3221224560 3221223312 134592443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4456 3602 1111 63 0 4393 0
vsize: 17824
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3684 0 0 0 47950 52 0 0 25 0 1 0 903262791 18251776 3602 4294967295 134512640 134716908 3221224560 3221223168 134549302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4456 3602 1111 63 0 4393 0
vsize: 17824
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3729 0 0 0 48950 52 0 0 25 0 1 0 903262791 18386944 3647 4294967295 134512640 134716908 3221224560 3221223184 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4489 3647 1111 63 0 4426 0
vsize: 17956
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3729 0 0 0 49949 53 0 0 25 0 1 0 903262791 18292736 3626 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4466 3626 1111 63 0 4403 0
vsize: 17864
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3729 0 0 0 50948 54 0 0 25 0 1 0 903262791 18292736 3626 4294967295 134512640 134716908 3221224560 3221223188 134698616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4466 3626 1111 63 0 4403 0
vsize: 17864
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3729 0 0 0 51948 55 0 0 25 0 1 0 903262791 18292736 3626 4294967295 134512640 134716908 3221224560 3221223188 1077374062 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4466 3626 1111 63 0 4403 0
vsize: 17864
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3729 0 0 0 52947 56 0 0 25 0 1 0 903262791 18292736 3626 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4466 3626 1111 63 0 4403 0
vsize: 17864
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3729 0 0 0 53946 57 0 0 25 0 1 0 903262791 18292736 3626 4294967295 134512640 134716908 3221224560 3221223100 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4466 3626 1111 63 0 4403 0
vsize: 17864
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3831 0 0 0 54946 58 0 0 25 0 1 0 903262791 18825216 3728 4294967295 134512640 134716908 3221224560 3221223216 134543686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4596 3728 1111 63 0 4533 0
vsize: 18384
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3831 0 0 0 55945 58 0 0 25 0 1 0 903262791 18292736 3626 4294967295 134512640 134716908 3221224560 3221223096 134613973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4466 3626 1111 63 0 4403 0
vsize: 17864
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3831 0 0 0 56944 60 0 0 25 0 1 0 903262791 18292736 3626 4294967295 134512640 134716908 3221224560 3221223192 134543665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4466 3626 1111 63 0 4403 0
vsize: 17864
[startup+580.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3831 0 0 0 57943 60 0 0 25 0 1 0 903262791 18292736 3626 4294967295 134512640 134716908 3221224560 3221223304 134558485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4466 3626 1111 63 0 4403 0
vsize: 17864
[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 3831 0 0 0 58943 61 0 0 25 0 1 0 903262791 18292736 3626 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4466 3626 1111 63 0 4403 0
vsize: 17864
[startup+600.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4008 0 0 0 59943 62 0 0 25 0 1 0 903262791 18292736 3626 4294967295 134512640 134716908 3221224560 3221223276 134543760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4466 3626 1111 63 0 4403 0
vsize: 17864
[startup+610.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4231 0 0 0 60942 63 0 0 25 0 1 0 903262791 19238912 3849 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4697 3849 1111 63 0 4634 0
vsize: 18788
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4231 0 0 0 61941 63 0 0 25 0 1 0 903262791 19173376 3841 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4681 3841 1111 63 0 4618 0
vsize: 18724
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4242 0 0 0 62941 64 0 0 25 0 1 0 903262791 19308544 3852 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4714 3852 1111 63 0 4651 0
vsize: 18856
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4275 0 0 0 63940 65 0 0 25 0 1 0 903262791 19173376 3841 4294967295 134512640 134716908 3221224560 3221223180 134549508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4681 3841 1111 63 0 4618 0
vsize: 18724
[startup+650.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4275 0 0 0 64940 65 0 0 25 0 1 0 903262791 19173376 3841 4294967295 134512640 134716908 3221224560 3221223044 134699710 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4681 3841 1111 63 0 4618 0
vsize: 18724
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4275 0 0 0 65940 66 0 0 25 0 1 0 903262791 19173376 3841 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4681 3841 1111 63 0 4618 0
vsize: 18724
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4275 0 0 0 66940 66 0 0 25 0 1 0 903262791 19173376 3841 4294967295 134512640 134716908 3221224560 3221223248 134542848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4681 3841 1111 63 0 4618 0
vsize: 18724
[startup+680.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4275 0 0 0 67940 66 0 0 25 0 1 0 903262791 19107840 3825 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4665 3825 1111 63 0 4602 0
vsize: 18660
[startup+690.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4275 0 0 0 68939 67 0 0 25 0 1 0 903262791 19107840 3825 4294967295 134512640 134716908 3221224560 3221223200 134698412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4665 3825 1111 63 0 4602 0
vsize: 18660
[startup+700.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4275 0 0 0 69939 67 0 0 25 0 1 0 903262791 19107840 3825 4294967295 134512640 134716908 3221224560 3221223136 134538979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4665 3825 1111 63 0 4602 0
vsize: 18660
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4275 0 0 0 70939 68 0 0 25 0 1 0 903262791 19103744 3824 4294967295 134512640 134716908 3221224560 3221223248 134542876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4664 3824 1111 63 0 4601 0
vsize: 18656
[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4275 0 0 0 71938 69 0 0 25 0 1 0 903262791 19103744 3824 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4664 3824 1111 63 0 4601 0
vsize: 18656
[startup+730.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4275 0 0 0 72938 69 0 0 25 0 1 0 903262791 19103744 3824 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4664 3824 1111 63 0 4601 0
vsize: 18656
[startup+740.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4307 0 0 0 73937 70 0 0 25 0 1 0 903262791 19238912 3856 4294967295 134512640 134716908 3221224560 3221223184 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4697 3856 1111 63 0 4634 0
vsize: 18788
[startup+750.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4363 0 0 0 74937 70 0 0 25 0 1 0 903262791 19333120 3880 4294967295 134512640 134716908 3221224560 3221223212 134542372 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4720 3880 1111 63 0 4657 0
vsize: 18880
[startup+760.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4363 0 0 0 75936 71 0 0 25 0 1 0 903262791 19333120 3880 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4720 3880 1111 63 0 4657 0
vsize: 18880
[startup+770.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4363 0 0 0 76936 72 0 0 25 0 1 0 903262791 19333120 3880 4294967295 134512640 134716908 3221224560 3221223128 134699232 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4720 3880 1111 63 0 4657 0
vsize: 18880
[startup+780.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4363 0 0 0 77936 72 0 0 25 0 1 0 903262791 19333120 3880 4294967295 134512640 134716908 3221224560 3221223320 134543541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4720 3880 1111 63 0 4657 0
vsize: 18880
[startup+790.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4363 0 0 0 78936 72 0 0 25 0 1 0 903262791 19333120 3880 4294967295 134512640 134716908 3221224560 3221223120 134698935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4720 3880 1111 63 0 4657 0
vsize: 18880
[startup+800.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4363 0 0 0 79935 73 0 0 25 0 1 0 903262791 19333120 3880 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4720 3880 1111 63 0 4657 0
vsize: 18880
[startup+810.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4363 0 0 0 80934 74 0 0 25 0 1 0 903262791 19333120 3880 4294967295 134512640 134716908 3221224560 3221222800 134699801 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4720 3880 1111 63 0 4657 0
vsize: 18880
[startup+820.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4363 0 0 0 81934 75 0 0 25 0 1 0 903262791 19333120 3880 4294967295 134512640 134716908 3221224560 3221223200 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4720 3880 1111 63 0 4657 0
vsize: 18880
[startup+830.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4363 0 0 0 82934 75 0 0 25 0 1 0 903262791 19333120 3880 4294967295 134512640 134716908 3221224560 3221223312 134587956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4720 3880 1111 63 0 4657 0
vsize: 18880
[startup+840.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4363 0 0 0 83933 76 0 0 25 0 1 0 903262791 19333120 3880 4294967295 134512640 134716908 3221224560 3221223184 134542306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4720 3880 1111 63 0 4657 0
vsize: 18880
[startup+850.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4363 0 0 0 84932 77 0 0 25 0 1 0 903262791 19333120 3880 4294967295 134512640 134716908 3221224560 3221223224 134543589 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4720 3880 1111 63 0 4657 0
vsize: 18880
[startup+860.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4449 0 0 0 85932 77 0 0 25 0 1 0 903262791 19738624 3966 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4819 3966 1111 63 0 4756 0
vsize: 19276
[startup+870.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4449 0 0 0 86931 79 0 0 25 0 1 0 903262791 19738624 3966 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4819 3966 1111 63 0 4756 0
vsize: 19276
[startup+880.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4449 0 0 0 87930 79 0 0 25 0 1 0 903262791 19738624 3966 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4819 3966 1111 63 0 4756 0
vsize: 19276
[startup+890.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4449 0 0 0 88930 80 0 0 25 0 1 0 903262791 19738624 3966 4294967295 134512640 134716908 3221224560 3221223224 134543606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4819 3966 1111 63 0 4756 0
vsize: 19276
[startup+900.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4449 0 0 0 89929 81 0 0 25 0 1 0 903262791 19738624 3966 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4819 3966 1111 63 0 4756 0
vsize: 19276
[startup+910.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4603 0 0 0 90928 82 0 0 25 0 1 0 903262791 19922944 4024 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4024 1111 63 0 4801 0
vsize: 19456
[startup+920.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4603 0 0 0 91928 83 0 0 25 0 1 0 903262791 19922944 4024 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4024 1111 63 0 4801 0
vsize: 19456
[startup+930.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4603 0 0 0 92927 84 0 0 25 0 1 0 903262791 19922944 4024 4294967295 134512640 134716908 3221224560 3221223184 1076999581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4024 1111 63 0 4801 0
vsize: 19456
[startup+940.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4603 0 0 0 93926 84 0 0 25 0 1 0 903262791 19922944 4024 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4864 4024 1111 63 0 4801 0
vsize: 19456
[startup+950.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4706 0 0 0 94925 85 0 0 25 0 1 0 903262791 20361216 4127 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4971 4127 1111 63 0 4908 0
vsize: 19884
[startup+960.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4706 0 0 0 95925 86 0 0 25 0 1 0 903262791 20361216 4127 4294967295 134512640 134716908 3221224560 3221223184 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4971 4127 1111 63 0 4908 0
vsize: 19884
[startup+970.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4706 0 0 0 96925 87 0 0 25 0 1 0 903262791 20361216 4127 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4971 4127 1111 63 0 4908 0
vsize: 19884
[startup+980.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4706 0 0 0 97924 87 0 0 25 0 1 0 903262791 20361216 4127 4294967295 134512640 134716908 3221224560 3221223200 134539382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4971 4127 1111 63 0 4908 0
vsize: 19884
[startup+990.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4706 0 0 0 98924 88 0 0 25 0 1 0 903262791 20361216 4127 4294967295 134512640 134716908 3221224560 3221223344 134528780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4971 4127 1111 63 0 4908 0
vsize: 19884
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4706 0 0 0 99923 88 0 0 25 0 1 0 903262791 20307968 4118 4294967295 134512640 134716908 3221224560 3221223184 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4958 4118 1111 63 0 4895 0
vsize: 19832
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4706 0 0 0 100923 89 0 0 25 0 1 0 903262791 20054016 4056 4294967295 134512640 134716908 3221224560 3221223152 134543707 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4896 4056 1111 63 0 4833 0
vsize: 19584
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4706 0 0 0 101923 89 0 0 25 0 1 0 903262791 20054016 4056 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4896 4056 1111 63 0 4833 0
vsize: 19584
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4706 0 0 0 102923 89 0 0 25 0 1 0 903262791 20054016 4056 4294967295 134512640 134716908 3221224560 3221223220 134543680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4896 4056 1111 63 0 4833 0
vsize: 19584
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4706 0 0 0 103923 90 0 0 25 0 1 0 903262791 20054016 4056 4294967295 134512640 134716908 3221224560 3221223248 134523359 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4896 4056 1111 63 0 4833 0
vsize: 19584
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4706 0 0 0 104922 91 0 0 25 0 1 0 903262791 20054016 4056 4294967295 134512640 134716908 3221224560 3221223272 134535779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4896 4056 1111 63 0 4833 0
vsize: 19584
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4706 0 0 0 105922 91 0 0 25 0 1 0 903262791 20054016 4056 4294967295 134512640 134716908 3221224560 3221223116 134539243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4896 4056 1111 63 0 4833 0
vsize: 19584
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4706 0 0 0 106922 91 0 0 25 0 1 0 903262791 20054016 4056 4294967295 134512640 134716908 3221224560 3221223184 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4896 4056 1111 63 0 4833 0
vsize: 19584
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4706 0 0 0 107921 92 0 0 25 0 1 0 903262791 20054016 4056 4294967295 134512640 134716908 3221224560 3221223304 134675279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4896 4056 1111 63 0 4833 0
vsize: 19584
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4706 0 0 0 108921 92 0 0 25 0 1 0 903262791 20054016 4056 4294967295 134512640 134716908 3221224560 3221223200 134698446 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4896 4056 1111 63 0 4833 0
vsize: 19584
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 4833 0 0 0 109920 93 0 0 25 0 1 0 903262791 20557824 4179 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5019 4179 1111 63 0 4956 0
vsize: 20076
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 5159 0 0 0 110918 95 0 0 25 0 1 0 903262791 21905408 4505 4294967295 134512640 134716908 3221224560 3221223192 134698369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5348 4505 1111 63 0 5285 0
vsize: 21392
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 5933 0 0 0 111916 98 0 0 25 0 1 0 903262791 25153536 5279 4294967295 134512640 134716908 3221224560 3221223200 134539353 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6141 5279 1111 63 0 6078 0
vsize: 24564
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 6095 0 0 0 112915 99 0 0 25 0 1 0 903262791 25780224 5441 4294967295 134512640 134716908 3221224560 3221222884 134699551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6294 5441 1111 63 0 6231 0
vsize: 25176
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 6853 0 0 0 113913 101 0 0 25 0 1 0 903262791 28889088 6199 4294967295 134512640 134716908 3221224560 3221223120 134542300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7053 6199 1111 63 0 6990 0
vsize: 28212
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 6860 0 0 0 114912 102 0 0 25 0 1 0 903262791 28889088 6206 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7053 6206 1111 63 0 6990 0
vsize: 28212
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 7474 0 0 0 115911 104 0 0 25 0 1 0 903262791 31404032 6807 4294967295 134512640 134716908 3221224560 3221223120 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7667 6807 1111 63 0 7604 0
vsize: 30668
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 7611 0 0 0 116909 105 0 0 25 0 1 0 903262791 31944704 6944 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7799 6944 1111 63 0 7736 0
vsize: 31196
[startup+1174.9 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 2160
Raw data (stat): 2156 (bsolo_lpr_cuts-) R 2155 21152 21151 0 -1 0 7611 0 0 0 116909 105 0 0 25 0 1 0 903262791 31944704 6944 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7799 6944 1111 63 0 7736 0
vsize: 0

Child status: 0
Real time (s): 1174.9
CPU time (s): 1175.02
CPU user time (s): 1173.94
CPU system time (s): 1.07983
CPU usage (%): 100.01
Max. virtual memory (Kb): 31196
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####