PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet4.opb
MD5SUM	c6a26aa8aefc43a120ecaff31b506c53
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4227509
Optimality of the best value was proved	NO
Number of terms in the objective function	9638
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	2427493442
Number of bits of the sum of numbers in the objective function	32
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	2427493442
Number of bits of the biggest sum of numbers	32
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.06
Number of variables	9890
Total number of constraints	978
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	378
Number of constraints which are nor clauses,nor cardinality constraints	600
Minimum length of a constraint	1
Maximum length of a constraint	1072
Trace number 27504

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-05-24 22:15:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16823 boxname=wulflinc23 idbench=1295 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  c6a26aa8aefc43a120ecaff31b506c53  /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-fixnet4.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-fixnet4.opb
IDLAUNCH: 16823
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        897288 kB
Buffers:          6192 kB
Cached:         109584 kB
SwapCached:        640 kB
Active:          33768 kB
Inactive:        84480 kB
HighTotal:      131008 kB
HighFree:        17724 kB
LowTotal:       903652 kB
LowFree:        879564 kB
SwapTotal:     2097136 kB
SwapFree:      2096032 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5624 kB
Slab:            13508 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 22:35:26 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 16823 7 1175.05 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 9890 variables and 700 constraints.
c After prepocess the problem consists of 5883 variables and 788 constraints.
c preprocess terminated 774.43 s
c Initial Lower Bound: 555087
c Lower Bound Elapsed time: 1.45975
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.91 2/54 10599
Raw data (stat): 10599 (runsolver) R 10598 5562 5561 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833766449 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99982 s]
Raw data (loadavg): 0.93 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 6169 0 0 0 984 13 0 0 25 0 1 0 833766449 38178816 6093 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9321 6093 1111 63 0 9258 0
vsize: 37284
[startup+20.0004 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 17559 0 0 0 1960 37 0 0 25 0 1 0 833766449 75034624 17422 4294967295 134512640 134714508 3221224592 3221223032 1077379908 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18319 17422 1111 63 0 18256 0
vsize: 73276
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 17718 0 0 0 2960 37 0 0 25 0 1 0 833766449 75272192 17483 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18377 17483 1111 63 0 18314 0
vsize: 73508
[startup+40.0015 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 17767 0 0 0 3960 38 0 0 25 0 1 0 833766449 75272192 17483 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18377 17483 1111 63 0 18314 0
vsize: 73508
[startup+50.0021 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 17826 0 0 0 4960 38 0 0 25 0 1 0 833766449 75272192 17483 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18377 17483 1111 63 0 18314 0
vsize: 73508
[startup+60.0021 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 18013 0 0 0 5960 38 0 0 25 0 1 0 833766449 75272192 17483 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18377 17483 1111 63 0 18314 0
vsize: 73508
[startup+70.0024 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 18047 0 0 0 6960 38 0 0 25 0 1 0 833766449 75272192 17483 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18377 17483 1111 63 0 18314 0
vsize: 73508
[startup+80.0021 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 18159 0 0 0 7960 39 0 0 25 0 1 0 833766449 75272192 17483 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18377 17483 1111 63 0 18314 0
vsize: 73508
[startup+90.0027 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 18419 0 0 0 8959 39 0 0 25 0 1 0 833766449 75272192 17483 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18377 17483 1111 63 0 18314 0
vsize: 73508
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 18627 0 0 0 9959 40 0 0 25 0 1 0 833766449 75272192 17483 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18377 17483 1111 63 0 18314 0
vsize: 73508
[startup+110.002 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 19805 0 0 0 10955 44 0 0 25 0 1 0 833766449 75280384 17485 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18379 17485 1111 63 0 18316 0
vsize: 73516
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 21497 0 0 0 11950 50 0 0 25 0 1 0 833766449 75280384 17485 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18379 17485 1111 63 0 18316 0
vsize: 73516
[startup+130.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 24402 0 0 0 12942 58 0 0 25 0 1 0 833766449 75280384 17485 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18379 17485 1111 63 0 18316 0
vsize: 73516
[startup+140.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 28194 0 0 0 13932 68 0 0 25 0 1 0 833766449 75440128 17506 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18418 17511 1111 63 0 18355 0
vsize: 73672
[startup+150.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 32716 0 0 0 14920 80 0 0 25 0 1 0 833766449 75280384 17485 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18379 17485 1111 63 0 18316 0
vsize: 73516
[startup+160.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 37905 0 0 0 15907 93 0 0 25 0 1 0 833766449 75280384 17485 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18379 17485 1111 63 0 18316 0
vsize: 73516
[startup+170.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 43800 0 0 0 16892 108 0 0 25 0 1 0 833766449 75280384 17485 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18379 17485 1111 63 0 18316 0
vsize: 73516
[startup+180.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 50512 0 0 0 17873 127 0 0 25 0 1 0 833766449 75280384 17485 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18379 17485 1111 63 0 18316 0
vsize: 73516
[startup+190.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 57677 0 0 0 18855 145 0 0 25 0 1 0 833766449 75280384 17485 4294967295 134512640 134714508 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18379 17485 1111 63 0 18316 0
vsize: 73516
[startup+200.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 64929 0 0 0 19837 164 0 0 25 0 1 0 833766449 75280384 17485 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18379 17485 1111 63 0 18316 0
vsize: 73516
[startup+210.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 73515 0 0 0 20815 186 0 0 25 0 1 0 833766449 75280384 17485 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18379 17485 1111 63 0 18316 0
vsize: 73516
[startup+220.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 82337 0 0 0 21793 208 0 0 25 0 1 0 833766449 75440128 17495 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18418 17501 1111 63 0 18355 0
vsize: 73672
[startup+230.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 91311 0 0 0 22769 232 0 0 25 0 1 0 833766449 75595776 17541 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18456 17541 1111 63 0 18393 0
vsize: 73824
[startup+240.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 91413 0 0 0 23769 233 0 0 25 0 1 0 833766449 75640832 17573 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18467 17573 1111 63 0 18404 0
vsize: 73868
[startup+250.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 91511 0 0 0 24768 233 0 0 25 0 1 0 833766449 75640832 17573 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18467 17573 1111 63 0 18404 0
vsize: 73868
[startup+260.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 91647 0 0 0 25768 234 0 0 25 0 1 0 833766449 75640832 17573 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18467 17573 1111 63 0 18404 0
vsize: 73868
[startup+270.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 91783 0 0 0 26768 234 0 0 25 0 1 0 833766449 75640832 17573 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18467 17573 1111 63 0 18404 0
vsize: 73868
[startup+280.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 91911 0 0 0 27768 235 0 0 25 0 1 0 833766449 75640832 17573 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18467 17573 1111 63 0 18404 0
vsize: 73868
[startup+290.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 92223 0 0 0 28767 236 0 0 25 0 1 0 833766449 75640832 17573 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18467 17573 1111 63 0 18404 0
vsize: 73868
[startup+300.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 92327 0 0 0 29767 236 0 0 25 0 1 0 833766449 75640832 17573 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18467 17573 1111 63 0 18404 0
vsize: 73868
[startup+310.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 92561 0 0 0 30766 236 0 0 25 0 1 0 833766449 75640832 17573 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18467 17573 1111 63 0 18404 0
vsize: 73868
[startup+320.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 92873 0 0 0 31766 237 0 0 25 0 1 0 833766449 75640832 17573 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18467 17573 1111 63 0 18404 0
vsize: 73868
[startup+330.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 94242 0 0 0 32762 241 0 0 25 0 1 0 833766449 75640832 17573 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18467 17573 1111 63 0 18404 0
vsize: 73868
[startup+340.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 95522 0 0 0 33758 246 0 0 25 0 1 0 833766449 75640832 17573 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18467 17573 1111 63 0 18404 0
vsize: 73868
[startup+350.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 96715 0 0 0 34753 250 0 0 25 0 1 0 833766449 75640832 17573 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18467 17573 1111 63 0 18404 0
vsize: 73868
[startup+360.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 98803 0 0 0 35746 258 0 0 25 0 1 0 833766449 75640832 17573 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18467 17573 1111 63 0 18404 0
vsize: 73868
[startup+370.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 101750 0 0 0 36736 267 0 0 25 0 1 0 833766449 75640832 17573 4294967295 134512640 134714508 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18467 17573 1111 63 0 18404 0
vsize: 73868
[startup+380.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 105682 0 0 0 37725 279 0 0 25 0 1 0 833766449 75640832 17573 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18467 17573 1111 63 0 18404 0
vsize: 73868
[startup+390.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 111537 0 0 0 38709 295 0 0 25 0 1 0 833766449 75640832 17573 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18467 17573 1111 63 0 18404 0
vsize: 73868
[startup+400.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 117544 0 0 0 39692 313 0 0 25 0 1 0 833766449 75640832 17573 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18467 17573 1111 63 0 18404 0
vsize: 73868
[startup+410.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 123370 0 0 0 40676 329 0 0 25 0 1 0 833766449 75640832 17573 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18467 17573 1111 63 0 18404 0
vsize: 73868
[startup+420.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 129232 0 0 0 41658 346 0 0 25 0 1 0 833766449 75640832 17573 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18467 17573 1111 63 0 18404 0
vsize: 73868
[startup+430.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 135181 0 0 0 42642 363 0 0 25 0 1 0 833766449 75640832 17573 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18467 17573 1111 63 0 18404 0
vsize: 73868
[startup+440.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 142540 0 0 0 43623 383 0 0 25 0 1 0 833766449 75800576 17578 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18506 17583 1111 63 0 18443 0
vsize: 74024
[startup+450.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 150001 0 0 0 44602 404 0 0 25 0 1 0 833766449 75640832 17573 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18467 17573 1111 63 0 18404 0
vsize: 73868
[startup+460.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 157293 0 0 0 45583 423 0 0 25 0 1 0 833766449 75640832 17573 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18467 17573 1111 63 0 18404 0
vsize: 73868
[startup+470.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 166085 0 0 0 46561 445 0 0 25 0 1 0 833766449 75640832 17573 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18467 17573 1111 63 0 18404 0
vsize: 73868
[startup+480.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 174813 0 0 0 47537 469 0 0 25 0 1 0 833766449 75640832 17573 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18467 17573 1111 63 0 18404 0
vsize: 73868
[startup+490.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 183741 0 0 0 48513 493 0 0 25 0 1 0 833766449 75640832 17573 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18467 17573 1111 63 0 18404 0
vsize: 73868
[startup+500.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 192527 0 0 0 49490 517 0 0 25 0 1 0 833766449 75640832 17573 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18467 17573 1111 63 0 18404 0
vsize: 73868
[startup+510.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 202788 0 0 0 50464 543 0 0 25 0 1 0 833766449 75640832 17573 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18467 17573 1111 63 0 18404 0
vsize: 73868
[startup+520.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 213334 0 0 0 51436 571 0 0 25 0 1 0 833766449 75640832 17573 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18467 17573 1111 63 0 18404 0
vsize: 73868
[startup+530.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 223909 0 0 0 52407 600 0 0 25 0 1 0 833766449 75640832 17573 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18467 17573 1111 63 0 18404 0
vsize: 73868
[startup+540.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 234165 0 0 0 53382 626 0 0 25 0 1 0 833766449 75640832 17573 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18467 17573 1111 63 0 18404 0
vsize: 73868
[startup+550.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 245947 0 0 0 54351 656 0 0 25 0 1 0 833766449 75640832 17573 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18467 17573 1111 63 0 18404 0
vsize: 73868
[startup+560.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 257758 0 0 0 55320 688 0 0 25 0 1 0 833766449 75640832 17573 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18467 17573 1111 63 0 18404 0
vsize: 73868
[startup+570.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 269644 0 0 0 56287 721 0 0 25 0 1 0 833766449 75640832 17573 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18467 17573 1111 63 0 18404 0
vsize: 73868
[startup+580.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 281484 0 0 0 57257 751 0 0 25 0 1 0 833766449 75640832 17573 4294967295 134512640 134714508 3221224592 3221223228 134554926 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18467 17573 1111 63 0 18404 0
vsize: 73868
[startup+590.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 294360 0 0 0 58227 782 0 0 25 0 1 0 833766449 75640832 17573 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18467 17573 1111 63 0 18404 0
vsize: 73868
[startup+600.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 307615 0 0 0 59194 815 0 0 25 0 1 0 833766449 75640832 17573 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18467 17573 1111 63 0 18404 0
vsize: 73868
[startup+610.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 320812 0 0 0 60156 853 0 0 25 0 1 0 833766449 75640832 17573 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18467 17573 1111 63 0 18404 0
vsize: 73868
[startup+620.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 334041 0 0 0 61123 886 0 0 25 0 1 0 833766449 75640832 17573 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18467 17573 1111 63 0 18404 0
vsize: 73868
[startup+630.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 348056 0 0 0 62086 923 0 0 25 0 1 0 833766449 75640832 17573 4294967295 134512640 134714508 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18467 17573 1111 63 0 18404 0
vsize: 73868
[startup+640.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 362793 0 0 0 63046 963 0 0 25 0 1 0 833766449 75640832 17573 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18467 17573 1111 63 0 18404 0
vsize: 73868
[startup+650.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 377682 0 0 0 64008 1002 0 0 25 0 1 0 833766449 75640832 17573 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18467 17573 1111 63 0 18404 0
vsize: 73868
[startup+660.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 392484 0 0 0 64973 1037 0 0 25 0 1 0 833766449 75640832 17573 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18467 17573 1111 63 0 18404 0
vsize: 73868
[startup+670.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 407294 0 0 0 65935 1075 0 0 25 0 1 0 833766449 75960320 17617 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18545 17623 1111 63 0 18482 0
vsize: 74180
[startup+680.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 422168 0 0 0 66895 1115 0 0 25 0 1 0 833766449 75640832 17573 4294967295 134512640 134714508 3221224592 3221223248 134606831 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18467 17573 1111 63 0 18404 0
vsize: 73868
[startup+690.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 428809 0 0 0 67880 1131 0 0 25 0 1 0 833766449 76161024 17700 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17700 1111 63 0 18531 0
vsize: 74376
[startup+700.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 428844 0 0 0 68880 1131 0 0 25 0 1 0 833766449 76161024 17700 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17700 1111 63 0 18531 0
vsize: 74376
[startup+710.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 428900 0 0 0 69880 1131 0 0 25 0 1 0 833766449 76161024 17700 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17700 1111 63 0 18531 0
vsize: 74376
[startup+720.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 428984 0 0 0 70880 1131 0 0 25 0 1 0 833766449 76161024 17700 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17700 1111 63 0 18531 0
vsize: 74376
[startup+730.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 429033 0 0 0 71880 1131 0 0 25 0 1 0 833766449 76161024 17700 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17700 1111 63 0 18531 0
vsize: 74376
[startup+740.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 429263 0 0 0 72880 1132 0 0 25 0 1 0 833766449 76914688 17881 4294967295 134512640 134714508 3221224592 3221223200 134557283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18778 17881 1111 63 0 18715 0
vsize: 75112
[startup+750.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 429263 0 0 0 73880 1132 0 0 25 0 1 0 833766449 76914688 17881 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18778 17881 1111 63 0 18715 0
vsize: 75112
[startup+760.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 429263 0 0 0 74880 1132 0 0 25 0 1 0 833766449 76914688 17881 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18778 17881 1111 63 0 18715 0
vsize: 75112
[startup+770.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 429263 0 0 0 75880 1132 0 0 25 0 1 0 833766449 76914688 17881 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18778 17881 1111 63 0 18715 0
vsize: 75112
[startup+780.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 431635 0 0 0 76873 1139 0 0 25 0 1 0 833766449 77918208 18269 4294967295 134512640 134714508 3221224592 3221222976 1074121049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19023 18269 1111 63 0 18960 0
vsize: 76092
[startup+790.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 432145 0 0 0 77871 1141 0 0 25 0 1 0 833766449 77316096 18124 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18876 18124 1111 63 0 18813 0
vsize: 75504
[startup+800.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 432149 0 0 0 78871 1141 0 0 25 0 1 0 833766449 77316096 18128 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18876 18128 1111 63 0 18813 0
vsize: 75504
[startup+810.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 432150 0 0 0 79871 1142 0 0 25 0 1 0 833766449 77316096 18129 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18876 18129 1111 63 0 18813 0
vsize: 75504
[startup+820.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 432150 0 0 0 80870 1143 0 0 25 0 1 0 833766449 77316096 18129 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18876 18129 1111 63 0 18813 0
vsize: 75504
[startup+830.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 432150 0 0 0 81870 1143 0 0 25 0 1 0 833766449 77316096 18129 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18876 18129 1111 63 0 18813 0
vsize: 75504
[startup+840.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 432150 0 0 0 82869 1144 0 0 25 0 1 0 833766449 77316096 18129 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18876 18129 1111 63 0 18813 0
vsize: 75504
[startup+850.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 432150 0 0 0 83869 1144 0 0 25 0 1 0 833766449 77316096 18129 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18876 18129 1111 63 0 18813 0
vsize: 75504
[startup+860.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 432150 0 0 0 84868 1145 0 0 25 0 1 0 833766449 77316096 18129 4294967295 134512640 134714508 3221224592 3221223472 134577101 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18876 18129 1111 63 0 18813 0
vsize: 75504
[startup+870.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 432150 0 0 0 85868 1146 0 0 25 0 1 0 833766449 77316096 18129 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18876 18129 1111 63 0 18813 0
vsize: 75504
[startup+880.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 432150 0 0 0 86867 1147 0 0 25 0 1 0 833766449 77316096 18129 4294967295 134512640 134714508 3221224592 3221223380 134597610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18876 18129 1111 63 0 18813 0
vsize: 75504
[startup+890.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 432152 0 0 0 87866 1148 0 0 25 0 1 0 833766449 77316096 18131 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18876 18131 1111 63 0 18813 0
vsize: 75504
[startup+900.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 432152 0 0 0 88866 1148 0 0 25 0 1 0 833766449 77316096 18131 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18876 18131 1111 63 0 18813 0
vsize: 75504
[startup+910.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 432152 0 0 0 89865 1149 0 0 25 0 1 0 833766449 77316096 18131 4294967295 134512640 134714508 3221224592 3221223416 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18876 18131 1111 63 0 18813 0
vsize: 75504
[startup+920.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 432152 0 0 0 90865 1149 0 0 25 0 1 0 833766449 77316096 18131 4294967295 134512640 134714508 3221224592 3221223420 134558493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18876 18131 1111 63 0 18813 0
vsize: 75504
[startup+930.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 432152 0 0 0 91864 1150 0 0 25 0 1 0 833766449 77316096 18131 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18876 18131 1111 63 0 18813 0
vsize: 75504
[startup+940.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 432152 0 0 0 92864 1151 0 0 25 0 1 0 833766449 77316096 18131 4294967295 134512640 134714508 3221224592 3221223392 134597735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18876 18131 1111 63 0 18813 0
vsize: 75504
[startup+950.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 432152 0 0 0 93863 1152 0 0 25 0 1 0 833766449 77316096 18131 4294967295 134512640 134714508 3221224592 3221223360 134592320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18876 18131 1111 63 0 18813 0
vsize: 75504
[startup+960.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 432152 0 0 0 94863 1152 0 0 25 0 1 0 833766449 77316096 18131 4294967295 134512640 134714508 3221224592 3221223392 134597597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18876 18131 1111 63 0 18813 0
vsize: 75504
[startup+970.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 432152 0 0 0 95863 1153 0 0 25 0 1 0 833766449 77316096 18131 4294967295 134512640 134714508 3221224592 3221223200 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18876 18131 1111 63 0 18813 0
vsize: 75504
[startup+980.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 432152 0 0 0 96862 1154 0 0 25 0 1 0 833766449 77316096 18131 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18876 18131 1111 63 0 18813 0
vsize: 75504
[startup+990.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 432152 0 0 0 97862 1154 0 0 25 0 1 0 833766449 77316096 18131 4294967295 134512640 134714508 3221224592 3221223472 134577116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18876 18131 1111 63 0 18813 0
vsize: 75504
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 432152 0 0 0 98861 1155 0 0 25 0 1 0 833766449 77316096 18131 4294967295 134512640 134714508 3221224592 3221223348 134592415 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18876 18131 1111 63 0 18813 0
vsize: 75504
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 432152 0 0 0 99861 1155 0 0 25 0 1 0 833766449 77316096 18131 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18876 18131 1111 63 0 18813 0
vsize: 75504
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 432152 0 0 0 100861 1156 0 0 25 0 1 0 833766449 77316096 18131 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18876 18131 1111 63 0 18813 0
vsize: 75504
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 432152 0 0 0 101860 1156 0 0 25 0 1 0 833766449 77316096 18131 4294967295 134512640 134714508 3221224592 3221223472 134577116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18876 18131 1111 63 0 18813 0
vsize: 75504
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 432152 0 0 0 102860 1157 0 0 25 0 1 0 833766449 77316096 18131 4294967295 134512640 134714508 3221224592 3221223392 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18876 18131 1111 63 0 18813 0
vsize: 75504
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 432152 0 0 0 103860 1157 0 0 25 0 1 0 833766449 77316096 18131 4294967295 134512640 134714508 3221224592 3221223416 134558490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18876 18131 1111 63 0 18813 0
vsize: 75504
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 432152 0 0 0 104859 1158 0 0 25 0 1 0 833766449 77316096 18131 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18876 18131 1111 63 0 18813 0
vsize: 75504
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 432152 0 0 0 105859 1158 0 0 25 0 1 0 833766449 77316096 18131 4294967295 134512640 134714508 3221224592 3221223248 134613571 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18876 18131 1111 63 0 18813 0
vsize: 75504
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 432152 0 0 0 106859 1159 0 0 25 0 1 0 833766449 77316096 18131 4294967295 134512640 134714508 3221224592 3221223472 134577101 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18876 18131 1111 63 0 18813 0
vsize: 75504
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 432152 0 0 0 107858 1160 0 0 25 0 1 0 833766449 77316096 18131 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18876 18131 1111 63 0 18813 0
vsize: 75504
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 432152 0 0 0 108858 1160 0 0 25 0 1 0 833766449 77316096 18131 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18876 18131 1111 63 0 18813 0
vsize: 75504
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 432152 0 0 0 109858 1160 0 0 25 0 1 0 833766449 77316096 18131 4294967295 134512640 134714508 3221224592 3221223392 134597703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18876 18131 1111 63 0 18813 0
vsize: 75504
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 432152 0 0 0 110858 1161 0 0 25 0 1 0 833766449 77316096 18131 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18876 18131 1111 63 0 18813 0
vsize: 75504
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 432152 0 0 0 111857 1161 0 0 25 0 1 0 833766449 77316096 18131 4294967295 134512640 134714508 3221224592 3221223472 134577116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18876 18131 1111 63 0 18813 0
vsize: 75504
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 432152 0 0 0 112857 1162 0 0 25 0 1 0 833766449 77316096 18131 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18876 18131 1111 63 0 18813 0
vsize: 75504
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 432152 0 0 0 113856 1163 0 0 25 0 1 0 833766449 77316096 18131 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18876 18131 1111 63 0 18813 0
vsize: 75504
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 432152 0 0 0 114856 1163 0 0 25 0 1 0 833766449 77316096 18131 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18876 18131 1111 63 0 18813 0
vsize: 75504
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 432152 0 0 0 115856 1164 0 0 25 0 1 0 833766449 77316096 18131 4294967295 134512640 134714508 3221224592 3221223364 134597630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18876 18131 1111 63 0 18813 0
vsize: 75504
[startup+1174.86 s]
Raw data (loadavg): 0.99 0.98 0.91 1/53 10599
Raw data (stat): 10599 (bsolo_lpr) R 10598 5562 5561 0 -1 0 432152 0 0 0 115856 1164 0 0 25 0 1 0 833766449 77316096 18131 4294967295 134512640 134714508 3221224592 3221223364 134597630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18876 18131 1111 63 0 18813 0
vsize: 0

Child status: 0
Real time (s): 1174.86
CPU time (s): 1175.05
CPU user time (s): 1163.37
CPU system time (s): 11.6812
CPU usage (%): 100.016
Max. virtual memory (Kb): 76092
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####