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/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran4x64.opb
MD5SUM	6a6f7751d9c11fcafeb386712eac2f08
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	3097606
Optimality of the best value was proved	NO
Number of terms in the objective function	5376
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	1473474440
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	1473474440
Number of bits of the biggest sum of numbers	31
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	433.74
Number of variables	5376
Total number of constraints	324
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	324
Minimum length of a constraint	21
Maximum length of a constraint	1280
Trace number 40468

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-08 11:48:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28532 boxname=wulflinc1 idbench=1488 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  6a6f7751d9c11fcafeb386712eac2f08  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-ran4x64.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-ran4x64.opb
IDLAUNCH: 28532
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        866672 kB
Buffers:         25620 kB
Cached:         117716 kB
SwapCached:       1164 kB
Active:          25788 kB
Inactive:       119840 kB
HighTotal:      131008 kB
HighFree:        36652 kB
LowTotal:       903652 kB
LowFree:        830020 kB
SwapTotal:     2097136 kB
SwapFree:      2094844 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5260 kB
Slab:            16616 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 12:07:47 (client local time) WITH STATUS 0 IN 1175.11 SECONDS
stats: 28532 7 1175.11 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 5376 variables and 392 constraints.
c After prepocess the problem consists of 2936 variables and 570 constraints.
c preprocess terminated 7.089 s
c Initial Lower Bound: 1233656
c Lower Bound Elapsed time: 0.25725
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.09 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.91 0.97 0.91 1/55 22501
Raw data (stat): 22501 (runsolver) R 22500 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 844537026 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+9.99964 s]
Raw data (loadavg): 0.93 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 8364 0 0 0 981 16 0 0 25 0 1 0 844537026 32616448 7222 4294967295 134512640 134716908 3221224576 3221222960 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7222 1111 63 0 7900 0
vsize: 31852
[startup+20.0004 s]
Raw data (loadavg): 0.94 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 11406 0 0 0 1973 24 0 0 25 0 1 0 844537026 32616448 7222 4294967295 134512640 134716908 3221224576 3221214960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7222 1111 63 0 7900 0
vsize: 31852
[startup+30.0002 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 14539 0 0 0 2966 32 0 0 25 0 1 0 844537026 33484800 7379 4294967295 134512640 134716908 3221224576 3221220736 1074794466 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8175 7379 1111 63 0 8112 0
vsize: 32700
[startup+40.001 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 17686 0 0 0 3958 40 0 0 25 0 1 0 844537026 32616448 7222 4294967295 134512640 134716908 3221224576 3221222736 134652402 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7222 1111 63 0 7900 0
vsize: 31852
[startup+50.0018 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 20804 0 0 0 4950 48 0 0 25 0 1 0 844537026 32616448 7222 4294967295 134512640 134716908 3221224576 3221222840 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7222 1111 63 0 7900 0
vsize: 31852
[startup+60.0016 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 23632 0 0 0 5943 55 0 0 25 0 1 0 844537026 32673792 7228 4294967295 134512640 134716908 3221224576 3221222856 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7977 7228 1111 63 0 7914 0
vsize: 31908
[startup+70.0023 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 26673 0 0 0 6934 64 0 0 25 0 1 0 844537026 32616448 7222 4294967295 134512640 134716908 3221224576 3221222744 1074138163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7222 1111 63 0 7900 0
vsize: 31852
[startup+80.0022 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 29634 0 0 0 7928 70 0 0 25 0 1 0 844537026 32673792 7232 4294967295 134512640 134716908 3221224576 3221222320 1075636583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7977 7232 1111 63 0 7914 0
vsize: 31908
[startup+90.0029 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 32545 0 0 0 8921 78 0 0 25 0 1 0 844537026 33476608 7318 4294967295 134512640 134716908 3221224576 3221220648 1074950204 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8173 7318 1111 63 0 8110 0
vsize: 32692
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 35331 0 0 0 9914 85 0 0 25 0 1 0 844537026 32616448 7222 4294967295 134512640 134716908 3221224576 3221222576 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7222 1111 63 0 7900 0
vsize: 31852
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 38261 0 0 0 10908 91 0 0 25 0 1 0 844537026 32616448 7222 4294967295 134512640 134716908 3221224576 3221222776 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7222 1111 63 0 7900 0
vsize: 31852
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 41097 0 0 0 11900 99 0 0 25 0 1 0 844537026 32616448 7222 4294967295 134512640 134716908 3221224576 3221222864 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7222 1111 63 0 7900 0
vsize: 31852
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 43987 0 0 0 12892 108 0 0 25 0 1 0 844537026 32968704 7232 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8001 7230 1111 63 0 7938 0
vsize: 32196
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 46980 0 0 0 13884 116 0 0 25 0 1 0 844537026 32616448 7222 4294967295 134512640 134716908 3221224576 3221222488 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7222 1111 63 0 7900 0
vsize: 31852
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 49914 0 0 0 14876 124 0 0 25 0 1 0 844537026 32616448 7222 4294967295 134512640 134716908 3221224576 3221222472 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7222 1111 63 0 7900 0
vsize: 31852
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 52951 0 0 0 15869 131 0 0 25 0 1 0 844537026 33472512 7363 4294967295 134512640 134716908 3221224576 3221220732 1075093106 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8172 7363 1111 63 0 8109 0
vsize: 32688
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 55850 0 0 0 16863 138 0 0 25 0 1 0 844537026 32616448 7222 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7222 1111 63 0 7900 0
vsize: 31852
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 58850 0 0 0 17855 145 0 0 25 0 1 0 844537026 32616448 7222 4294967295 134512640 134716908 3221224576 3221222960 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7222 1111 63 0 7900 0
vsize: 31852
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 61807 0 0 0 18848 152 0 0 25 0 1 0 844537026 33464320 7343 4294967295 134512640 134716908 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8170 7343 1111 63 0 8107 0
vsize: 32680
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 64679 0 0 0 19840 160 0 0 25 0 1 0 844537026 32960512 7226 4294967295 134512640 134716908 3221224576 3221222732 1075798900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8047 7226 1111 63 0 7984 0
vsize: 32188
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 67637 0 0 0 20833 168 0 0 25 0 1 0 844537026 32673792 7224 4294967295 134512640 134716908 3221224576 3221222576 1074918215 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7977 7224 1111 63 0 7914 0
vsize: 31908
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 70701 0 0 0 21824 177 0 0 25 0 1 0 844537026 32616448 7222 4294967295 134512640 134716908 3221224576 3221222584 1077374867 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7222 1111 63 0 7900 0
vsize: 31852
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 73603 0 0 0 22816 185 0 0 25 0 1 0 844537026 32960512 7226 4294967295 134512640 134716908 3221224576 3221222496 1075799488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8047 7226 1111 63 0 7984 0
vsize: 32188
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 76645 0 0 0 23810 192 0 0 25 0 1 0 844537026 32616448 7222 4294967295 134512640 134716908 3221224576 3221222440 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7222 1111 63 0 7900 0
vsize: 31852
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 79692 0 0 0 24802 200 0 0 25 0 1 0 844537026 32616448 7223 4294967295 134512640 134716908 3221224576 3221222776 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7223 1111 63 0 7900 0
vsize: 31852
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 82680 0 0 0 25794 208 0 0 25 0 1 0 844537026 32673792 7232 4294967295 134512640 134716908 3221224576 3221222152 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7977 7232 1111 63 0 7914 0
vsize: 31908
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 85528 0 0 0 26786 216 0 0 25 0 1 0 844537026 32616448 7223 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7223 1111 63 0 7900 0
vsize: 31852
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 88493 0 0 0 27779 224 0 0 25 0 1 0 844537026 32993280 7243 4294967295 134512640 134716908 3221224576 3221221696 1074834473 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8055 7243 1111 63 0 7992 0
vsize: 32220
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 91298 0 0 0 28771 232 0 0 25 0 1 0 844537026 32616448 7223 4294967295 134512640 134716908 3221224576 3221222864 1074153669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7223 1111 63 0 7900 0
vsize: 31852
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 94178 0 0 0 29763 239 0 0 25 0 1 0 844537026 32968704 7283 4294967295 134512640 134716908 3221224576 3221221768 1074138315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8049 7283 1111 63 0 7986 0
vsize: 32196
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 97032 0 0 0 30755 247 0 0 25 0 1 0 844537026 32616448 7223 4294967295 134512640 134716908 3221224576 3221222864 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7223 1111 63 0 7900 0
vsize: 31852
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 99901 0 0 0 31748 254 0 0 25 0 1 0 844537026 32673792 7229 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7977 7229 1111 63 0 7914 0
vsize: 31908
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 102700 0 0 0 32741 262 0 0 25 0 1 0 844537026 32616448 7223 4294967295 134512640 134716908 3221224576 3221222888 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7223 1111 63 0 7900 0
vsize: 31852
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 104786 0 0 0 33735 268 0 0 25 0 1 0 844537026 32673792 7237 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7977 7237 1111 63 0 7914 0
vsize: 31908
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 106870 0 0 0 34730 273 0 0 25 0 1 0 844537026 33169408 7295 4294967295 134512640 134716908 3221224576 3221221232 1075966713 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8098 7295 1111 63 0 8035 0
vsize: 32392
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 108950 0 0 0 35726 277 0 0 25 0 1 0 844537026 32616448 7223 4294967295 134512640 134716908 3221224576 3221222912 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7223 1111 63 0 7900 0
vsize: 31852
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 111165 0 0 0 36720 283 0 0 25 0 1 0 844537026 32673792 7238 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7977 7238 1111 63 0 7914 0
vsize: 31908
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 113347 0 0 0 37715 289 0 0 25 0 1 0 844537026 32616448 7224 4294967295 134512640 134716908 3221224576 3221222552 1074138153 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7224 1111 63 0 7900 0
vsize: 31852
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 115576 0 0 0 38710 293 0 0 25 0 1 0 844537026 32673792 7233 4294967295 134512640 134716908 3221224576 3221222320 1075640367 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7977 7233 1111 63 0 7914 0
vsize: 31908
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 117702 0 0 0 39703 301 0 0 25 0 1 0 844537026 32616448 7227 4294967295 134512640 134716908 3221224576 3221222552 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7227 1111 63 0 7900 0
vsize: 31852
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 119875 0 0 0 40697 307 0 0 25 0 1 0 844537026 32673792 7241 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7977 7241 1111 63 0 7914 0
vsize: 31908
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 121927 0 0 0 41691 313 0 0 25 0 1 0 844537026 32616448 7227 4294967295 134512640 134716908 3221224576 3221217240 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7227 1111 63 0 7900 0
vsize: 31852
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 124036 0 0 0 42687 318 0 0 25 0 1 0 844537026 32616448 7227 4294967295 134512640 134716908 3221224576 3221222624 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7227 1111 63 0 7900 0
vsize: 31852
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 126146 0 0 0 43680 325 0 0 25 0 1 0 844537026 32616448 7227 4294967295 134512640 134716908 3221224576 3221222880 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7227 1111 63 0 7900 0
vsize: 31852
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 128203 0 0 0 44673 331 0 0 25 0 1 0 844537026 32616448 7227 4294967295 134512640 134716908 3221224576 3221222824 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7227 1111 63 0 7900 0
vsize: 31852
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 130269 0 0 0 45667 338 0 0 25 0 1 0 844537026 32616448 7227 4294967295 134512640 134716908 3221224576 3221222296 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7227 1111 63 0 7900 0
vsize: 31852
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 132411 0 0 0 46662 343 0 0 25 0 1 0 844537026 32616448 7227 4294967295 134512640 134716908 3221224576 3221222888 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7227 1111 63 0 7900 0
vsize: 31852
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 134558 0 0 0 47656 349 0 0 25 0 1 0 844537026 33243136 7300 4294967295 134512640 134716908 3221224576 3221220736 1074794557 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8116 7300 1111 63 0 8053 0
vsize: 32464
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 136596 0 0 0 48650 355 0 0 25 0 1 0 844537026 32825344 7245 4294967295 134512640 134716908 3221224576 3221221696 1074835561 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8014 7245 1111 63 0 7951 0
vsize: 32056
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 138609 0 0 0 49642 363 0 0 25 0 1 0 844537026 32616448 7227 4294967295 134512640 134716908 3221224576 3221222976 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7227 1111 63 0 7900 0
vsize: 31852
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 140647 0 0 0 50636 370 0 0 25 0 1 0 844537026 32616448 7227 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7227 1111 63 0 7900 0
vsize: 31852
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 142653 0 0 0 51629 376 0 0 25 0 1 0 844537026 32616448 7227 4294967295 134512640 134716908 3221224576 3221222720 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7227 1111 63 0 7900 0
vsize: 31852
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 144833 0 0 0 52624 382 0 0 25 0 1 0 844537026 32673792 7241 4294967295 134512640 134716908 3221224576 3221223040 1074119510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7977 7241 1111 63 0 7914 0
vsize: 31908
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 146941 0 0 0 53617 389 0 0 25 0 1 0 844537026 32616448 7227 4294967295 134512640 134716908 3221224576 3221222528 1075655941 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7227 1111 63 0 7900 0
vsize: 31852
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 149101 0 0 0 54612 394 0 0 25 0 1 0 844537026 32616448 7227 4294967295 134512640 134716908 3221224576 3221222888 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7227 1111 63 0 7900 0
vsize: 31852
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 151246 0 0 0 55605 401 0 0 25 0 1 0 844537026 32616448 7227 4294967295 134512640 134716908 3221224576 3221222444 1077378454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7227 1111 63 0 7900 0
vsize: 31852
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 153292 0 0 0 56599 407 0 0 25 0 1 0 844537026 32616448 7227 4294967295 134512640 134716908 3221224576 3221222720 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7227 1111 63 0 7900 0
vsize: 31852
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 155387 0 0 0 57594 413 0 0 25 0 1 0 844537026 32673792 7241 4294967295 134512640 134716908 3221224576 3221222488 1074138315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7977 7241 1111 63 0 7914 0
vsize: 31908
[startup+590.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 157123 0 0 0 58589 418 0 0 25 0 1 0 844537026 32616448 7227 4294967295 134512640 134716908 3221224576 3221222992 1074116434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7227 1111 63 0 7900 0
vsize: 31852
[startup+600.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 158994 0 0 0 59584 423 0 0 25 0 1 0 844537026 32616448 7227 4294967295 134512640 134716908 3221224576 3221222928 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7227 1111 63 0 7900 0
vsize: 31852
[startup+610.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 160771 0 0 0 60579 428 0 0 25 0 1 0 844537026 32616448 7227 4294967295 134512640 134716908 3221224576 3221222928 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7227 1111 63 0 7900 0
vsize: 31852
[startup+620.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 162604 0 0 0 61573 434 0 0 25 0 1 0 844537026 32616448 7228 4294967295 134512640 134716908 3221224576 3221222824 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7228 1111 63 0 7900 0
vsize: 31852
[startup+630.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 164235 0 0 0 62567 440 0 0 25 0 1 0 844537026 32616448 7228 4294967295 134512640 134716908 3221224576 3221222744 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7228 1111 63 0 7900 0
vsize: 31852
[startup+640.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 165938 0 0 0 63562 445 0 0 25 0 1 0 844537026 32616448 7228 4294967295 134512640 134716908 3221224576 3221222928 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7228 1111 63 0 7900 0
vsize: 31852
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 167723 0 0 0 64557 451 0 0 25 0 1 0 844537026 32616448 7228 4294967295 134512640 134716908 3221224576 3221219136 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7228 1111 63 0 7900 0
vsize: 31852
[startup+660.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 169429 0 0 0 65552 456 0 0 25 0 1 0 844537026 32673792 7242 4294967295 134512640 134716908 3221224576 3221222976 1074118820 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7977 7242 1111 63 0 7914 0
vsize: 31908
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 171623 0 0 0 66545 463 0 0 25 0 1 0 844537026 32616448 7228 4294967295 134512640 134716908 3221224576 3221222840 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7228 1111 63 0 7900 0
vsize: 31852
[startup+680.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 173260 0 0 0 67540 468 0 0 25 0 1 0 844537026 32616448 7229 4294967295 134512640 134716908 3221224576 3221222576 1074915922 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7229 1111 63 0 7900 0
vsize: 31852
[startup+690.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 174549 0 0 0 68536 473 0 0 25 0 1 0 844537026 32616448 7229 4294967295 134512640 134716908 3221224576 3221222816 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7229 1111 63 0 7900 0
vsize: 31852
[startup+700.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 175730 0 0 0 69532 477 0 0 25 0 1 0 844537026 32673792 7234 4294967295 134512640 134716908 3221224576 3221222304 1075635468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7977 7234 1111 63 0 7914 0
vsize: 31908
[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22501
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 176869 0 0 0 70528 481 0 0 25 0 1 0 844537026 32616448 7229 4294967295 134512640 134716908 3221224576 3221222688 1074867352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7229 1111 63 0 7900 0
vsize: 31852
[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22554
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 178034 0 0 0 71524 485 0 0 25 0 1 0 844537026 32825344 7239 4294967295 134512640 134716908 3221224576 3221221520 1074620311 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8014 7239 1111 63 0 7951 0
vsize: 32056
[startup+730.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22554
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 179183 0 0 0 72520 489 0 0 25 0 1 0 844537026 32616448 7229 4294967295 134512640 134716908 3221224576 3221222832 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7229 1111 63 0 7900 0
vsize: 31852
[startup+740.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22554
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 180346 0 0 0 73517 492 0 0 25 0 1 0 844537026 32616448 7229 4294967295 134512640 134716908 3221224576 3221222960 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7229 1111 63 0 7900 0
vsize: 31852
[startup+750.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22554
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 181532 0 0 0 74512 498 0 0 25 0 1 0 844537026 32616448 7229 4294967295 134512640 134716908 3221224576 3221222728 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7229 1111 63 0 7900 0
vsize: 31852
[startup+760.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22554
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 182730 0 0 0 75508 502 0 0 25 0 1 0 844537026 32616448 7229 4294967295 134512640 134716908 3221224576 3221222960 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7229 1111 63 0 7900 0
vsize: 31852
[startup+770.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22556
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 183922 0 0 0 76503 506 0 0 25 0 1 0 844537026 32616448 7229 4294967295 134512640 134716908 3221224576 3221222928 1074153669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7229 1111 63 0 7900 0
vsize: 31852
[startup+780.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22556
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 185170 0 0 0 77499 510 0 0 25 0 1 0 844537026 32673792 7243 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7977 7243 1111 63 0 7914 0
vsize: 31908
[startup+790.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22558
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 186336 0 0 0 78496 514 0 0 25 0 1 0 844537026 32616448 7229 4294967295 134512640 134716908 3221224576 3221222496 1075799488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7229 1111 63 0 7900 0
vsize: 31852
[startup+800.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22558
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 187571 0 0 0 79492 519 0 0 25 0 1 0 844537026 32616448 7229 4294967295 134512640 134716908 3221224576 3221222872 1074138153 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7229 1111 63 0 7900 0
vsize: 31852
[startup+810.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22558
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 191293 0 0 0 80481 529 0 0 25 0 1 0 844537026 32616448 7229 4294967295 134512640 134716908 3221224576 3221222912 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7229 1111 63 0 7900 0
vsize: 31852
[startup+820.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22558
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 194772 0 0 0 81471 540 0 0 25 0 1 0 844537026 32616448 7229 4294967295 134512640 134716908 3221224576 3221222960 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7963 7229 1111 63 0 7900 0
vsize: 31852
[startup+830.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22558
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 199343 0 0 0 82458 552 0 0 25 0 1 0 844537026 32722944 7255 4294967295 134512640 134716908 3221224576 3221222416 1074050884 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7989 7255 1111 63 0 7926 0
vsize: 31956
[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22558
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 205749 0 0 0 83440 571 0 0 25 0 1 0 844537026 32833536 7282 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8016 7282 1111 63 0 7953 0
vsize: 32064
[startup+850.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22558
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 208769 0 0 0 84429 582 0 0 25 0 1 0 844537026 32886784 7295 4294967295 134512640 134716908 3221224576 3221222992 1074116576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8029 7295 1111 63 0 7966 0
vsize: 32116
[startup+860.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22558
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 212044 0 0 0 85419 592 0 0 25 0 1 0 844537026 33382400 7330 4294967295 134512640 134716908 3221224576 3221220848 1074960710 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8150 7330 1111 63 0 8087 0
vsize: 32600
[startup+870.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22558
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 216349 0 0 0 86405 606 0 0 25 0 1 0 844537026 32886784 7285 4294967295 134512640 134716908 3221224576 3221222944 1074140701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8029 7285 1111 63 0 7966 0
vsize: 32116
[startup+880.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22558
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 223440 0 0 0 87384 628 0 0 25 0 1 0 844537026 33595392 7373 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8202 7374 1111 63 0 8139 0
vsize: 32808
[startup+890.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22558
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 232491 0 0 0 88360 652 0 0 25 0 1 0 844537026 32833536 7282 4294967295 134512640 134716908 3221224576 3221222880 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8016 7282 1111 63 0 7953 0
vsize: 32064
[startup+900.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22558
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 243573 0 0 0 89330 681 0 0 25 0 1 0 844537026 32964608 7314 4294967295 134512640 134716908 3221224576 3221222508 1074050752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8048 7314 1111 63 0 7985 0
vsize: 32192
[startup+910.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22558
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 254612 0 0 0 90301 711 0 0 25 0 1 0 844537026 33222656 7377 4294967295 134512640 134716908 3221224576 3221222280 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8111 7377 1111 63 0 8048 0
vsize: 32444
[startup+920.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22558
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 263106 0 0 0 91279 734 0 0 25 0 1 0 844537026 34598912 7604 4294967295 134512640 134716908 3221224576 3221220632 1074860227 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8447 7604 1111 63 0 8384 0
vsize: 33788
[startup+930.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22558
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 272896 0 0 0 92252 760 0 0 25 0 1 0 844537026 34156544 7549 4294967295 134512640 134716908 3221224576 3221221856 1074140013 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8339 7549 1111 63 0 8276 0
vsize: 33356
[startup+940.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22558
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 276976 0 0 0 93239 774 0 0 25 0 1 0 844537026 33800192 7518 4294967295 134512640 134716908 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8252 7518 1111 63 0 8189 0
vsize: 33008
[startup+950.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22558
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 281137 0 0 0 94225 787 0 0 25 0 1 0 844537026 33800192 7518 4294967295 134512640 134716908 3221224576 3221222928 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8252 7518 1111 63 0 8189 0
vsize: 33008
[startup+960.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22558
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 284568 0 0 0 95215 798 0 0 25 0 1 0 844537026 33853440 7531 4294967295 134512640 134716908 3221224576 3221222488 1074138237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8265 7531 1111 63 0 8202 0
vsize: 33060
[startup+970.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22558
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 287938 0 0 0 96204 809 0 0 25 0 1 0 844537026 33800192 7518 4294967295 134512640 134716908 3221224576 3221222508 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8252 7518 1111 63 0 8189 0
vsize: 33008
[startup+980.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22558
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 291623 0 0 0 97194 820 0 0 25 0 1 0 844537026 33853440 7521 4294967295 134512640 134716908 3221224576 3221222992 1074116666 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8265 7521 1111 63 0 8202 0
vsize: 33060
[startup+990.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22558
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 295215 0 0 0 98183 831 0 0 25 0 1 0 844537026 33800192 7518 4294967295 134512640 134716908 3221224576 3221221760 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8252 7518 1111 63 0 8189 0
vsize: 33008
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22558
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 298499 0 0 0 99172 842 0 0 25 0 1 0 844537026 34332672 7542 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8382 7543 1111 63 0 8319 0
vsize: 33528
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22558
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 301565 0 0 0 100162 852 0 0 25 0 1 0 844537026 33800192 7518 4294967295 134512640 134716908 3221224576 3221222912 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8252 7518 1111 63 0 8189 0
vsize: 33008
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22558
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 304361 0 0 0 101152 862 0 0 25 0 1 0 844537026 33800192 7518 4294967295 134512640 134716908 3221224576 3221222928 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8252 7518 1111 63 0 8189 0
vsize: 33008
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22558
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 306252 0 0 0 102147 867 0 0 25 0 1 0 844537026 33800192 7518 4294967295 134512640 134716908 3221224576 3221221968 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8252 7518 1111 63 0 8189 0
vsize: 33008
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22558
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 308141 0 0 0 103140 874 0 0 25 0 1 0 844537026 33800192 7518 4294967295 134512640 134716908 3221224576 3221222960 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8252 7518 1111 63 0 8189 0
vsize: 33008
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22560
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 310003 0 0 0 104134 881 0 0 25 0 1 0 844537026 33800192 7518 4294967295 134512640 134716908 3221224576 3221222928 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8252 7518 1111 63 0 8189 0
vsize: 33008
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22560
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 311914 0 0 0 105127 888 0 0 25 0 1 0 844537026 34263040 7541 4294967295 134512640 134716908 3221224576 3221220540 1074860620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8365 7541 1111 63 0 8302 0
vsize: 33460
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22560
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 313858 0 0 0 106119 895 0 0 25 0 1 0 844537026 33800192 7518 4294967295 134512640 134716908 3221224576 3221222904 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8252 7518 1111 63 0 8189 0
vsize: 33008
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22560
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 316059 0 0 0 107112 903 0 0 25 0 1 0 844537026 33800192 7518 4294967295 134512640 134716908 3221224576 3221222864 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8252 7518 1111 63 0 8189 0
vsize: 33008
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22560
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 322219 0 0 0 108096 919 0 0 25 0 1 0 844537026 33800192 7518 4294967295 134512640 134716908 3221224576 3221222540 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8252 7518 1111 63 0 8189 0
vsize: 33008
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22560
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 330438 0 0 0 109072 943 0 0 25 0 1 0 844537026 33959936 7557 4294967295 134512640 134716908 3221224576 3221222816 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8291 7557 1111 63 0 8228 0
vsize: 33164
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22560
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 337254 0 0 0 110051 964 0 0 25 0 1 0 844537026 34066432 7583 4294967295 134512640 134716908 3221224576 3221222576 1074056630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8317 7583 1111 63 0 8254 0
vsize: 33268
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22560
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 345361 0 0 0 111029 987 0 0 25 0 1 0 844537026 34258944 7630 4294967295 134512640 134716908 3221224576 3221222304 1075635468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8364 7630 1111 63 0 8301 0
vsize: 33456
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22560
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 353959 0 0 0 112006 1010 0 0 25 0 1 0 844537026 34418688 7669 4294967295 134512640 134716908 3221224576 3221222960 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8403 7669 1111 63 0 8340 0
vsize: 33612
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22560
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 361012 0 0 0 112985 1031 0 0 25 0 1 0 844537026 34418688 7669 4294967295 134512640 134716908 3221224576 3221221616 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8403 7669 1111 63 0 8340 0
vsize: 33612
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22560
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 369891 0 0 0 113964 1053 0 0 25 0 1 0 844537026 34742272 7748 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8482 7748 1111 63 0 8419 0
vsize: 33928
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22560
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 381332 0 0 0 114934 1083 0 0 25 0 1 0 844537026 35438592 7916 4294967295 134512640 134716908 3221224576 3221222960 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8652 7916 1111 63 0 8589 0
vsize: 34608
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22560
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 391824 0 0 0 115906 1110 0 0 25 0 1 0 844537026 35803136 8007 4294967295 134512640 134716908 3221224576 3221222976 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8741 8007 1111 63 0 8678 0
vsize: 34964
[startup+1174.96 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 22560
Raw data (stat): 22501 (bsolo_lpr-v2) R 22500 8378 8377 0 -1 0 391824 0 0 0 115906 1110 0 0 25 0 1 0 844537026 35803136 8007 4294967295 134512640 134716908 3221224576 3221222976 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8741 8007 1111 63 0 8678 0
vsize: 0

Child status: 0
Real time (s): 1174.96
CPU time (s): 1175.11
CPU user time (s): 1163.92
CPU system time (s): 11.1953
CPU usage (%): 100.013
Max. virtual memory (Kb): 34964
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####