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/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos5.opb
MD5SUM	4f5f6e30a602f3968daa9ca41c7da043
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2058
Optimality of the best value was proved	NO
Number of terms in the objective function	133
Biggest coefficient in the objective function	128
Number of bits for the biggest coefficient in the objective function	8
Sum of the numbers in the objective function	9334
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	1024
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	9334
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05284
Number of variables	133
Total number of constraints	126
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	56
Number of constraints which are nor clauses,nor cardinality constraints	70
Minimum length of a constraint	1
Maximum length of a constraint	81
Trace number 25249

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-17 23:38:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19709 boxname=wulflinc31 idbench=1517 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  4f5f6e30a602f3968daa9ca41c7da043  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos5.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos5.opb
IDLAUNCH: 19709
/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:        882828 kB
Buffers:          7604 kB
Cached:         121344 kB
SwapCached:        932 kB
Active:          72244 kB
Inactive:        59904 kB
HighTotal:      131008 kB
HighFree:        21840 kB
LowTotal:       903652 kB
LowFree:        860988 kB
SwapTotal:     2097892 kB
SwapFree:      2096072 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            13824 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-17 23:57:36 (client local time) WITH STATUS 10 IN 1175.18 SECONDS
stats: 19709 0 1175.18 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 133 variables and 73 constraints.
c After prepocess the problem consists of 133 variables and 73 constraints.
c preprocess terminated 0.293 s
c Initial Lower Bound: 1665
c Lower Bound Elapsed time: 0.094
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 2194 @ 1.109
c NEW SOLUTION FOUND: 2188 @ 1.155
c NEW SOLUTION FOUND: 2180 @ 1.196
c NEW SOLUTION FOUND: 2178 @ 389.382
s SATISFIABLE
v d1_bit0 -d2_bit0 -d3_bit0 d4_bit0 -d5_bit0 d6_bit0 -d7_bit0 -d8_bit0 -d9_bit0 d10_bit0 d11_bit0 -d12_bit0 -d13_bit0 d14_bit0 -d15_bit0 -d16_bit0 -d17_bit0 d18_bit0 -d19_bit0 d20_bit0 -d21_bit0 -d22_bit0 d23_bit0 -d24_bit0 -d25_bit0 -d26_bit0 -d27_bit0 -d28_bit0 d29_bit0 -d30_bit0 -d31_bit0 -d32_bit0 -d33_bit0 -d34_bit0 d35_bit0 -d36_bit0 -d37_bit0 -d38_bit0 -d39_bit0 -d40_bit0 d41_bit0 -d42_bit0 d43_bit0 -d44_bit0 -d45_bit0 -d46_bit0 -d47_bit0 -d48_bit0 d49_bit0 d50_bit0 -d51_bit0 -d52_bit0 -d53_bit0 d54_bit_7 -d54_bit_6 -d54_bit_5 -d54_bit_4 -d54_bit_3 -d54_bit_2 -d54_bit_1 -d54_bit0 d55_bit_7 d55_bit_6 d55_bit_5 -d55_bit_4 d55_bit_3 -d55_bit_2 -d55_bit_1 -d55_bit0 -d56_bit_7 -d56_bit_6 -d56_bit_5 -d56_bit_4 -d56_bit_3 -d56_bit_2 -d56_bit_1 -d56_bit0 d57_bit_7 d57_bit_6 -d57_bit_5 -d57_bit_4 d57_bit_3 -d57_bit_2 d57_bit_1 -d57_bit0 -d58_bit_7 -d58_bit_6 -d58_bit_5 -d58_bit_4 -d58_bit_3 -d58_bit_2 -d58_bit_1 -d58_bit0 d59_bit_7 d59_bit_6 -d59_bit_5 -d59_bit_4 -d59_bit_3 -d59_bit_2 -d59_bit_1 -d59_bit0 -d60_bit_7 -d60_bit_6 -d60_bit_5 -d60_bit_4 -d60_bit_3 -d60_bit_2 -d60_bit_1 d60_bit0 d61_bit_7 d61_bit_6 -d61_bit_5 -d61_bit_4 -d61_bit_3 -d61_bit_2 -d61_bit_1 -d61_bit0 -d62_bit_7 -d62_bit_6 -d62_bit_5 -d62_bit_4 -d62_bit_3 -d62_bit_2 -d62_bit_1 -d62_bit0 d63_bit_7 -d63_bit_6 -d63_bit_5 -d63_bit_4 d63_bit_3 -d63_bit_2 -d63_bit_1 -d63_bit0 
c Exit Code: 10
c Total time: 1175 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.97 0.97 0.96 2/55 32011
Raw data (stat): 32011 (runsolver) R 32010 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 773750749 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.0007 s]
Raw data (loadavg): 0.97 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 12056 0 0 0 937 53 0 0 25 0 1 0 773750749 26775552 5820 4294967295 134512640 134714508 3221221776 3221219496 1077380446 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6537 5820 1111 63 0 6474 0
vsize: 26148
[startup+20.0016 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 21487 0 0 0 1899 91 0 0 25 0 1 0 773750749 42811392 9615 4294967295 134512640 134714508 3221221776 3221220416 134540498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10452 9615 1111 63 0 10389 0
vsize: 41808
[startup+30.0025 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 25869 0 0 0 2885 105 0 0 25 0 1 0 773750749 46145536 10461 4294967295 134512640 134714508 3221221776 3221219776 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11266 10461 1111 63 0 11203 0
vsize: 45064
[startup+40.0036 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 42768 0 0 0 3844 146 0 0 25 0 1 0 773750749 54276096 12146 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13251 12146 1111 63 0 13188 0
vsize: 53004
[startup+50.0044 s]
Raw data (loadavg): 0.98 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 76615 0 0 0 4760 231 0 0 25 0 1 0 773750749 68128768 15525 4294967295 134512640 134714508 3221221776 3221220040 1074138245 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16633 15525 1111 63 0 16570 0
vsize: 66532
[startup+60.0047 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 106514 0 0 0 5688 303 0 0 25 0 1 0 773750749 80392192 18445 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19627 18445 1111 63 0 19564 0
vsize: 78508
[startup+70.0062 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 107481 0 0 0 6685 306 0 0 25 0 1 0 773750749 80494592 18470 4294967295 134512640 134714508 3221221776 3221220580 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19652 18470 1111 63 0 19589 0
vsize: 78608
[startup+80.0071 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 108962 0 0 0 7681 310 0 0 25 0 1 0 773750749 80584704 18497 4294967295 134512640 134714508 3221221776 3221220576 134622633 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19674 18497 1111 63 0 19611 0
vsize: 78696
[startup+90.0081 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 110746 0 0 0 8676 315 0 0 25 0 1 0 773750749 80793600 18550 4294967295 134512640 134714508 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19725 18550 1111 63 0 19662 0
vsize: 78900
[startup+100.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 112179 0 0 0 9672 320 0 0 25 0 1 0 773750749 81063936 18616 4294967295 134512640 134714508 3221221776 3221220496 134622860 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19791 18616 1111 63 0 19728 0
vsize: 79164
[startup+110.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 113924 0 0 0 10667 324 0 0 25 0 1 0 773750749 81285120 18670 4294967295 134512640 134714508 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19845 18670 1111 63 0 19782 0
vsize: 79380
[startup+120.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 127194 0 0 0 11634 357 0 0 25 0 1 0 773750749 85291008 19676 4294967295 134512640 134714508 3221221776 3221218980 1074206179 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20823 19676 1111 63 0 20760 0
vsize: 83292
[startup+130.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 153660 0 0 0 12569 423 0 0 25 0 1 0 773750749 94007296 21804 4294967295 134512640 134714508 3221221776 3221219520 1075646973 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22951 21804 1111 63 0 22888 0
vsize: 91804
[startup+140.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 191276 0 0 0 13474 518 0 0 25 0 1 0 773750749 116207616 26331 4294967295 134512640 134714508 3221221776 3221218936 1077374433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28371 26331 1111 63 0 28308 0
vsize: 113484
[startup+150.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 230260 0 0 0 14368 624 0 0 25 0 1 0 773750749 133505024 30574 4294967295 134512640 134714508 3221221776 3221217936 1075091317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32294 30545 1111 63 0 32231 0
vsize: 130376
[startup+160.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 236540 0 0 0 15354 638 0 0 25 0 1 0 773750749 134643712 31122 4294967295 134512640 134714508 3221221776 3221219776 1074918599 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32872 31122 1111 63 0 32809 0
vsize: 131488
[startup+170.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 246544 0 0 0 16329 664 0 0 25 0 1 0 773750749 137338880 31819 4294967295 134512640 134714508 3221221776 3221219776 1074918591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33530 31819 1111 63 0 33467 0
vsize: 134120
[startup+180.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 263752 0 0 0 17287 705 0 0 25 0 1 0 773750749 146341888 33772 4294967295 134512640 134714508 3221221776 3221220080 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35728 33772 1111 63 0 35665 0
vsize: 142912
[startup+190.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 264382 0 0 0 18286 707 0 0 25 0 1 0 773750749 147996672 34187 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36132 34187 1111 63 0 36069 0
vsize: 144528
[startup+200.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 265919 0 0 0 19283 710 0 0 25 0 1 0 773750749 146825216 33913 4294967295 134512640 134714508 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35846 33913 1111 63 0 35783 0
vsize: 143384
[startup+210.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 265919 0 0 0 20283 710 0 0 25 0 1 0 773750749 146825216 33913 4294967295 134512640 134714508 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35846 33913 1111 63 0 35783 0
vsize: 143384
[startup+220.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 265919 0 0 0 21283 710 0 0 25 0 1 0 773750749 146825216 33913 4294967295 134512640 134714508 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35846 33913 1111 63 0 35783 0
vsize: 143384
[startup+230.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 266301 0 0 0 22282 712 0 0 25 0 1 0 773750749 147255296 34009 4294967295 134512640 134714508 3221221776 3221219776 1074918576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35951 34009 1111 63 0 35888 0
vsize: 143804
[startup+240.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 269511 0 0 0 23274 720 0 0 25 0 1 0 773750749 148000768 34195 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36133 34195 1111 63 0 36070 0
vsize: 144532
[startup+250.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 270625 0 0 0 24272 722 0 0 25 0 1 0 773750749 146964480 33956 4294967295 134512640 134714508 3221221776 3221220580 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35880 33956 1111 63 0 35817 0
vsize: 143520
[startup+260.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 270625 0 0 0 25272 722 0 0 25 0 1 0 773750749 146964480 33956 4294967295 134512640 134714508 3221221776 3221220560 134622534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35880 33956 1111 63 0 35817 0
vsize: 143520
[startup+270.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 271071 0 0 0 26271 724 0 0 25 0 1 0 773750749 147910656 34172 4294967295 134512640 134714508 3221221776 3221219776 1074918591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36111 34172 1111 63 0 36048 0
vsize: 144444
[startup+280.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 274434 0 0 0 27260 734 0 0 25 0 1 0 773750749 148471808 34337 4294967295 134512640 134714508 3221221776 3221219776 1074918591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36248 34337 1111 63 0 36185 0
vsize: 144992
[startup+290.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 275421 0 0 0 28258 736 0 0 25 0 1 0 773750749 147742720 34168 4294967295 134512640 134714508 3221221776 3221220568 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36070 34168 1111 63 0 36007 0
vsize: 144280
[startup+300.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 275532 0 0 0 29258 737 0 0 25 0 1 0 773750749 147652608 34122 4294967295 134512640 134714508 3221221776 3221219808 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36048 34122 1111 63 0 35985 0
vsize: 144192
[startup+310.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 276794 0 0 0 30255 740 0 0 25 0 1 0 773750749 147128320 34014 4294967295 134512640 134714508 3221221776 3221219352 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35920 34014 1111 63 0 35857 0
vsize: 143680
[startup+320.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 287961 0 0 0 31225 771 0 0 25 0 1 0 773750749 150536192 34863 4294967295 134512640 134714508 3221221776 3221219776 1074918583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36752 34863 1111 63 0 36689 0
vsize: 147008
[startup+330.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 293745 0 0 0 32209 787 0 0 25 0 1 0 773750749 152711168 35426 4294967295 134512640 134714508 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37283 35426 1111 63 0 37220 0
vsize: 149132
[startup+340.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 296188 0 0 0 33203 793 0 0 25 0 1 0 773750749 153030656 35477 4294967295 134512640 134714508 3221221776 3221220128 1074153766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37361 35477 1111 63 0 37298 0
vsize: 149444
[startup+350.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 297016 0 0 0 34202 794 0 0 25 0 1 0 773750749 152981504 35494 4294967295 134512640 134714508 3221221776 3221220112 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37349 35494 1111 63 0 37286 0
vsize: 149396
[startup+360.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 305497 0 0 0 35179 817 0 0 25 0 1 0 773750749 155451392 36119 4294967295 134512640 134714508 3221221776 3221220160 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37952 36119 1111 63 0 37889 0
vsize: 151808
[startup+370.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 312383 0 0 0 36162 834 0 0 25 0 1 0 773750749 157855744 36725 4294967295 134512640 134714508 3221221776 3221220580 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38539 36725 1111 63 0 38476 0
vsize: 154156
[startup+380.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 327865 0 0 0 37122 874 0 0 25 0 1 0 773750749 163008512 38021 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39797 38021 1111 63 0 39734 0
vsize: 159188
[startup+390.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 352234 0 0 0 38064 933 0 0 25 0 1 0 773750749 171483136 40149 4294967295 134512640 134714508 3221221776 3221220224 1073990141 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41866 40149 1111 63 0 41803 0
vsize: 167464
[startup+400.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 397487 0 0 0 38955 1042 0 0 25 0 1 0 773750749 199835648 44941 4294967295 134512640 134714508 3221221776 3221218764 1077404742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48788 44941 1111 63 0 48725 0
vsize: 195152
[startup+410.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 437797 0 0 0 39848 1149 0 0 25 0 1 0 773750749 215437312 49204 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52597 49204 1111 63 0 52534 0
vsize: 210388
[startup+420.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 461107 0 0 0 40791 1206 0 0 25 0 1 0 773750749 226131968 51851 4294967295 134512640 134714508 3221221776 3221220128 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55208 51851 1111 63 0 55145 0
vsize: 220832
[startup+430.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 461718 0 0 0 41789 1208 0 0 25 0 1 0 773750749 227737600 52257 4294967295 134512640 134714508 3221221776 3221219776 1074918576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55600 52257 1111 63 0 55537 0
vsize: 222400
[startup+440.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 463327 0 0 0 42785 1213 0 0 25 0 1 0 773750749 226471936 51961 4294967295 134512640 134714508 3221221776 3221219760 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55291 51961 1111 63 0 55228 0
vsize: 221164
[startup+450.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 463749 0 0 0 43783 1214 0 0 25 0 1 0 773750749 227639296 52243 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55576 52243 1111 63 0 55513 0
vsize: 222304
[startup+460.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 466832 0 0 0 44775 1223 0 0 25 0 1 0 773750749 227065856 52062 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55436 52062 1111 63 0 55373 0
vsize: 221744
[startup+470.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 467326 0 0 0 45774 1225 0 0 25 0 1 0 773750749 228339712 52386 4294967295 134512640 134714508 3221221776 3221219776 1074918583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55747 52386 1111 63 0 55684 0
vsize: 222988
[startup+480.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 468859 0 0 0 46768 1230 0 0 25 0 1 0 773750749 227102720 52087 4294967295 134512640 134714508 3221221776 3221219808 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55445 52087 1111 63 0 55382 0
vsize: 221780
[startup+490.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 470607 0 0 0 47764 1235 0 0 25 0 1 0 773750749 227172352 52104 4294967295 134512640 134714508 3221221776 3221220492 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55462 52104 1111 63 0 55399 0
vsize: 221848
[startup+500.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 472805 0 0 0 48758 1240 0 0 25 0 1 0 773750749 228921344 52522 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55889 52522 1111 63 0 55826 0
vsize: 223556
[startup+510.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 474122 0 0 0 49756 1243 0 0 25 0 1 0 773750749 227311616 52139 4294967295 134512640 134714508 3221221776 3221220112 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55496 52139 1111 63 0 55433 0
vsize: 221984
[startup+520.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 474630 0 0 0 50752 1246 0 0 25 0 1 0 773750749 228847616 52510 4294967295 134512640 134714508 3221221776 3221219776 1074918583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55871 52510 1111 63 0 55808 0
vsize: 223484
[startup+530.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 477329 0 0 0 51746 1253 0 0 25 0 1 0 773750749 227729408 52243 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55598 52243 1111 63 0 55535 0
vsize: 222392
[startup+540.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 477855 0 0 0 52744 1255 0 0 25 0 1 0 773750749 229294080 52621 4294967295 134512640 134714508 3221221776 3221219776 1074918599 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55980 52621 1111 63 0 55917 0
vsize: 223920
[startup+550.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 479706 0 0 0 53741 1259 0 0 25 0 1 0 773750749 229294080 52620 4294967295 134512640 134714508 3221221776 3221219776 1074918576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55980 52620 1111 63 0 55917 0
vsize: 223920
[startup+560.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 480952 0 0 0 54738 1261 0 0 25 0 1 0 773750749 228159488 52348 4294967295 134512640 134714508 3221221776 3221220568 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55703 52348 1111 63 0 55640 0
vsize: 222812
[startup+570.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 493860 0 0 0 55709 1291 0 0 25 0 1 0 773750749 231366656 53177 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56486 53177 1111 63 0 56423 0
vsize: 225944
[startup+580.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 504365 0 0 0 56682 1317 0 0 25 0 1 0 773750749 234708992 54030 4294967295 134512640 134714508 3221221776 3221220112 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57302 54031 1111 63 0 57239 0
vsize: 229208
[startup+590.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 524005 0 0 0 57633 1366 0 0 25 0 1 0 773750749 241238016 55697 4294967295 134512640 134714508 3221221776 3221220136 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58896 55697 1111 63 0 58833 0
vsize: 235584
[startup+600.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 524768 0 0 0 58631 1369 0 0 25 0 1 0 773750749 243388416 56221 4294967295 134512640 134714508 3221221776 3221219776 1074918599 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59421 56221 1111 63 0 59358 0
vsize: 237684
[startup+610.036 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 538479 0 0 0 59594 1406 0 0 25 0 1 0 773750749 246046720 56925 4294967295 134512640 134714508 3221221776 3221220128 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60070 56925 1111 63 0 60007 0
vsize: 240280
[startup+620.037 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 545995 0 0 0 60572 1428 0 0 25 0 1 0 773750749 250265600 57966 4294967295 134512640 134714508 3221221776 3221220112 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61100 57966 1111 63 0 61037 0
vsize: 244400
[startup+630.037 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 546044 0 0 0 61571 1429 0 0 25 0 1 0 773750749 250449920 58015 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61145 58015 1111 63 0 61082 0
vsize: 244580
[startup+640.037 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 546941 0 0 0 62568 1432 0 0 25 0 1 0 773750749 252911616 58618 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61746 58618 1111 63 0 61683 0
vsize: 246984
[startup+650.037 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 546941 0 0 0 63568 1432 0 0 25 0 1 0 773750749 252911616 58618 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61746 58618 1111 63 0 61683 0
vsize: 246984
[startup+660.037 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 546941 0 0 0 64569 1432 0 0 25 0 1 0 773750749 252911616 58618 4294967295 134512640 134714508 3221221776 3221219776 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61746 58618 1111 63 0 61683 0
vsize: 246984
[startup+670.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 549344 0 0 0 65564 1438 0 0 25 0 1 0 773750749 250777600 58105 4294967295 134512640 134714508 3221221776 3221220488 134543179 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61225 58105 1111 63 0 61162 0
vsize: 244900
[startup+680.039 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 549344 0 0 0 66564 1438 0 0 25 0 1 0 773750749 250777600 58105 4294967295 134512640 134714508 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61225 58105 1111 63 0 61162 0
vsize: 244900
[startup+690.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 549344 0 0 0 67564 1438 0 0 25 0 1 0 773750749 250777600 58105 4294967295 134512640 134714508 3221221776 3221220492 134543156 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61225 58105 1111 63 0 61162 0
vsize: 244900
[startup+700.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 549344 0 0 0 68564 1438 0 0 25 0 1 0 773750749 250777600 58105 4294967295 134512640 134714508 3221221776 3221220568 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61225 58105 1111 63 0 61162 0
vsize: 244900
[startup+710.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 549344 0 0 0 69564 1438 0 0 25 0 1 0 773750749 250777600 58105 4294967295 134512640 134714508 3221221776 3221220580 134622589 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61225 58105 1111 63 0 61162 0
vsize: 244900
[startup+720.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 549344 0 0 0 70564 1438 0 0 25 0 1 0 773750749 250777600 58105 4294967295 134512640 134714508 3221221776 3221220568 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61225 58105 1111 63 0 61162 0
vsize: 244900
[startup+730.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 549344 0 0 0 71565 1438 0 0 25 0 1 0 773750749 250777600 58105 4294967295 134512640 134714508 3221221776 3221220592 134622464 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61225 58105 1111 63 0 61162 0
vsize: 244900
[startup+740.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 549445 0 0 0 72564 1439 0 0 25 0 1 0 773750749 250179584 57959 4294967295 134512640 134714508 3221221776 3221220112 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61079 57959 1111 63 0 61016 0
vsize: 244316
[startup+750.041 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 550056 0 0 0 73562 1440 0 0 25 0 1 0 773750749 251736064 58324 4294967295 134512640 134714508 3221221776 3221219776 1074918591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61459 58324 1111 63 0 61396 0
vsize: 245836
[startup+760.041 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 555692 0 0 0 74548 1455 0 0 25 0 1 0 773750749 250183680 57963 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61080 57963 1111 63 0 61017 0
vsize: 244320
[startup+770.042 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 557834 0 0 0 75542 1461 0 0 25 0 1 0 773750749 251482112 58258 4294967295 134512640 134714508 3221221776 3221220128 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61397 58258 1111 63 0 61334 0
vsize: 245588
[startup+780.043 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 563023 0 0 0 76529 1474 0 0 25 0 1 0 773750749 252616704 58528 4294967295 134512640 134714508 3221221776 3221219776 1074918591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61674 58528 1111 63 0 61611 0
vsize: 246696
[startup+790.043 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 570060 0 0 0 77511 1493 0 0 25 0 1 0 773750749 253534208 58787 4294967295 134512640 134714508 3221221776 3221220176 1074118815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61898 58787 1111 63 0 61835 0
vsize: 247592
[startup+800.043 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 591575 0 0 0 78457 1546 0 0 25 0 1 0 773750749 261136384 60536 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63754 60536 1111 63 0 63691 0
vsize: 255016
[startup+810.043 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 619379 0 0 0 79387 1617 0 0 25 0 1 0 773750749 269729792 62705 4294967295 134512640 134714508 3221221776 3221220128 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65852 62705 1111 63 0 65789 0
vsize: 263408
[startup+820.044 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 620008 0 0 0 80384 1620 0 0 25 0 1 0 773750749 271593472 63164 4294967295 134512640 134714508 3221221776 3221219776 1074918591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 66307 63164 1111 63 0 66244 0
vsize: 265228
[startup+830.043 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 621320 0 0 0 81382 1623 0 0 25 0 1 0 773750749 270352384 62864 4294967295 134512640 134714508 3221221776 3221220568 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 66004 62864 1111 63 0 65941 0
vsize: 264016
[startup+840.044 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 629646 0 0 0 82363 1642 0 0 25 0 1 0 773750749 275881984 63688 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67354 63688 1111 63 0 67291 0
vsize: 269416
[startup+850.044 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 644204 0 0 0 83328 1677 0 0 25 0 1 0 773750749 282701824 64817 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 68424 64802 1111 63 0 68361 0
vsize: 276076
[startup+860.044 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 672302 0 0 0 84259 1746 0 0 25 0 1 0 773750749 289505280 67137 4294967295 134512640 134714508 3221221776 3221220128 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70680 67137 1111 63 0 70617 0
vsize: 282720
[startup+870.045 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 672531 0 0 0 85257 1748 0 0 25 0 1 0 773750749 290422784 67366 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70904 67366 1111 63 0 70841 0
vsize: 283616
[startup+880.045 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 672579 0 0 0 86256 1749 0 0 25 0 1 0 773750749 290607104 67414 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70949 67414 1111 63 0 70886 0
vsize: 283796
[startup+890.045 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 672618 0 0 0 87255 1750 0 0 25 0 1 0 773750749 290746368 67453 4294967295 134512640 134714508 3221221776 3221219776 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70983 67453 1111 63 0 70920 0
vsize: 283932
[startup+900.046 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 673589 0 0 0 88253 1753 0 0 25 0 1 0 773750749 293195776 68050 4294967295 134512640 134714508 3221221776 3221219776 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71581 68050 1111 63 0 71518 0
vsize: 286324
[startup+910.046 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 673589 0 0 0 89253 1753 0 0 25 0 1 0 773750749 293195776 68050 4294967295 134512640 134714508 3221221776 3221219776 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71581 68050 1111 63 0 71518 0
vsize: 286324
[startup+920.047 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 673589 0 0 0 90253 1753 0 0 25 0 1 0 773750749 293195776 68050 4294967295 134512640 134714508 3221221776 3221219776 1074918599 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71581 68050 1111 63 0 71518 0
vsize: 286324
[startup+930.048 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 676282 0 0 0 91247 1759 0 0 25 0 1 0 773750749 290889728 67494 4294967295 134512640 134714508 3221221776 3221220516 134622704 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71018 67494 1111 63 0 70955 0
vsize: 284072
[startup+940.048 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 676282 0 0 0 92247 1759 0 0 25 0 1 0 773750749 290889728 67494 4294967295 134512640 134714508 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71018 67494 1111 63 0 70955 0
vsize: 284072
[startup+950.049 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 676282 0 0 0 93248 1759 0 0 25 0 1 0 773750749 290889728 67494 4294967295 134512640 134714508 3221221776 3221220488 134543154 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71018 67494 1111 63 0 70955 0
vsize: 284072
[startup+960.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 676282 0 0 0 94248 1759 0 0 25 0 1 0 773750749 290889728 67494 4294967295 134512640 134714508 3221221776 3221220488 134543174 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71018 67494 1111 63 0 70955 0
vsize: 284072
[startup+970.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 676282 0 0 0 95248 1759 0 0 25 0 1 0 773750749 290889728 67494 4294967295 134512640 134714508 3221221776 3221220488 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71018 67494 1111 63 0 70955 0
vsize: 284072
[startup+980.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 676282 0 0 0 96248 1759 0 0 25 0 1 0 773750749 290889728 67494 4294967295 134512640 134714508 3221221776 3221220572 134542422 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71018 67494 1111 63 0 70955 0
vsize: 284072
[startup+990.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 679360 0 0 0 97240 1767 0 0 25 0 1 0 773750749 291704832 67686 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71217 67686 1111 63 0 71154 0
vsize: 284868
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 680538 0 0 0 98237 1771 0 0 25 0 1 0 773750749 290832384 67481 4294967295 134512640 134714508 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71004 67481 1111 63 0 70941 0
vsize: 284016
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 680538 0 0 0 99237 1771 0 0 25 0 1 0 773750749 290832384 67481 4294967295 134512640 134714508 3221221776 3221220500 134622859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71004 67481 1111 63 0 70941 0
vsize: 284016
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 683611 0 0 0 100229 1779 0 0 25 0 1 0 773750749 291348480 67606 4294967295 134512640 134714508 3221221776 3221220112 1074153742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71130 67606 1111 63 0 71067 0
vsize: 284520
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 685081 0 0 0 101225 1784 0 0 25 0 1 0 773750749 291602432 67670 4294967295 134512640 134714508 3221221776 3221220580 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71192 67670 1111 63 0 71129 0
vsize: 284768
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 685081 0 0 0 102225 1784 0 0 25 0 1 0 773750749 291602432 67670 4294967295 134512640 134714508 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71192 67670 1111 63 0 71129 0
vsize: 284768
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 685081 0 0 0 103225 1784 0 0 25 0 1 0 773750749 291602432 67670 4294967295 134512640 134714508 3221221776 3221220580 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71192 67670 1111 63 0 71129 0
vsize: 284768
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 688306 0 0 0 104217 1792 0 0 25 0 1 0 773750749 293208064 68077 4294967295 134512640 134714508 3221221776 3221219776 1074918583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71584 68077 1111 63 0 71521 0
vsize: 286336
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 689418 0 0 0 105215 1795 0 0 25 0 1 0 773750749 292405248 67881 4294967295 134512640 134714508 3221221776 3221220568 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71388 67881 1111 63 0 71325 0
vsize: 285552
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 689418 0 0 0 106215 1795 0 0 25 0 1 0 773750749 291958784 67780 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71279 67780 1111 63 0 71216 0
vsize: 285116
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 690603 0 0 0 107212 1798 0 0 25 0 1 0 773750749 292454400 67888 4294967295 134512640 134714508 3221221776 3221220500 134622883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71400 67888 1111 63 0 71337 0
vsize: 285600
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 713402 0 0 0 108153 1857 0 0 25 0 1 0 773750749 298631168 69406 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72908 69406 1111 63 0 72845 0
vsize: 291632
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 747544 0 0 0 109064 1946 0 0 25 0 1 0 773750749 308133888 71818 4294967295 134512640 134714508 3221221776 3221220560 134529410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75228 71818 1111 63 0 75165 0
vsize: 300912
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 749071 0 0 0 110061 1949 0 0 25 0 1 0 773750749 308994048 72050 4294967295 134512640 134714508 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75438 72050 1111 63 0 75375 0
vsize: 301752
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 750669 0 0 0 111056 1954 0 0 25 0 1 0 773750749 308715520 71982 4294967295 134512640 134714508 3221221776 3221219776 1074918583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75370 71982 1111 63 0 75307 0
vsize: 301480
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 779458 0 0 0 111984 2026 0 0 25 0 1 0 773750749 317415424 74108 4294967295 134512640 134714508 3221221776 3221220400 134539397 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 77494 74108 1111 63 0 77431 0
vsize: 309976
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 817793 0 0 0 112882 2129 0 0 25 0 1 0 773750749 333238272 78037 4294967295 134512640 134714508 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81357 78037 1111 63 0 81294 0
vsize: 325428
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 853824 0 0 0 113791 2220 0 0 25 0 1 0 773750749 345944064 81188 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84459 81188 1111 63 0 84396 0
vsize: 337836
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 875819 0 0 0 114734 2277 0 0 25 0 1 0 773750749 353447936 83011 4294967295 134512640 134714508 3221221776 3221219736 1074138306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86291 83011 1111 63 0 86228 0
vsize: 345164
[startup+1175.12 s]
Raw data (loadavg): 0.99 0.97 0.96 1/54 32011
Raw data (stat): 32011 (bsolo_lpr) R 32010 7876 7672 0 -1 0 875819 0 0 0 114734 2277 0 0 25 0 1 0 773750749 353447936 83011 4294967295 134512640 134714508 3221221776 3221219736 1074138306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86291 83011 1111 63 0 86228 0
vsize: 0

Child status: 10
Real time (s): 1175.12
CPU time (s): 1175.18
CPU user time (s): 1151.94
CPU system time (s): 23.2385
CPU usage (%): 100.005
Max. virtual memory (Kb): 345164
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	2178
#### END VERIFIER DATA ####