PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow30a.opb
MD5SUM	7fcbcb2a8848112bb780308c9eb60989
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4241
Optimality of the best value was proved	NO
Number of terms in the objective function	421
Biggest coefficient in the objective function	500
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	72290
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	102400
Number of bits of the biggest number in a constraint	17
Biggest sum of numbers in a constraint	3334110
Number of bits of the biggest sum of numbers	22
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.05
Number of variables	7195
Total number of constraints	1321
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	450
Number of constraints which are nor clauses,nor cardinality constraints	871
Minimum length of a constraint	1
Maximum length of a constraint	555
Trace number 41106

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-09 05:57:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29171 boxname=wulflinc3 idbench=955 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  7fcbcb2a8848112bb780308c9eb60989  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-aflow30a.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-aflow30a.opb
IDLAUNCH: 29171
/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:        763252 kB
Buffers:         31112 kB
Cached:         217352 kB
SwapCached:       3476 kB
Active:          41388 kB
Inactive:       211900 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        763000 kB
SwapTotal:     2097136 kB
SwapFree:      2092672 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5024 kB
Slab:            12412 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 06:16:39 (client local time) WITH STATUS 0 IN 1175.06 SECONDS
stats: 29171 7 1175.06 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 7195 variables and 958 constraints.
c After prepocess the problem consists of 7170 variables and 994 constraints.
c preprocess terminated 133.443 s
c Initial Lower Bound: 986
c Lower Bound Elapsed time: 2.61725
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.91 2/54 4336
Raw data (stat): 4336 (runsolver) R 4335 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907919405 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.0015 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 4336
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 31959 0 0 0 921 76 0 0 25 0 1 0 907919405 62304256 14326 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15211 14326 1111 63 0 15148 0
vsize: 60844
[startup+20.0023 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 4336
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 39251 0 0 0 1906 91 0 0 25 0 1 0 907919405 87797760 20534 4294967295 134512640 134716908 3221224560 3221222992 134543671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21435 20534 1111 63 0 21372 0
vsize: 85740
[startup+30.0026 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 4336
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 44374 0 0 0 2896 101 0 0 25 0 1 0 907919405 107704320 25394 4294967295 134512640 134716908 3221224560 3221223064 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26295 25394 1111 63 0 26232 0
vsize: 105180
[startup+40.0039 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 4336
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 46208 0 0 0 3893 104 0 0 25 0 1 0 907919405 114573312 27077 4294967295 134512640 134716908 3221224560 3221223224 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27972 27077 1111 63 0 27909 0
vsize: 111888
[startup+50.0047 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 4336
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 46208 0 0 0 4893 104 0 0 25 0 1 0 907919405 114573312 27077 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27972 27077 1111 63 0 27909 0
vsize: 111888
[startup+60.0051 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 4336
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 46208 0 0 0 5893 105 0 0 25 0 1 0 907919405 114573312 27077 4294967295 134512640 134716908 3221224560 3221223224 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27972 27077 1111 63 0 27909 0
vsize: 111888
[startup+70.0064 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 4336
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 46208 0 0 0 6893 105 0 0 25 0 1 0 907919405 114573312 27077 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27972 27077 1111 63 0 27909 0
vsize: 111888
[startup+80.0076 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 4336
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 46208 0 0 0 7892 105 0 0 25 0 1 0 907919405 114573312 27077 4294967295 134512640 134716908 3221224560 3221223212 134558608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27972 27077 1111 63 0 27909 0
vsize: 111888
[startup+90.0076 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 4336
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 46208 0 0 0 8892 105 0 0 25 0 1 0 907919405 114573312 27077 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27972 27077 1111 63 0 27909 0
vsize: 111888
[startup+100.008 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 4336
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 46210 0 0 0 9892 105 0 0 25 0 1 0 907919405 114573312 27079 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27972 27079 1111 63 0 27909 0
vsize: 111888
[startup+110.01 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 4336
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 46214 0 0 0 10891 106 0 0 25 0 1 0 907919405 114573312 27083 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27972 27083 1111 63 0 27909 0
vsize: 111888
[startup+120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4336
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 46218 0 0 0 11891 107 0 0 25 0 1 0 907919405 114573312 27087 4294967295 134512640 134716908 3221224560 3221223224 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27972 27087 1111 63 0 27909 0
vsize: 111888
[startup+130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4336
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 46220 0 0 0 12891 107 0 0 25 0 1 0 907919405 114573312 27089 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27972 27089 1111 63 0 27909 0
vsize: 111888
[startup+140.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4336
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 51367 0 0 0 13878 119 0 0 25 0 1 0 907919405 122060800 29002 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29800 29002 1111 63 0 29737 0
vsize: 119200
[startup+150.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4336
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 53968 0 0 0 14873 125 0 0 25 0 1 0 907919405 120631296 28723 4294967295 134512640 134716908 3221224560 3221223328 134597631 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29451 28723 1111 63 0 29388 0
vsize: 117804
[startup+160.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4336
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 53974 0 0 0 15872 125 0 0 25 0 1 0 907919405 120631296 28729 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29451 28729 1111 63 0 29388 0
vsize: 117804
[startup+170.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4336
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 53977 0 0 0 16872 126 0 0 25 0 1 0 907919405 120631296 28732 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29451 28732 1111 63 0 29388 0
vsize: 117804
[startup+180.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4336
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 53977 0 0 0 17872 126 0 0 25 0 1 0 907919405 120631296 28732 4294967295 134512640 134716908 3221224560 3221223552 134574832 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29451 28732 1111 63 0 29388 0
vsize: 117804
[startup+190.046 s]
Raw data (loadavg): 1.15 1.00 0.92 3/58 4389
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 53977 0 0 0 18874 127 0 0 25 0 1 0 907919405 120631296 28732 4294967295 134512640 134716908 3221224560 3221223292 134524593 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29451 28732 1111 63 0 29388 0
vsize: 117804
[startup+200.046 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 4389
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 53977 0 0 0 19874 128 0 0 25 0 1 0 907919405 120631296 28732 4294967295 134512640 134716908 3221224560 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29451 28732 1111 63 0 29388 0
vsize: 117804
[startup+210.047 s]
Raw data (loadavg): 1.18 1.02 0.93 2/54 4389
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 53977 0 0 0 20874 128 0 0 25 0 1 0 907919405 120631296 28732 4294967295 134512640 134716908 3221224560 3221223352 134558582 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29451 28732 1111 63 0 29388 0
vsize: 117804
[startup+220.047 s]
Raw data (loadavg): 1.16 1.02 0.93 2/54 4389
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 53977 0 0 0 21874 128 0 0 25 0 1 0 907919405 120631296 28732 4294967295 134512640 134716908 3221224560 3221223144 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29451 28732 1111 63 0 29388 0
vsize: 117804
[startup+230.048 s]
Raw data (loadavg): 1.13 1.02 0.93 2/54 4389
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 53977 0 0 0 22873 129 0 0 25 0 1 0 907919405 120631296 28732 4294967295 134512640 134716908 3221224560 3221223200 134539429 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29451 28732 1111 63 0 29388 0
vsize: 117804
[startup+240.048 s]
Raw data (loadavg): 1.11 1.02 0.93 2/54 4389
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 53977 0 0 0 23873 129 0 0 25 0 1 0 907919405 120631296 28732 4294967295 134512640 134716908 3221224560 3221223304 134551632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29451 28732 1111 63 0 29388 0
vsize: 117804
[startup+250.048 s]
Raw data (loadavg): 1.09 1.01 0.93 2/54 4389
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 53977 0 0 0 24873 129 0 0 25 0 1 0 907919405 120631296 28732 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29451 28732 1111 63 0 29388 0
vsize: 117804
[startup+260.049 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 4391
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 53977 0 0 0 25873 130 0 0 25 0 1 0 907919405 120631296 28732 4294967295 134512640 134716908 3221224560 3221223360 134597733 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29451 28732 1111 63 0 29388 0
vsize: 117804
[startup+270.05 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 4391
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 53977 0 0 0 26872 131 0 0 25 0 1 0 907919405 120631296 28732 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29451 28732 1111 63 0 29388 0
vsize: 117804
[startup+280.049 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 4391
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 53977 0 0 0 27872 132 0 0 25 0 1 0 907919405 120631296 28732 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29451 28732 1111 63 0 29388 0
vsize: 117804
[startup+290.051 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 4391
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 53977 0 0 0 28872 132 0 0 25 0 1 0 907919405 120631296 28732 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29451 28732 1111 63 0 29388 0
vsize: 117804
[startup+300.05 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 4391
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 53986 0 0 0 29871 132 0 0 25 0 1 0 907919405 120672256 28740 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29461 28740 1111 63 0 29398 0
vsize: 117844
[startup+310.051 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 4391
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 53986 0 0 0 30871 133 0 0 25 0 1 0 907919405 120672256 28740 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29461 28740 1111 63 0 29398 0
vsize: 117844
[startup+320.051 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 4391
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 53986 0 0 0 31871 133 0 0 25 0 1 0 907919405 120672256 28740 4294967295 134512640 134716908 3221224560 3221223128 1077377677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29461 28740 1111 63 0 29398 0
vsize: 117844
[startup+330.052 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 4391
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 53986 0 0 0 32871 133 0 0 25 0 1 0 907919405 120672256 28740 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29461 28740 1111 63 0 29398 0
vsize: 117844
[startup+340.051 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 4391
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 53986 0 0 0 33870 134 0 0 25 0 1 0 907919405 120672256 28740 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29461 28740 1111 63 0 29398 0
vsize: 117844
[startup+350.052 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 4391
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 53986 0 0 0 34870 134 0 0 25 0 1 0 907919405 120672256 28740 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29461 28740 1111 63 0 29398 0
vsize: 117844
[startup+360.052 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 4391
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 53986 0 0 0 35870 134 0 0 25 0 1 0 907919405 120672256 28740 4294967295 134512640 134716908 3221224560 3221223120 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29461 28740 1111 63 0 29398 0
vsize: 117844
[startup+370.052 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 4391
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 53986 0 0 0 36870 134 0 0 25 0 1 0 907919405 120672256 28740 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29461 28740 1111 63 0 29398 0
vsize: 117844
[startup+380.052 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 4391
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 53986 0 0 0 37870 135 0 0 25 0 1 0 907919405 120672256 28740 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29461 28740 1111 63 0 29398 0
vsize: 117844
[startup+390.053 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 4391
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 53986 0 0 0 38871 135 0 0 25 0 1 0 907919405 120672256 28740 4294967295 134512640 134716908 3221224560 3221223200 134539387 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29461 28740 1111 63 0 29398 0
vsize: 117844
[startup+400.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4391
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 53986 0 0 0 39870 135 0 0 25 0 1 0 907919405 120672256 28740 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29461 28740 1111 63 0 29398 0
vsize: 117844
[startup+410.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4391
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 53986 0 0 0 40870 135 0 0 25 0 1 0 907919405 120672256 28740 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29461 28740 1111 63 0 29398 0
vsize: 117844
[startup+420.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4391
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 53986 0 0 0 41870 136 0 0 25 0 1 0 907919405 120672256 28740 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29461 28740 1111 63 0 29398 0
vsize: 117844
[startup+430.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4391
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 53986 0 0 0 42869 137 0 0 25 0 1 0 907919405 120672256 28740 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29461 28740 1111 63 0 29398 0
vsize: 117844
[startup+440.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4391
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 53986 0 0 0 43869 137 0 0 25 0 1 0 907919405 120672256 28740 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29461 28740 1111 63 0 29398 0
vsize: 117844
[startup+450.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4391
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 53986 0 0 0 44869 138 0 0 25 0 1 0 907919405 120672256 28740 4294967295 134512640 134716908 3221224560 3221223168 134549318 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29461 28740 1111 63 0 29398 0
vsize: 117844
[startup+460.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4391
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 53986 0 0 0 45869 138 0 0 25 0 1 0 907919405 120672256 28740 4294967295 134512640 134716908 3221224560 3221223128 1077378379 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29461 28740 1111 63 0 29398 0
vsize: 117844
[startup+470.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4391
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 53986 0 0 0 46869 138 0 0 25 0 1 0 907919405 120672256 28740 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29461 28740 1111 63 0 29398 0
vsize: 117844
[startup+480.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4391
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 53986 0 0 0 47869 138 0 0 25 0 1 0 907919405 120672256 28740 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29461 28740 1111 63 0 29398 0
vsize: 117844
[startup+490.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4391
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 53986 0 0 0 48869 139 0 0 25 0 1 0 907919405 120672256 28740 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29461 28740 1111 63 0 29398 0
vsize: 117844
[startup+500.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4391
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 53986 0 0 0 49868 139 0 0 25 0 1 0 907919405 120672256 28740 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29461 28740 1111 63 0 29398 0
vsize: 117844
[startup+510.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54022 0 0 0 50868 140 0 0 25 0 1 0 907919405 120786944 28770 4294967295 134512640 134716908 3221224560 3221223332 134597630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29489 28770 1111 63 0 29426 0
vsize: 117956
[startup+520.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54022 0 0 0 51868 140 0 0 25 0 1 0 907919405 120786944 28770 4294967295 134512640 134716908 3221224560 3221223248 134594338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29489 28770 1111 63 0 29426 0
vsize: 117956
[startup+530.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54022 0 0 0 52868 140 0 0 25 0 1 0 907919405 120786944 28770 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29489 28770 1111 63 0 29426 0
vsize: 117956
[startup+540.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54036 0 0 0 53868 140 0 0 25 0 1 0 907919405 120922112 28784 4294967295 134512640 134716908 3221224560 3221223184 134698588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29522 28784 1111 63 0 29459 0
vsize: 118088
[startup+550.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54039 0 0 0 54867 141 0 0 25 0 1 0 907919405 120922112 28787 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29522 28787 1111 63 0 29459 0
vsize: 118088
[startup+560.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54039 0 0 0 55867 141 0 0 25 0 1 0 907919405 120922112 28787 4294967295 134512640 134716908 3221224560 3221223248 134524578 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29522 28787 1111 63 0 29459 0
vsize: 118088
[startup+570.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54039 0 0 0 56867 142 0 0 25 0 1 0 907919405 120827904 28780 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29499 28780 1111 63 0 29436 0
vsize: 117996
[startup+580.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54039 0 0 0 57866 143 0 0 25 0 1 0 907919405 120827904 28780 4294967295 134512640 134716908 3221224560 3221223304 134675300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29499 28780 1111 63 0 29436 0
vsize: 117996
[startup+590.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54042 0 0 0 58866 143 0 0 25 0 1 0 907919405 120963072 28783 4294967295 134512640 134716908 3221224560 3221223120 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29532 28783 1111 63 0 29469 0
vsize: 118128
[startup+600.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54042 0 0 0 59866 143 0 0 25 0 1 0 907919405 120963072 28783 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29532 28783 1111 63 0 29469 0
vsize: 118128
[startup+610.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54042 0 0 0 60865 144 0 0 25 0 1 0 907919405 120963072 28783 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29532 28783 1111 63 0 29469 0
vsize: 118128
[startup+620.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54046 0 0 0 61865 144 0 0 25 0 1 0 907919405 120963072 28787 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29532 28787 1111 63 0 29469 0
vsize: 118128
[startup+630.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54046 0 0 0 62865 144 0 0 25 0 1 0 907919405 120963072 28787 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29532 28787 1111 63 0 29469 0
vsize: 118128
[startup+640.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54046 0 0 0 63865 145 0 0 25 0 1 0 907919405 120963072 28787 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29532 28787 1111 63 0 29469 0
vsize: 118128
[startup+650.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54046 0 0 0 64865 145 0 0 25 0 1 0 907919405 120963072 28787 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29532 28787 1111 63 0 29469 0
vsize: 118128
[startup+660.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54046 0 0 0 65865 145 0 0 25 0 1 0 907919405 120963072 28787 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29532 28787 1111 63 0 29469 0
vsize: 118128
[startup+670.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54046 0 0 0 66865 146 0 0 25 0 1 0 907919405 120827904 28780 4294967295 134512640 134716908 3221224560 3221223320 134613517 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29499 28780 1111 63 0 29436 0
vsize: 117996
[startup+680.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54046 0 0 0 67865 146 0 0 25 0 1 0 907919405 120827904 28780 4294967295 134512640 134716908 3221224560 3221223344 134528816 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29499 28780 1111 63 0 29436 0
vsize: 117996
[startup+690.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54046 0 0 0 68865 146 0 0 25 0 1 0 907919405 120827904 28780 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29499 28780 1111 63 0 29436 0
vsize: 117996
[startup+700.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54057 0 0 0 69865 147 0 0 25 0 1 0 907919405 120963072 28791 4294967295 134512640 134716908 3221224560 3221223172 134548552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29532 28791 1111 63 0 29469 0
vsize: 118128
[startup+710.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54065 0 0 0 70864 147 0 0 25 0 1 0 907919405 120963072 28799 4294967295 134512640 134716908 3221224560 3221223148 134542288 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29532 28799 1111 63 0 29469 0
vsize: 118128
[startup+720.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54104 0 0 0 71864 148 0 0 25 0 1 0 907919405 121098240 28838 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29565 28838 1111 63 0 29502 0
vsize: 118260
[startup+730.062 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54104 0 0 0 72864 148 0 0 25 0 1 0 907919405 121098240 28838 4294967295 134512640 134716908 3221224560 3221223248 134524466 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29565 28838 1111 63 0 29502 0
vsize: 118260
[startup+740.062 s]
Raw data (loadavg): 1.06 1.02 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54104 0 0 0 73864 148 0 0 25 0 1 0 907919405 121098240 28838 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29565 28838 1111 63 0 29502 0
vsize: 118260
[startup+750.063 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54104 0 0 0 74863 149 0 0 25 0 1 0 907919405 121098240 28838 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29565 28838 1111 63 0 29502 0
vsize: 118260
[startup+760.063 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54104 0 0 0 75863 149 0 0 25 0 1 0 907919405 121098240 28838 4294967295 134512640 134716908 3221224560 3221223100 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29565 28838 1111 63 0 29502 0
vsize: 118260
[startup+770.063 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54104 0 0 0 76863 150 0 0 25 0 1 0 907919405 121098240 28838 4294967295 134512640 134716908 3221224560 3221223332 134597630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29565 28838 1111 63 0 29502 0
vsize: 118260
[startup+780.063 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54104 0 0 0 77862 150 0 0 25 0 1 0 907919405 121098240 28838 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29565 28838 1111 63 0 29502 0
vsize: 118260
[startup+790.064 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54104 0 0 0 78862 151 0 0 25 0 1 0 907919405 121098240 28838 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29565 28838 1111 63 0 29502 0
vsize: 118260
[startup+800.063 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54104 0 0 0 79862 151 0 0 25 0 1 0 907919405 121098240 28838 4294967295 134512640 134716908 3221224560 3221222956 1077379843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29565 28838 1111 63 0 29502 0
vsize: 118260
[startup+810.063 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54108 0 0 0 80861 152 0 0 25 0 1 0 907919405 121098240 28842 4294967295 134512640 134716908 3221224560 3221223168 134549457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29565 28842 1111 63 0 29502 0
vsize: 118260
[startup+820.064 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54108 0 0 0 81861 152 0 0 25 0 1 0 907919405 121098240 28842 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29565 28842 1111 63 0 29502 0
vsize: 118260
[startup+830.063 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54108 0 0 0 82861 153 0 0 25 0 1 0 907919405 121098240 28842 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29565 28842 1111 63 0 29502 0
vsize: 118260
[startup+840.063 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54112 0 0 0 83860 153 0 0 25 0 1 0 907919405 121098240 28846 4294967295 134512640 134716908 3221224560 3221223352 134558597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29565 28846 1111 63 0 29502 0
vsize: 118260
[startup+850.064 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54112 0 0 0 84860 154 0 0 25 0 1 0 907919405 121098240 28846 4294967295 134512640 134716908 3221224560 3221223248 134524469 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29565 28846 1111 63 0 29502 0
vsize: 118260
[startup+860.063 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54112 0 0 0 85860 154 0 0 25 0 1 0 907919405 121098240 28846 4294967295 134512640 134716908 3221224560 3221223140 1077378621 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29565 28846 1111 63 0 29502 0
vsize: 118260
[startup+870.064 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54112 0 0 0 86860 154 0 0 25 0 1 0 907919405 121098240 28846 4294967295 134512640 134716908 3221224560 3221223120 134542368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29565 28846 1111 63 0 29502 0
vsize: 118260
[startup+880.064 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54112 0 0 0 87860 155 0 0 25 0 1 0 907919405 121098240 28846 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29565 28846 1111 63 0 29502 0
vsize: 118260
[startup+890.065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54112 0 0 0 88859 155 0 0 25 0 1 0 907919405 121098240 28846 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29565 28846 1111 63 0 29502 0
vsize: 118260
[startup+900.064 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54112 0 0 0 89859 156 0 0 25 0 1 0 907919405 121098240 28846 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29565 28846 1111 63 0 29502 0
vsize: 118260
[startup+910.065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54112 0 0 0 90859 156 0 0 25 0 1 0 907919405 121098240 28846 4294967295 134512640 134716908 3221224560 3221223360 134597692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29565 28846 1111 63 0 29502 0
vsize: 118260
[startup+920.066 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54112 0 0 0 91858 157 0 0 25 0 1 0 907919405 121098240 28846 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29565 28846 1111 63 0 29502 0
vsize: 118260
[startup+930.065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54112 0 0 0 92858 157 0 0 25 0 1 0 907919405 121098240 28846 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29565 28846 1111 63 0 29502 0
vsize: 118260
[startup+940.065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54112 0 0 0 93858 158 0 0 25 0 1 0 907919405 121098240 28846 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29565 28846 1111 63 0 29502 0
vsize: 118260
[startup+950.066 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54112 0 0 0 94858 158 0 0 25 0 1 0 907919405 121098240 28846 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29565 28846 1111 63 0 29502 0
vsize: 118260
[startup+960.065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54157 0 0 0 95857 158 0 0 25 0 1 0 907919405 121376768 28891 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29633 28891 1111 63 0 29570 0
vsize: 118532
[startup+970.066 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54171 0 0 0 96857 158 0 0 25 0 1 0 907919405 121376768 28905 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29633 28905 1111 63 0 29570 0
vsize: 118532
[startup+980.065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54184 0 0 0 97857 159 0 0 25 0 1 0 907919405 121344000 28906 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29625 28906 1111 63 0 29562 0
vsize: 118500
[startup+990.066 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54184 0 0 0 98857 159 0 0 25 0 1 0 907919405 121344000 28906 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29625 28906 1111 63 0 29562 0
vsize: 118500
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54184 0 0 0 99857 159 0 0 25 0 1 0 907919405 121344000 28906 4294967295 134512640 134716908 3221224560 3221223168 134548659 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29625 28906 1111 63 0 29562 0
vsize: 118500
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54184 0 0 0 100856 160 0 0 25 0 1 0 907919405 121344000 28906 4294967295 134512640 134716908 3221224560 3221223120 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29625 28906 1111 63 0 29562 0
vsize: 118500
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54184 0 0 0 101856 160 0 0 25 0 1 0 907919405 121344000 28906 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29625 28906 1111 63 0 29562 0
vsize: 118500
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54184 0 0 0 102856 161 0 0 25 0 1 0 907919405 121344000 28906 4294967295 134512640 134716908 3221224560 3221223248 134594336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29625 28906 1111 63 0 29562 0
vsize: 118500
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54184 0 0 0 103856 161 0 0 25 0 1 0 907919405 121344000 28906 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29625 28906 1111 63 0 29562 0
vsize: 118500
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54184 0 0 0 104856 161 0 0 25 0 1 0 907919405 121344000 28906 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29625 28906 1111 63 0 29562 0
vsize: 118500
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54184 0 0 0 105856 162 0 0 25 0 1 0 907919405 121344000 28906 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29625 28906 1111 63 0 29562 0
vsize: 118500
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54184 0 0 0 106856 162 0 0 25 0 1 0 907919405 121344000 28906 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29625 28906 1111 63 0 29562 0
vsize: 118500
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54198 0 0 0 107855 163 0 0 25 0 1 0 907919405 121458688 28920 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29653 28920 1111 63 0 29590 0
vsize: 118612
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54198 0 0 0 108855 163 0 0 25 0 1 0 907919405 121458688 28920 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29653 28920 1111 63 0 29590 0
vsize: 118612
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54198 0 0 0 109855 163 0 0 25 0 1 0 907919405 121458688 28920 4294967295 134512640 134716908 3221224560 3221223328 134592140 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29653 28920 1111 63 0 29590 0
vsize: 118612
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54198 0 0 0 110854 164 0 0 25 0 1 0 907919405 121458688 28920 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29653 28920 1111 63 0 29590 0
vsize: 118612
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54198 0 0 0 111854 164 0 0 25 0 1 0 907919405 121458688 28920 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29653 28920 1111 63 0 29590 0
vsize: 118612
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54198 0 0 0 112854 164 0 0 25 0 1 0 907919405 121458688 28920 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29653 28920 1111 63 0 29590 0
vsize: 118612
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54198 0 0 0 113854 165 0 0 25 0 1 0 907919405 121458688 28920 4294967295 134512640 134716908 3221224560 3221223168 134549332 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29653 28920 1111 63 0 29590 0
vsize: 118612
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54198 0 0 0 114853 166 0 0 25 0 1 0 907919405 121458688 28920 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29653 28920 1111 63 0 29590 0
vsize: 118612
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54198 0 0 0 115853 166 0 0 25 0 1 0 907919405 121458688 28920 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29653 28920 1111 63 0 29590 0
vsize: 118612
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54198 0 0 0 116852 167 0 0 25 0 1 0 907919405 121458688 28920 4294967295 134512640 134716908 3221224560 3221223304 134558477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29653 28920 1111 63 0 29590 0
vsize: 118612
[startup+1174.93 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 4393
Raw data (stat): 4336 (bsolo_lpr_cuts-) R 4335 20224 20223 0 -1 0 54198 0 0 0 116852 167 0 0 25 0 1 0 907919405 121458688 28920 4294967295 134512640 134716908 3221224560 3221223304 134558477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29653 28920 1111 63 0 29590 0
vsize: 0

Child status: 0
Real time (s): 1174.93
CPU time (s): 1175.06
CPU user time (s): 1173.33
CPU system time (s): 1.73274
CPU usage (%): 100.011
Max. virtual memory (Kb): 119200
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####