PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-vpm2.opb
MD5SUM	c1b4c3ad409db732d2b559e570b6f24c
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	138
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	5
Number of bits for the biggest coefficient in the objective function	3
Sum of the numbers in the objective function	504
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	819200
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	4941871
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.01
Number of variables	2754
Total number of constraints	612
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	168
Number of constraints which are nor clauses,nor cardinality constraints	444
Minimum length of a constraint	1
Maximum length of a constraint	84
Trace number 28471

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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:        734592 kB
Buffers:         26512 kB
Cached:         252840 kB
SwapCached:        604 kB
Active:          36012 kB
Inactive:       245956 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        734340 kB
SwapTotal:     2097136 kB
SwapFree:      2096148 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6148 kB
Slab:            12360 kB
Committed_AS:    63564 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 02:41:36 (client local time) WITH STATUS 0 IN 1175.1 SECONDS
stats: 13131 7 1175.1 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2754 variables and 486 constraints.
c After prepocess the problem consists of 1842 variables and 296 constraints.
c preprocess terminated 73.666 s
c Initial Lower Bound: 39
c Lower Bound Elapsed time: 0.19375
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.08 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.86 0.97 0.91 2/54 7745
Raw data (stat): 7745 (runsolver) R 7744 1269 1268 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777026577 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.0005 s]
Raw data (loadavg): 0.88 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 6485 0 0 0 981 16 0 0 25 0 1 0 777026577 29773824 6407 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7269 6407 1111 63 0 7206 0
vsize: 29076
[startup+20.0011 s]
Raw data (loadavg): 0.90 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 6557 0 0 0 1981 16 0 0 25 0 1 0 777026577 30060544 6479 4294967295 134512640 134714508 3221224592 3221223144 1077377224 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7339 6479 1111 63 0 7276 0
vsize: 29356
[startup+30.0018 s]
Raw data (loadavg): 0.91 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 6557 0 0 0 2981 16 0 0 25 0 1 0 777026577 30060544 6479 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7339 6479 1111 63 0 7276 0
vsize: 29356
[startup+40.0015 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 6557 0 0 0 3980 16 0 0 25 0 1 0 777026577 30060544 6479 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7339 6479 1111 63 0 7276 0
vsize: 29356
[startup+50.0021 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 6557 0 0 0 4980 17 0 0 25 0 1 0 777026577 30060544 6479 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7339 6479 1111 63 0 7276 0
vsize: 29356
[startup+60.0018 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 6557 0 0 0 5979 17 0 0 25 0 1 0 777026577 30060544 6479 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7339 6479 1111 63 0 7276 0
vsize: 29356
[startup+70.0025 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 6557 0 0 0 6979 18 0 0 25 0 1 0 777026577 30060544 6479 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7339 6479 1111 63 0 7276 0
vsize: 29356
[startup+80.003 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 7407 0 0 0 7976 21 0 0 25 0 1 0 777026577 30273536 6662 4294967295 134512640 134714508 3221224592 3221220752 1075093371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7391 6662 1111 63 0 7328 0
vsize: 29564
[startup+90.0027 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 8390 0 0 0 8972 25 0 0 25 0 1 0 777026577 30093312 6648 4294967295 134512640 134714508 3221224592 3221222608 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6648 1111 63 0 7284 0
vsize: 29388
[startup+100.002 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 10269 0 0 0 9965 32 0 0 25 0 1 0 777026577 30093312 6650 4294967295 134512640 134714508 3221224592 3221222992 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6650 1111 63 0 7284 0
vsize: 29388
[startup+110.003 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 11939 0 0 0 10959 38 0 0 25 0 1 0 777026577 30298112 6663 4294967295 134512640 134714508 3221224592 3221222320 1075828211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7397 6663 1111 63 0 7334 0
vsize: 29588
[startup+120.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 13640 0 0 0 11954 44 0 0 25 0 1 0 777026577 30474240 6677 4294967295 134512640 134714508 3221224592 3221220816 1074961249 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7440 6677 1111 63 0 7377 0
vsize: 29760
[startup+130.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 15232 0 0 0 12948 50 0 0 25 0 1 0 777026577 30474240 6679 4294967295 134512640 134714508 3221224592 3221220796 1075563891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7440 6679 1111 63 0 7377 0
vsize: 29760
[startup+140.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 16993 0 0 0 13942 55 0 0 25 0 1 0 777026577 30093312 6650 4294967295 134512640 134714508 3221224592 3221222080 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6650 1111 63 0 7284 0
vsize: 29388
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 18884 0 0 0 14936 62 0 0 25 0 1 0 777026577 30142464 6662 4294967295 134512640 134714508 3221224592 3221222800 1074153587 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 6662 1111 63 0 7296 0
vsize: 29436
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 20757 0 0 0 15928 70 0 0 25 0 1 0 777026577 30093312 6650 4294967295 134512640 134714508 3221224592 3221222792 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6650 1111 63 0 7284 0
vsize: 29388
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 22647 0 0 0 16923 75 0 0 25 0 1 0 777026577 30420992 6656 4294967295 134512640 134714508 3221224592 3221222256 1075828208 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7427 6656 1111 63 0 7364 0
vsize: 29708
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 24481 0 0 0 17917 81 0 0 25 0 1 0 777026577 30093312 6650 4294967295 134512640 134714508 3221224592 3221222648 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6650 1111 63 0 7284 0
vsize: 29388
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 26277 0 0 0 18911 87 0 0 25 0 1 0 777026577 30093312 6650 4294967295 134512640 134714508 3221224592 3221222992 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6650 1111 63 0 7284 0
vsize: 29388
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 28054 0 0 0 19905 93 0 0 25 0 1 0 777026577 30535680 6675 4294967295 134512640 134714508 3221224592 3221221512 1074950074 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7455 6675 1111 63 0 7392 0
vsize: 29820
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 29879 0 0 0 20900 98 0 0 25 0 1 0 777026577 30515200 6685 4294967295 134512640 134714508 3221224592 3221220704 1074794571 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7450 6685 1111 63 0 7387 0
vsize: 29800
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 31738 0 0 0 21896 103 0 0 25 0 1 0 777026577 30142464 6662 4294967295 134512640 134714508 3221224592 3221222336 1075640367 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 6662 1111 63 0 7296 0
vsize: 29436
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 33712 0 0 0 22892 107 0 0 25 0 1 0 777026577 30093312 6652 4294967295 134512640 134714508 3221224592 3221222896 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6652 1111 63 0 7284 0
vsize: 29388
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 35793 0 0 0 23885 114 0 0 25 0 1 0 777026577 30142464 6664 4294967295 134512640 134714508 3221224592 3221222992 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 6664 1111 63 0 7296 0
vsize: 29436
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 37811 0 0 0 24878 121 0 0 25 0 1 0 777026577 30523392 6689 4294967295 134512640 134714508 3221224592 3221220840 1077410129 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7452 6689 1111 63 0 7389 0
vsize: 29808
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 39611 0 0 0 25870 129 0 0 25 0 1 0 777026577 30138368 6655 4294967295 134512640 134714508 3221224592 3221222592 1074915850 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7358 6655 1111 63 0 7295 0
vsize: 29432
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 41439 0 0 0 26864 136 0 0 25 0 1 0 777026577 30142464 6664 4294967295 134512640 134714508 3221224592 3221222592 1074916947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 6664 1111 63 0 7296 0
vsize: 29436
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 43457 0 0 0 27856 143 0 0 25 0 1 0 777026577 30187520 6666 4294967295 134512640 134714508 3221224592 3221222592 1074918237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7370 6666 1111 63 0 7307 0
vsize: 29480
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 45239 0 0 0 28852 148 0 0 25 0 1 0 777026577 30375936 6657 4294967295 134512640 134714508 3221224592 3221222640 1074867305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7416 6657 1111 63 0 7353 0
vsize: 29664
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 47142 0 0 0 29845 155 0 0 25 0 1 0 777026577 30093312 6652 4294967295 134512640 134714508 3221224592 3221221704 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6652 1111 63 0 7284 0
vsize: 29388
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 49090 0 0 0 30838 162 0 0 25 0 1 0 777026577 30453760 6672 4294967295 134512640 134714508 3221224592 3221221536 1074620113 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7435 6672 1111 63 0 7372 0
vsize: 29740
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 50968 0 0 0 31832 168 0 0 25 0 1 0 777026577 30138368 6653 4294967295 134512640 134714508 3221224592 3221222704 1074153812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6653 1111 63 0 7295 0
vsize: 29432
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 52837 0 0 0 32827 173 0 0 25 0 1 0 777026577 30142464 6664 4294967295 134512640 134714508 3221224592 3221222544 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7359 6664 1111 63 0 7296 0
vsize: 29436
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 54895 0 0 0 33822 179 0 0 25 0 1 0 777026577 30142464 6664 4294967295 134512640 134714508 3221224592 3221222752 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7359 6664 1111 63 0 7296 0
vsize: 29436
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 56799 0 0 0 34818 183 0 0 25 0 1 0 777026577 30187520 6666 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7370 6666 1111 63 0 7307 0
vsize: 29480
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 58783 0 0 0 35812 189 0 0 25 0 1 0 777026577 30138368 6663 4294967295 134512640 134714508 3221224592 3221222320 1073986877 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6663 1111 63 0 7295 0
vsize: 29432
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 60597 0 0 0 36806 195 0 0 25 0 1 0 777026577 30093312 6652 4294967295 134512640 134714508 3221224592 3221222380 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7347 6652 1111 63 0 7284 0
vsize: 29388
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 62556 0 0 0 37802 200 0 0 25 0 1 0 777026577 30142464 6664 4294967295 134512640 134714508 3221224592 3221222556 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7359 6664 1111 63 0 7296 0
vsize: 29436
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 64499 0 0 0 38797 205 0 0 25 0 1 0 777026577 30466048 6670 4294967295 134512640 134714508 3221224592 3221221512 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7359 6664 1111 63 0 7296 0
vsize: 29752
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 66556 0 0 0 39790 212 0 0 25 0 1 0 777026577 30142464 6664 4294967295 134512640 134714508 3221224592 3221222940 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7359 6664 1111 63 0 7296 0
vsize: 29436
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 68508 0 0 0 40784 218 0 0 25 0 1 0 777026577 30146560 6665 4294967295 134512640 134714508 3221224592 3221222752 1074050818 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7360 6665 1111 63 0 7297 0
vsize: 29440
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 70524 0 0 0 41778 224 0 0 25 0 1 0 777026577 30523392 6688 4294967295 134512640 134714508 3221224592 3221220704 1075091282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7452 6689 1111 63 0 7389 0
vsize: 29808
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 72472 0 0 0 42773 229 0 0 25 0 1 0 777026577 30142464 6664 4294967295 134512640 134714508 3221224592 3221223312 134556837 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7359 6664 1111 63 0 7296 0
vsize: 29436
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 74403 0 0 0 43767 236 0 0 25 0 1 0 777026577 30142464 6664 4294967295 134512640 134714508 3221224592 3221222784 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7359 6664 1111 63 0 7296 0
vsize: 29436
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 76393 0 0 0 44760 243 0 0 25 0 1 0 777026577 30142464 6664 4294967295 134512640 134714508 3221224592 3221222924 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7359 6664 1111 63 0 7296 0
vsize: 29436
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 78300 0 0 0 45756 247 0 0 25 0 1 0 777026577 30461952 6684 4294967295 134512640 134714508 3221224592 3221220556 1074860617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7437 6684 1111 63 0 7374 0
vsize: 29748
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 80222 0 0 0 46750 253 0 0 25 0 1 0 777026577 30511104 6683 4294967295 134512640 134714508 3221224592 3221220820 1075115127 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7449 6683 1111 63 0 7386 0
vsize: 29796
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 82245 0 0 0 47744 259 0 0 25 0 1 0 777026577 30519296 6690 4294967295 134512640 134714508 3221224592 3221220784 1075115726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7451 6690 1111 63 0 7388 0
vsize: 29804
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 84217 0 0 0 48738 266 0 0 25 0 1 0 777026577 30515200 6687 4294967295 134512640 134714508 3221224592 3221220664 1074950210 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7450 6687 1111 63 0 7387 0
vsize: 29800
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 86269 0 0 0 49732 272 0 0 25 0 1 0 777026577 30142464 6664 4294967295 134512640 134714508 3221224592 3221221696 1074138749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7359 6664 1111 63 0 7296 0
vsize: 29436
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 88155 0 0 0 50725 278 0 0 25 0 1 0 777026577 30138368 6654 4294967295 134512640 134714508 3221224592 3221222408 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6654 1111 63 0 7295 0
vsize: 29432
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 90057 0 0 0 51720 284 0 0 25 0 1 0 777026577 30138368 6663 4294967295 134512640 134714508 3221224592 3221222208 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6663 1111 63 0 7295 0
vsize: 29432
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 91913 0 0 0 52714 290 0 0 25 0 1 0 777026577 30138368 6663 4294967295 134512640 134714508 3221224592 3221222896 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6663 1111 63 0 7295 0
vsize: 29432
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 93868 0 0 0 53708 297 0 0 25 0 1 0 777026577 30457856 6673 4294967295 134512640 134714508 3221224592 3221221464 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7436 6673 1111 63 0 7373 0
vsize: 29744
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 95874 0 0 0 54702 303 0 0 25 0 1 0 777026577 30138368 6663 4294967295 134512640 134714508 3221224592 3221223008 1074116254 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6663 1111 63 0 7295 0
vsize: 29432
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 97818 0 0 0 55695 310 0 0 25 0 1 0 777026577 30142464 6664 4294967295 134512640 134714508 3221224592 3221222992 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7359 6664 1111 63 0 7296 0
vsize: 29436
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 99717 0 0 0 56691 315 0 0 25 0 1 0 777026577 30138368 6653 4294967295 134512640 134714508 3221224592 3221222880 1075552823 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6653 1111 63 0 7295 0
vsize: 29432
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 101629 0 0 0 57686 320 0 0 25 0 1 0 777026577 30187520 6666 4294967295 134512640 134714508 3221224592 3221222592 1074918476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7370 6666 1111 63 0 7307 0
vsize: 29480
[startup+590.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 103507 0 0 0 58680 326 0 0 25 0 1 0 777026577 30277632 6657 4294967295 134512640 134714508 3221224592 3221222512 1075802501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7392 6657 1111 63 0 7329 0
vsize: 29568
[startup+600.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 105476 0 0 0 59674 331 0 0 25 0 1 0 777026577 30502912 6683 4294967295 134512640 134714508 3221224592 3221220616 1074860227 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7447 6683 1111 63 0 7384 0
vsize: 29788
[startup+610.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 107535 0 0 0 60668 338 0 0 25 0 1 0 777026577 30138368 6654 4294967295 134512640 134714508 3221224592 3221222888 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6654 1111 63 0 7295 0
vsize: 29432
[startup+620.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 109677 0 0 0 61663 344 0 0 25 0 1 0 777026577 30093312 6652 4294967295 134512640 134714508 3221224592 3221222304 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7347 6652 1111 63 0 7284 0
vsize: 29388
[startup+630.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 111755 0 0 0 62657 349 0 0 25 0 1 0 777026577 30138368 6653 4294967295 134512640 134714508 3221224592 3221221784 1074138247 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7436 6658 1111 63 0 7373 0
vsize: 29432
[startup+640.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 113697 0 0 0 63652 355 0 0 25 0 1 0 777026577 30093312 6652 4294967295 134512640 134714508 3221224592 3221221696 1074138765 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7347 6652 1111 63 0 7284 0
vsize: 29388
[startup+650.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 115612 0 0 0 64646 360 0 0 25 0 1 0 777026577 30273536 6654 4294967295 134512640 134714508 3221224592 3221222512 1075799535 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7391 6654 1111 63 0 7328 0
vsize: 29564
[startup+660.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 117545 0 0 0 65640 367 0 0 25 0 1 0 777026577 30371840 6655 4294967295 134512640 134714508 3221224592 3221222320 1075828392 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7415 6655 1111 63 0 7352 0
vsize: 29660
[startup+670.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 119498 0 0 0 66632 375 0 0 25 0 1 0 777026577 30093312 6652 4294967295 134512640 134714508 3221224592 3221222184 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7347 6652 1111 63 0 7284 0
vsize: 29388
[startup+680.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 121422 0 0 0 67626 381 0 0 25 0 1 0 777026577 30093312 6652 4294967295 134512640 134714508 3221224592 3221222904 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7347 6652 1111 63 0 7284 0
vsize: 29388
[startup+690.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 123399 0 0 0 68620 388 0 0 25 0 1 0 777026577 30093312 6652 4294967295 134512640 134714508 3221224592 3221222304 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7347 6652 1111 63 0 7284 0
vsize: 29388
[startup+700.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 125325 0 0 0 69614 394 0 0 25 0 1 0 777026577 30138368 6655 4294967295 134512640 134714508 3221224592 3221222944 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6655 1111 63 0 7295 0
vsize: 29432
[startup+710.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 127239 0 0 0 70610 398 0 0 25 0 1 0 777026577 30453760 6659 4294967295 134512640 134714508 3221224592 3221221528 1074831816 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7435 6659 1111 63 0 7372 0
vsize: 29740
[startup+720.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 129145 0 0 0 71603 405 0 0 25 0 1 0 777026577 30138368 6655 4294967295 134512640 134714508 3221224592 3221222224 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6655 1111 63 0 7295 0
vsize: 29432
[startup+730.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 131135 0 0 0 72599 410 0 0 25 0 1 0 777026577 30093312 6652 4294967295 134512640 134714508 3221224592 3221222240 1074050884 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7347 6652 1111 63 0 7284 0
vsize: 29388
[startup+740.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 133095 0 0 0 73593 415 0 0 25 0 1 0 777026577 30138368 6655 4294967295 134512640 134714508 3221224592 3221222752 1074050884 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6655 1111 63 0 7295 0
vsize: 29432
[startup+750.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 134919 0 0 0 74587 422 0 0 25 0 1 0 777026577 30138368 6662 4294967295 134512640 134714508 3221224592 3221222636 1077379924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6662 1111 63 0 7295 0
vsize: 29432
[startup+760.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 136753 0 0 0 75581 428 0 0 25 0 1 0 777026577 30138368 6654 4294967295 134512640 134714508 3221224592 3221222944 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6654 1111 63 0 7295 0
vsize: 29432
[startup+770.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 138655 0 0 0 76576 433 0 0 25 0 1 0 777026577 30138368 6654 4294967295 134512640 134714508 3221224592 3221222760 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6654 1111 63 0 7295 0
vsize: 29432
[startup+780.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 140510 0 0 0 77570 439 0 0 25 0 1 0 777026577 30138368 6656 4294967295 134512640 134714508 3221224592 3221222756 1077378730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6656 1111 63 0 7295 0
vsize: 29432
[startup+790.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 142380 0 0 0 78564 445 0 0 25 0 1 0 777026577 30441472 6670 4294967295 134512640 134714508 3221224592 3221220704 1074794589 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7432 6670 1111 63 0 7369 0
vsize: 29728
[startup+800.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 144237 0 0 0 79559 451 0 0 25 0 1 0 777026577 30134272 6653 4294967295 134512640 134714508 3221224592 3221223056 1074119510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7357 6653 1111 63 0 7294 0
vsize: 29428
[startup+810.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 146110 0 0 0 80553 456 0 0 25 0 1 0 777026577 30093312 6652 4294967295 134512640 134714508 3221224592 3221222816 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7347 6652 1111 63 0 7284 0
vsize: 29388
[startup+820.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 147921 0 0 0 81549 461 0 0 25 0 1 0 777026577 30449664 6673 4294967295 134512640 134714508 3221224592 3221220556 1074860617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7434 6673 1111 63 0 7371 0
vsize: 29736
[startup+830.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 149744 0 0 0 82543 467 0 0 25 0 1 0 777026577 30138368 6653 4294967295 134512640 134714508 3221224592 3221222544 1074918476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6653 1111 63 0 7295 0
vsize: 29432
[startup+840.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 151601 0 0 0 83538 472 0 0 25 0 1 0 777026577 30093312 6652 4294967295 134512640 134714508 3221224592 3221222184 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7347 6652 1111 63 0 7284 0
vsize: 29388
[startup+850.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 153439 0 0 0 84531 479 0 0 25 0 1 0 777026577 30408704 6658 4294967295 134512640 134714508 3221224592 3221221464 1074950102 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7347 6652 1111 63 0 7284 0
vsize: 29696
[startup+860.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 155313 0 0 0 85525 486 0 0 25 0 1 0 777026577 30093312 6652 4294967295 134512640 134714508 3221224592 3221222824 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7347 6652 1111 63 0 7284 0
vsize: 29388
[startup+870.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 157082 0 0 0 86520 492 0 0 25 0 1 0 777026577 30138368 6654 4294967295 134512640 134714508 3221224592 3221221696 1074139024 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6654 1111 63 0 7295 0
vsize: 29432
[startup+880.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 158945 0 0 0 87514 497 0 0 25 0 1 0 777026577 30457856 6676 4294967295 134512640 134714508 3221224592 3221220832 1075115715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7436 6676 1111 63 0 7373 0
vsize: 29744
[startup+890.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 160785 0 0 0 88508 504 0 0 25 0 1 0 777026577 30138368 6654 4294967295 134512640 134714508 3221224592 3221223132 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6654 1111 63 0 7295 0
vsize: 29432
[startup+900.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 162616 0 0 0 89503 509 0 0 25 0 1 0 777026577 30138368 6653 4294967295 134512640 134714508 3221224592 3221221832 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6653 1111 63 0 7295 0
vsize: 29432
[startup+910.136 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 164496 0 0 0 90508 516 0 0 25 0 1 0 777026577 30277632 6657 4294967295 134512640 134714508 3221224592 3221222704 1074867308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7392 6657 1111 63 0 7329 0
vsize: 29568
[startup+920.14 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 166362 0 0 0 91503 521 0 0 25 0 1 0 777026577 30371840 6656 4294967295 134512640 134714508 3221224592 3221222640 1074867311 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6654 1111 63 0 7295 0
vsize: 29660
[startup+930.14 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 168269 0 0 0 92497 528 0 0 25 0 1 0 777026577 30138368 6654 4294967295 134512640 134714508 3221224592 3221222544 1074916773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6654 1111 63 0 7295 0
vsize: 29432
[startup+940.14 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 170032 0 0 0 93491 533 0 0 25 0 1 0 777026577 30138368 6655 4294967295 134512640 134714508 3221224592 3221222944 1074142734 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6655 1111 63 0 7295 0
vsize: 29432
[startup+950.172 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 171820 0 0 0 94488 540 0 0 25 0 1 0 777026577 30138368 6654 4294967295 134512640 134714508 3221224592 3221222800 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6654 1111 63 0 7295 0
vsize: 29432
[startup+960.171 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 173688 0 0 0 95482 546 0 0 25 0 1 0 777026577 30453760 6673 4294967295 134512640 134714508 3221224592 3221220752 1074815265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7435 6673 1111 63 0 7372 0
vsize: 29740
[startup+970.171 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 175561 0 0 0 96477 552 0 0 25 0 1 0 777026577 30093312 6652 4294967295 134512640 134714508 3221224592 3221221888 1074839115 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7347 6652 1111 63 0 7284 0
vsize: 29388
[startup+980.172 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 177401 0 0 0 97472 557 0 0 25 0 1 0 777026577 30453760 6658 4294967295 134512640 134714508 3221224592 3221221656 1075007308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7435 6658 1111 63 0 7372 0
vsize: 29740
[startup+990.172 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 179256 0 0 0 98466 563 0 0 25 0 1 0 777026577 30273536 6657 4294967295 134512640 134714508 3221224592 3221222512 1075802490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7391 6657 1111 63 0 7328 0
vsize: 29564
[startup+1000.17 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 181146 0 0 0 99460 569 0 0 25 0 1 0 777026577 30138368 6661 4294967295 134512640 134714508 3221224592 3221222844 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6661 1111 63 0 7295 0
vsize: 29432
[startup+1010.17 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 183042 0 0 0 100454 575 0 0 25 0 1 0 777026577 30289920 6700 4294967295 134512640 134714508 3221224592 3221222808 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7395 6700 1111 63 0 7332 0
vsize: 29580
[startup+1020.17 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 184968 0 0 0 101449 581 0 0 25 0 1 0 777026577 30138368 6663 4294967295 134512640 134714508 3221224592 3221222448 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6663 1111 63 0 7295 0
vsize: 29432
[startup+1030.18 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 186986 0 0 0 102443 587 0 0 25 0 1 0 777026577 30138368 6663 4294967295 134512640 134714508 3221224592 3221222208 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6663 1111 63 0 7295 0
vsize: 29432
[startup+1040.18 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 189111 0 0 0 103437 593 0 0 25 0 1 0 777026577 30425088 6704 4294967295 134512640 134714508 3221224592 3221221616 1074867305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7428 6704 1111 63 0 7365 0
vsize: 29712
[startup+1050.18 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 191154 0 0 0 104433 598 0 0 25 0 1 0 777026577 30093312 6652 4294967295 134512640 134714508 3221224592 3221221992 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7347 6652 1111 63 0 7284 0
vsize: 29388
[startup+1060.18 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 193095 0 0 0 105426 605 0 0 25 0 1 0 777026577 30093312 6652 4294967295 134512640 134714508 3221224592 3221222056 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7347 6652 1111 63 0 7284 0
vsize: 29388
[startup+1070.18 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 195175 0 0 0 106420 611 0 0 25 0 1 0 777026577 30138368 6663 4294967295 134512640 134714508 3221224592 3221222944 1074142890 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6663 1111 63 0 7295 0
vsize: 29432
[startup+1080.18 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 197277 0 0 0 107414 617 0 0 25 0 1 0 777026577 30183424 6664 4294967295 134512640 134714508 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7369 6664 1111 63 0 7306 0
vsize: 29476
[startup+1090.18 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 199474 0 0 0 108408 623 0 0 25 0 1 0 777026577 30384128 6695 4294967295 134512640 134714508 3221224592 3221220664 1074950160 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7418 6695 1111 63 0 7355 0
vsize: 29672
[startup+1100.18 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 201571 0 0 0 109403 629 0 0 25 0 1 0 777026577 30490624 6681 4294967295 134512640 134714508 3221224592 3221220556 1074860595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7444 6681 1111 63 0 7381 0
vsize: 29776
[startup+1110.19 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 203652 0 0 0 110398 635 0 0 25 0 1 0 777026577 30498816 6682 4294967295 134512640 134714508 3221224592 3221220556 1074860819 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7446 6682 1111 63 0 7383 0
vsize: 29784
[startup+1120.19 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 205699 0 0 0 111392 642 0 0 25 0 1 0 777026577 30093312 6652 4294967295 134512640 134714508 3221224592 3221222800 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7347 6652 1111 63 0 7284 0
vsize: 29388
[startup+1130.19 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 207869 0 0 0 112385 648 0 0 25 0 1 0 777026577 30363648 6687 4294967295 134512640 134714508 3221224592 3221222416 1075823518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7413 6687 1111 63 0 7350 0
vsize: 29652
[startup+1140.19 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 209956 0 0 0 113377 657 0 0 25 0 1 0 777026577 30093312 6652 4294967295 134512640 134714508 3221224592 3221222808 1074138153 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7347 6652 1111 63 0 7284 0
vsize: 29388
[startup+1150.19 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 211870 0 0 0 114372 662 0 0 25 0 1 0 777026577 30498816 6682 4294967295 134512640 134714508 3221224592 3221221112 1077410273 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7446 6682 1111 63 0 7383 0
vsize: 29784
[startup+1160.19 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 213956 0 0 0 115365 669 0 0 25 0 1 0 777026577 30138368 6663 4294967295 134512640 134714508 3221224592 3221222304 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6663 1111 63 0 7295 0
vsize: 29432
[startup+1170.19 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 216082 0 0 0 116359 675 0 0 25 0 1 0 777026577 30220288 6673 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7378 6673 1111 63 0 7315 0
vsize: 29512
[startup+1174.99 s]
Raw data (loadavg): 1.03 1.00 0.92 1/53 7745
Raw data (stat): 7745 (bsolo_lpr) R 7744 1269 1268 0 -1 0 216082 0 0 0 116359 675 0 0 25 0 1 0 777026577 30220288 6673 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7378 6673 1111 63 0 7315 0
vsize: 0

Child status: 0
Real time (s): 1174.98
CPU time (s): 1175.1
CPU user time (s): 1168.3
CPU system time (s): 6.79597
CPU usage (%): 100.01
Max. virtual memory (Kb): 29820
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####