PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb
MD5SUM	85cf0fb6ed84e77eea7ef88259fe2fe8
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	10
Number of bits of the biggest number in a constraint	4
Biggest sum of numbers in a constraint	104
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	16.5575
Number of variables	4644
Total number of constraints	35898
Number of constraints which are clauses	30228
Number of constraints which are cardinality constraints (but not clauses)	5592
Number of constraints which are nor clauses,nor cardinality constraints	78
Minimum length of a constraint	1
Maximum length of a constraint	29
Trace number 39737

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        887008 kB
Buffers:         33768 kB
Cached:          89456 kB
SwapCached:        604 kB
Active:          35320 kB
Inactive:        89996 kB
HighTotal:      131008 kB
HighFree:        96096 kB
LowTotal:       903652 kB
LowFree:        790912 kB
SwapTotal:     2097136 kB
SwapFree:      2095596 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           5160 kB
Slab:            16768 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 19:12:44 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 27803 7 1175.05 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 4644 variables and 31428 constraints.
c After prepocess the problem consists of 4644 variables and 31428 constraints.
c preprocess terminated 58.473 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.97 0.92 2/54 7325
Raw data (stat): 7325 (runsolver) R 7324 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 895302768 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.0011 s]
Raw data (loadavg): 0.93 0.97 0.92 2/54 7325
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 41723 0 0 0 881 116 0 0 25 0 1 0 895302768 56664064 12942 4294967295 134512640 134716908 3221224576 3221222908 1076647536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13834 12942 1111 63 0 13771 0
vsize: 55336
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 7325
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 66339 0 0 0 1809 187 0 0 25 0 1 0 895302768 70680576 16396 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17256 16396 1111 63 0 17193 0
vsize: 69024
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 7325
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 78548 0 0 0 2774 222 0 0 25 0 1 0 895302768 70680576 16396 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17256 16396 1111 63 0 17193 0
vsize: 69024
[startup+40.0012 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 7325
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 89282 0 0 0 3743 254 0 0 25 0 1 0 895302768 70680576 16396 4294967295 134512640 134716908 3221224576 3221222940 134539223 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17256 16396 1111 63 0 17193 0
vsize: 69024
[startup+50.0009 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 7325
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 109382 0 0 0 4687 310 0 0 25 0 1 0 895302768 72314880 16795 4294967295 134512640 134716908 3221224576 3221223080 134543638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17655 16795 1111 63 0 17592 0
vsize: 70620
[startup+60.0008 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 7325
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 130731 0 0 0 5628 369 0 0 25 0 1 0 895302768 70680576 16410 4294967295 134512640 134716908 3221224576 3221223232 134536678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17256 16410 1111 63 0 17193 0
vsize: 69024
[startup+70.0015 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 7325
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 130733 0 0 0 6625 371 0 0 25 0 1 0 895302768 70680576 16412 4294967295 134512640 134716908 3221224576 3221223084 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17256 16412 1111 63 0 17193 0
vsize: 69024
[startup+80.0011 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 7325
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 130733 0 0 0 7624 372 0 0 25 0 1 0 895302768 70680576 16412 4294967295 134512640 134716908 3221224576 3221223216 134543070 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17256 16412 1111 63 0 17193 0
vsize: 69024
[startup+90.0009 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 7325
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 130733 0 0 0 8623 373 0 0 25 0 1 0 895302768 70680576 16412 4294967295 134512640 134716908 3221224576 3221223084 134535903 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17256 16412 1111 63 0 17193 0
vsize: 69024
[startup+100.001 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 7325
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 130733 0 0 0 9622 375 0 0 25 0 1 0 895302768 70680576 16412 4294967295 134512640 134716908 3221224576 3221223248 134594364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17256 16412 1111 63 0 17193 0
vsize: 69024
[startup+110.001 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 7325
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 130733 0 0 0 10622 376 0 0 25 0 1 0 895302768 70680576 16412 4294967295 134512640 134716908 3221224576 3221223072 134699780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17256 16412 1111 63 0 17193 0
vsize: 69024
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7325
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 130733 0 0 0 11621 376 0 0 25 0 1 0 895302768 70680576 16412 4294967295 134512640 134716908 3221224576 3221223184 134549302 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17256 16412 1111 63 0 17193 0
vsize: 69024
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7325
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 130733 0 0 0 12621 377 0 0 25 0 1 0 895302768 70680576 16412 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17256 16412 1111 63 0 17193 0
vsize: 69024
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7325
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 130733 0 0 0 13620 378 0 0 25 0 1 0 895302768 70680576 16412 4294967295 134512640 134716908 3221224576 3221223216 134698416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17256 16412 1111 63 0 17193 0
vsize: 69024
[startup+150.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7325
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 130733 0 0 0 14619 378 0 0 25 0 1 0 895302768 70680576 16412 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17256 16412 1111 63 0 17193 0
vsize: 69024
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7325
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 130733 0 0 0 15619 380 0 0 25 0 1 0 895302768 70680576 16412 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17256 16412 1111 63 0 17193 0
vsize: 69024
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7325
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 130733 0 0 0 16618 380 0 0 25 0 1 0 895302768 70680576 16412 4294967295 134512640 134716908 3221224576 3221223144 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17256 16412 1111 63 0 17193 0
vsize: 69024
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7325
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 130733 0 0 0 17618 381 0 0 25 0 1 0 895302768 70680576 16412 4294967295 134512640 134716908 3221224576 3221223168 134549809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17256 16412 1111 63 0 17193 0
vsize: 69024
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7325
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 130733 0 0 0 18617 382 0 0 25 0 1 0 895302768 70680576 16412 4294967295 134512640 134716908 3221224576 3221223136 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17256 16412 1111 63 0 17193 0
vsize: 69024
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7325
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 130733 0 0 0 19617 382 0 0 25 0 1 0 895302768 70680576 16412 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17256 16412 1111 63 0 17193 0
vsize: 69024
[startup+210.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7325
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 130733 0 0 0 20617 382 0 0 25 0 1 0 895302768 70680576 16412 4294967295 134512640 134716908 3221224576 3221223116 134539235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17256 16412 1111 63 0 17193 0
vsize: 69024
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7325
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 130733 0 0 0 21616 383 0 0 25 0 1 0 895302768 70680576 16412 4294967295 134512640 134716908 3221224576 3221223220 134539580 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17256 16412 1111 63 0 17193 0
vsize: 69024
[startup+230.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7325
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 130733 0 0 0 22616 383 0 0 25 0 1 0 895302768 70680576 16412 4294967295 134512640 134716908 3221224576 3221223328 134592368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17256 16412 1111 63 0 17193 0
vsize: 69024
[startup+240.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7325
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 130733 0 0 0 23616 384 0 0 25 0 1 0 895302768 70680576 16412 4294967295 134512640 134716908 3221224576 3221223144 1077377254 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17256 16412 1111 63 0 17193 0
vsize: 69024
[startup+250.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7325
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 130733 0 0 0 24615 385 0 0 25 0 1 0 895302768 70680576 16412 4294967295 134512640 134716908 3221224576 3221223256 134552650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17256 16412 1111 63 0 17193 0
vsize: 69024
[startup+260.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7325
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 130733 0 0 0 25614 385 0 0 25 0 1 0 895302768 70680576 16412 4294967295 134512640 134716908 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17256 16412 1111 63 0 17193 0
vsize: 69024
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.92 3/54 7325
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 130742 0 0 0 26613 387 0 0 25 0 1 0 895302768 70811648 16421 4294967295 134512640 134716908 3221224576 3221223304 134543830 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17288 16421 1111 63 0 17225 0
vsize: 69152
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7325
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 130938 0 0 0 27612 388 0 0 25 0 1 0 895302768 71606272 16617 4294967295 134512640 134716908 3221224576 3221223240 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17482 16617 1111 63 0 17419 0
vsize: 69928
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7325
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 131133 0 0 0 28610 390 0 0 25 0 1 0 895302768 72339456 16812 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17661 16812 1111 63 0 17598 0
vsize: 70644
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7325
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 131256 0 0 0 29609 391 0 0 25 0 1 0 895302768 72847360 16935 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17785 16935 1111 63 0 17722 0
vsize: 71140
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7325
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 131357 0 0 0 30608 392 0 0 25 0 1 0 895302768 73252864 17036 4294967295 134512640 134716908 3221224576 3221223316 134524380 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17884 17036 1111 63 0 17821 0
vsize: 71536
[startup+320.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7325
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 131521 0 0 0 31608 393 0 0 25 0 1 0 895302768 73928704 17200 4294967295 134512640 134716908 3221224576 3221223180 134549858 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18049 17200 1111 63 0 17986 0
vsize: 72196
[startup+330.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7325
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 131623 0 0 0 32608 393 0 0 25 0 1 0 895302768 74432512 17302 4294967295 134512640 134716908 3221224576 3221223264 134534098 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18172 17302 1111 63 0 18109 0
vsize: 72688
[startup+340.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7325
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 131709 0 0 0 33607 394 0 0 25 0 1 0 895302768 74702848 17388 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18238 17388 1111 63 0 18175 0
vsize: 72952
[startup+350.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7325
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 131813 0 0 0 34606 395 0 0 25 0 1 0 895302768 75108352 17492 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18337 17492 1111 63 0 18274 0
vsize: 73348
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7325
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 131840 0 0 0 35606 396 0 0 25 0 1 0 895302768 75243520 17519 4294967295 134512640 134716908 3221224576 3221223084 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18370 17519 1111 63 0 18307 0
vsize: 73480
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7325
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 131927 0 0 0 36605 397 0 0 25 0 1 0 895302768 75649024 17606 4294967295 134512640 134716908 3221224576 3221223180 134536779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18469 17606 1111 63 0 18406 0
vsize: 73876
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7325
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 132000 0 0 0 37604 398 0 0 25 0 1 0 895302768 75919360 17679 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18535 17679 1111 63 0 18472 0
vsize: 74140
[startup+390.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7325
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 132047 0 0 0 38604 398 0 0 25 0 1 0 895302768 76189696 17726 4294967295 134512640 134716908 3221224576 3221223256 134552650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18601 17726 1111 63 0 18538 0
vsize: 74404
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7325
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 132069 0 0 0 39603 399 0 0 25 0 1 0 895302768 76189696 17748 4294967295 134512640 134716908 3221224576 3221223408 134551454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18601 17748 1111 63 0 18538 0
vsize: 74404
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 7325
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 132117 0 0 0 40603 400 0 0 25 0 1 0 895302768 76435456 17796 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18661 17796 1111 63 0 18598 0
vsize: 74644
[startup+420.005 s]
Raw data (loadavg): 1.07 0.99 0.93 2/54 7378
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 132182 0 0 0 41601 401 0 0 25 0 1 0 895302768 76701696 17861 4294967295 134512640 134716908 3221224576 3221223084 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18726 17861 1111 63 0 18663 0
vsize: 74904
[startup+430.004 s]
Raw data (loadavg): 1.06 0.99 0.93 2/54 7378
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 132182 0 0 0 42601 401 0 0 25 0 1 0 895302768 76701696 17861 4294967295 134512640 134716908 3221224576 3221223232 134543684 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18726 17861 1111 63 0 18663 0
vsize: 74904
[startup+440.004 s]
Raw data (loadavg): 1.05 0.99 0.93 2/54 7378
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 132272 0 0 0 43601 402 0 0 25 0 1 0 895302768 77090816 17951 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18821 17951 1111 63 0 18758 0
vsize: 75284
[startup+450.004 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 7378
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 132307 0 0 0 44600 403 0 0 25 0 1 0 895302768 77225984 17986 4294967295 134512640 134716908 3221224576 3221223184 134523184 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18854 17986 1111 63 0 18791 0
vsize: 75416
[startup+460.005 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 7378
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 132392 0 0 0 45598 405 0 0 25 0 1 0 895302768 77496320 18071 4294967295 134512640 134716908 3221224576 3221223228 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18920 18071 1111 63 0 18857 0
vsize: 75680
[startup+470.005 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 7378
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 132673 0 0 0 46596 407 0 0 25 0 1 0 895302768 78712832 18352 4294967295 134512640 134716908 3221224576 3221223288 134543665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19217 18352 1111 63 0 19154 0
vsize: 76868
[startup+480.005 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 7378
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 132918 0 0 0 47594 409 0 0 25 0 1 0 895302768 79659008 18597 4294967295 134512640 134716908 3221224576 3221223136 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19448 18597 1111 63 0 19385 0
vsize: 77792
[startup+490.005 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 7380
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 133114 0 0 0 48592 411 0 0 25 0 1 0 895302768 80470016 18793 4294967295 134512640 134716908 3221224576 3221223248 134542968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19646 18793 1111 63 0 19583 0
vsize: 78584
[startup+500.005 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 7380
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 133297 0 0 0 49591 413 0 0 25 0 1 0 895302768 81281024 18976 4294967295 134512640 134716908 3221224576 3221223236 134536752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19844 18976 1111 63 0 19781 0
vsize: 79376
[startup+510.006 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 7380
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 133344 0 0 0 50591 413 0 0 25 0 1 0 895302768 81416192 19023 4294967295 134512640 134716908 3221224576 3221223136 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19877 19023 1111 63 0 19814 0
vsize: 79508
[startup+520.006 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 7380
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 133388 0 0 0 51589 415 0 0 25 0 1 0 895302768 81686528 19067 4294967295 134512640 134716908 3221224576 3221223084 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19943 19067 1111 63 0 19880 0
vsize: 79772
[startup+530.006 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 7380
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 133461 0 0 0 52588 416 0 0 25 0 1 0 895302768 81924096 19140 4294967295 134512640 134716908 3221224576 3221223180 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20001 19140 1111 63 0 19938 0
vsize: 80004
[startup+540.006 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 7380
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 133571 0 0 0 53586 418 0 0 25 0 1 0 895302768 82329600 19250 4294967295 134512640 134716908 3221224576 3221223360 134529243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20100 19250 1111 63 0 20037 0
vsize: 80400
[startup+550.006 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 7380
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 133607 0 0 0 54586 419 0 0 25 0 1 0 895302768 82464768 19286 4294967295 134512640 134716908 3221224576 3221223168 134549541 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20133 19286 1111 63 0 20070 0
vsize: 80532
[startup+560.007 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7380
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 133733 0 0 0 55585 420 0 0 25 0 1 0 895302768 83001344 19412 4294967295 134512640 134716908 3221224576 3221223280 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20264 19412 1111 63 0 20201 0
vsize: 81056
[startup+570.008 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7380
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 133840 0 0 0 56585 420 0 0 25 0 1 0 895302768 83431424 19519 4294967295 134512640 134716908 3221224576 3221223216 134536650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20369 19519 1111 63 0 20306 0
vsize: 81476
[startup+580.008 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7380
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 133874 0 0 0 57584 422 0 0 25 0 1 0 895302768 83566592 19553 4294967295 134512640 134716908 3221224576 3221223132 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20402 19553 1111 63 0 20339 0
vsize: 81608
[startup+590.008 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7380
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 133911 0 0 0 58583 423 0 0 25 0 1 0 895302768 83701760 19590 4294967295 134512640 134716908 3221224576 3221223152 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20435 19590 1111 63 0 20372 0
vsize: 81740
[startup+600.008 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7380
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 133975 0 0 0 59582 423 0 0 25 0 1 0 895302768 83972096 19654 4294967295 134512640 134716908 3221224576 3221223200 134536680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20501 19654 1111 63 0 20438 0
vsize: 82004
[startup+610.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7380
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 133998 0 0 0 60582 424 0 0 25 0 1 0 895302768 84107264 19677 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20534 19677 1111 63 0 20471 0
vsize: 82136
[startup+620.008 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7380
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 134009 0 0 0 61581 425 0 0 25 0 1 0 895302768 84107264 19688 4294967295 134512640 134716908 3221224576 3221223164 134539251 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20534 19688 1111 63 0 20471 0
vsize: 82136
[startup+630.008 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7380
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 134051 0 0 0 62581 426 0 0 25 0 1 0 895302768 84377600 19730 4294967295 134512640 134716908 3221224576 3221223168 134549533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20600 19730 1111 63 0 20537 0
vsize: 82400
[startup+640.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7380
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 134127 0 0 0 63580 427 0 0 25 0 1 0 895302768 84647936 19806 4294967295 134512640 134716908 3221224576 3221223328 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20666 19806 1111 63 0 20603 0
vsize: 82664
[startup+650.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7380
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 134256 0 0 0 64579 427 0 0 25 0 1 0 895302768 85188608 19935 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20798 19935 1111 63 0 20735 0
vsize: 83192
[startup+660.008 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7380
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 134285 0 0 0 65579 428 0 0 25 0 1 0 895302768 85323776 19964 4294967295 134512640 134716908 3221224576 3221223152 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20831 19964 1111 63 0 20768 0
vsize: 83324
[startup+670.008 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7380
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 134351 0 0 0 66578 429 0 0 25 0 1 0 895302768 85585920 20030 4294967295 134512640 134716908 3221224576 3221223116 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20895 20030 1111 63 0 20832 0
vsize: 83580
[startup+680.008 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7380
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 134353 0 0 0 67578 430 0 0 25 0 1 0 895302768 85585920 20032 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20895 20032 1111 63 0 20832 0
vsize: 83580
[startup+690.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7380
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 134389 0 0 0 68577 431 0 0 25 0 1 0 895302768 85721088 20068 4294967295 134512640 134716908 3221224576 3221223212 134543664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20928 20068 1111 63 0 20865 0
vsize: 83712
[startup+700.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7380
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 134438 0 0 0 69576 432 0 0 25 0 1 0 895302768 85856256 20117 4294967295 134512640 134716908 3221224576 3221223392 134590269 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20961 20117 1111 63 0 20898 0
vsize: 83844
[startup+710.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7380
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 134457 0 0 0 70575 432 0 0 25 0 1 0 895302768 85991424 20136 4294967295 134512640 134716908 3221224576 3221223232 134536736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20994 20136 1111 63 0 20931 0
vsize: 83976
[startup+720.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7380
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 134531 0 0 0 71574 433 0 0 25 0 1 0 895302768 86261760 20210 4294967295 134512640 134716908 3221224576 3221223232 134524067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21060 20210 1111 63 0 20997 0
vsize: 84240
[startup+730.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7380
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 134531 0 0 0 72574 434 0 0 25 0 1 0 895302768 86261760 20210 4294967295 134512640 134716908 3221224576 3221223232 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21060 20210 1111 63 0 20997 0
vsize: 84240
[startup+740.008 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7380
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 134561 0 0 0 73573 435 0 0 25 0 1 0 895302768 86396928 20240 4294967295 134512640 134716908 3221224576 3221223060 134699711 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21093 20240 1111 63 0 21030 0
vsize: 84372
[startup+750.008 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7380
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 134615 0 0 0 74572 436 0 0 25 0 1 0 895302768 86667264 20294 4294967295 134512640 134716908 3221224576 3221223116 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21159 20294 1111 63 0 21096 0
vsize: 84636
[startup+760.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7380
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 134636 0 0 0 75571 437 0 0 25 0 1 0 895302768 86667264 20315 4294967295 134512640 134716908 3221224576 3221223240 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21159 20315 1111 63 0 21096 0
vsize: 84636
[startup+770.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7380
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 134666 0 0 0 76570 438 0 0 25 0 1 0 895302768 86802432 20345 4294967295 134512640 134716908 3221224576 3221223244 134543616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21192 20345 1111 63 0 21129 0
vsize: 84768
[startup+780.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7382
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 134688 0 0 0 77569 440 0 0 25 0 1 0 895302768 86937600 20367 4294967295 134512640 134716908 3221224576 3221223180 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21225 20367 1111 63 0 21162 0
vsize: 84900
[startup+790.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7382
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 134747 0 0 0 78568 441 0 0 25 0 1 0 895302768 87207936 20426 4294967295 134512640 134716908 3221224576 3221223312 134535844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21291 20426 1111 63 0 21228 0
vsize: 85164
[startup+800.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7382
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 134747 0 0 0 79567 442 0 0 25 0 1 0 895302768 87207936 20426 4294967295 134512640 134716908 3221224576 3221223280 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21291 20426 1111 63 0 21228 0
vsize: 85164
[startup+810.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7382
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 134748 0 0 0 80566 443 0 0 25 0 1 0 895302768 87207936 20427 4294967295 134512640 134716908 3221224576 3221223304 134524385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21291 20427 1111 63 0 21228 0
vsize: 85164
[startup+820.011 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7382
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 134808 0 0 0 81565 445 0 0 25 0 1 0 895302768 87478272 20487 4294967295 134512640 134716908 3221224576 3221223280 134528656 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21357 20487 1111 63 0 21294 0
vsize: 85428
[startup+830.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7382
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 134808 0 0 0 82564 445 0 0 25 0 1 0 895302768 87478272 20487 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21357 20487 1111 63 0 21294 0
vsize: 85428
[startup+840.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7382
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 134838 0 0 0 83564 446 0 0 25 0 1 0 895302768 87613440 20517 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21390 20517 1111 63 0 21327 0
vsize: 85560
[startup+850.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7382
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 134935 0 0 0 84563 447 0 0 25 0 1 0 895302768 87969792 20614 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21477 20614 1111 63 0 21414 0
vsize: 85908
[startup+860.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7382
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 134964 0 0 0 85562 448 0 0 25 0 1 0 895302768 88104960 20643 4294967295 134512640 134716908 3221224576 3221223168 134543740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20643 1111 63 0 21447 0
vsize: 86040
[startup+870.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7382
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 134984 0 0 0 86561 449 0 0 25 0 1 0 895302768 88104960 20663 4294967295 134512640 134716908 3221224576 3221223184 134548605 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21510 20663 1111 63 0 21447 0
vsize: 86040
[startup+880.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7382
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 135005 0 0 0 87561 449 0 0 25 0 1 0 895302768 88240128 20684 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21543 20684 1111 63 0 21480 0
vsize: 86172
[startup+890.011 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7382
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 135050 0 0 0 88560 450 0 0 25 0 1 0 895302768 88363008 20729 4294967295 134512640 134716908 3221224576 3221223268 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21573 20729 1111 63 0 21510 0
vsize: 86292
[startup+900.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7382
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 135061 0 0 0 89560 451 0 0 25 0 1 0 895302768 88489984 20740 4294967295 134512640 134716908 3221224576 3221223280 134528671 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21604 20740 1111 63 0 21541 0
vsize: 86416
[startup+910.011 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7382
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 135077 0 0 0 90560 451 0 0 25 0 1 0 895302768 88489984 20756 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21604 20756 1111 63 0 21541 0
vsize: 86416
[startup+920.012 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7382
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 135086 0 0 0 91559 452 0 0 25 0 1 0 895302768 88625152 20765 4294967295 134512640 134716908 3221224576 3221223340 134552579 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21637 20765 1111 63 0 21574 0
vsize: 86548
[startup+930.012 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7382
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 135130 0 0 0 92559 453 0 0 25 0 1 0 895302768 88756224 20809 4294967295 134512640 134716908 3221224576 3221223160 134543609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21669 20809 1111 63 0 21606 0
vsize: 86676
[startup+940.012 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7382
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 135150 0 0 0 93558 454 0 0 25 0 1 0 895302768 88891392 20829 4294967295 134512640 134716908 3221224576 3221223216 134543108 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21702 20829 1111 63 0 21639 0
vsize: 86808
[startup+950.011 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7382
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 135155 0 0 0 94557 455 0 0 25 0 1 0 895302768 88891392 20834 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21702 20834 1111 63 0 21639 0
vsize: 86808
[startup+960.012 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7382
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 135172 0 0 0 95556 456 0 0 25 0 1 0 895302768 88891392 20851 4294967295 134512640 134716908 3221224576 3221223200 134543712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21702 20851 1111 63 0 21639 0
vsize: 86808
[startup+970.012 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7382
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 135196 0 0 0 96555 457 0 0 25 0 1 0 895302768 89026560 20875 4294967295 134512640 134716908 3221224576 3221223232 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21735 20875 1111 63 0 21672 0
vsize: 86940
[startup+980.011 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7382
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 135205 0 0 0 97554 458 0 0 25 0 1 0 895302768 89026560 20884 4294967295 134512640 134716908 3221224576 3221223312 134524376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21735 20884 1111 63 0 21672 0
vsize: 86940
[startup+990.012 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7382
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 135205 0 0 0 98554 459 0 0 25 0 1 0 895302768 89026560 20884 4294967295 134512640 134716908 3221224576 3221223296 134584759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21735 20884 1111 63 0 21672 0
vsize: 86940
[startup+1000.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7382
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 135220 0 0 0 99553 459 0 0 25 0 1 0 895302768 89145344 20899 4294967295 134512640 134716908 3221224576 3221223200 134542325 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21764 20899 1111 63 0 21701 0
vsize: 87056
[startup+1010.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7382
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 135234 0 0 0 100553 460 0 0 25 0 1 0 895302768 89145344 20913 4294967295 134512640 134716908 3221224576 3221223244 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21764 20913 1111 63 0 21701 0
vsize: 87056
[startup+1020.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7382
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 135261 0 0 0 101552 461 0 0 25 0 1 0 895302768 89280512 20940 4294967295 134512640 134716908 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21797 20940 1111 63 0 21734 0
vsize: 87188
[startup+1030.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7382
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 135373 0 0 0 102551 462 0 0 25 0 1 0 895302768 89718784 21052 4294967295 134512640 134716908 3221224576 3221223072 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21904 21052 1111 63 0 21841 0
vsize: 87616
[startup+1040.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7382
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 135681 0 0 0 103549 464 0 0 25 0 1 0 895302768 90976256 21360 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22211 21360 1111 63 0 22148 0
vsize: 88844
[startup+1050.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7382
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 135771 0 0 0 104549 465 0 0 25 0 1 0 895302768 91447296 21450 4294967295 134512640 134716908 3221224576 3221223204 1077374084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22326 21450 1111 63 0 22263 0
vsize: 89304
[startup+1060.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7382
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 135894 0 0 0 105548 465 0 0 25 0 1 0 895302768 91844608 21573 4294967295 134512640 134716908 3221224576 3221223304 134532457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22423 21573 1111 63 0 22360 0
vsize: 89692
[startup+1070.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7382
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 135946 0 0 0 106548 466 0 0 25 0 1 0 895302768 92106752 21625 4294967295 134512640 134716908 3221224576 3221223228 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22487 21625 1111 63 0 22424 0
vsize: 89948
[startup+1080.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7382
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 136040 0 0 0 107548 466 0 0 25 0 1 0 895302768 92512256 21719 4294967295 134512640 134716908 3221224576 3221223136 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22586 21719 1111 63 0 22523 0
vsize: 90344
[startup+1090.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7382
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 136139 0 0 0 108547 467 0 0 25 0 1 0 895302768 92897280 21818 4294967295 134512640 134716908 3221224576 3221223320 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22680 21818 1111 63 0 22617 0
vsize: 90720
[startup+1100.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7382
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 136167 0 0 0 109547 468 0 0 25 0 1 0 895302768 93032448 21846 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22713 21846 1111 63 0 22650 0
vsize: 90852
[startup+1110.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7382
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 136167 0 0 0 110546 469 0 0 25 0 1 0 895302768 93032448 21846 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22713 21846 1111 63 0 22650 0
vsize: 90852
[startup+1120.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7382
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 136190 0 0 0 111545 470 0 0 25 0 1 0 895302768 93032448 21869 4294967295 134512640 134716908 3221224576 3221223204 134698632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22713 21869 1111 63 0 22650 0
vsize: 90852
[startup+1130.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7382
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 136243 0 0 0 112544 471 0 0 25 0 1 0 895302768 93302784 21922 4294967295 134512640 134716908 3221224576 3221223196 134549508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22779 21922 1111 63 0 22716 0
vsize: 91116
[startup+1140.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7382
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 136269 0 0 0 113543 472 0 0 25 0 1 0 895302768 93401088 21948 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22803 21948 1111 63 0 22740 0
vsize: 91212
[startup+1150.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7382
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 136306 0 0 0 114543 473 0 0 25 0 1 0 895302768 93536256 21985 4294967295 134512640 134716908 3221224576 3221223304 134558807 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22836 21985 1111 63 0 22773 0
vsize: 91344
[startup+1160.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7382
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 136364 0 0 0 115542 474 0 0 25 0 1 0 895302768 93806592 22043 4294967295 134512640 134716908 3221224576 3221223132 134539265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22902 22043 1111 63 0 22839 0
vsize: 91608
[startup+1170.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 7382
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 136402 0 0 0 116542 474 0 0 25 0 1 0 895302768 93941760 22081 4294967295 134512640 134716908 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22935 22081 1111 63 0 22872 0
vsize: 91740
[startup+1174.9 s]
Raw data (loadavg): 1.00 0.99 0.93 1/53 7382
Raw data (stat): 7325 (bsolo_lpr-v2) R 7324 7266 7265 0 -1 0 136402 0 0 0 116542 474 0 0 25 0 1 0 895302768 93941760 22081 4294967295 134512640 134716908 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22935 22081 1111 63 0 22872 0
vsize: 0

Child status: 0
Real time (s): 1174.9
CPU time (s): 1175.05
CPU user time (s): 1170.26
CPU system time (s): 4.79527
CPU usage (%): 100.013
Max. virtual memory (Kb): 91740
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####