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-ran10x26.opb
MD5SUM	f8a5d8e99e0f063cb10208b1e5f7bf38
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1277437
Optimality of the best value was proved	NO
Number of terms in the objective function	5460
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	1567797422
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	1567797422
Number of bits of the biggest sum of numbers	31
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.04
Number of variables	5460
Total number of constraints	296
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	296
Minimum length of a constraint	21
Maximum length of a constraint	520
Trace number 26893

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-05-24 17:47:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19241 boxname=wulflinc24 idbench=1481 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  f8a5d8e99e0f063cb10208b1e5f7bf38  /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-ran10x26.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-ran10x26.opb
IDLAUNCH: 19241
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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	: 3
cpu MHz		: 451.080
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:        825144 kB
Buffers:         36340 kB
Cached:         150172 kB
SwapCached:        624 kB
Active:          61388 kB
Inactive:       127572 kB
HighTotal:      131008 kB
HighFree:        15820 kB
LowTotal:       903652 kB
LowFree:        809324 kB
SwapTotal:     2097892 kB
SwapFree:      2096776 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5652 kB
Slab:            15060 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 18:06:53 (client local time) WITH STATUS 0 IN 1175.16 SECONDS
stats: 19241 7 1175.16 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 5460 variables and 332 constraints.
c After prepocess the problem consists of 3050 variables and 409 constraints.
c preprocess terminated 8.937 s
c Initial Lower Bound: 493700
c Lower Bound Elapsed time: 0.8454
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.14 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.98 0.98 2/54 6730
Raw data (stat): 6730 (runsolver) R 6729 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832150489 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+9.99989 s]
Raw data (loadavg): 0.93 0.98 0.98 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 8528 0 0 0 976 21 0 0 25 0 1 0 832150489 36773888 8143 4294967295 134512640 134714508 3221224592 3221220476 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8978 8143 1111 63 0 8915 0
vsize: 35912
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.98 0.98 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 17315 0 0 0 1955 42 0 0 25 0 1 0 832150489 38064128 8529 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9293 8529 1111 63 0 9230 0
vsize: 37172
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.98 0.98 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 24169 0 0 0 2939 58 0 0 25 0 1 0 832150489 37937152 8468 4294967295 134512640 134714508 3221224592 3221221696 1074138765 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9262 8468 1111 63 0 9199 0
vsize: 37048
[startup+40.0009 s]
Raw data (loadavg): 0.96 0.98 0.98 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 30704 0 0 0 3923 74 0 0 25 0 1 0 832150489 37253120 8333 4294967295 134512640 134714508 3221224592 3221221496 1074138153 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9095 8333 1111 63 0 9032 0
vsize: 36380
[startup+50.0022 s]
Raw data (loadavg): 0.96 0.98 0.98 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 37908 0 0 0 4906 91 0 0 25 0 1 0 832150489 37195776 8323 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9081 8323 1111 63 0 9018 0
vsize: 36324
[startup+60.0016 s]
Raw data (loadavg): 0.97 0.98 0.98 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 45181 0 0 0 5889 109 0 0 25 0 1 0 832150489 37208064 8326 4294967295 134512640 134714508 3221224592 3221222496 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9084 8326 1111 63 0 9021 0
vsize: 36336
[startup+70.0021 s]
Raw data (loadavg): 0.97 0.98 0.98 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 52842 0 0 0 6871 127 0 0 25 0 1 0 832150489 38432768 8526 4294967295 134512640 134714508 3221224592 3221222656 1075961779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9383 8526 1111 63 0 9320 0
vsize: 37532
[startup+80.002 s]
Raw data (loadavg): 0.98 0.98 0.98 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 60560 0 0 0 7853 145 0 0 25 0 1 0 832150489 38531072 8598 4294967295 134512640 134714508 3221224592 3221220664 1074950213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9407 8598 1111 63 0 9344 0
vsize: 37628
[startup+90.0017 s]
Raw data (loadavg): 0.98 0.98 0.98 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 68313 0 0 0 8835 163 0 0 25 0 1 0 832150489 37425152 8379 4294967295 134512640 134714508 3221224592 3221223232 134649075 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9137 8379 1111 63 0 9074 0
vsize: 36548
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.98 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 75797 0 0 0 9820 179 0 0 25 0 1 0 832150489 37236736 8333 4294967295 134512640 134714508 3221224592 3221221696 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9091 8333 1111 63 0 9028 0
vsize: 36364
[startup+110.002 s]
Raw data (loadavg): 0.98 0.98 0.98 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 83989 0 0 0 10800 199 0 0 25 0 1 0 832150489 37191680 8322 4294967295 134512640 134714508 3221224592 3221222808 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9080 8322 1111 63 0 9017 0
vsize: 36320
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 91527 0 0 0 11784 214 0 0 25 0 1 0 832150489 38420480 8522 4294967295 134512640 134714508 3221224592 3221222240 1075818290 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9380 8522 1111 63 0 9317 0
vsize: 37520
[startup+130.002 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 99467 0 0 0 12766 233 0 0 25 0 1 0 832150489 37220352 8329 4294967295 134512640 134714508 3221224592 3221221472 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9087 8329 1111 63 0 9024 0
vsize: 36348
[startup+140.002 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 107557 0 0 0 13748 251 0 0 25 0 1 0 832150489 37052416 8288 4294967295 134512640 134714508 3221224592 3221222592 1074056557 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8288 1111 63 0 8983 0
vsize: 36184
[startup+150.003 s]
Raw data (loadavg): 1.06 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 115699 0 0 0 14730 269 0 0 25 0 1 0 832150489 38035456 8469 4294967295 134512640 134714508 3221224592 3221221536 1074620235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9286 8469 1111 63 0 9223 0
vsize: 37144
[startup+160.002 s]
Raw data (loadavg): 1.05 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 123091 0 0 0 15714 285 0 0 25 0 1 0 832150489 37535744 8406 4294967295 134512640 134714508 3221224592 3221222640 1074140697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9164 8406 1111 63 0 9101 0
vsize: 36656
[startup+170.003 s]
Raw data (loadavg): 1.04 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 131021 0 0 0 16697 303 0 0 25 0 1 0 832150489 37199872 8324 4294967295 134512640 134714508 3221224592 3221222528 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9082 8324 1111 63 0 9019 0
vsize: 36328
[startup+180.003 s]
Raw data (loadavg): 1.03 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 138242 0 0 0 17681 319 0 0 25 0 1 0 832150489 37240832 8334 4294967295 134512640 134714508 3221224592 3221221484 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9092 8334 1111 63 0 9029 0
vsize: 36368
[startup+190.002 s]
Raw data (loadavg): 1.03 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 146248 0 0 0 18661 339 0 0 25 0 1 0 832150489 37208064 8326 4294967295 134512640 134714508 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9084 8326 1111 63 0 9021 0
vsize: 36336
[startup+200.002 s]
Raw data (loadavg): 1.02 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 154960 0 0 0 19640 360 0 0 25 0 1 0 832150489 37052416 8288 4294967295 134512640 134714508 3221224592 3221222880 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8288 1111 63 0 8983 0
vsize: 36184
[startup+210.002 s]
Raw data (loadavg): 1.02 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 163390 0 0 0 20621 379 0 0 25 0 1 0 832150489 38481920 8592 4294967295 134512640 134714508 3221224592 3221221632 1075860121 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9395 8592 1111 63 0 9332 0
vsize: 37580
[startup+220.002 s]
Raw data (loadavg): 1.02 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 171627 0 0 0 21603 398 0 0 25 0 1 0 832150489 37236736 8333 4294967295 134512640 134714508 3221224592 3221221600 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9091 8333 1111 63 0 9028 0
vsize: 36364
[startup+230.003 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 179524 0 0 0 22584 416 0 0 25 0 1 0 832150489 37191680 8322 4294967295 134512640 134714508 3221224592 3221222528 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9080 8322 1111 63 0 9017 0
vsize: 36320
[startup+240.002 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 187433 0 0 0 23566 435 0 0 25 0 1 0 832150489 37199872 8324 4294967295 134512640 134714508 3221224592 3221222528 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9082 8324 1111 63 0 9019 0
vsize: 36328
[startup+250.003 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 195995 0 0 0 24545 456 0 0 25 0 1 0 832150489 37195776 8323 4294967295 134512640 134714508 3221224592 3221222896 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9081 8323 1111 63 0 9018 0
vsize: 36324
[startup+260.002 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 204530 0 0 0 25525 477 0 0 25 0 1 0 832150489 37187584 8321 4294967295 134512640 134714508 3221224592 3221222880 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9079 8321 1111 63 0 9016 0
vsize: 36316
[startup+270.003 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 213070 0 0 0 26506 496 0 0 25 0 1 0 832150489 37199872 8324 4294967295 134512640 134714508 3221224592 3221222544 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9082 8324 1111 63 0 9019 0
vsize: 36328
[startup+280.003 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 221553 0 0 0 27485 516 0 0 25 0 1 0 832150489 37232640 8332 4294967295 134512640 134714508 3221224592 3221221752 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9090 8332 1111 63 0 9027 0
vsize: 36360
[startup+290.003 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 230379 0 0 0 28465 536 0 0 25 0 1 0 832150489 38436864 8570 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9384 8570 1111 63 0 9321 0
vsize: 37536
[startup+300.003 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 239050 0 0 0 29447 555 0 0 25 0 1 0 832150489 37249024 8336 4294967295 134512640 134714508 3221224592 3221220016 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9094 8336 1111 63 0 9031 0
vsize: 36376
[startup+310.003 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 248075 0 0 0 30428 574 0 0 25 0 1 0 832150489 37052416 8290 4294967295 134512640 134714508 3221224592 3221222880 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+320.003 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 257076 0 0 0 31406 596 0 0 25 0 1 0 832150489 37236736 8335 4294967295 134512640 134714508 3221224592 3221221792 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9091 8335 1111 63 0 9028 0
vsize: 36364
[startup+330.003 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 266492 0 0 0 32385 618 0 0 25 0 1 0 832150489 37773312 8448 4294967295 134512640 134714508 3221224592 3221222992 1074118806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9222 8448 1111 63 0 9159 0
vsize: 36888
[startup+340.003 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 275744 0 0 0 33365 638 0 0 25 0 1 0 832150489 37052416 8290 4294967295 134512640 134714508 3221224592 3221222880 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+350.003 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 284629 0 0 0 34345 658 0 0 25 0 1 0 832150489 37224448 8332 4294967295 134512640 134714508 3221224592 3221221520 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9088 8332 1111 63 0 9025 0
vsize: 36352
[startup+360.003 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 293863 0 0 0 35323 680 0 0 25 0 1 0 832150489 38404096 8554 4294967295 134512640 134714508 3221224592 3221221512 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9376 8554 1111 63 0 9313 0
vsize: 37504
[startup+370.004 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 302505 0 0 0 36303 700 0 0 25 0 1 0 832150489 37826560 8479 4294967295 134512640 134714508 3221224592 3221222592 1074918280 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9235 8479 1111 63 0 9172 0
vsize: 36940
[startup+380.004 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 311739 0 0 0 37283 721 0 0 25 0 1 0 832150489 37052416 8290 4294967295 134512640 134714508 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+390.003 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 320845 0 0 0 38260 743 0 0 25 0 1 0 832150489 38387712 8550 4294967295 134512640 134714508 3221224592 3221221576 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9372 8550 1111 63 0 9309 0
vsize: 37488
[startup+400.004 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 329277 0 0 0 39239 764 0 0 25 0 1 0 832150489 38293504 8496 4294967295 134512640 134714508 3221224592 3221222656 1075961750 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9349 8496 1111 63 0 9286 0
vsize: 37396
[startup+410.004 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 338775 0 0 0 40218 786 0 0 25 0 1 0 832150489 38322176 8496 4294967295 134512640 134714508 3221224592 3221221872 1074140026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9356 8501 1111 63 0 9293 0
vsize: 37424
[startup+420.004 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 348413 0 0 0 41196 808 0 0 25 0 1 0 832150489 37052416 8290 4294967295 134512640 134714508 3221224592 3221222896 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+430.005 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 357663 0 0 0 42174 830 0 0 25 0 1 0 832150489 37199872 8326 4294967295 134512640 134714508 3221224592 3221221896 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9082 8326 1111 63 0 9019 0
vsize: 36328
[startup+440.005 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 367522 0 0 0 43151 854 0 0 25 0 1 0 832150489 37052416 8290 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+450.005 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 376826 0 0 0 44129 876 0 0 25 0 1 0 832150489 37572608 8417 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9173 8417 1111 63 0 9110 0
vsize: 36692
[startup+460.005 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 386114 0 0 0 45107 898 0 0 25 0 1 0 832150489 38354944 8560 4294967295 134512640 134714508 3221224592 3221220820 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9364 8560 1111 63 0 9301 0
vsize: 37456
[startup+470.005 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 395641 0 0 0 46085 920 0 0 25 0 1 0 832150489 37875712 8428 4294967295 134512640 134714508 3221224592 3221221676 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9247 8428 1111 63 0 9184 0
vsize: 36988
[startup+480.006 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 405058 0 0 0 47065 940 0 0 25 0 1 0 832150489 37462016 8351 4294967295 134512640 134714508 3221224592 3221222376 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9146 8356 1111 63 0 9083 0
vsize: 36584
[startup+490.005 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 415010 0 0 0 48042 963 0 0 25 0 1 0 832150489 37359616 8348 4294967295 134512640 134714508 3221224592 3221221936 1074839041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9121 8348 1111 63 0 9058 0
vsize: 36484
[startup+500.005 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 424620 0 0 0 49021 984 0 0 25 0 1 0 832150489 37052416 8290 4294967295 134512640 134714508 3221224592 3221222808 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+510.005 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 434121 0 0 0 50000 1006 0 0 25 0 1 0 832150489 37208064 8328 4294967295 134512640 134714508 3221224592 3221222032 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9084 8328 1111 63 0 9021 0
vsize: 36336
[startup+520.005 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 443631 0 0 0 50979 1027 0 0 25 0 1 0 832150489 37552128 8412 4294967295 134512640 134714508 3221224592 3221222944 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9168 8412 1111 63 0 9105 0
vsize: 36672
[startup+530.005 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 453111 0 0 0 51956 1050 0 0 25 0 1 0 832150489 38313984 8547 4294967295 134512640 134714508 3221224592 3221220556 1074860819 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9354 8547 1111 63 0 9291 0
vsize: 37416
[startup+540.005 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 462596 0 0 0 52933 1073 0 0 25 0 1 0 832150489 37052416 8290 4294967295 134512640 134714508 3221224592 3221222896 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+550.005 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 472317 0 0 0 53910 1097 0 0 25 0 1 0 832150489 37793792 8443 4294967295 134512640 134714508 3221224592 3221221784 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9227 8445 1111 63 0 9164 0
vsize: 36908
[startup+560.005 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 482078 0 0 0 54888 1119 0 0 25 0 1 0 832150489 37761024 8420 4294967295 134512640 134714508 3221224592 3221221616 1074810548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9219 8420 1111 63 0 9156 0
vsize: 36876
[startup+570.005 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 491636 0 0 0 55866 1141 0 0 25 0 1 0 832150489 37445632 8383 4294967295 134512640 134714508 3221224592 3221222504 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9142 8385 1111 63 0 9079 0
vsize: 36568
[startup+580.005 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 501136 0 0 0 56843 1164 0 0 25 0 1 0 832150489 38260736 8537 4294967295 134512640 134714508 3221224592 3221221536 1074620386 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9341 8537 1111 63 0 9278 0
vsize: 37364
[startup+590.005 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 510885 0 0 0 57822 1186 0 0 25 0 1 0 832150489 37052416 8290 4294967295 134512640 134714508 3221224592 3221222896 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+600.006 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 520409 0 0 0 58800 1208 0 0 25 0 1 0 832150489 37052416 8290 4294967295 134512640 134714508 3221224592 3221222896 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+610.005 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 529934 0 0 0 59778 1229 0 0 25 0 1 0 832150489 37429248 8381 4294967295 134512640 134714508 3221224592 3221222376 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9138 8382 1111 63 0 9075 0
vsize: 36552
[startup+620.005 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 539793 0 0 0 60755 1253 0 0 25 0 1 0 832150489 37052416 8290 4294967295 134512640 134714508 3221224592 3221222896 1074153766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+630.013 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 549717 0 0 0 61734 1275 0 0 25 0 1 0 832150489 37052416 8290 4294967295 134512640 134714508 3221224592 3221219280 134650068 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+640.012 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 559487 0 0 0 62714 1295 0 0 25 0 1 0 832150489 37052416 8290 4294967295 134512640 134714508 3221224592 3221222928 1074153823 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+650.013 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 569267 0 0 0 63693 1316 0 0 25 0 1 0 832150489 37052416 8290 4294967295 134512640 134714508 3221224592 3221222896 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+660.012 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 579155 0 0 0 64670 1339 0 0 25 0 1 0 832150489 37052416 8290 4294967295 134512640 134714508 3221224592 3221222880 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+670.012 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 589029 0 0 0 65649 1361 0 0 25 0 1 0 832150489 37593088 8422 4294967295 134512640 134714508 3221224592 3221222592 1074921307 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9178 8422 1111 63 0 9115 0
vsize: 36712
[startup+680.012 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 598980 0 0 0 66626 1384 0 0 25 0 1 0 832150489 37052416 8290 4294967295 134512640 134714508 3221224592 3221222896 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+690.012 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 608448 0 0 0 67604 1406 0 0 25 0 1 0 832150489 37052416 8290 4294967295 134512640 134714508 3221224592 3221222896 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+700.012 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 617973 0 0 0 68582 1428 0 0 25 0 1 0 832150489 37949440 8435 4294967295 134512640 134714508 3221224592 3221222320 1075828469 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9265 8435 1111 63 0 9202 0
vsize: 37060
[startup+710.013 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 627805 0 0 0 69560 1450 0 0 25 0 1 0 832150489 37052416 8290 4294967295 134512640 134714508 3221224592 3221222944 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+720.013 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 637618 0 0 0 70539 1472 0 0 25 0 1 0 832150489 37052416 8290 4294967295 134512640 134714508 3221224592 3221222896 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+730.014 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 647348 0 0 0 71516 1495 0 0 25 0 1 0 832150489 37052416 8290 4294967295 134512640 134714508 3221224592 3221222904 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+740.014 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 657034 0 0 0 72497 1514 0 0 25 0 1 0 832150489 37052416 8290 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+750.014 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 666725 0 0 0 73476 1535 0 0 25 0 1 0 832150489 37920768 8428 4294967295 134512640 134714508 3221224592 3221222704 1074867349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9258 8428 1111 63 0 9195 0
vsize: 37032
[startup+760.014 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6730
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 676696 0 0 0 74455 1556 0 0 25 0 1 0 832150489 37728256 8412 4294967295 134512640 134714508 3221224592 3221221576 1074831387 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9211 8412 1111 63 0 9148 0
vsize: 36844
[startup+770.016 s]
Raw data (loadavg): 1.08 1.02 0.99 3/57 6779
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 686210 0 0 0 75433 1578 0 0 25 0 1 0 832150489 37904384 8423 4294967295 134512640 134714508 3221224592 3221222704 1074867331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9254 8423 1111 63 0 9191 0
vsize: 37016
[startup+780.016 s]
Raw data (loadavg): 1.07 1.02 0.99 2/54 6783
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 696305 0 0 0 76411 1600 0 0 25 0 1 0 832150489 38121472 8503 4294967295 134512640 134714508 3221224592 3221220556 1074860608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9307 8503 1111 63 0 9244 0
vsize: 37228
[startup+790.016 s]
Raw data (loadavg): 1.06 1.01 0.99 2/54 6783
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 706169 0 0 0 77388 1624 0 0 25 0 1 0 832150489 37052416 8290 4294967295 134512640 134714508 3221224592 3221215552 1074153032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+800.017 s]
Raw data (loadavg): 1.05 1.01 0.99 2/54 6783
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 715839 0 0 0 78368 1644 0 0 25 0 1 0 832150489 37052416 8290 4294967295 134512640 134714508 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+810.016 s]
Raw data (loadavg): 1.04 1.01 0.99 2/54 6783
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 725417 0 0 0 79348 1664 0 0 25 0 1 0 832150489 37052416 8290 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+820.016 s]
Raw data (loadavg): 1.03 1.01 0.99 2/54 6783
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 734993 0 0 0 80326 1686 0 0 25 0 1 0 832150489 37875712 8416 4294967295 134512640 134714508 3221224592 3221222704 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9247 8416 1111 63 0 9184 0
vsize: 36988
[startup+830.017 s]
Raw data (loadavg): 1.03 1.01 0.99 2/54 6783
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 744790 0 0 0 81306 1707 0 0 25 0 1 0 832150489 37052416 8290 4294967295 134512640 134714508 3221224592 3221222928 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+840.016 s]
Raw data (loadavg): 1.02 1.01 0.99 2/54 6785
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 754529 0 0 0 82287 1726 0 0 25 0 1 0 832150489 37052416 8290 4294967295 134512640 134714508 3221224592 3221204800 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+850.016 s]
Raw data (loadavg): 1.02 1.01 0.99 2/54 6785
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 764279 0 0 0 83265 1748 0 0 25 0 1 0 832150489 37052416 8290 4294967295 134512640 134714508 3221224592 3221222944 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+860.016 s]
Raw data (loadavg): 1.02 1.01 0.99 2/54 6785
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 773823 0 0 0 84245 1768 0 0 25 0 1 0 832150489 37052416 8290 4294967295 134512640 134714508 3221224592 3221222808 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+870.016 s]
Raw data (loadavg): 1.01 1.01 0.99 2/54 6785
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 783559 0 0 0 85223 1790 0 0 25 0 1 0 832150489 37330944 8343 4294967295 134512640 134714508 3221224592 3221222232 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9114 8348 1111 63 0 9051 0
vsize: 36456
[startup+880.016 s]
Raw data (loadavg): 1.01 1.01 0.99 2/54 6785
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 793087 0 0 0 86201 1813 0 0 25 0 1 0 832150489 37818368 8402 4294967295 134512640 134714508 3221224592 3221222320 1075828612 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9233 8402 1111 63 0 9170 0
vsize: 36932
[startup+890.016 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 6785
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 802421 0 0 0 87181 1832 0 0 25 0 1 0 832150489 37052416 8290 4294967295 134512640 134714508 3221224592 3221222176 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+900.016 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 6785
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 811474 0 0 0 88162 1852 0 0 25 0 1 0 832150489 37052416 8290 4294967295 134512640 134714508 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+910.016 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6785
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 820180 0 0 0 89143 1871 0 0 25 0 1 0 832150489 37052416 8290 4294967295 134512640 134714508 3221224592 3221222896 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+920.016 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6785
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 827718 0 0 0 90127 1887 0 0 25 0 1 0 832150489 37052416 8290 4294967295 134512640 134714508 3221224592 3221222464 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8290 1111 63 0 8983 0
vsize: 36184
[startup+930.015 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6785
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 835576 0 0 0 91111 1903 0 0 25 0 1 0 832150489 37810176 8401 4294967295 134512640 134714508 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9231 8401 1111 63 0 9168 0
vsize: 36924
[startup+940.015 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6785
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 843053 0 0 0 92096 1918 0 0 25 0 1 0 832150489 37863424 8390 4294967295 134512640 134714508 3221224592 3221222704 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9244 8390 1111 63 0 9181 0
vsize: 36976
[startup+950.015 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6785
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 850646 0 0 0 93079 1936 0 0 25 0 1 0 832150489 38076416 8492 4294967295 134512640 134714508 3221224592 3221220864 1074961267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9296 8492 1111 63 0 9233 0
vsize: 37184
[startup+960.014 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6785
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 857584 0 0 0 94064 1951 0 0 25 0 1 0 832150489 37052416 8292 4294967295 134512640 134714508 3221224592 3221221728 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8292 1111 63 0 8983 0
vsize: 36184
[startup+970.015 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6785
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 864653 0 0 0 95047 1968 0 0 25 0 1 0 832150489 37289984 8334 4294967295 134512640 134714508 3221224592 3221222552 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9104 8336 1111 63 0 9041 0
vsize: 36416
[startup+980.015 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6785
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 871601 0 0 0 96031 1984 0 0 25 0 1 0 832150489 37683200 8372 4294967295 134512640 134714508 3221224592 3221222600 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9200 8372 1111 63 0 9137 0
vsize: 36800
[startup+990.015 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6785
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 878655 0 0 0 97015 2000 0 0 25 0 1 0 832150489 37687296 8404 4294967295 134512640 134714508 3221224592 3221221512 1074950119 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9201 8404 1111 63 0 9138 0
vsize: 36804
[startup+1000.01 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6785
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 885357 0 0 0 98000 2015 0 0 25 0 1 0 832150489 37052416 8292 4294967295 134512640 134714508 3221224592 3221222704 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8292 1111 63 0 8983 0
vsize: 36184
[startup+1010.01 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6785
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 892539 0 0 0 98982 2033 0 0 25 0 1 0 832150489 37052416 8292 4294967295 134512640 134714508 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8292 1111 63 0 8983 0
vsize: 36184
[startup+1020.01 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6785
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 899625 0 0 0 99967 2049 0 0 25 0 1 0 832150489 37490688 8367 4294967295 134512640 134714508 3221224592 3221221696 1074138614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9153 8367 1111 63 0 9090 0
vsize: 36612
[startup+1030.01 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6785
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 906589 0 0 0 100953 2063 0 0 25 0 1 0 832150489 37052416 8292 4294967295 134512640 134714508 3221224592 3221221008 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8292 1111 63 0 8983 0
vsize: 36184
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6785
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 913401 0 0 0 101940 2077 0 0 25 0 1 0 832150489 37052416 8292 4294967295 134512640 134714508 3221224592 3221222544 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8292 1111 63 0 8983 0
vsize: 36184
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6785
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 920381 0 0 0 102925 2092 0 0 25 0 1 0 832150489 37052416 8292 4294967295 134512640 134714508 3221224592 3221222840 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8292 1111 63 0 8983 0
vsize: 36184
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6785
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 927244 0 0 0 103907 2109 0 0 25 0 1 0 832150489 37052416 8292 4294967295 134512640 134714508 3221224592 3221222928 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8292 1111 63 0 8983 0
vsize: 36184
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6785
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 934443 0 0 0 104891 2126 0 0 25 0 1 0 832150489 37052416 8292 4294967295 134512640 134714508 3221224592 3221221536 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9046 8292 1111 63 0 8983 0
vsize: 36184
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6785
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 941900 0 0 0 105874 2142 0 0 25 0 1 0 832150489 37052416 8292 4294967295 134512640 134714508 3221224592 3221222024 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8292 1111 63 0 8983 0
vsize: 36184
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6785
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 949533 0 0 0 106857 2159 0 0 25 0 1 0 832150489 37556224 8339 4294967295 134512640 134714508 3221224592 3221222320 1075828232 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9169 8339 1111 63 0 9106 0
vsize: 36676
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6785
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 955743 0 0 0 107844 2172 0 0 25 0 1 0 832150489 37052416 8292 4294967295 134512640 134714508 3221224592 3221218732 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8292 1111 63 0 8983 0
vsize: 36184
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6787
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 962501 0 0 0 108828 2189 0 0 25 0 1 0 832150489 37052416 8292 4294967295 134512640 134714508 3221224592 3221222512 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8292 1111 63 0 8983 0
vsize: 36184
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6787
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 969522 0 0 0 109813 2204 0 0 25 0 1 0 832150489 37052416 8292 4294967295 134512640 134714508 3221224592 3221222944 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8292 1111 63 0 8983 0
vsize: 36184
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6787
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 976255 0 0 0 110797 2220 0 0 25 0 1 0 832150489 37052416 8292 4294967295 134512640 134714508 3221224592 3221223264 134650216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8292 1111 63 0 8983 0
vsize: 36184
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6787
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 982827 0 0 0 111782 2235 0 0 25 0 1 0 832150489 37052416 8292 4294967295 134512640 134714508 3221224592 3221222520 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8292 1111 63 0 8983 0
vsize: 36184
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6787
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 989376 0 0 0 112767 2251 0 0 25 0 1 0 832150489 37052416 8292 4294967295 134512640 134714508 3221224592 3221222944 1074153812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8292 1111 63 0 8983 0
vsize: 36184
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6787
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 995802 0 0 0 113751 2266 0 0 25 0 1 0 832150489 37052416 8292 4294967295 134512640 134714508 3221224592 3221223056 1074121015 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8292 1111 63 0 8983 0
vsize: 36184
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 6787
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 1002003 0 0 0 114737 2281 0 0 25 0 1 0 832150489 37052416 8292 4294967295 134512640 134714508 3221224592 3221222120 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8292 1111 63 0 8983 0
vsize: 36184
[startup+1174.99 s]
Raw data (loadavg): 1.00 1.00 0.99 1/53 6787
Raw data (stat): 6730 (bsolo_lpr) R 6729 4613 4612 0 -1 0 1002003 0 0 0 114737 2281 0 0 25 0 1 0 832150489 37052416 8292 4294967295 134512640 134714508 3221224592 3221222120 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9046 8292 1111 63 0 8983 0
vsize: 0

Child status: 0
Real time (s): 1174.99
CPU time (s): 1175.16
CPU user time (s): 1152.25
CPU system time (s): 22.9095
CPU usage (%): 100.014
Max. virtual memory (Kb): 37628
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####