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-fiber.opb
MD5SUM	d1d488615de0d5a5bcf2a298507e66b1
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	108097879
Optimality of the best value was proved	NO
Number of terms in the objective function	1254
Biggest coefficient in the objective function	72966962
Number of bits for the biggest coefficient in the objective function	27
Sum of the numbers in the objective function	4807778524
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	72966962
Number of bits of the biggest number in a constraint	27
Biggest sum of numbers in a constraint	4807778524
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	90.9232
Number of variables	2134
Total number of constraints	1617
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	1290
Number of constraints which are nor clauses,nor cardinality constraints	327
Minimum length of a constraint	1
Maximum length of a constraint	51
Trace number 25787

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        639488 kB
Buffers:         18652 kB
Cached:         356184 kB
SwapCached:        932 kB
Active:         179344 kB
Inactive:       197644 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        639236 kB
SwapTotal:     2097892 kB
SwapFree:      2095964 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            12356 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-22 12:34:26 (client local time) WITH STATUS 0 IN 1175.48 SECONDS
stats: 17525 7 1175.48 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2134 variables and 711 constraints.
c After prepocess the problem consists of 1934 variables and 590 constraints.
c preprocess terminated 1.122 s
c Initial Lower Bound: 15612078
c Lower Bound Elapsed time: 0.2636
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.44 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.93 2/55 24680
Raw data (stat): 24680 (runsolver) R 24679 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 812856270 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0009 s]
Raw data (loadavg): 0.93 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 12148 0 0 0 968 27 0 0 25 0 1 0 812856270 43458560 9810 4294967295 134512640 134714508 3221221776 3221217772 1074861001 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10610 9810 1111 63 0 10547 0
vsize: 42440
[startup+20.0019 s]
Raw data (loadavg): 0.94 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 13565 0 0 0 1963 32 0 0 25 0 1 0 812856270 42868736 9770 4294967295 134512640 134714508 3221221776 3221220128 1074153794 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10466 9770 1111 63 0 10403 0
vsize: 41864
[startup+30.0023 s]
Raw data (loadavg): 0.95 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 14968 0 0 0 2958 37 0 0 25 0 1 0 812856270 42868736 9772 4294967295 134512640 134714508 3221221776 3221219560 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10466 9772 1111 63 0 10403 0
vsize: 41864
[startup+40.0057 s]
Raw data (loadavg): 0.96 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 16373 0 0 0 3955 40 0 0 25 0 1 0 812856270 42868736 9772 4294967295 134512640 134714508 3221221776 3221220128 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10466 9772 1111 63 0 10403 0
vsize: 41864
[startup+50.0117 s]
Raw data (loadavg): 0.96 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 17699 0 0 0 4951 44 0 0 25 0 1 0 812856270 42868736 9772 4294967295 134512640 134714508 3221221776 3221219736 1074138315 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10466 9772 1111 63 0 10403 0
vsize: 41864
[startup+60.011 s]
Raw data (loadavg): 0.97 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 19021 0 0 0 5947 48 0 0 25 0 1 0 812856270 42868736 9772 4294967295 134512640 134714508 3221221776 3221220160 1074153736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10466 9772 1111 63 0 10403 0
vsize: 41864
[startup+70.0122 s]
Raw data (loadavg): 0.97 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 20311 0 0 0 6943 53 0 0 25 0 1 0 812856270 42868736 9772 4294967295 134512640 134714508 3221221776 3221220104 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10466 9772 1111 63 0 10403 0
vsize: 41864
[startup+80.0121 s]
Raw data (loadavg): 0.98 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 21717 0 0 0 7939 57 0 0 25 0 1 0 812856270 42868736 9772 4294967295 134512640 134714508 3221221776 3221220128 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10466 9772 1111 63 0 10403 0
vsize: 41864
[startup+90.0127 s]
Raw data (loadavg): 0.98 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 23128 0 0 0 8935 61 0 0 25 0 1 0 812856270 42868736 9772 4294967295 134512640 134714508 3221221776 3221220160 1074153767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10466 9772 1111 63 0 10403 0
vsize: 41864
[startup+100.013 s]
Raw data (loadavg): 0.98 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 25087 0 0 0 9930 66 0 0 25 0 1 0 812856270 42868736 9772 4294967295 134512640 134714508 3221221776 3221220112 1074153749 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10466 9772 1111 63 0 10403 0
vsize: 41864
[startup+110.013 s]
Raw data (loadavg): 0.98 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 27049 0 0 0 10926 71 0 0 25 0 1 0 812856270 42868736 9772 4294967295 134512640 134714508 3221221776 3221219632 1074153823 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10466 9772 1111 63 0 10403 0
vsize: 41864
[startup+120.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 29111 0 0 0 11920 77 0 0 25 0 1 0 812856270 43450368 9851 4294967295 134512640 134714508 3221221776 3221218160 1076117203 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10608 9851 1111 63 0 10545 0
vsize: 42432
[startup+130.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 31142 0 0 0 12914 82 0 0 25 0 1 0 812856270 42868736 9772 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10466 9772 1111 63 0 10403 0
vsize: 41864
[startup+140.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 33883 0 0 0 13907 90 0 0 25 0 1 0 812856270 43462656 9858 4294967295 134512640 134714508 3221221776 3221217776 1075965253 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10611 9858 1111 63 0 10548 0
vsize: 42444
[startup+150.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 36058 0 0 0 14902 95 0 0 25 0 1 0 812856270 42868736 9772 4294967295 134512640 134714508 3221221776 3221219776 1074918837 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10466 9772 1111 63 0 10403 0
vsize: 41864
[startup+160.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 38615 0 0 0 15895 102 0 0 25 0 1 0 812856270 42868736 9772 4294967295 134512640 134714508 3221221776 3221220112 1074153800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10466 9772 1111 63 0 10403 0
vsize: 41864
[startup+170.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 40961 0 0 0 16888 110 0 0 25 0 1 0 812856270 42872832 9773 4294967295 134512640 134714508 3221221776 3221219632 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10467 9773 1111 63 0 10404 0
vsize: 41868
[startup+180.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 43800 0 0 0 17880 118 0 0 25 0 1 0 812856270 42872832 9773 4294967295 134512640 134714508 3221221776 3221220128 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10467 9773 1111 63 0 10404 0
vsize: 41868
[startup+190.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 46775 0 0 0 18872 126 0 0 25 0 1 0 812856270 42872832 9773 4294967295 134512640 134714508 3221221776 3221220384 134613577 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10467 9773 1111 63 0 10404 0
vsize: 41868
[startup+200.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 49757 0 0 0 19866 133 0 0 25 0 1 0 812856270 42872832 9773 4294967295 134512640 134714508 3221221776 3221219352 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10467 9773 1111 63 0 10404 0
vsize: 41868
[startup+210.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 52804 0 0 0 20858 141 0 0 25 0 1 0 812856270 43311104 9785 4294967295 134512640 134714508 3221221776 3221218896 1074834473 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10574 9785 1111 63 0 10511 0
vsize: 42296
[startup+220.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 55833 0 0 0 21851 148 0 0 25 0 1 0 812856270 43491328 9861 4294967295 134512640 134714508 3221221776 3221218004 1075114937 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10618 9861 1111 63 0 10555 0
vsize: 42472
[startup+230.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 58856 0 0 0 22843 156 0 0 25 0 1 0 812856270 42872832 9773 4294967295 134512640 134714508 3221221776 3221220128 1074153669 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10467 9773 1111 63 0 10404 0
vsize: 41868
[startup+240.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 61957 0 0 0 23836 163 0 0 25 0 1 0 812856270 42872832 9773 4294967295 134512640 134714508 3221221776 3221220112 1074153753 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10467 9773 1111 63 0 10404 0
vsize: 41868
[startup+250.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 64996 0 0 0 24828 171 0 0 25 0 1 0 812856270 42872832 9773 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10467 9773 1111 63 0 10404 0
vsize: 41868
[startup+260.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 68053 0 0 0 25819 180 0 0 25 0 1 0 812856270 42872832 9773 4294967295 134512640 134714508 3221221776 3221220112 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10467 9773 1111 63 0 10404 0
vsize: 41868
[startup+270.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 71290 0 0 0 26811 188 0 0 25 0 1 0 812856270 42872832 9773 4294967295 134512640 134714508 3221221776 3221219260 1077411564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10467 9773 1111 63 0 10404 0
vsize: 41868
[startup+280.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 74531 0 0 0 27804 196 0 0 25 0 1 0 812856270 43020288 9775 4294967295 134512640 134714508 3221221776 3221219504 1075828462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10503 9775 1111 63 0 10440 0
vsize: 42012
[startup+290.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 78165 0 0 0 28795 205 0 0 25 0 1 0 812856270 43610112 9873 4294967295 134512640 134714508 3221221776 3221218016 1075115730 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10647 9873 1111 63 0 10584 0
vsize: 42588
[startup+300.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 81721 0 0 0 29787 213 0 0 25 0 1 0 812856270 43614208 9875 4294967295 134512640 134714508 3221221776 3221218704 1075960432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10648 9875 1111 63 0 10585 0
vsize: 42592
[startup+310.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 85321 0 0 0 30778 222 0 0 25 0 1 0 812856270 42872832 9773 4294967295 134512640 134714508 3221221776 3221220160 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10467 9773 1111 63 0 10404 0
vsize: 41868
[startup+320.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 89087 0 0 0 31768 233 0 0 25 0 1 0 812856270 42930176 9781 4294967295 134512640 134714508 3221221776 3221220128 1074115298 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10481 9781 1111 63 0 10418 0
vsize: 41924
[startup+330.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 92938 0 0 0 32758 242 0 0 25 0 1 0 812856270 42872832 9773 4294967295 134512640 134714508 3221221776 3221220072 1074138319 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10467 9773 1111 63 0 10404 0
vsize: 41868
[startup+340.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 96793 0 0 0 33749 252 0 0 25 0 1 0 812856270 42872832 9773 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10467 9773 1111 63 0 10404 0
vsize: 41868
[startup+350.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 100652 0 0 0 34740 261 0 0 25 0 1 0 812856270 42872832 9773 4294967295 134512640 134714508 3221221776 3221219056 1074139929 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10467 9773 1111 63 0 10404 0
vsize: 41868
[startup+360.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 104431 0 0 0 35730 272 0 0 25 0 1 0 812856270 42872832 9773 4294967295 134512640 134714508 3221221776 3221220160 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10467 9773 1111 63 0 10404 0
vsize: 41868
[startup+370.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 108341 0 0 0 36720 282 0 0 25 0 1 0 812856270 42872832 9773 4294967295 134512640 134714508 3221221776 3221220160 1074153736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10467 9773 1111 63 0 10404 0
vsize: 41868
[startup+380.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 112284 0 0 0 37709 293 0 0 25 0 1 0 812856270 42872832 9773 4294967295 134512640 134714508 3221221776 3221220160 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10467 9773 1111 63 0 10404 0
vsize: 41868
[startup+390.024 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 116145 0 0 0 38700 302 0 0 25 0 1 0 812856270 42872832 9773 4294967295 134512640 134714508 3221221776 3221218920 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10467 9773 1111 63 0 10404 0
vsize: 41868
[startup+400.024 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 119999 0 0 0 39689 313 0 0 25 0 1 0 812856270 43364352 9784 4294967295 134512640 134714508 3221221776 3221218544 1076083481 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10587 9784 1111 63 0 10524 0
vsize: 42348
[startup+410.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 123779 0 0 0 40679 323 0 0 25 0 1 0 812856270 42872832 9773 4294967295 134512640 134714508 3221221776 3221220160 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10467 9773 1111 63 0 10404 0
vsize: 41868
[startup+420.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 127625 0 0 0 41669 333 0 0 25 0 1 0 812856270 42872832 9773 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10467 9773 1111 63 0 10404 0
vsize: 41868
[startup+430.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 131552 0 0 0 42659 344 0 0 25 0 1 0 812856270 42872832 9773 4294967295 134512640 134714508 3221221776 3221220024 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10467 9773 1111 63 0 10404 0
vsize: 41868
[startup+440.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 135484 0 0 0 43649 354 0 0 25 0 1 0 812856270 42930176 9787 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10481 9787 1111 63 0 10418 0
vsize: 41924
[startup+450.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 139488 0 0 0 44640 363 0 0 25 0 1 0 812856270 42872832 9773 4294967295 134512640 134714508 3221221776 3221220160 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10467 9773 1111 63 0 10404 0
vsize: 41868
[startup+460.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 143766 0 0 0 45628 375 0 0 25 0 1 0 812856270 42872832 9773 4294967295 134512640 134714508 3221221776 3221220024 1074138155 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10467 9773 1111 63 0 10404 0
vsize: 41868
[startup+470.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 147863 0 0 0 46619 385 0 0 25 0 1 0 812856270 42872832 9773 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10467 9773 1111 63 0 10404 0
vsize: 41868
[startup+480.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 152172 0 0 0 47608 396 0 0 25 0 1 0 812856270 42872832 9773 4294967295 134512640 134714508 3221221776 3221220112 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10467 9773 1111 63 0 10404 0
vsize: 41868
[startup+490.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 156720 0 0 0 48597 407 0 0 25 0 1 0 812856270 42872832 9773 4294967295 134512640 134714508 3221221776 3221220352 134650068 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10467 9773 1111 63 0 10404 0
vsize: 41868
[startup+500.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 161253 0 0 0 49586 418 0 0 25 0 1 0 812856270 42872832 9773 4294967295 134512640 134714508 3221221776 3221220128 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10467 9773 1111 63 0 10404 0
vsize: 41868
[startup+510.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 165805 0 0 0 50576 428 0 0 25 0 1 0 812856270 43016192 9776 4294967295 134512640 134714508 3221221776 3221219736 1074138316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10502 9776 1111 63 0 10439 0
vsize: 42008
[startup+520.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 170405 0 0 0 51566 439 0 0 25 0 1 0 812856270 43069440 9812 4294967295 134512640 134714508 3221221776 3221218528 1074247416 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10515 9812 1111 63 0 10452 0
vsize: 42060
[startup+530.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 175073 0 0 0 52553 452 0 0 25 0 1 0 812856270 42930176 9780 4294967295 134512640 134714508 3221221776 3221220100 1077782939 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10481 9780 1111 63 0 10418 0
vsize: 41924
[startup+540.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 180151 0 0 0 53540 465 0 0 25 0 1 0 812856270 42872832 9773 4294967295 134512640 134714508 3221221776 3221220112 1074153773 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10467 9773 1111 63 0 10404 0
vsize: 41868
[startup+550.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 186346 0 0 0 54527 478 0 0 25 0 1 0 812856270 43253760 9823 4294967295 134512640 134714508 3221221776 3221219888 1074867314 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10560 9823 1111 63 0 10497 0
vsize: 42240
[startup+560.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 192421 0 0 0 55513 493 0 0 25 0 1 0 812856270 43151360 9809 4294967295 134512640 134714508 3221221776 3221218880 1074138608 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10535 9809 1111 63 0 10472 0
vsize: 42140
[startup+570.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 198454 0 0 0 56500 506 0 0 25 0 1 0 812856270 42905600 9781 4294967295 134512640 134714508 3221221776 3221220112 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10475 9781 1111 63 0 10412 0
vsize: 41900
[startup+580.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 204387 0 0 0 57485 520 0 0 25 0 1 0 812856270 42905600 9781 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10475 9781 1111 63 0 10412 0
vsize: 41900
[startup+590.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 210368 0 0 0 58471 535 0 0 25 0 1 0 812856270 43253760 9823 4294967295 134512640 134714508 3221221776 3221219696 1075799652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10560 9823 1111 63 0 10497 0
vsize: 42240
[startup+600.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 216416 0 0 0 59456 550 0 0 25 0 1 0 812856270 42962944 9795 4294967295 134512640 134714508 3221221776 3221220176 1074118815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10489 9795 1111 63 0 10426 0
vsize: 41956
[startup+610.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 222399 0 0 0 60442 564 0 0 25 0 1 0 812856270 42905600 9781 4294967295 134512640 134714508 3221221776 3221220040 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10475 9781 1111 63 0 10412 0
vsize: 41900
[startup+620.035 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 228413 0 0 0 61427 580 0 0 25 0 1 0 812856270 43077632 9823 4294967295 134512640 134714508 3221221776 3221219776 1074918316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10517 9823 1111 63 0 10454 0
vsize: 42068
[startup+630.035 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 234521 0 0 0 62412 595 0 0 25 0 1 0 812856270 43843584 9928 4294967295 134512640 134714508 3221221776 3221217772 1074860964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10704 9928 1111 63 0 10641 0
vsize: 42816
[startup+640.036 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 240520 0 0 0 63397 610 0 0 25 0 1 0 812856270 42905600 9781 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10475 9781 1111 63 0 10412 0
vsize: 41900
[startup+650.037 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 246453 0 0 0 64383 624 0 0 25 0 1 0 812856270 42905600 9781 4294967295 134512640 134714508 3221221776 3221220072 1074138155 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10475 9781 1111 63 0 10412 0
vsize: 41900
[startup+660.037 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 252445 0 0 0 65366 641 0 0 25 0 1 0 812856270 42905600 9781 4294967295 134512640 134714508 3221221776 3221220128 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10475 9781 1111 63 0 10412 0
vsize: 41900
[startup+670.037 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 258519 0 0 0 66351 656 0 0 25 0 1 0 812856270 43843584 9928 4294967295 134512640 134714508 3221221776 3221217772 1074860983 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10704 9928 1111 63 0 10641 0
vsize: 42816
[startup+680.037 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 264491 0 0 0 67338 670 0 0 25 0 1 0 812856270 42962944 9795 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10489 9795 1111 63 0 10426 0
vsize: 41956
[startup+690.038 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 270413 0 0 0 68324 684 0 0 25 0 1 0 812856270 42905600 9781 4294967295 134512640 134714508 3221221776 3221220104 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10475 9781 1111 63 0 10412 0
vsize: 41900
[startup+700.038 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 276684 0 0 0 69310 698 0 0 25 0 1 0 812856270 42905600 9781 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10475 9781 1111 63 0 10412 0
vsize: 41900
[startup+710.039 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 282652 0 0 0 70294 714 0 0 25 0 1 0 812856270 42905600 9781 4294967295 134512640 134714508 3221221776 3221219648 1074050884 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10475 9781 1111 63 0 10412 0
vsize: 41900
[startup+720.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 288685 0 0 0 71279 730 0 0 25 0 1 0 812856270 43216896 9850 4294967295 134512640 134714508 3221221776 3221219056 1074140041 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10551 9851 1111 63 0 10488 0
vsize: 42204
[startup+730.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 294746 0 0 0 72266 743 0 0 25 0 1 0 812856270 42962944 9795 4294967295 134512640 134714508 3221221776 3221220396 134558496 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10489 9795 1111 63 0 10426 0
vsize: 41956
[startup+740.041 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 300702 0 0 0 73251 758 0 0 25 0 1 0 812856270 42905600 9781 4294967295 134512640 134714508 3221221776 3221220160 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10475 9781 1111 63 0 10412 0
vsize: 41900
[startup+750.041 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 306653 0 0 0 74237 773 0 0 25 0 1 0 812856270 42905600 9781 4294967295 134512640 134714508 3221221776 3221220076 1074064528 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10475 9781 1111 63 0 10412 0
vsize: 41900
[startup+760.041 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 312627 0 0 0 75224 785 0 0 25 0 1 0 812856270 42905600 9781 4294967295 134512640 134714508 3221221776 3221219256 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10475 9781 1111 63 0 10412 0
vsize: 41900
[startup+770.042 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 318692 0 0 0 76209 800 0 0 25 0 1 0 812856270 43843584 9928 4294967295 134512640 134714508 3221221776 3221217888 1075895659 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10704 9928 1111 63 0 10641 0
vsize: 42816
[startup+780.041 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 324726 0 0 0 77194 815 0 0 25 0 1 0 812856270 42905600 9781 4294967295 134512640 134714508 3221221776 3221220112 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10475 9781 1111 63 0 10412 0
vsize: 41900
[startup+790.042 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 330658 0 0 0 78181 828 0 0 25 0 1 0 812856270 42905600 9781 4294967295 134512640 134714508 3221221776 3221220160 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10475 9781 1111 63 0 10412 0
vsize: 41900
[startup+800.042 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 336585 0 0 0 79168 842 0 0 25 0 1 0 812856270 42905600 9781 4294967295 134512640 134714508 3221221776 3221220080 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10475 9781 1111 63 0 10412 0
vsize: 41900
[startup+810.041 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 342751 0 0 0 80152 859 0 0 25 0 1 0 812856270 43073536 9822 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10516 9822 1111 63 0 10453 0
vsize: 42064
[startup+820.042 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 348714 0 0 0 81137 874 0 0 25 0 1 0 812856270 42905600 9781 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10475 9781 1111 63 0 10412 0
vsize: 41900
[startup+830.041 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 354646 0 0 0 82123 888 0 0 25 0 1 0 812856270 42905600 9781 4294967295 134512640 134714508 3221221776 3221219632 1074153806 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10475 9781 1111 63 0 10412 0
vsize: 41900
[startup+840.042 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 360567 0 0 0 83107 904 0 0 25 0 1 0 812856270 42905600 9781 4294967295 134512640 134714508 3221221776 3221219728 1074052276 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10475 9781 1111 63 0 10412 0
vsize: 41900
[startup+850.042 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 366604 0 0 0 84092 919 0 0 25 0 1 0 812856270 43073536 9822 4294967295 134512640 134714508 3221221776 3221219776 1074918526 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10516 9822 1111 63 0 10453 0
vsize: 42064
[startup+860.042 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 372799 0 0 0 85078 933 0 0 25 0 1 0 812856270 42905600 9781 4294967295 134512640 134714508 3221221776 3221219896 1077377584 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10475 9781 1111 63 0 10412 0
vsize: 41900
[startup+870.043 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 379003 0 0 0 86061 950 0 0 25 0 1 0 812856270 42962944 9795 4294967295 134512640 134714508 3221221776 3221219452 1075894864 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10489 9795 1111 63 0 10426 0
vsize: 41956
[startup+880.043 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 384954 0 0 0 87046 965 0 0 25 0 1 0 812856270 42905600 9781 4294967295 134512640 134714508 3221221776 3221219992 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10475 9781 1111 63 0 10412 0
vsize: 41900
[startup+890.044 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 390870 0 0 0 88030 981 0 0 25 0 1 0 812856270 42962944 9795 4294967295 134512640 134714508 3221221776 3221220416 134649075 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10489 9795 1111 63 0 10426 0
vsize: 41956
[startup+900.044 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 396801 0 0 0 89015 997 0 0 25 0 1 0 812856270 43585536 9834 4294967295 134512640 134714508 3221221776 3221218696 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10641 9834 1111 63 0 10578 0
vsize: 42564
[startup+910.044 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 402746 0 0 0 90000 1012 0 0 25 0 1 0 812856270 42905600 9781 4294967295 134512640 134714508 3221221776 3221220128 1074153773 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10475 9781 1111 63 0 10412 0
vsize: 41900
[startup+920.045 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 408663 0 0 0 90986 1026 0 0 25 0 1 0 812856270 42905600 9781 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10475 9781 1111 63 0 10412 0
vsize: 41900
[startup+930.044 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 414586 0 0 0 91970 1043 0 0 25 0 1 0 812856270 42905600 9781 4294967295 134512640 134714508 3221221776 3221220128 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10475 9781 1111 63 0 10412 0
vsize: 41900
[startup+940.045 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 420672 0 0 0 92954 1058 0 0 25 0 1 0 812856270 43843584 9928 4294967295 134512640 134714508 3221221776 3221217936 1075093374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10704 9928 1111 63 0 10641 0
vsize: 42816
[startup+950.046 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 426679 0 0 0 93941 1072 0 0 25 0 1 0 812856270 42905600 9781 4294967295 134512640 134714508 3221221776 3221220176 1074153736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10475 9781 1111 63 0 10412 0
vsize: 41900
[startup+960.045 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 432612 0 0 0 94925 1087 0 0 25 0 1 0 812856270 42905600 9781 4294967295 134512640 134714508 3221221776 3221219840 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10475 9781 1111 63 0 10412 0
vsize: 41900
[startup+970.045 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 438640 0 0 0 95912 1101 0 0 25 0 1 0 812856270 43843584 9876 4294967295 134512640 134714508 3221221776 3221218844 1074831231 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10704 9876 1111 63 0 10641 0
vsize: 42816
[startup+980.046 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 444603 0 0 0 96896 1118 0 0 25 0 1 0 812856270 43847680 9929 4294967295 134512640 134714508 3221221776 3221218096 1075169567 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10705 9929 1111 63 0 10642 0
vsize: 42820
[startup+990.047 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 450578 0 0 0 97879 1134 0 0 25 0 1 0 812856270 42905600 9781 4294967295 134512640 134714508 3221221776 3221219896 1077378259 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10475 9781 1111 63 0 10412 0
vsize: 41900
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 456559 0 0 0 98867 1147 0 0 25 0 1 0 812856270 42905600 9781 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10475 9781 1111 63 0 10412 0
vsize: 41900
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 462531 0 0 0 99854 1160 0 0 25 0 1 0 812856270 42905600 9781 4294967295 134512640 134714508 3221221776 3221219632 1074153742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10475 9781 1111 63 0 10412 0
vsize: 41900
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 468586 0 0 0 100839 1175 0 0 25 0 1 0 812856270 43839488 9927 4294967295 134512640 134714508 3221221776 3221217772 1074860959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10703 9927 1111 63 0 10640 0
vsize: 42812
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 474735 0 0 0 101823 1191 0 0 25 0 1 0 812856270 43843584 9875 4294967295 134512640 134714508 3221221776 3221218816 1075860294 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10704 9875 1111 63 0 10641 0
vsize: 42816
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 480825 0 0 0 102809 1205 0 0 25 0 1 0 812856270 42905600 9781 4294967295 134512640 134714508 3221221776 3221220128 1074153806 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10475 9781 1111 63 0 10412 0
vsize: 41900
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 486891 0 0 0 103797 1218 0 0 25 0 1 0 812856270 43839488 9927 4294967295 134512640 134714508 3221221776 3221218144 1075894487 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10703 9927 1111 63 0 10640 0
vsize: 42812
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 492861 0 0 0 104781 1234 0 0 25 0 1 0 812856270 42962944 9795 4294967295 134512640 134714508 3221221776 3221220416 134649075 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10489 9795 1111 63 0 10426 0
vsize: 41956
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 498783 0 0 0 105768 1247 0 0 25 0 1 0 812856270 42905600 9781 4294967295 134512640 134714508 3221221776 3221219852 1074206265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10475 9781 1111 63 0 10412 0
vsize: 41900
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 504789 0 0 0 106754 1261 0 0 25 0 1 0 812856270 42905600 9781 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10475 9781 1111 63 0 10412 0
vsize: 41900
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 511078 0 0 0 107738 1278 0 0 25 0 1 0 812856270 42905600 9781 4294967295 134512640 134714508 3221221776 3221220128 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10475 9781 1111 63 0 10412 0
vsize: 41900
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 517033 0 0 0 108723 1293 0 0 25 0 1 0 812856270 42905600 9781 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10475 9781 1111 63 0 10412 0
vsize: 41900
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 522985 0 0 0 109708 1308 0 0 25 0 1 0 812856270 42905600 9781 4294967295 134512640 134714508 3221221776 3221219824 1074153773 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10475 9781 1111 63 0 10412 0
vsize: 41900
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 529295 0 0 0 110693 1323 0 0 25 0 1 0 812856270 43700224 9924 4294967295 134512640 134714508 3221221776 3221220104 1077799185 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10535 9837 1111 63 0 10472 0
vsize: 42676
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 535363 0 0 0 111677 1340 0 0 25 0 1 0 812856270 42905600 9781 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10475 9781 1111 63 0 10412 0
vsize: 41900
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 541639 0 0 0 112662 1355 0 0 25 0 1 0 812856270 42905600 9781 4294967295 134512640 134714508 3221221776 3221220112 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10475 9781 1111 63 0 10412 0
vsize: 41900
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 547781 0 0 0 113648 1369 0 0 25 0 1 0 812856270 42905600 9781 4294967295 134512640 134714508 3221221776 3221220128 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10475 9781 1111 63 0 10412 0
vsize: 41900
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 554194 0 0 0 114635 1382 0 0 25 0 1 0 812856270 42958848 9794 4294967295 134512640 134714508 3221221776 3221220240 1074121049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10488 9794 1111 63 0 10425 0
vsize: 41952
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 560370 0 0 0 115619 1398 0 0 25 0 1 0 812856270 42905600 9781 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10475 9781 1111 63 0 10412 0
vsize: 41900
[startup+1175.35 s]
Raw data (loadavg): 0.99 0.98 0.93 1/54 24680
Raw data (stat): 24680 (bsolo_lpr) R 24679 7876 7672 0 -1 0 560370 0 0 0 115619 1398 0 0 25 0 1 0 812856270 42905600 9781 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10475 9781 1111 63 0 10412 0
vsize: 0

Child status: 0
Real time (s): 1175.35
CPU time (s): 1175.48
CPU user time (s): 1161.38
CPU system time (s): 14.0969
CPU usage (%): 100.011
Max. virtual memory (Kb): 42820
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####