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/frb53-24-opb/normalized-frb53-24-4.opb
MD5SUM	b7f280d80b52f97899362fbc10d59421
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-40
Optimality of the best value was proved	NO
Number of terms in the objective function	1272
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	1272
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1272
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.12
Number of variables	1272
Total number of constraints	94308
Number of constraints which are clauses	94308
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 40890

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-09 00:53:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28956 boxname=wulflinc5 idbench=342 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  b7f280d80b52f97899362fbc10d59421  /oldhome/oroussel/tmp/wulflinc5/normalized-frb53-24-4.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-frb53-24-4.opb
IDLAUNCH: 28956
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        905268 kB
Buffers:          9888 kB
Cached:          97840 kB
SwapCached:        732 kB
Active:          26168 kB
Inactive:        83660 kB
HighTotal:      131008 kB
HighFree:        31808 kB
LowTotal:       903652 kB
LowFree:        873460 kB
SwapTotal:     2097136 kB
SwapFree:      2095460 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5072 kB
Slab:            13936 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 01:13:58 (client local time) WITH STATUS 0 IN 1200.29 SECONDS
stats: 28956 7 1200.29 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1272 variables and 94308 constraints.
c After prepocess the problem consists of 1272 variables and 65011 constraints.
c preprocess terminated 740.572 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/54 24561
Raw data (stat): 24561 (runsolver) R 24560 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 906108922 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.0006 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 24561
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 18617 0 0 0 948 48 0 0 25 0 1 0 906108922 79413248 18533 4294967295 134512640 134716908 3221224576 3221223000 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19388 18533 1111 63 0 19325 0
vsize: 77552
[startup+20.0012 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 24561
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 42359 0 0 0 1895 102 0 0 25 0 1 0 906108922 167919616 40149 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40996 40149 1111 63 0 40933 0
vsize: 163984
[startup+30.0023 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 24561
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 43609 0 0 0 2892 104 0 0 25 0 1 0 906108922 169910272 40607 4294967295 134512640 134716908 3221224576 3221222968 1077378310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41482 40607 1111 63 0 41419 0
vsize: 165928
[startup+40.0027 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 24561
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 3884 113 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223056 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+50.0034 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 24561
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 4884 113 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223300 134618365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+60.0035 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 24561
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 5885 113 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223232 134609212 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+70.0039 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 24561
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 6885 113 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223088 134543707 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+80.0046 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 24561
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 7885 113 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+90.0047 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 24561
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 8885 113 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+100.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 24561
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 9885 113 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+110.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 24561
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 10886 113 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223056 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 24561
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 11886 113 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223084 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 24561
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 12886 113 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+140.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 24561
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 13886 113 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+150.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 24561
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 14886 113 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223080 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+160.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24561
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 15886 113 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+170.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24561
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 16887 113 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+180.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24561
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 17887 113 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+190.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24561
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 18887 113 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+200.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24561
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 19887 113 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223056 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+210.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24561
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 20887 113 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223020 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+220.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24561
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 21888 113 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221222984 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+230.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24561
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 22888 113 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+240.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24561
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 23888 113 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223304 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+250.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24561
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 24888 113 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223056 134539576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24561
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 25888 114 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24561
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 26888 114 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24561
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 27888 114 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24561
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 28888 114 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223024 134536678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24561
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 29888 114 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24561
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 30889 114 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24561
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 31889 114 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221222984 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24561
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 32889 114 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24561
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 33889 114 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24561
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 34889 114 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24561
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 35890 114 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223040 134536655 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+370.016 s]
Raw data (loadavg): 1.15 1.00 0.92 3/57 24605
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 36890 114 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+380.017 s]
Raw data (loadavg): 1.13 1.00 0.92 2/54 24614
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 37890 114 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+390.017 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 24614
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 38890 114 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+400.017 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 24614
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 39890 114 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+410.018 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 24614
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 40890 114 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+420.018 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 24614
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 41891 114 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+430.018 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 24614
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 42891 114 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+440.019 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 24614
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 43891 114 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+450.019 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 24616
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 44891 114 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223056 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+460.019 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 24616
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 45891 114 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+470.019 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 24616
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 46891 114 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+480.02 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 24616
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 47892 114 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221222984 134543594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+490.02 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 24616
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 48892 114 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+500.02 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 24616
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 49892 114 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+510.021 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 24616
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 50892 114 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221222984 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+520.021 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 24616
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 51892 114 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223068 134539582 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+530.022 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 24616
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 52893 114 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+540.022 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 24616
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 53893 114 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+550.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24616
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 54893 114 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221222940 134539223 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+560.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24616
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 55893 114 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223068 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+570.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24616
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 56893 114 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+580.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24616
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 57894 114 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+590.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24616
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 58894 114 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223140 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+600.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24616
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 59894 114 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223192 134543793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+610.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24616
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 60894 114 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223056 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+620.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24616
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 61894 114 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223056 134542359 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+630.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24616
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 62895 114 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+640.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24616
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 63895 114 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+650.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24616
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 64895 114 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+660.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24616
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 65895 114 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+670.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24616
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 66895 114 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+680.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24616
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 67895 114 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+690.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24616
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48104 0 0 0 68896 114 0 0 25 0 1 0 906108922 183799808 44012 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44012 1111 63 0 44810 0
vsize: 179492
[startup+700.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24616
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48105 0 0 0 69896 114 0 0 25 0 1 0 906108922 183799808 44013 4294967295 134512640 134716908 3221224576 3221223448 134622428 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44013 1111 63 0 44810 0
vsize: 179492
[startup+710.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24616
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48105 0 0 0 70896 114 0 0 25 0 1 0 906108922 183799808 44013 4294967295 134512640 134716908 3221224576 3221223376 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44013 1111 63 0 44810 0
vsize: 179492
[startup+720.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48105 0 0 0 71896 114 0 0 25 0 1 0 906108922 183799808 44013 4294967295 134512640 134716908 3221224576 3221223432 134542414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44013 1111 63 0 44810 0
vsize: 179492
[startup+730.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48105 0 0 0 72896 114 0 0 25 0 1 0 906108922 183799808 44013 4294967295 134512640 134716908 3221224576 3221223356 134543192 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44013 1111 63 0 44810 0
vsize: 179492
[startup+740.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48105 0 0 0 73896 114 0 0 25 0 1 0 906108922 183799808 44013 4294967295 134512640 134716908 3221224576 3221223312 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44013 1111 63 0 44810 0
vsize: 179492
[startup+750.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48126 0 0 0 74896 115 0 0 25 0 1 0 906108922 183799808 44034 4294967295 134512640 134716908 3221224576 3221222616 1077378310 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44034 1111 63 0 44810 0
vsize: 179492
[startup+760.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48126 0 0 0 75896 115 0 0 25 0 1 0 906108922 183799808 44034 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44034 1111 63 0 44810 0
vsize: 179492
[startup+770.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48126 0 0 0 76896 115 0 0 25 0 1 0 906108922 183799808 44034 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44034 1111 63 0 44810 0
vsize: 179492
[startup+780.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48126 0 0 0 77896 115 0 0 25 0 1 0 906108922 183799808 44034 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44034 1111 63 0 44810 0
vsize: 179492
[startup+790.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48126 0 0 0 78897 115 0 0 25 0 1 0 906108922 183799808 44034 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44034 1111 63 0 44810 0
vsize: 179492
[startup+800.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48126 0 0 0 79897 115 0 0 25 0 1 0 906108922 183799808 44034 4294967295 134512640 134716908 3221224576 3221222864 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44034 1111 63 0 44810 0
vsize: 179492
[startup+810.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48126 0 0 0 80897 115 0 0 25 0 1 0 906108922 183799808 44034 4294967295 134512640 134716908 3221224576 3221222808 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44034 1111 63 0 44810 0
vsize: 179492
[startup+820.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48126 0 0 0 81897 115 0 0 25 0 1 0 906108922 183799808 44034 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44034 1111 63 0 44810 0
vsize: 179492
[startup+830.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48126 0 0 0 82897 115 0 0 25 0 1 0 906108922 183799808 44034 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44034 1111 63 0 44810 0
vsize: 179492
[startup+840.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48126 0 0 0 83897 115 0 0 25 0 1 0 906108922 183799808 44034 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44034 1111 63 0 44810 0
vsize: 179492
[startup+850.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48126 0 0 0 84897 115 0 0 25 0 1 0 906108922 183799808 44034 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44034 1111 63 0 44810 0
vsize: 179492
[startup+860.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48126 0 0 0 85898 115 0 0 25 0 1 0 906108922 183799808 44034 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44034 1111 63 0 44810 0
vsize: 179492
[startup+870.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48126 0 0 0 86898 115 0 0 25 0 1 0 906108922 183799808 44034 4294967295 134512640 134716908 3221224576 3221222864 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44034 1111 63 0 44810 0
vsize: 179492
[startup+880.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48126 0 0 0 87898 115 0 0 25 0 1 0 906108922 183799808 44034 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44034 1111 63 0 44810 0
vsize: 179492
[startup+890.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48126 0 0 0 88898 115 0 0 25 0 1 0 906108922 183799808 44034 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44034 1111 63 0 44810 0
vsize: 179492
[startup+900.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48126 0 0 0 89898 115 0 0 25 0 1 0 906108922 183799808 44034 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44034 1111 63 0 44810 0
vsize: 179492
[startup+910.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48126 0 0 0 90898 116 0 0 25 0 1 0 906108922 183799808 44034 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44034 1111 63 0 44810 0
vsize: 179492
[startup+920.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48126 0 0 0 91898 116 0 0 25 0 1 0 906108922 183799808 44034 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44034 1111 63 0 44810 0
vsize: 179492
[startup+930.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48126 0 0 0 92898 116 0 0 25 0 1 0 906108922 183799808 44034 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44034 1111 63 0 44810 0
vsize: 179492
[startup+940.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48126 0 0 0 93899 116 0 0 25 0 1 0 906108922 183799808 44034 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44034 1111 63 0 44810 0
vsize: 179492
[startup+950.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48126 0 0 0 94899 116 0 0 25 0 1 0 906108922 183799808 44034 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44034 1111 63 0 44810 0
vsize: 179492
[startup+960.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48126 0 0 0 95899 116 0 0 25 0 1 0 906108922 183799808 44034 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44034 1111 63 0 44810 0
vsize: 179492
[startup+970.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48126 0 0 0 96899 116 0 0 25 0 1 0 906108922 183799808 44034 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44034 1111 63 0 44810 0
vsize: 179492
[startup+980.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48126 0 0 0 97899 116 0 0 25 0 1 0 906108922 183799808 44034 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44034 1111 63 0 44810 0
vsize: 179492
[startup+990.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48126 0 0 0 98899 116 0 0 25 0 1 0 906108922 183799808 44034 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44034 1111 63 0 44810 0
vsize: 179492
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48126 0 0 0 99900 116 0 0 25 0 1 0 906108922 183799808 44034 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44034 1111 63 0 44810 0
vsize: 179492
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48126 0 0 0 100900 116 0 0 25 0 1 0 906108922 183799808 44034 4294967295 134512640 134716908 3221224576 3221222832 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44034 1111 63 0 44810 0
vsize: 179492
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48126 0 0 0 101900 116 0 0 25 0 1 0 906108922 183799808 44034 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44034 1111 63 0 44810 0
vsize: 179492
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48126 0 0 0 102900 116 0 0 25 0 1 0 906108922 183799808 44034 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44034 1111 63 0 44810 0
vsize: 179492
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48126 0 0 0 103900 116 0 0 25 0 1 0 906108922 183799808 44034 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44873 44034 1111 63 0 44810 0
vsize: 179492
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48558 0 0 0 104899 117 0 0 25 0 1 0 906108922 185565184 44466 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45304 44466 1111 63 0 45241 0
vsize: 181216
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48566 0 0 0 105899 117 0 0 25 0 1 0 906108922 185597952 44474 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45312 44474 1111 63 0 45249 0
vsize: 181248
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48573 0 0 0 106899 118 0 0 25 0 1 0 906108922 185626624 44481 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45319 44481 1111 63 0 45256 0
vsize: 181276
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48581 0 0 0 107898 118 0 0 25 0 1 0 906108922 185659392 44489 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45327 44489 1111 63 0 45264 0
vsize: 181308
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48588 0 0 0 108898 119 0 0 25 0 1 0 906108922 185688064 44496 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45334 44496 1111 63 0 45271 0
vsize: 181336
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48595 0 0 0 109898 119 0 0 25 0 1 0 906108922 185716736 44503 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45341 44503 1111 63 0 45278 0
vsize: 181364
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48603 0 0 0 110898 119 0 0 25 0 1 0 906108922 185749504 44511 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45349 44511 1111 63 0 45286 0
vsize: 181396
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48610 0 0 0 111898 120 0 0 25 0 1 0 906108922 185778176 44518 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45356 44518 1111 63 0 45293 0
vsize: 181424
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48617 0 0 0 112898 120 0 0 25 0 1 0 906108922 185806848 44525 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45363 44525 1111 63 0 45300 0
vsize: 181452
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48624 0 0 0 113898 120 0 0 25 0 1 0 906108922 185835520 44532 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45370 44532 1111 63 0 45307 0
vsize: 181480
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48631 0 0 0 114897 121 0 0 25 0 1 0 906108922 185864192 44539 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45377 44539 1111 63 0 45314 0
vsize: 181508
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48638 0 0 0 115897 121 0 0 25 0 1 0 906108922 185892864 44546 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45384 44546 1111 63 0 45321 0
vsize: 181536
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48644 0 0 0 116897 122 0 0 25 0 1 0 906108922 185917440 44552 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45390 44552 1111 63 0 45327 0
vsize: 181560
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48651 0 0 0 117897 122 0 0 25 0 1 0 906108922 185946112 44559 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45397 44559 1111 63 0 45334 0
vsize: 181588
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48657 0 0 0 118896 123 0 0 25 0 1 0 906108922 185970688 44565 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45403 44565 1111 63 0 45340 0
vsize: 181612
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) R 24560 7266 7265 0 -1 0 48663 0 0 0 119897 123 0 0 25 0 1 0 906108922 185995264 44571 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45409 44571 1111 63 0 45346 0
vsize: 181636
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 24618
Raw data (stat): 24561 (bsolo_lpr_cuts-) Z 24560 7266 7265 0 -1 1036 48663 0 0 0 119897 131 0 0 25 0 1 0 906108922 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 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.13
CPU time (s): 1200.29
CPU user time (s): 1198.97
CPU system time (s): 1.3198
CPU usage (%): 100.014
Max. virtual memory (Kb): 181636
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####