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/MIPLIB/miplib2003/normalized-mps-v2-13-7-vpm2.opb
MD5SUM	8c44064d4224b1d41c28f152218dd39f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	98
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	102400
Number of bits of the biggest number in a constraint	17
Biggest sum of numbers in a constraint	615983
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05084
Number of variables	2124
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	64
Trace number 27351

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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:        433384 kB
Buffers:         14432 kB
Cached:         545068 kB
SwapCached:        480 kB
Active:          56164 kB
Inactive:       520440 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        433132 kB
SwapTotal:     2097892 kB
SwapFree:      2097148 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6040 kB
Slab:            19060 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 21:27:03 (client local time) WITH STATUS 0 IN 1175.49 SECONDS
stats: 18123 7 1175.49 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2124 variables and 486 constraints.
c After prepocess the problem consists of 1392 variables and 289 constraints.
c preprocess terminated 45.242 s
c Initial Lower Bound: 40
c Lower Bound Elapsed time: 0.15175
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.47 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.93 0.98 0.99 2/54 12984
Raw data (stat): 12984 (runsolver) R 12983 7475 7474 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833365929 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 0.94 0.98 0.99 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 5993 0 0 0 984 13 0 0 25 0 1 0 833365929 27754496 5915 4294967295 134512640 134714508 3221224592 3221223204 134557818 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6776 5915 1111 63 0 6713 0
vsize: 27104
[startup+20.0009 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 5993 0 0 0 1984 13 0 0 25 0 1 0 833365929 27754496 5915 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6776 5915 1111 63 0 6713 0
vsize: 27104
[startup+30.0009 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 5993 0 0 0 2984 13 0 0 25 0 1 0 833365929 27754496 5915 4294967295 134512640 134714508 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6776 5915 1111 63 0 6713 0
vsize: 27104
[startup+40.0005 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 5993 0 0 0 3984 13 0 0 25 0 1 0 833365929 27754496 5915 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6776 5915 1111 63 0 6713 0
vsize: 27104
[startup+50.0007 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 6919 0 0 0 4981 16 0 0 25 0 1 0 833365929 27779072 6085 4294967295 134512640 134714508 3221224592 3221222320 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 6085 1111 63 0 6719 0
vsize: 27128
[startup+60.0006 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 8573 0 0 0 5976 21 0 0 25 0 1 0 833365929 28168192 6115 4294967295 134512640 134714508 3221224592 3221220556 1074860620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6877 6115 1111 63 0 6814 0
vsize: 27508
[startup+70.0012 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 10466 0 0 0 6969 29 0 0 25 0 1 0 833365929 27779072 6087 4294967295 134512640 134714508 3221224592 3221222928 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 6087 1111 63 0 6719 0
vsize: 27128
[startup+80.0015 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 12742 0 0 0 7962 36 0 0 25 0 1 0 833365929 27934720 6096 4294967295 134512640 134714508 3221224592 3221222704 1074867331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6820 6096 1111 63 0 6757 0
vsize: 27280
[startup+90.0015 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 15036 0 0 0 8955 44 0 0 25 0 1 0 833365929 27815936 6093 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6791 6093 1111 63 0 6728 0
vsize: 27164
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 17312 0 0 0 9948 51 0 0 25 0 1 0 833365929 27815936 6095 4294967295 134512640 134714508 3221224592 3221222992 1074118808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6791 6095 1111 63 0 6728 0
vsize: 27164
[startup+110.002 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 19584 0 0 0 10941 57 0 0 25 0 1 0 833365929 27815936 6095 4294967295 134512640 134714508 3221224592 3221223056 1074121102 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6791 6095 1111 63 0 6728 0
vsize: 27164
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 21850 0 0 0 11935 64 0 0 25 0 1 0 833365929 27779072 6089 4294967295 134512640 134714508 3221224592 3221222416 1074153806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 6089 1111 63 0 6719 0
vsize: 27128
[startup+130.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 23880 0 0 0 12929 70 0 0 25 0 1 0 833365929 27926528 6092 4294967295 134512640 134714508 3221224592 3221222640 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6092 1111 63 0 6755 0
vsize: 27272
[startup+140.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 25796 0 0 0 13924 76 0 0 25 0 1 0 833365929 27992064 6109 4294967295 134512640 134714508 3221224592 3221221536 1074620038 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6820 6107 1111 63 0 6757 0
vsize: 27336
[startup+150.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 27729 0 0 0 14918 82 0 0 25 0 1 0 833365929 27811840 6095 4294967295 134512640 134714508 3221224592 3221222504 1074138268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6790 6095 1111 63 0 6727 0
vsize: 27160
[startup+160.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 29655 0 0 0 15912 87 0 0 25 0 1 0 833365929 27779072 6089 4294967295 134512640 134714508 3221224592 3221222896 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 6089 1111 63 0 6719 0
vsize: 27128
[startup+170.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 31743 0 0 0 16906 94 0 0 25 0 1 0 833365929 27779072 6089 4294967295 134512640 134714508 3221224592 3221222776 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 6089 1111 63 0 6719 0
vsize: 27128
[startup+180.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 33888 0 0 0 17900 101 0 0 25 0 1 0 833365929 28045312 6116 4294967295 134512640 134714508 3221224592 3221220592 1075965166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6847 6116 1111 63 0 6784 0
vsize: 27388
[startup+190.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 35974 0 0 0 18893 107 0 0 25 0 1 0 833365929 27815936 6096 4294967295 134512640 134714508 3221224592 3221222456 1074138158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6791 6096 1111 63 0 6728 0
vsize: 27164
[startup+200.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 38155 0 0 0 19886 115 0 0 25 0 1 0 833365929 27779072 6089 4294967295 134512640 134714508 3221224592 3221222848 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 6089 1111 63 0 6719 0
vsize: 27128
[startup+210.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 40307 0 0 0 20880 120 0 0 25 0 1 0 833365929 27848704 6096 4294967295 134512640 134714508 3221224592 3221222944 1074118790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6799 6096 1111 63 0 6736 0
vsize: 27196
[startup+220.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 42325 0 0 0 21874 127 0 0 25 0 1 0 833365929 27967488 6098 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6828 6103 1111 63 0 6765 0
vsize: 27312
[startup+230.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 44292 0 0 0 22867 134 0 0 25 0 1 0 833365929 27779072 6089 4294967295 134512640 134714508 3221224592 3221222776 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 6089 1111 63 0 6719 0
vsize: 27128
[startup+240.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 46274 0 0 0 23861 141 0 0 25 0 1 0 833365929 27779072 6089 4294967295 134512640 134714508 3221224592 3221222328 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 6089 1111 63 0 6719 0
vsize: 27128
[startup+250.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 48349 0 0 0 24855 147 0 0 25 0 1 0 833365929 28037120 6115 4294967295 134512640 134714508 3221224592 3221220492 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6845 6115 1111 63 0 6782 0
vsize: 27380
[startup+260.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 50413 0 0 0 25849 153 0 0 25 0 1 0 833365929 27779072 6089 4294967295 134512640 134714508 3221224592 3221222784 1074206332 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 6089 1111 63 0 6719 0
vsize: 27128
[startup+270.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 52568 0 0 0 26843 159 0 0 25 0 1 0 833365929 28037120 6113 4294967295 134512640 134714508 3221224592 3221220556 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6845 6113 1111 63 0 6782 0
vsize: 27380
[startup+280.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 54784 0 0 0 27835 167 0 0 25 0 1 0 833365929 27815936 6098 4294967295 134512640 134714508 3221224592 3221221656 1077377790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6791 6098 1111 63 0 6728 0
vsize: 27164
[startup+290.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 56773 0 0 0 28830 173 0 0 25 0 1 0 833365929 27779072 6089 4294967295 134512640 134714508 3221224592 3221222976 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 6089 1111 63 0 6719 0
vsize: 27128
[startup+300.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 58809 0 0 0 29824 178 0 0 25 0 1 0 833365929 27947008 6091 4294967295 134512640 134714508 3221224592 3221222240 1075818338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6823 6091 1111 63 0 6760 0
vsize: 27292
[startup+310.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 60864 0 0 0 30818 185 0 0 25 0 1 0 833365929 27815936 6095 4294967295 134512640 134714508 3221224592 3221222328 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6791 6095 1111 63 0 6728 0
vsize: 27164
[startup+320.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 62818 0 0 0 31811 192 0 0 25 0 1 0 833365929 27914240 6091 4294967295 134512640 134714508 3221224592 3221222320 1075828224 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6815 6091 1111 63 0 6752 0
vsize: 27260
[startup+330.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 64694 0 0 0 32806 197 0 0 25 0 1 0 833365929 27779072 6089 4294967295 134512640 134714508 3221224592 3221222336 1075645384 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 6089 1111 63 0 6719 0
vsize: 27128
[startup+340.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 66570 0 0 0 33800 204 0 0 25 0 1 0 833365929 27779072 6089 4294967295 134512640 134714508 3221224592 3221222496 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 6089 1111 63 0 6719 0
vsize: 27128
[startup+350.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 68442 0 0 0 34794 210 0 0 25 0 1 0 833365929 27992064 6097 4294967295 134512640 134714508 3221224592 3221222704 1074867320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6834 6097 1111 63 0 6771 0
vsize: 27336
[startup+360.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 70497 0 0 0 35787 217 0 0 25 0 1 0 833365929 27779072 6089 4294967295 134512640 134714508 3221224592 3221222448 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 6089 1111 63 0 6719 0
vsize: 27128
[startup+370.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 72536 0 0 0 36780 224 0 0 25 0 1 0 833365929 27779072 6089 4294967295 134512640 134714508 3221224592 3221222280 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 6089 1111 63 0 6719 0
vsize: 27128
[startup+380.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 74510 0 0 0 37775 229 0 0 25 0 1 0 833365929 28000256 6100 4294967295 134512640 134714508 3221224592 3221221512 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6836 6100 1111 63 0 6773 0
vsize: 27344
[startup+390.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 76499 0 0 0 38768 237 0 0 25 0 1 0 833365929 28012544 6091 4294967295 134512640 134714508 3221224592 3221222320 1075828224 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6839 6091 1111 63 0 6776 0
vsize: 27356
[startup+400.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 78410 0 0 0 39763 241 0 0 25 0 1 0 833365929 28012544 6093 4294967295 134512640 134714508 3221224592 3221222240 1075818352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6839 6093 1111 63 0 6776 0
vsize: 27356
[startup+410.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 80374 0 0 0 40758 247 0 0 25 0 1 0 833365929 27992064 6111 4294967295 134512640 134714508 3221224592 3221220508 1074860659 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6834 6111 1111 63 0 6771 0
vsize: 27336
[startup+420.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 82397 0 0 0 41751 253 0 0 25 0 1 0 833365929 28041216 6115 4294967295 134512640 134714508 3221224592 3221220556 1074788977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6846 6115 1111 63 0 6783 0
vsize: 27384
[startup+430.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 84366 0 0 0 42745 260 0 0 25 0 1 0 833365929 28028928 6114 4294967295 134512640 134714508 3221224592 3221221616 1074867311 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6843 6114 1111 63 0 6780 0
vsize: 27372
[startup+440.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 86246 0 0 0 43739 267 0 0 25 0 1 0 833365929 27811840 6094 4294967295 134512640 134714508 3221224592 3221222464 1074153462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6790 6094 1111 63 0 6727 0
vsize: 27160
[startup+450.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 88281 0 0 0 44733 272 0 0 25 0 1 0 833365929 27779072 6089 4294967295 134512640 134714508 3221224592 3221222976 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 6089 1111 63 0 6719 0
vsize: 27128
[startup+460.006 s]
Raw data (loadavg): 1.07 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 90211 0 0 0 45728 278 0 0 25 0 1 0 833365929 28008448 6097 4294967295 134512640 134714508 3221224592 3221222640 1074867334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6838 6097 1111 63 0 6775 0
vsize: 27352
[startup+470.006 s]
Raw data (loadavg): 1.06 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 92154 0 0 0 46723 283 0 0 25 0 1 0 833365929 27996160 6108 4294967295 134512640 134714508 3221224592 3221221620 1075964241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6835 6108 1111 63 0 6772 0
vsize: 27340
[startup+480.006 s]
Raw data (loadavg): 1.05 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 94007 0 0 0 47718 288 0 0 25 0 1 0 833365929 27779072 6089 4294967295 134512640 134714508 3221224592 3221223232 134649077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 6089 1111 63 0 6719 0
vsize: 27128
[startup+490.006 s]
Raw data (loadavg): 1.04 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 95888 0 0 0 48713 293 0 0 25 0 1 0 833365929 27807744 6089 4294967295 134512640 134714508 3221224592 3221222848 1074153743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6789 6089 1111 63 0 6726 0
vsize: 27156
[startup+500.006 s]
Raw data (loadavg): 1.03 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 97927 0 0 0 49706 301 0 0 25 0 1 0 833365929 27959296 6099 4294967295 134512640 134714508 3221224592 3221221464 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6790 6095 1111 63 0 6727 0
vsize: 27304
[startup+510.006 s]
Raw data (loadavg): 1.03 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 99956 0 0 0 50699 308 0 0 25 0 1 0 833365929 27992064 6114 4294967295 134512640 134714508 3221224592 3221220752 1074815265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6834 6114 1111 63 0 6771 0
vsize: 27336
[startup+520.007 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 101946 0 0 0 51693 314 0 0 25 0 1 0 833365929 27840512 6090 4294967295 134512640 134714508 3221224592 3221222592 1074916565 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6797 6090 1111 63 0 6734 0
vsize: 27188
[startup+530.007 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 103942 0 0 0 52686 322 0 0 25 0 1 0 833365929 27815936 6091 4294967295 134512640 134714508 3221224592 3221222592 1074916785 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6791 6091 1111 63 0 6728 0
vsize: 27164
[startup+540.007 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 105950 0 0 0 53680 328 0 0 25 0 1 0 833365929 27779072 6089 4294967295 134512640 134714508 3221224592 3221223192 134543133 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 6089 1111 63 0 6719 0
vsize: 27128
[startup+550.007 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 107927 0 0 0 54673 334 0 0 25 0 1 0 833365929 27779072 6089 4294967295 134512640 134714508 3221224592 3221222336 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 6089 1111 63 0 6719 0
vsize: 27128
[startup+560.007 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 109850 0 0 0 55666 342 0 0 25 0 1 0 833365929 27815936 6096 4294967295 134512640 134714508 3221224592 3221221344 1074247406 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6791 6096 1111 63 0 6728 0
vsize: 27164
[startup+570.007 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 111753 0 0 0 56659 349 0 0 25 0 1 0 833365929 27844608 6093 4294967295 134512640 134714508 3221224592 3221221824 1074140374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6841 6097 1111 63 0 6778 0
vsize: 27192
[startup+580.007 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 113848 0 0 0 57651 357 0 0 25 0 1 0 833365929 27811840 6095 4294967295 134512640 134714508 3221224592 3221222424 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6790 6095 1111 63 0 6727 0
vsize: 27160
[startup+590.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 115765 0 0 0 58645 363 0 0 25 0 1 0 833365929 27779072 6089 4294967295 134512640 134714508 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 6089 1111 63 0 6719 0
vsize: 27128
[startup+600.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 117699 0 0 0 59639 369 0 0 25 0 1 0 833365929 27992064 6110 4294967295 134512640 134714508 3221224592 3221221356 1074788930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6834 6110 1111 63 0 6771 0
vsize: 27336
[startup+610.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 119566 0 0 0 60633 375 0 0 25 0 1 0 833365929 27811840 6094 4294967295 134512640 134714508 3221224592 3221222480 1074050818 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6790 6094 1111 63 0 6727 0
vsize: 27160
[startup+620.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 121598 0 0 0 61628 381 0 0 25 0 1 0 833365929 27779072 6089 4294967295 134512640 134714508 3221224592 3221222976 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 6089 1111 63 0 6719 0
vsize: 27128
[startup+630.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 123576 0 0 0 62623 386 0 0 25 0 1 0 833365929 27779072 6089 4294967295 134512640 134714508 3221224592 3221222992 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 6089 1111 63 0 6719 0
vsize: 27128
[startup+640.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 125469 0 0 0 63616 393 0 0 25 0 1 0 833365929 27807744 6095 4294967295 134512640 134714508 3221224592 3221222944 1074118790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6789 6095 1111 63 0 6726 0
vsize: 27156
[startup+650.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 127469 0 0 0 64610 400 0 0 25 0 1 0 833365929 27779072 6089 4294967295 134512640 134714508 3221224592 3221222848 1074146266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 6089 1111 63 0 6719 0
vsize: 27128
[startup+660.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 129456 0 0 0 65604 405 0 0 25 0 1 0 833365929 27815936 6096 4294967295 134512640 134714508 3221224592 3221222736 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6791 6096 1111 63 0 6728 0
vsize: 27164
[startup+670.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 131347 0 0 0 66599 411 0 0 25 0 1 0 833365929 27779072 6089 4294967295 134512640 134714508 3221224592 3221222824 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 6089 1111 63 0 6719 0
vsize: 27128
[startup+680.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 133329 0 0 0 67591 419 0 0 25 0 1 0 833365929 27779072 6089 4294967295 134512640 134714508 3221224592 3221222720 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 6089 1111 63 0 6719 0
vsize: 27128
[startup+690.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 135239 0 0 0 68585 426 0 0 25 0 1 0 833365929 27779072 6089 4294967295 134512640 134714508 3221224592 3221222384 1074153753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 6089 1111 63 0 6719 0
vsize: 27128
[startup+700.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 137060 0 0 0 69579 432 0 0 25 0 1 0 833365929 27979776 6109 4294967295 134512640 134714508 3221224592 3221220704 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6831 6109 1111 63 0 6768 0
vsize: 27324
[startup+710.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 139221 0 0 0 70572 439 0 0 25 0 1 0 833365929 27992064 6109 4294967295 134512640 134714508 3221224592 3221221632 1075859989 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6834 6109 1111 63 0 6771 0
vsize: 27336
[startup+720.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 141320 0 0 0 71566 445 0 0 25 0 1 0 833365929 27918336 6093 4294967295 134512640 134714508 3221224592 3221222512 1075799723 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6816 6093 1111 63 0 6753 0
vsize: 27264
[startup+730.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 143398 0 0 0 72560 451 0 0 25 0 1 0 833365929 27779072 6089 4294967295 134512640 134714508 3221224592 3221222552 1074138237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6815 6089 1111 63 0 6752 0
vsize: 27128
[startup+740.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 145471 0 0 0 73554 457 0 0 25 0 1 0 833365929 27779072 6089 4294967295 134512640 134714508 3221224592 3221222004 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 6089 1111 63 0 6719 0
vsize: 27128
[startup+750.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 147464 0 0 0 74548 463 0 0 25 0 1 0 833365929 27811840 6089 4294967295 134512640 134714508 3221224592 3221222832 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6790 6089 1111 63 0 6727 0
vsize: 27160
[startup+760.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 149559 0 0 0 75541 470 0 0 25 0 1 0 833365929 27807744 6094 4294967295 134512640 134714508 3221224592 3221223088 134650472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6789 6094 1111 63 0 6726 0
vsize: 27156
[startup+770.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 151460 0 0 0 76535 477 0 0 25 0 1 0 833365929 27914240 6091 4294967295 134512640 134714508 3221224592 3221222416 1075824332 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6815 6091 1111 63 0 6752 0
vsize: 27260
[startup+780.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 153414 0 0 0 77530 482 0 0 25 0 1 0 833365929 27811840 6092 4294967295 134512640 134714508 3221224592 3221222544 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6790 6092 1111 63 0 6727 0
vsize: 27160
[startup+790.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 155418 0 0 0 78523 490 0 0 25 0 1 0 833365929 27779072 6089 4294967295 134512640 134714508 3221224592 3221222608 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 6089 1111 63 0 6719 0
vsize: 27128
[startup+800.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 157503 0 0 0 79516 496 0 0 25 0 1 0 833365929 27779072 6089 4294967295 134512640 134714508 3221224592 3221222576 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 6089 1111 63 0 6719 0
vsize: 27128
[startup+810.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 159558 0 0 0 80511 502 0 0 25 0 1 0 833365929 27779072 6089 4294967295 134512640 134714508 3221224592 3221222944 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 6089 1111 63 0 6719 0
vsize: 27128
[startup+820.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 161610 0 0 0 81504 509 0 0 25 0 1 0 833365929 27807744 6095 4294967295 134512640 134714508 3221224592 3221223008 1074116517 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6789 6095 1111 63 0 6726 0
vsize: 27156
[startup+830.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 163678 0 0 0 82499 514 0 0 25 0 1 0 833365929 28020736 6109 4294967295 134512640 134714508 3221224592 3221220684 1075663503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6841 6109 1111 63 0 6778 0
vsize: 27364
[startup+840.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 165731 0 0 0 83492 521 0 0 25 0 1 0 833365929 27922432 6091 4294967295 134512640 134714508 3221224592 3221222256 1075828224 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6817 6092 1111 63 0 6754 0
vsize: 27268
[startup+850.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 167870 0 0 0 84487 527 0 0 25 0 1 0 833365929 27987968 6110 4294967295 134512640 134714508 3221224592 3221220428 1074788937 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6833 6110 1111 63 0 6770 0
vsize: 27332
[startup+860.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 169940 0 0 0 85480 534 0 0 25 0 1 0 833365929 27987968 6095 4294967295 134512640 134714508 3221224592 3221221584 1075971414 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6833 6095 1111 63 0 6770 0
vsize: 27332
[startup+870.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 172051 0 0 0 86473 541 0 0 25 0 1 0 833365929 27811840 6091 4294967295 134512640 134714508 3221224592 3221222960 1074140701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6790 6091 1111 63 0 6727 0
vsize: 27160
[startup+880.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 174168 0 0 0 87466 549 0 0 25 0 1 0 833365929 27987968 6103 4294967295 134512640 134714508 3221224592 3221221024 1075896005 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6833 6103 1111 63 0 6770 0
vsize: 27332
[startup+890.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 176206 0 0 0 88459 555 0 0 25 0 1 0 833365929 27779072 6089 4294967295 134512640 134714508 3221224592 3221222568 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 6089 1111 63 0 6719 0
vsize: 27128
[startup+900.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 178295 0 0 0 89453 562 0 0 25 0 1 0 833365929 27779072 6089 4294967295 134512640 134714508 3221224592 3221222420 1074051505 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 6089 1111 63 0 6719 0
vsize: 27128
[startup+910.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 180375 0 0 0 90445 570 0 0 25 0 1 0 833365929 27987968 6108 4294967295 134512640 134714508 3221224592 3221221664 1075895997 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6833 6108 1111 63 0 6770 0
vsize: 27332
[startup+920.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 182459 0 0 0 91437 578 0 0 25 0 1 0 833365929 27779072 6089 4294967295 134512640 134714508 3221224592 3221222760 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 6089 1111 63 0 6719 0
vsize: 27128
[startup+930.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 184597 0 0 0 92431 584 0 0 25 0 1 0 833365929 27959296 6101 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6826 6101 1111 63 0 6763 0
vsize: 27304
[startup+940.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 186620 0 0 0 93424 591 0 0 25 0 1 0 833365929 27987968 6107 4294967295 134512640 134714508 3221224592 3221220540 1074860977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6833 6107 1111 63 0 6770 0
vsize: 27332
[startup+950.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 188696 0 0 0 94418 597 0 0 25 0 1 0 833365929 27811840 6093 4294967295 134512640 134714508 3221224592 3221222848 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6790 6093 1111 63 0 6727 0
vsize: 27160
[startup+960.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 190733 0 0 0 95412 604 0 0 25 0 1 0 833365929 27987968 6096 4294967295 134512640 134714508 3221224592 3221222640 1074867347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6833 6096 1111 63 0 6770 0
vsize: 27332
[startup+970.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 192786 0 0 0 96405 611 0 0 25 0 1 0 833365929 27811840 6096 4294967295 134512640 134714508 3221224592 3221221872 1074140029 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6790 6096 1111 63 0 6727 0
vsize: 27160
[startup+980.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 194873 0 0 0 97397 619 0 0 25 0 1 0 833365929 27840512 6090 4294967295 134512640 134714508 3221224592 3221222592 1074915850 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6797 6090 1111 63 0 6734 0
vsize: 27188
[startup+990.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 196975 0 0 0 98391 625 0 0 25 0 1 0 833365929 27779072 6089 4294967295 134512640 134714508 3221224592 3221222928 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 6089 1111 63 0 6719 0
vsize: 27128
[startup+1000.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 199072 0 0 0 99384 632 0 0 25 0 1 0 833365929 27983872 6110 4294967295 134512640 134714508 3221224592 3221220704 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6832 6110 1111 63 0 6769 0
vsize: 27328
[startup+1010.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 201111 0 0 0 100378 639 0 0 25 0 1 0 833365929 27779072 6089 4294967295 134512640 134714508 3221224592 3221222556 1074153357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 6089 1111 63 0 6719 0
vsize: 27128
[startup+1020.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 203184 0 0 0 101372 645 0 0 25 0 1 0 833365929 27779072 6089 4294967295 134512640 134714508 3221224592 3221222768 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 6089 1111 63 0 6719 0
vsize: 27128
[startup+1030.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 205308 0 0 0 102367 650 0 0 25 0 1 0 833365929 27779072 6089 4294967295 134512640 134714508 3221224592 3221222896 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 6089 1111 63 0 6719 0
vsize: 27128
[startup+1040.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 207387 0 0 0 103361 656 0 0 25 0 1 0 833365929 27779072 6089 4294967295 134512640 134714508 3221224592 3221222840 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 6089 1111 63 0 6719 0
vsize: 27128
[startup+1050.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 209404 0 0 0 104354 663 0 0 25 0 1 0 833365929 27807744 6095 4294967295 134512640 134714508 3221224592 3221222640 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6789 6095 1111 63 0 6726 0
vsize: 27156
[startup+1060.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 211631 0 0 0 105347 670 0 0 25 0 1 0 833365929 27807744 6089 4294967295 134512640 134714508 3221224592 3221222640 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6789 6089 1111 63 0 6726 0
vsize: 27156
[startup+1070.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 213792 0 0 0 106341 676 0 0 25 0 1 0 833365929 27779072 6089 4294967295 134512640 134714508 3221224592 3221222968 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 6089 1111 63 0 6719 0
vsize: 27128
[startup+1080.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 215874 0 0 0 107334 683 0 0 25 0 1 0 833365929 27779072 6089 4294967295 134512640 134714508 3221224592 3221222368 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 6089 1111 63 0 6719 0
vsize: 27128
[startup+1090.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 217985 0 0 0 108327 691 0 0 25 0 1 0 833365929 27979776 6108 4294967295 134512640 134714508 3221224592 3221220556 1074860649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6831 6108 1111 63 0 6768 0
vsize: 27324
[startup+1100.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 220038 0 0 0 109321 697 0 0 25 0 1 0 833365929 27983872 6095 4294967295 134512640 134714508 3221224592 3221221652 1074617729 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6832 6095 1111 63 0 6769 0
vsize: 27328
[startup+1110.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 222184 0 0 0 110315 704 0 0 25 0 1 0 833365929 27811840 6091 4294967295 134512640 134714508 3221224592 3221222844 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 6089 1111 63 0 6719 0
vsize: 27160
[startup+1120.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 224263 0 0 0 111309 710 0 0 25 0 1 0 833365929 27811840 6091 4294967295 134512640 134714508 3221224592 3221222616 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6790 6091 1111 63 0 6727 0
vsize: 27160
[startup+1130.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 226418 0 0 0 112302 717 0 0 25 0 1 0 833365929 27992064 6111 4294967295 134512640 134714508 3221224592 3221220956 1075115856 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6834 6111 1111 63 0 6771 0
vsize: 27336
[startup+1140.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 228506 0 0 0 113295 724 0 0 25 0 1 0 833365929 27779072 6089 4294967295 134512640 134714508 3221224592 3221222336 1075636509 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 6089 1111 63 0 6719 0
vsize: 27128
[startup+1150.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 230715 0 0 0 114287 732 0 0 25 0 1 0 833365929 28110848 6108 4294967295 134512640 134714508 3221224592 3221220784 1075115758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6863 6108 1111 63 0 6800 0
vsize: 27452
[startup+1160.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 233050 0 0 0 115280 739 0 0 25 0 1 0 833365929 27811840 6095 4294967295 134512640 134714508 3221224592 3221222944 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6790 6095 1111 63 0 6727 0
vsize: 27160
[startup+1170.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 235139 0 0 0 116275 745 0 0 25 0 1 0 833365929 27779072 6089 4294967295 134512640 134714508 3221224592 3221222056 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 6089 1111 63 0 6719 0
vsize: 27128
[startup+1175.3 s]
Raw data (loadavg): 1.00 1.00 1.00 2/53 12984
Raw data (stat): 12984 (bsolo_lpr) R 12983 7475 7474 0 -1 0 235139 0 0 0 116275 745 0 0 25 0 1 0 833365929 27779072 6089 4294967295 134512640 134714508 3221224592 3221222056 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 6089 1111 63 0 6719 0
vsize: 0

Child status: 0
Real time (s): 1175.3
CPU time (s): 1175.49
CPU user time (s): 1167.98
CPU system time (s): 7.50886
CPU usage (%): 100.016
Max. virtual memory (Kb): 27508
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####