PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-08 00:14:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28055 boxname=wulflinc2 idbench=1011 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  c1b4c3ad409db732d2b559e570b6f24c  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-vpm2.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-vpm2.opb
IDLAUNCH: 28055
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        601664 kB
Buffers:         19148 kB
Cached:         391080 kB
SwapCached:       1376 kB
Active:          25144 kB
Inactive:       387100 kB
HighTotal:      131008 kB
HighFree:        25200 kB
LowTotal:       903652 kB
LowFree:        576464 kB
SwapTotal:     2097136 kB
SwapFree:      2094692 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4980 kB
Slab:            15148 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 00:33:45 (client local time) WITH STATUS 0 IN 1176.02 SECONDS
stats: 28055 7 1176.02 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2754 variables and 486 constraints.
c After prepocess the problem consists of 1842 variables and 296 constraints.
c preprocess terminated 77.474 s
c Initial Lower Bound: 39
c Lower Bound Elapsed time: 0.11225
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1176 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.93 0.98 0.91 2/54 411
Raw data (stat): 411 (runsolver) R 410 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 897232733 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 6488 0 0 0 979 18 0 0 25 0 1 0 897232733 29773824 6406 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7269 6406 1111 63 0 7206 0
vsize: 29076
[startup+20.0017 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 6560 0 0 0 1979 18 0 0 25 0 1 0 897232733 30060544 6478 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7339 6478 1111 63 0 7276 0
vsize: 29356
[startup+30.0029 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 6560 0 0 0 2979 19 0 0 25 0 1 0 897232733 30060544 6478 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7339 6478 1111 63 0 7276 0
vsize: 29356
[startup+40.0031 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 6560 0 0 0 3978 19 0 0 25 0 1 0 897232733 30060544 6478 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7339 6478 1111 63 0 7276 0
vsize: 29356
[startup+50.0038 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 6560 0 0 0 4978 19 0 0 25 0 1 0 897232733 30060544 6478 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7339 6478 1111 63 0 7276 0
vsize: 29356
[startup+60.004 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 6560 0 0 0 5977 20 0 0 25 0 1 0 897232733 30060544 6478 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7339 6478 1111 63 0 7276 0
vsize: 29356
[startup+70.0052 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 6560 0 0 0 6977 20 0 0 25 0 1 0 897232733 30060544 6478 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7339 6478 1111 63 0 7276 0
vsize: 29356
[startup+80.0059 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 6937 0 0 0 7976 21 0 0 25 0 1 0 897232733 30269440 6652 4294967295 134512640 134716908 3221224576 3221220804 1075115141 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7390 6652 1111 63 0 7327 0
vsize: 29560
[startup+90.006 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 7975 0 0 0 8972 25 0 0 25 0 1 0 897232733 30093312 6638 4294967295 134512640 134716908 3221224576 3221223216 134651142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6638 1111 63 0 7284 0
vsize: 29388
[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 9077 0 0 0 9968 29 0 0 25 0 1 0 897232733 30490624 6674 4294967295 134512640 134716908 3221224576 3221220804 1075114984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7444 6674 1111 63 0 7381 0
vsize: 29776
[startup+110.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 10430 0 1 0 10961 34 0 0 25 0 1 0 897232733 30146560 6653 4294967295 134512640 134716908 3221224576 3221223104 134652452 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7360 6653 1111 63 0 7297 0
vsize: 29440
[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 12367 0 1 0 11955 40 0 0 25 0 1 0 897232733 30142464 6650 4294967295 134512640 134716908 3221224576 3221222208 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 6650 1111 63 0 7296 0
vsize: 29436
[startup+130.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 14102 0 1 0 12950 46 0 0 25 0 1 0 897232733 30093312 6643 4294967295 134512640 134716908 3221224576 3221222712 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6643 1111 63 0 7284 0
vsize: 29388
[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 15816 0 1 0 13945 50 0 0 25 0 1 0 897232733 30093312 6643 4294967295 134512640 134716908 3221224576 3221222800 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6643 1111 63 0 7284 0
vsize: 29388
[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 17595 0 1 0 14941 55 0 0 25 0 1 0 897232733 30093312 6645 4294967295 134512640 134716908 3221224576 3221222784 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6645 1111 63 0 7284 0
vsize: 29388
[startup+160.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 19414 0 1 0 15935 60 0 0 25 0 1 0 897232733 30093312 6645 4294967295 134512640 134716908 3221224576 3221222568 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6645 1111 63 0 7284 0
vsize: 29388
[startup+170.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 21235 0 1 0 16927 68 0 0 25 0 1 0 897232733 30093312 6645 4294967295 134512640 134716908 3221224576 3221222768 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6645 1111 63 0 7284 0
vsize: 29388
[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 23267 0 1 0 17919 77 0 0 25 0 1 0 897232733 30093312 6645 4294967295 134512640 134716908 3221224576 3221222088 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6645 1111 63 0 7284 0
vsize: 29388
[startup+190.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 25180 0 1 0 18911 85 0 0 25 0 1 0 897232733 30093312 6645 4294967295 134512640 134716908 3221224576 3221222880 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6645 1111 63 0 7284 0
vsize: 29388
[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 26950 0 1 0 19905 91 0 0 25 0 1 0 897232733 30461952 6667 4294967295 134512640 134716908 3221224576 3221221448 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7437 6667 1111 63 0 7374 0
vsize: 29748
[startup+210.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 28615 0 1 0 20901 96 0 0 25 0 1 0 897232733 30142464 6647 4294967295 134512640 134716908 3221224576 3221222448 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 6647 1111 63 0 7296 0
vsize: 29436
[startup+220.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 30426 0 1 0 21895 102 0 0 25 0 1 0 897232733 30146560 6658 4294967295 134512640 134716908 3221224576 3221222648 1074138153 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7360 6658 1111 63 0 7297 0
vsize: 29440
[startup+230.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 32186 0 1 0 22889 107 0 0 25 0 1 0 897232733 30142464 6657 4294967295 134512640 134716908 3221224576 3221222600 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 6657 1111 63 0 7296 0
vsize: 29436
[startup+240.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 33870 0 1 0 23884 113 0 0 25 0 1 0 897232733 30142464 6652 4294967295 134512640 134716908 3221224576 3221222976 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 6652 1111 63 0 7296 0
vsize: 29436
[startup+250.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 35738 0 1 0 24879 118 0 0 25 0 1 0 897232733 30093312 6645 4294967295 134512640 134716908 3221224576 3221222208 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6645 1111 63 0 7284 0
vsize: 29388
[startup+260.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 37561 0 1 0 25873 124 0 0 25 0 1 0 897232733 30306304 6657 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7399 6657 1111 63 0 7336 0
vsize: 29596
[startup+270.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 39483 0 1 0 26866 131 0 0 25 0 1 0 897232733 30195712 6664 4294967295 134512640 134716908 3221224576 3221222256 1075635378 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7372 6664 1111 63 0 7309 0
vsize: 29488
[startup+280.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 41190 0 1 0 27860 137 0 0 25 0 1 0 897232733 30142464 6647 4294967295 134512640 134716908 3221224576 3221222192 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 6647 1111 63 0 7296 0
vsize: 29436
[startup+290.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 42818 0 1 0 28854 143 0 0 25 0 1 0 897232733 30470144 6670 4294967295 134512640 134716908 3221224576 3221220604 1074788217 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7439 6670 1111 63 0 7376 0
vsize: 29756
[startup+300.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 44434 0 1 0 29850 148 0 0 25 0 1 0 897232733 30142464 6646 4294967295 134512640 134716908 3221224576 3221222360 1074208561 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 6646 1111 63 0 7296 0
vsize: 29436
[startup+310.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 46134 0 1 0 30844 154 0 0 25 0 1 0 897232733 30142464 6657 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 6657 1111 63 0 7296 0
vsize: 29436
[startup+320.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 47873 0 1 0 31837 160 0 0 25 0 1 0 897232733 30146560 6658 4294967295 134512640 134716908 3221224576 3221222776 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7360 6658 1111 63 0 7297 0
vsize: 29440
[startup+330.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 49459 0 1 0 32832 166 0 0 25 0 1 0 897232733 30093312 6645 4294967295 134512640 134716908 3221224576 3221222512 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6645 1111 63 0 7284 0
vsize: 29388
[startup+340.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 51309 0 1 0 33826 172 0 0 25 0 1 0 897232733 30457856 6667 4294967295 134512640 134716908 3221224576 3221220540 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7436 6667 1111 63 0 7373 0
vsize: 29744
[startup+350.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 52962 0 1 0 34822 176 0 0 25 0 1 0 897232733 30142464 6657 4294967295 134512640 134716908 3221224576 3221222336 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 6657 1111 63 0 7296 0
vsize: 29436
[startup+360.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 54613 0 1 0 35815 183 0 0 25 0 1 0 897232733 30146560 6658 4294967295 134512640 134716908 3221224576 3221222256 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7360 6658 1111 63 0 7297 0
vsize: 29440
[startup+370.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 56281 0 1 0 36809 189 0 0 25 0 1 0 897232733 30142464 6657 4294967295 134512640 134716908 3221224576 3221222960 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 6657 1111 63 0 7296 0
vsize: 29436
[startup+380.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 57987 0 1 0 37804 195 0 0 25 0 1 0 897232733 30146560 6658 4294967295 134512640 134716908 3221224576 3221222456 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7360 6658 1111 63 0 7297 0
vsize: 29440
[startup+390.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 59764 0 1 0 38799 199 0 0 25 0 1 0 897232733 30478336 6666 4294967295 134512640 134716908 3221224576 3221221636 1074617714 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7441 6666 1111 63 0 7378 0
vsize: 29764
[startup+400.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 61469 0 1 0 39793 205 0 0 25 0 1 0 897232733 30294016 6660 4294967295 134512640 134716908 3221224576 3221222688 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7396 6660 1111 63 0 7333 0
vsize: 29584
[startup+410.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 63058 0 1 0 40789 209 0 0 25 0 1 0 897232733 30470144 6662 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7439 6662 1111 63 0 7376 0
vsize: 29756
[startup+420.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 64549 0 1 0 41784 215 0 0 25 0 1 0 897232733 30142464 6651 4294967295 134512640 134716908 3221224576 3221222928 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 6651 1111 63 0 7296 0
vsize: 29436
[startup+430.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 66385 0 1 0 42779 220 0 0 25 0 1 0 897232733 30371840 6649 4294967295 134512640 134716908 3221224576 3221222304 1075829526 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7415 6649 1111 63 0 7352 0
vsize: 29660
[startup+440.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 68239 0 1 0 43772 227 0 0 25 0 1 0 897232733 30449664 6661 4294967295 134512640 134716908 3221224576 3221220608 1075965256 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7434 6661 1111 63 0 7371 0
vsize: 29736
[startup+450.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 70072 0 1 0 44766 233 0 0 25 0 1 0 897232733 30093312 6646 4294967295 134512640 134716908 3221224576 3221222864 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6646 1111 63 0 7284 0
vsize: 29388
[startup+460.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 71866 0 1 0 45761 238 0 0 25 0 1 0 897232733 30093312 6646 4294967295 134512640 134716908 3221224576 3221221696 1074864892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6646 1111 63 0 7284 0
vsize: 29388
[startup+470.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 74072 0 1 0 46754 246 0 0 25 0 1 0 897232733 30093312 6646 4294967295 134512640 134716908 3221224576 3221222384 134652452 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6646 1111 63 0 7284 0
vsize: 29388
[startup+480.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 76358 0 1 0 47747 253 0 0 25 0 1 0 897232733 30093312 6646 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6646 1111 63 0 7284 0
vsize: 29388
[startup+490.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 78197 0 1 0 48740 259 0 0 25 0 1 0 897232733 30191616 6662 4294967295 134512640 134716908 3221224576 3221222976 1074118806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7371 6662 1111 63 0 7308 0
vsize: 29484
[startup+500.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 79953 0 1 0 49734 266 0 0 25 0 1 0 897232733 30146560 6659 4294967295 134512640 134716908 3221224576 3221222792 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7360 6659 1111 63 0 7297 0
vsize: 29440
[startup+510.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 81773 0 1 0 50727 272 0 0 25 0 1 0 897232733 30142464 6658 4294967295 134512640 134716908 3221224576 3221222264 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 6658 1111 63 0 7296 0
vsize: 29436
[startup+520.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 83590 0 1 0 51720 280 0 0 25 0 1 0 897232733 30142464 6658 4294967295 134512640 134716908 3221224576 3221223168 134535026 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 6658 1111 63 0 7296 0
vsize: 29436
[startup+530.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 85580 0 1 0 52713 287 0 0 25 0 1 0 897232733 30466048 6664 4294967295 134512640 134716908 3221224576 3221220780 1075563003 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7438 6664 1111 63 0 7375 0
vsize: 29752
[startup+540.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 87534 0 1 0 53707 293 0 0 25 0 1 0 897232733 30093312 6646 4294967295 134512640 134716908 3221224576 3221222832 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6646 1111 63 0 7284 0
vsize: 29388
[startup+550.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 89416 0 1 0 54701 299 0 0 25 0 1 0 897232733 30093312 6646 4294967295 134512640 134716908 3221224576 3221221992 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6646 1111 63 0 7284 0
vsize: 29388
[startup+560.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 91290 0 1 0 55696 305 0 0 25 0 1 0 897232733 30142464 6658 4294967295 134512640 134716908 3221224576 3221222544 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7359 6658 1111 63 0 7296 0
vsize: 29436
[startup+570.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 93044 0 1 0 56690 311 0 0 25 0 1 0 897232733 30138368 6651 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6651 1111 63 0 7295 0
vsize: 29432
[startup+580.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 94927 0 1 0 57685 316 0 0 25 0 1 0 897232733 30142464 6658 4294967295 134512640 134716908 3221224576 3221221832 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7359 6658 1111 63 0 7296 0
vsize: 29436
[startup+590.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 96673 0 1 0 58679 322 0 0 25 0 1 0 897232733 30138368 6648 4294967295 134512640 134716908 3221224576 3221222864 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6648 1111 63 0 7295 0
vsize: 29432
[startup+600.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 98548 0 1 0 59674 328 0 0 25 0 1 0 897232733 30142464 6658 4294967295 134512640 134716908 3221224576 3221222240 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7359 6658 1111 63 0 7296 0
vsize: 29436
[startup+610.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 100432 0 1 0 60668 333 0 0 25 0 1 0 897232733 30093312 6646 4294967295 134512640 134716908 3221224576 3221222784 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7347 6646 1111 63 0 7284 0
vsize: 29388
[startup+620.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 102189 0 1 0 61663 338 0 0 25 0 1 0 897232733 30142464 6651 4294967295 134512640 134716908 3221224576 3221222960 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7359 6651 1111 63 0 7296 0
vsize: 29436
[startup+630.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 103843 0 1 0 62659 342 0 0 25 0 1 0 897232733 30515200 6682 4294967295 134512640 134716908 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7450 6682 1111 63 0 7387 0
vsize: 29800
[startup+640.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 105529 0 1 0 63655 347 0 0 25 0 1 0 897232733 30523392 6683 4294967295 134512640 134716908 3221224576 3221220640 1074788835 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7452 6683 1111 63 0 7389 0
vsize: 29808
[startup+650.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 107164 0 1 0 64649 353 0 0 25 0 1 0 897232733 30523392 6668 4294967295 134512640 134716908 3221224576 3221220648 1074950215 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7452 6668 1111 63 0 7389 0
vsize: 29808
[startup+660.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 108852 0 1 0 65645 357 0 0 25 0 1 0 897232733 30195712 6663 4294967295 134512640 134716908 3221224576 3221221768 1074138274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7372 6663 1111 63 0 7309 0
vsize: 29488
[startup+670.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 110562 0 1 0 66639 363 0 0 25 0 1 0 897232733 30437376 6665 4294967295 134512640 134716908 3221224576 3221222608 1075088320 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7370 6662 1111 63 0 7307 0
vsize: 29724
[startup+680.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 112390 0 1 0 67634 369 0 0 25 0 1 0 897232733 30142464 6658 4294967295 134512640 134716908 3221224576 3221222960 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7359 6658 1111 63 0 7296 0
vsize: 29436
[startup+690.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 114084 0 1 0 68628 375 0 0 25 0 1 0 897232733 30142464 6658 4294967295 134512640 134716908 3221224576 3221222764 1074206158 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7359 6658 1111 63 0 7296 0
vsize: 29436
[startup+700.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 115836 0 1 0 69623 381 0 0 25 0 1 0 897232733 30146560 6659 4294967295 134512640 134716908 3221224576 3221221912 1077374653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7360 6659 1111 63 0 7297 0
vsize: 29440
[startup+710.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 117580 0 1 0 70618 386 0 0 25 0 1 0 897232733 30142464 6658 4294967295 134512640 134716908 3221224576 3221222624 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7359 6658 1111 63 0 7296 0
vsize: 29436
[startup+720.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 119645 0 1 0 71611 392 0 0 25 0 1 0 897232733 30146560 6659 4294967295 134512640 134716908 3221224576 3221222144 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7360 6659 1111 63 0 7297 0
vsize: 29440
[startup+730.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 121616 0 1 0 72604 399 0 0 25 0 1 0 897232733 30142464 6658 4294967295 134512640 134716908 3221224576 3221222560 1074052260 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7359 6658 1111 63 0 7296 0
vsize: 29436
[startup+740.029 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 123587 0 1 0 73599 405 0 0 25 0 1 0 897232733 30457856 6668 4294967295 134512640 134716908 3221224576 3221222688 1074867299 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7436 6668 1111 63 0 7373 0
vsize: 29744
[startup+750.029 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 125498 0 1 0 74593 411 0 0 25 0 1 0 897232733 30507008 6670 4294967295 134512640 134716908 3221224576 3221221504 1075960432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7448 6670 1111 63 0 7385 0
vsize: 29792
[startup+760.029 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 127406 0 1 0 75588 417 0 0 25 0 1 0 897232733 30138368 6652 4294967295 134512640 134716908 3221224576 3221221864 1077380597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7358 6652 1111 63 0 7295 0
vsize: 29432
[startup+770.028 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 129612 0 1 0 76581 424 0 0 25 0 1 0 897232733 30130176 6653 4294967295 134512640 134716908 3221224576 3221222800 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7356 6653 1111 63 0 7293 0
vsize: 29424
[startup+780.028 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 131755 0 1 0 77574 431 0 0 25 0 1 0 897232733 30134272 6652 4294967295 134512640 134716908 3221224576 3221222352 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7357 6652 1111 63 0 7294 0
vsize: 29428
[startup+790.028 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 134064 0 1 0 78568 437 0 0 25 0 1 0 897232733 30093312 6649 4294967295 134512640 134716908 3221224576 3221222192 1074153669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7347 6649 1111 63 0 7284 0
vsize: 29388
[startup+800.028 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 136517 0 1 0 79562 443 0 0 25 0 1 0 897232733 30093312 6649 4294967295 134512640 134716908 3221224576 3221222412 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7347 6649 1111 63 0 7284 0
vsize: 29388
[startup+810.028 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 138936 0 1 0 80556 449 0 0 25 0 1 0 897232733 30576640 6711 4294967295 134512640 134716908 3221224576 3221220912 1075114283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7465 6711 1111 63 0 7402 0
vsize: 29860
[startup+820.028 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 141302 0 1 0 81551 454 0 0 25 0 1 0 897232733 30142464 6661 4294967295 134512640 134716908 3221224576 3221223208 134651186 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7359 6661 1111 63 0 7296 0
vsize: 29436
[startup+830.028 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 144376 0 1 0 82543 462 0 0 25 0 1 0 897232733 30199808 6675 4294967295 134512640 134716908 3221224576 3221222216 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7373 6675 1111 63 0 7310 0
vsize: 29492
[startup+840.028 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 146581 0 1 0 83537 469 0 0 25 0 1 0 897232733 30334976 6708 4294967295 134512640 134716908 3221224576 3221222856 1074138297 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7406 6708 1111 63 0 7343 0
vsize: 29624
[startup+850.028 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 149929 0 1 0 84529 477 0 0 25 0 1 0 897232733 30572544 6698 4294967295 134512640 134716908 3221224576 3221220572 1074873379 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7464 6698 1111 63 0 7401 0
vsize: 29856
[startup+860.029 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 152171 0 1 0 85523 483 0 0 25 0 1 0 897232733 30515200 6688 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7450 6688 1111 63 0 7387 0
vsize: 29800
[startup+870.028 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 154619 0 1 0 86516 490 0 0 25 0 1 0 897232733 30515200 6688 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7450 6688 1111 63 0 7387 0
vsize: 29800
[startup+880.028 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 156998 0 1 0 87510 497 0 0 25 0 1 0 897232733 30195712 6666 4294967295 134512640 134716908 3221224576 3221221632 1074138636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7372 6666 1111 63 0 7309 0
vsize: 29488
[startup+890.029 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 159168 0 1 0 88505 501 0 0 25 0 1 0 897232733 30154752 6664 4294967295 134512640 134716908 3221224576 3221222344 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7362 6664 1111 63 0 7299 0
vsize: 29448
[startup+900.028 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 162137 0 1 0 89499 508 0 0 25 0 1 0 897232733 30507008 6750 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7448 6750 1111 63 0 7385 0
vsize: 29792
[startup+910.029 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 164320 0 1 0 90494 513 0 0 25 0 1 0 897232733 30625792 6779 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7477 6779 1111 63 0 7414 0
vsize: 29908
[startup+920.028 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 167509 0 1 0 91487 520 0 0 25 0 1 0 897232733 31256576 6876 4294967295 134512640 134716908 3221224576 3221220904 1075112529 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7631 6876 1111 63 0 7568 0
vsize: 30524
[startup+930.028 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 170468 0 1 0 92479 528 0 0 25 0 1 0 897232733 30576640 6767 4294967295 134512640 134716908 3221224576 3221222960 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7465 6767 1111 63 0 7402 0
vsize: 29860
[startup+940.028 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 172782 0 1 0 93473 535 0 0 25 0 1 0 897232733 30564352 6764 4294967295 134512640 134716908 3221224576 3221223096 134543157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7462 6764 1111 63 0 7399 0
vsize: 29848
[startup+950.029 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 175150 0 1 0 94467 541 0 0 25 0 1 0 897232733 30670848 6790 4294967295 134512640 134716908 3221224576 3221222528 1074918588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7488 6790 1111 63 0 7425 0
vsize: 29952
[startup+960.028 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 178309 0 1 0 95459 548 0 0 25 0 1 0 897232733 30638080 6782 4294967295 134512640 134716908 3221224576 3221222864 1074153766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7480 6782 1111 63 0 7417 0
vsize: 29920
[startup+970.029 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 179835 0 1 0 96454 554 0 0 25 0 1 0 897232733 30998528 6810 4294967295 134512640 134716908 3221224576 3221220944 1075894503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7568 6810 1111 63 0 7505 0
vsize: 30272
[startup+980.029 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 181431 0 1 0 97450 559 0 0 25 0 1 0 897232733 30982144 6789 4294967295 134512640 134716908 3221224576 3221221176 1075850664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7564 6789 1111 63 0 7501 0
vsize: 30256
[startup+990.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 182400 0 1 0 98445 564 0 0 25 0 1 0 897232733 30633984 6781 4294967295 134512640 134716908 3221224576 3221222736 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7479 6781 1111 63 0 7416 0
vsize: 29916
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 183431 0 1 0 99440 568 0 0 25 0 1 0 897232733 30638080 6782 4294967295 134512640 134716908 3221224576 3221222992 1074116193 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7480 6782 1111 63 0 7417 0
vsize: 29920
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 183904 0 1 0 100438 571 0 0 25 0 1 0 897232733 30605312 6774 4294967295 134512640 134716908 3221224576 3221221680 1074138827 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7472 6774 1111 63 0 7409 0
vsize: 29888
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 184378 0 1 0 101436 573 0 0 25 0 1 0 897232733 30605312 6774 4294967295 134512640 134716908 3221224576 3221222320 1075640427 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7472 6774 1111 63 0 7409 0
vsize: 29888
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 184854 0 1 0 102434 575 0 0 25 0 1 0 897232733 30605312 6774 4294967295 134512640 134716908 3221224576 3221222576 1074918652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7472 6774 1111 63 0 7409 0
vsize: 29888
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 185380 0 1 0 103432 578 0 0 25 0 1 0 897232733 30605312 6774 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7472 6774 1111 63 0 7409 0
vsize: 29888
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 185883 0 1 0 104430 580 0 0 25 0 1 0 897232733 30605312 6774 4294967295 134512640 134716908 3221224576 3221222128 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7472 6774 1111 63 0 7409 0
vsize: 29888
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 186407 0 1 0 105427 582 0 0 25 0 1 0 897232733 30605312 6774 4294967295 134512640 134716908 3221224576 3221222152 1074138163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7472 6774 1111 63 0 7409 0
vsize: 29888
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 186917 0 1 0 106425 584 0 0 25 0 1 0 897232733 30605312 6774 4294967295 134512640 134716908 3221224576 3221222640 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7472 6774 1111 63 0 7409 0
vsize: 29888
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 187636 0 1 0 107422 588 0 0 25 0 1 0 897232733 30744576 6777 4294967295 134512640 134716908 3221224576 3221220600 1074950195 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7506 6777 1111 63 0 7443 0
vsize: 30024
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 188224 0 1 0 108420 590 0 0 25 0 1 0 897232733 30789632 6784 4294967295 134512640 134716908 3221224576 3221220848 1074807418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7517 6784 1111 63 0 7454 0
vsize: 30068
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 189071 0 1 0 109417 593 0 0 25 0 1 0 897232733 30633984 6781 4294967295 134512640 134716908 3221224576 3221222400 134652402 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7479 6781 1111 63 0 7416 0
vsize: 29916
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 189704 0 1 0 110415 596 0 0 25 0 1 0 897232733 30605312 6774 4294967295 134512640 134716908 3221224576 3221222240 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7472 6774 1111 63 0 7409 0
vsize: 29888
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 190662 0 1 0 111412 599 0 0 25 0 1 0 897232733 30633984 6781 4294967295 134512640 134716908 3221224576 3221222240 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7479 6781 1111 63 0 7416 0
vsize: 29916
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 191380 0 1 0 112409 602 0 0 25 0 1 0 897232733 30633984 6781 4294967295 134512640 134716908 3221224576 3221222168 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7479 6781 1111 63 0 7416 0
vsize: 29916
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 192725 0 1 0 113404 607 0 0 25 0 1 0 897232733 30605312 6774 4294967295 134512640 134716908 3221224576 3221222384 1074146261 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7472 6774 1111 63 0 7409 0
vsize: 29888
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 194100 0 1 0 114400 612 0 0 25 0 1 0 897232733 30633984 6781 4294967295 134512640 134716908 3221224576 3221222820 1077374082 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7479 6781 1111 63 0 7416 0
vsize: 29916
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 195707 0 2 0 115391 618 0 0 25 0 1 0 897232733 30605312 6776 4294967295 134512640 134716908 3221224576 3221222776 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7472 6776 1111 63 0 7409 0
vsize: 29888
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 199274 0 2 0 116384 626 0 0 25 0 1 0 897232733 30679040 6794 4294967295 134512640 134716908 3221224576 3221222888 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7490 6794 1111 63 0 7427 0
vsize: 29960
[startup+1175.95 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 411
Raw data (stat): 411 (bsolo_lpr-v2) R 410 31399 31398 0 -1 0 199274 0 2 0 116384 626 0 0 25 0 1 0 897232733 30679040 6794 4294967295 134512640 134716908 3221224576 3221222888 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7490 6794 1111 63 0 7427 0
vsize: 0

Child status: 0
Real time (s): 1175.95
CPU time (s): 1176.02
CPU user time (s): 1169.7
CPU system time (s): 6.32104
CPU usage (%): 100.006
Max. virtual memory (Kb): 30524
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####