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/frb45-21-opb/normalized-frb45-21-5.opb
MD5SUM	7850e0b228f4ef5ee038a9c3595683ab
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-33
Optimality of the best value was proved	NO
Number of terms in the objective function	945
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	945
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	945
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.08
Number of variables	945
Total number of constraints	58579
Number of constraints which are clauses	58579
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 40881

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-09 00:19:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28947 boxname=wulflinc1 idbench=333 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  7850e0b228f4ef5ee038a9c3595683ab  /oldhome/oroussel/tmp/wulflinc1/normalized-frb45-21-5.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-frb45-21-5.opb
IDLAUNCH: 28947
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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:        912252 kB
Buffers:          5280 kB
Cached:          92968 kB
SwapCached:       1100 kB
Active:          25264 kB
Inactive:        75100 kB
HighTotal:      131008 kB
HighFree:        35000 kB
LowTotal:       903652 kB
LowFree:        877252 kB
SwapTotal:     2097136 kB
SwapFree:      2094812 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            16260 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 00:39:06 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 28947 7 1200.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 945 variables and 58579 constraints.
c After prepocess the problem consists of 945 variables and 40840 constraints.
c preprocess terminated 380.884 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.84 0.94 0.90 1/55 28281
Raw data (stat): 28281 (runsolver) R 28280 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 849042776 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0012 s]
Raw data (loadavg): 0.87 0.94 0.90 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 19954 0 0 0 949 48 0 0 25 0 1 0 849042776 84000768 19674 4294967295 134512640 134716908 3221224576 3221223212 134554938 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20508 19674 1111 63 0 20445 0
vsize: 82032
[startup+20.0024 s]
Raw data (loadavg): 0.89 0.94 0.90 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 22123 0 0 0 1944 53 0 0 25 0 1 0 849042776 85749760 20101 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20935 20101 1111 63 0 20872 0
vsize: 83740
[startup+30.0038 s]
Raw data (loadavg): 0.90 0.94 0.90 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27008 0 0 0 2933 63 0 0 25 0 1 0 849042776 105877504 24986 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25849 24986 1111 63 0 25786 0
vsize: 103396
[startup+40.003 s]
Raw data (loadavg): 0.92 0.94 0.90 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27398 0 0 0 3931 64 0 0 25 0 1 0 849042776 107143168 25324 4294967295 134512640 134716908 3221224576 3221222940 134539301 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+50.0037 s]
Raw data (loadavg): 0.93 0.94 0.90 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27398 0 0 0 4931 64 0 0 25 0 1 0 849042776 107143168 25324 4294967295 134512640 134716908 3221224576 3221223200 134529266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+60.0035 s]
Raw data (loadavg): 0.94 0.95 0.90 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27398 0 0 0 5931 64 0 0 25 0 1 0 849042776 107143168 25324 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+70.0048 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27398 0 0 0 6931 64 0 0 25 0 1 0 849042776 107143168 25324 4294967295 134512640 134716908 3221224576 3221222992 134543684 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+80.005 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27398 0 0 0 7932 64 0 0 25 0 1 0 849042776 107143168 25324 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+90.0052 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27398 0 0 0 8932 64 0 0 25 0 1 0 849042776 107143168 25324 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+100.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27398 0 0 0 9932 64 0 0 25 0 1 0 849042776 107143168 25324 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+110.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27398 0 0 0 10932 64 0 0 25 0 1 0 849042776 107143168 25324 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+120.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27398 0 0 0 11933 64 0 0 25 0 1 0 849042776 107143168 25324 4294967295 134512640 134716908 3221224576 3221222992 134543681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+130.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27398 0 0 0 12933 64 0 0 25 0 1 0 849042776 107143168 25324 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+140.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27398 0 0 0 13933 64 0 0 25 0 1 0 849042776 107143168 25324 4294967295 134512640 134716908 3221224576 3221222940 134539306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+150.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27398 0 0 0 14933 64 0 0 25 0 1 0 849042776 107143168 25324 4294967295 134512640 134716908 3221224576 3221223056 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+160.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27398 0 0 0 15933 64 0 0 25 0 1 0 849042776 107143168 25324 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+170.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27398 0 0 0 16934 64 0 0 25 0 1 0 849042776 107143168 25324 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+180.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27398 0 0 0 17934 64 0 0 25 0 1 0 849042776 107143168 25324 4294967295 134512640 134716908 3221224576 3221223040 134542359 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+190.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27398 0 0 0 18934 64 0 0 25 0 1 0 849042776 107143168 25324 4294967295 134512640 134716908 3221224576 3221223140 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+200.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27398 0 0 0 19934 64 0 0 25 0 1 0 849042776 107143168 25324 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+210.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27398 0 0 0 20934 64 0 0 25 0 1 0 849042776 107143168 25324 4294967295 134512640 134716908 3221224576 3221223056 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+220.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27398 0 0 0 21934 64 0 0 25 0 1 0 849042776 107143168 25324 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+230.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27398 0 0 0 22935 64 0 0 25 0 1 0 849042776 107143168 25324 4294967295 134512640 134716908 3221224576 3221222928 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+240.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27398 0 0 0 23935 64 0 0 25 0 1 0 849042776 107143168 25324 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+250.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27398 0 0 0 24935 64 0 0 25 0 1 0 849042776 107143168 25324 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27398 0 0 0 25935 64 0 0 25 0 1 0 849042776 107143168 25324 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27398 0 0 0 26936 64 0 0 25 0 1 0 849042776 107143168 25324 4294967295 134512640 134716908 3221224576 3221223056 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27398 0 0 0 27936 64 0 0 25 0 1 0 849042776 107143168 25324 4294967295 134512640 134716908 3221224576 3221223084 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27398 0 0 0 28936 64 0 0 25 0 1 0 849042776 107143168 25324 4294967295 134512640 134716908 3221224576 3221223192 134543785 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27398 0 0 0 29936 64 0 0 25 0 1 0 849042776 107143168 25324 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27398 0 0 0 30936 64 0 0 25 0 1 0 849042776 107143168 25324 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27398 0 0 0 31937 64 0 0 25 0 1 0 849042776 107143168 25324 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27398 0 0 0 32937 64 0 0 25 0 1 0 849042776 107143168 25324 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27398 0 0 0 33937 64 0 0 25 0 1 0 849042776 107143168 25324 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27398 0 0 0 34937 64 0 0 25 0 1 0 849042776 107143168 25324 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25324 1111 63 0 26095 0
vsize: 104632
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27399 0 0 0 35937 64 0 0 25 0 1 0 849042776 107143168 25325 4294967295 134512640 134716908 3221224576 3221223440 134622369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25325 1111 63 0 26095 0
vsize: 104632
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27399 0 0 0 36937 64 0 0 25 0 1 0 849042776 107143168 25325 4294967295 134512640 134716908 3221224576 3221223376 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25325 1111 63 0 26095 0
vsize: 104632
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27399 0 0 0 37938 64 0 0 25 0 1 0 849042776 107143168 25325 4294967295 134512640 134716908 3221224576 3221223444 134622429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25325 1111 63 0 26095 0
vsize: 104632
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27420 0 0 0 38937 64 0 0 25 0 1 0 849042776 107143168 25346 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27420 0 0 0 39938 64 0 0 25 0 1 0 849042776 107143168 25346 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27420 0 0 0 40938 64 0 0 25 0 1 0 849042776 107143168 25346 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27420 0 0 0 41938 64 0 0 25 0 1 0 849042776 107143168 25346 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27420 0 0 0 42938 64 0 0 25 0 1 0 849042776 107143168 25346 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27420 0 0 0 43939 64 0 0 25 0 1 0 849042776 107143168 25346 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27420 0 0 0 44939 64 0 0 25 0 1 0 849042776 107143168 25346 4294967295 134512640 134716908 3221224576 3221222832 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27420 0 0 0 45939 64 0 0 25 0 1 0 849042776 107143168 25346 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27420 0 0 0 46939 64 0 0 25 0 1 0 849042776 107143168 25346 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27420 0 0 0 47939 64 0 0 25 0 1 0 849042776 107143168 25346 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27420 0 0 0 48939 64 0 0 25 0 1 0 849042776 107143168 25346 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27420 0 0 0 49940 64 0 0 25 0 1 0 849042776 107143168 25346 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27420 0 0 0 50940 64 0 0 25 0 1 0 849042776 107143168 25346 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27420 0 0 0 51940 64 0 0 25 0 1 0 849042776 107143168 25346 4294967295 134512640 134716908 3221224576 3221222832 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27420 0 0 0 52940 64 0 0 25 0 1 0 849042776 107143168 25346 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27420 0 0 0 53940 64 0 0 25 0 1 0 849042776 107143168 25346 4294967295 134512640 134716908 3221224576 3221222816 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27420 0 0 0 54941 64 0 0 25 0 1 0 849042776 107143168 25346 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27420 0 0 0 55941 64 0 0 25 0 1 0 849042776 107143168 25346 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+570.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27420 0 0 0 56941 64 0 0 25 0 1 0 849042776 107143168 25346 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27420 0 0 0 57941 64 0 0 25 0 1 0 849042776 107143168 25346 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27420 0 0 0 58941 64 0 0 25 0 1 0 849042776 107143168 25346 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27420 0 0 0 59942 64 0 0 25 0 1 0 849042776 107143168 25346 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27420 0 0 0 60942 64 0 0 25 0 1 0 849042776 107143168 25346 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27420 0 0 0 61942 64 0 0 25 0 1 0 849042776 107143168 25346 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27420 0 0 0 62942 64 0 0 25 0 1 0 849042776 107143168 25346 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26158 25346 1111 63 0 26095 0
vsize: 104632
[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27830 0 0 0 63941 65 0 0 25 0 1 0 849042776 108818432 25756 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26567 25756 1111 63 0 26504 0
vsize: 106268
[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27840 0 0 0 64941 66 0 0 25 0 1 0 849042776 108859392 25766 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26577 25766 1111 63 0 26514 0
vsize: 106308
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27849 0 0 0 65941 66 0 0 25 0 1 0 849042776 108896256 25775 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26586 25775 1111 63 0 26523 0
vsize: 106344
[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27859 0 0 0 66941 66 0 0 25 0 1 0 849042776 108937216 25785 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26596 25785 1111 63 0 26533 0
vsize: 106384
[startup+680.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27867 0 0 0 67941 67 0 0 25 0 1 0 849042776 108969984 25793 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26604 25793 1111 63 0 26541 0
vsize: 106416
[startup+690.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27875 0 0 0 68941 67 0 0 25 0 1 0 849042776 109002752 25801 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26612 25801 1111 63 0 26549 0
vsize: 106448
[startup+700.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27882 0 0 0 69941 67 0 0 25 0 1 0 849042776 109031424 25808 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26619 25808 1111 63 0 26556 0
vsize: 106476
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 27892 0 0 0 70941 67 0 0 25 0 1 0 849042776 109072384 25818 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26629 25818 1111 63 0 26566 0
vsize: 106516
[startup+720.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 34250 0 0 0 71928 80 0 0 25 0 1 0 849042776 135958528 29576 4294967295 134512640 134716908 3221224576 3221220624 1074969465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33193 29576 1111 63 0 33130 0
vsize: 132772
[startup+730.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 34390 0 0 0 72927 81 0 0 25 0 1 0 849042776 135958528 29716 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33193 29716 1111 63 0 33130 0
vsize: 132772
[startup+740.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 35829 0 0 0 73924 84 0 0 25 0 1 0 849042776 138940416 31155 4294967295 134512640 134716908 3221224576 3221220624 1074969474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33921 31155 1111 63 0 33858 0
vsize: 135684
[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 35869 0 0 0 74925 84 0 0 25 0 1 0 849042776 138940416 31195 4294967295 134512640 134716908 3221224576 3221220704 1075895677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33921 31195 1111 63 0 33858 0
vsize: 135684
[startup+760.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 36091 0 0 0 75924 85 0 0 25 0 1 0 849042776 132960256 30084 4294967295 134512640 134716908 3221224576 3221220524 1074873527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32461 30084 1111 63 0 32398 0
vsize: 129844
[startup+770.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 36106 0 0 0 76925 85 0 0 25 0 1 0 849042776 132960256 30099 4294967295 134512640 134716908 3221224576 3221220492 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32461 30099 1111 63 0 32398 0
vsize: 129844
[startup+780.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 36121 0 0 0 77925 85 0 0 25 0 1 0 849042776 132960256 30114 4294967295 134512640 134716908 3221224576 3221220524 1074873527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32461 30114 1111 63 0 32398 0
vsize: 129844
[startup+790.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 36133 0 0 0 78925 85 0 0 25 0 1 0 849042776 132960256 30126 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32461 30126 1111 63 0 32398 0
vsize: 129844
[startup+800.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 36213 0 0 0 79925 85 0 0 25 0 1 0 849042776 133562368 30206 4294967295 134512640 134716908 3221224576 3221220492 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32608 30206 1111 63 0 32545 0
vsize: 130432
[startup+810.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 36234 0 0 0 80925 85 0 0 25 0 1 0 849042776 133562368 30227 4294967295 134512640 134716908 3221224576 3221220580 1075964248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32608 30227 1111 63 0 32545 0
vsize: 130432
[startup+820.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 36259 0 0 0 81925 85 0 0 25 0 1 0 849042776 133562368 30252 4294967295 134512640 134716908 3221224576 3221220524 1074873558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32608 30252 1111 63 0 32545 0
vsize: 130432
[startup+830.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 36261 0 0 0 82925 85 0 0 25 0 1 0 849042776 133562368 30254 4294967295 134512640 134716908 3221224576 3221220640 1075093353 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32608 30254 1111 63 0 32545 0
vsize: 130432
[startup+840.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 36270 0 0 0 83925 85 0 0 25 0 1 0 849042776 133562368 30263 4294967295 134512640 134716908 3221224576 3221220472 1075964745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32608 30263 1111 63 0 32545 0
vsize: 130432
[startup+850.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 36274 0 0 0 84926 85 0 0 25 0 1 0 849042776 133562368 30267 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32608 30267 1111 63 0 32545 0
vsize: 130432
[startup+860.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 36319 0 0 0 85926 85 0 0 25 0 1 0 849042776 134184960 30312 4294967295 134512640 134716908 3221224576 3221220608 1075112086 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32760 30312 1111 63 0 32697 0
vsize: 131040
[startup+870.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 36346 0 0 0 86926 85 0 0 25 0 1 0 849042776 134184960 30339 4294967295 134512640 134716908 3221224576 3221220688 1074815253 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32760 30339 1111 63 0 32697 0
vsize: 131040
[startup+880.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 36347 0 0 0 87926 85 0 0 25 0 1 0 849042776 134184960 30340 4294967295 134512640 134716908 3221224576 3221221012 1075863647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32760 30340 1111 63 0 32697 0
vsize: 131040
[startup+890.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 36353 0 0 0 88926 85 0 0 25 0 1 0 849042776 134184960 30346 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32760 30346 1111 63 0 32697 0
vsize: 131040
[startup+900.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 36363 0 0 0 89927 85 0 0 25 0 1 0 849042776 134184960 30356 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32760 30356 1111 63 0 32697 0
vsize: 131040
[startup+910.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 36372 0 0 0 90927 85 0 0 25 0 1 0 849042776 134184960 30365 4294967295 134512640 134716908 3221224576 3221220720 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32760 30365 1111 63 0 32697 0
vsize: 131040
[startup+920.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 36395 0 0 0 91927 85 0 0 25 0 1 0 849042776 134184960 30388 4294967295 134512640 134716908 3221224576 3221220624 1074969455 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32760 30388 1111 63 0 32697 0
vsize: 131040
[startup+930.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 36408 0 0 0 92927 85 0 0 25 0 1 0 849042776 134184960 30401 4294967295 134512640 134716908 3221224576 3221220440 1075964730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32760 30401 1111 63 0 32697 0
vsize: 131040
[startup+940.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 36408 0 0 0 93927 85 0 0 25 0 1 0 849042776 134184960 30401 4294967295 134512640 134716908 3221224576 3221220624 1074969463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32760 30401 1111 63 0 32697 0
vsize: 131040
[startup+950.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 36408 0 0 0 94928 85 0 0 25 0 1 0 849042776 134184960 30401 4294967295 134512640 134716908 3221224576 3221220492 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32760 30401 1111 63 0 32697 0
vsize: 131040
[startup+960.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 36411 0 0 0 95928 85 0 0 25 0 1 0 849042776 134184960 30404 4294967295 134512640 134716908 3221224576 3221220688 1074815253 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32760 30404 1111 63 0 32697 0
vsize: 131040
[startup+970.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 36426 0 0 0 96928 85 0 0 25 0 1 0 849042776 134184960 30419 4294967295 134512640 134716908 3221224576 3221220624 1074969680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32760 30419 1111 63 0 32697 0
vsize: 131040
[startup+980.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 36432 0 0 0 97928 85 0 0 25 0 1 0 849042776 134184960 30425 4294967295 134512640 134716908 3221224576 3221220624 1074969449 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32760 30425 1111 63 0 32697 0
vsize: 131040
[startup+990.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 36439 0 0 0 98928 85 0 0 25 0 1 0 849042776 134184960 30432 4294967295 134512640 134716908 3221224576 3221220492 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32760 30432 1111 63 0 32697 0
vsize: 131040
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 36444 0 0 0 99929 85 0 0 25 0 1 0 849042776 134184960 30437 4294967295 134512640 134716908 3221224576 3221220848 1075894487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32760 30437 1111 63 0 32697 0
vsize: 131040
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 36457 0 0 0 100929 85 0 0 25 0 1 0 849042776 134184960 30450 4294967295 134512640 134716908 3221224576 3221220440 1075964745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32760 30450 1111 63 0 32697 0
vsize: 131040
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 36481 0 0 0 101929 86 0 0 25 0 1 0 849042776 134184960 30474 4294967295 134512640 134716908 3221224576 3221220472 1075964730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32760 30474 1111 63 0 32697 0
vsize: 131040
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 36489 0 0 0 102929 86 0 0 25 0 1 0 849042776 134184960 30482 4294967295 134512640 134716908 3221224576 3221220580 1075964237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32760 30482 1111 63 0 32697 0
vsize: 131040
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 36492 0 0 0 103929 86 0 0 25 0 1 0 849042776 134184960 30485 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32760 30485 1111 63 0 32697 0
vsize: 131040
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 36498 0 0 0 104929 86 0 0 25 0 1 0 849042776 134184960 30491 4294967295 134512640 134716908 3221224576 3221220708 1075115065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32760 30491 1111 63 0 32697 0
vsize: 131040
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 36532 0 0 0 105930 86 0 0 25 0 1 0 849042776 134184960 30525 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32760 30525 1111 63 0 32697 0
vsize: 131040
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 36632 0 0 0 106930 86 0 0 25 0 1 0 849042776 134844416 30625 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32921 30625 1111 63 0 32858 0
vsize: 131684
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 36664 0 0 0 107930 86 0 0 25 0 1 0 849042776 134844416 30657 4294967295 134512640 134716908 3221224576 3221220492 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32921 30657 1111 63 0 32858 0
vsize: 131684
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 36678 0 0 0 108930 86 0 0 25 0 1 0 849042776 134844416 30671 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32921 30671 1111 63 0 32858 0
vsize: 131684
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 36678 0 0 0 109930 86 0 0 25 0 1 0 849042776 134844416 30671 4294967295 134512640 134716908 3221224576 3221220608 1075112103 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32921 30671 1111 63 0 32858 0
vsize: 131684
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 36689 0 0 0 110930 86 0 0 25 0 1 0 849042776 134844416 30682 4294967295 134512640 134716908 3221224576 3221221312 1075115388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32921 30682 1111 63 0 32858 0
vsize: 131684
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 36689 0 0 0 111930 86 0 0 25 0 1 0 849042776 134844416 30682 4294967295 134512640 134716908 3221224576 3221220364 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32921 30682 1111 63 0 32858 0
vsize: 131684
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 36698 0 0 0 112931 86 0 0 25 0 1 0 849042776 134844416 30691 4294967295 134512640 134716908 3221224576 3221220624 1074969471 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32921 30691 1111 63 0 32858 0
vsize: 131684
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 36698 0 0 0 113931 86 0 0 25 0 1 0 849042776 134844416 30691 4294967295 134512640 134716908 3221224576 3221220364 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32921 30691 1111 63 0 32858 0
vsize: 131684
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 36698 0 0 0 114931 86 0 0 25 0 1 0 849042776 134844416 30691 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32921 30691 1111 63 0 32858 0
vsize: 131684
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 36704 0 0 0 115931 86 0 0 25 0 1 0 849042776 134844416 30697 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32921 30697 1111 63 0 32858 0
vsize: 131684
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 36704 0 0 0 116931 86 0 0 25 0 1 0 849042776 134844416 30697 4294967295 134512640 134716908 3221224576 3221220752 1074961149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32921 30697 1111 63 0 32858 0
vsize: 131684
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 36789 0 0 0 117931 86 0 0 25 0 1 0 849042776 135532544 30782 4294967295 134512640 134716908 3221224576 3221220720 1075115730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33089 30782 1111 63 0 33026 0
vsize: 132356
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 36829 0 0 0 118931 86 0 0 25 0 1 0 849042776 135532544 30822 4294967295 134512640 134716908 3221224576 3221220444 1074788153 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33089 30822 1111 63 0 33026 0
vsize: 132356
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) R 28280 8378 8377 0 -1 0 36829 0 0 0 119931 86 0 0 25 0 1 0 849042776 135532544 30822 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33089 30822 1111 63 0 33026 0
vsize: 132356
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 28281
Raw data (stat): 28281 (bsolo_lpr_cuts-) Z 28280 8378 8377 0 -1 1036 36829 0 0 0 119931 92 0 0 25 0 1 0 849042776 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.32
CPU system time (s): 0.925859
CPU usage (%): 100.012
Max. virtual memory (Kb): 135684
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####