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/miplib3/normalized-mps-v2-20-10-vpm1.opb
MD5SUM	eb50800dc2fc522dd2f29a347fbab1da
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	20
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	168
Number of bits of the sum of numbers in the objective function	8
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	454.966
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	82
Trace number 26366

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc12 THE 2005-05-24 15:18:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13937 boxname=wulflinc12 idbench=1073 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  eb50800dc2fc522dd2f29a347fbab1da  /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-vpm1.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-vpm1.opb
IDLAUNCH: 13937
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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.091
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:        908028 kB
Buffers:         35796 kB
Cached:          70192 kB
SwapCached:        568 kB
Active:          59968 kB
Inactive:        48476 kB
HighTotal:      131008 kB
HighFree:        57008 kB
LowTotal:       903652 kB
LowFree:        851020 kB
SwapTotal:     2097136 kB
SwapFree:      2096076 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5672 kB
Slab:            12744 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 15:38:37 (client local time) WITH STATUS 0 IN 1209.95 SECONDS
stats: 13937 7 1209.95 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 1909 variables and 372 constraints.
c preprocess terminated 83.193 s
c Initial Lower Bound: 16
c Lower Bound Elapsed time: 0.22875
c Use computed LB before first solution.
#### 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.74 0.91 0.98 2/54 775
Raw data (stat): 775 (runsolver) R 774 32284 32283 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773031322 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.0008 s]
Raw data (loadavg): 0.78 0.91 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 6445 0 0 0 973 17 0 0 25 0 1 0 773031322 29597696 6367 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7226 6367 1111 63 0 7163 0
vsize: 28904
[startup+20.0015 s]
Raw data (loadavg): 0.81 0.91 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 6487 0 0 0 1974 17 0 0 25 0 1 0 773031322 29761536 6409 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7266 6409 1111 63 0 7203 0
vsize: 29064
[startup+30.0027 s]
Raw data (loadavg): 0.84 0.92 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 6514 0 0 0 2974 17 0 0 25 0 1 0 773031322 29835264 6436 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7284 6436 1111 63 0 7221 0
vsize: 29136
[startup+40.0022 s]
Raw data (loadavg): 0.87 0.92 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 6537 0 0 0 3974 18 0 0 25 0 1 0 773031322 29904896 6458 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7301 6458 1111 63 0 7238 0
vsize: 29204
[startup+50.0034 s]
Raw data (loadavg): 0.89 0.92 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 6599 0 0 0 4974 18 0 0 25 0 1 0 773031322 30126080 6494 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7355 6494 1111 63 0 7292 0
vsize: 29420
[startup+60.0029 s]
Raw data (loadavg): 0.90 0.92 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 6618 0 0 0 5974 18 0 0 25 0 1 0 773031322 30126080 6512 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7355 6512 1111 63 0 7292 0
vsize: 29420
[startup+70.0041 s]
Raw data (loadavg): 0.92 0.92 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 6618 0 0 0 6974 18 0 0 25 0 1 0 773031322 30126080 6512 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7355 6512 1111 63 0 7292 0
vsize: 29420
[startup+80.0162 s]
Raw data (loadavg): 0.93 0.93 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 6640 0 0 0 7975 18 0 0 25 0 1 0 773031322 30261248 6534 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7388 6534 1111 63 0 7325 0
vsize: 29552
[startup+90.0188 s]
Raw data (loadavg): 0.94 0.93 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 7735 0 2 0 8945 22 0 0 25 0 1 0 773031322 30314496 6701 4294967295 134512640 134714508 3221224592 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6701 1111 63 0 7338 0
vsize: 29604
[startup+100.019 s]
Raw data (loadavg): 0.95 0.93 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 9143 0 2 0 9942 26 0 0 25 0 1 0 773031322 30314496 6703 4294967295 134512640 134714508 3221224592 3221222696 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6703 1111 63 0 7338 0
vsize: 29604
[startup+110.019 s]
Raw data (loadavg): 0.96 0.93 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 10473 0 2 0 10938 30 0 0 25 0 1 0 773031322 30314496 6704 4294967295 134512640 134714508 3221224592 3221222880 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6704 1111 63 0 7338 0
vsize: 29604
[startup+120.025 s]
Raw data (loadavg): 0.96 0.93 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 11780 0 2 0 11934 34 0 0 25 0 1 0 773031322 30523392 6726 4294967295 134512640 134714508 3221224592 3221221132 1075132864 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7452 6726 1111 63 0 7389 0
vsize: 29808
[startup+130.025 s]
Raw data (loadavg): 0.97 0.94 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 12378 0 2 0 12931 37 0 0 25 0 1 0 773031322 30314496 6704 4294967295 134512640 134714508 3221224592 3221222880 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6704 1111 63 0 7338 0
vsize: 29604
[startup+140.025 s]
Raw data (loadavg): 0.97 0.94 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 12443 0 2 0 13931 38 0 0 25 0 1 0 773031322 30314496 6704 4294967295 134512640 134714508 3221224592 3221222744 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6704 1111 63 0 7338 0
vsize: 29604
[startup+150.026 s]
Raw data (loadavg): 0.98 0.94 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 12540 0 2 0 14931 38 0 0 25 0 1 0 773031322 30314496 6705 4294967295 134512640 134714508 3221224592 3221222416 1075823379 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6705 1111 63 0 7338 0
vsize: 29604
[startup+160.026 s]
Raw data (loadavg): 0.98 0.94 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 12588 0 2 0 15930 39 0 0 25 0 1 0 773031322 30314496 6705 4294967295 134512640 134714508 3221224592 3221222944 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6705 1111 63 0 7338 0
vsize: 29604
[startup+170.026 s]
Raw data (loadavg): 0.98 0.94 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 12692 0 2 0 16930 40 0 0 25 0 1 0 773031322 30314496 6705 4294967295 134512640 134714508 3221224592 3221222352 1074153806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6705 1111 63 0 7338 0
vsize: 29604
[startup+180.026 s]
Raw data (loadavg): 0.98 0.94 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 12796 0 2 0 17929 40 0 0 25 0 1 0 773031322 30502912 6707 4294967295 134512640 134714508 3221224592 3221220556 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7447 6707 1111 63 0 7384 0
vsize: 29788
[startup+190.026 s]
Raw data (loadavg): 0.99 0.94 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 12898 0 2 0 18929 41 0 0 25 0 1 0 773031322 30314496 6705 4294967295 134512640 134714508 3221224592 3221222560 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6705 1111 63 0 7338 0
vsize: 29604
[startup+200.026 s]
Raw data (loadavg): 0.99 0.95 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 13000 0 2 0 19928 42 0 0 25 0 1 0 773031322 30314496 6705 4294967295 134512640 134714508 3221224592 3221222808 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6705 1111 63 0 7338 0
vsize: 29604
[startup+210.026 s]
Raw data (loadavg): 0.99 0.95 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 13104 0 2 0 20928 42 0 0 25 0 1 0 773031322 30314496 6705 4294967295 134512640 134714508 3221224592 3221221680 1074138986 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6705 1111 63 0 7338 0
vsize: 29604
[startup+220.027 s]
Raw data (loadavg): 0.99 0.95 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 13204 0 2 0 21926 44 0 0 25 0 1 0 773031322 30314496 6705 4294967295 134512640 134714508 3221224592 3221222592 1074918931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6705 1111 63 0 7338 0
vsize: 29604
[startup+230.026 s]
Raw data (loadavg): 0.99 0.95 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 13310 0 2 0 22926 44 0 0 25 0 1 0 773031322 30314496 6705 4294967295 134512640 134714508 3221224592 3221222976 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6705 1111 63 0 7338 0
vsize: 29604
[startup+240.026 s]
Raw data (loadavg): 0.99 0.95 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 13410 0 2 0 23925 45 0 0 25 0 1 0 773031322 30314496 6705 4294967295 134512640 134714508 3221224592 3221222592 1074916908 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6705 1111 63 0 7338 0
vsize: 29604
[startup+250.027 s]
Raw data (loadavg): 0.99 0.95 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 13504 0 2 0 24924 46 0 0 25 0 1 0 773031322 30314496 6705 4294967295 134512640 134714508 3221224592 3221222904 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6705 1111 63 0 7338 0
vsize: 29604
[startup+260.027 s]
Raw data (loadavg): 0.99 0.95 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 13543 0 2 0 25924 47 0 0 25 0 1 0 773031322 30314496 6706 4294967295 134512640 134714508 3221224592 3221222992 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6706 1111 63 0 7338 0
vsize: 29604
[startup+270.036 s]
Raw data (loadavg): 0.99 0.95 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 13595 0 2 0 26924 48 0 0 25 0 1 0 773031322 30314496 6706 4294967295 134512640 134714508 3221224592 3221222416 1075823513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6706 1111 63 0 7338 0
vsize: 29604
[startup+280.037 s]
Raw data (loadavg): 0.99 0.95 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 13595 0 2 0 27924 48 0 0 25 0 1 0 773031322 30314496 6706 4294967295 134512640 134714508 3221224592 3221223232 134649086 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6706 1111 63 0 7338 0
vsize: 29604
[startup+290.037 s]
Raw data (loadavg): 0.99 0.95 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 13627 0 2 0 28924 49 0 0 25 0 1 0 773031322 30314496 6706 4294967295 134512640 134714508 3221224592 3221222896 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6706 1111 63 0 7338 0
vsize: 29604
[startup+300.038 s]
Raw data (loadavg): 0.99 0.95 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 13741 0 2 0 29923 50 0 0 25 0 1 0 773031322 30314496 6706 4294967295 134512640 134714508 3221224592 3221222800 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6706 1111 63 0 7338 0
vsize: 29604
[startup+310.037 s]
Raw data (loadavg): 0.99 0.96 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 13741 0 2 0 30923 50 0 0 25 0 1 0 773031322 30314496 6706 4294967295 134512640 134714508 3221224592 3221222320 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6706 1111 63 0 7338 0
vsize: 29604
[startup+320.038 s]
Raw data (loadavg): 0.99 0.96 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 13743 0 2 0 31923 50 0 0 25 0 1 0 773031322 30564352 6707 4294967295 134512640 134714508 3221224592 3221220864 1074961490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7462 6707 1111 63 0 7399 0
vsize: 29848
[startup+330.039 s]
Raw data (loadavg): 0.99 0.96 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 13916 0 2 0 32921 52 0 0 25 0 1 0 773031322 30466048 6707 4294967295 134512640 134714508 3221224592 3221222512 1075799503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7438 6707 1111 63 0 7375 0
vsize: 29752
[startup+340.039 s]
Raw data (loadavg): 0.99 0.96 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 14075 0 2 0 33920 53 0 0 25 0 1 0 773031322 30314496 6706 4294967295 134512640 134714508 3221224592 3221222976 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6706 1111 63 0 7338 0
vsize: 29604
[startup+350.04 s]
Raw data (loadavg): 0.99 0.96 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 14136 0 2 0 34920 54 0 0 25 0 1 0 773031322 30314496 6706 4294967295 134512640 134714508 3221224592 3221221632 1075860558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6706 1111 63 0 7338 0
vsize: 29604
[startup+360.04 s]
Raw data (loadavg): 0.99 0.96 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 14310 0 2 0 35919 55 0 0 25 0 1 0 773031322 30564352 6707 4294967295 134512640 134714508 3221224592 3221221512 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7462 6707 1111 63 0 7399 0
vsize: 29848
[startup+370.04 s]
Raw data (loadavg): 0.99 0.96 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 14477 0 2 0 36917 56 0 0 25 0 1 0 773031322 30466048 6707 4294967295 134512640 134714508 3221224592 3221222704 1074867274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7438 6707 1111 63 0 7375 0
vsize: 29752
[startup+380.04 s]
Raw data (loadavg): 0.99 0.96 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 14670 0 2 0 37916 58 0 0 25 0 1 0 773031322 30314496 6706 4294967295 134512640 134714508 3221224592 3221222992 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6706 1111 63 0 7338 0
vsize: 29604
[startup+390.04 s]
Raw data (loadavg): 0.99 0.96 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 14862 0 2 0 38915 59 0 0 25 0 1 0 773031322 30314496 6706 4294967295 134512640 134714508 3221224592 3221222224 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6706 1111 63 0 7338 0
vsize: 29604
[startup+400.041 s]
Raw data (loadavg): 0.99 0.96 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 15057 0 2 0 39914 61 0 0 25 0 1 0 773031322 30466048 6711 4294967295 134512640 134714508 3221224592 3221222320 1075828201 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7438 6711 1111 63 0 7375 0
vsize: 29752
[startup+410.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 15254 0 2 0 40912 63 0 0 25 0 1 0 773031322 30314496 6710 4294967295 134512640 134714508 3221224592 3221222760 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+420.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 15437 0 2 0 41911 64 0 0 25 0 1 0 773031322 30314496 6710 4294967295 134512640 134714508 3221224592 3221222352 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+430.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 15621 0 2 0 42910 65 0 0 25 0 1 0 773031322 30314496 6710 4294967295 134512640 134714508 3221224592 3221222556 1077378064 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+440.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 15874 0 2 0 43908 67 0 0 25 0 1 0 773031322 30314496 6710 4294967295 134512640 134714508 3221224592 3221221936 1074839104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+450.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 16205 0 2 0 44905 70 0 0 25 0 1 0 773031322 30314496 6710 4294967295 134512640 134714508 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+460.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 17249 0 2 0 45901 74 0 0 25 0 1 0 773031322 30314496 6710 4294967295 134512640 134714508 3221224592 3221222944 1074115271 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+470.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 17944 0 2 0 46898 78 0 0 25 0 1 0 773031322 30314496 6710 4294967295 134512640 134714508 3221224592 3221223232 134649075 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+480.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 17944 0 2 0 47898 78 0 0 25 0 1 0 773031322 30314496 6710 4294967295 134512640 134714508 3221224592 3221221872 1074139993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+490.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 17944 0 2 0 48897 79 0 0 25 0 1 0 773031322 30314496 6710 4294967295 134512640 134714508 3221224592 3221222504 1074138265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+500.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 17944 0 2 0 49897 79 0 0 25 0 1 0 773031322 30314496 6710 4294967295 134512640 134714508 3221224592 3221222512 1075799509 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+510.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 17944 0 2 0 50896 80 0 0 25 0 1 0 773031322 30314496 6710 4294967295 134512640 134714508 3221224592 3221220732 1075895476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+520.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 17944 0 2 0 51896 80 0 0 25 0 1 0 773031322 30314496 6710 4294967295 134512640 134714508 3221224592 3221220976 1074972219 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+530.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 17944 0 2 0 52896 81 0 0 25 0 1 0 773031322 30314496 6710 4294967295 134512640 134714508 3221224592 3221222944 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+540.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 17944 0 2 0 53895 81 0 0 25 0 1 0 773031322 30314496 6710 4294967295 134512640 134714508 3221224592 3221221136 1075088581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+550.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 17944 0 2 0 54895 82 0 0 25 0 1 0 773031322 30314496 6710 4294967295 134512640 134714508 3221224592 3221222320 1075828586 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+560.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 17967 0 2 0 55895 82 0 0 25 0 1 0 773031322 30314496 6710 4294967295 134512640 134714508 3221224592 3221221404 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+570.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 17967 0 2 0 56894 83 0 0 25 0 1 0 773031322 30314496 6710 4294967295 134512640 134714508 3221224592 3221222656 1075961600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+580.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 17967 0 2 0 57894 83 0 0 25 0 1 0 773031322 30314496 6710 4294967295 134512640 134714508 3221224592 3221222992 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+590.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 17967 0 2 0 58894 84 0 0 25 0 1 0 773031322 30314496 6710 4294967295 134512640 134714508 3221224592 3221222880 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+600.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 17967 0 2 0 59893 84 0 0 25 0 1 0 773031322 30314496 6710 4294967295 134512640 134714508 3221224592 3221222792 1074138158 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+610.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 17967 0 2 0 60893 85 0 0 25 0 1 0 773031322 30314496 6710 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7401 6710 1111 63 0 7338 0
vsize: 29604
[startup+620.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 20901 0 2 0 61882 96 0 0 25 0 1 0 773031322 30605312 6717 4294967295 134512640 134714508 3221224592 3221222320 1075828608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7472 6717 1111 63 0 7409 0
vsize: 29888
[startup+630.046 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 39991 0 2 0 62830 148 0 0 25 0 1 0 773031322 31457280 6925 4294967295 134512640 134714508 3221224592 3221222704 1074867358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7680 6925 1111 63 0 7617 0
vsize: 30720
[startup+640.046 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 58833 0 2 0 63781 198 0 0 25 0 1 0 773031322 32116736 7087 4294967295 134512640 134714508 3221224592 3221222656 1075961624 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7841 7087 1111 63 0 7778 0
vsize: 31364
[startup+650.047 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 74995 0 2 0 64741 238 0 0 25 0 1 0 773031322 32780288 7308 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8003 7308 1111 63 0 7940 0
vsize: 32012
[startup+660.046 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 86695 0 2 0 65706 272 0 0 25 0 1 0 773031322 33218560 7420 4294967295 134512640 134714508 3221224592 3221223208 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8110 7420 1111 63 0 8047 0
vsize: 32440
[startup+670.046 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 109092 0 2 0 66646 333 0 0 25 0 1 0 773031322 34918400 7835 4294967295 134512640 134714508 3221224592 3221222336 1075646667 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8492 7802 1111 63 0 8429 0
vsize: 34100
[startup+680.047 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 131480 0 2 0 67589 390 0 0 25 0 1 0 773031322 36376576 8191 4294967295 134512640 134714508 3221224592 3221222320 1075635959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8881 8191 1111 63 0 8818 0
vsize: 35524
[startup+690.047 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 153704 0 2 0 68535 445 0 0 25 0 1 0 773031322 38318080 8643 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9355 8647 1111 63 0 9292 0
vsize: 37420
[startup+700.048 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 176869 0 2 0 69473 507 0 0 25 0 1 0 773031322 39763968 8995 4294967295 134512640 134714508 3221224592 3221222992 1074118811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9708 8995 1111 63 0 9645 0
vsize: 38832
[startup+710.049 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 198856 0 2 0 70414 566 0 0 25 0 1 0 773031322 41627648 9457 4294967295 134512640 134714508 3221224592 3221222808 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10163 9457 1111 63 0 10100 0
vsize: 40652
[startup+720.048 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 220250 0 2 0 71356 624 0 0 25 0 1 0 773031322 43085824 9816 4294967295 134512640 134714508 3221224592 3221222508 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10519 9816 1111 63 0 10456 0
vsize: 42076
[startup+730.049 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 242089 0 2 0 72304 677 0 0 25 0 1 0 773031322 44670976 10198 4294967295 134512640 134714508 3221224592 3221222944 1074115331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10941 10202 1111 63 0 10878 0
vsize: 43624
[startup+740.049 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 264235 0 2 0 73243 737 0 0 25 0 1 0 773031322 46075904 10546 4294967295 134512640 134714508 3221224592 3221222944 1074115328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11249 10546 1111 63 0 11186 0
vsize: 44996
[startup+750.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 286369 0 2 0 74184 796 0 0 25 0 1 0 773031322 47370240 10862 4294967295 134512640 134714508 3221224592 3221222656 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11565 10862 1111 63 0 11502 0
vsize: 46260
[startup+760.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 307583 0 2 0 75129 852 0 0 25 0 1 0 773031322 50106368 11424 4294967295 134512640 134714508 3221224592 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12233 11424 1111 63 0 12170 0
vsize: 48932
[startup+770.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 330180 0 2 0 76069 912 0 0 25 0 1 0 773031322 51654656 11802 4294967295 134512640 134714508 3221224592 3221222844 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12611 11802 1111 63 0 12548 0
vsize: 50444
[startup+780.051 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 352966 0 2 0 77015 966 0 0 25 0 1 0 773031322 53362688 12182 4294967295 134512640 134714508 3221224592 3221222320 1075828211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13028 12182 1111 63 0 12965 0
vsize: 52112
[startup+790.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 375601 0 2 0 77958 1023 0 0 25 0 1 0 773031322 54837248 12543 4294967295 134512640 134714508 3221224592 3221222320 1075828218 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13388 12543 1111 63 0 13325 0
vsize: 53552
[startup+800.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 398716 0 2 0 78900 1081 0 0 25 0 1 0 773031322 55885824 12862 4294967295 134512640 134714508 3221224592 3221222896 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13644 12862 1111 63 0 13581 0
vsize: 54576
[startup+810.051 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 421214 0 2 0 79844 1137 0 0 25 0 1 0 773031322 57597952 13249 4294967295 134512640 134714508 3221224592 3221222944 1074115331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14062 13254 1111 63 0 13999 0
vsize: 56248
[startup+820.051 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 443716 0 2 0 80785 1197 0 0 25 0 1 0 773031322 58810368 13615 4294967295 134512640 134714508 3221224592 3221222896 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14358 13615 1111 63 0 14295 0
vsize: 57432
[startup+830.052 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 466088 0 2 0 81728 1254 0 0 25 0 1 0 773031322 60407808 13986 4294967295 134512640 134714508 3221224592 3221223008 1074116520 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14748 13987 1111 63 0 14685 0
vsize: 58992
[startup+840.052 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 489008 0 2 0 82667 1315 0 0 25 0 1 0 773031322 61997056 14329 4294967295 134512640 134714508 3221224592 3221222512 1075799520 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15136 14329 1111 63 0 15073 0
vsize: 60544
[startup+850.052 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 511883 0 2 0 83610 1372 0 0 25 0 1 0 773031322 63102976 14663 4294967295 134512640 134714508 3221224592 3221222456 1074138158 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15406 14663 1111 63 0 15343 0
vsize: 61624
[startup+860.052 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 533735 0 2 0 84556 1427 0 0 25 0 1 0 773031322 67444736 15507 4294967295 134512640 134714508 3221224592 3221222992 1074118790 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16435 15501 1111 63 0 16372 0
vsize: 65864
[startup+870.052 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 554357 0 2 0 85503 1480 0 0 25 0 1 0 773031322 68714496 15843 4294967295 134512640 134714508 3221224592 3221222520 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16776 15843 1111 63 0 16713 0
vsize: 67104
[startup+880.053 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 577560 0 2 0 86447 1536 0 0 25 0 1 0 773031322 70844416 16269 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17296 16270 1111 63 0 17233 0
vsize: 69184
[startup+890.053 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 600368 0 2 0 87391 1592 0 0 25 0 1 0 773031322 72302592 16625 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17652 16626 1111 63 0 17589 0
vsize: 70608
[startup+900.054 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 622798 0 2 0 88334 1649 0 0 25 0 1 0 773031322 73076736 16939 4294967295 134512640 134714508 3221224592 3221222656 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17841 16939 1111 63 0 17778 0
vsize: 71364
[startup+910.054 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 646154 0 2 0 89279 1705 0 0 25 0 1 0 773031322 74723328 17319 4294967295 134512640 134714508 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18202 17300 1111 63 0 18139 0
vsize: 72972
[startup+920.054 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 669042 0 2 0 90222 1762 0 0 25 0 1 0 773031322 75993088 17651 4294967295 134512640 134714508 3221224592 3221222976 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18553 17651 1111 63 0 18490 0
vsize: 74212
[startup+930.055 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 692027 0 2 0 91167 1817 0 0 25 0 1 0 773031322 77410304 17997 4294967295 134512640 134714508 3221224592 3221222808 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18899 17997 1111 63 0 18836 0
vsize: 75596
[startup+940.055 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 714713 0 2 0 92112 1872 0 0 25 0 1 0 773031322 78999552 18415 4294967295 134512640 134714508 3221224592 3221222944 1074115328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19287 18415 1111 63 0 19224 0
vsize: 77148
[startup+950.056 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 737263 0 2 0 93056 1928 0 0 25 0 1 0 773031322 80601088 18780 4294967295 134512640 134714508 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19678 18780 1111 63 0 19615 0
vsize: 78712
[startup+960.056 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 759979 0 2 0 94005 1980 0 0 25 0 1 0 773031322 81690624 19072 4294967295 134512640 134714508 3221224592 3221223208 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19944 19072 1111 63 0 19881 0
vsize: 79776
[startup+970.055 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 783172 0 2 0 94946 2039 0 0 25 0 1 0 773031322 83431424 19433 4294967295 134512640 134714508 3221224592 3221222704 1074867212 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20369 19433 1111 63 0 20306 0
vsize: 81476
[startup+980.057 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 806344 0 2 0 95893 2091 0 0 25 0 1 0 773031322 84684800 19815 4294967295 134512640 134714508 3221224592 3221223040 1073990306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20675 19815 1111 63 0 20612 0
vsize: 82700
[startup+990.057 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 829726 0 2 0 96840 2145 0 0 25 0 1 0 773031322 86265856 20155 4294967295 134512640 134714508 3221224592 3221222320 1075828208 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21061 20162 1111 63 0 20998 0
vsize: 84244
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 851837 0 2 0 97785 2200 0 0 25 0 1 0 773031322 87404544 20503 4294967295 134512640 134714508 3221224592 3221222844 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21339 20503 1111 63 0 21276 0
vsize: 85356
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 875039 0 2 0 98735 2251 0 0 25 0 1 0 773031322 89014272 20870 4294967295 134512640 134714508 3221224592 3221223056 1074119523 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21732 20870 1111 63 0 21669 0
vsize: 86928
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 898068 0 2 0 99681 2304 0 0 25 0 1 0 773031322 90546176 21232 4294967295 134512640 134714508 3221224592 3221222728 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22106 21234 1111 63 0 22043 0
vsize: 88424
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 920735 0 2 0 100629 2357 0 0 25 0 1 0 773031322 91598848 21563 4294967295 134512640 134714508 3221224592 3221222856 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22363 21563 1111 63 0 22300 0
vsize: 89452
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 942174 0 2 0 101580 2406 0 0 25 0 1 0 773031322 93585408 22029 4294967295 134512640 134714508 3221224592 3221221704 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22848 22029 1111 63 0 22785 0
vsize: 91392
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 964851 0 2 0 102527 2460 0 0 25 0 1 0 773031322 94728192 22327 4294967295 134512640 134714508 3221224592 3221222556 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23127 22327 1111 63 0 23064 0
vsize: 92508
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 988126 0 2 0 103472 2515 0 0 25 0 1 0 773031322 96485376 22686 4294967295 134512640 134714508 3221224592 3221222320 1075828232 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23556 22693 1111 63 0 23493 0
vsize: 94224
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 998968 0 2 0 104446 2540 0 0 25 0 1 0 773031322 103223296 23872 4294967295 134512640 134714508 3221224592 3221222844 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25201 23872 1111 63 0 25138 0
vsize: 100804
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 1020434 0 2 0 105395 2591 0 0 25 0 1 0 773031322 104910848 24254 4294967295 134512640 134714508 3221224592 3221221872 1074140041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25700 24257 1111 63 0 25637 0
vsize: 102452
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 1042723 0 2 0 106344 2643 0 0 25 0 1 0 773031322 106385408 24567 4294967295 134512640 134714508 3221224592 3221222624 1075088360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25940 24566 1111 63 0 25877 0
vsize: 103892
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 1054082 0 2 0 107316 2671 0 0 25 0 1 0 773031322 107974656 25019 4294967295 134512640 134714508 3221224592 3221222688 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26361 25019 1111 63 0 26298 0
vsize: 105444
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 1054205 0 2 0 108315 2672 0 0 25 0 1 0 773031322 108478464 25142 4294967295 134512640 134714508 3221224592 3221222688 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26484 25142 1111 63 0 26421 0
vsize: 105936
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 1054291 0 2 0 109314 2674 0 0 25 0 1 0 773031322 108961792 25228 4294967295 134512640 134714508 3221224592 3221222656 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26602 25228 1111 63 0 26539 0
vsize: 106408
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 1054377 0 2 0 110313 2675 0 0 25 0 1 0 773031322 109236224 25314 4294967295 134512640 134714508 3221224592 3221222688 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26669 25314 1111 63 0 26606 0
vsize: 106676
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 1054460 0 2 0 111312 2676 0 0 25 0 1 0 773031322 109654016 25397 4294967295 134512640 134714508 3221224592 3221222704 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26771 25397 1111 63 0 26708 0
vsize: 107084
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 1054513 0 2 0 112311 2677 0 0 25 0 1 0 773031322 109871104 25450 4294967295 134512640 134714508 3221224592 3221222688 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26824 25450 1111 63 0 26761 0
vsize: 107296
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 1054565 0 2 0 113311 2678 0 0 25 0 1 0 773031322 110071808 25502 4294967295 134512640 134714508 3221224592 3221222688 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26873 25502 1111 63 0 26810 0
vsize: 107492
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 1054610 0 2 0 114310 2679 0 0 25 0 1 0 773031322 110256128 25547 4294967295 134512640 134714508 3221224592 3221222688 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26918 25547 1111 63 0 26855 0
vsize: 107672
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 1054652 0 2 0 115309 2679 0 0 25 0 1 0 773031322 110428160 25589 4294967295 134512640 134714508 3221224592 3221222688 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26960 25589 1111 63 0 26897 0
vsize: 107840
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 1054748 0 2 0 116309 2680 0 0 25 0 1 0 773031322 110833664 25685 4294967295 134512640 134714508 3221224592 3221222688 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27059 25685 1111 63 0 26996 0
vsize: 108236
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 1054785 0 2 0 117309 2680 0 0 25 0 1 0 773031322 110985216 25722 4294967295 134512640 134714508 3221224592 3221222688 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27096 25722 1111 63 0 27033 0
vsize: 108384
[startup+1210.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 775
Raw data (stat): 775 (bsolo_lpr) R 774 32284 32283 0 -1 0 1054821 0 2 0 118309 2680 0 0 25 0 1 0 773031322 111132672 25758 4294967295 134512640 134714508 3221224592 3221222704 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27132 25758 1111 63 0 27069 0
vsize: 108528
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1210.12 s]
Raw data (loadavg): 0.99 0.97 0.98 1/54 775
Raw data (stat): 775 (bsolo_lpr) Z 774 32284 32283 0 -1 1036 1054821 0 2 0 118309 2685 0 0 25 0 1 0 773031322 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1210.11
CPU time (s): 1209.95
CPU user time (s): 1183.1
CPU system time (s): 26.8569
CPU usage (%): 99.9866
Max. virtual memory (Kb): 108528
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####