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-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-dcmulti.opb
MD5SUM	6ffc4ed72f4dd993b121ae0a2045731e
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	9505
Biggest coefficient in the objective function	697303040
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	66656504525
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	697303040
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	66656504525
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.087986
Number of variables	9535
Total number of constraints	365
Number of constraints which are clauses	27
Number of constraints which are cardinality constraints (but not clauses)	80
Number of constraints which are nor clauses,nor cardinality constraints	258
Minimum length of a constraint	1
Maximum length of a constraint	280
Trace number 41444

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-09 12:29:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29506 boxname=wulflinc3 idbench=1290 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  6ffc4ed72f4dd993b121ae0a2045731e  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-dcmulti.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-dcmulti.opb
IDLAUNCH: 29506
/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:        910260 kB
Buffers:          6380 kB
Cached:          97968 kB
SwapCached:        712 kB
Active:          31112 kB
Inactive:        75268 kB
HighTotal:      131008 kB
HighFree:        47656 kB
LowTotal:       903652 kB
LowFree:        862604 kB
SwapTotal:     2097136 kB
SwapFree:      2095352 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5008 kB
Slab:            12360 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 12:49:10 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 29506 7 1175.04 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 9535 variables and 368 constraints.
c After prepocess the problem consists of 7884 variables and 795 constraints.
c preprocess terminated 48.445 s
c Initial Lower Bound: 228100163
c Lower Bound Elapsed time: 2.088
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.77 0.88 0.89 2/54 10122
Raw data (stat): 10122 (runsolver) R 10121 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 910274743 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.0015 s]
Raw data (loadavg): 0.80 0.89 0.89 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 6900 0 0 0 982 16 0 0 25 0 1 0 910274743 41377792 6820 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10102 6820 1111 63 0 10039 0
vsize: 40408
[startup+20.0023 s]
Raw data (loadavg): 0.83 0.89 0.89 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 9871 0 0 0 1975 22 0 0 25 0 1 0 910274743 42635264 9512 4294967295 134512640 134716908 3221224560 3221223212 134558618 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10409 9512 1111 63 0 10346 0
vsize: 41636
[startup+30.0027 s]
Raw data (loadavg): 0.86 0.89 0.89 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 9872 0 0 0 2975 22 0 0 25 0 1 0 910274743 42635264 9513 4294967295 134512640 134716908 3221224560 3221223228 134627352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10409 9513 1111 63 0 10346 0
vsize: 41636
[startup+40.003 s]
Raw data (loadavg): 0.88 0.90 0.89 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 9874 0 0 0 3975 22 0 0 25 0 1 0 910274743 42635264 9515 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10409 9515 1111 63 0 10346 0
vsize: 41636
[startup+50.0039 s]
Raw data (loadavg): 0.90 0.90 0.89 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 11262 0 0 0 4970 27 0 0 25 0 1 0 910274743 47439872 10678 4294967295 134512640 134716908 3221224560 3221220736 1074961496 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11582 10678 1111 63 0 11519 0
vsize: 46328
[startup+60.0043 s]
Raw data (loadavg): 0.91 0.90 0.89 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 19768 0 0 0 5949 49 0 0 25 0 1 0 910274743 50810880 11511 4294967295 134512640 134716908 3221224560 3221221584 1074835529 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12405 11511 1111 63 0 12342 0
vsize: 49620
[startup+70.0045 s]
Raw data (loadavg): 0.92 0.90 0.89 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21986 0 0 0 6943 55 0 0 25 0 1 0 910274743 50319360 11522 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12285 11522 1111 63 0 12222 0
vsize: 49140
[startup+80.0054 s]
Raw data (loadavg): 0.94 0.91 0.89 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21988 0 0 0 7943 55 0 0 25 0 1 0 910274743 50319360 11524 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12285 11524 1111 63 0 12222 0
vsize: 49140
[startup+90.0058 s]
Raw data (loadavg): 0.95 0.91 0.89 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 8942 57 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+100.006 s]
Raw data (loadavg): 0.95 0.91 0.90 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 9941 57 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+110.007 s]
Raw data (loadavg): 0.96 0.91 0.90 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 10940 58 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223336 134613525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+120.007 s]
Raw data (loadavg): 0.97 0.92 0.90 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 11940 59 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+130.009 s]
Raw data (loadavg): 0.97 0.92 0.90 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 12939 60 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+140.009 s]
Raw data (loadavg): 0.97 0.92 0.90 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 13938 61 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223336 134613525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+150.01 s]
Raw data (loadavg): 0.98 0.92 0.90 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 14938 62 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+160.01 s]
Raw data (loadavg): 0.98 0.92 0.90 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 15937 63 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+170.01 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 16936 63 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+180.011 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 17935 65 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223360 134597703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+190.012 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 18934 66 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223320 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+200.011 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 19933 66 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+210.012 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 20932 67 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+220.012 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 21931 68 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223340 134613559 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+230.013 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 22931 69 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+240.014 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 23930 70 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223360 134597730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+250.014 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 24930 71 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223120 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+260.014 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 25929 71 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+270.014 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 26929 72 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+280.015 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 27928 72 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+290.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 28928 73 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+300.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 29927 74 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223336 134613525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+310.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 30926 75 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+320.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 31925 76 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+330.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 32925 76 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+340.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 33925 77 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+350.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 34925 77 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+360.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 35924 78 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+370.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 36923 78 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+380.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 37923 79 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+390.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 38922 80 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+400.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 39922 80 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223352 134597569 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+410.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 40921 81 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+420.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 41921 81 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+430.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 42921 82 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+440.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 43921 82 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+450.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 44920 83 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+460.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 45920 84 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+470.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 46919 84 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223352 134597668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+480.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 47919 85 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 48918 85 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 49918 86 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 50918 86 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223324 134613516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 51918 87 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 52917 88 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+540.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 53917 88 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223336 134600349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 54917 88 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+560.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21992 0 0 0 55916 89 0 0 25 0 1 0 910274743 50319360 11528 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+570.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21993 0 0 0 56916 90 0 0 25 0 1 0 910274743 50319360 11529 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12285 11529 1111 63 0 12222 0
vsize: 49140
[startup+580.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21993 0 0 0 57915 91 0 0 25 0 1 0 910274743 50319360 11529 4294967295 134512640 134716908 3221224560 3221223332 134597630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12285 11529 1111 63 0 12222 0
vsize: 49140
[startup+590.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21993 0 0 0 58914 92 0 0 25 0 1 0 910274743 50319360 11529 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12285 11529 1111 63 0 12222 0
vsize: 49140
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21993 0 0 0 59913 93 0 0 25 0 1 0 910274743 50319360 11529 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12285 11529 1111 63 0 12222 0
vsize: 49140
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21993 0 0 0 60912 94 0 0 25 0 1 0 910274743 50319360 11529 4294967295 134512640 134716908 3221224560 3221223360 134597730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12285 11529 1111 63 0 12222 0
vsize: 49140
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21993 0 0 0 61912 94 0 0 25 0 1 0 910274743 50319360 11529 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12285 11529 1111 63 0 12222 0
vsize: 49140
[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21993 0 0 0 62911 95 0 0 25 0 1 0 910274743 50319360 11529 4294967295 134512640 134716908 3221224560 3221223360 134597738 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12285 11529 1111 63 0 12222 0
vsize: 49140
[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21993 0 0 0 63911 96 0 0 25 0 1 0 910274743 50319360 11529 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12285 11529 1111 63 0 12222 0
vsize: 49140
[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21993 0 0 0 64911 96 0 0 25 0 1 0 910274743 50319360 11529 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12285 11529 1111 63 0 12222 0
vsize: 49140
[startup+660.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21993 0 0 0 65910 97 0 0 25 0 1 0 910274743 50319360 11529 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12285 11529 1111 63 0 12222 0
vsize: 49140
[startup+670.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 21996 0 0 0 66909 98 0 0 25 0 1 0 910274743 50454528 11532 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12318 11532 1111 63 0 12255 0
vsize: 49272
[startup+680.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22004 0 0 0 67909 99 0 0 25 0 1 0 910274743 50454528 11540 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12318 11540 1111 63 0 12255 0
vsize: 49272
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22009 0 0 0 68908 99 0 0 25 0 1 0 910274743 50454528 11545 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12318 11545 1111 63 0 12255 0
vsize: 49272
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22017 0 0 0 69908 100 0 0 25 0 1 0 910274743 50454528 11553 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12318 11553 1111 63 0 12255 0
vsize: 49272
[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22024 0 0 0 70908 100 0 0 25 0 1 0 910274743 50454528 11560 4294967295 134512640 134716908 3221224560 3221223336 134600349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12318 11560 1111 63 0 12255 0
vsize: 49272
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22032 0 0 0 71907 101 0 0 25 0 1 0 910274743 50589696 11568 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12351 11568 1111 63 0 12288 0
vsize: 49404
[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22038 0 0 0 72907 101 0 0 25 0 1 0 910274743 50589696 11574 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12351 11574 1111 63 0 12288 0
vsize: 49404
[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22047 0 0 0 73907 102 0 0 25 0 1 0 910274743 50589696 11583 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12351 11583 1111 63 0 12288 0
vsize: 49404
[startup+750.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22054 0 0 0 74907 102 0 0 25 0 1 0 910274743 50589696 11590 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12351 11590 1111 63 0 12288 0
vsize: 49404
[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22062 0 0 0 75906 103 0 0 25 0 1 0 910274743 50724864 11598 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12384 11598 1111 63 0 12321 0
vsize: 49536
[startup+770.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22069 0 0 0 76905 104 0 0 25 0 1 0 910274743 50724864 11605 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12384 11605 1111 63 0 12321 0
vsize: 49536
[startup+780.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22075 0 0 0 77905 104 0 0 25 0 1 0 910274743 50724864 11611 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12384 11611 1111 63 0 12321 0
vsize: 49536
[startup+790.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22082 0 0 0 78905 105 0 0 25 0 1 0 910274743 50724864 11618 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12384 11618 1111 63 0 12321 0
vsize: 49536
[startup+800.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22088 0 0 0 79905 105 0 0 25 0 1 0 910274743 50724864 11624 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12384 11624 1111 63 0 12321 0
vsize: 49536
[startup+810.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22096 0 0 0 80904 106 0 0 25 0 1 0 910274743 50860032 11632 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12417 11632 1111 63 0 12354 0
vsize: 49668
[startup+820.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22103 0 0 0 81904 107 0 0 25 0 1 0 910274743 50860032 11639 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12417 11639 1111 63 0 12354 0
vsize: 49668
[startup+830.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22111 0 0 0 82903 107 0 0 25 0 1 0 910274743 50860032 11647 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12417 11647 1111 63 0 12354 0
vsize: 49668
[startup+840.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22118 0 0 0 83903 108 0 0 25 0 1 0 910274743 50860032 11654 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12417 11654 1111 63 0 12354 0
vsize: 49668
[startup+850.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22126 0 0 0 84902 109 0 0 25 0 1 0 910274743 50995200 11662 4294967295 134512640 134716908 3221224560 3221223344 134597614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12450 11662 1111 63 0 12387 0
vsize: 49800
[startup+860.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22131 0 0 0 85902 109 0 0 25 0 1 0 910274743 50995200 11667 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12450 11667 1111 63 0 12387 0
vsize: 49800
[startup+870.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22139 0 0 0 86901 110 0 0 25 0 1 0 910274743 50995200 11675 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12450 11675 1111 63 0 12387 0
vsize: 49800
[startup+880.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22146 0 0 0 87901 111 0 0 25 0 1 0 910274743 50995200 11682 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12450 11682 1111 63 0 12387 0
vsize: 49800
[startup+890.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22152 0 0 0 88900 111 0 0 25 0 1 0 910274743 50995200 11688 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12450 11688 1111 63 0 12387 0
vsize: 49800
[startup+900.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22158 0 0 0 89900 112 0 0 25 0 1 0 910274743 50995200 11694 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12450 11694 1111 63 0 12387 0
vsize: 49800
[startup+910.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22166 0 0 0 90899 113 0 0 25 0 1 0 910274743 51130368 11702 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12483 11702 1111 63 0 12420 0
vsize: 49932
[startup+920.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22174 0 0 0 91899 113 0 0 25 0 1 0 910274743 51130368 11710 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12483 11710 1111 63 0 12420 0
vsize: 49932
[startup+930.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22179 0 0 0 92899 114 0 0 25 0 1 0 910274743 51130368 11715 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12483 11715 1111 63 0 12420 0
vsize: 49932
[startup+940.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22186 0 0 0 93898 114 0 0 25 0 1 0 910274743 51130368 11722 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12483 11722 1111 63 0 12420 0
vsize: 49932
[startup+950.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22191 0 0 0 94898 115 0 0 25 0 1 0 910274743 51130368 11727 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12483 11727 1111 63 0 12420 0
vsize: 49932
[startup+960.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22198 0 0 0 95898 115 0 0 25 0 1 0 910274743 51265536 11734 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12516 11734 1111 63 0 12453 0
vsize: 50064
[startup+970.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22206 0 0 0 96897 116 0 0 25 0 1 0 910274743 51265536 11742 4294967295 134512640 134716908 3221224560 3221223360 134597712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12516 11742 1111 63 0 12453 0
vsize: 50064
[startup+980.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22213 0 0 0 97897 116 0 0 25 0 1 0 910274743 51265536 11749 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12516 11749 1111 63 0 12453 0
vsize: 50064
[startup+990.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22219 0 0 0 98896 117 0 0 25 0 1 0 910274743 51265536 11755 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12516 11755 1111 63 0 12453 0
vsize: 50064
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22228 0 0 0 99896 118 0 0 25 0 1 0 910274743 51400704 11764 4294967295 134512640 134716908 3221224560 3221223340 134600365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12549 11764 1111 63 0 12486 0
vsize: 50196
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22234 0 0 0 100895 118 0 0 25 0 1 0 910274743 51400704 11770 4294967295 134512640 134716908 3221224560 3221223336 134613544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12549 11770 1111 63 0 12486 0
vsize: 50196
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22242 0 0 0 101895 119 0 0 25 0 1 0 910274743 51400704 11778 4294967295 134512640 134716908 3221224560 3221223340 134600365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12549 11778 1111 63 0 12486 0
vsize: 50196
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22250 0 0 0 102895 119 0 0 25 0 1 0 910274743 51400704 11786 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12549 11786 1111 63 0 12486 0
vsize: 50196
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22255 0 0 0 103895 120 0 0 25 0 1 0 910274743 51400704 11791 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12549 11791 1111 63 0 12486 0
vsize: 50196
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22263 0 0 0 104894 120 0 0 25 0 1 0 910274743 51535872 11799 4294967295 134512640 134716908 3221224560 3221223360 134597738 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12582 11799 1111 63 0 12519 0
vsize: 50328
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22270 0 0 0 105894 121 0 0 25 0 1 0 910274743 51535872 11806 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12582 11806 1111 63 0 12519 0
vsize: 50328
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22278 0 0 0 106894 121 0 0 25 0 1 0 910274743 51535872 11814 4294967295 134512640 134716908 3221224560 3221223328 134597634 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12582 11814 1111 63 0 12519 0
vsize: 50328
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22283 0 0 0 107893 122 0 0 25 0 1 0 910274743 51535872 11819 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12582 11819 1111 63 0 12519 0
vsize: 50328
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22293 0 0 0 108893 122 0 0 25 0 1 0 910274743 51671040 11829 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12615 11829 1111 63 0 12552 0
vsize: 50460
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22298 0 0 0 109893 123 0 0 25 0 1 0 910274743 51671040 11834 4294967295 134512640 134716908 3221224560 3221223324 134613559 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12615 11834 1111 63 0 12552 0
vsize: 50460
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22306 0 0 0 110893 123 0 0 25 0 1 0 910274743 51671040 11842 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12615 11842 1111 63 0 12552 0
vsize: 50460
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22312 0 0 0 111892 124 0 0 25 0 1 0 910274743 51671040 11848 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12615 11848 1111 63 0 12552 0
vsize: 50460
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22319 0 0 0 112892 125 0 0 25 0 1 0 910274743 51671040 11855 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12615 11855 1111 63 0 12552 0
vsize: 50460
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22327 0 0 0 113891 125 0 0 25 0 1 0 910274743 51806208 11863 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12648 11863 1111 63 0 12585 0
vsize: 50592
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22334 0 0 0 114891 126 0 0 25 0 1 0 910274743 51806208 11870 4294967295 134512640 134716908 3221224560 3221223320 134613538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12648 11870 1111 63 0 12585 0
vsize: 50592
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22340 0 0 0 115891 126 0 0 25 0 1 0 910274743 51806208 11876 4294967295 134512640 134716908 3221224560 3221223320 134613538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12648 11876 1111 63 0 12585 0
vsize: 50592
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22349 0 0 0 116890 127 0 0 25 0 1 0 910274743 51806208 11885 4294967295 134512640 134716908 3221224560 3221223360 134597705 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12648 11885 1111 63 0 12585 0
vsize: 50592
[startup+1174.9 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 10122
Raw data (stat): 10122 (bsolo_lpr_cuts-) R 10121 20224 20223 0 -1 0 22349 0 0 0 116890 127 0 0 25 0 1 0 910274743 51806208 11885 4294967295 134512640 134716908 3221224560 3221223360 134597705 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12648 11885 1111 63 0 12585 0
vsize: 0

Child status: 0
Real time (s): 1174.9
CPU time (s): 1175.04
CPU user time (s): 1173.74
CPU system time (s): 1.3008
CPU usage (%): 100.012
Max. virtual memory (Kb): 50592
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####