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.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-12,16.opb
MD5SUM	41edd2db35f2c8eb6d4b1f0a68a60338
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	10
Number of bits of the biggest number in a constraint	4
Biggest sum of numbers in a constraint	102
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	6.63699
Number of variables	4662
Total number of constraints	36387
Number of constraints which are clauses	30696
Number of constraints which are cardinality constraints (but not clauses)	5613
Number of constraints which are nor clauses,nor cardinality constraints	78
Minimum length of a constraint	1
Maximum length of a constraint	29
Trace number 39738

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        909740 kB
Buffers:         33968 kB
Cached:          67864 kB
SwapCached:        984 kB
Active:          37216 kB
Inactive:        66788 kB
HighTotal:      131008 kB
HighFree:        92036 kB
LowTotal:       903652 kB
LowFree:        817704 kB
SwapTotal:     2097136 kB
SwapFree:      2095204 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4924 kB
Slab:            15304 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 19:17:28 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 27804 7 1175.05 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 4662 variables and 31899 constraints.
c After prepocess the problem consists of 4662 variables and 31899 constraints.
c preprocess terminated 47.132 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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.85 0.97 0.92 1/54 19073
Raw data (stat): 19073 (runsolver) D 19072 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 895321782 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.87 0.97 0.92 2/54 19073
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 27443 0 0 0 918 78 0 0 25 0 1 0 895321782 64004096 14766 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15626 14766 1111 63 0 15563 0
vsize: 62504
[startup+20.0017 s]
Raw data (loadavg): 0.89 0.97 0.92 2/54 19073
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 32966 0 0 0 1903 93 0 0 25 0 1 0 895321782 73166848 16980 4294967295 134512640 134716908 3221224576 3221223156 1077374446 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17863 16980 1111 63 0 17800 0
vsize: 71452
[startup+30.0022 s]
Raw data (loadavg): 0.91 0.97 0.92 2/54 19073
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 37286 0 0 0 2890 106 0 0 25 0 1 0 895321782 73166848 16983 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17863 16989 1111 63 0 17800 0
vsize: 71452
[startup+40.002 s]
Raw data (loadavg): 0.92 0.97 0.92 2/54 19073
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38938 0 0 0 3886 111 0 0 25 0 1 0 895321782 72568832 16857 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17717 16857 1111 63 0 17654 0
vsize: 70868
[startup+50.0035 s]
Raw data (loadavg): 0.93 0.97 0.92 2/54 19073
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38952 0 0 0 4885 112 0 0 25 0 1 0 895321782 72568832 16871 4294967295 134512640 134716908 3221224576 3221223264 134535742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17717 16871 1111 63 0 17654 0
vsize: 70868
[startup+60.0038 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 19073
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 5882 114 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+70.0049 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 19073
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 6882 114 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223136 134542325 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+80.0058 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 19073
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 7881 115 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223200 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+90.0053 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 19073
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 8881 116 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223168 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+100.005 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 19073
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 9880 117 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+110.005 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 19073
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 10879 118 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223216 134698743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+120.006 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 19073
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 11879 118 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+130.007 s]
Raw data (loadavg): 0.98 0.97 0.92 3/56 19105
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 12875 122 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223156 134698593 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+140.007 s]
Raw data (loadavg): 1.06 0.99 0.93 2/54 19126
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 13867 129 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223252 1077374583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+150.008 s]
Raw data (loadavg): 1.05 0.99 0.93 2/54 19126
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 14867 130 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223360 134529177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+160.007 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 19126
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 15866 131 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223264 134528425 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+170.009 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 19126
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 16866 131 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+180.008 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 19126
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 17865 132 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223184 134549282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+190.009 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 19126
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 18865 133 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223180 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+200.01 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 19128
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 19864 133 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223168 134549773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+210.011 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 19128
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 20864 134 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223216 134613470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+220.012 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 19128
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 21863 135 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223116 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+230.012 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 19128
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 22862 136 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223084 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+240.012 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 19128
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 23862 137 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223232 134536643 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+250.012 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 19128
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 24861 138 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223208 134543090 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+260.013 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19128
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 25861 138 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+270.014 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19128
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 26860 139 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+280.015 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19128
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 27860 140 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223180 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+290.015 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19128
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 28859 141 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223344 134592113 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+300.016 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19128
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 29859 141 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223120 134543043 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+310.016 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19128
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 30858 142 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+320.017 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19128
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 31858 142 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223216 134613470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+330.017 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19128
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 32858 143 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223280 134528699 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+340.017 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19128
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 33857 144 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+350.017 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19128
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 34857 144 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223200 1076999581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+360.018 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19128
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 35856 145 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223168 134549668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+370.019 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19128
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 36856 146 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+380.019 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19128
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 37855 147 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223136 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+390.019 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19128
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 38854 148 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223300 134613716 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+400.019 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19128
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 39854 148 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223216 134542300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+410.019 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19128
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 40853 149 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+420.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19128
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 41853 150 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223232 134536597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+430.021 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19128
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 42852 150 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223192 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+440.021 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19128
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 43852 151 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+450.022 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19128
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 44851 152 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223136 134698914 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+460.021 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19128
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 45851 152 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+470.022 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19128
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 46851 153 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223116 134539235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+480.023 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 47850 153 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223200 1076999581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+490.023 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 48850 153 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+500.024 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 49850 154 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223084 134535903 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+510.024 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 50849 154 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223264 134528607 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+520.024 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 51850 155 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223340 134552560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+530.025 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 52849 155 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223360 134529206 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+540.025 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 53849 155 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223232 134536738 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+550.026 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 54849 156 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+560.026 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 55849 156 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223088 134535017 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+570.027 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 56849 157 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+580.027 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 57848 157 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223144 134543609 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+590.027 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 58848 157 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223360 134529243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+600.027 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 59848 158 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+610.028 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 60848 158 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+620.028 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 61848 158 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+630.028 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 62847 159 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223200 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+640.028 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 63847 159 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+650.029 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 64847 160 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+660.028 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 65847 160 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+670.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 66847 160 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223148 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+680.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 67847 160 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223136 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+690.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 68847 161 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+700.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 69847 161 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+710.031 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 70847 161 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223232 134536730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+720.032 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 71847 161 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223204 134698632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+730.032 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 72846 162 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223240 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+740.032 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 73846 163 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223184 134548843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+750.032 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 74846 163 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223312 134535840 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+760.032 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 75845 164 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+770.033 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 76845 164 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223116 134539298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+780.034 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 77845 164 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223104 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+790.034 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 38954 0 0 0 78845 165 0 0 25 0 1 0 895321782 72568832 16873 4294967295 134512640 134716908 3221224576 3221223132 134535903 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17717 16873 1111 63 0 17654 0
vsize: 70868
[startup+800.035 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 39031 0 0 0 79845 165 0 0 25 0 1 0 895321782 72974336 16950 4294967295 134512640 134716908 3221224576 3221223072 134699621 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17816 16950 1111 63 0 17753 0
vsize: 71264
[startup+810.034 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 39087 0 0 0 80844 166 0 0 25 0 1 0 895321782 73228288 17006 4294967295 134512640 134716908 3221224576 3221223204 134698593 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17878 17006 1111 63 0 17815 0
vsize: 71512
[startup+820.036 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 39088 0 0 0 81844 166 0 0 25 0 1 0 895321782 73228288 17007 4294967295 134512640 134716908 3221224576 3221223184 134543724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17878 17007 1111 63 0 17815 0
vsize: 71512
[startup+830.035 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 39117 0 0 0 82844 166 0 0 25 0 1 0 895321782 73363456 17036 4294967295 134512640 134716908 3221224576 3221223304 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17911 17036 1111 63 0 17848 0
vsize: 71644
[startup+840.035 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 39173 0 0 0 83844 167 0 0 25 0 1 0 895321782 73498624 17092 4294967295 134512640 134716908 3221224576 3221223116 134539301 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17944 17092 1111 63 0 17881 0
vsize: 71776
[startup+850.036 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 39173 0 0 0 84843 167 0 0 25 0 1 0 895321782 73498624 17092 4294967295 134512640 134716908 3221224576 3221223344 134529381 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17944 17092 1111 63 0 17881 0
vsize: 71776
[startup+860.037 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 39173 0 0 0 85843 168 0 0 25 0 1 0 895321782 73498624 17092 4294967295 134512640 134716908 3221224576 3221223280 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17944 17092 1111 63 0 17881 0
vsize: 71776
[startup+870.038 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 39220 0 0 0 86843 168 0 0 25 0 1 0 895321782 73768960 17139 4294967295 134512640 134716908 3221224576 3221223216 134543110 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18010 17139 1111 63 0 17947 0
vsize: 72040
[startup+880.038 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 39230 0 0 0 87843 169 0 0 25 0 1 0 895321782 73768960 17149 4294967295 134512640 134716908 3221224576 3221223168 134549527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18010 17149 1111 63 0 17947 0
vsize: 72040
[startup+890.039 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 39262 0 0 0 88842 169 0 0 25 0 1 0 895321782 73887744 17181 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18039 17181 1111 63 0 17976 0
vsize: 72156
[startup+900.039 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 39274 0 0 0 89842 170 0 0 25 0 1 0 895321782 73887744 17193 4294967295 134512640 134716908 3221224576 3221223216 134539390 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18039 17193 1111 63 0 17976 0
vsize: 72156
[startup+910.04 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 39325 0 0 0 90842 170 0 0 25 0 1 0 895321782 74158080 17244 4294967295 134512640 134716908 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18105 17244 1111 63 0 18042 0
vsize: 72420
[startup+920.041 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 39363 0 0 0 91842 171 0 0 25 0 1 0 895321782 74293248 17282 4294967295 134512640 134716908 3221224576 3221223168 134543740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18138 17282 1111 63 0 18075 0
vsize: 72552
[startup+930.042 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 39363 0 0 0 92841 171 0 0 25 0 1 0 895321782 74293248 17282 4294967295 134512640 134716908 3221224576 3221223168 134549548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18138 17282 1111 63 0 18075 0
vsize: 72552
[startup+940.042 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 39363 0 0 0 93841 171 0 0 25 0 1 0 895321782 74293248 17282 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18138 17282 1111 63 0 18075 0
vsize: 72552
[startup+950.043 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 39408 0 0 0 94841 172 0 0 25 0 1 0 895321782 74432512 17327 4294967295 134512640 134716908 3221224576 3221223240 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18172 17327 1111 63 0 18109 0
vsize: 72688
[startup+960.043 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 39418 0 0 0 95841 172 0 0 25 0 1 0 895321782 74567680 17337 4294967295 134512640 134716908 3221224576 3221223160 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18205 17337 1111 63 0 18142 0
vsize: 72820
[startup+970.045 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 39451 0 0 0 96841 173 0 0 25 0 1 0 895321782 74657792 17370 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18227 17370 1111 63 0 18164 0
vsize: 72908
[startup+980.045 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 39465 0 0 0 97841 173 0 0 25 0 1 0 895321782 74780672 17384 4294967295 134512640 134716908 3221224576 3221223216 134536650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18257 17384 1111 63 0 18194 0
vsize: 73028
[startup+990.046 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 39465 0 0 0 98840 173 0 0 25 0 1 0 895321782 74780672 17384 4294967295 134512640 134716908 3221224576 3221223132 134535978 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18257 17384 1111 63 0 18194 0
vsize: 73028
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 39505 0 0 0 99840 174 0 0 25 0 1 0 895321782 74915840 17424 4294967295 134512640 134716908 3221224576 3221223168 134543740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18290 17424 1111 63 0 18227 0
vsize: 73160
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 39505 0 0 0 100840 174 0 0 25 0 1 0 895321782 74915840 17424 4294967295 134512640 134716908 3221224576 3221223172 134543680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18290 17424 1111 63 0 18227 0
vsize: 73160
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 39558 0 0 0 101840 175 0 0 25 0 1 0 895321782 75149312 17477 4294967295 134512640 134716908 3221224576 3221223328 134588020 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18347 17477 1111 63 0 18284 0
vsize: 73388
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 39579 0 0 0 102840 175 0 0 25 0 1 0 895321782 75149312 17498 4294967295 134512640 134716908 3221224576 3221223144 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18347 17498 1111 63 0 18284 0
vsize: 73388
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 39598 0 0 0 103839 176 0 0 25 0 1 0 895321782 75284480 17517 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18380 17517 1111 63 0 18317 0
vsize: 73520
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 39606 0 0 0 104839 177 0 0 25 0 1 0 895321782 75284480 17525 4294967295 134512640 134716908 3221224576 3221223168 134549541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18380 17525 1111 63 0 18317 0
vsize: 73520
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 39681 0 0 0 105838 177 0 0 25 0 1 0 895321782 75554816 17600 4294967295 134512640 134716908 3221224576 3221223132 134535649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18446 17600 1111 63 0 18383 0
vsize: 73784
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 39681 0 0 0 106838 178 0 0 25 0 1 0 895321782 75440128 17574 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18418 17574 1111 63 0 18355 0
vsize: 73672
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 39705 0 0 0 107837 178 0 0 25 0 1 0 895321782 75567104 17598 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18449 17598 1111 63 0 18386 0
vsize: 73796
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 39782 0 0 0 108837 179 0 0 25 0 1 0 895321782 75796480 17652 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18505 17652 1111 63 0 18442 0
vsize: 74020
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 39825 0 0 0 109837 180 0 0 25 0 1 0 895321782 76066816 17695 4294967295 134512640 134716908 3221224576 3221223200 134536675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18571 17695 1111 63 0 18508 0
vsize: 74284
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 39825 0 0 0 110836 180 0 0 25 0 1 0 895321782 76066816 17695 4294967295 134512640 134716908 3221224576 3221223228 134536784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18571 17695 1111 63 0 18508 0
vsize: 74284
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 39825 0 0 0 111836 180 0 0 25 0 1 0 895321782 76066816 17695 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18571 17695 1111 63 0 18508 0
vsize: 74284
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 39825 0 0 0 112836 180 0 0 25 0 1 0 895321782 76066816 17695 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18571 17695 1111 63 0 18508 0
vsize: 74284
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 39857 0 0 0 113836 181 0 0 25 0 1 0 895321782 76161024 17727 4294967295 134512640 134716908 3221224576 3221223160 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17727 1111 63 0 18531 0
vsize: 74376
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 39880 0 0 0 114836 181 0 0 25 0 1 0 895321782 76161024 17750 4294967295 134512640 134716908 3221224576 3221223200 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17750 1111 63 0 18531 0
vsize: 74376
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 39905 0 0 0 115835 182 0 0 25 0 1 0 895321782 76296192 17775 4294967295 134512640 134716908 3221224576 3221223168 134543681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18627 17775 1111 63 0 18564 0
vsize: 74508
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 39926 0 0 0 116835 182 0 0 25 0 1 0 895321782 76431360 17796 4294967295 134512640 134716908 3221224576 3221223228 134543616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18660 17796 1111 63 0 18597 0
vsize: 74640
[startup+1174.92 s]
Raw data (loadavg): 1.00 0.99 0.93 1/53 19130
Raw data (stat): 19073 (bsolo_lpr-v2) R 19072 21152 21151 0 -1 0 39926 0 0 0 116835 182 0 0 25 0 1 0 895321782 76431360 17796 4294967295 134512640 134716908 3221224576 3221223228 134543616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18660 17796 1111 63 0 18597 0
vsize: 0

Child status: 0
Real time (s): 1174.92
CPU time (s): 1175.05
CPU user time (s): 1173.19
CPU system time (s): 1.86272
CPU usage (%): 100.011
Max. virtual memory (Kb): 74640
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####