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/milp/normalized-mps-v2-13-7-bienst1.opb
MD5SUM	3be753912a1804561d804d0545fc341d
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	13633395
Number of bits of the biggest sum of numbers	24
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	9232
Total number of constraints	632
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	32
Number of constraints which are nor clauses,nor cardinality constraints	600
Minimum length of a constraint	1
Maximum length of a constraint	260
Trace number 40477

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        727816 kB
Buffers:         24688 kB
Cached:         260380 kB
SwapCached:        940 kB
Active:          32748 kB
Inactive:       254400 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        727564 kB
SwapTotal:     2097136 kB
SwapFree:      2095212 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            13984 kB
Committed_AS:    63700 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 12:23:03 (client local time) WITH STATUS 0 IN 1175.06 SECONDS
stats: 28538 7 1175.06 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 9232 variables and 732 constraints.
c After prepocess the problem consists of 6416 variables and 955 constraints.
c preprocess terminated 5.99 s
c Initial Lower Bound: 1501
c Lower Bound Elapsed time: 2.99525
c Not 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.91 0.96 0.91 1/54 30335
Raw data (stat): 30335 (runsolver) R 30334 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 901484655 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.0002 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 30335
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 13263 0 0 0 965 32 0 0 25 0 1 0 901484655 55271424 12670 4294967295 134512640 134716908 3221224576 3221220484 1074875760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13494 12670 1111 63 0 13431 0
vsize: 53976
[startup+20.0011 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 30335
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 1955 42 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+30.002 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 30335
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 2954 44 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223184 134549318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+40.0017 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 30335
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 3952 46 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+50.0023 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 30335
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 4952 46 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223184 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+60.0025 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 30335
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 5951 47 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223308 134532440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+70.0021 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 30335
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 6950 49 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223344 134592125 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+80.0031 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 30335
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 7949 50 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223408 134551454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+90.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 30335
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 8947 52 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 30335
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 9946 53 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 30335
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 10945 54 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223264 134594336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+120.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 11943 56 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 12943 57 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 13943 57 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+150.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 14943 58 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+160.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 15942 58 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223204 134698629 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+170.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 16942 59 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+180.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 17941 60 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+190.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 18941 61 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+200.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 19940 62 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+210.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 20939 63 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223252 134594355 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+220 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 21938 64 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+229.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 22937 65 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+239.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 23936 67 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+249.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 24936 68 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+259.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 25935 68 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223308 134558784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+269.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 26935 69 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223136 134542706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+279.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 27934 70 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+289.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 28934 71 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+299.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 29933 72 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+309.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 30932 73 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223352 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+319.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 31931 74 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223376 134597700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+329.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 32930 75 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+339.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 33929 77 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+349.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 34928 78 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+359.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 35928 79 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223384 134558597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+369.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 36928 79 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223184 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+379.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 37927 80 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+389.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 38927 81 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+399.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 39926 81 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223344 134597639 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+409.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 40926 82 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223360 134597614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+419.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 41925 83 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+429.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 42924 84 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223376 134597733 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+439.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 43924 85 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221222972 1077379908 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+449.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 44923 86 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223232 134613606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+459.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 45922 88 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+469.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 46921 89 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+479.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 47920 90 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+489.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 48920 90 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+499.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 49920 91 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+509.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 50919 92 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+519.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 51918 94 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+529.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 52917 94 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223312 134591829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+539.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 53916 96 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+549.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 54915 97 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+559.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 55914 98 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+569.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 56913 100 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223320 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+579.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 57912 101 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223304 134558796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+589.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 58912 102 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223344 134592137 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+599.986 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 59911 103 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+609.986 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 60910 104 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+619.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 61910 105 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+629.986 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 62909 105 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223320 134551632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+639.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 63909 106 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223216 134613470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+649.986 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 64908 107 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223184 134549457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+659.986 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 65907 109 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+669.986 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 66906 110 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+679.986 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 67905 111 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+689.986 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 68905 112 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223184 134548629 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+699.986 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 69904 113 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+709.986 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 70904 113 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+719.986 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 71903 114 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+729.986 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 72902 115 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+739.986 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 73902 116 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223368 134597609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+749.986 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 74901 117 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223376 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+759.986 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 75901 117 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223320 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+769.986 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 76901 118 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223216 134613470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+779.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 77900 119 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+789.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 78900 119 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223060 1076647889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+799.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 79900 120 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+809.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 80899 121 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+819.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 81899 122 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+829.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 82898 122 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+839.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 83898 123 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+849.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 84897 124 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223324 134558496 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+859.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 85896 125 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+869.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 86896 126 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+879.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 87895 127 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+889.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 88895 128 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223184 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+899.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 89894 129 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+909.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 90894 130 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223184 134549334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+919.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 91894 130 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+929.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 92893 131 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223216 134698462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+939.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 93893 132 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223184 134549332 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+949.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 94892 132 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+959.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 95892 133 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223184 134549318 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+969.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 96892 134 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+979.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 97891 135 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+989.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 98891 135 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223196 134613780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+999.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 99891 136 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+1009.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 100891 136 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+1019.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 101890 137 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+1029.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 102890 138 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+1039.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 103890 139 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+1049.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 104889 139 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221222972 1077379843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+1059.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 105889 140 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+1069.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 106889 140 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223376 134597591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+1079.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 107889 140 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+1089.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 108889 141 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+1099.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 109889 141 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+1109.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 110889 142 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+1119.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 111889 142 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223336 134592427 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+1129.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 112889 142 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223216 134613447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+1139.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 113888 143 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+1149.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 114888 144 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+1159.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 115888 144 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+1169.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 116887 145 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 52784
[startup+1174.72 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 30337
Raw data (stat): 30335 (bsolo_lpr-v2) R 30334 25568 25567 0 -1 0 17777 0 0 0 116887 145 0 0 25 0 1 0 901484655 54050816 12417 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13196 12417 1111 63 0 13133 0
vsize: 0

Child status: 0
Real time (s): 1174.72
CPU time (s): 1175.06
CPU user time (s): 1173.58
CPU system time (s): 1.48377
CPU usage (%): 100.029
Max. virtual memory (Kb): 53976
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####