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/unibo/normalized-mps-v2-13-7-dg012142.opb
MD5SUM	d2a2dc4ff7a501b7efb12f8e274e186d
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	16640
Biggest coefficient in the objective function	5242880000
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	1683190350400
Number of bits of the sum of numbers in the objective function	41
Biggest number in a constraint	5242880000
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	1683190350400
Number of bits of the biggest sum of numbers	41
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1269.98
Number of variables	29440
Total number of constraints	6310
Number of constraints which are clauses	40
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	6270
Minimum length of a constraint	1
Maximum length of a constraint	251
Trace number 40530

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-08 13:30:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28591 boxname=wulflinc4 idbench=1547 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  d2a2dc4ff7a501b7efb12f8e274e186d  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-dg012142.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-dg012142.opb
IDLAUNCH: 28591
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        886276 kB
Buffers:          6028 kB
Cached:         116200 kB
SwapCached:       5204 kB
Active:          28816 kB
Inactive:        99756 kB
HighTotal:      131008 kB
HighFree:        79296 kB
LowTotal:       903652 kB
LowFree:        806980 kB
SwapTotal:     2097136 kB
SwapFree:      2090904 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4904 kB
Slab:            14024 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 13:50:48 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 28591 7 1200.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 29440 variables and 2777 constraints.
c After prepocess the problem consists of 27502 variables and 3143 constraints.
c preprocess terminated 795.447 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.93 0.90 2/54 615
Raw data (stat): 615 (runsolver) R 614 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 901999896 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.0005 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 1587 0 0 0 993 4 0 0 25 0 1 0 901999896 19058688 1507 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4653 1507 1111 63 0 4590 0
vsize: 18612
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 2612 0 0 0 1991 7 0 0 25 0 1 0 901999896 23310336 2532 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5691 2532 1111 63 0 5628 0
vsize: 22764
[startup+30.001 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 3770 0 0 0 2989 9 0 0 25 0 1 0 901999896 28016640 3690 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6840 3690 1111 63 0 6777 0
vsize: 27360
[startup+40.0008 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 5362 0 0 0 3986 11 0 0 25 0 1 0 901999896 34553856 5282 4294967295 134512640 134716908 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8436 5282 1111 63 0 8373 0
vsize: 33744
[startup+50.0014 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 7303 0 0 0 4982 16 0 0 25 0 1 0 901999896 42627072 7223 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10407 7223 1111 63 0 10344 0
vsize: 41628
[startup+60.0019 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 10665 0 0 0 5974 24 0 0 25 0 1 0 901999896 56344576 10585 4294967295 134512640 134716908 3221224576 3221222928 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13756 10585 1111 63 0 13693 0
vsize: 55024
[startup+70.0024 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 15108 0 0 0 6967 32 0 0 25 0 1 0 901999896 74469376 15028 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18181 15028 1111 63 0 18118 0
vsize: 72724
[startup+80.0029 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 16722 0 0 0 7961 37 0 0 25 0 1 0 901999896 81203200 16642 4294967295 134512640 134716908 3221224576 3221222596 1077360455 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19825 16642 1111 63 0 19762 0
vsize: 79300
[startup+90.0031 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 25477 0 0 0 8940 58 0 0 25 0 1 0 901999896 117010432 25397 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28567 25397 1111 63 0 28504 0
vsize: 114268
[startup+100.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 40889 0 0 0 9901 97 0 0 25 0 1 0 901999896 164052992 39047 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40052 39047 1111 63 0 39989 0
vsize: 160208
[startup+110.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 40889 0 0 0 10900 97 0 0 25 0 1 0 901999896 164052992 39047 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40052 39047 1111 63 0 39989 0
vsize: 160208
[startup+120.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 41029 0 0 0 11900 98 0 0 25 0 1 0 901999896 164405248 39133 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40138 39133 1111 63 0 40075 0
vsize: 160552
[startup+130.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 41428 0 0 0 12899 99 0 0 25 0 1 0 901999896 165818368 39478 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40483 39478 1111 63 0 40420 0
vsize: 161932
[startup+140.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 41428 0 0 0 13899 99 0 0 25 0 1 0 901999896 165818368 39478 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40483 39478 1111 63 0 40420 0
vsize: 161932
[startup+150.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 41428 0 0 0 14899 99 0 0 25 0 1 0 901999896 165818368 39478 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40483 39478 1111 63 0 40420 0
vsize: 161932
[startup+160.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 41428 0 0 0 15899 99 0 0 25 0 1 0 901999896 165818368 39478 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40483 39478 1111 63 0 40420 0
vsize: 161932
[startup+170.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 41428 0 0 0 16899 99 0 0 25 0 1 0 901999896 165818368 39478 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40483 39478 1111 63 0 40420 0
vsize: 161932
[startup+180.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 41428 0 0 0 17900 99 0 0 25 0 1 0 901999896 165818368 39478 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40483 39478 1111 63 0 40420 0
vsize: 161932
[startup+190.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 47866 0 0 0 18886 113 0 0 25 0 1 0 901999896 191963136 45861 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46866 45861 1111 63 0 46803 0
vsize: 187464
[startup+200.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 47866 0 0 0 19886 113 0 0 25 0 1 0 901999896 191963136 45861 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46866 45861 1111 63 0 46803 0
vsize: 187464
[startup+210.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 47866 0 0 0 20886 113 0 0 25 0 1 0 901999896 191963136 45861 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46866 45861 1111 63 0 46803 0
vsize: 187464
[startup+220.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 47866 0 0 0 21886 113 0 0 25 0 1 0 901999896 191963136 45861 4294967295 134512640 134716908 3221224576 3221223248 134606991 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46866 45861 1111 63 0 46803 0
vsize: 187464
[startup+230.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 47866 0 0 0 22886 113 0 0 25 0 1 0 901999896 191963136 45861 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46866 45861 1111 63 0 46803 0
vsize: 187464
[startup+240.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 47866 0 0 0 23886 113 0 0 25 0 1 0 901999896 191963136 45861 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46866 45861 1111 63 0 46803 0
vsize: 187464
[startup+250.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 47866 0 0 0 24887 113 0 0 25 0 1 0 901999896 191963136 45861 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46866 45861 1111 63 0 46803 0
vsize: 187464
[startup+260.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 47866 0 0 0 25887 113 0 0 25 0 1 0 901999896 191963136 45861 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46866 45861 1111 63 0 46803 0
vsize: 187464
[startup+270.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 47866 0 0 0 26887 113 0 0 25 0 1 0 901999896 191963136 45861 4294967295 134512640 134716908 3221224576 3221223168 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46866 45861 1111 63 0 46803 0
vsize: 187464
[startup+280.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 47866 0 0 0 27887 114 0 0 25 0 1 0 901999896 191963136 45861 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46866 45861 1111 63 0 46803 0
vsize: 187464
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 47866 0 0 0 28887 114 0 0 25 0 1 0 901999896 191963136 45861 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46866 45861 1111 63 0 46803 0
vsize: 187464
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 29876 125 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 30877 125 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223056 134539146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 31877 125 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 32877 125 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 33877 125 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 34877 125 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+360.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 35878 125 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223188 134557790 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 36876 125 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+380.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 37876 125 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 38876 125 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+400.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 39876 125 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 40876 125 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223304 134675312 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 41876 125 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223312 134630831 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 42877 125 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+440.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 43877 125 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 44877 125 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 45877 125 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 46877 125 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 47877 125 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 48878 125 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 49878 125 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 50878 125 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 51878 125 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223000 1077377725 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 52878 125 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+540.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 53878 126 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+550.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 54878 126 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+560.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 55878 126 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+570.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 56878 126 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223296 134618245 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+580.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 57878 126 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+590.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 58879 126 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+600.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 59879 126 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+610.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 60879 126 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+620.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 61879 127 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+630.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 62879 127 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+640.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 63879 127 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+650.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 64880 127 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223000 1077377316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+660.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 65880 127 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223376 134617624 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+670.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 66880 127 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+680.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 67880 127 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+690.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 68880 127 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223188 134557790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+700.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 69880 127 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+710.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 70881 127 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+720.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 71881 127 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+730.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 72881 127 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 73881 127 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+750.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 74881 127 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+760.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 75881 127 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+770.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 76882 127 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+780.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 77882 127 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223284 134618255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+790.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52406 0 0 0 78882 127 0 0 25 0 1 0 901999896 210337792 50347 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+800.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52428 0 0 0 79881 128 0 0 25 0 1 0 901999896 210337792 50369 4294967295 134512640 134716908 3221224576 3221222672 1074153806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50369 1111 63 0 51289 0
vsize: 205408
[startup+810.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52666 0 0 0 80878 130 0 0 25 0 1 0 901999896 211308544 50607 4294967295 134512640 134716908 3221224576 3221222096 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51589 50607 1111 63 0 51526 0
vsize: 206356
[startup+820.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 52939 0 0 0 81876 131 0 0 25 0 1 0 901999896 212426752 50880 4294967295 134512640 134716908 3221224576 3221222000 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51862 50880 1111 63 0 51799 0
vsize: 207448
[startup+830.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 56403 0 0 0 82869 138 0 0 25 0 1 0 901999896 218157056 52337 4294967295 134512640 134716908 3221224576 3221220700 1075116464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53261 52337 1111 63 0 53198 0
vsize: 213044
[startup+840.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 56707 0 0 0 83868 139 0 0 25 0 1 0 901999896 218767360 52529 4294967295 134512640 134716908 3221224576 3221221136 1075967771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53410 52529 1111 63 0 53347 0
vsize: 213640
[startup+850.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 56711 0 0 0 84869 139 0 0 25 0 1 0 901999896 218767360 52533 4294967295 134512640 134716908 3221224576 3221220816 1075114265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53410 52533 1111 63 0 53347 0
vsize: 213640
[startup+860.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 56711 0 0 0 85869 139 0 0 25 0 1 0 901999896 218767360 52533 4294967295 134512640 134716908 3221224576 3221220524 1074873527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53410 52533 1111 63 0 53347 0
vsize: 213640
[startup+870.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 56713 0 0 0 86869 139 0 0 25 0 1 0 901999896 218767360 52535 4294967295 134512640 134716908 3221224576 3221220524 1074873465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53410 52535 1111 63 0 53347 0
vsize: 213640
[startup+880.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 56713 0 0 0 87869 139 0 0 25 0 1 0 901999896 218767360 52535 4294967295 134512640 134716908 3221224576 3221220464 1074875065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53410 52535 1111 63 0 53347 0
vsize: 213640
[startup+890.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 56763 0 0 0 88869 139 0 0 25 0 1 0 901999896 218976256 52585 4294967295 134512640 134716908 3221224576 3221220524 1074873490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53461 52585 1111 63 0 53398 0
vsize: 213844
[startup+900.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 56827 0 0 0 89869 139 0 0 25 0 1 0 901999896 219234304 52649 4294967295 134512640 134716908 3221224576 3221220464 1074875093 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53524 52649 1111 63 0 53461 0
vsize: 214096
[startup+910.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 56827 0 0 0 90869 139 0 0 25 0 1 0 901999896 219234304 52649 4294967295 134512640 134716908 3221224576 3221220464 1074875074 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53524 52649 1111 63 0 53461 0
vsize: 214096
[startup+920.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 56827 0 0 0 91870 139 0 0 25 0 1 0 901999896 219234304 52649 4294967295 134512640 134716908 3221224576 3221220464 1074875086 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53524 52649 1111 63 0 53461 0
vsize: 214096
[startup+930.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 56827 0 0 0 92870 139 0 0 25 0 1 0 901999896 219234304 52649 4294967295 134512640 134716908 3221224576 3221220524 1074873543 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53524 52649 1111 63 0 53461 0
vsize: 214096
[startup+940.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 56827 0 0 0 93870 139 0 0 25 0 1 0 901999896 219234304 52649 4294967295 134512640 134716908 3221224576 3221221136 1075968211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53524 52649 1111 63 0 53461 0
vsize: 214096
[startup+950.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 56827 0 0 0 94870 139 0 0 25 0 1 0 901999896 219234304 52649 4294967295 134512640 134716908 3221224576 3221220524 1074873554 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53524 52649 1111 63 0 53461 0
vsize: 214096
[startup+960.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 56827 0 0 0 95870 139 0 0 25 0 1 0 901999896 219234304 52649 4294967295 134512640 134716908 3221224576 3221220524 1074873347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53524 52649 1111 63 0 53461 0
vsize: 214096
[startup+970.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 56885 0 0 0 96870 139 0 0 25 0 1 0 901999896 219541504 52707 4294967295 134512640 134716908 3221224576 3221220524 1074873474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53599 52707 1111 63 0 53536 0
vsize: 214396
[startup+980.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 57151 0 0 0 97870 140 0 0 25 0 1 0 901999896 220647424 52973 4294967295 134512640 134716908 3221224576 3221220720 1075115732 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53869 52973 1111 63 0 53806 0
vsize: 215476
[startup+990.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 57279 0 0 0 98870 140 0 0 25 0 1 0 901999896 221233152 53101 4294967295 134512640 134716908 3221224576 3221220524 1074873611 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54012 53101 1111 63 0 53949 0
vsize: 216048
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 57281 0 0 0 99870 140 0 0 25 0 1 0 901999896 221233152 53103 4294967295 134512640 134716908 3221224576 3221220464 1074875093 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54012 53103 1111 63 0 53949 0
vsize: 216048
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 57282 0 0 0 100870 140 0 0 25 0 1 0 901999896 221233152 53104 4294967295 134512640 134716908 3221224576 3221220464 1074875081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54012 53104 1111 63 0 53949 0
vsize: 216048
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 57282 0 0 0 101871 140 0 0 25 0 1 0 901999896 221233152 53104 4294967295 134512640 134716908 3221224576 3221221552 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54012 53104 1111 63 0 53949 0
vsize: 216048
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 57282 0 0 0 102871 140 0 0 25 0 1 0 901999896 221233152 53104 4294967295 134512640 134716908 3221224576 3221220524 1074873474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54012 53104 1111 63 0 53949 0
vsize: 216048
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 57283 0 0 0 103871 140 0 0 25 0 1 0 901999896 221233152 53105 4294967295 134512640 134716908 3221224576 3221220524 1074873554 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54012 53105 1111 63 0 53949 0
vsize: 216048
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 57283 0 0 0 104871 140 0 0 25 0 1 0 901999896 221233152 53105 4294967295 134512640 134716908 3221224576 3221220524 1074873501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54012 53105 1111 63 0 53949 0
vsize: 216048
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 57283 0 0 0 105871 140 0 0 25 0 1 0 901999896 221233152 53105 4294967295 134512640 134716908 3221224576 3221220464 1074875074 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54012 53105 1111 63 0 53949 0
vsize: 216048
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 57283 0 0 0 106872 140 0 0 25 0 1 0 901999896 221233152 53105 4294967295 134512640 134716908 3221224576 3221220464 1074875093 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54012 53105 1111 63 0 53949 0
vsize: 216048
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 57283 0 0 0 107872 140 0 0 25 0 1 0 901999896 221233152 53105 4294967295 134512640 134716908 3221224576 3221220524 1074873379 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54012 53105 1111 63 0 53949 0
vsize: 216048
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 57283 0 0 0 108872 140 0 0 25 0 1 0 901999896 221233152 53105 4294967295 134512640 134716908 3221224576 3221221384 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54012 53105 1111 63 0 53949 0
vsize: 216048
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 57283 0 0 0 109872 140 0 0 25 0 1 0 901999896 221233152 53105 4294967295 134512640 134716908 3221224576 3221220524 1074873543 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54012 53105 1111 63 0 53949 0
vsize: 216048
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 57283 0 0 0 110872 140 0 0 25 0 1 0 901999896 221233152 53105 4294967295 134512640 134716908 3221224576 3221220464 1074875114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54012 53105 1111 63 0 53949 0
vsize: 216048
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 57283 0 0 0 111873 140 0 0 25 0 1 0 901999896 221233152 53105 4294967295 134512640 134716908 3221224576 3221220640 1074883536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54012 53105 1111 63 0 53949 0
vsize: 216048
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 57283 0 0 0 112873 140 0 0 25 0 1 0 901999896 221233152 53105 4294967295 134512640 134716908 3221224576 3221220464 1074875105 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54012 53105 1111 63 0 53949 0
vsize: 216048
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 57283 0 0 0 113872 141 0 0 25 0 1 0 901999896 221233152 53105 4294967295 134512640 134716908 3221224576 3221220864 1076116816 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54012 53105 1111 63 0 53949 0
vsize: 216048
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 57283 0 0 0 114873 141 0 0 25 0 1 0 901999896 221233152 53105 4294967295 134512640 134716908 3221224576 3221220524 1074873501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54012 53105 1111 63 0 53949 0
vsize: 216048
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 57284 0 0 0 115873 141 0 0 25 0 1 0 901999896 221233152 53106 4294967295 134512640 134716908 3221224576 3221220552 1074950210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54012 53106 1111 63 0 53949 0
vsize: 216048
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 57285 0 0 0 116873 141 0 0 25 0 1 0 901999896 221233152 53107 4294967295 134512640 134716908 3221224576 3221221072 1074886368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54012 53107 1111 63 0 53949 0
vsize: 216048
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 57285 0 0 0 117873 141 0 0 25 0 1 0 901999896 221233152 53107 4294967295 134512640 134716908 3221224576 3221220464 1074875093 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54012 53107 1111 63 0 53949 0
vsize: 216048
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 57285 0 0 0 118873 141 0 0 25 0 1 0 901999896 221233152 53107 4294967295 134512640 134716908 3221224576 3221220464 1074875081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54012 53107 1111 63 0 53949 0
vsize: 216048
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 615
Raw data (stat): 615 (bsolo_lpr-v2) R 614 21152 21151 0 -1 0 57285 0 0 0 119873 141 0 0 25 0 1 0 901999896 221233152 53107 4294967295 134512640 134716908 3221224576 3221220464 1074875074 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54012 53107 1111 63 0 53949 0
vsize: 216048
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.15 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 615
Raw data (stat): 615 (bsolo_lpr-v2) Z 614 21152 21151 0 -1 1036 57285 0 0 0 119873 151 0 0 25 0 1 0 901999896 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.15
CPU time (s): 1200.25
CPU user time (s): 1198.74
CPU system time (s): 1.51477
CPU usage (%): 100.009
Max. virtual memory (Kb): 216048
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####