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-ran12x12.opb
MD5SUM	eac61d4d68844395596b0518195dd6df
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	493056
Optimality of the best value was proved	NO
Number of terms in the objective function	3024
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	839045346
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	839045346
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	41.1977
Number of variables	3024
Total number of constraints	168
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	168
Minimum length of a constraint	21
Maximum length of a constraint	240
Trace number 40460

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-08 11:28:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28526 boxname=wulflinc1 idbench=1482 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  eac61d4d68844395596b0518195dd6df  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-ran12x12.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-ran12x12.opb
IDLAUNCH: 28526
/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:        867620 kB
Buffers:         25072 kB
Cached:         117244 kB
SwapCached:       1164 kB
Active:          25608 kB
Inactive:       118964 kB
HighTotal:      131008 kB
HighFree:        37128 kB
LowTotal:       903652 kB
LowFree:        830492 kB
SwapTotal:     2097136 kB
SwapFree:      2094844 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5260 kB
Slab:            16612 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 11:48:04 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 28526 7 1175.04 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 3024 variables and 192 constraints.
c After prepocess the problem consists of 1700 variables and 246 constraints.
c preprocess terminated 2.326 s
c Initial Lower Bound: 233799
c Lower Bound Elapsed time: 0.10275
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.03 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.93 0.98 0.91 2/55 22408
Raw data (stat): 22408 (runsolver) R 22407 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 844418747 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 s]
Raw data (loadavg): 0.94 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 6959 0 0 0 978 19 0 0 25 0 1 0 844418747 20836352 4369 4294967295 134512640 134716908 3221224576 3221222864 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5087 4369 1111 63 0 5024 0
vsize: 20348
[startup+20.0008 s]
Raw data (loadavg): 0.95 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 10248 0 0 0 1967 30 0 0 25 0 1 0 844418747 21278720 4421 4294967295 134512640 134716908 3221224576 3221220648 1074950184 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5195 4421 1111 63 0 5132 0
vsize: 20780
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 13434 0 0 0 2957 40 0 0 25 0 1 0 844418747 21032960 4379 4294967295 134512640 134716908 3221224576 3221221496 1074950119 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5095 4378 1111 63 0 5032 0
vsize: 20540
[startup+40.0014 s]
Raw data (loadavg): 0.96 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 16604 0 0 0 3946 51 0 0 25 0 1 0 844418747 21086208 4379 4294967295 134512640 134716908 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5148 4379 1111 63 0 5085 0
vsize: 20592
[startup+50.0021 s]
Raw data (loadavg): 0.97 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 19634 0 0 0 4937 61 0 0 25 0 1 0 844418747 20869120 4378 4294967295 134512640 134716908 3221224576 3221222320 1075640387 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5095 4378 1111 63 0 5032 0
vsize: 20380
[startup+60.0019 s]
Raw data (loadavg): 0.97 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 22461 0 0 0 5929 69 0 0 25 0 1 0 844418747 21168128 4409 4294967295 134512640 134716908 3221224576 3221220736 1075095157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5168 4409 1111 63 0 5105 0
vsize: 20672
[startup+70.0027 s]
Raw data (loadavg): 0.97 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 25309 0 0 0 6918 80 0 0 25 0 1 0 844418747 21159936 4408 4294967295 134512640 134716908 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5095 4379 1111 63 0 5032 0
vsize: 20664
[startup+80.0039 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 27873 0 0 0 7910 88 0 0 25 0 1 0 844418747 20971520 4372 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5120 4372 1111 63 0 5057 0
vsize: 20480
[startup+90.0033 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 30306 0 0 0 8902 96 0 0 25 0 1 0 844418747 20836352 4371 4294967295 134512640 134716908 3221224576 3221222912 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5087 4371 1111 63 0 5024 0
vsize: 20348
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 32234 0 0 0 9893 105 0 0 25 0 1 0 844418747 20836352 4371 4294967295 134512640 134716908 3221224576 3221222504 1077380594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5087 4371 1111 63 0 5024 0
vsize: 20348
[startup+110.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 33955 0 0 0 10886 113 0 0 25 0 1 0 844418747 20869120 4372 4294967295 134512640 134716908 3221224576 3221222576 1074918544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5095 4372 1111 63 0 5032 0
vsize: 20380
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 35591 0 0 0 11878 120 0 0 25 0 1 0 844418747 20869120 4373 4294967295 134512640 134716908 3221224576 3221222320 1075640230 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5095 4373 1111 63 0 5032 0
vsize: 20380
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 37160 0 0 0 12873 126 0 0 25 0 1 0 844418747 20836352 4371 4294967295 134512640 134716908 3221224576 3221222992 1074116660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5087 4371 1111 63 0 5024 0
vsize: 20348
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 38744 0 0 0 13867 132 0 0 25 0 1 0 844418747 20836352 4371 4294967295 134512640 134716908 3221224576 3221222352 1074153753 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5087 4371 1111 63 0 5024 0
vsize: 20348
[startup+150.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 40135 0 0 0 14862 137 0 0 25 0 1 0 844418747 20836352 4371 4294967295 134512640 134716908 3221224576 3221222544 1075961296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5087 4371 1111 63 0 5024 0
vsize: 20348
[startup+160.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 41054 0 0 0 15857 142 0 0 25 0 1 0 844418747 20992000 4380 4294967295 134512640 134716908 3221224576 3221221072 1075859855 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5125 4380 1111 63 0 5062 0
vsize: 20500
[startup+170.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 41610 0 0 0 16855 145 0 0 25 0 1 0 844418747 20869120 4376 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5095 4376 1111 63 0 5032 0
vsize: 20380
[startup+180.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 42123 0 0 0 17852 148 0 0 25 0 1 0 844418747 20865024 4377 4294967295 134512640 134716908 3221224576 3221222976 1074119059 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5094 4377 1111 63 0 5031 0
vsize: 20376
[startup+190.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 46199 0 0 0 18834 166 0 0 25 0 1 0 844418747 20836352 4377 4294967295 134512640 134716908 3221224576 3221222872 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5087 4377 1111 63 0 5024 0
vsize: 20348
[startup+200.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 54592 0 0 0 19807 193 0 0 25 0 1 0 844418747 21446656 4518 4294967295 134512640 134716908 3221224576 3221222864 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5236 4518 1111 63 0 5173 0
vsize: 20944
[startup+210.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 54809 0 0 0 20805 196 0 0 25 0 1 0 844418747 21446656 4525 4294967295 134512640 134716908 3221224576 3221222856 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5236 4525 1111 63 0 5173 0
vsize: 20944
[startup+220.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 57547 0 0 0 21794 206 0 0 25 0 1 0 844418747 21446656 4526 4294967295 134512640 134716908 3221224576 3221222152 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5236 4526 1111 63 0 5173 0
vsize: 20944
[startup+230.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 61233 0 0 0 22779 222 0 0 25 0 1 0 844418747 21446656 4526 4294967295 134512640 134716908 3221224576 3221222320 1075640370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5236 4526 1111 63 0 5173 0
vsize: 20944
[startup+240.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 64576 0 0 0 23766 235 0 0 25 0 1 0 844418747 21446656 4526 4294967295 134512640 134716908 3221224576 3221222264 1077378088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5236 4526 1111 63 0 5173 0
vsize: 20944
[startup+250.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 69419 0 0 0 24748 253 0 0 25 0 1 0 844418747 21446656 4526 4294967295 134512640 134716908 3221224576 3221222992 1074116578 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5236 4526 1111 63 0 5173 0
vsize: 20944
[startup+260.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 77770 0 0 0 25720 281 0 0 25 0 1 0 844418747 21446656 4526 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5236 4526 1111 63 0 5173 0
vsize: 20944
[startup+270.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 85752 0 0 0 26696 306 0 0 25 0 1 0 844418747 21446656 4526 4294967295 134512640 134716908 3221224576 3221222960 1074153812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5236 4526 1111 63 0 5173 0
vsize: 20944
[startup+280.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 92479 0 0 0 27674 328 0 0 25 0 1 0 844418747 21446656 4526 4294967295 134512640 134716908 3221224576 3221222992 1074116272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5236 4526 1111 63 0 5173 0
vsize: 20944
[startup+290.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 99291 0 0 0 28651 351 0 0 25 0 1 0 844418747 21446656 4526 4294967295 134512640 134716908 3221224576 3221222560 1074138460 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5285 4527 1111 63 0 5222 0
vsize: 20944
[startup+300.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 108466 0 0 0 29624 378 0 0 25 0 1 0 844418747 21446656 4526 4294967295 134512640 134716908 3221224576 3221222776 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5236 4526 1111 63 0 5173 0
vsize: 20944
[startup+310.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 113332 0 0 0 30605 398 0 0 25 0 1 0 844418747 21446656 4526 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5236 4526 1111 63 0 5173 0
vsize: 20944
[startup+320.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 118671 0 0 0 31583 419 0 0 25 0 1 0 844418747 21446656 4526 4294967295 134512640 134716908 3221224576 3221222708 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5236 4526 1111 63 0 5173 0
vsize: 20944
[startup+330.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 123823 0 0 0 32566 436 0 0 25 0 1 0 844418747 21446656 4526 4294967295 134512640 134716908 3221224576 3221222976 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5236 4526 1111 63 0 5173 0
vsize: 20944
[startup+340.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 128951 0 0 0 33549 454 0 0 25 0 1 0 844418747 21598208 4527 4294967295 134512640 134716908 3221224576 3221222496 1075802507 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5273 4527 1111 63 0 5210 0
vsize: 21092
[startup+350.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 134538 0 0 0 34529 474 0 0 25 0 1 0 844418747 21598208 4527 4294967295 134512640 134716908 3221224576 3221222224 1075818298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5273 4527 1111 63 0 5210 0
vsize: 21092
[startup+360.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 139789 0 0 0 35511 493 0 0 25 0 1 0 844418747 21446656 4526 4294967295 134512640 134716908 3221224576 3221222912 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5236 4526 1111 63 0 5173 0
vsize: 20944
[startup+370.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 145154 0 0 0 36491 512 0 0 25 0 1 0 844418747 21446656 4526 4294967295 134512640 134716908 3221224576 3221222888 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5236 4526 1111 63 0 5173 0
vsize: 20944
[startup+380.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 149958 0 0 0 37473 531 0 0 25 0 1 0 844418747 21446656 4526 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5236 4526 1111 63 0 5173 0
vsize: 20944
[startup+390.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 155286 0 0 0 38452 552 0 0 25 0 1 0 844418747 21446656 4526 4294967295 134512640 134716908 3221224576 3221222976 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5236 4526 1111 63 0 5173 0
vsize: 20944
[startup+400.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 160707 0 0 0 39433 571 0 0 25 0 1 0 844418747 21446656 4526 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5236 4526 1111 63 0 5173 0
vsize: 20944
[startup+410.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 168830 0 0 0 40409 595 0 0 25 0 1 0 844418747 21762048 4577 4294967295 134512640 134716908 3221224576 3221222976 1074118784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5313 4577 1111 63 0 5250 0
vsize: 21252
[startup+420.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 172429 0 0 0 41393 612 0 0 25 0 1 0 844418747 21655552 4577 4294967295 134512640 134716908 3221224576 3221222764 1074208235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5287 4577 1111 63 0 5224 0
vsize: 21148
[startup+430.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 176242 0 0 0 42379 626 0 0 25 0 1 0 844418747 22020096 4589 4294967295 134512640 134716908 3221224576 3221220896 1075171042 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5376 4589 1111 63 0 5313 0
vsize: 21504
[startup+440.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 179751 0 0 0 43364 641 0 0 25 0 1 0 844418747 21655552 4577 4294967295 134512640 134716908 3221224576 3221222928 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5287 4577 1111 63 0 5224 0
vsize: 21148
[startup+450.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 183249 0 0 0 44349 656 0 0 25 0 1 0 844418747 21655552 4577 4294967295 134512640 134716908 3221224576 3221222304 1075828228 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5287 4577 1111 63 0 5224 0
vsize: 21148
[startup+460.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 186842 0 0 0 45335 670 0 0 25 0 1 0 844418747 21655552 4577 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5287 4577 1111 63 0 5224 0
vsize: 21148
[startup+470.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 190657 0 0 0 46321 684 0 0 25 0 1 0 844418747 21655552 4577 4294967295 134512640 134716908 3221224576 3221222480 1075460134 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5287 4577 1111 63 0 5224 0
vsize: 21148
[startup+480.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 194325 0 0 0 47308 698 0 0 25 0 1 0 844418747 22024192 4591 4294967295 134512640 134716908 3221224576 3221220960 1076116804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5377 4591 1111 63 0 5314 0
vsize: 21508
[startup+490.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 198082 0 0 0 48293 712 0 0 25 0 1 0 844418747 21655552 4577 4294967295 134512640 134716908 3221224576 3221222152 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5287 4577 1111 63 0 5224 0
vsize: 21148
[startup+500.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 202021 0 0 0 49278 728 0 0 25 0 1 0 844418747 22020096 4594 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5376 4594 1111 63 0 5313 0
vsize: 21504
[startup+510.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 205826 0 0 0 50264 741 0 0 25 0 1 0 844418747 21655552 4577 4294967295 134512640 134716908 3221224576 3221222960 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5287 4577 1111 63 0 5224 0
vsize: 21148
[startup+520.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 209296 0 0 0 51252 754 0 0 25 0 1 0 844418747 21655552 4577 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5287 4577 1111 63 0 5224 0
vsize: 21148
[startup+530.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 213006 0 0 0 52237 769 0 0 25 0 1 0 844418747 21655552 4577 4294967295 134512640 134716908 3221224576 3221222864 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5287 4577 1111 63 0 5224 0
vsize: 21148
[startup+540.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 216808 0 0 0 53222 784 0 0 25 0 1 0 844418747 21655552 4577 4294967295 134512640 134716908 3221224576 3221222688 1074867212 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5287 4577 1111 63 0 5224 0
vsize: 21148
[startup+550.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 220421 0 0 0 54209 798 0 0 25 0 1 0 844418747 21655552 4577 4294967295 134512640 134716908 3221224576 3221222464 1074050966 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5287 4577 1111 63 0 5224 0
vsize: 21148
[startup+560.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 224223 0 0 0 55195 811 0 0 25 0 1 0 844418747 21823488 4580 4294967295 134512640 134716908 3221224576 3221221616 1075971414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5328 4580 1111 63 0 5265 0
vsize: 21312
[startup+570.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 227765 0 0 0 56182 825 0 0 25 0 1 0 844418747 21655552 4577 4294967295 134512640 134716908 3221224576 3221222304 1075828224 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5287 4577 1111 63 0 5224 0
vsize: 21148
[startup+580.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 231677 0 0 0 57168 839 0 0 25 0 1 0 844418747 21655552 4577 4294967295 134512640 134716908 3221224576 3221223024 1074039475 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5287 4577 1111 63 0 5224 0
vsize: 21148
[startup+590.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 235224 0 0 0 58155 852 0 0 25 0 1 0 844418747 21655552 4577 4294967295 134512640 134716908 3221224576 3221222696 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5287 4577 1111 63 0 5224 0
vsize: 21148
[startup+600.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 238735 0 0 0 59140 867 0 0 25 0 1 0 844418747 21655552 4577 4294967295 134512640 134716908 3221224576 3221222992 1074116396 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5287 4577 1111 63 0 5224 0
vsize: 21148
[startup+610.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 242147 0 0 0 60129 878 0 0 25 0 1 0 844418747 21655552 4577 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5287 4577 1111 63 0 5224 0
vsize: 21148
[startup+620.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 245664 0 0 0 61116 891 0 0 25 0 1 0 844418747 21655552 4577 4294967295 134512640 134716908 3221224576 3221222464 1074050884 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5287 4577 1111 63 0 5224 0
vsize: 21148
[startup+630.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 249222 0 0 0 62101 907 0 0 25 0 1 0 844418747 21684224 4584 4294967295 134512640 134716908 3221224576 3221222760 1077378283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5294 4584 1111 63 0 5231 0
vsize: 21176
[startup+640.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 252441 0 0 0 63088 920 0 0 25 0 1 0 844418747 21684224 4584 4294967295 134512640 134716908 3221224576 3221222888 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5294 4584 1111 63 0 5231 0
vsize: 21176
[startup+650.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 255756 0 0 0 64073 935 0 0 25 0 1 0 844418747 21716992 4584 4294967295 134512640 134716908 3221224576 3221222304 1075635580 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5302 4584 1111 63 0 5239 0
vsize: 21208
[startup+660.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 258960 0 0 0 65059 949 0 0 25 0 1 0 844418747 21716992 4584 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5302 4584 1111 63 0 5239 0
vsize: 21208
[startup+670.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 262240 0 0 0 66046 963 0 0 25 0 1 0 844418747 21716992 4584 4294967295 134512640 134716908 3221224576 3221222480 1075460081 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5302 4584 1111 63 0 5239 0
vsize: 21208
[startup+680.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 265527 0 0 0 67032 977 0 0 25 0 1 0 844418747 22024192 4599 4294967295 134512640 134716908 3221224576 3221220712 1075895477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5377 4599 1111 63 0 5314 0
vsize: 21508
[startup+690.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 268735 0 0 0 68018 991 0 0 25 0 1 0 844418747 21684224 4584 4294967295 134512640 134716908 3221224576 3221222888 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5294 4584 1111 63 0 5231 0
vsize: 21176
[startup+700.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 272169 0 0 0 69004 1005 0 0 25 0 1 0 844418747 21716992 4584 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5302 4584 1111 63 0 5239 0
vsize: 21208
[startup+710.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 275477 0 0 0 69989 1021 0 0 25 0 1 0 844418747 21716992 4586 4294967295 134512640 134716908 3221224576 3221223320 134536879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5302 4586 1111 63 0 5239 0
vsize: 21208
[startup+720.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 278811 0 0 0 70974 1036 0 0 25 0 1 0 844418747 22024192 4596 4294967295 134512640 134716908 3221224576 3221220540 1074860821 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5377 4596 1111 63 0 5314 0
vsize: 21508
[startup+730.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 282330 0 0 0 71961 1049 0 0 25 0 1 0 844418747 21745664 4589 4294967295 134512640 134716908 3221224576 3221223024 1073990251 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5309 4589 1111 63 0 5246 0
vsize: 21236
[startup+740.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 285809 0 0 0 72947 1062 0 0 25 0 1 0 844418747 21913600 4585 4294967295 134512640 134716908 3221224576 3221222224 1075817675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5350 4585 1111 63 0 5287 0
vsize: 21400
[startup+750.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 289230 0 0 0 73934 1076 0 0 25 0 1 0 844418747 21684224 4584 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5294 4584 1111 63 0 5231 0
vsize: 21176
[startup+760.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 292734 0 0 0 74919 1092 0 0 25 0 1 0 844418747 21684224 4584 4294967295 134512640 134716908 3221224576 3221222576 1074056637 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5294 4584 1111 63 0 5231 0
vsize: 21176
[startup+770.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 296137 0 0 0 75903 1107 0 0 25 0 1 0 844418747 21684224 4584 4294967295 134512640 134716908 3221224576 3221222556 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5294 4584 1111 63 0 5231 0
vsize: 21176
[startup+780.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 299488 0 0 0 76889 1121 0 0 25 0 1 0 844418747 22024192 4596 4294967295 134512640 134716908 3221224576 3221220720 1074969443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5377 4596 1111 63 0 5314 0
vsize: 21508
[startup+790.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 302732 0 0 0 77876 1135 0 0 25 0 1 0 844418747 21745664 4589 4294967295 134512640 134716908 3221224576 3221223040 1074119517 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5309 4589 1111 63 0 5246 0
vsize: 21236
[startup+800.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 306104 0 0 0 78862 1149 0 0 25 0 1 0 844418747 21684224 4584 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5294 4584 1111 63 0 5231 0
vsize: 21176
[startup+810.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 309453 0 0 0 79850 1161 0 0 25 0 1 0 844418747 21716992 4586 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5302 4586 1111 63 0 5239 0
vsize: 21208
[startup+820.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 313068 0 0 0 80836 1176 0 0 25 0 1 0 844418747 21684224 4584 4294967295 134512640 134716908 3221224576 3221222152 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5294 4584 1111 63 0 5231 0
vsize: 21176
[startup+830.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 316668 0 0 0 81821 1190 0 0 25 0 1 0 844418747 21684224 4584 4294967295 134512640 134716908 3221224576 3221222912 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5294 4584 1111 63 0 5231 0
vsize: 21176
[startup+840.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 319903 0 0 0 82809 1203 0 0 25 0 1 0 844418747 21716992 4584 4294967295 134512640 134716908 3221224576 3221222992 1074116259 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5302 4584 1111 63 0 5239 0
vsize: 21208
[startup+850.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 323318 0 0 0 83793 1219 0 0 25 0 1 0 844418747 21684224 4584 4294967295 134512640 134716908 3221224576 3221222816 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5294 4584 1111 63 0 5231 0
vsize: 21176
[startup+860.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 326547 0 0 0 84778 1234 0 0 25 0 1 0 844418747 21716992 4584 4294967295 134512640 134716908 3221224576 3221222992 1074116551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5302 4584 1111 63 0 5239 0
vsize: 21208
[startup+870.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 329601 0 0 0 85766 1246 0 0 25 0 1 0 844418747 21684224 4584 4294967295 134512640 134716908 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5294 4584 1111 63 0 5231 0
vsize: 21176
[startup+880.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 332670 0 0 0 86752 1261 0 0 25 0 1 0 844418747 21716992 4586 4294967295 134512640 134716908 3221224576 3221223424 134623469 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5302 4586 1111 63 0 5239 0
vsize: 21208
[startup+890.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 335965 0 0 0 87739 1273 0 0 25 0 1 0 844418747 21716992 4584 4294967295 134512640 134716908 3221224576 3221222928 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5302 4584 1111 63 0 5239 0
vsize: 21208
[startup+900.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 339121 0 0 0 88724 1289 0 0 25 0 1 0 844418747 22024192 4600 4294967295 134512640 134716908 3221224576 3221221684 1077374123 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5309 4589 1111 63 0 5246 0
vsize: 21508
[startup+910.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 342547 0 0 0 89710 1303 0 0 25 0 1 0 844418747 21684224 4584 4294967295 134512640 134716908 3221224576 3221222912 1074153812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5294 4584 1111 63 0 5231 0
vsize: 21176
[startup+920.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 345913 0 0 0 90697 1316 0 0 25 0 1 0 844418747 21684224 4584 4294967295 134512640 134716908 3221224576 3221222960 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5294 4584 1111 63 0 5231 0
vsize: 21176
[startup+930.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 349395 0 0 0 91682 1331 0 0 25 0 1 0 844418747 22024192 4600 4294967295 134512640 134716908 3221224576 3221220576 1075965232 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5377 4600 1111 63 0 5314 0
vsize: 21508
[startup+940.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 352799 0 0 0 92667 1346 0 0 25 0 1 0 844418747 21716992 4584 4294967295 134512640 134716908 3221224576 3221222976 1074119066 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5302 4584 1111 63 0 5239 0
vsize: 21208
[startup+950.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 356143 0 0 0 93653 1360 0 0 25 0 1 0 844418747 21684224 4584 4294967295 134512640 134716908 3221224576 3221222912 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5294 4584 1111 63 0 5231 0
vsize: 21176
[startup+960.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 359530 0 0 0 94640 1373 0 0 25 0 1 0 844418747 21716992 4586 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5302 4586 1111 63 0 5239 0
vsize: 21208
[startup+970.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 363000 0 0 0 95625 1389 0 0 25 0 1 0 844418747 21716992 4584 4294967295 134512640 134716908 3221224576 3221222152 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5302 4584 1111 63 0 5239 0
vsize: 21208
[startup+980.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 366514 0 0 0 96611 1403 0 0 25 0 1 0 844418747 21684224 4584 4294967295 134512640 134716908 3221224576 3221222824 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5294 4584 1111 63 0 5231 0
vsize: 21176
[startup+990.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 370208 0 0 0 97593 1421 0 0 25 0 1 0 844418747 21684224 4584 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5294 4584 1111 63 0 5231 0
vsize: 21176
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 374097 0 0 0 98578 1436 0 0 25 0 1 0 844418747 21716992 4586 4294967295 134512640 134716908 3221224576 3221223040 1074121049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5302 4586 1111 63 0 5239 0
vsize: 21208
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 378811 0 0 0 99562 1452 0 0 25 0 1 0 844418747 21684224 4584 4294967295 134512640 134716908 3221224576 3221222976 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5294 4584 1111 63 0 5231 0
vsize: 21176
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 384568 0 0 0 100542 1473 0 0 25 0 1 0 844418747 21684224 4584 4294967295 134512640 134716908 3221224576 3221222840 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5294 4584 1111 63 0 5231 0
vsize: 21176
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 388017 0 0 0 101526 1488 0 0 25 0 1 0 844418747 21716992 4584 4294967295 134512640 134716908 3221224576 3221222928 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5302 4584 1111 63 0 5239 0
vsize: 21208
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 391367 0 0 0 102513 1502 0 0 25 0 1 0 844418747 21716992 4586 4294967295 134512640 134716908 3221224576 3221222976 1074119040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5302 4586 1111 63 0 5239 0
vsize: 21208
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 394630 0 0 0 103500 1515 0 0 25 0 1 0 844418747 21716992 4586 4294967295 134512640 134716908 3221224576 3221223412 134623296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5302 4586 1111 63 0 5239 0
vsize: 21208
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 397889 0 0 0 104486 1529 0 0 25 0 1 0 844418747 21716992 4586 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5294 4584 1111 63 0 5231 0
vsize: 21208
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 401269 0 0 0 105473 1542 0 0 25 0 1 0 844418747 21716992 4586 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5302 4586 1111 63 0 5239 0
vsize: 21208
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 404645 0 0 0 106459 1557 0 0 25 0 1 0 844418747 22024192 4594 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5377 4594 1111 63 0 5314 0
vsize: 21508
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 407891 0 0 0 107446 1570 0 0 25 0 1 0 844418747 21684224 4584 4294967295 134512640 134716908 3221224576 3221222912 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5294 4584 1111 63 0 5231 0
vsize: 21176
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 411238 0 0 0 108431 1585 0 0 25 0 1 0 844418747 21913600 4585 4294967295 134512640 134716908 3221224576 3221222688 1074867358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5350 4585 1111 63 0 5287 0
vsize: 21400
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 414805 0 0 0 109416 1600 0 0 25 0 1 0 844418747 21684224 4584 4294967295 134512640 134716908 3221224576 3221222824 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5294 4584 1111 63 0 5231 0
vsize: 21176
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 418202 0 0 0 110401 1615 0 0 25 0 1 0 844418747 21684224 4584 4294967295 134512640 134716908 3221224576 3221222416 1074050818 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5294 4584 1111 63 0 5231 0
vsize: 21176
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 421821 0 0 0 111386 1630 0 0 25 0 1 0 844418747 21716992 4584 4294967295 134512640 134716908 3221224576 3221222304 1075635516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5302 4584 1111 63 0 5239 0
vsize: 21208
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 425401 0 0 0 112372 1644 0 0 25 0 1 0 844418747 21716992 4584 4294967295 134512640 134716908 3221224576 3221222152 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5302 4584 1111 63 0 5239 0
vsize: 21208
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 428908 0 0 0 113356 1661 0 0 25 0 1 0 844418747 21684224 4584 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5294 4584 1111 63 0 5231 0
vsize: 21176
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 432474 0 0 0 114342 1675 0 0 25 0 1 0 844418747 22024192 4598 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5377 4599 1111 63 0 5314 0
vsize: 21508
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 436284 0 0 0 115326 1691 0 0 25 0 1 0 844418747 21860352 4598 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5309 4589 1111 63 0 5246 0
vsize: 21348
[startup+1174.88 s]
Raw data (loadavg): 0.99 0.98 0.91 1/54 22408
Raw data (stat): 22408 (bsolo_lpr-v2) R 22407 8378 8377 0 -1 0 436284 0 0 0 115326 1691 0 0 25 0 1 0 844418747 21860352 4598 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5309 4589 1111 63 0 5246 0
vsize: 0

Child status: 0
Real time (s): 1174.88
CPU time (s): 1175.04
CPU user time (s): 1158.05
CPU system time (s): 16.9954
CPU usage (%): 100.014
Max. virtual memory (Kb): 21508
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####