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-1.opb
MD5SUM	aa1ea44fce5b7bfbe62733720f941ebb
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-33
Optimality of the best value was proved	NO
Number of terms in the objective function	945
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	945
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	945
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.08
Number of variables	945
Total number of constraints	59186
Number of constraints which are clauses	59186
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 39705

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-07 17:02:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27771 boxname=wulflinc6 idbench=329 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  aa1ea44fce5b7bfbe62733720f941ebb  /oldhome/oroussel/tmp/wulflinc6/normalized-frb45-21-1.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-frb45-21-1.opb
IDLAUNCH: 27771
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        921332 kB
Buffers:         33892 kB
Cached:          56388 kB
SwapCached:       1792 kB
Active:          26148 kB
Inactive:        67100 kB
HighTotal:      131008 kB
HighFree:        88312 kB
LowTotal:       903652 kB
LowFree:        833020 kB
SwapTotal:     2097136 kB
SwapFree:      2094416 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5048 kB
Slab:            14400 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 17:22:41 (client local time) WITH STATUS 0 IN 1200.46 SECONDS
stats: 27771 7 1200.46 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 945 variables and 59186 constraints.
c After prepocess the problem consists of 945 variables and 42419 constraints.
c preprocess terminated 362.626 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 1/54 16706
Raw data (stat): 16706 (runsolver) R 16705 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 894638767 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 0 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 16706
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 20298 0 0 0 942 55 0 0 25 0 1 0 894638767 86315008 20215 4294967295 134512640 134716908 3221224576 3221222960 134542306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21073 20215 1111 63 0 21010 0
vsize: 84292
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 16706
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24006 0 0 0 1934 63 0 0 25 0 1 0 894638767 98775040 23264 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 16706
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24006 0 0 0 2934 63 0 0 25 0 1 0 894638767 98775040 23264 4294967295 134512640 134716908 3221224576 3221223164 134535506 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+40.001 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 16706
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24006 0 0 0 3935 63 0 0 25 0 1 0 894638767 98775040 23264 4294967295 134512640 134716908 3221224576 3221223216 134595006 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+50.0012 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 16706
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24006 0 0 0 4935 63 0 0 25 0 1 0 894638767 98775040 23264 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+60.0016 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 16706
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24006 0 0 0 5935 63 0 0 25 0 1 0 894638767 98775040 23264 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+70.0025 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 16706
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24006 0 0 0 6936 63 0 0 25 0 1 0 894638767 98775040 23264 4294967295 134512640 134716908 3221224576 3221222960 134542306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+80.0026 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 16706
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24006 0 0 0 7936 63 0 0 25 0 1 0 894638767 98775040 23264 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+90.0031 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 16706
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24006 0 0 0 8937 63 0 0 25 0 1 0 894638767 98775040 23264 4294967295 134512640 134716908 3221224576 3221222968 134542370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 16706
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24006 0 0 0 9937 63 0 0 25 0 1 0 894638767 98775040 23264 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 16706
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24006 0 0 0 10937 63 0 0 25 0 1 0 894638767 98775040 23264 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16706
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24006 0 0 0 11937 63 0 0 25 0 1 0 894638767 98775040 23264 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16706
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24006 0 0 0 12938 63 0 0 25 0 1 0 894638767 98775040 23264 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16706
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24006 0 0 0 13938 63 0 0 25 0 1 0 894638767 98775040 23264 4294967295 134512640 134716908 3221224576 3221222940 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16706
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24006 0 0 0 14939 63 0 0 25 0 1 0 894638767 98775040 23264 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16706
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24006 0 0 0 15939 63 0 0 25 0 1 0 894638767 98775040 23264 4294967295 134512640 134716908 3221224576 3221223080 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16706
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24006 0 0 0 16939 63 0 0 25 0 1 0 894638767 98775040 23264 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24006 0 0 0 17939 63 0 0 25 0 1 0 894638767 98775040 23264 4294967295 134512640 134716908 3221224576 3221222960 134542300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24006 0 0 0 18940 63 0 0 25 0 1 0 894638767 98775040 23264 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24006 0 0 0 19940 63 0 0 25 0 1 0 894638767 98775040 23264 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24006 0 0 0 20941 63 0 0 25 0 1 0 894638767 98775040 23264 4294967295 134512640 134716908 3221224576 3221222984 134543594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24006 0 0 0 21941 63 0 0 25 0 1 0 894638767 98775040 23264 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24006 0 0 0 22941 63 0 0 25 0 1 0 894638767 98775040 23264 4294967295 134512640 134716908 3221224576 3221222984 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24006 0 0 0 23941 63 0 0 25 0 1 0 894638767 98775040 23264 4294967295 134512640 134716908 3221224576 3221222940 134539298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24006 0 0 0 24942 63 0 0 25 0 1 0 894638767 98775040 23264 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24006 0 0 0 25942 63 0 0 25 0 1 0 894638767 98775040 23264 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24006 0 0 0 26942 63 0 0 25 0 1 0 894638767 98775040 23264 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24006 0 0 0 27943 63 0 0 25 0 1 0 894638767 98775040 23264 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24006 0 0 0 28943 63 0 0 25 0 1 0 894638767 98775040 23264 4294967295 134512640 134716908 3221224576 3221223248 134627268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24006 0 0 0 29943 63 0 0 25 0 1 0 894638767 98775040 23264 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24006 0 0 0 30944 63 0 0 25 0 1 0 894638767 98775040 23264 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24006 0 0 0 31944 63 0 0 25 0 1 0 894638767 98775040 23264 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24006 0 0 0 32944 64 0 0 25 0 1 0 894638767 98775040 23264 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23264 1111 63 0 24052 0
vsize: 96460
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24007 0 0 0 33945 64 0 0 25 0 1 0 894638767 98775040 23265 4294967295 134512640 134716908 3221224576 3221223432 134536921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23265 1111 63 0 24052 0
vsize: 96460
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24007 0 0 0 34945 64 0 0 25 0 1 0 894638767 98775040 23265 4294967295 134512640 134716908 3221224576 3221223352 134543179 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23265 1111 63 0 24052 0
vsize: 96460
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24007 0 0 0 35945 64 0 0 25 0 1 0 894638767 98775040 23265 4294967295 134512640 134716908 3221224576 3221223444 134622283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23265 1111 63 0 24052 0
vsize: 96460
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24028 0 0 0 36945 64 0 0 25 0 1 0 894638767 98775040 23286 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23286 1111 63 0 24052 0
vsize: 96460
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24028 0 0 0 37945 64 0 0 25 0 1 0 894638767 98775040 23286 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23286 1111 63 0 24052 0
vsize: 96460
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24028 0 0 0 38945 64 0 0 25 0 1 0 894638767 98775040 23286 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23286 1111 63 0 24052 0
vsize: 96460
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24028 0 0 0 39945 65 0 0 25 0 1 0 894638767 98775040 23286 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23286 1111 63 0 24052 0
vsize: 96460
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24028 0 0 0 40946 65 0 0 25 0 1 0 894638767 98775040 23286 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23286 1111 63 0 24052 0
vsize: 96460
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24028 0 0 0 41946 65 0 0 25 0 1 0 894638767 98775040 23286 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23286 1111 63 0 24052 0
vsize: 96460
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24028 0 0 0 42946 65 0 0 25 0 1 0 894638767 98775040 23286 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23286 1111 63 0 24052 0
vsize: 96460
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24028 0 0 0 43947 65 0 0 25 0 1 0 894638767 98775040 23286 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23286 1111 63 0 24052 0
vsize: 96460
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24028 0 0 0 44947 65 0 0 25 0 1 0 894638767 98775040 23286 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23286 1111 63 0 24052 0
vsize: 96460
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24028 0 0 0 45947 65 0 0 25 0 1 0 894638767 98775040 23286 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23286 1111 63 0 24052 0
vsize: 96460
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24028 0 0 0 46948 65 0 0 25 0 1 0 894638767 98775040 23286 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23286 1111 63 0 24052 0
vsize: 96460
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24028 0 0 0 47948 65 0 0 25 0 1 0 894638767 98775040 23286 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23286 1111 63 0 24052 0
vsize: 96460
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24028 0 0 0 48949 65 0 0 25 0 1 0 894638767 98775040 23286 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23286 1111 63 0 24052 0
vsize: 96460
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24028 0 0 0 49949 65 0 0 25 0 1 0 894638767 98775040 23286 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23286 1111 63 0 24052 0
vsize: 96460
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24028 0 0 0 50949 65 0 0 25 0 1 0 894638767 98775040 23286 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24115 23286 1111 63 0 24052 0
vsize: 96460
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24322 0 0 0 51949 66 0 0 25 0 1 0 894638767 99975168 23580 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24408 23580 1111 63 0 24345 0
vsize: 97632
[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24330 0 0 0 52949 67 0 0 25 0 1 0 894638767 100007936 23588 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24416 23588 1111 63 0 24353 0
vsize: 97664
[startup+540.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24339 0 0 0 53949 67 0 0 25 0 1 0 894638767 100044800 23597 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24425 23597 1111 63 0 24362 0
vsize: 97700
[startup+550.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24348 0 0 0 54948 67 0 0 25 0 1 0 894638767 100081664 23606 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24434 23606 1111 63 0 24371 0
vsize: 97736
[startup+560.022 s]
Raw data (loadavg): 1.15 1.00 0.92 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24357 0 0 0 55948 68 0 0 25 0 1 0 894638767 100118528 23615 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24443 23615 1111 63 0 24380 0
vsize: 97772
[startup+570.023 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24365 0 0 0 56949 68 0 0 25 0 1 0 894638767 100151296 23623 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24451 23623 1111 63 0 24388 0
vsize: 97804
[startup+580.024 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24373 0 0 0 57949 68 0 0 25 0 1 0 894638767 100184064 23631 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24459 23631 1111 63 0 24396 0
vsize: 97836
[startup+590.024 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24381 0 0 0 58949 69 0 0 25 0 1 0 894638767 100216832 23639 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24467 23639 1111 63 0 24404 0
vsize: 97868
[startup+600.026 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24388 0 0 0 59949 69 0 0 25 0 1 0 894638767 100245504 23646 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24474 23646 1111 63 0 24411 0
vsize: 97896
[startup+610.026 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24396 0 0 0 60949 70 0 0 25 0 1 0 894638767 100278272 23654 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24482 23654 1111 63 0 24419 0
vsize: 97928
[startup+620.027 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24404 0 0 0 61949 70 0 0 25 0 1 0 894638767 100311040 23662 4294967295 134512640 134716908 3221224576 3221222816 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24490 23662 1111 63 0 24427 0
vsize: 97960
[startup+630.027 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24411 0 0 0 62949 70 0 0 25 0 1 0 894638767 100339712 23669 4294967295 134512640 134716908 3221224576 3221222480 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24497 23669 1111 63 0 24434 0
vsize: 97988
[startup+640.028 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24418 0 0 0 63949 71 0 0 25 0 1 0 894638767 100368384 23676 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24504 23676 1111 63 0 24441 0
vsize: 98016
[startup+650.028 s]
Raw data (loadavg): 1.10 1.02 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24425 0 0 0 64949 71 0 0 25 0 1 0 894638767 100397056 23683 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24511 23683 1111 63 0 24448 0
vsize: 98044
[startup+660.029 s]
Raw data (loadavg): 1.09 1.02 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24433 0 0 0 65949 71 0 0 25 0 1 0 894638767 100429824 23691 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24519 23691 1111 63 0 24456 0
vsize: 98076
[startup+670.03 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24441 0 0 0 66950 71 0 0 25 0 1 0 894638767 100462592 23699 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24527 23699 1111 63 0 24464 0
vsize: 98108
[startup+680.031 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24448 0 0 0 67950 71 0 0 25 0 1 0 894638767 100491264 23706 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24534 23706 1111 63 0 24471 0
vsize: 98136
[startup+690.032 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24456 0 0 0 68950 71 0 0 25 0 1 0 894638767 100524032 23714 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24542 23714 1111 63 0 24479 0
vsize: 98168
[startup+700.033 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24463 0 0 0 69950 72 0 0 25 0 1 0 894638767 100552704 23721 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24549 23721 1111 63 0 24486 0
vsize: 98196
[startup+710.034 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24470 0 0 0 70951 72 0 0 25 0 1 0 894638767 100581376 23728 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24556 23728 1111 63 0 24493 0
vsize: 98224
[startup+720.035 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24478 0 0 0 71951 72 0 0 25 0 1 0 894638767 100614144 23736 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24564 23736 1111 63 0 24501 0
vsize: 98256
[startup+730.036 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24485 0 0 0 72951 72 0 0 25 0 1 0 894638767 100642816 23743 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24571 23743 1111 63 0 24508 0
vsize: 98284
[startup+740.036 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 24492 0 0 0 73951 73 0 0 25 0 1 0 894638767 100671488 23750 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24578 23750 1111 63 0 24515 0
vsize: 98312
[startup+750.038 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 31382 0 0 0 74936 88 0 0 25 0 1 0 894638767 130273280 27998 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31805 27998 1111 63 0 31742 0
vsize: 127220
[startup+760.039 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 31460 0 0 0 75937 88 0 0 25 0 1 0 894638767 130273280 28076 4294967295 134512640 134716908 3221224576 3221220428 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31805 28076 1111 63 0 31742 0
vsize: 127220
[startup+770.039 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 32735 0 0 0 76934 91 0 0 25 0 1 0 894638767 130273280 29351 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31805 29351 1111 63 0 31742 0
vsize: 127220
[startup+780.04 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 32758 0 0 0 77935 91 0 0 25 0 1 0 894638767 130273280 29374 4294967295 134512640 134716908 3221224576 3221220364 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31805 29374 1111 63 0 31742 0
vsize: 127220
[startup+790.041 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 33085 0 0 0 78934 92 0 0 25 0 1 0 894638767 127164416 28514 4294967295 134512640 134716908 3221224576 3221220580 1075964227 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31046 28514 1111 63 0 30983 0
vsize: 124184
[startup+800.041 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 33106 0 0 0 79935 92 0 0 25 0 1 0 894638767 127164416 28535 4294967295 134512640 134716908 3221224576 3221220752 1074961487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31046 28535 1111 63 0 30983 0
vsize: 124184
[startup+810.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 33123 0 0 0 80935 92 0 0 25 0 1 0 894638767 127164416 28552 4294967295 134512640 134716908 3221224576 3221220524 1074873474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31046 28552 1111 63 0 30983 0
vsize: 124184
[startup+820.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 33133 0 0 0 81935 92 0 0 25 0 1 0 894638767 127164416 28562 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31046 28562 1111 63 0 30983 0
vsize: 124184
[startup+830.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 33147 0 0 0 82936 92 0 0 25 0 1 0 894638767 127164416 28576 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31046 28576 1111 63 0 30983 0
vsize: 124184
[startup+840.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 34095 0 0 0 83935 93 0 0 25 0 1 0 894638767 133369856 29524 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32561 29524 1111 63 0 32498 0
vsize: 130244
[startup+850.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 34578 0 0 0 84934 94 0 0 25 0 1 0 894638767 127164416 28598 4294967295 134512640 134716908 3221224576 3221220752 1074961138 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31046 28598 1111 63 0 30983 0
vsize: 124184
[startup+860.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 34582 0 0 0 85934 94 0 0 25 0 1 0 894638767 127164416 28602 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31046 28602 1111 63 0 30983 0
vsize: 124184
[startup+870.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 34588 0 0 0 86934 94 0 0 25 0 1 0 894638767 127164416 28608 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31046 28608 1111 63 0 30983 0
vsize: 124184
[startup+880.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 34618 0 0 0 87935 95 0 0 25 0 1 0 894638767 127164416 28638 4294967295 134512640 134716908 3221224576 3221221000 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31046 28638 1111 63 0 30983 0
vsize: 124184
[startup+890.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 34618 0 0 0 88935 95 0 0 25 0 1 0 894638767 127164416 28638 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31046 28638 1111 63 0 30983 0
vsize: 124184
[startup+900.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 34653 0 0 0 89935 95 0 0 25 0 1 0 894638767 127164416 28673 4294967295 134512640 134716908 3221224576 3221220440 1075964733 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31046 28673 1111 63 0 30983 0
vsize: 124184
[startup+910.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 34655 0 0 0 90936 95 0 0 25 0 1 0 894638767 127164416 28675 4294967295 134512640 134716908 3221224576 3221220640 1075095169 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31046 28675 1111 63 0 30983 0
vsize: 124184
[startup+920.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 34655 0 0 0 91936 95 0 0 25 0 1 0 894638767 127164416 28675 4294967295 134512640 134716908 3221224576 3221220624 1074969474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31046 28675 1111 63 0 30983 0
vsize: 124184
[startup+930.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 34656 0 0 0 92936 95 0 0 25 0 1 0 894638767 127164416 28676 4294967295 134512640 134716908 3221224576 3221220472 1075964745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31046 28676 1111 63 0 30983 0
vsize: 124184
[startup+940.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 34674 0 0 0 93937 95 0 0 25 0 1 0 894638767 127164416 28694 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31046 28694 1111 63 0 30983 0
vsize: 124184
[startup+950.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 34675 0 0 0 94937 95 0 0 25 0 1 0 894638767 127164416 28695 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31046 28695 1111 63 0 30983 0
vsize: 124184
[startup+960.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 34746 0 0 0 95936 96 0 0 25 0 1 0 894638767 127787008 28766 4294967295 134512640 134716908 3221224576 3221220364 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31198 28766 1111 63 0 31135 0
vsize: 124792
[startup+970.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 34763 0 0 0 96936 96 0 0 25 0 1 0 894638767 127787008 28783 4294967295 134512640 134716908 3221224576 3221220624 1074969463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31198 28783 1111 63 0 31135 0
vsize: 124792
[startup+980.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 34763 0 0 0 97937 96 0 0 25 0 1 0 894638767 127787008 28783 4294967295 134512640 134716908 3221224576 3221220580 1075964271 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31198 28783 1111 63 0 31135 0
vsize: 124792
[startup+990.047 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 34772 0 0 0 98937 96 0 0 25 0 1 0 894638767 127787008 28792 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31198 28792 1111 63 0 31135 0
vsize: 124792
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 34779 0 0 0 99937 96 0 0 25 0 1 0 894638767 127787008 28799 4294967295 134512640 134716908 3221224576 3221220624 1074969471 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31198 28799 1111 63 0 31135 0
vsize: 124792
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 34783 0 0 0 100937 96 0 0 25 0 1 0 894638767 127787008 28803 4294967295 134512640 134716908 3221224576 3221220492 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31198 28803 1111 63 0 31135 0
vsize: 124792
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 34835 0 0 0 101938 97 0 0 25 0 1 0 894638767 128438272 28855 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31357 28855 1111 63 0 31294 0
vsize: 125428
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 34865 0 0 0 102938 97 0 0 25 0 1 0 894638767 128438272 28885 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31357 28885 1111 63 0 31294 0
vsize: 125428
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 34866 0 0 0 103938 97 0 0 25 0 1 0 894638767 128438272 28886 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31357 28886 1111 63 0 31294 0
vsize: 125428
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 34876 0 0 0 104938 97 0 0 25 0 1 0 894638767 128438272 28896 4294967295 134512640 134716908 3221224576 3221220492 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31357 28896 1111 63 0 31294 0
vsize: 125428
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 34883 0 0 0 105938 97 0 0 25 0 1 0 894638767 128438272 28903 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31357 28903 1111 63 0 31294 0
vsize: 125428
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 34893 0 0 0 106939 97 0 0 25 0 1 0 894638767 128438272 28913 4294967295 134512640 134716908 3221224576 3221220624 1074969449 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31357 28913 1111 63 0 31294 0
vsize: 125428
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 34909 0 0 0 107939 97 0 0 25 0 1 0 894638767 128438272 28929 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31357 28929 1111 63 0 31294 0
vsize: 125428
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 34912 0 0 0 108939 97 0 0 25 0 1 0 894638767 128438272 28932 4294967295 134512640 134716908 3221224576 3221220364 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31357 28932 1111 63 0 31294 0
vsize: 125428
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 34913 0 0 0 109940 97 0 0 25 0 1 0 894638767 128438272 28933 4294967295 134512640 134716908 3221224576 3221220624 1074969463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31357 28933 1111 63 0 31294 0
vsize: 125428
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 34916 0 0 0 110940 97 0 0 25 0 1 0 894638767 128438272 28936 4294967295 134512640 134716908 3221224576 3221220608 1075112103 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31357 28936 1111 63 0 31294 0
vsize: 125428
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 34930 0 0 0 111940 97 0 0 25 0 1 0 894638767 128438272 28950 4294967295 134512640 134716908 3221224576 3221220608 1075112091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31357 28950 1111 63 0 31294 0
vsize: 125428
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 34934 0 0 0 112940 97 0 0 25 0 1 0 894638767 128438272 28954 4294967295 134512640 134716908 3221224576 3221220752 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31357 28954 1111 63 0 31294 0
vsize: 125428
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 34945 0 0 0 113941 97 0 0 25 0 1 0 894638767 128438272 28965 4294967295 134512640 134716908 3221224576 3221220624 1074969467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31357 28965 1111 63 0 31294 0
vsize: 125428
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 34975 0 0 0 114941 97 0 0 25 0 1 0 894638767 128438272 28995 4294967295 134512640 134716908 3221224576 3221220624 1074969469 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31357 28995 1111 63 0 31294 0
vsize: 125428
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 34980 0 0 0 115941 97 0 0 25 0 1 0 894638767 128438272 29000 4294967295 134512640 134716908 3221224576 3221220752 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31357 29000 1111 63 0 31294 0
vsize: 125428
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 34994 0 0 0 116942 97 0 0 25 0 1 0 894638767 128438272 29014 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31357 29014 1111 63 0 31294 0
vsize: 125428
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 34995 0 0 0 117942 97 0 0 25 0 1 0 894638767 128438272 29015 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31357 29015 1111 63 0 31294 0
vsize: 125428
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 35000 0 0 0 118942 97 0 0 25 0 1 0 894638767 128438272 29020 4294967295 134512640 134716908 3221224576 3221220640 1075094850 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31357 29020 1111 63 0 31294 0
vsize: 125428
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) R 16705 25568 25567 0 -1 0 35000 0 0 0 119942 97 0 0 25 0 1 0 894638767 128438272 29020 4294967295 134512640 134716908 3221224576 3221220688 1074815276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31357 29020 1111 63 0 31294 0
vsize: 125428
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 16708
Raw data (stat): 16706 (bsolo_lpr-v2) Z 16705 25568 25567 0 -1 1036 35000 0 0 0 119943 103 0 0 25 0 1 0 894638767 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.1
CPU time (s): 1200.46
CPU user time (s): 1199.43
CPU system time (s): 1.03184
CPU usage (%): 100.03
Max. virtual memory (Kb): 130244
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####