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/submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-158.opb
MD5SUM	d607820afcd431f46941921bd45aecde
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1327
Optimality of the best value was proved	NO
Number of terms in the objective function	2726
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	2726
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2726
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.06784
Number of variables	2726
Total number of constraints	4397
Number of constraints which are clauses	4397
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	5
Trace number 39627

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        874464 kB
Buffers:         33820 kB
Cached:          95348 kB
SwapCached:       7036 kB
Active:          41868 kB
Inactive:        95500 kB
HighTotal:      131008 kB
HighFree:        94836 kB
LowTotal:       903652 kB
LowFree:        779628 kB
SwapTotal:     2097136 kB
SwapFree:      2089016 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5700 kB
Slab:            17100 kB
Committed_AS:    92684 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 15:17:29 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 27670 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2726 variables and 4397 constraints.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.97 0.91 1/55 6821
Raw data (stat): 6821 (runsolver) R 6820 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 837031495 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.001 s]
Raw data (loadavg): 0.93 0.97 0.91 2/55 6821
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 40341 0 0 0 888 110 0 0 25 0 1 0 837031495 17489920 3401 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4270 3401 1111 63 0 4207 0
vsize: 17080
[startup+20.0016 s]
Raw data (loadavg): 0.94 0.97 0.91 2/55 6821
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 65699 0 0 0 1820 177 0 0 25 0 1 0 837031495 27439104 5831 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6699 5831 1111 63 0 6636 0
vsize: 26796
[startup+30.0023 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 6821
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 87619 0 0 0 2763 234 0 0 25 0 1 0 837031495 33636352 7336 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8212 7336 1111 63 0 8149 0
vsize: 32848
[startup+40.0021 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 6821
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 95331 0 0 0 3743 254 0 0 25 0 1 0 837031495 38133760 8456 4294967295 134512640 134716908 3221224576 3221223304 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9310 8456 1111 63 0 9247 0
vsize: 37240
[startup+50.003 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 6821
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 104272 0 0 0 4720 277 0 0 25 0 1 0 837031495 42762240 9588 4294967295 134512640 134716908 3221224576 3221223304 134675274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10440 9588 1111 63 0 10377 0
vsize: 41760
[startup+60.0028 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 6821
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 115890 0 0 0 5687 310 0 0 25 0 1 0 837031495 45821952 10343 4294967295 134512640 134716908 3221224576 3221222984 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11187 10343 1111 63 0 11124 0
vsize: 44748
[startup+70.0026 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 6821
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 120187 0 0 0 6678 319 0 0 25 0 1 0 837031495 48095232 10898 4294967295 134512640 134716908 3221224576 3221222988 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11742 10898 1111 63 0 11679 0
vsize: 46968
[startup+80.0034 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 6821
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 126136 0 0 0 7664 333 0 0 25 0 1 0 837031495 51666944 11751 4294967295 134512640 134716908 3221224576 3221223056 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12614 11751 1111 63 0 12551 0
vsize: 50456
[startup+90.0032 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 6821
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 130742 0 0 0 8652 346 0 0 25 0 1 0 837031495 54218752 12364 4294967295 134512640 134716908 3221224576 3221223192 134536909 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13237 12364 1111 63 0 13174 0
vsize: 52948
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 6821
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 133929 0 0 0 9644 354 0 0 25 0 1 0 837031495 56786944 13012 4294967295 134512640 134716908 3221224576 3221223376 134617258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13864 13012 1111 63 0 13801 0
vsize: 55456
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 6821
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 137039 0 0 0 10636 362 0 0 25 0 1 0 837031495 58040320 13311 4294967295 134512640 134716908 3221224576 3221223104 134528653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14170 13311 1111 63 0 14107 0
vsize: 56680
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6821
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 149040 0 0 0 11606 392 0 0 25 0 1 0 837031495 61329408 14105 4294967295 134512640 134716908 3221224576 3221223056 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14973 14105 1111 63 0 14910 0
vsize: 59892
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6821
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 150447 0 0 0 12602 396 0 0 25 0 1 0 837031495 61186048 14094 4294967295 134512640 134716908 3221224576 3221223104 134528738 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14938 14094 1111 63 0 14875 0
vsize: 59752
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6821
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 153166 0 0 0 13597 402 0 0 25 0 1 0 837031495 63369216 14603 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15471 14603 1111 63 0 15408 0
vsize: 61884
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6821
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 156843 0 0 0 14587 412 0 0 25 0 1 0 837031495 64008192 14783 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15627 14783 1111 63 0 15564 0
vsize: 62508
[startup+160.005 s]
Raw data (loadavg): 1.15 1.00 0.92 2/55 6874
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 159778 0 0 0 15579 420 0 0 25 0 1 0 837031495 65810432 15204 4294967295 134512640 134716908 3221224576 3221223104 134528677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16067 15204 1111 63 0 16004 0
vsize: 64268
[startup+170.005 s]
Raw data (loadavg): 1.13 1.00 0.92 2/55 6874
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 164445 0 0 0 16567 432 0 0 25 0 1 0 837031495 68784128 15922 4294967295 134512640 134716908 3221224576 3221223152 134523974 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16793 15922 1111 63 0 16730 0
vsize: 67172
[startup+180.004 s]
Raw data (loadavg): 1.11 1.00 0.92 2/55 6874
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 166981 0 0 0 17560 438 0 0 25 0 1 0 837031495 68861952 15968 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16812 15968 1111 63 0 16749 0
vsize: 67248
[startup+190.004 s]
Raw data (loadavg): 1.09 1.00 0.92 2/55 6874
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 169048 0 0 0 18555 444 0 0 25 0 1 0 837031495 71729152 16636 4294967295 134512640 134716908 3221224576 3221223040 134539460 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17512 16636 1111 63 0 17449 0
vsize: 70048
[startup+200.005 s]
Raw data (loadavg): 1.08 1.00 0.92 2/55 6874
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 172130 0 0 0 19547 453 0 0 25 0 1 0 837031495 73285632 17019 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17892 17019 1111 63 0 17829 0
vsize: 71568
[startup+210.005 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 6874
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 174632 0 0 0 20542 457 0 0 25 0 1 0 837031495 73621504 17130 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17974 17130 1111 63 0 17911 0
vsize: 71896
[startup+220.005 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 6878
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 178583 0 0 0 21533 467 0 0 25 0 1 0 837031495 76042240 17705 4294967295 134512640 134716908 3221224576 3221223080 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18565 17705 1111 63 0 18502 0
vsize: 74260
[startup+230.004 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 6878
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 180397 0 0 0 22528 472 0 0 25 0 1 0 837031495 77115392 17959 4294967295 134512640 134716908 3221224576 3221223056 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18827 17959 1111 63 0 18764 0
vsize: 75308
[startup+240.004 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 6878
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 182874 0 0 0 23521 478 0 0 25 0 1 0 837031495 77410304 18055 4294967295 134512640 134716908 3221224576 3221222928 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18899 18055 1111 63 0 18836 0
vsize: 75596
[startup+250.005 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 6878
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 186279 0 0 0 24512 487 0 0 25 0 1 0 837031495 79978496 18674 4294967295 134512640 134716908 3221224576 3221223024 134536678 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19526 18674 1111 63 0 19463 0
vsize: 78104
[startup+260.006 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 6878
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 186607 0 0 0 25511 489 0 0 25 0 1 0 837031495 80023552 18693 4294967295 134512640 134716908 3221224576 3221222984 134542289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19537 18693 1111 63 0 19474 0
vsize: 78148
[startup+270.005 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 6878
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 188165 0 0 0 26507 493 0 0 25 0 1 0 837031495 81719296 19105 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19951 19105 1111 63 0 19888 0
vsize: 79804
[startup+280.006 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 6878
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 194485 0 0 0 27489 511 0 0 25 0 1 0 837031495 81932288 19159 4294967295 134512640 134716908 3221224576 3221222956 134539282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20003 19159 1111 63 0 19940 0
vsize: 80012
[startup+290.006 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 6878
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 195990 0 0 0 28485 515 0 0 25 0 1 0 837031495 84066304 19672 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20524 19672 1111 63 0 20461 0
vsize: 82096
[startup+300.007 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 6878
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 198270 0 0 0 29479 522 0 0 25 0 1 0 837031495 84389888 19759 4294967295 134512640 134716908 3221224576 3221222940 134539301 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20603 19759 1111 63 0 20540 0
vsize: 82412
[startup+310.007 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 6878
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 200264 0 0 0 30475 525 0 0 25 0 1 0 837031495 86118400 20162 4294967295 134512640 134716908 3221224576 3221223376 134617258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21025 20162 1111 63 0 20962 0
vsize: 84100
[startup+320.007 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 6878
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 204037 0 0 0 31466 535 0 0 25 0 1 0 837031495 87040000 20398 4294967295 134512640 134716908 3221224576 3221223192 134543785 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21250 20398 1111 63 0 21187 0
vsize: 85000
[startup+330.007 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 6878
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 206208 0 0 0 32461 540 0 0 25 0 1 0 837031495 88825856 20826 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21686 20826 1111 63 0 21623 0
vsize: 86744
[startup+340.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6878
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 209359 0 0 0 33454 547 0 0 25 0 1 0 837031495 89763840 21047 4294967295 134512640 134716908 3221224576 3221223188 134529109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21915 21047 1111 63 0 21852 0
vsize: 87660
[startup+350.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6878
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 210368 0 0 0 34452 550 0 0 25 0 1 0 837031495 90726400 21282 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22150 21282 1111 63 0 22087 0
vsize: 88600
[startup+360.01 s]
Raw data (loadavg): 1.00 1.00 0.92 3/55 6878
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 211489 0 0 0 35449 553 0 0 25 0 1 0 837031495 91607040 21499 4294967295 134512640 134716908 3221224576 3221223140 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22365 21499 1111 63 0 22302 0
vsize: 89460
[startup+370.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6878
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 212355 0 0 0 36447 555 0 0 25 0 1 0 837031495 91504640 21496 4294967295 134512640 134716908 3221224576 3221222984 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22340 21496 1111 63 0 22277 0
vsize: 89360
[startup+380.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6878
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 214266 0 0 0 37443 560 0 0 25 0 1 0 837031495 92016640 21621 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22465 21621 1111 63 0 22402 0
vsize: 89860
[startup+390.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6878
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 216384 0 0 0 38438 564 0 0 25 0 1 0 837031495 94322688 22160 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23028 22160 1111 63 0 22965 0
vsize: 92112
[startup+400.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6878
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 218141 0 0 0 39433 569 0 0 25 0 1 0 837031495 93655040 22017 4294967295 134512640 134716908 3221224576 3221222940 134539235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22865 22017 1111 63 0 22802 0
vsize: 91460
[startup+410.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6878
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 225410 0 0 0 40414 589 0 0 25 0 1 0 837031495 96333824 22656 4294967295 134512640 134716908 3221224576 3221223040 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23519 22656 1111 63 0 23456 0
vsize: 94076
[startup+420.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6878
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 226523 0 0 0 41411 592 0 0 25 0 1 0 837031495 96239616 22652 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23496 22652 1111 63 0 23433 0
vsize: 93984
[startup+430.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6878
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 228258 0 0 0 42407 597 0 0 25 0 1 0 837031495 97845248 23012 4294967295 134512640 134716908 3221224576 3221223040 134542362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23888 23012 1111 63 0 23825 0
vsize: 95552
[startup+440.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6878
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 230047 0 0 0 43402 601 0 0 25 0 1 0 837031495 99020800 23329 4294967295 134512640 134716908 3221224576 3221223152 134523939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24175 23329 1111 63 0 24112 0
vsize: 96700
[startup+450.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6878
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 230496 0 0 0 44401 603 0 0 25 0 1 0 837031495 99086336 23347 4294967295 134512640 134716908 3221224576 3221222908 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24191 23347 1111 63 0 24128 0
vsize: 96764
[startup+460.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6878
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 231118 0 0 0 45400 604 0 0 25 0 1 0 837031495 99594240 23471 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24315 23471 1111 63 0 24252 0
vsize: 97260
[startup+470.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6878
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 233261 0 0 0 46395 609 0 0 25 0 1 0 837031495 101011456 23806 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24661 23806 1111 63 0 24598 0
vsize: 98644
[startup+480.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6878
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 234012 0 0 0 47393 611 0 0 25 0 1 0 837031495 101523456 23936 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24786 23936 1111 63 0 24723 0
vsize: 99144
[startup+490.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6878
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 235625 0 0 0 48390 615 0 0 25 0 1 0 837031495 102367232 24138 4294967295 134512640 134716908 3221224576 3221223136 134535762 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24992 24138 1111 63 0 24929 0
vsize: 99968
[startup+500.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 239319 0 0 0 49382 622 0 0 25 0 1 0 837031495 103034880 24297 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25155 24297 1111 63 0 25092 0
vsize: 100620
[startup+510.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 241100 0 0 0 50378 626 0 0 25 0 1 0 837031495 103776256 24487 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25336 24487 1111 63 0 25273 0
vsize: 101344
[startup+520.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 243279 0 0 0 51373 632 0 0 25 0 1 0 837031495 104407040 24625 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25490 24625 1111 63 0 25427 0
vsize: 101960
[startup+530.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 247742 0 0 0 52363 642 0 0 25 0 1 0 837031495 104894464 24765 4294967295 134512640 134716908 3221224576 3221222988 134542288 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25609 24765 1111 63 0 25546 0
vsize: 102436
[startup+540.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 248302 0 0 0 53362 643 0 0 25 0 1 0 837031495 104894464 24765 4294967295 134512640 134716908 3221224576 3221223104 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25609 24765 1111 63 0 25546 0
vsize: 102436
[startup+550.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 250225 0 0 0 54358 647 0 0 25 0 1 0 837031495 106229760 25086 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25935 25086 1111 63 0 25872 0
vsize: 103740
[startup+560.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 267182 0 0 0 55318 687 0 0 25 0 1 0 837031495 107360256 25336 4294967295 134512640 134716908 3221224576 3221223000 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26211 25342 1111 63 0 26148 0
vsize: 104844
[startup+570.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 280320 0 0 0 56287 719 0 0 25 0 1 0 837031495 107954176 25512 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26356 25512 1111 63 0 26293 0
vsize: 105424
[startup+580.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 280933 0 0 0 57285 720 0 0 25 0 1 0 837031495 107954176 25512 4294967295 134512640 134716908 3221224576 3221223008 134543759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26356 25512 1111 63 0 26293 0
vsize: 105424
[startup+590.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 282325 0 0 0 58283 723 0 0 25 0 1 0 837031495 109371392 25858 4294967295 134512640 134716908 3221224576 3221223056 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26702 25858 1111 63 0 26639 0
vsize: 106808
[startup+600.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 283858 0 0 0 59279 727 0 0 25 0 1 0 837031495 109961216 25984 4294967295 134512640 134716908 3221224576 3221223304 134675281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26846 25984 1111 63 0 26783 0
vsize: 107384
[startup+610.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 286130 0 0 0 60274 733 0 0 25 0 1 0 837031495 109535232 25898 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26742 25898 1111 63 0 26679 0
vsize: 106968
[startup+620.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 288961 0 0 0 61267 739 0 0 25 0 1 0 837031495 111239168 26284 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27158 26284 1111 63 0 27095 0
vsize: 108632
[startup+630.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 290434 0 0 0 62264 742 0 0 25 0 1 0 837031495 111169536 26297 4294967295 134512640 134716908 3221224576 3221222968 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27141 26297 1111 63 0 27078 0
vsize: 108564
[startup+640.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 291303 0 0 0 63263 744 0 0 25 0 1 0 837031495 112164864 26513 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27384 26513 1111 63 0 27321 0
vsize: 109536
[startup+650.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 292740 0 0 0 64259 748 0 0 25 0 1 0 837031495 112631808 26654 4294967295 134512640 134716908 3221224576 3221222984 134542291 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27498 26654 1111 63 0 27435 0
vsize: 109992
[startup+660.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 294332 0 0 0 65255 752 0 0 25 0 1 0 837031495 113340416 26816 4294967295 134512640 134716908 3221224576 3221223140 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27671 26816 1111 63 0 27608 0
vsize: 110684
[startup+670.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 295194 0 0 0 66253 754 0 0 25 0 1 0 837031495 112631808 26654 4294967295 134512640 134716908 3221224576 3221222992 134543686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27498 26654 1111 63 0 27435 0
vsize: 109992
[startup+680.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 296114 0 0 0 67251 757 0 0 25 0 1 0 837031495 114253824 27045 4294967295 134512640 134716908 3221224576 3221223056 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27894 27045 1111 63 0 27831 0
vsize: 111576
[startup+690.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 296716 0 0 0 68250 758 0 0 25 0 1 0 837031495 114679808 27150 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27998 27150 1111 63 0 27935 0
vsize: 111992
[startup+700.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 297903 0 0 0 69246 762 0 0 25 0 1 0 837031495 115404800 27315 4294967295 134512640 134716908 3221224576 3221223200 134594994 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28175 27315 1111 63 0 28112 0
vsize: 112700
[startup+710.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 299558 0 0 0 70243 766 0 0 25 0 1 0 837031495 115834880 27428 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28280 27428 1111 63 0 28217 0
vsize: 113120
[startup+720.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 303381 0 0 0 71233 775 0 0 25 0 1 0 837031495 114855936 27197 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28041 27197 1111 63 0 27978 0
vsize: 112164
[startup+730.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 307649 0 0 0 72224 785 0 0 25 0 1 0 837031495 116748288 27645 4294967295 134512640 134716908 3221224576 3221223304 134675274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28503 27645 1111 63 0 28440 0
vsize: 114012
[startup+740.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 308345 0 0 0 73222 787 0 0 25 0 1 0 837031495 117170176 27760 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28606 27760 1111 63 0 28543 0
vsize: 114424
[startup+750.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 310432 0 0 0 74218 791 0 0 25 0 1 0 837031495 116318208 27554 4294967295 134512640 134716908 3221224576 3221222908 134535978 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28398 27554 1111 63 0 28335 0
vsize: 113592
[startup+760.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 311711 0 0 0 75215 794 0 0 25 0 1 0 837031495 117211136 27772 4294967295 134512640 134716908 3221224576 3221223104 134528665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28616 27772 1111 63 0 28553 0
vsize: 114464
[startup+770.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 312856 0 0 0 76213 796 0 0 25 0 1 0 837031495 118738944 28129 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28989 28129 1111 63 0 28926 0
vsize: 115956
[startup+780.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 315817 0 0 0 77205 804 0 0 25 0 1 0 837031495 119308288 28260 4294967295 134512640 134716908 3221224576 3221223216 134594962 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29128 28260 1111 63 0 29065 0
vsize: 116512
[startup+790.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 316442 0 0 0 78204 806 0 0 25 0 1 0 837031495 119447552 28308 4294967295 134512640 134716908 3221224576 3221223056 134539460 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29162 28308 1111 63 0 29099 0
vsize: 116648
[startup+800.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 317315 0 0 0 79202 808 0 0 25 0 1 0 837031495 118738944 28145 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28989 28145 1111 63 0 28926 0
vsize: 115956
[startup+810.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 318611 0 0 0 80200 810 0 0 25 0 1 0 837031495 119664640 28371 4294967295 134512640 134716908 3221224576 3221223104 134528677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29215 28371 1111 63 0 29152 0
vsize: 116860
[startup+820.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 320421 0 0 0 81195 815 0 0 25 0 1 0 837031495 120655872 28581 4294967295 134512640 134716908 3221224576 3221223304 134675274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29457 28581 1111 63 0 29394 0
vsize: 117828
[startup+830.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 321232 0 0 0 82193 817 0 0 25 0 1 0 837031495 121024512 28687 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29547 28687 1111 63 0 29484 0
vsize: 118188
[startup+840.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 322109 0 0 0 83191 820 0 0 25 0 1 0 837031495 121307136 28740 4294967295 134512640 134716908 3221224576 3221223200 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29616 28740 1111 63 0 29553 0
vsize: 118464
[startup+850.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 326814 0 0 0 84180 831 0 0 25 0 1 0 837031495 121724928 28850 4294967295 134512640 134716908 3221224576 3221223104 134542950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29718 28850 1111 63 0 29655 0
vsize: 118872
[startup+860.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 343171 0 0 0 85142 869 0 0 25 0 1 0 837031495 122867712 29126 4294967295 134512640 134716908 3221224576 3221223180 134524382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29997 29126 1111 63 0 29934 0
vsize: 119988
[startup+870.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 343564 0 0 0 86142 870 0 0 25 0 1 0 837031495 123293696 29230 4294967295 134512640 134716908 3221224576 3221223152 134523886 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30101 29230 1111 63 0 30038 0
vsize: 120404
[startup+880.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 344314 0 0 0 87140 872 0 0 25 0 1 0 837031495 123576320 29313 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30170 29313 1111 63 0 30107 0
vsize: 120680
[startup+890.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 345447 0 0 0 88137 874 0 0 25 0 1 0 837031495 123998208 29413 4294967295 134512640 134716908 3221224576 3221223056 134542365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30273 29413 1111 63 0 30210 0
vsize: 121092
[startup+900.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 345835 0 0 0 89136 875 0 0 25 0 1 0 837031495 123703296 29357 4294967295 134512640 134716908 3221224576 3221223008 134523173 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30201 29357 1111 63 0 30138 0
vsize: 120804
[startup+910.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 346487 0 0 0 90135 877 0 0 25 0 1 0 837031495 123863040 29396 4294967295 134512640 134716908 3221224576 3221222968 134542295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30240 29396 1111 63 0 30177 0
vsize: 120960
[startup+920.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 347439 0 0 0 91133 879 0 0 25 0 1 0 837031495 123863040 29396 4294967295 134512640 134716908 3221224576 3221222908 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30240 29396 1111 63 0 30177 0
vsize: 120960
[startup+930.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 348757 0 0 0 92130 882 0 0 25 0 1 0 837031495 123977728 29424 4294967295 134512640 134716908 3221224576 3221222984 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30268 29424 1111 63 0 30205 0
vsize: 121072
[startup+940.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 349707 0 0 0 93128 884 0 0 25 0 1 0 837031495 125181952 29718 4294967295 134512640 134716908 3221224576 3221223092 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30562 29718 1111 63 0 30499 0
vsize: 122248
[startup+950.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 350436 0 0 0 94126 886 0 0 25 0 1 0 837031495 125181952 29718 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30562 29718 1111 63 0 30499 0
vsize: 122248
[startup+960.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 351491 0 0 0 95124 889 0 0 25 0 1 0 837031495 126455808 30021 4294967295 134512640 134716908 3221224576 3221223200 134529395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30873 30021 1111 63 0 30810 0
vsize: 123492
[startup+970.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 352879 0 0 0 96121 892 0 0 25 0 1 0 837031495 126914560 30112 4294967295 134512640 134716908 3221224576 3221223088 134543681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30985 30112 1111 63 0 30922 0
vsize: 123940
[startup+980.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 354272 0 0 0 97118 895 0 0 25 0 1 0 837031495 127213568 30187 4294967295 134512640 134716908 3221224576 3221223192 134543793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31058 30187 1111 63 0 30995 0
vsize: 124232
[startup+990.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 357758 0 0 0 98110 903 0 0 25 0 1 0 837031495 127500288 30279 4294967295 134512640 134716908 3221224576 3221223056 134539518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31128 30279 1111 63 0 31065 0
vsize: 124512
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 358165 0 0 0 99109 904 0 0 25 0 1 0 837031495 127864832 30360 4294967295 134512640 134716908 3221224576 3221223200 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31217 30360 1111 63 0 31154 0
vsize: 124868
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 358529 0 0 0 100108 905 0 0 25 0 1 0 837031495 128147456 30432 4294967295 134512640 134716908 3221224576 3221223304 134675281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31286 30432 1111 63 0 31223 0
vsize: 125144
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 359101 0 0 0 101107 907 0 0 25 0 1 0 837031495 128008192 30392 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31252 30399 1111 63 0 31189 0
vsize: 125008
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 359943 0 0 0 102106 908 0 0 25 0 1 0 837031495 127582208 30304 4294967295 134512640 134716908 3221224576 3221222956 134539324 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31148 30304 1111 63 0 31085 0
vsize: 124592
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 360856 0 0 0 103104 910 0 0 25 0 1 0 837031495 129003520 30636 4294967295 134512640 134716908 3221224576 3221222984 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31495 30636 1111 63 0 31432 0
vsize: 125980
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 361596 0 0 0 104102 912 0 0 25 0 1 0 837031495 130207744 30927 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31789 30927 1111 63 0 31726 0
vsize: 127156
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 362252 0 0 0 105101 914 0 0 25 0 1 0 837031495 130392064 30982 4294967295 134512640 134716908 3221224576 3221223152 134535742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31834 30982 1111 63 0 31771 0
vsize: 127336
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 362689 0 0 0 106100 915 0 0 25 0 1 0 837031495 130678784 31046 4294967295 134512640 134716908 3221224576 3221223056 134539516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31904 31046 1111 63 0 31841 0
vsize: 127616
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 364731 0 0 0 107096 919 0 0 25 0 1 0 837031495 131239936 31176 4294967295 134512640 134716908 3221224576 3221223376 134617640 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32041 31176 1111 63 0 31978 0
vsize: 128164
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 365081 0 0 0 108095 920 0 0 25 0 1 0 837031495 131158016 31177 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32021 31177 1111 63 0 31958 0
vsize: 128084
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 365383 0 0 0 109095 920 0 0 25 0 1 0 837031495 131559424 31275 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32119 31275 1111 63 0 32056 0
vsize: 128476
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 365661 0 0 0 110094 921 0 0 25 0 1 0 837031495 131985408 31376 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32223 31376 1111 63 0 32160 0
vsize: 128892
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 366085 0 0 0 111093 923 0 0 25 0 1 0 837031495 132317184 31449 4294967295 134512640 134716908 3221224576 3221223192 134543793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32304 31449 1111 63 0 32241 0
vsize: 129216
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 368008 0 0 0 112088 928 0 0 25 0 1 0 837031495 131751936 31322 4294967295 134512640 134716908 3221224576 3221223104 134528653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32166 31322 1111 63 0 32103 0
vsize: 128664
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 368848 0 0 0 113086 930 0 0 25 0 1 0 837031495 131751936 31322 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32166 31322 1111 63 0 32103 0
vsize: 128664
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 369945 0 0 0 114084 932 0 0 25 0 1 0 837031495 133017600 31618 4294967295 134512640 134716908 3221224576 3221223192 134543785 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32475 31618 1111 63 0 32412 0
vsize: 129900
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 370633 0 0 0 115083 934 0 0 25 0 1 0 837031495 133308416 31675 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32546 31675 1111 63 0 32483 0
vsize: 130184
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 370787 0 0 0 116083 934 0 0 25 0 1 0 837031495 133165056 31667 4294967295 134512640 134716908 3221224576 3221223056 134524067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32511 31667 1111 63 0 32448 0
vsize: 130044
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 371221 0 0 0 117081 935 0 0 25 0 1 0 837031495 133165056 31667 4294967295 134512640 134716908 3221224576 3221222908 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32511 31667 1111 63 0 32448 0
vsize: 130044
[startup+1190.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 371881 0 0 0 118080 937 0 0 25 0 1 0 837031495 134017024 31859 4294967295 134512640 134716908 3221224576 3221223056 134539460 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32719 31859 1111 63 0 32656 0
vsize: 130876
[startup+1200.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) R 6820 8378 8377 0 -1 0 374335 0 0 0 119074 943 0 0 25 0 1 0 837031495 133165056 31667 4294967295 134512640 134716908 3221224576 3221223104 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32511 31667 1111 63 0 32448 0
vsize: 130044
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.92 1/55 6880
Raw data (stat): 6821 (bsolo_lpr-v2) Z 6820 8378 8377 0 -1 1036 374335 0 0 0 119074 948 0 0 25 0 1 0 837031495 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 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.08
CPU time (s): 1200.24
CPU user time (s): 1190.75
CPU system time (s): 9.48856
CPU usage (%): 100.013
Max. virtual memory (Kb): 130876
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####