PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-bal8x12.opb
MD5SUM	69e7430fb77e7d40f128bdde5f7776a3
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	13476271
Optimality of the best value was proved	NO
Number of terms in the objective function	2016
Biggest coefficient in the objective function	402653184
Number of bits for the biggest coefficient in the objective function	29
Sum of the numbers in the objective function	34444990400
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	402653184
Number of bits of the biggest number in a constraint	29
Biggest sum of numbers in a constraint	34444990400
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.37
Number of variables	2016
Total number of constraints	116
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	116
Minimum length of a constraint	21
Maximum length of a constraint	240
Trace number 25595

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-21 02:39:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18955 boxname=wulflinc31 idbench=1459 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  69e7430fb77e7d40f128bdde5f7776a3  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-bal8x12.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-bal8x12.opb
IDLAUNCH: 18955
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        586456 kB
Buffers:         34760 kB
Cached:         392672 kB
SwapCached:       1172 kB
Active:         296996 kB
Inactive:       132848 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        586204 kB
SwapTotal:     2097892 kB
SwapFree:      2095980 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5356 kB
Slab:            12656 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-21 02:59:32 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 18955 7 1175.04 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2016 variables and 136 constraints.
c After prepocess the problem consists of 1175 variables and 165 constraints.
c preprocess terminated 1.112 s
c Initial Lower Bound: 5775244
c Lower Bound Elapsed time: 0.2306
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.95 0.90 2/55 4451
Raw data (stat): 4451 (runsolver) R 4450 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 800765478 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 8163 0 0 0 973 22 0 0 25 0 1 0 800765478 17608704 3591 4294967295 134512640 134714508 3221221776 3221219776 1074918266 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4299 3591 1111 63 0 4236 0
vsize: 17196
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 12457 0 0 0 1963 33 0 0 25 0 1 0 800765478 17559552 3588 4294967295 134512640 134714508 3221221776 3221219776 1074918607 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4287 3588 1111 63 0 4224 0
vsize: 17148
[startup+30.0009 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 17241 0 0 0 2952 44 0 0 25 0 1 0 800765478 17780736 3642 4294967295 134512640 134714508 3221221776 3221220160 1074153749 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4341 3642 1111 63 0 4278 0
vsize: 17364
[startup+40.0008 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 19661 0 0 0 3944 51 0 0 25 0 1 0 800765478 17928192 3644 4294967295 134512640 134714508 3221221776 3221219504 1075828500 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4377 3644 1111 63 0 4314 0
vsize: 17508
[startup+50.0018 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 20900 0 0 0 4940 56 0 0 25 0 1 0 800765478 17780736 3642 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4341 3642 1111 63 0 4278 0
vsize: 17364
[startup+60.0017 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 21810 0 0 0 5936 60 0 0 25 0 1 0 800765478 17956864 3643 4294967295 134512640 134714508 3221221776 3221219744 1075961312 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4384 3643 1111 63 0 4321 0
vsize: 17536
[startup+70.0026 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 22496 0 0 0 6933 64 0 0 25 0 1 0 800765478 17780736 3642 4294967295 134512640 134714508 3221221776 3221219776 1074916799 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4341 3642 1111 63 0 4278 0
vsize: 17364
[startup+80.0025 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 22632 0 0 0 7931 65 0 0 25 0 1 0 800765478 17780736 3642 4294967295 134512640 134714508 3221221776 3221219216 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4341 3642 1111 63 0 4278 0
vsize: 17364
[startup+90.0025 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 22745 0 0 0 8930 67 0 0 25 0 1 0 800765478 17780736 3642 4294967295 134512640 134714508 3221221776 3221220192 1074116666 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4341 3642 1111 63 0 4278 0
vsize: 17364
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23658 0 0 0 9925 72 0 0 25 0 1 0 800765478 17780736 3643 4294967295 134512640 134714508 3221221776 3221217104 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4341 3643 1111 63 0 4278 0
vsize: 17364
[startup+110.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 10923 73 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221219520 1075646862 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 11923 74 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221218048 1074806555 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 12921 76 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221218856 1074619285 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 13920 77 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 14919 79 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221220176 1074118790 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 15918 80 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 16916 82 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221219352 1074138265 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 17915 83 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221220080 1074153815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 18914 84 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221217740 1074860626 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 19913 85 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221219824 1074140578 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 20913 86 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221219664 1074056223 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 21912 87 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221220528 134592443 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 22911 88 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221220208 1073990430 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 23909 90 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221220504 134556493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 24908 91 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221220128 1074142716 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 25906 93 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221220016 1074206180 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 26906 93 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221219504 1075828444 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 27905 94 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221220648 134556377 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 28905 95 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221219208 1074138155 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 29904 95 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221220128 1074115328 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 30904 96 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221219504 1075829526 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 31904 96 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221220176 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 32903 97 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221217996 1074878880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 33903 98 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221217952 1075561456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 34902 98 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221219176 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 35902 99 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 36901 100 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221219776 1074153773 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 37901 100 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221219408 1074153648 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 38900 101 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221219552 1074153736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 39900 101 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221220080 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 40900 102 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221219504 1075635938 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 41899 103 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221217936 1075090434 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 42899 103 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221219728 1074153648 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 43898 104 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221219320 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 44898 105 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221217740 1074860620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 45897 105 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221219504 1075635468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 46896 106 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221220504 134532441 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 47896 107 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221220240 1074121065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 48896 107 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221220024 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+500.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 49896 108 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221219216 1077377147 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 50895 108 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221220416 134649075 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 51895 109 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221218968 1074138265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 52894 109 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221219504 1075829042 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 53894 110 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221219504 1075828541 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+550.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 54894 110 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221218896 1074834271 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 55893 111 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 56893 112 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221219520 1075645381 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+580.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 57893 112 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221220192 1074116354 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+590.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 58892 113 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221219944 1077378283 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+600.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 59892 113 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221220344 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 60892 113 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221220112 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+620.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 61892 114 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221220316 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+630.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 62891 114 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221217788 1074788921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+640.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 63891 114 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221220240 1074121006 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 64891 115 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221220156 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+660.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 65891 115 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221219696 1075799528 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 66891 115 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221219504 1075828211 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 67891 116 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221220240 1074119512 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+690.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 68890 116 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221218608 1075115481 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+700.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 69889 118 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221219424 1075818338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+710.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 70889 118 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221219504 1075828449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+720.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 71888 119 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221220176 1074118784 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+730.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 72888 119 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221219504 1075829025 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+740.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 73887 120 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221220088 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+750.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 74887 121 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221220020 1074143674 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+760.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 75887 121 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221220176 1074118794 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+770.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 76886 122 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221220176 1074118808 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+780.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 77886 122 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221219728 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+790.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 78886 123 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221220416 134649077 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+800.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 79886 123 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221220128 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+810.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 80885 123 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+820.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 81885 124 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221219112 1074138297 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+830.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 82884 125 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221219148 1074207488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 83883 126 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+850.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 84882 127 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+860.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 85881 128 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221218040 1074950108 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+870.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 86880 130 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221219384 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+880.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 87879 130 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221219888 1074867274 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+890.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 88879 131 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221220384 134558521 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+900.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 89878 132 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221220052 1077374543 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+910.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 90878 133 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221218968 1074138309 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+920.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 91877 133 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221220080 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+930.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 92877 134 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221218968 1074138315 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+940.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 93876 135 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221218844 1074831207 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+950.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 94876 135 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221220176 1074119071 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+960.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 95876 135 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221219504 1075829464 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+970.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 96875 136 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221217848 1074950210 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+980.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 97875 137 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221220056 1074138237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+990.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 98875 137 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221218004 1075114984 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 99874 138 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221218160 1074973282 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 100874 139 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221217740 1074860571 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 101873 139 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221220160 1074153669 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 102873 140 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221219512 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 103873 140 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221218048 1074799375 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 104872 141 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221217848 1074950192 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 105872 141 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221217772 1074788239 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 106871 142 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221219528 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 107871 142 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221219960 1077377495 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 108871 142 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221219888 1074867274 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 109871 143 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221219552 1074153766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 110871 143 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221220024 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 111870 144 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221219648 1074153736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 112869 145 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221219632 134650068 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 113869 145 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221218040 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 114869 146 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221219820 1077379908 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 115868 146 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221218720 1074620288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 116868 147 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221219504 1075828441 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 17364
[startup+1174.91 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 4451
Raw data (stat): 4451 (bsolo_lpr) R 4450 7876 7672 0 -1 0 23684 0 0 0 116868 147 0 0 25 0 1 0 800765478 17780736 3644 4294967295 134512640 134714508 3221221776 3221219504 1075828441 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4341 3644 1111 63 0 4278 0
vsize: 0

Child status: 0
Real time (s): 1174.91
CPU time (s): 1175.04
CPU user time (s): 1173.55
CPU system time (s): 1.48877
CPU usage (%): 100.011
Max. virtual memory (Kb): 17536
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####