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/submitted/manquinho/primes-dimacs-cnf/normalized-par32-3.opb
MD5SUM	3d08363a486acbc90a149ca8c58297b8
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	6352
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	6352
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	6352
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	6352
Total number of constraints	13473
Number of constraints which are clauses	13473
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	1
Maximum length of a constraint	3
Trace number 39595

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-07 14:27:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27650 boxname=wulflinc5 idbench=208 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  3d08363a486acbc90a149ca8c58297b8  /oldhome/oroussel/tmp/wulflinc5/normalized-par32-3.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-par32-3.opb
IDLAUNCH: 27650
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        342136 kB
Buffers:         34704 kB
Cached:         633304 kB
SwapCached:        568 kB
Active:          58364 kB
Inactive:       611668 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        341884 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5160 kB
Slab:            16864 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 14:47:59 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 27650 7 1200.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 6352 variables and 13473 constraints.
#### 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.91 0.97 0.91 1/54 5707
Raw data (stat): 5707 (runsolver) R 5706 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 893711369 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.0004 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 24986 0 0 0 939 57 0 0 25 0 1 0 893711369 105222144 24823 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25689 24823 1111 63 0 25626 0
vsize: 102756
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 24986 0 0 0 1940 57 0 0 25 0 1 0 893711369 105222144 24823 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25689 24823 1111 63 0 25626 0
vsize: 102756
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 25492 0 0 0 2938 58 0 0 25 0 1 0 893711369 105984000 25008 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25875 25008 1111 63 0 25812 0
vsize: 103500
[startup+40.0016 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 26608 0 0 0 3935 61 0 0 25 0 1 0 893711369 110329856 26070 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26936 26070 1111 63 0 26873 0
vsize: 107744
[startup+50.002 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 26608 0 0 0 4935 62 0 0 25 0 1 0 893711369 110329856 26070 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26936 26070 1111 63 0 26873 0
vsize: 107744
[startup+60.0024 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 26608 0 0 0 5935 62 0 0 25 0 1 0 893711369 110329856 26070 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26936 26070 1111 63 0 26873 0
vsize: 107744
[startup+70.0039 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 26608 0 0 0 6936 62 0 0 25 0 1 0 893711369 110329856 26070 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26936 26070 1111 63 0 26873 0
vsize: 107744
[startup+80.0042 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 26608 0 0 0 7936 62 0 0 25 0 1 0 893711369 110329856 26070 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26936 26070 1111 63 0 26873 0
vsize: 107744
[startup+90.0043 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 26608 0 0 0 8936 62 0 0 25 0 1 0 893711369 110329856 26070 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26936 26070 1111 63 0 26873 0
vsize: 107744
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 26608 0 0 0 9936 62 0 0 25 0 1 0 893711369 110329856 26070 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26936 26070 1111 63 0 26873 0
vsize: 107744
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 26608 0 0 0 10937 62 0 0 25 0 1 0 893711369 110329856 26070 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26936 26070 1111 63 0 26873 0
vsize: 107744
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 28434 0 0 0 11932 67 0 0 25 0 1 0 893711369 110329856 26070 4294967295 134512640 134716908 3221224576 3221223316 134630846 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26936 26070 1111 63 0 26873 0
vsize: 107744
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 28434 0 0 0 12932 67 0 0 25 0 1 0 893711369 110329856 26070 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26936 26070 1111 63 0 26873 0
vsize: 107744
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 28434 0 0 0 13933 67 0 0 25 0 1 0 893711369 110329856 26070 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26936 26070 1111 63 0 26873 0
vsize: 107744
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 29463 0 0 0 14930 69 0 0 25 0 1 0 893711369 110329856 26070 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26936 26070 1111 63 0 26873 0
vsize: 107744
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 35601 0 0 0 15915 84 0 0 25 0 1 0 893711369 110329856 26070 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26936 26070 1111 63 0 26873 0
vsize: 107744
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 35601 0 0 0 16916 84 0 0 25 0 1 0 893711369 110329856 26070 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26936 26070 1111 63 0 26873 0
vsize: 107744
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 35601 0 0 0 17916 84 0 0 25 0 1 0 893711369 110329856 26070 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26936 26070 1111 63 0 26873 0
vsize: 107744
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 44053 0 0 0 18895 106 0 0 25 0 1 0 893711369 110329856 26070 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26936 26070 1111 63 0 26873 0
vsize: 107744
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 44172 0 0 0 19895 106 0 0 25 0 1 0 893711369 110845952 26189 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27062 26189 1111 63 0 26999 0
vsize: 108248
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 44178 0 0 0 20895 106 0 0 25 0 1 0 893711369 110845952 26195 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27062 26195 1111 63 0 26999 0
vsize: 108248
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 52796 0 0 0 21875 126 0 0 25 0 1 0 893711369 110845952 26196 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27062 26196 1111 63 0 26999 0
vsize: 108248
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 59044 0 0 0 22861 140 0 0 25 0 1 0 893711369 110845952 26196 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27062 26196 1111 63 0 26999 0
vsize: 108248
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 65820 0 0 0 23844 157 0 0 25 0 1 0 893711369 110845952 26196 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27062 26196 1111 63 0 26999 0
vsize: 108248
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 76357 0 0 0 24819 183 0 0 25 0 1 0 893711369 110845952 26196 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27062 26196 1111 63 0 26999 0
vsize: 108248
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 86292 0 0 0 25794 208 0 0 25 0 1 0 893711369 110845952 26196 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27062 26196 1111 63 0 26999 0
vsize: 108248
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 96394 0 0 0 26770 232 0 0 25 0 1 0 893711369 110845952 26196 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27062 26196 1111 63 0 26999 0
vsize: 108248
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 105751 0 0 0 27746 256 0 0 25 0 1 0 893711369 111972352 26471 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27337 26471 1111 63 0 27274 0
vsize: 109348
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 107767 0 0 0 28741 261 0 0 25 0 1 0 893711369 111972352 26471 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27337 26471 1111 63 0 27274 0
vsize: 109348
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 110480 0 0 0 29735 268 0 0 25 0 1 0 893711369 111972352 26471 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27337 26471 1111 63 0 27274 0
vsize: 109348
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 115335 0 0 0 30724 279 0 0 25 0 1 0 893711369 111972352 26471 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27337 26471 1111 63 0 27274 0
vsize: 109348
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 120480 0 0 0 31713 290 0 0 25 0 1 0 893711369 111972352 26471 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27337 26471 1111 63 0 27274 0
vsize: 109348
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 126139 0 0 0 32699 304 0 0 25 0 1 0 893711369 111972352 26471 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27337 26471 1111 63 0 27274 0
vsize: 109348
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 137831 0 0 0 33671 332 0 0 25 0 1 0 893711369 111972352 26471 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27337 26471 1111 63 0 27274 0
vsize: 109348
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 148808 0 0 0 34647 357 0 0 25 0 1 0 893711369 111972352 26471 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27337 26471 1111 63 0 27274 0
vsize: 109348
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 159712 0 0 0 35620 384 0 0 25 0 1 0 893711369 111972352 26471 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27337 26471 1111 63 0 27274 0
vsize: 109348
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 174137 0 0 0 36586 418 0 0 25 0 1 0 893711369 111972352 26471 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27337 26471 1111 63 0 27274 0
vsize: 109348
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 187631 0 0 0 37553 451 0 0 25 0 1 0 893711369 111972352 26471 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27337 26471 1111 63 0 27274 0
vsize: 109348
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 194552 0 0 0 38537 467 0 0 25 0 1 0 893711369 113045504 26733 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27599 26733 1111 63 0 27536 0
vsize: 110396
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 199962 0 0 0 39525 479 0 0 25 0 1 0 893711369 113278976 26790 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27656 26790 1111 63 0 27593 0
vsize: 110624
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 204990 0 0 0 40514 491 0 0 25 0 1 0 893711369 113278976 26790 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27656 26790 1111 63 0 27593 0
vsize: 110624
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 209430 0 0 0 41504 501 0 0 25 0 1 0 893711369 113278976 26790 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27656 26790 1111 63 0 27593 0
vsize: 110624
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 215580 0 0 0 42488 517 0 0 25 0 1 0 893711369 113278976 26790 4294967295 134512640 134716908 3221224576 3221222992 134543681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27656 26790 1111 63 0 27593 0
vsize: 110624
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 224320 0 0 0 43469 536 0 0 25 0 1 0 893711369 113278976 26790 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27656 26790 1111 63 0 27593 0
vsize: 110624
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 231804 0 0 0 44452 553 0 0 25 0 1 0 893711369 113278976 26790 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27656 26790 1111 63 0 27593 0
vsize: 110624
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 240020 0 0 0 45434 571 0 0 25 0 1 0 893711369 113278976 26790 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27656 26790 1111 63 0 27593 0
vsize: 110624
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 249598 0 0 0 46412 594 0 0 25 0 1 0 893711369 113889280 26918 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27805 26923 1111 63 0 27742 0
vsize: 111220
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 258623 0 0 0 47391 615 0 0 25 0 1 0 893711369 113278976 26790 4294967295 134512640 134716908 3221224576 3221223356 134630862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27656 26790 1111 63 0 27593 0
vsize: 110624
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 268625 0 0 0 48366 640 0 0 25 0 1 0 893711369 113278976 26790 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27656 26790 1111 63 0 27593 0
vsize: 110624
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 291531 0 0 0 49309 697 0 0 25 0 1 0 893711369 113278976 26790 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27656 26790 1111 63 0 27593 0
vsize: 110624
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 300958 0 0 0 50287 720 0 0 25 0 1 0 893711369 115261440 27268 4294967295 134512640 134716908 3221224576 3221222956 1077379908 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28140 27268 1111 63 0 28077 0
vsize: 112560
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 300965 0 0 0 51287 720 0 0 25 0 1 0 893711369 115269632 27275 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28142 27275 1111 63 0 28079 0
vsize: 112568
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 307869 0 0 0 52270 737 0 0 25 0 1 0 893711369 115269632 27276 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28142 27276 1111 63 0 28079 0
vsize: 112568
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 312641 0 0 0 53258 749 0 0 25 0 1 0 893711369 115269632 27276 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28142 27276 1111 63 0 28079 0
vsize: 112568
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 317554 0 0 0 54246 761 0 0 25 0 1 0 893711369 115269632 27276 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28142 27276 1111 63 0 28079 0
vsize: 112568
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 326133 0 0 0 55225 783 0 0 25 0 1 0 893711369 115269632 27276 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28142 27276 1111 63 0 28079 0
vsize: 112568
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 328797 0 0 0 56219 789 0 0 25 0 1 0 893711369 115884032 27426 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28292 27426 1111 63 0 28229 0
vsize: 113168
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 331304 0 0 0 57214 795 0 0 25 0 1 0 893711369 115884032 27426 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28292 27426 1111 63 0 28229 0
vsize: 113168
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 335549 0 0 0 58202 806 0 0 25 0 1 0 893711369 115884032 27426 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28292 27426 1111 63 0 28229 0
vsize: 113168
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 341282 0 0 0 59190 818 0 0 25 0 1 0 893711369 115884032 27426 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28292 27426 1111 63 0 28229 0
vsize: 113168
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 346925 0 0 0 60176 833 0 0 25 0 1 0 893711369 115884032 27426 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28292 27426 1111 63 0 28229 0
vsize: 113168
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 356234 0 0 0 61154 855 0 0 25 0 1 0 893711369 115884032 27426 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28292 27426 1111 63 0 28229 0
vsize: 113168
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 364916 0 0 0 62134 875 0 0 25 0 1 0 893711369 115884032 27426 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28292 27426 1111 63 0 28229 0
vsize: 113168
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 369124 0 0 0 63123 887 0 0 25 0 1 0 893711369 116797440 27644 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28515 27644 1111 63 0 28452 0
vsize: 114060
[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 374767 0 0 0 64108 902 0 0 25 0 1 0 893711369 116879360 27669 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28535 27669 1111 63 0 28472 0
vsize: 114140
[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 378340 0 0 0 65100 910 0 0 25 0 1 0 893711369 116879360 27669 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28535 27669 1111 63 0 28472 0
vsize: 114140
[startup+670.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 379184 0 0 0 66098 912 0 0 25 0 1 0 893711369 117338112 27769 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28647 27769 1111 63 0 28584 0
vsize: 114588
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 380585 0 0 0 67094 916 0 0 25 0 1 0 893711369 117395456 27795 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28661 27795 1111 63 0 28598 0
vsize: 114644
[startup+690.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 381032 0 0 0 68093 917 0 0 25 0 1 0 893711369 117395456 27795 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28661 27795 1111 63 0 28598 0
vsize: 114644
[startup+700.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 381824 0 0 0 69091 920 0 0 25 0 1 0 893711369 117395456 27795 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28661 27795 1111 63 0 28598 0
vsize: 114644
[startup+710.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 382942 0 0 0 70088 922 0 0 25 0 1 0 893711369 117395456 27795 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28661 27795 1111 63 0 28598 0
vsize: 114644
[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 384166 0 0 0 71085 926 0 0 25 0 1 0 893711369 117395456 27795 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28661 27795 1111 63 0 28598 0
vsize: 114644
[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 385949 0 0 0 72082 930 0 0 25 0 1 0 893711369 117395456 27795 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28661 27795 1111 63 0 28598 0
vsize: 114644
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 391920 0 0 0 73068 943 0 0 25 0 1 0 893711369 117395456 27795 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28661 27795 1111 63 0 28598 0
vsize: 114644
[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 396921 0 0 0 74056 955 0 0 25 0 1 0 893711369 117395456 27795 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28661 27795 1111 63 0 28598 0
vsize: 114644
[startup+760.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 402422 0 0 0 75041 971 0 0 25 0 1 0 893711369 117395456 27795 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28661 27795 1111 63 0 28598 0
vsize: 114644
[startup+770.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 407312 0 0 0 76031 980 0 0 25 0 1 0 893711369 119738368 28367 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29233 28367 1111 63 0 29170 0
vsize: 116932
[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 407312 0 0 0 77032 981 0 0 25 0 1 0 893711369 119738368 28367 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29233 28367 1111 63 0 29170 0
vsize: 116932
[startup+790.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 407312 0 0 0 78032 981 0 0 25 0 1 0 893711369 119738368 28367 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29233 28367 1111 63 0 29170 0
vsize: 116932
[startup+800.026 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 407312 0 0 0 79032 981 0 0 25 0 1 0 893711369 119738368 28367 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29233 28367 1111 63 0 29170 0
vsize: 116932
[startup+810.025 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 407312 0 0 0 80032 981 0 0 25 0 1 0 893711369 119738368 28367 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29233 28367 1111 63 0 29170 0
vsize: 116932
[startup+820.027 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 407312 0 0 0 81032 981 0 0 25 0 1 0 893711369 119738368 28367 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29233 28367 1111 63 0 29170 0
vsize: 116932
[startup+830.027 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 413923 0 0 0 82017 996 0 0 25 0 1 0 893711369 119738368 28367 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29233 28367 1111 63 0 29170 0
vsize: 116932
[startup+840.027 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 413923 0 0 0 83017 996 0 0 25 0 1 0 893711369 119738368 28367 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29233 28367 1111 63 0 29170 0
vsize: 116932
[startup+850.028 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 413923 0 0 0 84017 996 0 0 25 0 1 0 893711369 119738368 28367 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29233 28367 1111 63 0 29170 0
vsize: 116932
[startup+860.027 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 421393 0 0 0 84999 1015 0 0 25 0 1 0 893711369 119738368 28367 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29233 28367 1111 63 0 29170 0
vsize: 116932
[startup+870.028 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 423415 0 0 0 85995 1019 0 0 25 0 1 0 893711369 119738368 28367 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29233 28367 1111 63 0 29170 0
vsize: 116932
[startup+880.028 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 425761 0 0 0 86989 1025 0 0 25 0 1 0 893711369 119738368 28367 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29271 28370 1111 63 0 29208 0
vsize: 116932
[startup+890.028 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 429403 0 0 0 87982 1033 0 0 25 0 1 0 893711369 119738368 28367 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29233 28367 1111 63 0 29170 0
vsize: 116932
[startup+900.029 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 432999 0 0 0 88974 1041 0 0 25 0 1 0 893711369 119738368 28367 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29233 28367 1111 63 0 29170 0
vsize: 116932
[startup+910.028 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 436630 0 0 0 89964 1051 0 0 25 0 1 0 893711369 119738368 28367 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29233 28367 1111 63 0 29170 0
vsize: 116932
[startup+920.029 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 446610 0 0 0 90939 1076 0 0 25 0 1 0 893711369 123097088 29179 4294967295 134512640 134716908 3221224576 3221223192 134543785 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30053 29179 1111 63 0 29990 0
vsize: 120212
[startup+930.028 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 456144 0 0 0 91915 1100 0 0 25 0 1 0 893711369 119738368 28367 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29233 28367 1111 63 0 29170 0
vsize: 116932
[startup+940.029 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 465666 0 0 0 92894 1122 0 0 25 0 1 0 893711369 119738368 28367 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29233 28367 1111 63 0 29170 0
vsize: 116932
[startup+950.029 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 476231 0 0 0 93870 1145 0 0 25 0 1 0 893711369 119738368 28367 4294967295 134512640 134716908 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29233 28367 1111 63 0 29170 0
vsize: 116932
[startup+960.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 493095 0 0 0 94828 1187 0 0 25 0 1 0 893711369 119738368 28367 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29233 28367 1111 63 0 29170 0
vsize: 116932
[startup+970.031 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 506975 0 0 0 95794 1222 0 0 25 0 1 0 893711369 119738368 28367 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29233 28367 1111 63 0 29170 0
vsize: 116932
[startup+980.031 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 522154 0 0 0 96758 1258 0 0 25 0 1 0 893711369 119738368 28367 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29233 28367 1111 63 0 29170 0
vsize: 116932
[startup+990.031 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 526991 0 0 0 97747 1269 0 0 25 0 1 0 893711369 121499648 28797 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29663 28797 1111 63 0 29600 0
vsize: 118652
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 526991 0 0 0 98747 1269 0 0 25 0 1 0 893711369 121499648 28797 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29663 28797 1111 63 0 29600 0
vsize: 118652
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 526991 0 0 0 99747 1269 0 0 25 0 1 0 893711369 121499648 28797 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29663 28797 1111 63 0 29600 0
vsize: 118652
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 526991 0 0 0 100747 1269 0 0 25 0 1 0 893711369 121499648 28797 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29663 28797 1111 63 0 29600 0
vsize: 118652
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 527573 0 0 0 101746 1271 0 0 25 0 1 0 893711369 121499648 28797 4294967295 134512640 134716908 3221224576 3221223376 134617640 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29663 28797 1111 63 0 29600 0
vsize: 118652
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 528227 0 0 0 102745 1272 0 0 25 0 1 0 893711369 121499648 28797 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29663 28797 1111 63 0 29600 0
vsize: 118652
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 528624 0 0 0 103744 1274 0 0 25 0 1 0 893711369 121532416 28805 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29671 28805 1111 63 0 29608 0
vsize: 118684
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 530281 0 0 0 104740 1278 0 0 25 0 1 0 893711369 121532416 28805 4294967295 134512640 134716908 3221224576 3221222984 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29671 28805 1111 63 0 29608 0
vsize: 118684
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 532431 0 0 0 105735 1283 0 0 25 0 1 0 893711369 121532416 28805 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29671 28805 1111 63 0 29608 0
vsize: 118684
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 534802 0 0 0 106729 1289 0 0 25 0 1 0 893711369 121532416 28805 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29671 28805 1111 63 0 29608 0
vsize: 118684
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 538772 0 0 0 107720 1298 0 0 25 0 1 0 893711369 121532416 28805 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29671 28805 1111 63 0 29608 0
vsize: 118684
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 548308 0 0 0 108697 1321 0 0 25 0 1 0 893711369 121532416 28805 4294967295 134512640 134716908 3221224576 3221223328 134630814 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29671 28805 1111 63 0 29608 0
vsize: 118684
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 555455 0 0 0 109681 1338 0 0 25 0 1 0 893711369 121532416 28805 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29671 28805 1111 63 0 29608 0
vsize: 118684
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 563087 0 0 0 110663 1356 0 0 25 0 1 0 893711369 121532416 28805 4294967295 134512640 134716908 3221224576 3221223000 1077377714 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29671 28805 1111 63 0 29608 0
vsize: 118684
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 572372 0 0 0 111641 1378 0 0 25 0 1 0 893711369 121532416 28805 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29671 28805 1111 63 0 29608 0
vsize: 118684
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 581102 0 0 0 112623 1396 0 0 25 0 1 0 893711369 121532416 28805 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29671 28805 1111 63 0 29608 0
vsize: 118684
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 590573 0 0 0 113601 1418 0 0 25 0 1 0 893711369 121532416 28805 4294967295 134512640 134716908 3221224576 3221223040 1077377147 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29671 28805 1111 63 0 29608 0
vsize: 118684
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 603206 0 0 0 114570 1449 0 0 25 0 1 0 893711369 122142720 28916 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29820 28922 1111 63 0 29757 0
vsize: 119280
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 614926 0 0 0 115543 1477 0 0 25 0 1 0 893711369 121532416 28805 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29671 28805 1111 63 0 29608 0
vsize: 118684
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 626984 0 0 0 116516 1504 0 0 25 0 1 0 893711369 122142720 28905 4294967295 134512640 134716908 3221224576 3221222972 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29820 28912 1111 63 0 29757 0
vsize: 119280
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 640133 0 0 0 117486 1535 0 0 25 0 1 0 893711369 121532416 28805 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29671 28805 1111 63 0 29608 0
vsize: 118684
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) R 5706 7266 7265 0 -1 0 652839 0 0 0 118456 1565 0 0 25 0 1 0 893711369 121532416 28805 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29671 28805 1111 63 0 29608 0
vsize: 118684
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.00 0.99 0.92 1/54 5707
Raw data (stat): 5707 (bsolo_lpr-v2) Z 5706 7266 7265 0 -1 1036 652839 0 0 0 118456 1570 0 0 25 0 1 0 893711369 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.09
CPU time (s): 1200.27
CPU user time (s): 1184.56
CPU system time (s): 15.7046
CPU usage (%): 100.015
Max. virtual memory (Kb): 120212
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####