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/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-timtab2.opb
MD5SUM	388cec2ad329df6f021dfbdc92f512ad
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
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	3774
Biggest coefficient in the objective function	3604480000000000
Number of bits for the biggest coefficient in the objective function	52
Sum of the numbers in the objective function	483609165299803395
Number of bits of the sum of numbers in the objective function	59
Biggest number in a constraint	3604480000000000
Number of bits of the biggest number in a constraint	52
Biggest sum of numbers in a constraint	483609165299803395
Number of bits of the biggest sum of numbers	59
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.05999
Number of variables	6363
Total number of constraints	952
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	113
Number of constraints which are nor clauses,nor cardinality constraints	839
Minimum length of a constraint	1
Maximum length of a constraint	141
Trace number 41165

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-09 07:13:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29224 boxname=wulflinc3 idbench=1008 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  388cec2ad329df6f021dfbdc92f512ad  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-timtab2.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-timtab2.opb
IDLAUNCH: 29224
/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:        929612 kB
Buffers:         13988 kB
Cached:          70392 kB
SwapCached:        756 kB
Active:          28720 kB
Inactive:        57760 kB
HighTotal:      131008 kB
HighFree:        97860 kB
LowTotal:       903652 kB
LowFree:        831752 kB
SwapTotal:     2097136 kB
SwapFree:      2095332 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5036 kB
Slab:            12804 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 07:32:39 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 29224 7 1175.05 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 6363 variables and 1079 constraints.
c After prepocess the problem consists of 6361 variables and 1082 constraints.
c preprocess terminated 6.802 s
c Initial Lower Bound: -3750
c Lower Bound Elapsed time: 1.1705
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.86 0.97 0.93 2/54 5099
Raw data (stat): 5099 (runsolver) R 5098 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 908375452 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0013 s]
Raw data (loadavg): 0.88 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 12342 0 0 0 963 34 0 0 25 0 1 0 908375452 44531712 10081 4294967295 134512640 134716908 3221224560 3221222192 1075828441 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10872 10081 1111 63 0 10809 0
vsize: 43488
[startup+20.0016 s]
Raw data (loadavg): 0.90 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14327 0 0 0 1957 40 0 0 25 0 1 0 908375452 43536384 9904 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10629 9904 1111 63 0 10566 0
vsize: 42516
[startup+30.0014 s]
Raw data (loadavg): 0.92 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14327 0 0 0 2956 41 0 0 25 0 1 0 908375452 43536384 9904 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10629 9904 1111 63 0 10566 0
vsize: 42516
[startup+40.0018 s]
Raw data (loadavg): 0.93 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14327 0 0 0 3955 42 0 0 25 0 1 0 908375452 43536384 9904 4294967295 134512640 134716908 3221224560 3221223352 134597569 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10629 9904 1111 63 0 10566 0
vsize: 42516
[startup+50.0021 s]
Raw data (loadavg): 0.94 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14327 0 0 0 4956 42 0 0 25 0 1 0 908375452 43536384 9904 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10629 9904 1111 63 0 10566 0
vsize: 42516
[startup+60.0029 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14327 0 0 0 5956 42 0 0 25 0 1 0 908375452 43536384 9904 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10629 9904 1111 63 0 10566 0
vsize: 42516
[startup+70.0031 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14327 0 0 0 6956 42 0 0 25 0 1 0 908375452 43536384 9904 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10629 9904 1111 63 0 10566 0
vsize: 42516
[startup+80.0026 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14327 0 0 0 7955 43 0 0 25 0 1 0 908375452 43536384 9904 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10629 9904 1111 63 0 10566 0
vsize: 42516
[startup+90.0024 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14327 0 0 0 8955 43 0 0 25 0 1 0 908375452 43536384 9904 4294967295 134512640 134716908 3221224560 3221223340 134613516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10629 9904 1111 63 0 10566 0
vsize: 42516
[startup+100.003 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14327 0 0 0 9955 44 0 0 25 0 1 0 908375452 43536384 9904 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10629 9904 1111 63 0 10566 0
vsize: 42516
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14327 0 0 0 10955 44 0 0 25 0 1 0 908375452 43536384 9904 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10629 9904 1111 63 0 10566 0
vsize: 42516
[startup+120.004 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14327 0 0 0 11955 44 0 0 25 0 1 0 908375452 43536384 9904 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10629 9904 1111 63 0 10566 0
vsize: 42516
[startup+130.004 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14327 0 0 0 12955 44 0 0 25 0 1 0 908375452 43536384 9904 4294967295 134512640 134716908 3221224560 3221223340 134600348 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10629 9904 1111 63 0 10566 0
vsize: 42516
[startup+140.005 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14327 0 0 0 13955 45 0 0 25 0 1 0 908375452 43536384 9904 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10629 9904 1111 63 0 10566 0
vsize: 42516
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14327 0 0 0 14954 45 0 0 25 0 1 0 908375452 43536384 9904 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10629 9904 1111 63 0 10566 0
vsize: 42516
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14327 0 0 0 15954 46 0 0 25 0 1 0 908375452 43536384 9904 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10629 9904 1111 63 0 10566 0
vsize: 42516
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14327 0 0 0 16954 46 0 0 25 0 1 0 908375452 43536384 9904 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10629 9904 1111 63 0 10566 0
vsize: 42516
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14327 0 0 0 17954 46 0 0 25 0 1 0 908375452 43536384 9904 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10629 9904 1111 63 0 10566 0
vsize: 42516
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14327 0 0 0 18954 46 0 0 25 0 1 0 908375452 43536384 9904 4294967295 134512640 134716908 3221224560 3221223320 134613538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10629 9904 1111 63 0 10566 0
vsize: 42516
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14327 0 0 0 19954 47 0 0 25 0 1 0 908375452 43536384 9904 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10629 9904 1111 63 0 10566 0
vsize: 42516
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14327 0 0 0 20954 47 0 0 25 0 1 0 908375452 43536384 9904 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10629 9904 1111 63 0 10566 0
vsize: 42516
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14327 0 0 0 21953 48 0 0 25 0 1 0 908375452 43536384 9904 4294967295 134512640 134716908 3221224560 3221223320 134613538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10629 9904 1111 63 0 10566 0
vsize: 42516
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14327 0 0 0 22954 48 0 0 25 0 1 0 908375452 43536384 9904 4294967295 134512640 134716908 3221224560 3221223360 134597648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10629 9904 1111 63 0 10566 0
vsize: 42516
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14327 0 0 0 23953 48 0 0 25 0 1 0 908375452 43536384 9904 4294967295 134512640 134716908 3221224560 3221223352 134597668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10629 9904 1111 63 0 10566 0
vsize: 42516
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14327 0 0 0 24953 48 0 0 25 0 1 0 908375452 43536384 9904 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10629 9904 1111 63 0 10566 0
vsize: 42516
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14329 0 0 0 25953 49 0 0 25 0 1 0 908375452 43536384 9906 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10629 9906 1111 63 0 10566 0
vsize: 42516
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14334 0 0 0 26953 49 0 0 25 0 1 0 908375452 43536384 9911 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10629 9911 1111 63 0 10566 0
vsize: 42516
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14342 0 0 0 27953 50 0 0 25 0 1 0 908375452 43671552 9919 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10662 9919 1111 63 0 10599 0
vsize: 42648
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14352 0 0 0 28952 50 0 0 25 0 1 0 908375452 43671552 9929 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10662 9929 1111 63 0 10599 0
vsize: 42648
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14371 0 0 0 29952 50 0 0 25 0 1 0 908375452 43806720 9948 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10695 9948 1111 63 0 10632 0
vsize: 42780
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14439 0 0 0 30952 50 0 0 25 0 1 0 908375452 44077056 10016 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10761 10016 1111 63 0 10698 0
vsize: 43044
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14457 0 0 0 31952 51 0 0 25 0 1 0 908375452 44077056 10034 4294967295 134512640 134716908 3221224560 3221223360 134597657 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10761 10034 1111 63 0 10698 0
vsize: 43044
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14465 0 0 0 32952 51 0 0 25 0 1 0 908375452 44077056 10042 4294967295 134512640 134716908 3221224560 3221223352 134597668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10761 10042 1111 63 0 10698 0
vsize: 43044
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14489 0 0 0 33951 52 0 0 25 0 1 0 908375452 44212224 10066 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10794 10066 1111 63 0 10731 0
vsize: 43176
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14519 0 0 0 34951 53 0 0 25 0 1 0 908375452 44347392 10096 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10827 10096 1111 63 0 10764 0
vsize: 43308
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14524 0 0 0 35951 53 0 0 25 0 1 0 908375452 44347392 10101 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10827 10101 1111 63 0 10764 0
vsize: 43308
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14530 0 0 0 36950 54 0 0 25 0 1 0 908375452 44347392 10107 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10827 10107 1111 63 0 10764 0
vsize: 43308
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14543 0 0 0 37949 55 0 0 25 0 1 0 908375452 44482560 10120 4294967295 134512640 134716908 3221224560 3221223352 134597569 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10860 10120 1111 63 0 10797 0
vsize: 43440
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14574 0 0 0 38949 55 0 0 25 0 1 0 908375452 44617728 10151 4294967295 134512640 134716908 3221224560 3221223336 134613546 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10893 10151 1111 63 0 10830 0
vsize: 43572
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14595 0 0 0 39949 56 0 0 25 0 1 0 908375452 44617728 10172 4294967295 134512640 134716908 3221224560 3221223340 134613516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10893 10172 1111 63 0 10830 0
vsize: 43572
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14603 0 0 0 40948 56 0 0 25 0 1 0 908375452 44752896 10180 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10926 10180 1111 63 0 10863 0
vsize: 43704
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14613 0 0 0 41948 57 0 0 25 0 1 0 908375452 44752896 10190 4294967295 134512640 134716908 3221224560 3221223340 134613559 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10926 10190 1111 63 0 10863 0
vsize: 43704
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14735 0 0 0 42947 58 0 0 25 0 1 0 908375452 45293568 10312 4294967295 134512640 134716908 3221224560 3221223320 134613538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11058 10312 1111 63 0 10995 0
vsize: 44232
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14752 0 0 0 43947 58 0 0 25 0 1 0 908375452 45293568 10329 4294967295 134512640 134716908 3221224560 3221223360 134597597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11058 10329 1111 63 0 10995 0
vsize: 44232
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14767 0 0 0 44947 58 0 0 25 0 1 0 908375452 45428736 10344 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11091 10344 1111 63 0 11028 0
vsize: 44364
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14776 0 0 0 45947 59 0 0 25 0 1 0 908375452 45428736 10353 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11091 10353 1111 63 0 11028 0
vsize: 44364
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14796 0 0 0 46947 59 0 0 25 0 1 0 908375452 45428736 10373 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11091 10373 1111 63 0 11028 0
vsize: 44364
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 14852 0 0 0 47946 60 0 0 25 0 1 0 908375452 45703168 10429 4294967295 134512640 134716908 3221224560 3221223320 134613538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11158 10429 1111 63 0 11095 0
vsize: 44632
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 15043 0 0 0 48945 61 0 0 25 0 1 0 908375452 46514176 10620 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11356 10620 1111 63 0 11293 0
vsize: 45424
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 15340 0 0 0 49944 62 0 0 25 0 1 0 908375452 47730688 10917 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11653 10917 1111 63 0 11590 0
vsize: 46612
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 15648 0 0 0 50943 63 0 0 25 0 1 0 908375452 48947200 11225 4294967295 134512640 134716908 3221224560 3221223200 134542368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11950 11225 1111 63 0 11887 0
vsize: 47800
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 15921 0 0 0 51942 65 0 0 25 0 1 0 908375452 50163712 11498 4294967295 134512640 134716908 3221224560 3221223192 134698697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12247 11498 1111 63 0 12184 0
vsize: 48988
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 16307 0 0 0 52940 67 0 0 25 0 1 0 908375452 51650560 11884 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12610 11884 1111 63 0 12547 0
vsize: 50440
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 16592 0 0 0 53939 68 0 0 25 0 1 0 908375452 52867072 12168 4294967295 134512640 134716908 3221224560 3221223116 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12907 12168 1111 63 0 12844 0
vsize: 51628
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 16887 0 0 0 54938 69 0 0 25 0 1 0 908375452 54095872 12463 4294967295 134512640 134716908 3221224560 3221223360 134597779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13207 12463 1111 63 0 13144 0
vsize: 52828
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 16914 0 0 0 55938 70 0 0 25 0 1 0 908375452 54235136 12489 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13241 12489 1111 63 0 13178 0
vsize: 52964
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 16951 0 0 0 56938 70 0 0 25 0 1 0 908375452 54370304 12526 4294967295 134512640 134716908 3221224560 3221223352 134597609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13274 12526 1111 63 0 13211 0
vsize: 53096
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 16959 0 0 0 57937 71 0 0 25 0 1 0 908375452 54370304 12534 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13274 12534 1111 63 0 13211 0
vsize: 53096
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 16967 0 0 0 58937 71 0 0 25 0 1 0 908375452 54370304 12542 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13274 12542 1111 63 0 13211 0
vsize: 53096
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 16976 0 0 0 59937 71 0 0 25 0 1 0 908375452 54505472 12551 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13307 12551 1111 63 0 13244 0
vsize: 53228
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 16989 0 0 0 60937 72 0 0 25 0 1 0 908375452 54505472 12564 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13307 12564 1111 63 0 13244 0
vsize: 53228
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 17010 0 0 0 61936 72 0 0 25 0 1 0 908375452 54640640 12585 4294967295 134512640 134716908 3221224560 3221223352 134597609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13340 12585 1111 63 0 13277 0
vsize: 53360
[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 17019 0 0 0 62936 73 0 0 25 0 1 0 908375452 54640640 12594 4294967295 134512640 134716908 3221224560 3221223352 134597668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13340 12594 1111 63 0 13277 0
vsize: 53360
[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 17038 0 0 0 63936 73 0 0 25 0 1 0 908375452 54775808 12613 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13373 12613 1111 63 0 13310 0
vsize: 53492
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 17201 0 0 0 64936 74 0 0 25 0 1 0 908375452 55316480 12776 4294967295 134512640 134716908 3221224560 3221223288 134536889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13505 12776 1111 63 0 13442 0
vsize: 54020
[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 17468 0 0 0 65935 75 0 0 25 0 1 0 908375452 56532992 13043 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13802 13043 1111 63 0 13739 0
vsize: 55208
[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 17769 0 0 0 66933 76 0 0 25 0 1 0 908375452 57749504 13344 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14099 13344 1111 63 0 14036 0
vsize: 56396
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 17785 0 0 0 67933 77 0 0 25 0 1 0 908375452 57749504 13360 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14099 13360 1111 63 0 14036 0
vsize: 56396
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 17806 0 0 0 68933 77 0 0 25 0 1 0 908375452 57884672 13381 4294967295 134512640 134716908 3221224560 3221223336 134613544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14132 13381 1111 63 0 14069 0
vsize: 56528
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 17812 0 0 0 69932 78 0 0 25 0 1 0 908375452 57884672 13387 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14132 13387 1111 63 0 14069 0
vsize: 56528
[startup+710.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 17830 0 0 0 70932 79 0 0 25 0 1 0 908375452 57884672 13405 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14132 13405 1111 63 0 14069 0
vsize: 56528
[startup+720.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 17846 0 0 0 71932 79 0 0 25 0 1 0 908375452 58019840 13421 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14165 13421 1111 63 0 14102 0
vsize: 56660
[startup+730.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 17876 0 0 0 72932 79 0 0 25 0 1 0 908375452 58155008 13451 4294967295 134512640 134716908 3221224560 3221223336 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14198 13451 1111 63 0 14135 0
vsize: 56792
[startup+740.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 17919 0 0 0 73931 80 0 0 25 0 1 0 908375452 58286080 13494 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14230 13494 1111 63 0 14167 0
vsize: 56920
[startup+750.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 18014 0 0 0 74930 81 0 0 25 0 1 0 908375452 58691584 13589 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14329 13589 1111 63 0 14266 0
vsize: 57316
[startup+760.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 18058 0 0 0 75930 82 0 0 25 0 1 0 908375452 58826752 13633 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14362 13633 1111 63 0 14299 0
vsize: 57448
[startup+770.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 18087 0 0 0 76930 82 0 0 25 0 1 0 908375452 58961920 13662 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14395 13662 1111 63 0 14332 0
vsize: 57580
[startup+780.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 18115 0 0 0 77930 83 0 0 25 0 1 0 908375452 59097088 13690 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14428 13690 1111 63 0 14365 0
vsize: 57712
[startup+790.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 18142 0 0 0 78930 83 0 0 25 0 1 0 908375452 59232256 13717 4294967295 134512640 134716908 3221224560 3221223340 134613559 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14461 13717 1111 63 0 14398 0
vsize: 57844
[startup+800.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 18169 0 0 0 79929 83 0 0 25 0 1 0 908375452 59367424 13744 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14494 13744 1111 63 0 14431 0
vsize: 57976
[startup+810.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 18198 0 0 0 80929 84 0 0 25 0 1 0 908375452 59506688 13773 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14528 13773 1111 63 0 14465 0
vsize: 58112
[startup+820.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 18226 0 0 0 81928 85 0 0 25 0 1 0 908375452 59641856 13801 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14561 13801 1111 63 0 14498 0
vsize: 58244
[startup+830.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 18254 0 0 0 82928 85 0 0 25 0 1 0 908375452 59641856 13829 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14561 13829 1111 63 0 14498 0
vsize: 58244
[startup+840.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 18281 0 0 0 83928 86 0 0 25 0 1 0 908375452 59777024 13856 4294967295 134512640 134716908 3221224560 3221223340 134613559 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14594 13856 1111 63 0 14531 0
vsize: 58376
[startup+850.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 18308 0 0 0 84928 86 0 0 25 0 1 0 908375452 59912192 13883 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14627 13883 1111 63 0 14564 0
vsize: 58508
[startup+860.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 18335 0 0 0 85928 86 0 0 25 0 1 0 908375452 60047360 13910 4294967295 134512640 134716908 3221224560 3221223340 134613559 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14660 13910 1111 63 0 14597 0
vsize: 58640
[startup+870.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 18362 0 0 0 86928 87 0 0 25 0 1 0 908375452 60182528 13937 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14693 13937 1111 63 0 14630 0
vsize: 58772
[startup+880.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 18391 0 0 0 87928 87 0 0 25 0 1 0 908375452 60317696 13966 4294967295 134512640 134716908 3221224560 3221223320 134613538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14726 13966 1111 63 0 14663 0
vsize: 58904
[startup+890.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 18418 0 0 0 88927 87 0 0 25 0 1 0 908375452 60317696 13993 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14726 13993 1111 63 0 14663 0
vsize: 58904
[startup+900.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 18445 0 0 0 89927 88 0 0 25 0 1 0 908375452 60452864 14020 4294967295 134512640 134716908 3221224560 3221223336 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14759 14020 1111 63 0 14696 0
vsize: 59036
[startup+910.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 18472 0 0 0 90926 88 0 0 25 0 1 0 908375452 60588032 14047 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14792 14047 1111 63 0 14729 0
vsize: 59168
[startup+920.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 18499 0 0 0 91926 89 0 0 25 0 1 0 908375452 60723200 14074 4294967295 134512640 134716908 3221224560 3221223340 134613516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14825 14074 1111 63 0 14762 0
vsize: 59300
[startup+930.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 18527 0 0 0 92926 89 0 0 25 0 1 0 908375452 60858368 14102 4294967295 134512640 134716908 3221224560 3221223152 134539382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14858 14102 1111 63 0 14795 0
vsize: 59432
[startup+940.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 18554 0 0 0 93925 90 0 0 25 0 1 0 908375452 60858368 14129 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14858 14129 1111 63 0 14795 0
vsize: 59432
[startup+950.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 18581 0 0 0 94925 90 0 0 25 0 1 0 908375452 60993536 14156 4294967295 134512640 134716908 3221224560 3221223360 134597700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14891 14156 1111 63 0 14828 0
vsize: 59564
[startup+960.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 18608 0 0 0 95925 91 0 0 25 0 1 0 908375452 61128704 14183 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14924 14183 1111 63 0 14861 0
vsize: 59696
[startup+970.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 18638 0 0 0 96924 91 0 0 25 0 1 0 908375452 61263872 14213 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14957 14213 1111 63 0 14894 0
vsize: 59828
[startup+980.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 18741 0 0 0 97923 93 0 0 25 0 1 0 908375452 61669376 14316 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15056 14316 1111 63 0 14993 0
vsize: 60224
[startup+990.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 18839 0 0 0 98923 93 0 0 25 0 1 0 908375452 62074880 14414 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15155 14414 1111 63 0 15092 0
vsize: 60620
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 18940 0 0 0 99923 94 0 0 25 0 1 0 908375452 62480384 14515 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15254 14515 1111 63 0 15191 0
vsize: 61016
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 19040 0 0 0 100922 94 0 0 25 0 1 0 908375452 62885888 14615 4294967295 134512640 134716908 3221224560 3221223360 134597690 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15353 14615 1111 63 0 15290 0
vsize: 61412
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 19136 0 0 0 101922 95 0 0 25 0 1 0 908375452 63291392 14711 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15452 14711 1111 63 0 15389 0
vsize: 61808
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 19234 0 0 0 102921 96 0 0 25 0 1 0 908375452 63696896 14809 4294967295 134512640 134716908 3221224560 3221223100 134539235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15551 14809 1111 63 0 15488 0
vsize: 62204
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 19330 0 0 0 103921 97 0 0 25 0 1 0 908375452 64102400 14905 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15650 14905 1111 63 0 15587 0
vsize: 62600
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 19391 0 0 0 104920 97 0 0 25 0 1 0 908375452 64372736 14966 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15716 14966 1111 63 0 15653 0
vsize: 62864
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 19443 0 0 0 105920 98 0 0 25 0 1 0 908375452 64507904 15018 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15749 15018 1111 63 0 15686 0
vsize: 62996
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 19491 0 0 0 106920 98 0 0 25 0 1 0 908375452 64778240 15066 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15815 15066 1111 63 0 15752 0
vsize: 63260
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 19542 0 0 0 107919 99 0 0 25 0 1 0 908375452 64913408 15117 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15848 15117 1111 63 0 15785 0
vsize: 63392
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 19591 0 0 0 108919 100 0 0 25 0 1 0 908375452 65183744 15166 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15914 15166 1111 63 0 15851 0
vsize: 63656
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 19640 0 0 0 109918 100 0 0 25 0 1 0 908375452 65454080 15215 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15980 15215 1111 63 0 15917 0
vsize: 63920
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 19690 0 0 0 110918 101 0 0 25 0 1 0 908375452 65589248 15265 4294967295 134512640 134716908 3221224560 3221223360 134597730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16013 15265 1111 63 0 15950 0
vsize: 64052
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 19739 0 0 0 111917 102 0 0 25 0 1 0 908375452 65724416 15314 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16046 15314 1111 63 0 15983 0
vsize: 64184
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 19786 0 0 0 112917 102 0 0 25 0 1 0 908375452 65994752 15361 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16112 15361 1111 63 0 16049 0
vsize: 64448
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 19835 0 0 0 113917 103 0 0 25 0 1 0 908375452 66129920 15410 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16145 15410 1111 63 0 16082 0
vsize: 64580
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 19884 0 0 0 114916 103 0 0 25 0 1 0 908375452 66400256 15459 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16211 15459 1111 63 0 16148 0
vsize: 64844
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 19931 0 0 0 115916 104 0 0 25 0 1 0 908375452 66535424 15506 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16244 15506 1111 63 0 16181 0
vsize: 64976
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 19980 0 0 0 116916 104 0 0 25 0 1 0 908375452 66805760 15555 4294967295 134512640 134716908 3221224560 3221223188 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16310 15555 1111 63 0 16247 0
vsize: 65240
[startup+1174.88 s]
Raw data (loadavg): 0.99 0.97 0.93 1/53 5099
Raw data (stat): 5099 (bsolo_lpr_cuts-) R 5098 20224 20223 0 -1 0 19980 0 0 0 116916 104 0 0 25 0 1 0 908375452 66805760 15555 4294967295 134512640 134716908 3221224560 3221223188 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16310 15555 1111 63 0 16247 0
vsize: 0

Child status: 0
Real time (s): 1174.88
CPU time (s): 1175.05
CPU user time (s): 1173.96
CPU system time (s): 1.08183
CPU usage (%): 100.014
Max. virtual memory (Kb): 65240
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####