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/frb59-26-opb/normalized-frb59-26-3.opb
MD5SUM	b95391b071a3986ad670119101f16613
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-43
Optimality of the best value was proved	NO
Number of terms in the objective function	1534
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	1534
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1534
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.13
Number of variables	1534
Total number of constraints	126082
Number of constraints which are clauses	126082
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 39727

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-07 18:18:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27793 boxname=wulflinc2 idbench=351 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  b95391b071a3986ad670119101f16613  /oldhome/oroussel/tmp/wulflinc2/normalized-frb59-26-3.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-frb59-26-3.opb
IDLAUNCH: 27793
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        910176 kB
Buffers:         33980 kB
Cached:          67280 kB
SwapCached:       1488 kB
Active:          29892 kB
Inactive:        73536 kB
HighTotal:      131008 kB
HighFree:        85708 kB
LowTotal:       903652 kB
LowFree:        824468 kB
SwapTotal:     2097136 kB
SwapFree:      2094668 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           4992 kB
Slab:            15404 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 18:39:00 (client local time) WITH STATUS 0 IN 1200.29 SECONDS
stats: 27793 7 1200.29 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1534 variables and 126082 constraints.
c After prepocess the problem consists of 1534 variables and 85207 constraints.
c preprocess terminated 1066.66 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.98 0.91 2/54 28913
Raw data (stat): 28913 (runsolver) R 28912 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 895101301 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.0005 s]
Raw data (loadavg): 0.93 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 11135 0 0 0 959 37 0 0 25 0 1 0 895101301 58753024 11055 4294967295 134512640 134716908 3221224576 3221221140 1077358213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14344 11055 1111 63 0 14281 0
vsize: 57376
[startup+20.0016 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 48698 0 0 0 1870 126 0 0 25 0 1 0 895101301 202678272 48613 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49482 48613 1111 63 0 49419 0
vsize: 197928
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54263 0 0 0 2858 138 0 0 25 0 1 0 895101301 225550336 54178 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55066 54178 1111 63 0 55003 0
vsize: 220264
[startup+40.0022 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54263 0 0 0 3858 138 0 0 25 0 1 0 895101301 225550336 54178 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55066 54178 1111 63 0 55003 0
vsize: 220264
[startup+50.0027 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 4858 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223304 134675281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+60.0023 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 5858 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223212 134554926 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+70.0033 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 6858 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+80.0037 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 7858 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223320 134630821 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+90.0038 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 8858 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 9859 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+110.005 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 10859 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 11859 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221222952 134539209 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 12859 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 13859 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 14859 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 15859 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223056 1076999581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 16860 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+180.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 17860 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223144 134535787 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+190.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 18860 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221222972 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+200.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 19860 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223140 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+210.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 20861 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221222960 134542344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+220.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 21861 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+230.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 22861 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221222940 134539309 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+240.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 23861 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+250.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 24861 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223056 1077377192 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+260.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 25861 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221222992 134542677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+270.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 26862 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221222960 134542706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+280.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 27862 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+290.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 28862 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+300.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 29862 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+310.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 30862 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+320.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 31863 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+330.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 32863 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221222940 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+340.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 33863 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223056 134539353 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+350.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 34863 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223056 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+360.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 35863 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+370.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 36863 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223208 134558767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+380.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 37864 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223056 134539422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+390.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 38864 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+400.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 39864 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+410.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 40864 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223088 134543681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+420.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 41864 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223200 134529097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+430.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 42865 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+440.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 43865 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221222940 134539301 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+450.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 44865 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223192 134543793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+460.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 45865 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+470.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 46865 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+480.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 47866 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223056 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+490.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 48866 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221222984 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+500.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 49866 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+510.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 50866 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221222988 134542288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+520.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 51866 139 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223192 134543785 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+530.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 52866 140 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+540.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 53866 140 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+550.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 54866 140 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+560.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 55866 140 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+570.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 56867 140 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223084 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+580.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 57867 140 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223056 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+590.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 58867 140 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+600.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 59867 140 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+610.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 60867 140 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+620.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 61867 141 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223192 134543793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+630.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 62868 141 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223008 134543728 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+640.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 63868 141 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223064 134539581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+650.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 64868 141 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+660.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 65868 141 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+670.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 66868 141 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+680.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 67868 141 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+690.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 68869 141 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223056 134536643 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+700.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 69869 141 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223056 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+710.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 70869 141 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+720.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 71869 141 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223080 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+730.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 72869 141 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223192 134543793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+740.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 73869 141 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223152 134535844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+750.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 74870 141 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223072 134543681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+760.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 75870 141 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+770.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 76870 141 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+780.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 77870 141 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+790.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 78870 141 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+800.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 79870 141 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221222992 134542677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+810.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 80871 141 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223056 134536635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+820.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 81871 141 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+830.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 82871 141 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221222992 134543686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+840.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 83871 141 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221222940 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+850.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 84871 141 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+860.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 85872 141 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223084 134543616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+870.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 86872 141 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223064 134539581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+880.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 87872 141 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221222940 134539298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+890.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 88872 141 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221222988 134543616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+900.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 89872 141 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+910.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 90872 141 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221222992 134543710 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+920.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 91873 141 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221222940 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+930.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 92873 141 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+940.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 93873 141 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223228 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+950.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 94873 141 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223248 134627141 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+960.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 95873 141 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+970.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 96873 141 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+980.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 97874 141 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+990.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54650 0 0 0 98874 141 0 0 25 0 1 0 895101301 227037184 54565 4294967295 134512640 134716908 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54565 1111 63 0 55366 0
vsize: 221716
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54651 0 0 0 99874 141 0 0 25 0 1 0 895101301 227037184 54566 4294967295 134512640 134716908 3221224576 3221223420 134543556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54566 1111 63 0 55366 0
vsize: 221716
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54651 0 0 0 100874 141 0 0 25 0 1 0 895101301 227037184 54566 4294967295 134512640 134716908 3221224576 3221223432 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54566 1111 63 0 55366 0
vsize: 221716
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54651 0 0 0 101874 141 0 0 25 0 1 0 895101301 227037184 54566 4294967295 134512640 134716908 3221224576 3221223456 134622268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54566 1111 63 0 55366 0
vsize: 221716
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54651 0 0 0 102874 141 0 0 25 0 1 0 895101301 227037184 54566 4294967295 134512640 134716908 3221224576 3221223376 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54566 1111 63 0 55366 0
vsize: 221716
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54651 0 0 0 103875 141 0 0 25 0 1 0 895101301 227037184 54566 4294967295 134512640 134716908 3221224576 3221223456 134622268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54566 1111 63 0 55366 0
vsize: 221716
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54651 0 0 0 104875 141 0 0 25 0 1 0 895101301 227037184 54566 4294967295 134512640 134716908 3221224576 3221223352 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54566 1111 63 0 55366 0
vsize: 221716
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54651 0 0 0 105875 141 0 0 25 0 1 0 895101301 227037184 54566 4294967295 134512640 134716908 3221224576 3221223356 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54566 1111 63 0 55366 0
vsize: 221716
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54672 0 0 0 106874 141 0 0 25 0 1 0 895101301 227037184 54587 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54587 1111 63 0 55366 0
vsize: 221716
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54672 0 0 0 107875 141 0 0 25 0 1 0 895101301 227037184 54587 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54587 1111 63 0 55366 0
vsize: 221716
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54672 0 0 0 108875 141 0 0 25 0 1 0 895101301 227037184 54587 4294967295 134512640 134716908 3221224576 3221222488 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54587 1111 63 0 55366 0
vsize: 221716
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54672 0 0 0 109875 141 0 0 25 0 1 0 895101301 227037184 54587 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54587 1111 63 0 55366 0
vsize: 221716
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54672 0 0 0 110875 142 0 0 25 0 1 0 895101301 227037184 54587 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54587 1111 63 0 55366 0
vsize: 221716
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54672 0 0 0 111875 142 0 0 25 0 1 0 895101301 227037184 54587 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54587 1111 63 0 55366 0
vsize: 221716
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54672 0 0 0 112875 142 0 0 25 0 1 0 895101301 227037184 54587 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54587 1111 63 0 55366 0
vsize: 221716
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54672 0 0 0 113875 142 0 0 25 0 1 0 895101301 227037184 54587 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54587 1111 63 0 55366 0
vsize: 221716
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54672 0 0 0 114875 142 0 0 25 0 1 0 895101301 227037184 54587 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54587 1111 63 0 55366 0
vsize: 221716
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54672 0 0 0 115875 142 0 0 25 0 1 0 895101301 227037184 54587 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54587 1111 63 0 55366 0
vsize: 221716
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54672 0 0 0 116875 142 0 0 25 0 1 0 895101301 227037184 54587 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54587 1111 63 0 55366 0
vsize: 221716
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54672 0 0 0 117875 142 0 0 25 0 1 0 895101301 227037184 54587 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54587 1111 63 0 55366 0
vsize: 221716
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54672 0 0 0 118876 143 0 0 25 0 1 0 895101301 227037184 54587 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54587 1111 63 0 55366 0
vsize: 221716
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) R 28912 31399 31398 0 -1 0 54672 0 0 0 119876 143 0 0 25 0 1 0 895101301 227037184 54587 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 54587 1111 63 0 55366 0
vsize: 221716
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 0.99 0.98 0.91 1/54 28913
Raw data (stat): 28913 (bsolo_lpr-v2) Z 28912 31399 31398 0 -1 1036 54672 0 0 0 119876 152 0 0 25 0 1 0 895101301 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.13
CPU time (s): 1200.29
CPU user time (s): 1198.76
CPU system time (s): 1.52977
CPU usage (%): 100.014
Max. virtual memory (Kb): 221716
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####