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/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb
MD5SUM	3acd642471b3f4559739eef7eb2e9b58
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-31
Optimality of the best value was proved	NO
Number of terms in the objective function	760
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	760
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	760
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.06
Number of variables	760
Total number of constraints	41095
Number of constraints which are clauses	41095
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 40874

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-08 23:57:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28940 boxname=wulflinc3 idbench=326 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  3acd642471b3f4559739eef7eb2e9b58  /oldhome/oroussel/tmp/wulflinc3/normalized-frb40-19-3.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-frb40-19-3.opb
IDLAUNCH: 28940
/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:        903532 kB
Buffers:         21024 kB
Cached:          87168 kB
SwapCached:       3464 kB
Active:          28988 kB
Inactive:        83948 kB
HighTotal:      131008 kB
HighFree:        51268 kB
LowTotal:       903652 kB
LowFree:        852264 kB
SwapTotal:     2097136 kB
SwapFree:      2092672 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            12528 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 00:17:45 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 28940 7 1200.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 760 variables and 41095 constraints.
c After prepocess the problem consists of 760 variables and 27602 constraints.
c preprocess terminated 245.479 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.92 0.95 0.90 2/54 1389
Raw data (stat): 1389 (runsolver) R 1388 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 905762980 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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.0009 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 1389
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 13444 0 0 0 964 33 0 0 25 0 1 0 905762980 55595008 12739 4294967295 134512640 134716908 3221224576 3221223056 134543070 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13573 12739 1111 63 0 13510 0
vsize: 54292
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 1389
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 13444 0 0 0 1963 33 0 0 25 0 1 0 905762980 55595008 12739 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13573 12739 1111 63 0 13510 0
vsize: 54292
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 1389
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 13495 0 0 0 2963 33 0 0 25 0 1 0 905762980 55816192 12790 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13627 12790 1111 63 0 13564 0
vsize: 54508
[startup+40.0023 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 1389
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 13495 0 0 0 3964 33 0 0 25 0 1 0 905762980 55816192 12790 4294967295 134512640 134716908 3221224576 3221223232 134609212 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13627 12790 1111 63 0 13564 0
vsize: 54508
[startup+50.0025 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 1389
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 13778 0 0 0 4963 34 0 0 25 0 1 0 905762980 55816192 12793 4294967295 134512640 134716908 3221224576 3221222972 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13627 12793 1111 63 0 13564 0
vsize: 54508
[startup+60.0033 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 1389
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 14707 0 0 0 5961 36 0 0 25 0 1 0 905762980 58023936 13332 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14166 13332 1111 63 0 14103 0
vsize: 56664
[startup+70.0039 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 1389
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 14707 0 0 0 6962 36 0 0 25 0 1 0 905762980 58023936 13332 4294967295 134512640 134716908 3221224576 3221223056 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14166 13332 1111 63 0 14103 0
vsize: 56664
[startup+80.0036 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1389
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 14707 0 0 0 7962 36 0 0 25 0 1 0 905762980 58023936 13332 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14166 13332 1111 63 0 14103 0
vsize: 56664
[startup+90.0041 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1389
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 14707 0 0 0 8962 36 0 0 25 0 1 0 905762980 58023936 13332 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14166 13332 1111 63 0 14103 0
vsize: 56664
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1389
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 14707 0 0 0 9962 36 0 0 25 0 1 0 905762980 58023936 13332 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14166 13332 1111 63 0 14103 0
vsize: 56664
[startup+110.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 1389
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 14707 0 0 0 10963 36 0 0 25 0 1 0 905762980 58023936 13332 4294967295 134512640 134716908 3221224576 3221223036 134543664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14166 13332 1111 63 0 14103 0
vsize: 56664
[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1389
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 14707 0 0 0 11963 36 0 0 25 0 1 0 905762980 58023936 13332 4294967295 134512640 134716908 3221224576 3221223376 134617258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14166 13332 1111 63 0 14103 0
vsize: 56664
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1389
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 14707 0 0 0 12963 36 0 0 25 0 1 0 905762980 58023936 13332 4294967295 134512640 134716908 3221224576 3221223064 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14166 13332 1111 63 0 14103 0
vsize: 56664
[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.91 3/55 1390
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 14707 0 0 0 13963 36 0 0 25 0 1 0 905762980 58023936 13332 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14166 13332 1111 63 0 14103 0
vsize: 56664
[startup+150.01 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 1442
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 14707 0 0 0 14963 36 0 0 25 0 1 0 905762980 58023936 13332 4294967295 134512640 134716908 3221224576 3221222984 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14166 13332 1111 63 0 14103 0
vsize: 56664
[startup+160.011 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 1442
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 14707 0 0 0 15963 36 0 0 25 0 1 0 905762980 58023936 13332 4294967295 134512640 134716908 3221224576 3221223140 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14166 13332 1111 63 0 14103 0
vsize: 56664
[startup+170.012 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 1442
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 14707 0 0 0 16963 37 0 0 25 0 1 0 905762980 58023936 13332 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14166 13332 1111 63 0 14103 0
vsize: 56664
[startup+180.011 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 1442
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 14707 0 0 0 17962 37 0 0 25 0 1 0 905762980 58023936 13332 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14166 13332 1111 63 0 14103 0
vsize: 56664
[startup+190.012 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 1442
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 14707 0 0 0 18962 37 0 0 25 0 1 0 905762980 58023936 13332 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14166 13332 1111 63 0 14103 0
vsize: 56664
[startup+200.012 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 1442
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 14707 0 0 0 19962 37 0 0 25 0 1 0 905762980 58023936 13332 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14166 13332 1111 63 0 14103 0
vsize: 56664
[startup+210.012 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 1444
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 14707 0 0 0 20962 38 0 0 25 0 1 0 905762980 58023936 13332 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14166 13332 1111 63 0 14103 0
vsize: 56664
[startup+220.013 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 1444
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 14707 0 0 0 21962 38 0 0 25 0 1 0 905762980 58023936 13332 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14166 13332 1111 63 0 14103 0
vsize: 56664
[startup+230.012 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 1444
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 14707 0 0 0 22962 39 0 0 25 0 1 0 905762980 58023936 13332 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14166 13332 1111 63 0 14103 0
vsize: 56664
[startup+240.012 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 1444
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 15044 0 0 0 23961 40 0 0 25 0 1 0 905762980 59400192 13669 4294967295 134512640 134716908 3221224576 3221223352 134543133 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14502 13669 1111 63 0 14439 0
vsize: 58008
[startup+250.012 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 1444
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 15524 0 0 0 24959 41 0 0 25 0 1 0 905762980 61501440 14120 4294967295 134512640 134716908 3221224576 3221222832 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15015 14120 1111 63 0 14952 0
vsize: 60060
[startup+260.013 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 1444
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 15614 0 0 0 25958 43 0 0 25 0 1 0 905762980 61968384 14210 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15129 14210 1111 63 0 15066 0
vsize: 60516
[startup+270.013 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 1444
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 15707 0 0 0 26956 45 0 0 25 0 1 0 905762980 62341120 14303 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15220 14303 1111 63 0 15157 0
vsize: 60880
[startup+280.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1444
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 15777 0 0 0 27955 46 0 0 25 0 1 0 905762980 62599168 14373 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15283 14373 1111 63 0 15220 0
vsize: 61132
[startup+290.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1444
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 15805 0 0 0 28954 47 0 0 25 0 1 0 905762980 62709760 14401 4294967295 134512640 134716908 3221224576 3221222864 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15310 14401 1111 63 0 15247 0
vsize: 61240
[startup+300.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1444
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 15883 0 0 0 29953 48 0 0 25 0 1 0 905762980 62992384 14479 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15379 14479 1111 63 0 15316 0
vsize: 61516
[startup+310.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1444
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 15905 0 0 0 30952 50 0 0 25 0 1 0 905762980 63078400 14501 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15400 14501 1111 63 0 15337 0
vsize: 61600
[startup+320.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1444
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 15949 0 0 0 31951 51 0 0 25 0 1 0 905762980 63225856 14545 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15436 14545 1111 63 0 15373 0
vsize: 61744
[startup+330.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1444
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 15969 0 0 0 32949 53 0 0 25 0 1 0 905762980 63303680 14565 4294967295 134512640 134716908 3221224576 3221222832 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15455 14565 1111 63 0 15392 0
vsize: 61820
[startup+340.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1444
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 15991 0 0 0 33949 54 0 0 25 0 1 0 905762980 63389696 14587 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15476 14587 1111 63 0 15413 0
vsize: 61904
[startup+350.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1444
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 16009 0 0 0 34948 55 0 0 25 0 1 0 905762980 63459328 14605 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15493 14605 1111 63 0 15430 0
vsize: 61972
[startup+360.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1444
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 16055 0 0 0 35948 55 0 0 25 0 1 0 905762980 63606784 14651 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15529 14651 1111 63 0 15466 0
vsize: 62116
[startup+370.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1444
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 16074 0 0 0 36947 56 0 0 25 0 1 0 905762980 63680512 14670 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15547 14670 1111 63 0 15484 0
vsize: 62188
[startup+380.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1444
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 16093 0 0 0 37947 57 0 0 25 0 1 0 905762980 63754240 14689 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15565 14689 1111 63 0 15502 0
vsize: 62260
[startup+390.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1444
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 16110 0 0 0 38946 58 0 0 25 0 1 0 905762980 63819776 14706 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15581 14706 1111 63 0 15518 0
vsize: 62324
[startup+400.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1444
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 16126 0 0 0 39945 58 0 0 25 0 1 0 905762980 63881216 14722 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15596 14722 1111 63 0 15533 0
vsize: 62384
[startup+410.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1444
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 16300 0 0 0 40945 59 0 0 25 0 1 0 905762980 64425984 14859 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15729 14859 1111 63 0 15666 0
vsize: 62916
[startup+420.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1444
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 21461 0 0 0 41933 71 0 0 25 0 1 0 905762980 85471232 18126 4294967295 134512640 134716908 3221224576 3221220624 1074969455 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20867 18126 1111 63 0 20804 0
vsize: 83468
[startup+430.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1444
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 22488 0 0 0 42930 74 0 0 25 0 1 0 905762980 87494656 19151 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21361 19151 1111 63 0 21298 0
vsize: 85444
[startup+440.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1444
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 22664 0 0 0 43929 75 0 0 25 0 1 0 905762980 83423232 18408 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20367 18408 1111 63 0 20304 0
vsize: 81468
[startup+450.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1444
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 22681 0 0 0 44929 75 0 0 25 0 1 0 905762980 83423232 18423 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20367 18423 1111 63 0 20304 0
vsize: 81468
[startup+460.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1444
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 22703 0 0 0 45929 75 0 0 25 0 1 0 905762980 83423232 18443 4294967295 134512640 134716908 3221224576 3221220752 1074961149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20367 18443 1111 63 0 20304 0
vsize: 81468
[startup+470.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1444
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 22712 0 0 0 46930 75 0 0 25 0 1 0 905762980 83423232 18450 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20367 18450 1111 63 0 20304 0
vsize: 81468
[startup+480.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 22738 0 0 0 47930 75 0 0 25 0 1 0 905762980 83423232 18474 4294967295 134512640 134716908 3221224576 3221220472 1075964730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20367 18474 1111 63 0 20304 0
vsize: 81468
[startup+490.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 22755 0 0 0 48930 75 0 0 25 0 1 0 905762980 83423232 18489 4294967295 134512640 134716908 3221224576 3221220640 1075095145 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20367 18489 1111 63 0 20304 0
vsize: 81468
[startup+500.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 22769 0 0 0 49930 75 0 0 25 0 1 0 905762980 83423232 18501 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20367 18501 1111 63 0 20304 0
vsize: 81468
[startup+510.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 22787 0 0 0 50930 75 0 0 25 0 1 0 905762980 83423232 18517 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20367 18517 1111 63 0 20304 0
vsize: 81468
[startup+520.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 22803 0 0 0 51930 75 0 0 25 0 1 0 905762980 83423232 18531 4294967295 134512640 134716908 3221224576 3221220688 1074815316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20367 18531 1111 63 0 20304 0
vsize: 81468
[startup+530.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 22852 0 0 0 52930 75 0 0 25 0 1 0 905762980 83832832 18578 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20467 18578 1111 63 0 20404 0
vsize: 81868
[startup+540.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 22889 0 0 0 53931 75 0 0 25 0 1 0 905762980 83832832 18613 4294967295 134512640 134716908 3221224576 3221220492 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20467 18613 1111 63 0 20404 0
vsize: 81868
[startup+550.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 22896 0 0 0 54931 75 0 0 25 0 1 0 905762980 83832832 18618 4294967295 134512640 134716908 3221224576 3221220708 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20467 18618 1111 63 0 20404 0
vsize: 81868
[startup+560.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 22906 0 0 0 55931 75 0 0 25 0 1 0 905762980 83832832 18626 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20467 18626 1111 63 0 20404 0
vsize: 81868
[startup+570.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 22990 0 0 0 56931 76 0 0 25 0 1 0 905762980 84258816 18708 4294967295 134512640 134716908 3221224576 3221220624 1074969471 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20571 18708 1111 63 0 20508 0
vsize: 82284
[startup+580.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 23010 0 0 0 57931 76 0 0 25 0 1 0 905762980 84258816 18724 4294967295 134512640 134716908 3221224576 3221220688 1074815497 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20571 18724 1111 63 0 20508 0
vsize: 82284
[startup+590.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 23025 0 0 0 58931 76 0 0 25 0 1 0 905762980 84258816 18737 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20571 18737 1111 63 0 20508 0
vsize: 82284
[startup+600.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 23028 0 0 0 59931 76 0 0 25 0 1 0 905762980 84258816 18738 4294967295 134512640 134716908 3221224576 3221220624 1074969455 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20571 18738 1111 63 0 20508 0
vsize: 82284
[startup+610.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 23037 0 0 0 60931 76 0 0 25 0 1 0 905762980 84258816 18745 4294967295 134512640 134716908 3221224576 3221220708 1075115043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20571 18745 1111 63 0 20508 0
vsize: 82284
[startup+620.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 23061 0 0 0 61931 76 0 0 25 0 1 0 905762980 84258816 18765 4294967295 134512640 134716908 3221224576 3221220624 1074969465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20571 18765 1111 63 0 20508 0
vsize: 82284
[startup+630.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 23070 0 0 0 62932 76 0 0 25 0 1 0 905762980 84258816 18772 4294967295 134512640 134716908 3221224576 3221220472 1075964755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20571 18772 1111 63 0 20508 0
vsize: 82284
[startup+640.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 23150 0 0 0 63932 76 0 0 25 0 1 0 905762980 84713472 18850 4294967295 134512640 134716908 3221224576 3221220640 1074883509 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20682 18850 1111 63 0 20619 0
vsize: 82728
[startup+650.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 23180 0 0 0 64932 76 0 0 25 0 1 0 905762980 84713472 18878 4294967295 134512640 134716908 3221224576 3221220412 1074788201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20682 18878 1111 63 0 20619 0
vsize: 82728
[startup+660.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 23285 0 0 0 65932 77 0 0 25 0 1 0 905762980 85184512 18979 4294967295 134512640 134716908 3221224576 3221220492 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20797 18979 1111 63 0 20734 0
vsize: 83188
[startup+670.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 23288 0 0 0 66932 77 0 0 25 0 1 0 905762980 85184512 18980 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20797 18980 1111 63 0 20734 0
vsize: 83188
[startup+680.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 23307 0 0 0 67932 77 0 0 25 0 1 0 905762980 85184512 18997 4294967295 134512640 134716908 3221224576 3221220688 1074815241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20797 18997 1111 63 0 20734 0
vsize: 83188
[startup+690.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 23313 0 0 0 68932 77 0 0 25 0 1 0 905762980 85184512 18999 4294967295 134512640 134716908 3221224576 3221220704 1075895656 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20797 18999 1111 63 0 20734 0
vsize: 83188
[startup+700.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 23315 0 0 0 69932 77 0 0 25 0 1 0 905762980 85184512 18999 4294967295 134512640 134716908 3221224576 3221220688 1074815259 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20797 18999 1111 63 0 20734 0
vsize: 83188
[startup+710.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 23319 0 0 0 70932 77 0 0 25 0 1 0 905762980 85184512 18999 4294967295 134512640 134716908 3221224576 3221220640 1075095094 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20797 18999 1111 63 0 20734 0
vsize: 83188
[startup+720.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 23321 0 0 0 71932 78 0 0 25 0 1 0 905762980 85184512 18999 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20797 18999 1111 63 0 20734 0
vsize: 83188
[startup+730.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 23323 0 0 0 72932 78 0 0 25 0 1 0 905762980 85184512 18999 4294967295 134512640 134716908 3221224576 3221220492 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20797 18999 1111 63 0 20734 0
vsize: 83188
[startup+740.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 23327 0 0 0 73932 78 0 0 25 0 1 0 905762980 85184512 18999 4294967295 134512640 134716908 3221224576 3221220708 1075115051 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20797 18999 1111 63 0 20734 0
vsize: 83188
[startup+750.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 23331 0 0 0 74933 78 0 0 25 0 1 0 905762980 85405696 19001 4294967295 134512640 134716908 3221224576 3221221544 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20851 19001 1111 63 0 20788 0
vsize: 83404
[startup+760.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 23333 0 0 0 75933 78 0 0 25 0 1 0 905762980 85184512 18999 4294967295 134512640 134716908 3221224576 3221220492 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20797 18999 1111 63 0 20734 0
vsize: 83188
[startup+770.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 23336 0 0 0 76933 78 0 0 25 0 1 0 905762980 85184512 19000 4294967295 134512640 134716908 3221224576 3221220720 1075115747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20797 19000 1111 63 0 20734 0
vsize: 83188
[startup+780.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 23340 0 0 0 77933 78 0 0 25 0 1 0 905762980 85184512 19000 4294967295 134512640 134716908 3221224576 3221220728 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20797 19000 1111 63 0 20734 0
vsize: 83188
[startup+790.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 23343 0 0 0 78933 78 0 0 25 0 1 0 905762980 85184512 19001 4294967295 134512640 134716908 3221224576 3221220492 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20797 19001 1111 63 0 20734 0
vsize: 83188
[startup+800.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 23348 0 0 0 79933 78 0 0 25 0 1 0 905762980 85184512 19002 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20797 19002 1111 63 0 20734 0
vsize: 83188
[startup+810.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 23350 0 0 0 80933 78 0 0 25 0 1 0 905762980 85184512 19002 4294967295 134512640 134716908 3221224576 3221220688 1074815265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20797 19002 1111 63 0 20734 0
vsize: 83188
[startup+820.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 23354 0 0 0 81933 78 0 0 25 0 1 0 905762980 85184512 19002 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20797 19002 1111 63 0 20734 0
vsize: 83188
[startup+830.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 23435 0 0 0 82933 79 0 0 25 0 1 0 905762980 85680128 19081 4294967295 134512640 134716908 3221224576 3221221024 1075088563 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20918 19081 1111 63 0 20855 0
vsize: 83672
[startup+840.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 23451 0 0 0 83933 79 0 0 25 0 1 0 905762980 85680128 19093 4294967295 134512640 134716908 3221224576 3221220752 1074961264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20918 19093 1111 63 0 20855 0
vsize: 83672
[startup+850.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 23464 0 0 0 84934 79 0 0 25 0 1 0 905762980 85680128 19104 4294967295 134512640 134716908 3221224576 3221220472 1075964745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20918 19104 1111 63 0 20855 0
vsize: 83672
[startup+860.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 23466 0 0 0 85934 79 0 0 25 0 1 0 905762980 85680128 19104 4294967295 134512640 134716908 3221224576 3221220720 1075115747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20918 19104 1111 63 0 20855 0
vsize: 83672
[startup+870.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 23470 0 0 0 86934 79 0 0 25 0 1 0 905762980 85680128 19104 4294967295 134512640 134716908 3221224576 3221221400 1075964730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20918 19104 1111 63 0 20855 0
vsize: 83672
[startup+880.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 23472 0 0 0 87934 79 0 0 25 0 1 0 905762980 85680128 19104 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20918 19104 1111 63 0 20855 0
vsize: 83672
[startup+890.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 23474 0 0 0 88934 79 0 0 25 0 1 0 905762980 85680128 19104 4294967295 134512640 134716908 3221224576 3221220708 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20918 19104 1111 63 0 20855 0
vsize: 83672
[startup+900.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 23481 0 0 0 89934 79 0 0 25 0 1 0 905762980 86413312 19109 4294967295 134512640 134716908 3221224576 3221221552 1074867344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21097 19109 1111 63 0 21034 0
vsize: 84388
[startup+910.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 23638 0 0 0 90934 79 0 0 25 0 1 0 905762980 86745088 19260 4294967295 134512640 134716908 3221224576 3221220640 1075095052 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21178 19260 1111 63 0 21115 0
vsize: 84712
[startup+920.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 23791 0 0 0 91934 80 0 0 25 0 1 0 905762980 87318528 19411 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21318 19411 1111 63 0 21255 0
vsize: 85272
[startup+930.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 23922 0 0 0 92934 80 0 0 25 0 1 0 905762980 87912448 19540 4294967295 134512640 134716908 3221224576 3221220580 1075964227 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21463 19540 1111 63 0 21400 0
vsize: 85852
[startup+940.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 23929 0 0 0 93934 80 0 0 25 0 1 0 905762980 87912448 19543 4294967295 134512640 134716908 3221224576 3221220752 1074960868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21463 19543 1111 63 0 21400 0
vsize: 85852
[startup+950.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 23931 0 0 0 94934 80 0 0 25 0 1 0 905762980 87912448 19543 4294967295 134512640 134716908 3221224576 3221220848 1075894487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21463 19543 1111 63 0 21400 0
vsize: 85852
[startup+960.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 23933 0 0 0 95935 80 0 0 25 0 1 0 905762980 87912448 19543 4294967295 134512640 134716908 3221224576 3221220708 1075115043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21463 19543 1111 63 0 21400 0
vsize: 85852
[startup+970.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 23939 0 0 0 96935 80 0 0 25 0 1 0 905762980 87912448 19545 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21463 19545 1111 63 0 21400 0
vsize: 85852
[startup+980.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 23944 0 0 0 97935 80 0 0 25 0 1 0 905762980 87912448 19548 4294967295 134512640 134716908 3221224576 3221220708 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21463 19548 1111 63 0 21400 0
vsize: 85852
[startup+990.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 24041 0 0 0 98935 80 0 0 25 0 1 0 905762980 88547328 19643 4294967295 134512640 134716908 3221224576 3221220364 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21618 19643 1111 63 0 21555 0
vsize: 86472
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 24072 0 0 0 99935 80 0 0 25 0 1 0 905762980 88547328 19670 4294967295 134512640 134716908 3221224576 3221220720 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21618 19670 1111 63 0 21555 0
vsize: 86472
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 24077 0 0 0 100935 80 0 0 25 0 1 0 905762980 88547328 19673 4294967295 134512640 134716908 3221224576 3221220708 1075115060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21618 19673 1111 63 0 21555 0
vsize: 86472
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 24081 0 0 0 101936 80 0 0 25 0 1 0 905762980 88547328 19675 4294967295 134512640 134716908 3221224576 3221220720 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21618 19675 1111 63 0 21555 0
vsize: 86472
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 24084 0 0 0 102936 80 0 0 25 0 1 0 905762980 88547328 19676 4294967295 134512640 134716908 3221224576 3221220752 1074960783 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21618 19676 1111 63 0 21555 0
vsize: 86472
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 24090 0 0 0 103936 81 0 0 25 0 1 0 905762980 88547328 19678 4294967295 134512640 134716908 3221224576 3221220720 1075115709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21618 19678 1111 63 0 21555 0
vsize: 86472
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 24092 0 0 0 104936 81 0 0 25 0 1 0 905762980 88547328 19678 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21618 19678 1111 63 0 21555 0
vsize: 86472
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 24095 0 0 0 105936 81 0 0 25 0 1 0 905762980 88547328 19679 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21618 19679 1111 63 0 21555 0
vsize: 86472
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 24250 0 0 0 106936 82 0 0 25 0 1 0 905762980 89206784 19832 4294967295 134512640 134716908 3221224576 3221220752 1074960909 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21779 19832 1111 63 0 21716 0
vsize: 87116
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 24255 0 0 0 107936 82 0 0 25 0 1 0 905762980 89206784 19833 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21779 19833 1111 63 0 21716 0
vsize: 87116
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 24257 0 0 0 108936 82 0 0 25 0 1 0 905762980 89206784 19833 4294967295 134512640 134716908 3221224576 3221220416 1075965246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21779 19833 1111 63 0 21716 0
vsize: 87116
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 24260 0 0 0 109936 82 0 0 25 0 1 0 905762980 89206784 19834 4294967295 134512640 134716908 3221224576 3221220720 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21779 19834 1111 63 0 21716 0
vsize: 87116
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 24279 0 0 0 110936 82 0 0 25 0 1 0 905762980 89427968 19851 4294967295 134512640 134716908 3221224576 3221221012 1075863638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21833 19851 1111 63 0 21770 0
vsize: 87332
[startup+1120.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 24291 0 0 0 111937 82 0 0 25 0 1 0 905762980 89206784 19859 4294967295 134512640 134716908 3221224576 3221220492 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21779 19859 1111 63 0 21716 0
vsize: 87116
[startup+1130.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 24295 0 0 0 112937 82 0 0 25 0 1 0 905762980 89206784 19861 4294967295 134512640 134716908 3221224576 3221220752 1074960771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21779 19861 1111 63 0 21716 0
vsize: 87116
[startup+1140.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 24297 0 0 0 113937 82 0 0 25 0 1 0 905762980 89206784 19861 4294967295 134512640 134716908 3221224576 3221220708 1075115043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21779 19861 1111 63 0 21716 0
vsize: 87116
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 24302 0 0 0 114937 82 0 0 25 0 1 0 905762980 89206784 19864 4294967295 134512640 134716908 3221224576 3221220812 1076111483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21779 19864 1111 63 0 21716 0
vsize: 87116
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 24306 0 0 0 115937 82 0 0 25 0 1 0 905762980 89206784 19864 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21779 19864 1111 63 0 21716 0
vsize: 87116
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 24308 0 0 0 116938 82 0 0 25 0 1 0 905762980 89206784 19864 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21779 19864 1111 63 0 21716 0
vsize: 87116
[startup+1180.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 24310 0 0 0 117938 82 0 0 25 0 1 0 905762980 89206784 19864 4294967295 134512640 134716908 3221224576 3221220708 1075115076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21779 19864 1111 63 0 21716 0
vsize: 87116
[startup+1190.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 24312 0 0 0 118938 82 0 0 25 0 1 0 905762980 89206784 19864 4294967295 134512640 134716908 3221224576 3221220364 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21779 19864 1111 63 0 21716 0
vsize: 87116
[startup+1200.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) R 1388 20224 20223 0 -1 0 24331 0 0 0 119938 82 0 0 25 0 1 0 905762980 89206784 19879 4294967295 134512640 134716908 3221224576 3221220492 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21779 19879 1111 63 0 21716 0
vsize: 87116
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 1446
Raw data (stat): 1389 (bsolo_lpr_cuts-) Z 1388 20224 20223 0 -1 1036 24331 0 0 0 119938 86 0 0 25 0 1 0 905762980 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.1
CPU time (s): 1200.25
CPU user time (s): 1199.39
CPU system time (s): 0.861868
CPU usage (%): 100.013
Max. virtual memory (Kb): 87332
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####