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-c.opb
MD5SUM	b552ff39062b6c42ea64365c815cbd78
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	2650
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	2650
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2650
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	2650
Total number of constraints	6619
Number of constraints which are clauses	6619
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	3
Trace number 39582

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        837504 kB
Buffers:         33784 kB
Cached:         141316 kB
SwapCached:       1020 kB
Active:          42132 kB
Inactive:       135140 kB
HighTotal:      131008 kB
HighFree:        96068 kB
LowTotal:       903652 kB
LowFree:        741436 kB
SwapTotal:     2097136 kB
SwapFree:      2095192 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5028 kB
Slab:            14212 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 14:40:43 (client local time) WITH STATUS 0 IN 1175.06 SECONDS
stats: 27649 7 1175.06 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2650 variables and 6619 constraints.
c After prepocess the problem consists of 2585 variables and 8468 constraints.
c preprocess terminated 57.833 s
c Initial Lower Bound: 809
c Lower Bound Elapsed time: 23.7222
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.97 0.95 1/54 15238
Raw data (stat): 15238 (runsolver) R 15237 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 893669585 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.001 s]
Raw data (loadavg): 0.93 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 6225 0 0 0 981 16 0 0 25 0 1 0 893669585 18157568 3589 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4433 3589 1111 63 0 4370 0
vsize: 17732
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 6225 0 0 0 1982 16 0 0 25 0 1 0 893669585 18157568 3589 4294967295 134512640 134716908 3221224576 3221223224 134558485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4433 3589 1111 63 0 4370 0
vsize: 17732
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 6236 0 0 0 2982 16 0 0 25 0 1 0 893669585 18292736 3600 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4466 3600 1111 63 0 4403 0
vsize: 17864
[startup+40.0026 s]
Raw data (loadavg): 0.96 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 6391 0 0 0 3982 16 0 0 25 0 1 0 893669585 18968576 3755 4294967295 134512640 134716908 3221224576 3221223248 134627247 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4631 3755 1111 63 0 4568 0
vsize: 18524
[startup+50.0032 s]
Raw data (loadavg): 0.96 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 6514 0 0 0 4982 17 0 0 25 0 1 0 893669585 19374080 3878 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4730 3878 1111 63 0 4667 0
vsize: 18920
[startup+60.0039 s]
Raw data (loadavg): 0.97 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 7685 0 0 0 5980 19 0 0 25 0 1 0 893669585 24100864 5037 4294967295 134512640 134716908 3221224576 3221222864 1074153158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5884 5037 1111 63 0 5821 0
vsize: 23536
[startup+70.0049 s]
Raw data (loadavg): 0.97 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 9131 0 0 0 6974 25 0 0 25 0 1 0 893669585 30777344 6169 4294967295 134512640 134716908 3221224576 3221220640 1074794536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7514 6169 1111 63 0 7451 0
vsize: 30056
[startup+80.0057 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 9166 0 0 0 7975 25 0 0 25 0 1 0 893669585 30777344 6204 4294967295 134512640 134716908 3221224576 3221220428 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7514 6204 1111 63 0 7451 0
vsize: 30056
[startup+90.0062 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 9180 0 0 0 8975 25 0 0 25 0 1 0 893669585 30777344 6218 4294967295 134512640 134716908 3221224576 3221220428 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7514 6218 1111 63 0 7451 0
vsize: 30056
[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 9185 0 0 0 9975 25 0 0 25 0 1 0 893669585 30777344 6223 4294967295 134512640 134716908 3221224576 3221220688 1074815253 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7514 6223 1111 63 0 7451 0
vsize: 30056
[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 9423 0 0 0 10975 25 0 0 25 0 1 0 893669585 29794304 6194 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7274 6194 1111 63 0 7211 0
vsize: 29096
[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 9424 0 0 0 11976 25 0 0 25 0 1 0 893669585 29794304 6195 4294967295 134512640 134716908 3221224576 3221220580 1075964234 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7274 6195 1111 63 0 7211 0
vsize: 29096
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 9452 0 0 0 12976 25 0 0 25 0 1 0 893669585 29908992 6223 4294967295 134512640 134716908 3221224576 3221221248 1076083606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7302 6223 1111 63 0 7239 0
vsize: 29208
[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 9452 0 0 0 13976 25 0 0 25 0 1 0 893669585 29908992 6223 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7302 6223 1111 63 0 7239 0
vsize: 29208
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 9495 0 0 0 14977 25 0 0 25 0 1 0 893669585 30167040 6266 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7365 6266 1111 63 0 7302 0
vsize: 29460
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 15834 0 0 0 15961 41 0 0 25 0 1 0 893669585 25219072 5421 4294967295 134512640 134716908 3221224576 3221223376 134597475 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6157 5421 1111 63 0 6094 0
vsize: 24628
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 16109 0 0 0 16960 42 0 0 25 0 1 0 893669585 26435584 5696 4294967295 134512640 134716908 3221224576 3221223208 134543090 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6454 5696 1111 63 0 6391 0
vsize: 25816
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 16391 0 0 0 17959 43 0 0 25 0 1 0 893669585 27516928 5978 4294967295 134512640 134716908 3221224576 3221223204 134543092 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6718 5978 1111 63 0 6655 0
vsize: 26872
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 16683 0 0 0 18958 46 0 0 25 0 1 0 893669585 28733440 6270 4294967295 134512640 134716908 3221224576 3221223280 134528410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7015 6270 1111 63 0 6952 0
vsize: 28060
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 16955 0 0 0 19957 47 0 0 25 0 1 0 893669585 29814784 6542 4294967295 134512640 134716908 3221224576 3221223116 134613982 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7279 6542 1111 63 0 7216 0
vsize: 29116
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 17212 0 0 0 20956 48 0 0 25 0 1 0 893669585 30892032 6799 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7542 6799 1111 63 0 7479 0
vsize: 30168
[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 17472 0 0 0 21955 49 0 0 25 0 1 0 893669585 31973376 7059 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7806 7059 1111 63 0 7743 0
vsize: 31224
[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 17718 0 0 0 22954 50 0 0 25 0 1 0 893669585 32919552 7305 4294967295 134512640 134716908 3221224576 3221223104 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8037 7305 1111 63 0 7974 0
vsize: 32148
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 17938 0 0 0 23953 52 0 0 25 0 1 0 893669585 33865728 7525 4294967295 134512640 134716908 3221224576 3221223240 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8268 7525 1111 63 0 8205 0
vsize: 33072
[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 18177 0 0 0 24953 53 0 0 25 0 1 0 893669585 34811904 7764 4294967295 134512640 134716908 3221224576 3221223204 134543092 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8499 7764 1111 63 0 8436 0
vsize: 33996
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 18474 0 0 0 25951 55 0 0 25 0 1 0 893669585 36024320 8061 4294967295 134512640 134716908 3221224576 3221223232 134536683 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8795 8061 1111 63 0 8732 0
vsize: 35180
[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 18753 0 0 0 26950 56 0 0 25 0 1 0 893669585 37240832 8340 4294967295 134512640 134716908 3221224576 3221222900 134699811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9092 8340 1111 63 0 9029 0
vsize: 36368
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 19027 0 0 0 27949 58 0 0 25 0 1 0 893669585 38322176 8614 4294967295 134512640 134716908 3221224576 3221223232 134543684 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9356 8614 1111 63 0 9293 0
vsize: 37424
[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 19289 0 0 0 28948 59 0 0 25 0 1 0 893669585 39403520 8876 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9620 8876 1111 63 0 9557 0
vsize: 38480
[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 19556 0 0 0 29947 61 0 0 25 0 1 0 893669585 40484864 9143 4294967295 134512640 134716908 3221224576 3221223136 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9884 9143 1111 63 0 9821 0
vsize: 39536
[startup+310.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 19801 0 0 0 30946 62 0 0 25 0 1 0 893669585 41566208 9388 4294967295 134512640 134716908 3221224576 3221223240 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10148 9388 1111 63 0 10085 0
vsize: 40592
[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 20044 0 0 0 31945 63 0 0 25 0 1 0 893669585 42512384 9631 4294967295 134512640 134716908 3221224576 3221223220 134542296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10379 9631 1111 63 0 10316 0
vsize: 41516
[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 20293 0 0 0 32944 64 0 0 25 0 1 0 893669585 43458560 9880 4294967295 134512640 134716908 3221224576 3221223280 134528555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10610 9880 1111 63 0 10547 0
vsize: 42440
[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 20535 0 0 0 33943 66 0 0 25 0 1 0 893669585 44539904 10122 4294967295 134512640 134716908 3221224576 3221223208 134543090 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10874 10122 1111 63 0 10811 0
vsize: 43496
[startup+350.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 20782 0 0 0 34942 67 0 0 25 0 1 0 893669585 45486080 10369 4294967295 134512640 134716908 3221224576 3221223280 134528617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11105 10369 1111 63 0 11042 0
vsize: 44420
[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 21031 0 0 0 35942 68 0 0 25 0 1 0 893669585 46567424 10618 4294967295 134512640 134716908 3221224576 3221222660 134699564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11369 10618 1111 63 0 11306 0
vsize: 45476
[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 21282 0 0 0 36942 68 0 0 25 0 1 0 893669585 47513600 10869 4294967295 134512640 134716908 3221224576 3221223168 134543686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11600 10869 1111 63 0 11537 0
vsize: 46400
[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 21530 0 0 0 37941 70 0 0 25 0 1 0 893669585 48594944 11117 4294967295 134512640 134716908 3221224576 3221223248 134542977 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11864 11117 1111 63 0 11801 0
vsize: 47456
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 21768 0 0 0 38940 71 0 0 25 0 1 0 893669585 49541120 11355 4294967295 134512640 134716908 3221224576 3221223312 134535742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12095 11355 1111 63 0 12032 0
vsize: 48380
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 22004 0 0 0 39938 73 0 0 25 0 1 0 893669585 50487296 11591 4294967295 134512640 134716908 3221224576 3221223336 134613538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12326 11591 1111 63 0 12263 0
vsize: 49304
[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 22268 0 0 0 40939 73 0 0 25 0 1 0 893669585 51568640 11855 4294967295 134512640 134716908 3221224576 3221223348 134529109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12590 11855 1111 63 0 12527 0
vsize: 50360
[startup+420.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 22496 0 0 0 41938 74 0 0 25 0 1 0 893669585 52514816 12083 4294967295 134512640 134716908 3221224576 3221223256 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12821 12083 1111 63 0 12758 0
vsize: 51284
[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 22728 0 0 0 42937 75 0 0 25 0 1 0 893669585 53460992 12315 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13052 12315 1111 63 0 12989 0
vsize: 52208
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 22941 0 0 0 43936 77 0 0 25 0 1 0 893669585 54407168 12528 4294967295 134512640 134716908 3221224576 3221223360 134529097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13283 12528 1111 63 0 13220 0
vsize: 53132
[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 23158 0 0 0 44935 78 0 0 25 0 1 0 893669585 55218176 12745 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13481 12745 1111 63 0 13418 0
vsize: 53924
[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 23379 0 0 0 45935 79 0 0 25 0 1 0 893669585 56164352 12966 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13712 12966 1111 63 0 13649 0
vsize: 54848
[startup+470.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 23606 0 0 0 46935 79 0 0 25 0 1 0 893669585 57110528 13193 4294967295 134512640 134716908 3221224576 3221223160 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13943 13193 1111 63 0 13880 0
vsize: 55772
[startup+480.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 23846 0 0 0 47934 81 0 0 25 0 1 0 893669585 58064896 13433 4294967295 134512640 134716908 3221224576 3221223292 134698760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14176 13433 1111 63 0 14113 0
vsize: 56704
[startup+490.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 24067 0 0 0 48933 82 0 0 25 0 1 0 893669585 59015168 13654 4294967295 134512640 134716908 3221224576 3221223244 134543653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14408 13654 1111 63 0 14345 0
vsize: 57632
[startup+500.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 24288 0 0 0 49932 83 0 0 25 0 1 0 893669585 59957248 13875 4294967295 134512640 134716908 3221224576 3221223168 134543710 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14638 13875 1111 63 0 14575 0
vsize: 58552
[startup+510.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 24517 0 0 0 50932 84 0 0 25 0 1 0 893669585 60903424 14104 4294967295 134512640 134716908 3221224576 3221223396 134590259 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14869 14104 1111 63 0 14806 0
vsize: 59476
[startup+520.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 24738 0 0 0 51931 85 0 0 25 0 1 0 893669585 61714432 14325 4294967295 134512640 134716908 3221224576 3221223152 134542773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15067 14325 1111 63 0 15004 0
vsize: 60268
[startup+530.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 24971 0 0 0 52931 85 0 0 25 0 1 0 893669585 62660608 14558 4294967295 134512640 134716908 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15298 14558 1111 63 0 15235 0
vsize: 61192
[startup+540.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 25197 0 0 0 53931 86 0 0 25 0 1 0 893669585 63606784 14784 4294967295 134512640 134716908 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15529 14784 1111 63 0 15466 0
vsize: 62116
[startup+550.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 25435 0 0 0 54930 87 0 0 25 0 1 0 893669585 64557056 15022 4294967295 134512640 134716908 3221224576 3221223372 134531208 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15761 15022 1111 63 0 15698 0
vsize: 63044
[startup+560.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 25683 0 0 0 55929 88 0 0 25 0 1 0 893669585 65646592 15270 4294967295 134512640 134716908 3221224576 3221223312 134523859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16027 15270 1111 63 0 15964 0
vsize: 64108
[startup+570.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 25894 0 0 0 56929 88 0 0 25 0 1 0 893669585 66457600 15481 4294967295 134512640 134716908 3221224576 3221223232 134536736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16225 15481 1111 63 0 16162 0
vsize: 64900
[startup+580.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 26109 0 0 0 57928 90 0 0 25 0 1 0 893669585 67403776 15696 4294967295 134512640 134716908 3221224576 3221223112 134543023 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16456 15696 1111 63 0 16393 0
vsize: 65824
[startup+590.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 26330 0 0 0 58928 90 0 0 25 0 1 0 893669585 68349952 15917 4294967295 134512640 134716908 3221224576 3221223160 134539204 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16687 15917 1111 63 0 16624 0
vsize: 66748
[startup+600.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 26579 0 0 0 59927 91 0 0 25 0 1 0 893669585 69296128 16166 4294967295 134512640 134716908 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16918 16166 1111 63 0 16855 0
vsize: 67672
[startup+610.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 26810 0 0 0 60927 92 0 0 25 0 1 0 893669585 70242304 16397 4294967295 134512640 134716908 3221224576 3221223168 134549616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17149 16397 1111 63 0 17086 0
vsize: 68596
[startup+620.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 27034 0 0 0 61927 93 0 0 25 0 1 0 893669585 71188480 16621 4294967295 134512640 134716908 3221224576 3221223204 134543092 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17380 16621 1111 63 0 17317 0
vsize: 69520
[startup+630.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 27259 0 0 0 62926 94 0 0 25 0 1 0 893669585 72146944 16846 4294967295 134512640 134716908 3221224576 3221223228 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17614 16846 1111 63 0 17551 0
vsize: 70456
[startup+640.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 27513 0 0 0 63925 95 0 0 25 0 1 0 893669585 73125888 17099 4294967295 134512640 134716908 3221224576 3221223168 134549533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17853 17099 1111 63 0 17790 0
vsize: 71412
[startup+650.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 27746 0 0 0 64925 96 0 0 25 0 1 0 893669585 74072064 17332 4294967295 134512640 134716908 3221224576 3221223216 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18084 17332 1111 63 0 18021 0
vsize: 72336
[startup+660.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 27969 0 0 0 65924 97 0 0 25 0 1 0 893669585 75018240 17555 4294967295 134512640 134716908 3221224576 3221223192 134613981 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18315 17555 1111 63 0 18252 0
vsize: 73260
[startup+670.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 28204 0 0 0 66924 98 0 0 25 0 1 0 893669585 75964416 17790 4294967295 134512640 134716908 3221224576 3221223216 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18546 17790 1111 63 0 18483 0
vsize: 74184
[startup+680.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 28433 0 0 0 67923 99 0 0 25 0 1 0 893669585 76918784 18019 4294967295 134512640 134716908 3221224576 3221223220 134613648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18779 18019 1111 63 0 18716 0
vsize: 75116
[startup+690.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 28661 0 0 0 68922 100 0 0 25 0 1 0 893669585 77864960 18247 4294967295 134512640 134716908 3221224576 3221223216 134543070 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19010 18247 1111 63 0 18947 0
vsize: 76040
[startup+700.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 28901 0 0 0 69921 101 0 0 25 0 1 0 893669585 78946304 18487 4294967295 134512640 134716908 3221224576 3221223128 134698829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19274 18487 1111 63 0 19211 0
vsize: 77096
[startup+710.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 29135 0 0 0 70921 102 0 0 25 0 1 0 893669585 79892480 18721 4294967295 134512640 134716908 3221224576 3221223312 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19505 18721 1111 63 0 19442 0
vsize: 78020
[startup+720.036 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 29370 0 0 0 71921 103 0 0 25 0 1 0 893669585 80838656 18956 4294967295 134512640 134716908 3221224576 3221223136 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19736 18956 1111 63 0 19673 0
vsize: 78944
[startup+730.036 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 29606 0 0 0 72921 103 0 0 25 0 1 0 893669585 81784832 19192 4294967295 134512640 134716908 3221224576 3221223264 134523171 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19967 19192 1111 63 0 19904 0
vsize: 79868
[startup+740.037 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 29830 0 0 0 73920 104 0 0 25 0 1 0 893669585 82731008 19416 4294967295 134512640 134716908 3221224576 3221223360 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20198 19416 1111 63 0 20135 0
vsize: 80792
[startup+750.038 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 30048 0 0 0 74920 104 0 0 25 0 1 0 893669585 83542016 19634 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20396 19634 1111 63 0 20333 0
vsize: 81584
[startup+760.039 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 30260 0 0 0 75919 106 0 0 25 0 1 0 893669585 84488192 19846 4294967295 134512640 134716908 3221224576 3221223224 134542295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20627 19846 1111 63 0 20564 0
vsize: 82508
[startup+770.039 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 30474 0 0 0 76919 107 0 0 25 0 1 0 893669585 85299200 20060 4294967295 134512640 134716908 3221224576 3221223216 134543075 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20825 20060 1111 63 0 20762 0
vsize: 83300
[startup+780.041 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 30687 0 0 0 77919 107 0 0 25 0 1 0 893669585 86245376 20273 4294967295 134512640 134716908 3221224576 3221222968 134613981 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21056 20273 1111 63 0 20993 0
vsize: 84224
[startup+790.042 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 30901 0 0 0 78918 108 0 0 25 0 1 0 893669585 87056384 20487 4294967295 134512640 134716908 3221224576 3221223152 134538985 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21254 20487 1111 63 0 21191 0
vsize: 85016
[startup+800.043 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 31129 0 0 0 79918 109 0 0 25 0 1 0 893669585 88002560 20714 4294967295 134512640 134716908 3221224576 3221223340 134543540 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21485 20714 1111 63 0 21422 0
vsize: 85940
[startup+810.043 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 31363 0 0 0 80918 109 0 0 25 0 1 0 893669585 88948736 20948 4294967295 134512640 134716908 3221224576 3221223164 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21716 20948 1111 63 0 21653 0
vsize: 86864
[startup+820.044 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 31602 0 0 0 81917 111 0 0 25 0 1 0 893669585 89894912 21187 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21947 21187 1111 63 0 21884 0
vsize: 87788
[startup+830.044 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 31823 0 0 0 82916 112 0 0 25 0 1 0 893669585 90849280 21408 4294967295 134512640 134716908 3221224576 3221223136 134698951 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22180 21408 1111 63 0 22117 0
vsize: 88720
[startup+840.044 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 32043 0 0 0 83915 113 0 0 25 0 1 0 893669585 91795456 21628 4294967295 134512640 134716908 3221224576 3221223216 134543108 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22411 21628 1111 63 0 22348 0
vsize: 89644
[startup+850.046 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 32285 0 0 0 84914 114 0 0 25 0 1 0 893669585 92741632 21870 4294967295 134512640 134716908 3221224576 3221223220 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22642 21870 1111 63 0 22579 0
vsize: 90568
[startup+860.046 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 32523 0 0 0 85913 116 0 0 25 0 1 0 893669585 93687808 22108 4294967295 134512640 134716908 3221224576 3221223344 134528789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22873 22108 1111 63 0 22810 0
vsize: 91492
[startup+870.047 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 32745 0 0 0 86912 117 0 0 25 0 1 0 893669585 94633984 22330 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23104 22330 1111 63 0 23041 0
vsize: 92416
[startup+880.048 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 32961 0 0 0 87912 118 0 0 25 0 1 0 893669585 95580160 22546 4294967295 134512640 134716908 3221224576 3221223112 134613981 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23335 22546 1111 63 0 23272 0
vsize: 93340
[startup+890.048 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 33173 0 0 0 88911 119 0 0 25 0 1 0 893669585 96391168 22758 4294967295 134512640 134716908 3221224576 3221223232 134524102 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23533 22758 1111 63 0 23470 0
vsize: 94132
[startup+900.048 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 33368 0 0 0 89910 121 0 0 25 0 1 0 893669585 97202176 22953 4294967295 134512640 134716908 3221224576 3221223232 134613659 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23731 22953 1111 63 0 23668 0
vsize: 94924
[startup+910.049 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 33569 0 0 0 90910 121 0 0 25 0 1 0 893669585 98013184 23154 4294967295 134512640 134716908 3221224576 3221222648 134613981 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23929 23154 1111 63 0 23866 0
vsize: 95716
[startup+920.049 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 33747 0 0 0 91909 122 0 0 25 0 1 0 893669585 98824192 23332 4294967295 134512640 134716908 3221224576 3221223256 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24127 23332 1111 63 0 24064 0
vsize: 96508
[startup+930.05 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 33931 0 0 0 92909 123 0 0 25 0 1 0 893669585 99500032 23516 4294967295 134512640 134716908 3221224576 3221223084 134535891 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24292 23516 1111 63 0 24229 0
vsize: 97168
[startup+940.051 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 34093 0 0 0 93908 124 0 0 25 0 1 0 893669585 100175872 23678 4294967295 134512640 134716908 3221224576 3221223184 134543693 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24457 23678 1111 63 0 24394 0
vsize: 97828
[startup+950.051 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 34273 0 0 0 94908 124 0 0 25 0 1 0 893669585 100851712 23858 4294967295 134512640 134716908 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24622 23858 1111 63 0 24559 0
vsize: 98488
[startup+960.051 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 34468 0 0 0 95908 125 0 0 25 0 1 0 893669585 101662720 24053 4294967295 134512640 134716908 3221224576 3221223136 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24820 24053 1111 63 0 24757 0
vsize: 99280
[startup+970.053 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 34654 0 0 0 96907 126 0 0 25 0 1 0 893669585 102473728 24239 4294967295 134512640 134716908 3221224576 3221223048 134613981 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25018 24239 1111 63 0 24955 0
vsize: 100072
[startup+980.053 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 34845 0 0 0 97907 127 0 0 25 0 1 0 893669585 103321600 24430 4294967295 134512640 134716908 3221224576 3221223272 134542982 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25225 24430 1111 63 0 25162 0
vsize: 100900
[startup+990.054 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 35027 0 0 0 98907 128 0 0 25 0 1 0 893669585 103997440 24612 4294967295 134512640 134716908 3221224576 3221223060 134699564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25390 24612 1111 63 0 25327 0
vsize: 101560
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 35216 0 0 0 99906 129 0 0 25 0 1 0 893669585 104808448 24801 4294967295 134512640 134716908 3221224576 3221223180 134536779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25588 24801 1111 63 0 25525 0
vsize: 102352
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 35402 0 0 0 100906 129 0 0 25 0 1 0 893669585 105619456 24987 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25786 24987 1111 63 0 25723 0
vsize: 103144
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 35584 0 0 0 101906 130 0 0 25 0 1 0 893669585 106311680 25168 4294967295 134512640 134716908 3221224576 3221223124 134699096 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25955 25168 1111 63 0 25892 0
vsize: 103820
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 35759 0 0 0 102905 131 0 0 25 0 1 0 893669585 106987520 25343 4294967295 134512640 134716908 3221224576 3221223208 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26120 25343 1111 63 0 26057 0
vsize: 104480
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 35944 0 0 0 103904 132 0 0 25 0 1 0 893669585 107798528 25528 4294967295 134512640 134716908 3221224576 3221223220 134543119 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26318 25528 1111 63 0 26255 0
vsize: 105272
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 36134 0 0 0 104904 133 0 0 25 0 1 0 893669585 108609536 25718 4294967295 134512640 134716908 3221224576 3221223136 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26516 25718 1111 63 0 26453 0
vsize: 106064
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 36326 0 0 0 105904 134 0 0 25 0 1 0 893669585 109420544 25910 4294967295 134512640 134716908 3221224576 3221223280 134528647 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26714 25910 1111 63 0 26651 0
vsize: 106856
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 36514 0 0 0 106903 135 0 0 25 0 1 0 893669585 110096384 26098 4294967295 134512640 134716908 3221224576 3221223132 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26879 26098 1111 63 0 26816 0
vsize: 107516
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 36683 0 0 0 107903 135 0 0 25 0 1 0 893669585 110772224 26267 4294967295 134512640 134716908 3221224576 3221223072 134699606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27044 26267 1111 63 0 26981 0
vsize: 108176
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 36857 0 0 0 108903 135 0 0 25 0 1 0 893669585 111583232 26441 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27242 26441 1111 63 0 27179 0
vsize: 108968
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 37047 0 0 0 109903 136 0 0 25 0 1 0 893669585 112259072 26631 4294967295 134512640 134716908 3221224576 3221223300 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27407 26631 1111 63 0 27344 0
vsize: 109628
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 37252 0 0 0 110902 137 0 0 25 0 1 0 893669585 113205248 26836 4294967295 134512640 134716908 3221224576 3221223240 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27638 26836 1111 63 0 27575 0
vsize: 110552
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 37502 0 0 0 111901 138 0 0 25 0 1 0 893669585 114163712 27084 4294967295 134512640 134716908 3221224576 3221223180 134536814 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27872 27084 1111 63 0 27809 0
vsize: 111488
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 37747 0 0 0 112900 139 0 0 25 0 1 0 893669585 115249152 27329 4294967295 134512640 134716908 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28137 27329 1111 63 0 28074 0
vsize: 112548
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 37982 0 0 0 113900 140 0 0 25 0 1 0 893669585 116195328 27564 4294967295 134512640 134716908 3221224576 3221223152 134542753 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28368 27564 1111 63 0 28305 0
vsize: 113472
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 38234 0 0 0 114899 142 0 0 25 0 1 0 893669585 117141504 27815 4294967295 134512640 134716908 3221224576 3221223216 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28599 27815 1111 63 0 28536 0
vsize: 114396
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 38471 0 0 0 115898 143 0 0 25 0 1 0 893669585 118222848 28051 4294967295 134512640 134716908 3221224576 3221223180 134536760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28863 28051 1111 63 0 28800 0
vsize: 115452
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 38718 0 0 0 116897 144 0 0 25 0 1 0 893669585 119169024 28298 4294967295 134512640 134716908 3221224576 3221223340 134543540 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29094 28298 1111 63 0 29031 0
vsize: 116376
[startup+1174.71 s]
Raw data (loadavg): 0.99 0.97 0.95 1/53 15238
Raw data (stat): 15238 (bsolo_lpr-v2) R 15237 25568 25567 0 -1 0 38718 0 0 0 116897 144 0 0 25 0 1 0 893669585 119169024 28298 4294967295 134512640 134716908 3221224576 3221223340 134543540 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29094 28298 1111 63 0 29031 0
vsize: 0

Child status: 0
Real time (s): 1174.7
CPU time (s): 1175.06
CPU user time (s): 1173.56
CPU system time (s): 1.50677
CPU usage (%): 100.031
Max. virtual memory (Kb): 116376
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####