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-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv11.opb
MD5SUM	ec9eb8bc5f0ce888f87dfc271da55db8
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-5109
Optimality of the best value was proved	NO
Number of terms in the objective function	773
Biggest coefficient in the objective function	1000
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	76861
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	1999
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	76861
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.05
Number of variables	11247
Total number of constraints	19739
Number of constraints which are clauses	77
Number of constraints which are cardinality constraints (but not clauses)	15744
Number of constraints which are nor clauses,nor cardinality constraints	3918
Minimum length of a constraint	1
Maximum length of a constraint	68
Trace number 39964

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-07 23:33:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28029 boxname=wulflinc3 idbench=985 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  ec9eb8bc5f0ce888f87dfc271da55db8  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-mzzv11.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-mzzv11.opb
IDLAUNCH: 28029
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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.190
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:        723824 kB
Buffers:         34340 kB
Cached:         248236 kB
SwapCached:       6016 kB
Active:          59564 kB
Inactive:       230384 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        723572 kB
SwapTotal:     2097136 kB
SwapFree:      2090192 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            15152 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 23:53:06 (client local time) WITH STATUS 0 IN 1200.44 SECONDS
stats: 28029 7 1200.44 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 11247 variables and 13116 constraints.
c After prepocess the problem consists of 10816 variables and 12496 constraints.
c preprocess terminated 533.4 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.88 0.95 0.90 2/54 17699
Raw data (stat): 17699 (runsolver) R 17698 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 896974025 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0011 s]
Raw data (loadavg): 0.90 0.95 0.90 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 58330 0 0 0 887 109 0 0 25 0 1 0 896974025 252051456 58250 4294967295 134512640 134716908 3221224576 3221222880 134566742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61536 58250 1111 63 0 61473 0
vsize: 246144
[startup+20.0019 s]
Raw data (loadavg): 0.91 0.95 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 63702 0 0 0 1876 120 0 0 25 0 1 0 896974025 274145280 63622 4294967295 134512640 134716908 3221224576 3221222864 134566785 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66930 63622 1111 63 0 66867 0
vsize: 267720
[startup+30.0028 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 110646 0 0 0 2769 227 0 0 25 0 1 0 896974025 456581120 110560 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111470 110560 1111 63 0 111407 0
vsize: 445880
[startup+40.003 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 110646 0 0 0 3768 228 0 0 25 0 1 0 896974025 456581120 110560 4294967295 134512640 134716908 3221224576 3221222940 134539235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111470 110560 1111 63 0 111407 0
vsize: 445880
[startup+50.0034 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 110646 0 0 0 4768 228 0 0 25 0 1 0 896974025 456581120 110560 4294967295 134512640 134716908 3221224576 3221223068 134543653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111470 110560 1111 63 0 111407 0
vsize: 445880
[startup+60.0033 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 110646 0 0 0 5768 228 0 0 25 0 1 0 896974025 456581120 110560 4294967295 134512640 134716908 3221224576 3221223192 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111470 110560 1111 63 0 111407 0
vsize: 445880
[startup+70.0041 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 110646 0 0 0 6768 228 0 0 25 0 1 0 896974025 456581120 110560 4294967295 134512640 134716908 3221224576 3221223036 134543664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111470 110560 1111 63 0 111407 0
vsize: 445880
[startup+80.0049 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 110646 0 0 0 7768 229 0 0 25 0 1 0 896974025 456581120 110560 4294967295 134512640 134716908 3221224576 3221223120 134535812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111470 110560 1111 63 0 111407 0
vsize: 445880
[startup+90.0048 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 110646 0 0 0 8767 229 0 0 25 0 1 0 896974025 456581120 110560 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111470 110560 1111 63 0 111407 0
vsize: 445880
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 112395 0 0 0 9763 233 0 0 25 0 1 0 896974025 456671232 110592 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111492 110592 1111 63 0 111429 0
vsize: 445968
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 112395 0 0 0 10763 233 0 0 25 0 1 0 896974025 456671232 110592 4294967295 134512640 134716908 3221224576 3221222984 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111492 110592 1111 63 0 111429 0
vsize: 445968
[startup+120.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 119090 0 0 0 11747 250 0 0 25 0 1 0 896974025 456671232 110592 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111492 110592 1111 63 0 111429 0
vsize: 445968
[startup+130.008 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 163702 0 0 0 12635 361 0 0 25 0 1 0 896974025 474046464 114834 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 115734 114834 1111 63 0 115671 0
vsize: 462936
[startup+140.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 171583 0 0 0 13615 382 0 0 25 0 1 0 896974025 474046464 114834 4294967295 134512640 134716908 3221224576 3221223056 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 115734 114834 1111 63 0 115671 0
vsize: 462936
[startup+150.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 189076 0 0 0 14576 421 0 0 25 0 1 0 896974025 541908992 131402 4294967295 134512640 134716908 3221224576 3221223216 134584901 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 132302 131402 1111 63 0 132239 0
vsize: 529208
[startup+160.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208182 0 0 0 15532 465 0 0 25 0 1 0 896974025 620163072 150507 4294967295 134512640 134716908 3221224576 3221223288 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+170.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208182 0 0 0 16532 466 0 0 25 0 1 0 896974025 620163072 150507 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+180.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208182 0 0 0 17531 466 0 0 25 0 1 0 896974025 620163072 150507 4294967295 134512640 134716908 3221224576 3221223104 134542848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+190.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208182 0 0 0 18531 466 0 0 25 0 1 0 896974025 620163072 150507 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208182 0 0 0 19531 467 0 0 25 0 1 0 896974025 620163072 150507 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208182 0 0 0 20531 467 0 0 25 0 1 0 896974025 620163072 150507 4294967295 134512640 134716908 3221224576 3221223192 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208182 0 0 0 21531 467 0 0 25 0 1 0 896974025 620163072 150507 4294967295 134512640 134716908 3221224576 3221222984 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208182 0 0 0 22531 468 0 0 25 0 1 0 896974025 620163072 150507 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208182 0 0 0 23531 468 0 0 25 0 1 0 896974025 620163072 150507 4294967295 134512640 134716908 3221224576 3221223184 134542626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208182 0 0 0 24530 468 0 0 25 0 1 0 896974025 620163072 150507 4294967295 134512640 134716908 3221224576 3221223232 134609269 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208182 0 0 0 25531 468 0 0 25 0 1 0 896974025 620163072 150507 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208182 0 0 0 26530 468 0 0 25 0 1 0 896974025 620163072 150507 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208182 0 0 0 27530 469 0 0 25 0 1 0 896974025 620163072 150507 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208182 0 0 0 28530 469 0 0 25 0 1 0 896974025 620163072 150507 4294967295 134512640 134716908 3221224576 3221222984 134543589 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208182 0 0 0 29530 470 0 0 25 0 1 0 896974025 620163072 150507 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+310.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208182 0 0 0 30529 470 0 0 25 0 1 0 896974025 620163072 150507 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208182 0 0 0 31529 470 0 0 25 0 1 0 896974025 620163072 150507 4294967295 134512640 134716908 3221224576 3221223240 134558582 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208182 0 0 0 32529 470 0 0 25 0 1 0 896974025 620163072 150507 4294967295 134512640 134716908 3221224576 3221222972 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208182 0 0 0 33529 471 0 0 25 0 1 0 896974025 620163072 150507 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+350.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208182 0 0 0 34529 471 0 0 25 0 1 0 896974025 620163072 150507 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+360.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208182 0 0 0 35528 471 0 0 25 0 1 0 896974025 620163072 150507 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208182 0 0 0 36528 472 0 0 25 0 1 0 896974025 620163072 150507 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208182 0 0 0 37528 472 0 0 25 0 1 0 896974025 620163072 150507 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208182 0 0 0 38528 472 0 0 25 0 1 0 896974025 620163072 150507 4294967295 134512640 134716908 3221224576 3221223232 134627282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208182 0 0 0 39528 472 0 0 25 0 1 0 896974025 620163072 150507 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208182 0 0 0 40528 473 0 0 25 0 1 0 896974025 620163072 150507 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+420.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208182 0 0 0 41528 473 0 0 25 0 1 0 896974025 620163072 150507 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208182 0 0 0 42528 473 0 0 25 0 1 0 896974025 620163072 150507 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+440.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208182 0 0 0 43528 473 0 0 25 0 1 0 896974025 620163072 150507 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208182 0 0 0 44528 473 0 0 25 0 1 0 896974025 620163072 150507 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208182 0 0 0 45528 473 0 0 25 0 1 0 896974025 620163072 150507 4294967295 134512640 134716908 3221224576 3221223244 134627352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208182 0 0 0 46528 474 0 0 25 0 1 0 896974025 620163072 150507 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208182 0 0 0 47528 474 0 0 25 0 1 0 896974025 620163072 150507 4294967295 134512640 134716908 3221224576 3221223248 134627257 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+490.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208182 0 0 0 48528 474 0 0 25 0 1 0 896974025 620163072 150507 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208182 0 0 0 49528 474 0 0 25 0 1 0 896974025 620163072 150507 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+510.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208182 0 0 0 50528 475 0 0 25 0 1 0 896974025 620163072 150507 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+520.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208182 0 0 0 51528 475 0 0 25 0 1 0 896974025 620163072 150507 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+530.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208182 0 0 0 52528 475 0 0 25 0 1 0 896974025 620163072 150507 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150507 1111 63 0 151344 0
vsize: 605628
[startup+540.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208206 0 0 0 53528 475 0 0 25 0 1 0 896974025 620163072 150531 4294967295 134512640 134716908 3221224576 3221222776 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151407 150531 1111 63 0 151344 0
vsize: 605628
[startup+550.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208206 0 0 0 54528 475 0 0 25 0 1 0 896974025 620163072 150531 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150531 1111 63 0 151344 0
vsize: 605628
[startup+560.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208206 0 0 0 55528 475 0 0 25 0 1 0 896974025 620163072 150531 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150531 1111 63 0 151344 0
vsize: 605628
[startup+570.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208206 0 0 0 56528 475 0 0 25 0 1 0 896974025 620163072 150531 4294967295 134512640 134716908 3221224576 3221222256 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150531 1111 63 0 151344 0
vsize: 605628
[startup+580.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208206 0 0 0 57528 475 0 0 25 0 1 0 896974025 620163072 150531 4294967295 134512640 134716908 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150531 1111 63 0 151344 0
vsize: 605628
[startup+590.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208206 0 0 0 58528 475 0 0 25 0 1 0 896974025 620163072 150531 4294967295 134512640 134716908 3221224576 3221222592 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150531 1111 63 0 151344 0
vsize: 605628
[startup+600.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208206 0 0 0 59528 475 0 0 25 0 1 0 896974025 620163072 150531 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150531 1111 63 0 151344 0
vsize: 605628
[startup+610.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208206 0 0 0 60529 475 0 0 25 0 1 0 896974025 620163072 150531 4294967295 134512640 134716908 3221224576 3221222832 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150531 1111 63 0 151344 0
vsize: 605628
[startup+620.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208206 0 0 0 61529 475 0 0 25 0 1 0 896974025 620163072 150531 4294967295 134512640 134716908 3221224576 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150531 1111 63 0 151344 0
vsize: 605628
[startup+630.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208206 0 0 0 62529 475 0 0 25 0 1 0 896974025 620163072 150531 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150531 1111 63 0 151344 0
vsize: 605628
[startup+640.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208310 0 0 0 63529 475 0 0 25 0 1 0 896974025 620163072 150635 4294967295 134512640 134716908 3221224576 3221220624 1074969499 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150635 1111 63 0 151344 0
vsize: 605628
[startup+650.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 64529 475 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+660.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 65530 475 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220640 1074794549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+670.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 66530 475 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116741 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+680.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 67530 475 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221221520 1075971386 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+690.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 68530 475 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+700.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 69530 475 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116530 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+710.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 70530 475 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220752 1074961301 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+720.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 71531 475 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220444 1074860630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+730.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 72531 475 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116725 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+740.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 73531 475 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116741 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+750.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 74531 475 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+760.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 75531 475 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+770.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 76531 475 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+780.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 77532 475 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221221552 1074867331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+790.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 78532 475 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+800.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 79532 475 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221221400 1074950119 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+810.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 80532 475 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221221248 1076084231 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+820.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 81532 475 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116731 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+830.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 82532 475 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+840.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 83533 475 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220640 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+850.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 84533 475 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220444 1074787816 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+860.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 85533 475 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116719 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+870.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 86533 475 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+880.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 87533 475 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221221056 1076050296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+890.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 88534 476 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+900.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 89534 476 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+910.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 90534 476 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221221408 1075960263 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+920.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 91534 476 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220444 1074787568 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+930.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 92534 476 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221221552 1074867274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+940.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 93535 476 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116744 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+950.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 94535 476 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+960.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 95535 476 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220752 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+970.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 96535 476 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+980.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 97535 476 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+990.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 98536 476 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220640 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 99535 476 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116489 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 100535 476 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220752 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 101535 476 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220444 1074787576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 102535 476 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221221520 1075971386 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 103536 476 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220752 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 104536 477 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220752 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 105536 477 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220624 1074969449 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 106536 477 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220348 1074787594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 107536 477 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116489 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 108536 477 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 109536 477 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220444 1074860617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 110536 477 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220536 1074860217 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 111537 477 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220752 1074961304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 112537 477 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221221008 1075890974 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 113537 477 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220752 1074961264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 114537 477 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220752 1074961267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 115537 477 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 116537 477 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116471 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 117538 477 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116731 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 118538 477 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220752 1074961244 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) R 17698 20224 20223 0 -1 0 208313 0 0 0 119538 477 0 0 25 0 1 0 896974025 620163072 150638 4294967295 134512640 134716908 3221224576 3221220700 1075116731 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151407 150638 1111 63 0 151344 0
vsize: 605628
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.33 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 17699
Raw data (stat): 17699 (bsolo_lpr-v2) Z 17698 20224 20223 0 -1 1036 208313 0 0 0 119538 505 0 0 25 0 1 0 896974025 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.33
CPU time (s): 1200.44
CPU user time (s): 1195.39
CPU system time (s): 5.05323
CPU usage (%): 100.009
Max. virtual memory (Kb): 605628
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####