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-4.opb
MD5SUM	2b591d1b24a201f365bc505135aa0578
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.07
Number of variables	945
Total number of constraints	58549
Number of constraints which are clauses	58549
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 40880

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-09 00:17:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28946 boxname=wulflinc3 idbench=332 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  2b591d1b24a201f365bc505135aa0578  /oldhome/oroussel/tmp/wulflinc3/normalized-frb45-21-4.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-frb45-21-4.opb
IDLAUNCH: 28946
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        900708 kB
Buffers:         21972 kB
Cached:          89068 kB
SwapCached:       3472 kB
Active:          31816 kB
Inactive:        83948 kB
HighTotal:      131008 kB
HighFree:        49532 kB
LowTotal:       903652 kB
LowFree:        851176 kB
SwapTotal:     2097136 kB
SwapFree:      2092672 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5020 kB
Slab:            12596 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 00:37:55 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 28946 7 1200.26 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 945 variables and 58549 constraints.
c After prepocess the problem consists of 945 variables and 39192 constraints.
c preprocess terminated 375.792 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.97 0.91 2/54 1539
Raw data (stat): 1539 (runsolver) R 1538 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 905884030 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.0002 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 22602 0 0 0 937 60 0 0 25 0 1 0 905884030 95338496 22422 4294967295 134512640 134716908 3221224576 3221222988 134542288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23276 22422 1111 63 0 23213 0
vsize: 93104
[startup+20.0006 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23868 0 0 0 1934 62 0 0 25 0 1 0 905884030 100462592 23688 4294967295 134512640 134716908 3221224576 3221223072 134538002 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23688 1111 63 0 24464 0
vsize: 98108
[startup+30.0008 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23868 0 0 0 2934 62 0 0 25 0 1 0 905884030 100462592 23688 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23688 1111 63 0 24464 0
vsize: 98108
[startup+40.0007 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23868 0 0 0 3935 62 0 0 25 0 1 0 905884030 100462592 23688 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23688 1111 63 0 24464 0
vsize: 98108
[startup+50.0018 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23868 0 0 0 4935 62 0 0 25 0 1 0 905884030 100462592 23688 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23688 1111 63 0 24464 0
vsize: 98108
[startup+60.0023 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23868 0 0 0 5935 62 0 0 25 0 1 0 905884030 100462592 23688 4294967295 134512640 134716908 3221224576 3221223304 134675281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23688 1111 63 0 24464 0
vsize: 98108
[startup+70.0021 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23868 0 0 0 6935 62 0 0 25 0 1 0 905884030 100462592 23688 4294967295 134512640 134716908 3221224576 3221223056 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23688 1111 63 0 24464 0
vsize: 98108
[startup+80.0036 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23868 0 0 0 7935 62 0 0 25 0 1 0 905884030 100462592 23688 4294967295 134512640 134716908 3221224576 3221223056 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23688 1111 63 0 24464 0
vsize: 98108
[startup+90.0039 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23868 0 0 0 8935 63 0 0 25 0 1 0 905884030 100462592 23688 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23688 1111 63 0 24464 0
vsize: 98108
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23868 0 0 0 9935 63 0 0 25 0 1 0 905884030 100462592 23688 4294967295 134512640 134716908 3221224576 3221222972 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23688 1111 63 0 24464 0
vsize: 98108
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23868 0 0 0 10935 63 0 0 25 0 1 0 905884030 100462592 23688 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23688 1111 63 0 24464 0
vsize: 98108
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23868 0 0 0 11935 63 0 0 25 0 1 0 905884030 100462592 23688 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23688 1111 63 0 24464 0
vsize: 98108
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23868 0 0 0 12936 63 0 0 25 0 1 0 905884030 100462592 23688 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23688 1111 63 0 24464 0
vsize: 98108
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23868 0 0 0 13936 63 0 0 25 0 1 0 905884030 100462592 23688 4294967295 134512640 134716908 3221224576 3221223056 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23688 1111 63 0 24464 0
vsize: 98108
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23868 0 0 0 14936 63 0 0 25 0 1 0 905884030 100462592 23688 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23688 1111 63 0 24464 0
vsize: 98108
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23868 0 0 0 15936 63 0 0 25 0 1 0 905884030 100462592 23688 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23688 1111 63 0 24464 0
vsize: 98108
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23868 0 0 0 16936 63 0 0 25 0 1 0 905884030 100462592 23688 4294967295 134512640 134716908 3221224576 3221222808 1077378362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23688 1111 63 0 24464 0
vsize: 98108
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23868 0 0 0 17936 63 0 0 25 0 1 0 905884030 100462592 23688 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23688 1111 63 0 24464 0
vsize: 98108
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23868 0 0 0 18937 63 0 0 25 0 1 0 905884030 100462592 23688 4294967295 134512640 134716908 3221224576 3221223080 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23688 1111 63 0 24464 0
vsize: 98108
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23868 0 0 0 19937 64 0 0 25 0 1 0 905884030 100462592 23688 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23688 1111 63 0 24464 0
vsize: 98108
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23868 0 0 0 20937 64 0 0 25 0 1 0 905884030 100462592 23688 4294967295 134512640 134716908 3221224576 3221223056 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23688 1111 63 0 24464 0
vsize: 98108
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23868 0 0 0 21937 64 0 0 25 0 1 0 905884030 100462592 23688 4294967295 134512640 134716908 3221224576 3221223056 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23688 1111 63 0 24464 0
vsize: 98108
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23868 0 0 0 22937 64 0 0 25 0 1 0 905884030 100462592 23688 4294967295 134512640 134716908 3221224576 3221222940 134539217 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23688 1111 63 0 24464 0
vsize: 98108
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23868 0 0 0 23937 64 0 0 25 0 1 0 905884030 100462592 23688 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23688 1111 63 0 24464 0
vsize: 98108
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23868 0 0 0 24938 64 0 0 25 0 1 0 905884030 100462592 23688 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23688 1111 63 0 24464 0
vsize: 98108
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23868 0 0 0 25938 64 0 0 25 0 1 0 905884030 100462592 23688 4294967295 134512640 134716908 3221224576 3221223084 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23688 1111 63 0 24464 0
vsize: 98108
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23868 0 0 0 26938 64 0 0 25 0 1 0 905884030 100462592 23688 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23688 1111 63 0 24464 0
vsize: 98108
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23868 0 0 0 27938 64 0 0 25 0 1 0 905884030 100462592 23688 4294967295 134512640 134716908 3221224576 3221222960 134542325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23688 1111 63 0 24464 0
vsize: 98108
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23868 0 0 0 28938 64 0 0 25 0 1 0 905884030 100462592 23688 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23688 1111 63 0 24464 0
vsize: 98108
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23868 0 0 0 29938 64 0 0 25 0 1 0 905884030 100462592 23688 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23688 1111 63 0 24464 0
vsize: 98108
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23868 0 0 0 30939 64 0 0 25 0 1 0 905884030 100462592 23688 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23688 1111 63 0 24464 0
vsize: 98108
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23868 0 0 0 31939 64 0 0 25 0 1 0 905884030 100462592 23688 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23688 1111 63 0 24464 0
vsize: 98108
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23868 0 0 0 32939 64 0 0 25 0 1 0 905884030 100462592 23688 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23688 1111 63 0 24464 0
vsize: 98108
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23868 0 0 0 33939 64 0 0 25 0 1 0 905884030 100462592 23688 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23688 1111 63 0 24464 0
vsize: 98108
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23868 0 0 0 34939 64 0 0 25 0 1 0 905884030 100462592 23688 4294967295 134512640 134716908 3221224576 3221223232 134627214 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23688 1111 63 0 24464 0
vsize: 98108
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23869 0 0 0 35940 64 0 0 25 0 1 0 905884030 100462592 23689 4294967295 134512640 134716908 3221224576 3221223376 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23689 1111 63 0 24464 0
vsize: 98108
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23869 0 0 0 36940 64 0 0 25 0 1 0 905884030 100462592 23689 4294967295 134512640 134716908 3221224576 3221223432 134542412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23689 1111 63 0 24464 0
vsize: 98108
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23890 0 0 0 37940 64 0 0 25 0 1 0 905884030 100462592 23710 4294967295 134512640 134716908 3221224576 3221222832 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24527 23710 1111 63 0 24464 0
vsize: 98108
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23890 0 0 0 38939 64 0 0 25 0 1 0 905884030 100462592 23710 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23710 1111 63 0 24464 0
vsize: 98108
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23890 0 0 0 39939 64 0 0 25 0 1 0 905884030 100462592 23710 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23710 1111 63 0 24464 0
vsize: 98108
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23890 0 0 0 40939 64 0 0 25 0 1 0 905884030 100462592 23710 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23710 1111 63 0 24464 0
vsize: 98108
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23890 0 0 0 41940 64 0 0 25 0 1 0 905884030 100462592 23710 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23710 1111 63 0 24464 0
vsize: 98108
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23890 0 0 0 42940 64 0 0 25 0 1 0 905884030 100462592 23710 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23710 1111 63 0 24464 0
vsize: 98108
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23890 0 0 0 43940 64 0 0 25 0 1 0 905884030 100462592 23710 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23710 1111 63 0 24464 0
vsize: 98108
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23890 0 0 0 44940 64 0 0 25 0 1 0 905884030 100462592 23710 4294967295 134512640 134716908 3221224576 3221222864 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23710 1111 63 0 24464 0
vsize: 98108
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23890 0 0 0 45940 64 0 0 25 0 1 0 905884030 100462592 23710 4294967295 134512640 134716908 3221224576 3221222864 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23710 1111 63 0 24464 0
vsize: 98108
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23890 0 0 0 46940 64 0 0 25 0 1 0 905884030 100462592 23710 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23710 1111 63 0 24464 0
vsize: 98108
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23890 0 0 0 47941 64 0 0 25 0 1 0 905884030 100462592 23710 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24527 23710 1111 63 0 24464 0
vsize: 98108
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23890 0 0 0 48939 65 0 0 25 0 1 0 905884030 100462592 23710 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23710 1111 63 0 24464 0
vsize: 98108
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23890 0 0 0 49940 65 0 0 25 0 1 0 905884030 100462592 23710 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23710 1111 63 0 24464 0
vsize: 98108
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23890 0 0 0 50940 65 0 0 25 0 1 0 905884030 100462592 23710 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23710 1111 63 0 24464 0
vsize: 98108
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23890 0 0 0 51940 65 0 0 25 0 1 0 905884030 100462592 23710 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23710 1111 63 0 24464 0
vsize: 98108
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23890 0 0 0 52940 65 0 0 25 0 1 0 905884030 100462592 23710 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23710 1111 63 0 24464 0
vsize: 98108
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23890 0 0 0 53940 65 0 0 25 0 1 0 905884030 100462592 23710 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23710 1111 63 0 24464 0
vsize: 98108
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23890 0 0 0 54941 65 0 0 25 0 1 0 905884030 100462592 23710 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23710 1111 63 0 24464 0
vsize: 98108
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23890 0 0 0 55941 65 0 0 25 0 1 0 905884030 100462592 23710 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23710 1111 63 0 24464 0
vsize: 98108
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23890 0 0 0 56941 65 0 0 25 0 1 0 905884030 100462592 23710 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23710 1111 63 0 24464 0
vsize: 98108
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23890 0 0 0 57941 65 0 0 25 0 1 0 905884030 100462592 23710 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23710 1111 63 0 24464 0
vsize: 98108
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 23890 0 0 0 58941 65 0 0 25 0 1 0 905884030 100462592 23710 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23710 1111 63 0 24464 0
vsize: 98108
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 24258 0 0 0 59941 66 0 0 25 0 1 0 905884030 101965824 24078 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24894 24078 1111 63 0 24831 0
vsize: 99576
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 24267 0 0 0 60940 66 0 0 25 0 1 0 905884030 102002688 24087 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24903 24087 1111 63 0 24840 0
vsize: 99612
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 24275 0 0 0 61940 67 0 0 25 0 1 0 905884030 102035456 24095 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24911 24095 1111 63 0 24848 0
vsize: 99644
[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 24284 0 0 0 62940 67 0 0 25 0 1 0 905884030 102072320 24104 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24920 24104 1111 63 0 24857 0
vsize: 99680
[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 24294 0 0 0 63940 67 0 0 25 0 1 0 905884030 102113280 24114 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24930 24114 1111 63 0 24867 0
vsize: 99720
[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 24301 0 0 0 64940 67 0 0 25 0 1 0 905884030 102141952 24121 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24937 24121 1111 63 0 24874 0
vsize: 99748
[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 24310 0 0 0 65940 68 0 0 25 0 1 0 905884030 102178816 24130 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24946 24130 1111 63 0 24883 0
vsize: 99784
[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 24322 0 0 0 66940 68 0 0 25 0 1 0 905884030 102227968 24142 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24958 24142 1111 63 0 24895 0
vsize: 99832
[startup+680.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 24331 0 0 0 67939 69 0 0 25 0 1 0 905884030 102264832 24151 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24967 24151 1111 63 0 24904 0
vsize: 99868
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 24342 0 0 0 68939 70 0 0 25 0 1 0 905884030 102309888 24162 4294967295 134512640 134716908 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24978 24162 1111 63 0 24915 0
vsize: 99912
[startup+700.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 30707 0 0 0 69924 84 0 0 25 0 1 0 905884030 128438272 27956 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31357 27956 1111 63 0 31294 0
vsize: 125428
[startup+710.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 30785 0 0 0 70924 85 0 0 25 0 1 0 905884030 128438272 28034 4294967295 134512640 134716908 3221224576 3221220552 1074950210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31357 28034 1111 63 0 31294 0
vsize: 125428
[startup+720.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 32200 0 0 0 71921 88 0 0 25 0 1 0 905884030 131313664 29447 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32059 29447 1111 63 0 31996 0
vsize: 128236
[startup+730.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 32241 0 0 0 72921 88 0 0 25 0 1 0 905884030 131313664 29488 4294967295 134512640 134716908 3221224576 3221220752 1074961301 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32059 29488 1111 63 0 31996 0
vsize: 128236
[startup+740.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 32455 0 0 0 73921 89 0 0 25 0 1 0 905884030 125571072 28415 4294967295 134512640 134716908 3221224576 3221220544 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30657 28415 1111 63 0 30594 0
vsize: 122628
[startup+750.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 32474 0 0 0 74921 89 0 0 25 0 1 0 905884030 125571072 28432 4294967295 134512640 134716908 3221224576 3221220720 1075115768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30657 28432 1111 63 0 30594 0
vsize: 122628
[startup+760.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 32483 0 0 0 75921 89 0 0 25 0 1 0 905884030 125571072 28439 4294967295 134512640 134716908 3221224576 3221220544 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30657 28439 1111 63 0 30594 0
vsize: 122628
[startup+770.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 32507 0 0 0 76921 89 0 0 25 0 1 0 905884030 125571072 28461 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30657 28461 1111 63 0 30594 0
vsize: 122628
[startup+780.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 32534 0 0 0 77921 89 0 0 25 0 1 0 905884030 125886464 28488 4294967295 134512640 134716908 3221224576 3221221552 1074867337 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30734 28488 1111 63 0 30671 0
vsize: 122936
[startup+790.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 32537 0 0 0 78922 89 0 0 25 0 1 0 905884030 125571072 28489 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30657 28489 1111 63 0 30594 0
vsize: 122628
[startup+800.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 32546 0 0 0 79922 89 0 0 25 0 1 0 905884030 125571072 28496 4294967295 134512640 134716908 3221224576 3221220472 1075964748 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30657 28496 1111 63 0 30594 0
vsize: 122628
[startup+810.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 32560 0 0 0 80922 89 0 0 25 0 1 0 905884030 125571072 28508 4294967295 134512640 134716908 3221224576 3221220640 1075093367 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30657 28508 1111 63 0 30594 0
vsize: 122628
[startup+820.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 32568 0 0 0 81922 89 0 0 25 0 1 0 905884030 125571072 28516 4294967295 134512640 134716908 3221224576 3221220708 1075115076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30657 28516 1111 63 0 30594 0
vsize: 122628
[startup+830.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 32591 0 0 0 82922 89 0 0 25 0 1 0 905884030 125571072 28537 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30657 28537 1111 63 0 30594 0
vsize: 122628
[startup+840.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 32616 0 0 0 83922 89 0 0 25 0 1 0 905884030 125571072 28560 4294967295 134512640 134716908 3221224576 3221220640 1075095169 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30657 28560 1111 63 0 30594 0
vsize: 122628
[startup+850.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 32616 0 0 0 84922 89 0 0 25 0 1 0 905884030 125571072 28560 4294967295 134512640 134716908 3221224576 3221220708 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30657 28560 1111 63 0 30594 0
vsize: 122628
[startup+860.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 32626 0 0 0 85923 89 0 0 25 0 1 0 905884030 125571072 28568 4294967295 134512640 134716908 3221224576 3221220472 1075964745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30657 28568 1111 63 0 30594 0
vsize: 122628
[startup+870.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 32633 0 0 0 86923 89 0 0 25 0 1 0 905884030 125571072 28573 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30657 28573 1111 63 0 30594 0
vsize: 122628
[startup+880.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 32653 0 0 0 87923 89 0 0 25 0 1 0 905884030 125571072 28591 4294967295 134512640 134716908 3221224576 3221220708 1075115060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30657 28591 1111 63 0 30594 0
vsize: 122628
[startup+890.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 32653 0 0 0 88923 89 0 0 25 0 1 0 905884030 125571072 28591 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30657 28591 1111 63 0 30594 0
vsize: 122628
[startup+900.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 32662 0 0 0 89923 89 0 0 25 0 1 0 905884030 125571072 28600 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30657 28600 1111 63 0 30594 0
vsize: 122628
[startup+910.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 32713 0 0 0 90923 90 0 0 25 0 1 0 905884030 126144512 28649 4294967295 134512640 134716908 3221224576 3221220444 1074788183 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30797 28649 1111 63 0 30734 0
vsize: 123188
[startup+920.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 32798 0 0 0 91923 90 0 0 25 0 1 0 905884030 126746624 28732 4294967295 134512640 134716908 3221224576 3221220544 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30944 28732 1111 63 0 30881 0
vsize: 123776
[startup+930.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 32820 0 0 0 92923 90 0 0 25 0 1 0 905884030 126746624 28754 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30944 28754 1111 63 0 30881 0
vsize: 123776
[startup+940.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 32829 0 0 0 93924 90 0 0 25 0 1 0 905884030 126746624 28761 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30944 28761 1111 63 0 30881 0
vsize: 123776
[startup+950.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 32850 0 0 0 94924 90 0 0 25 0 1 0 905884030 126746624 28780 4294967295 134512640 134716908 3221224576 3221220624 1074969465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30944 28780 1111 63 0 30881 0
vsize: 123776
[startup+960.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 32851 0 0 0 95924 90 0 0 25 0 1 0 905884030 126746624 28781 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30944 28781 1111 63 0 30881 0
vsize: 123776
[startup+970.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 32875 0 0 0 96924 90 0 0 25 0 1 0 905884030 126746624 28803 4294967295 134512640 134716908 3221224576 3221220848 1075894487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30944 28803 1111 63 0 30881 0
vsize: 123776
[startup+980.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 32880 0 0 0 97924 90 0 0 25 0 1 0 905884030 127062016 28808 4294967295 134512640 134716908 3221224576 3221221552 1074867274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31021 28808 1111 63 0 30958 0
vsize: 124084
[startup+990.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 32885 0 0 0 98925 90 0 0 25 0 1 0 905884030 126746624 28811 4294967295 134512640 134716908 3221224576 3221220580 1075964248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30944 28811 1111 63 0 30881 0
vsize: 123776
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 32895 0 0 0 99925 90 0 0 25 0 1 0 905884030 126746624 28819 4294967295 134512640 134716908 3221224576 3221220364 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30944 28819 1111 63 0 30881 0
vsize: 123776
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 32901 0 0 0 100925 90 0 0 25 0 1 0 905884030 126746624 28825 4294967295 134512640 134716908 3221224576 3221220688 1074815276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30944 28825 1111 63 0 30881 0
vsize: 123776
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 32914 0 0 0 101925 90 0 0 25 0 1 0 905884030 126746624 28836 4294967295 134512640 134716908 3221224576 3221220752 1074961191 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30944 28836 1111 63 0 30881 0
vsize: 123776
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 32925 0 0 0 102926 90 0 0 25 0 1 0 905884030 126746624 28845 4294967295 134512640 134716908 3221224576 3221220688 1074815271 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30944 28845 1111 63 0 30881 0
vsize: 123776
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 32925 0 0 0 103926 90 0 0 25 0 1 0 905884030 126746624 28845 4294967295 134512640 134716908 3221224576 3221220640 1074883539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30944 28845 1111 63 0 30881 0
vsize: 123776
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 32955 0 0 0 104926 90 0 0 25 0 1 0 905884030 126746624 28873 4294967295 134512640 134716908 3221224576 3221220752 1074961304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30944 28873 1111 63 0 30881 0
vsize: 123776
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 32966 0 0 0 105926 90 0 0 25 0 1 0 905884030 126746624 28882 4294967295 134512640 134716908 3221224576 3221220624 1074969474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30944 28882 1111 63 0 30881 0
vsize: 123776
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 32982 0 0 0 106927 90 0 0 25 0 1 0 905884030 126746624 28896 4294967295 134512640 134716908 3221224576 3221220720 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30944 28896 1111 63 0 30881 0
vsize: 123776
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 32983 0 0 0 107927 90 0 0 25 0 1 0 905884030 126746624 28897 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30944 28897 1111 63 0 30881 0
vsize: 123776
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 33086 0 0 0 108927 91 0 0 25 0 1 0 905884030 127385600 28998 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31100 28998 1111 63 0 31037 0
vsize: 124400
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 33091 0 0 0 109927 91 0 0 25 0 1 0 905884030 127385600 29001 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31100 29001 1111 63 0 31037 0
vsize: 124400
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 33096 0 0 0 110927 91 0 0 25 0 1 0 905884030 127385600 29004 4294967295 134512640 134716908 3221224576 3221220708 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31100 29004 1111 63 0 31037 0
vsize: 124400
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 33114 0 0 0 111927 91 0 0 25 0 1 0 905884030 127385600 29020 4294967295 134512640 134716908 3221224576 3221220580 1075964214 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31100 29020 1111 63 0 31037 0
vsize: 124400
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 33124 0 0 0 112927 91 0 0 25 0 1 0 905884030 127385600 29028 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31100 29028 1111 63 0 31037 0
vsize: 124400
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 33127 0 0 0 113928 91 0 0 25 0 1 0 905884030 127385600 29029 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31100 29029 1111 63 0 31037 0
vsize: 124400
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 33129 0 0 0 114928 91 0 0 25 0 1 0 905884030 127385600 29029 4294967295 134512640 134716908 3221224576 3221220640 1075095151 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31100 29029 1111 63 0 31037 0
vsize: 124400
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 33140 0 0 0 115928 91 0 0 25 0 1 0 905884030 127385600 29038 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31100 29038 1111 63 0 31037 0
vsize: 124400
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 33141 0 0 0 116928 91 0 0 25 0 1 0 905884030 127385600 29039 4294967295 134512640 134716908 3221224576 3221220444 1074788143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31100 29039 1111 63 0 31037 0
vsize: 124400
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 33147 0 0 0 117928 91 0 0 25 0 1 0 905884030 127385600 29043 4294967295 134512640 134716908 3221224576 3221220752 1074961264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31100 29043 1111 63 0 31037 0
vsize: 124400
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 33151 0 0 0 118928 91 0 0 25 0 1 0 905884030 127385600 29043 4294967295 134512640 134716908 3221224576 3221220440 1075964771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31100 29043 1111 63 0 31037 0
vsize: 124400
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) R 1538 20224 20223 0 -1 0 33152 0 0 0 119928 91 0 0 25 0 1 0 905884030 127385600 29044 4294967295 134512640 134716908 3221224576 3221220624 1074969474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31100 29044 1111 63 0 31037 0
vsize: 124400
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 1539
Raw data (stat): 1539 (bsolo_lpr_cuts-) Z 1538 20224 20223 0 -1 1036 33152 0 0 0 119928 97 0 0 25 0 1 0 905884030 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.11
CPU time (s): 1200.26
CPU user time (s): 1199.29
CPU system time (s): 0.970852
CPU usage (%): 100.012
Max. virtual memory (Kb): 128236
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####