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/miplib3/normalized-mps-v2-13-7-dcmulti.opb
MD5SUM	28123830d5f7e3646d18978bb347487c
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.085986
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 41564

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-09 15:49:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29623 boxname=wulflinc3 idbench=1407 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  28123830d5f7e3646d18978bb347487c  /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: 29623
/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:        836280 kB
Buffers:          1832 kB
Cached:         176812 kB
SwapCached:        672 kB
Active:          30004 kB
Inactive:       150612 kB
HighTotal:      131008 kB
HighFree:        10948 kB
LowTotal:       903652 kB
LowFree:        825332 kB
SwapTotal:     2097136 kB
SwapFree:      2095384 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5004 kB
Slab:            12052 kB
Committed_AS:    71772 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 16:09:31 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 29623 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 47.505 s
c Initial Lower Bound: 228100163
c Lower Bound Elapsed time: 2.033
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.85 0.94 0.90 2/54 12249
Raw data (stat): 12249 (runsolver) R 12248 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 911477023 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.0003 s]
Raw data (loadavg): 0.88 0.94 0.90 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 7099 0 0 0 982 15 0 0 25 0 1 0 911477023 42078208 7019 4294967295 134512640 134716908 3221224560 3221223216 134527935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10273 7019 1111 63 0 10210 0
vsize: 41092
[startup+20.0001 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 9871 0 0 0 1975 21 0 0 25 0 1 0 911477023 42635264 9512 4294967295 134512640 134716908 3221224560 3221223216 134627219 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.0016 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 9872 0 0 0 2975 21 0 0 25 0 1 0 911477023 42635264 9513 4294967295 134512640 134716908 3221224560 3221223232 134627203 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.0018 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 9874 0 0 0 3975 22 0 0 25 0 1 0 911477023 42635264 9515 4294967295 134512640 134716908 3221224560 3221223232 134627203 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.0016 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 11713 0 0 0 4971 26 0 0 25 0 1 0 911477023 46800896 10641 4294967295 134512640 134716908 3221224560 3221222912 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11426 10649 1111 63 0 11363 0
vsize: 45704
[startup+60.002 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 20925 0 0 0 5951 45 0 0 25 0 1 0 911477023 52428800 11962 4294967295 134512640 134716908 3221224560 3221221568 1074139130 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12739 11901 1111 63 0 12676 0
vsize: 51200
[startup+70.0023 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21986 0 0 0 6948 48 0 0 25 0 1 0 911477023 50319360 11522 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12285 11522 1111 63 0 12222 0
vsize: 49140
[startup+80.0031 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21990 0 0 0 7947 49 0 0 25 0 1 0 911477023 50319360 11526 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12285 11526 1111 63 0 12222 0
vsize: 49140
[startup+90.0036 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 8947 49 0 0 25 0 1 0 911477023 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+100.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 9946 50 0 0 25 0 1 0 911477023 50319360 11528 4294967295 134512640 134716908 3221224560 3221223360 134597698 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.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 10946 51 0 0 25 0 1 0 911477023 50319360 11528 4294967295 134512640 134716908 3221224560 3221223484 1077781665 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.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 11945 52 0 0 25 0 1 0 911477023 50319360 11528 4294967295 134512640 134716908 3221224560 3221223360 134597773 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.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 12945 52 0 0 25 0 1 0 911477023 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+140.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 13944 52 0 0 25 0 1 0 911477023 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+150.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 14944 53 0 0 25 0 1 0 911477023 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+160.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 15944 53 0 0 25 0 1 0 911477023 50319360 11528 4294967295 134512640 134716908 3221224560 3221223332 134597630 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.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 16943 54 0 0 25 0 1 0 911477023 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+180.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 17943 55 0 0 25 0 1 0 911477023 50319360 11528 4294967295 134512640 134716908 3221224560 3221223484 1077781665 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.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 18943 55 0 0 25 0 1 0 911477023 50319360 11528 4294967295 134512640 134716908 3221224560 3221223484 1077781665 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.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 19943 55 0 0 25 0 1 0 911477023 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+210.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 20942 56 0 0 25 0 1 0 911477023 50319360 11528 4294967295 134512640 134716908 3221224560 3221223484 1077781665 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.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 21942 57 0 0 25 0 1 0 911477023 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+230.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 22942 57 0 0 25 0 1 0 911477023 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+240.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 23941 57 0 0 25 0 1 0 911477023 50319360 11528 4294967295 134512640 134716908 3221224560 3221223484 1077781665 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.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 24941 58 0 0 25 0 1 0 911477023 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+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 25941 59 0 0 25 0 1 0 911477023 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+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 26940 59 0 0 25 0 1 0 911477023 50319360 11528 4294967295 134512640 134716908 3221224560 3221223484 1077781665 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 27940 60 0 0 25 0 1 0 911477023 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+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 28940 60 0 0 25 0 1 0 911477023 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+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 29939 61 0 0 25 0 1 0 911477023 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+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 30939 61 0 0 25 0 1 0 911477023 50319360 11528 4294967295 134512640 134716908 3221224560 3221223336 134613533 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 31939 61 0 0 25 0 1 0 911477023 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+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 32938 62 0 0 25 0 1 0 911477023 50319360 11528 4294967295 134512640 134716908 3221224560 3221223484 1077781665 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 33938 63 0 0 25 0 1 0 911477023 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+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 34937 64 0 0 25 0 1 0 911477023 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+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 35937 64 0 0 25 0 1 0 911477023 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+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 36936 65 0 0 25 0 1 0 911477023 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+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 37936 65 0 0 25 0 1 0 911477023 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+390.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 38935 67 0 0 25 0 1 0 911477023 50319360 11528 4294967295 134512640 134716908 3221224560 3221223360 134597692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 39934 68 0 0 25 0 1 0 911477023 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+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 40934 68 0 0 25 0 1 0 911477023 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+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 41933 69 0 0 25 0 1 0 911477023 50319360 11528 4294967295 134512640 134716908 3221224560 3221223332 134597630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 42933 69 0 0 25 0 1 0 911477023 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+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 43933 70 0 0 25 0 1 0 911477023 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+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 44933 70 0 0 25 0 1 0 911477023 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+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 45933 70 0 0 25 0 1 0 911477023 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+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 46932 71 0 0 25 0 1 0 911477023 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+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 47932 71 0 0 25 0 1 0 911477023 50319360 11528 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 48932 72 0 0 25 0 1 0 911477023 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+500.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 49932 72 0 0 25 0 1 0 911477023 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+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 50931 73 0 0 25 0 1 0 911477023 50319360 11528 4294967295 134512640 134716908 3221224560 3221223360 134597692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 51931 73 0 0 25 0 1 0 911477023 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+530.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 52930 74 0 0 25 0 1 0 911477023 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+540.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21992 0 0 0 53930 74 0 0 25 0 1 0 911477023 50319360 11528 4294967295 134512640 134716908 3221224560 3221223340 134600365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12285 11528 1111 63 0 12222 0
vsize: 49140
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21993 0 0 0 54930 75 0 0 25 0 1 0 911477023 50319360 11529 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12285 11529 1111 63 0 12222 0
vsize: 49140
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21993 0 0 0 55929 75 0 0 25 0 1 0 911477023 50319360 11529 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12285 11529 1111 63 0 12222 0
vsize: 49140
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21993 0 0 0 56929 76 0 0 25 0 1 0 911477023 50319360 11529 4294967295 134512640 134716908 3221224560 3221223340 134613516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12285 11529 1111 63 0 12222 0
vsize: 49140
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21993 0 0 0 57929 76 0 0 25 0 1 0 911477023 50319360 11529 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12285 11529 1111 63 0 12222 0
vsize: 49140
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21993 0 0 0 58928 77 0 0 25 0 1 0 911477023 50319360 11529 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12285 11529 1111 63 0 12222 0
vsize: 49140
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12249
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21993 0 0 0 59928 77 0 0 25 0 1 0 911477023 50319360 11529 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12285 11529 1111 63 0 12222 0
vsize: 49140
[startup+610.015 s]
Raw data (loadavg): 1.07 0.99 0.91 2/57 12284
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21993 0 0 0 60928 78 0 0 25 0 1 0 911477023 50319360 11529 4294967295 134512640 134716908 3221224560 3221223360 134597703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12285 11529 1111 63 0 12222 0
vsize: 49140
[startup+620.015 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 12302
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21993 0 0 0 61926 79 0 0 25 0 1 0 911477023 50319360 11529 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12285 11529 1111 63 0 12222 0
vsize: 49140
[startup+630.017 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 12302
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21993 0 0 0 62926 79 0 0 25 0 1 0 911477023 50319360 11529 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12285 11529 1111 63 0 12222 0
vsize: 49140
[startup+640.017 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 12302
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21993 0 0 0 63925 81 0 0 25 0 1 0 911477023 50319360 11529 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12285 11529 1111 63 0 12222 0
vsize: 49140
[startup+650.017 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 12302
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 21998 0 0 0 64925 81 0 0 25 0 1 0 911477023 50454528 11534 4294967295 134512640 134716908 3221224560 3221223332 134597630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12318 11534 1111 63 0 12255 0
vsize: 49272
[startup+660.017 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 12302
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22007 0 0 0 65924 82 0 0 25 0 1 0 911477023 50454528 11543 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12318 11543 1111 63 0 12255 0
vsize: 49272
[startup+670.017 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 12302
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22013 0 0 0 66923 83 0 0 25 0 1 0 911477023 50454528 11549 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12318 11549 1111 63 0 12255 0
vsize: 49272
[startup+680.017 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 12302
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22022 0 0 0 67922 84 0 0 25 0 1 0 911477023 50454528 11558 4294967295 134512640 134716908 3221224560 3221223200 134542836 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12318 11558 1111 63 0 12255 0
vsize: 49272
[startup+690.018 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 12304
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22028 0 0 0 68921 85 0 0 25 0 1 0 911477023 50589696 11564 4294967295 134512640 134716908 3221224560 3221223360 134597728 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12351 11564 1111 63 0 12288 0
vsize: 49404
[startup+700.017 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12304
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22036 0 0 0 69921 86 0 0 25 0 1 0 911477023 50589696 11572 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12351 11572 1111 63 0 12288 0
vsize: 49404
[startup+710.018 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12304
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22045 0 0 0 70920 87 0 0 25 0 1 0 911477023 50589696 11581 4294967295 134512640 134716908 3221224560 3221223360 134597705 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12351 11581 1111 63 0 12288 0
vsize: 49404
[startup+720.018 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12304
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22052 0 0 0 71920 87 0 0 25 0 1 0 911477023 50589696 11588 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12351 11588 1111 63 0 12288 0
vsize: 49404
[startup+730.019 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12304
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22058 0 0 0 72919 88 0 0 25 0 1 0 911477023 50589696 11594 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12351 11594 1111 63 0 12288 0
vsize: 49404
[startup+740.018 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12304
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22067 0 0 0 73919 89 0 0 25 0 1 0 911477023 50724864 11603 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12384 11603 1111 63 0 12321 0
vsize: 49536
[startup+750.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12304
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22073 0 0 0 74918 90 0 0 25 0 1 0 911477023 50724864 11609 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12384 11609 1111 63 0 12321 0
vsize: 49536
[startup+760.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12304
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22082 0 0 0 75918 90 0 0 25 0 1 0 911477023 50724864 11618 4294967295 134512640 134716908 3221224560 3221223328 134597631 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12384 11618 1111 63 0 12321 0
vsize: 49536
[startup+770.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12304
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22088 0 0 0 76917 91 0 0 25 0 1 0 911477023 50724864 11624 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12384 11624 1111 63 0 12321 0
vsize: 49536
[startup+780.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12304
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22096 0 0 0 77916 92 0 0 25 0 1 0 911477023 50860032 11632 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12417 11632 1111 63 0 12354 0
vsize: 49668
[startup+790.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12304
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22103 0 0 0 78916 93 0 0 25 0 1 0 911477023 50860032 11639 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12417 11639 1111 63 0 12354 0
vsize: 49668
[startup+800.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12304
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22111 0 0 0 79915 94 0 0 25 0 1 0 911477023 50860032 11647 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12417 11647 1111 63 0 12354 0
vsize: 49668
[startup+810.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12304
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22118 0 0 0 80915 94 0 0 25 0 1 0 911477023 50860032 11654 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12417 11654 1111 63 0 12354 0
vsize: 49668
[startup+820.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12304
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22126 0 0 0 81914 95 0 0 25 0 1 0 911477023 50995200 11662 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12450 11662 1111 63 0 12387 0
vsize: 49800
[startup+830.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12304
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22133 0 0 0 82914 95 0 0 25 0 1 0 911477023 50995200 11669 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12450 11669 1111 63 0 12387 0
vsize: 49800
[startup+840.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12304
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22141 0 0 0 83914 96 0 0 25 0 1 0 911477023 50995200 11677 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12450 11677 1111 63 0 12387 0
vsize: 49800
[startup+850.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12304
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22148 0 0 0 84913 97 0 0 25 0 1 0 911477023 50995200 11684 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12450 11684 1111 63 0 12387 0
vsize: 49800
[startup+860.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12304
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22154 0 0 0 85913 97 0 0 25 0 1 0 911477023 50995200 11690 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12450 11690 1111 63 0 12387 0
vsize: 49800
[startup+870.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12304
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22161 0 0 0 86912 98 0 0 25 0 1 0 911477023 51130368 11697 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12483 11697 1111 63 0 12420 0
vsize: 49932
[startup+880.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12304
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22168 0 0 0 87911 99 0 0 25 0 1 0 911477023 51130368 11704 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12483 11704 1111 63 0 12420 0
vsize: 49932
[startup+890.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12304
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22176 0 0 0 88910 100 0 0 25 0 1 0 911477023 51130368 11712 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12483 11712 1111 63 0 12420 0
vsize: 49932
[startup+900.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12304
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22182 0 0 0 89910 101 0 0 25 0 1 0 911477023 51130368 11718 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12483 11718 1111 63 0 12420 0
vsize: 49932
[startup+910.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12304
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22188 0 0 0 90910 101 0 0 25 0 1 0 911477023 51130368 11724 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12483 11724 1111 63 0 12420 0
vsize: 49932
[startup+920.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12304
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22196 0 0 0 91909 102 0 0 25 0 1 0 911477023 51265536 11732 4294967295 134512640 134716908 3221224560 3221223324 134613516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12516 11732 1111 63 0 12453 0
vsize: 50064
[startup+930.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12304
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22204 0 0 0 92908 104 0 0 25 0 1 0 911477023 51265536 11740 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12516 11740 1111 63 0 12453 0
vsize: 50064
[startup+940.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12306
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22211 0 0 0 93907 105 0 0 25 0 1 0 911477023 51265536 11747 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12516 11747 1111 63 0 12453 0
vsize: 50064
[startup+950.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12306
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22219 0 0 0 94906 106 0 0 25 0 1 0 911477023 51265536 11755 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12516 11755 1111 63 0 12453 0
vsize: 50064
[startup+960.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12306
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22226 0 0 0 95905 107 0 0 25 0 1 0 911477023 51400704 11762 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12549 11762 1111 63 0 12486 0
vsize: 50196
[startup+970.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12306
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22234 0 0 0 96905 108 0 0 25 0 1 0 911477023 51400704 11770 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12549 11770 1111 63 0 12486 0
vsize: 50196
[startup+980.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12306
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22242 0 0 0 97905 108 0 0 25 0 1 0 911477023 51400704 11778 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12549 11778 1111 63 0 12486 0
vsize: 50196
[startup+990.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12306
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22250 0 0 0 98904 109 0 0 25 0 1 0 911477023 51400704 11786 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12549 11786 1111 63 0 12486 0
vsize: 50196
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12306
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22255 0 0 0 99904 109 0 0 25 0 1 0 911477023 51400704 11791 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12549 11791 1111 63 0 12486 0
vsize: 50196
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12306
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22263 0 0 0 100903 110 0 0 25 0 1 0 911477023 51535872 11799 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12582 11799 1111 63 0 12519 0
vsize: 50328
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12306
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22270 0 0 0 101903 111 0 0 25 0 1 0 911477023 51535872 11806 4294967295 134512640 134716908 3221224560 3221223320 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+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12306
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22278 0 0 0 102903 111 0 0 25 0 1 0 911477023 51535872 11814 4294967295 134512640 134716908 3221224560 3221223340 134613559 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12582 11814 1111 63 0 12519 0
vsize: 50328
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12306
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22285 0 0 0 103902 112 0 0 25 0 1 0 911477023 51535872 11821 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12582 11821 1111 63 0 12519 0
vsize: 50328
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12306
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22293 0 0 0 104902 112 0 0 25 0 1 0 911477023 51671040 11829 4294967295 134512640 134716908 3221224560 3221223360 134597703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12615 11829 1111 63 0 12552 0
vsize: 50460
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12306
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22300 0 0 0 105901 113 0 0 25 0 1 0 911477023 51671040 11836 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12615 11836 1111 63 0 12552 0
vsize: 50460
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12306
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22308 0 0 0 106901 113 0 0 25 0 1 0 911477023 51671040 11844 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12615 11844 1111 63 0 12552 0
vsize: 50460
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12306
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22315 0 0 0 107901 114 0 0 25 0 1 0 911477023 51671040 11851 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12615 11851 1111 63 0 12552 0
vsize: 50460
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12306
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22323 0 0 0 108901 114 0 0 25 0 1 0 911477023 51671040 11859 4294967295 134512640 134716908 3221224560 3221223340 134600348 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12615 11859 1111 63 0 12552 0
vsize: 50460
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12306
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22328 0 0 0 109900 115 0 0 25 0 1 0 911477023 51806208 11864 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12648 11864 1111 63 0 12585 0
vsize: 50592
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12306
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22338 0 0 0 110900 115 0 0 25 0 1 0 911477023 51806208 11874 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12648 11874 1111 63 0 12585 0
vsize: 50592
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12306
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22343 0 0 0 111899 116 0 0 25 0 1 0 911477023 51806208 11879 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12648 11879 1111 63 0 12585 0
vsize: 50592
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12306
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22351 0 0 0 112899 117 0 0 25 0 1 0 911477023 51806208 11887 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12648 11887 1111 63 0 12585 0
vsize: 50592
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12306
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22357 0 0 0 113899 117 0 0 25 0 1 0 911477023 51941376 11893 4294967295 134512640 134716908 3221224560 3221223360 134597700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12681 11893 1111 63 0 12618 0
vsize: 50724
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12306
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22366 0 0 0 114898 118 0 0 25 0 1 0 911477023 51941376 11902 4294967295 134512640 134716908 3221224560 3221223324 134613559 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12681 11902 1111 63 0 12618 0
vsize: 50724
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12306
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22372 0 0 0 115897 119 0 0 25 0 1 0 911477023 51941376 11908 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12681 11908 1111 63 0 12618 0
vsize: 50724
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12306
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22379 0 0 0 116896 120 0 0 25 0 1 0 911477023 51941376 11915 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12681 11915 1111 63 0 12618 0
vsize: 50724
[startup+1174.9 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 12306
Raw data (stat): 12249 (bsolo_lpr_cuts-) R 12248 20224 20223 0 -1 0 22379 0 0 0 116896 120 0 0 25 0 1 0 911477023 51941376 11915 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12681 11915 1111 63 0 12618 0
vsize: 0

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