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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sctap2.opb
MD5SUM	c56066a13a725fcc9c143db3d9f8cc06
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	24450007
Optimality of the best value was proved	NO
Number of terms in the objective function	28200
Biggest coefficient in the objective function	41943040
Number of bits for the biggest coefficient in the objective function	26
Sum of the numbers in the objective function	25763487750
Number of bits of the sum of numbers in the objective function	35
Biggest number in a constraint	41943040
Number of bits of the biggest number in a constraint	26
Biggest sum of numbers in a constraint	25763487750
Number of bits of the biggest sum of numbers	35
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.2
Number of variables	37600
Total number of constraints	1090
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	1090
Minimum length of a constraint	60
Maximum length of a constraint	480
Trace number 27696

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-05-24 22:53:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16316 boxname=wulflinc4 idbench=1256 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  c56066a13a725fcc9c143db3d9f8cc06  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-sctap2.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-sctap2.opb
IDLAUNCH: 16316
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        803204 kB
Buffers:         34612 kB
Cached:         175820 kB
SwapCached:        504 kB
Active:          62376 kB
Inactive:       150616 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        802952 kB
SwapTotal:     2097136 kB
SwapFree:      2096156 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5944 kB
Slab:            12692 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 23:12:46 (client local time) WITH STATUS 0 IN 1175.1 SECONDS
stats: 16316 7 1175.1 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 37600 variables and 1503 constraints.
c After prepocess the problem consists of 20680 variables and 1973 constraints.
c preprocess terminated 218.483 s
c Initial Lower Bound: 220776
c Lower Bound Elapsed time: 8.6515
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.02 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.95 2/54 24341
Raw data (stat): 24341 (runsolver) R 24340 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 775758691 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.93 0.96 0.95 2/54 24341
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 1478 0 0 0 994 3 0 0 25 0 1 0 775758691 18612224 1402 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4544 1402 1111 63 0 4481 0
vsize: 18176
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.96 0.95 2/54 24341
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 2393 0 0 0 1992 5 0 0 25 0 1 0 775758691 22421504 2317 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5474 2317 1111 63 0 5411 0
vsize: 21896
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.96 0.95 2/54 24341
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 3338 0 0 0 2990 7 0 0 25 0 1 0 775758691 26234880 3262 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6405 3262 1111 63 0 6342 0
vsize: 25620
[startup+40.0018 s]
Raw data (loadavg): 0.96 0.96 0.95 2/54 24341
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 4360 0 0 0 3989 9 0 0 25 0 1 0 775758691 30486528 4284 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7443 4284 1111 63 0 7380 0
vsize: 29772
[startup+50.0024 s]
Raw data (loadavg): 0.96 0.96 0.95 2/54 24341
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 5453 0 0 0 4988 10 0 0 25 0 1 0 775758691 35004416 5377 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8546 5377 1111 63 0 8483 0
vsize: 34184
[startup+60.0022 s]
Raw data (loadavg): 0.97 0.96 0.95 2/54 24341
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 6603 0 0 0 5986 11 0 0 25 0 1 0 775758691 39677952 6527 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9687 6527 1111 63 0 9624 0
vsize: 38748
[startup+70.0024 s]
Raw data (loadavg): 0.97 0.96 0.95 2/54 24341
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 7833 0 0 0 6984 14 0 0 25 0 1 0 775758691 44761088 7757 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10928 7757 1111 63 0 10865 0
vsize: 43712
[startup+80.0029 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 24341
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 9168 0 0 0 7982 16 0 0 25 0 1 0 775758691 50126848 9092 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12238 9092 1111 63 0 12175 0
vsize: 48952
[startup+90.0028 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 24341
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 10619 0 0 0 8978 20 0 0 25 0 1 0 775758691 56053760 10543 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13685 10543 1111 63 0 13622 0
vsize: 54740
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 24341
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 12157 0 0 0 9977 21 0 0 25 0 1 0 775758691 62492672 12081 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15257 12081 1111 63 0 15194 0
vsize: 61028
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 24341
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 13787 0 0 0 10975 24 0 0 25 0 1 0 775758691 69124096 13711 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16876 13711 1111 63 0 16813 0
vsize: 67504
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24341
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 15564 0 0 0 11972 27 0 0 25 0 1 0 775758691 76468224 15488 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18669 15488 1111 63 0 18606 0
vsize: 74676
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24341
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 17466 0 0 0 12968 31 0 0 25 0 1 0 775758691 84238336 17390 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20566 17390 1111 63 0 20503 0
vsize: 82264
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24341
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 19519 0 0 0 13964 35 0 0 25 0 1 0 775758691 92565504 19443 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22599 19443 1111 63 0 22536 0
vsize: 90396
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24341
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 27315 0 0 0 14947 52 0 0 25 0 1 0 775758691 124751872 27239 4294967295 134512640 134714508 3221224592 3221222880 134566542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30457 27239 1111 63 0 30394 0
vsize: 121828
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24341
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 60359 0 0 0 15883 116 0 0 25 0 1 0 775758691 141295616 33387 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34496 33387 1111 63 0 34433 0
vsize: 137984
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24341
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 60372 0 0 0 16882 116 0 0 25 0 1 0 775758691 141430784 33400 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34529 33400 1111 63 0 34466 0
vsize: 138116
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24341
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 60386 0 0 0 17882 116 0 0 25 0 1 0 775758691 141430784 33414 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34529 33414 1111 63 0 34466 0
vsize: 138116
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24341
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 60400 0 0 0 18883 116 0 0 25 0 1 0 775758691 141430784 33428 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34529 33428 1111 63 0 34466 0
vsize: 138116
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24341
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 60417 0 0 0 19882 116 0 0 25 0 1 0 775758691 141565952 33445 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34562 33445 1111 63 0 34499 0
vsize: 138248
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24341
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 60429 0 0 0 20883 116 0 0 25 0 1 0 775758691 141565952 33457 4294967295 134512640 134714508 3221224592 3221223264 134627241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34562 33457 1111 63 0 34499 0
vsize: 138248
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24341
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 83913 0 0 0 21832 167 0 0 25 0 1 0 775758691 149221376 35185 4294967295 134512640 134714508 3221224592 3221222872 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36431 35185 1111 63 0 36368 0
vsize: 145724
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24341
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 155588 0 0 0 22672 326 0 0 25 0 1 0 775758691 150163456 35470 4294967295 134512640 134714508 3221224592 3221222176 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36661 35470 1111 63 0 36598 0
vsize: 146644
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24341
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 185573 0 0 0 23610 389 0 0 25 0 1 0 775758691 158904320 37667 4294967295 134512640 134714508 3221224592 3221222664 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38795 37667 1111 63 0 38732 0
vsize: 155180
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24341
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 208263 0 0 0 24560 439 0 0 25 0 1 0 775758691 171642880 40419 4294967295 134512640 134714508 3221224592 3221220728 1074950105 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41905 40419 1111 63 0 41842 0
vsize: 167620
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24341
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210646 0 0 0 25554 445 0 0 25 0 1 0 775758691 163045376 38685 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38685 1111 63 0 39743 0
vsize: 159224
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24341
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210646 0 0 0 26554 445 0 0 25 0 1 0 775758691 163045376 38685 4294967295 134512640 134714508 3221224592 3221223472 134577116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38685 1111 63 0 39743 0
vsize: 159224
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24341
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210646 0 0 0 27554 445 0 0 25 0 1 0 775758691 163045376 38685 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38685 1111 63 0 39743 0
vsize: 159224
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24341
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210646 0 0 0 28554 445 0 0 25 0 1 0 775758691 163045376 38685 4294967295 134512640 134714508 3221224592 3221223416 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38685 1111 63 0 39743 0
vsize: 159224
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24341
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210648 0 0 0 29555 445 0 0 25 0 1 0 775758691 163045376 38687 4294967295 134512640 134714508 3221224592 3221223392 134597657 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38687 1111 63 0 39743 0
vsize: 159224
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24341
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210648 0 0 0 30555 446 0 0 25 0 1 0 775758691 163045376 38687 4294967295 134512640 134714508 3221224592 3221223472 134577116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38687 1111 63 0 39743 0
vsize: 159224
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24341
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210648 0 0 0 31555 446 0 0 25 0 1 0 775758691 163045376 38687 4294967295 134512640 134714508 3221224592 3221223472 134577101 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38687 1111 63 0 39743 0
vsize: 159224
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24341
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210650 0 0 0 32555 446 0 0 25 0 1 0 775758691 163045376 38689 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38689 1111 63 0 39743 0
vsize: 159224
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24341
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210650 0 0 0 33555 446 0 0 25 0 1 0 775758691 163045376 38689 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38689 1111 63 0 39743 0
vsize: 159224
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24341
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210650 0 0 0 34555 446 0 0 25 0 1 0 775758691 163045376 38689 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38689 1111 63 0 39743 0
vsize: 159224
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24341
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210652 0 0 0 35555 446 0 0 25 0 1 0 775758691 163045376 38691 4294967295 134512640 134714508 3221224592 3221223472 134577116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38691 1111 63 0 39743 0
vsize: 159224
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24341
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210652 0 0 0 36555 446 0 0 25 0 1 0 775758691 163045376 38691 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38691 1111 63 0 39743 0
vsize: 159224
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24341
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210652 0 0 0 37555 447 0 0 25 0 1 0 775758691 163045376 38691 4294967295 134512640 134714508 3221224592 3221223472 134577116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38691 1111 63 0 39743 0
vsize: 159224
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24341
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210654 0 0 0 38555 447 0 0 25 0 1 0 775758691 163045376 38693 4294967295 134512640 134714508 3221224592 3221223472 134577101 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38693 1111 63 0 39743 0
vsize: 159224
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24341
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210654 0 0 0 39555 447 0 0 25 0 1 0 775758691 163045376 38693 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38693 1111 63 0 39743 0
vsize: 159224
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24341
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210654 0 0 0 40555 447 0 0 25 0 1 0 775758691 163045376 38693 4294967295 134512640 134714508 3221224592 3221223420 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38693 1111 63 0 39743 0
vsize: 159224
[startup+420.013 s]
Raw data (loadavg): 1.07 0.99 0.95 2/54 24394
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210657 0 0 0 41555 447 0 0 25 0 1 0 775758691 163045376 38696 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38696 1111 63 0 39743 0
vsize: 159224
[startup+430.013 s]
Raw data (loadavg): 1.06 0.99 0.95 2/54 24394
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210657 0 0 0 42555 447 0 0 25 0 1 0 775758691 163045376 38696 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38696 1111 63 0 39743 0
vsize: 159224
[startup+440.013 s]
Raw data (loadavg): 1.05 0.99 0.95 2/54 24394
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210657 0 0 0 43555 447 0 0 25 0 1 0 775758691 163045376 38696 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38696 1111 63 0 39743 0
vsize: 159224
[startup+450.014 s]
Raw data (loadavg): 1.04 0.99 0.95 2/54 24394
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210657 0 0 0 44555 447 0 0 25 0 1 0 775758691 163045376 38696 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38696 1111 63 0 39743 0
vsize: 159224
[startup+460.015 s]
Raw data (loadavg): 1.03 0.99 0.95 2/54 24394
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210657 0 0 0 45555 448 0 0 25 0 1 0 775758691 163045376 38696 4294967295 134512640 134714508 3221224592 3221223472 134577104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38696 1111 63 0 39743 0
vsize: 159224
[startup+470.015 s]
Raw data (loadavg): 1.03 0.99 0.95 2/54 24394
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210657 0 0 0 46555 448 0 0 25 0 1 0 775758691 163045376 38696 4294967295 134512640 134714508 3221224592 3221223372 134600365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38696 1111 63 0 39743 0
vsize: 159224
[startup+480.015 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 24396
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210657 0 0 0 47555 448 0 0 25 0 1 0 775758691 163045376 38696 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38696 1111 63 0 39743 0
vsize: 159224
[startup+490.015 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 24396
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210657 0 0 0 48555 448 0 0 25 0 1 0 775758691 163045376 38696 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38696 1111 63 0 39743 0
vsize: 159224
[startup+500.015 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 24396
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210659 0 0 0 49555 448 0 0 25 0 1 0 775758691 163045376 38698 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38698 1111 63 0 39743 0
vsize: 159224
[startup+510.016 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 24396
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210659 0 0 0 50556 448 0 0 25 0 1 0 775758691 163045376 38698 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38698 1111 63 0 39743 0
vsize: 159224
[startup+520.015 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 24396
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 51556 448 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+530.015 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 24396
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 52556 448 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223392 134597648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+540.015 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 24396
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 53555 449 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+550.016 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 24396
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 54555 449 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223392 134597648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+560.016 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 24396
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 55555 449 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+570.016 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 24396
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 56556 449 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+580.016 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 24396
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 57556 449 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223420 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+590.016 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 24396
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 58556 449 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223472 134577101 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+600.017 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 24396
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 59556 449 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223372 134600365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+610.017 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 24396
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 60556 450 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+620.017 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 24396
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 61556 450 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+630.017 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 24396
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 62556 450 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+640.018 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 24396
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 63556 450 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+650.018 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 24396
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 64556 450 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+660.018 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 24396
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 65557 450 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+670.018 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 24396
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 66556 450 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+680.018 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 24396
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 67557 450 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+690.018 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 24396
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 68557 450 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+700.019 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 24396
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 69557 451 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+710.019 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 24396
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 70556 451 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+720.019 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 24396
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 71556 451 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+730.018 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 24396
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 72556 451 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+740.018 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 24396
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 73557 451 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+750.02 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 24398
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 74557 451 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223472 134577039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+760.02 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 24398
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 75557 452 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223424 134600260 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+770.02 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 24398
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 76556 452 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223472 134577101 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+780.02 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 24398
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 77557 452 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223472 134577072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+790.02 s]
Raw data (loadavg): 1.07 1.00 0.96 2/54 24398
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 78556 452 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223472 134577116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+800.021 s]
Raw data (loadavg): 1.06 1.00 0.96 2/54 24398
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 79557 452 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223472 134577101 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+810.022 s]
Raw data (loadavg): 1.05 1.00 0.96 2/54 24398
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 80557 453 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+820.021 s]
Raw data (loadavg): 1.12 1.02 0.96 2/54 24398
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 81557 453 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+830.021 s]
Raw data (loadavg): 1.10 1.02 0.96 2/54 24398
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 82557 453 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+840.021 s]
Raw data (loadavg): 1.08 1.02 0.96 2/54 24398
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 83556 453 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223364 134597630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+850.022 s]
Raw data (loadavg): 1.07 1.01 0.96 2/54 24398
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 84556 453 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+860.023 s]
Raw data (loadavg): 1.06 1.01 0.96 2/54 24398
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 85556 454 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+870.023 s]
Raw data (loadavg): 1.05 1.01 0.96 2/54 24398
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 86557 454 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223472 134577116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+880.033 s]
Raw data (loadavg): 1.04 1.01 0.96 2/54 24398
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 87558 454 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+890.033 s]
Raw data (loadavg): 1.03 1.01 0.96 2/54 24398
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 88558 454 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+900.034 s]
Raw data (loadavg): 1.03 1.01 0.96 2/54 24398
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 89558 454 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+910.035 s]
Raw data (loadavg): 1.02 1.01 0.96 2/54 24398
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 90558 454 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+920.035 s]
Raw data (loadavg): 1.02 1.01 0.96 2/54 24398
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 91559 454 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223460 134576744 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+930.035 s]
Raw data (loadavg): 1.02 1.01 0.96 2/54 24398
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 92559 454 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+940.036 s]
Raw data (loadavg): 1.01 1.01 0.96 2/54 24398
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 93559 454 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223472 134577101 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+950.037 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 24398
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 94559 454 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+960.036 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 24398
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 95559 454 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+970.04 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 24398
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 96559 454 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+980.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 24398
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 97559 454 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223392 134597648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+990.041 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 24398
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 98559 455 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223472 134577039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 24398
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 99559 455 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223472 134577072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 24398
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 100559 455 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 24398
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 101559 455 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 24398
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 102560 455 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223472 134577116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 24398
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 103560 455 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 24398
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 104560 455 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 24398
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 105560 455 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223472 134577072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 24398
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 106560 455 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223388 134597666 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 24398
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 107560 455 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 24398
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 108560 456 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 24398
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 109560 456 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223352 134613501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 24398
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 110560 456 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 24398
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 111560 457 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 24398
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 112560 457 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 24398
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 113560 457 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 24398
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 114560 457 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 24398
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 115560 457 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223416 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 24398
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 116560 457 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 159224
[startup+1174.97 s]
Raw data (loadavg): 1.00 1.00 0.96 1/53 24398
Raw data (stat): 24341 (bsolo_lpr) R 24340 21152 21151 0 -1 0 210661 0 0 0 116560 457 0 0 25 0 1 0 775758691 163045376 38700 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39806 38700 1111 63 0 39743 0
vsize: 0

Child status: 0
Real time (s): 1174.97
CPU time (s): 1175.1
CPU user time (s): 1170.45
CPU system time (s): 4.65329
CPU usage (%): 100.011
Max. virtual memory (Kb): 167620
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####