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/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb
MD5SUM	85cf0fb6ed84e77eea7ef88259fe2fe8
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	10
Number of bits of the biggest number in a constraint	4
Biggest sum of numbers in a constraint	104
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	16.5575
Number of variables	4644
Total number of constraints	35898
Number of constraints which are clauses	30228
Number of constraints which are cardinality constraints (but not clauses)	5592
Number of constraints which are nor clauses,nor cardinality constraints	78
Minimum length of a constraint	1
Maximum length of a constraint	29
Trace number 24942

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-15 04:08:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3241 boxname=wulflinc31 idbench=361 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  85cf0fb6ed84e77eea7ef88259fe2fe8  /oldhome/oroussel/tmp/wulflinc31/normalized-ppp:3-13,25,26.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-ppp:3-13,25,26.opb
IDLAUNCH: 3241
/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:        817420 kB
Buffers:         40584 kB
Cached:         154616 kB
SwapCached:       1932 kB
Active:         143480 kB
Inactive:        54932 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        817168 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              96 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            13132 kB
Committed_AS:    63848 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-15 04:28:02 (client local time) WITH STATUS 0 IN 1175.07 SECONDS
stats: 3241 7 1175.07 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 4644 variables and 31428 constraints.
c After prepocess the problem consists of 4644 variables and 31428 constraints.
c preprocess terminated 57.041 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
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.93 0.98 0.99 2/55 31124
Raw data (stat): 31124 (runsolver) R 31123 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 749450575 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.0004 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 42578 0 0 0 886 109 0 0 25 0 1 0 749450575 52654080 11996 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12855 11996 1111 63 0 12792 0
vsize: 51420
[startup+20.0009 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 72748 0 0 0 1810 185 0 0 25 0 1 0 749450575 71372800 16549 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17425 16555 1111 63 0 17362 0
vsize: 69700
[startup+30.0011 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 87338 0 0 0 2774 221 0 0 25 0 1 0 749450575 70627328 16384 4294967295 134512640 134714508 3221221792 3221220592 134617624 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17243 16384 1111 63 0 17180 0
vsize: 68972
[startup+40.0056 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 101024 0 0 0 3740 256 0 0 25 0 1 0 749450575 70627328 16384 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17243 16384 1111 63 0 17180 0
vsize: 68972
[startup+50.0098 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 121457 0 0 0 4690 307 0 0 25 0 1 0 749450575 70627328 16384 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17243 16384 1111 63 0 17180 0
vsize: 68972
[startup+60.0102 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 141524 0 0 0 5642 355 0 0 25 0 1 0 749450575 70631424 16400 4294967295 134512640 134714508 3221221792 3221220544 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17244 16400 1111 63 0 17181 0
vsize: 68976
[startup+70.0099 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 141526 0 0 0 6640 357 0 0 25 0 1 0 749450575 70631424 16402 4294967295 134512640 134714508 3221221792 3221220544 134594970 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17244 16402 1111 63 0 17181 0
vsize: 68976
[startup+80.0105 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 141526 0 0 0 7639 358 0 0 25 0 1 0 749450575 70631424 16402 4294967295 134512640 134714508 3221221792 3221220348 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17244 16402 1111 63 0 17181 0
vsize: 68976
[startup+90.0107 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 141526 0 0 0 8638 359 0 0 25 0 1 0 749450575 70631424 16402 4294967295 134512640 134714508 3221221792 3221220368 134542775 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17244 16402 1111 63 0 17181 0
vsize: 68976
[startup+100.012 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 141526 0 0 0 9637 360 0 0 25 0 1 0 749450575 70631424 16402 4294967295 134512640 134714508 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17244 16402 1111 63 0 17181 0
vsize: 68976
[startup+110.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 141526 0 0 0 10636 361 0 0 25 0 1 0 749450575 70631424 16402 4294967295 134512640 134714508 3221221792 3221220448 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17244 16402 1111 63 0 17181 0
vsize: 68976
[startup+120.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 141526 0 0 0 11636 361 0 0 25 0 1 0 749450575 70631424 16402 4294967295 134512640 134714508 3221221792 3221220368 134542753 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17244 16402 1111 63 0 17181 0
vsize: 68976
[startup+130.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 141526 0 0 0 12636 362 0 0 25 0 1 0 749450575 70631424 16402 4294967295 134512640 134714508 3221221792 3221220560 134529110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17244 16402 1111 63 0 17181 0
vsize: 68976
[startup+140.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 141526 0 0 0 13636 362 0 0 25 0 1 0 749450575 70631424 16402 4294967295 134512640 134714508 3221221792 3221220400 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17244 16402 1111 63 0 17181 0
vsize: 68976
[startup+150.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 141526 0 0 0 14634 364 0 0 25 0 1 0 749450575 70631424 16402 4294967295 134512640 134714508 3221221792 3221220400 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17244 16402 1111 63 0 17181 0
vsize: 68976
[startup+160.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 141526 0 0 0 15634 364 0 0 25 0 1 0 749450575 70631424 16402 4294967295 134512640 134714508 3221221792 3221220432 134539455 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17244 16402 1111 63 0 17181 0
vsize: 68976
[startup+170.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 141526 0 0 0 16634 365 0 0 25 0 1 0 749450575 70631424 16402 4294967295 134512640 134714508 3221221792 3221220420 134696217 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17244 16402 1111 63 0 17181 0
vsize: 68976
[startup+180.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 141526 0 0 0 17633 365 0 0 25 0 1 0 749450575 70631424 16402 4294967295 134512640 134714508 3221221792 3221220396 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17244 16402 1111 63 0 17181 0
vsize: 68976
[startup+190.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 141526 0 0 0 18633 366 0 0 25 0 1 0 749450575 70631424 16402 4294967295 134512640 134714508 3221221792 3221219976 134613965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17244 16402 1111 63 0 17181 0
vsize: 68976
[startup+200.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 141526 0 0 0 19632 367 0 0 25 0 1 0 749450575 70631424 16402 4294967295 134512640 134714508 3221221792 3221220480 134542851 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17244 16402 1111 63 0 17181 0
vsize: 68976
[startup+210.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 141526 0 0 0 20632 367 0 0 25 0 1 0 749450575 70631424 16402 4294967295 134512640 134714508 3221221792 3221220520 134524385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17244 16402 1111 63 0 17181 0
vsize: 68976
[startup+220.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 141526 0 0 0 21631 368 0 0 25 0 1 0 749450575 70631424 16402 4294967295 134512640 134714508 3221221792 3221220360 1077377725 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17244 16402 1111 63 0 17181 0
vsize: 68976
[startup+230.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 141526 0 0 0 22631 369 0 0 25 0 1 0 749450575 70631424 16402 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17244 16402 1111 63 0 17181 0
vsize: 68976
[startup+240.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 141526 0 0 0 23630 370 0 0 25 0 1 0 749450575 70631424 16402 4294967295 134512640 134714508 3221221792 3221220576 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17244 16402 1111 63 0 17181 0
vsize: 68976
[startup+250.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 141526 0 0 0 24630 370 0 0 25 0 1 0 749450575 70631424 16402 4294967295 134512640 134714508 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17244 16402 1111 63 0 17181 0
vsize: 68976
[startup+260.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 141526 0 0 0 25629 371 0 0 25 0 1 0 749450575 70631424 16402 4294967295 134512640 134714508 3221221792 3221220528 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17244 16402 1111 63 0 17181 0
vsize: 68976
[startup+270.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 141533 0 0 0 26629 372 0 0 25 0 1 0 749450575 70766592 16409 4294967295 134512640 134714508 3221221792 3221220372 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17277 16409 1111 63 0 17214 0
vsize: 69108
[startup+280.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 141704 0 0 0 27628 373 0 0 25 0 1 0 749450575 71442432 16580 4294967295 134512640 134714508 3221221792 3221220560 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17442 16580 1111 63 0 17379 0
vsize: 69768
[startup+290.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 141906 0 0 0 28627 373 0 0 25 0 1 0 749450575 72208384 16782 4294967295 134512640 134714508 3221221792 3221220396 134536771 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17629 16782 1111 63 0 17566 0
vsize: 70516
[startup+300.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 142029 0 0 0 29627 374 0 0 25 0 1 0 749450575 72736768 16905 4294967295 134512640 134714508 3221221792 3221220300 134535891 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17758 16905 1111 63 0 17695 0
vsize: 71032
[startup+310.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 142163 0 0 0 30626 375 0 0 25 0 1 0 749450575 73277440 17039 4294967295 134512640 134714508 3221221792 3221220188 1077379846 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17890 17039 1111 63 0 17827 0
vsize: 71560
[startup+320.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 142277 0 0 0 31625 376 0 0 25 0 1 0 749450575 73818112 17153 4294967295 134512640 134714508 3221221792 3221220384 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18022 17153 1111 63 0 17959 0
vsize: 72088
[startup+330.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 142403 0 0 0 32625 377 0 0 25 0 1 0 749450575 74330112 17279 4294967295 134512640 134714508 3221221792 3221220300 134535959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18147 17279 1111 63 0 18084 0
vsize: 72588
[startup+340.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 142496 0 0 0 33624 378 0 0 25 0 1 0 749450575 74735616 17372 4294967295 134512640 134714508 3221221792 3221220468 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18246 17372 1111 63 0 18183 0
vsize: 72984
[startup+350.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 142619 0 0 0 34623 379 0 0 25 0 1 0 749450575 75124736 17495 4294967295 134512640 134714508 3221221792 3221220560 134592320 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18341 17495 1111 63 0 18278 0
vsize: 73364
[startup+360.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 142632 0 0 0 35622 380 0 0 25 0 1 0 749450575 75259904 17508 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18374 17508 1111 63 0 18311 0
vsize: 73496
[startup+370.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 142689 0 0 0 36622 381 0 0 25 0 1 0 749450575 75395072 17565 4294967295 134512640 134714508 3221221792 3221220400 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18407 17565 1111 63 0 18344 0
vsize: 73628
[startup+380.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 142803 0 0 0 37621 382 0 0 25 0 1 0 749450575 75935744 17679 4294967295 134512640 134714508 3221221792 3221220384 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18539 17679 1111 63 0 18476 0
vsize: 74156
[startup+390.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 142826 0 0 0 38621 382 0 0 25 0 1 0 749450575 76070912 17702 4294967295 134512640 134714508 3221221792 3221220400 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18572 17702 1111 63 0 18509 0
vsize: 74288
[startup+400.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 142875 0 0 0 39620 383 0 0 25 0 1 0 749450575 76201984 17751 4294967295 134512640 134714508 3221221792 3221220504 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18604 17751 1111 63 0 18541 0
vsize: 74416
[startup+410.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 142910 0 0 0 40620 384 0 0 25 0 1 0 749450575 76337152 17786 4294967295 134512640 134714508 3221221792 3221220348 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18637 17786 1111 63 0 18574 0
vsize: 74548
[startup+420.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 142975 0 0 0 41619 385 0 0 25 0 1 0 749450575 76607488 17851 4294967295 134512640 134714508 3221221792 3221220360 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18703 17851 1111 63 0 18640 0
vsize: 74812
[startup+430.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 142988 0 0 0 42619 385 0 0 25 0 1 0 749450575 76742656 17864 4294967295 134512640 134714508 3221221792 3221220432 134539437 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18736 17864 1111 63 0 18673 0
vsize: 74944
[startup+440.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 143037 0 0 0 43618 386 0 0 25 0 1 0 749450575 76877824 17913 4294967295 134512640 134714508 3221221792 3221220384 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18769 17913 1111 63 0 18706 0
vsize: 75076
[startup+450.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 143113 0 0 0 44617 387 0 0 25 0 1 0 749450575 77148160 17989 4294967295 134512640 134714508 3221221792 3221220432 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18835 17989 1111 63 0 18772 0
vsize: 75340
[startup+460.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 143194 0 0 0 45616 388 0 0 25 0 1 0 749450575 77553664 18070 4294967295 134512640 134714508 3221221792 3221220480 134551897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18934 18070 1111 63 0 18871 0
vsize: 75736
[startup+470.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 143398 0 0 0 46615 389 0 0 25 0 1 0 749450575 78344192 18274 4294967295 134512640 134714508 3221221792 3221220364 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19127 18274 1111 63 0 19064 0
vsize: 76508
[startup+480.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 143646 0 0 0 47613 391 0 0 25 0 1 0 749450575 79396864 18522 4294967295 134512640 134714508 3221221792 3221220420 134543092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19384 18522 1111 63 0 19321 0
vsize: 77536
[startup+490.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 143817 0 0 0 48612 393 0 0 25 0 1 0 749450575 80072704 18693 4294967295 134512640 134714508 3221221792 3221220528 134529243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19549 18693 1111 63 0 19486 0
vsize: 78196
[startup+500.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 144025 0 0 0 49611 394 0 0 25 0 1 0 749450575 80883712 18901 4294967295 134512640 134714508 3221221792 3221220300 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19747 18901 1111 63 0 19684 0
vsize: 78988
[startup+510.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 144150 0 0 0 50610 395 0 0 25 0 1 0 749450575 81408000 19026 4294967295 134512640 134714508 3221221792 3221220460 134613400 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19875 19026 1111 63 0 19812 0
vsize: 79500
[startup+520.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 144180 0 0 0 51610 396 0 0 25 0 1 0 749450575 81543168 19056 4294967295 134512640 134714508 3221221792 3221220528 134535750 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19908 19056 1111 63 0 19845 0
vsize: 79632
[startup+530.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 144228 0 0 0 52609 397 0 0 25 0 1 0 749450575 81809408 19104 4294967295 134512640 134714508 3221221792 3221220560 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19973 19104 1111 63 0 19910 0
vsize: 79892
[startup+540.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 144350 0 0 0 53608 398 0 0 25 0 1 0 749450575 82198528 19226 4294967295 134512640 134714508 3221221792 3221220368 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20068 19226 1111 63 0 20005 0
vsize: 80272
[startup+550.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 144413 0 0 0 54607 399 0 0 25 0 1 0 749450575 82468864 19289 4294967295 134512640 134714508 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20134 19289 1111 63 0 20071 0
vsize: 80536
[startup+560.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 144501 0 0 0 55607 399 0 0 25 0 1 0 749450575 82870272 19377 4294967295 134512640 134714508 3221221792 3221220484 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20232 19377 1111 63 0 20169 0
vsize: 80928
[startup+570.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 144608 0 0 0 56606 400 0 0 25 0 1 0 749450575 83296256 19484 4294967295 134512640 134714508 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20336 19484 1111 63 0 20273 0
vsize: 81344
[startup+580.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 144660 0 0 0 57606 401 0 0 25 0 1 0 749450575 83566592 19536 4294967295 134512640 134714508 3221221792 3221220536 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20402 19536 1111 63 0 20339 0
vsize: 81608
[startup+590.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 144705 0 0 0 58605 402 0 0 25 0 1 0 749450575 83701760 19581 4294967295 134512640 134714508 3221221792 3221220532 134523855 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20435 19581 1111 63 0 20372 0
vsize: 81740
[startup+600.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 144734 0 0 0 59605 402 0 0 25 0 1 0 749450575 83836928 19610 4294967295 134512640 134714508 3221221792 3221220420 1077374149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20468 19610 1111 63 0 20405 0
vsize: 81872
[startup+610.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 144787 0 0 0 60603 404 0 0 25 0 1 0 749450575 84107264 19663 4294967295 134512640 134714508 3221221792 3221220480 134551897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20534 19663 1111 63 0 20471 0
vsize: 82136
[startup+620.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 144815 0 0 0 61603 405 0 0 25 0 1 0 749450575 84107264 19691 4294967295 134512640 134714508 3221221792 3221220400 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20534 19691 1111 63 0 20471 0
vsize: 82136
[startup+630.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 144833 0 0 0 62602 405 0 0 25 0 1 0 749450575 84242432 19709 4294967295 134512640 134714508 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20567 19709 1111 63 0 20504 0
vsize: 82268
[startup+640.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 144880 0 0 0 63602 406 0 0 25 0 1 0 749450575 84377600 19756 4294967295 134512640 134714508 3221221792 3221220400 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20600 19756 1111 63 0 20537 0
vsize: 82400
[startup+650.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 145017 0 0 0 64602 406 0 0 25 0 1 0 749450575 85053440 19893 4294967295 134512640 134714508 3221221792 3221220396 134536769 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20765 19893 1111 63 0 20702 0
vsize: 83060
[startup+660.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 145084 0 0 0 65600 408 0 0 25 0 1 0 749450575 85323776 19960 4294967295 134512640 134714508 3221221792 3221220436 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20831 19960 1111 63 0 20768 0
vsize: 83324
[startup+670.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 145106 0 0 0 66599 409 0 0 25 0 1 0 749450575 85323776 19982 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20831 19982 1111 63 0 20768 0
vsize: 83324
[startup+680.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 145157 0 0 0 67599 409 0 0 25 0 1 0 749450575 85590016 20033 4294967295 134512640 134714508 3221221792 3221220576 134529177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20896 20033 1111 63 0 20833 0
vsize: 83584
[startup+690.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 145180 0 0 0 68599 410 0 0 25 0 1 0 749450575 85725184 20056 4294967295 134512640 134714508 3221221792 3221220432 134696278 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20929 20056 1111 63 0 20866 0
vsize: 83716
[startup+700.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 145212 0 0 0 69598 411 0 0 25 0 1 0 749450575 85860352 20088 4294967295 134512640 134714508 3221221792 3221220496 134524402 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20962 20088 1111 63 0 20899 0
vsize: 83848
[startup+710.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 145263 0 0 0 70598 411 0 0 25 0 1 0 749450575 85995520 20139 4294967295 134512640 134714508 3221221792 3221220420 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20995 20139 1111 63 0 20932 0
vsize: 83980
[startup+720.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 145288 0 0 0 71597 412 0 0 25 0 1 0 749450575 86130688 20164 4294967295 134512640 134714508 3221221792 3221220448 134536643 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21028 20164 1111 63 0 20965 0
vsize: 84112
[startup+730.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 145336 0 0 0 72597 413 0 0 25 0 1 0 749450575 86265856 20212 4294967295 134512640 134714508 3221221792 3221220400 134549334 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21061 20212 1111 63 0 20998 0
vsize: 84244
[startup+740.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 145336 0 0 0 73597 413 0 0 25 0 1 0 749450575 86265856 20212 4294967295 134512640 134714508 3221221792 3221220348 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21061 20212 1111 63 0 20998 0
vsize: 84244
[startup+750.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 145420 0 0 0 74596 414 0 0 25 0 1 0 749450575 86650880 20296 4294967295 134512640 134714508 3221221792 3221220464 134542936 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21155 20296 1111 63 0 21092 0
vsize: 84620
[startup+760.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 145442 0 0 0 75595 415 0 0 25 0 1 0 749450575 86740992 20318 4294967295 134512640 134714508 3221221792 3221220468 1077374446 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21177 20318 1111 63 0 21114 0
vsize: 84708
[startup+770.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 145442 0 0 0 76595 415 0 0 25 0 1 0 749450575 86740992 20318 4294967295 134512640 134714508 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21177 20318 1111 63 0 21114 0
vsize: 84708
[startup+780.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 145472 0 0 0 77595 415 0 0 25 0 1 0 749450575 86876160 20348 4294967295 134512640 134714508 3221221792 3221220560 134592137 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21210 20348 1111 63 0 21147 0
vsize: 84840
[startup+790.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 145514 0 0 0 78595 416 0 0 25 0 1 0 749450575 87007232 20390 4294967295 134512640 134714508 3221221792 3221220464 134535795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21242 20390 1111 63 0 21179 0
vsize: 84968
[startup+800.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 145553 0 0 0 79594 417 0 0 25 0 1 0 749450575 87142400 20429 4294967295 134512640 134714508 3221221792 3221220424 134552673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21275 20429 1111 63 0 21212 0
vsize: 85100
[startup+810.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 145553 0 0 0 80594 417 0 0 25 0 1 0 749450575 87142400 20429 4294967295 134512640 134714508 3221221792 3221220356 134535880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21275 20429 1111 63 0 21212 0
vsize: 85100
[startup+820.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 145553 0 0 0 81594 418 0 0 25 0 1 0 749450575 87142400 20429 4294967295 134512640 134714508 3221221792 3221220480 134528607 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21275 20429 1111 63 0 21212 0
vsize: 85100
[startup+830.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 145614 0 0 0 82593 419 0 0 25 0 1 0 749450575 87392256 20490 4294967295 134512640 134714508 3221221792 3221220376 134543589 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21336 20490 1111 63 0 21273 0
vsize: 85344
[startup+840.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 145618 0 0 0 83592 419 0 0 25 0 1 0 749450575 87392256 20494 4294967295 134512640 134714508 3221221792 3221220432 134613431 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21336 20494 1111 63 0 21273 0
vsize: 85344
[startup+850.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 145666 0 0 0 84592 420 0 0 25 0 1 0 749450575 87662592 20542 4294967295 134512640 134714508 3221221792 3221220380 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21402 20542 1111 63 0 21339 0
vsize: 85608
[startup+860.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 145740 0 0 0 85591 422 0 0 25 0 1 0 749450575 87932928 20616 4294967295 134512640 134714508 3221221792 3221220416 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21468 20616 1111 63 0 21405 0
vsize: 85872
[startup+870.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 145770 0 0 0 86590 423 0 0 25 0 1 0 749450575 88068096 20646 4294967295 134512640 134714508 3221221792 3221220508 134552579 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21501 20646 1111 63 0 21438 0
vsize: 86004
[startup+880.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 145790 0 0 0 87589 423 0 0 25 0 1 0 749450575 88203264 20666 4294967295 134512640 134714508 3221221792 3221220376 134549705 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21534 20666 1111 63 0 21471 0
vsize: 86136
[startup+890.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 145810 0 0 0 88589 424 0 0 25 0 1 0 749450575 88203264 20686 4294967295 134512640 134714508 3221221792 3221220432 134613431 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21534 20686 1111 63 0 21471 0
vsize: 86136
[startup+900.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 145857 0 0 0 89589 424 0 0 25 0 1 0 749450575 88436736 20733 4294967295 134512640 134714508 3221221792 3221220400 134549457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21591 20733 1111 63 0 21528 0
vsize: 86364
[startup+910.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 145867 0 0 0 90589 425 0 0 25 0 1 0 749450575 88436736 20743 4294967295 134512640 134714508 3221221792 3221220544 134592421 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21591 20743 1111 63 0 21528 0
vsize: 86364
[startup+920.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 145882 0 0 0 91589 425 0 0 25 0 1 0 749450575 88543232 20758 4294967295 134512640 134714508 3221221792 3221220384 134549541 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21617 20758 1111 63 0 21554 0
vsize: 86468
[startup+930.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 145892 0 0 0 92588 425 0 0 25 0 1 0 749450575 88543232 20768 4294967295 134512640 134714508 3221221792 3221220496 134528656 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21617 20768 1111 63 0 21554 0
vsize: 86468
[startup+940.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 145936 0 0 0 93588 426 0 0 25 0 1 0 749450575 88813568 20812 4294967295 134512640 134714508 3221221792 3221220376 134696313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21683 20812 1111 63 0 21620 0
vsize: 86732
[startup+950.051 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 145955 0 0 0 94588 427 0 0 25 0 1 0 749450575 88809472 20831 4294967295 134512640 134714508 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21682 20831 1111 63 0 21619 0
vsize: 86728
[startup+960.051 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 145961 0 0 0 95587 427 0 0 25 0 1 0 749450575 88809472 20837 4294967295 134512640 134714508 3221221792 3221220400 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21682 20837 1111 63 0 21619 0
vsize: 86728
[startup+970.051 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 145979 0 0 0 96587 428 0 0 25 0 1 0 749450575 88944640 20855 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21715 20855 1111 63 0 21652 0
vsize: 86860
[startup+980.052 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 146002 0 0 0 97586 429 0 0 25 0 1 0 749450575 89079808 20878 4294967295 134512640 134714508 3221221792 3221220384 134549764 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21748 20878 1111 63 0 21685 0
vsize: 86992
[startup+990.052 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 146010 0 0 0 98586 429 0 0 25 0 1 0 749450575 89079808 20886 4294967295 134512640 134714508 3221221792 3221220384 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21748 20886 1111 63 0 21685 0
vsize: 86992
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 146010 0 0 0 99586 430 0 0 25 0 1 0 749450575 89079808 20886 4294967295 134512640 134714508 3221221792 3221220496 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21748 20886 1111 63 0 21685 0
vsize: 86992
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 146025 0 0 0 100585 430 0 0 25 0 1 0 749450575 89079808 20901 4294967295 134512640 134714508 3221221792 3221220432 134543110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21748 20901 1111 63 0 21685 0
vsize: 86992
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 146039 0 0 0 101584 431 0 0 25 0 1 0 749450575 89214976 20915 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21781 20915 1111 63 0 21718 0
vsize: 87124
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 146067 0 0 0 102584 432 0 0 25 0 1 0 749450575 89350144 20943 4294967295 134512640 134714508 3221221792 3221220348 134535903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21814 20943 1111 63 0 21751 0
vsize: 87256
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 146178 0 0 0 103583 433 0 0 25 0 1 0 749450575 89706496 21054 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21901 21054 1111 63 0 21838 0
vsize: 87604
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 146477 0 0 0 104582 434 0 0 25 0 1 0 749450575 90923008 21353 4294967295 134512640 134714508 3221221792 3221220248 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22198 21353 1111 63 0 22135 0
vsize: 88792
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 146577 0 0 0 105582 435 0 0 25 0 1 0 749450575 91439104 21453 4294967295 134512640 134714508 3221221792 3221220400 134549324 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22324 21453 1111 63 0 22261 0
vsize: 89296
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 146700 0 0 0 106581 436 0 0 25 0 1 0 749450575 91844608 21576 4294967295 134512640 134714508 3221221792 3221220348 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22423 21576 1111 63 0 22360 0
vsize: 89692
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 146752 0 0 0 107580 437 0 0 25 0 1 0 749450575 92110848 21628 4294967295 134512640 134714508 3221221792 3221220460 1077378561 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22488 21628 1111 63 0 22425 0
vsize: 89952
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 146846 0 0 0 108580 437 0 0 25 0 1 0 749450575 92516352 21722 4294967295 134512640 134714508 3221221792 3221220468 134543703 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22587 21722 1111 63 0 22524 0
vsize: 90348
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 146944 0 0 0 109579 438 0 0 25 0 1 0 749450575 92901376 21820 4294967295 134512640 134714508 3221221792 3221220464 134524436 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22681 21820 1111 63 0 22618 0
vsize: 90724
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 146973 0 0 0 110578 439 0 0 25 0 1 0 749450575 93036544 21849 4294967295 134512640 134714508 3221221792 3221220492 134552682 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22714 21849 1111 63 0 22651 0
vsize: 90856
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 146973 0 0 0 111577 440 0 0 25 0 1 0 749450575 93036544 21849 4294967295 134512640 134714508 3221221792 3221220372 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22714 21849 1111 63 0 22651 0
vsize: 90856
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 146975 0 0 0 112577 441 0 0 25 0 1 0 749450575 93036544 21851 4294967295 134512640 134714508 3221221792 3221220400 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22714 21851 1111 63 0 22651 0
vsize: 90856
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 147049 0 0 0 113576 442 0 0 25 0 1 0 749450575 93306880 21925 4294967295 134512640 134714508 3221221792 3221220560 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22780 21925 1111 63 0 22717 0
vsize: 91120
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 147067 0 0 0 114576 442 0 0 25 0 1 0 749450575 93405184 21943 4294967295 134512640 134714508 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22804 21943 1111 63 0 22741 0
vsize: 91216
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 147104 0 0 0 115575 443 0 0 25 0 1 0 749450575 93540352 21980 4294967295 134512640 134714508 3221221792 3221220496 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22837 21980 1111 63 0 22774 0
vsize: 91348
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 147166 0 0 0 116575 443 0 0 25 0 1 0 749450575 93810688 22042 4294967295 134512640 134714508 3221221792 3221220416 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22903 22042 1111 63 0 22840 0
vsize: 91612
[startup+1174.93 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 31124
Raw data (stat): 31124 (bsolo_lpr) R 31123 7876 7672 0 -1 0 147166 0 0 0 116575 443 0 0 25 0 1 0 749450575 93810688 22042 4294967295 134512640 134714508 3221221792 3221220416 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22903 22042 1111 63 0 22840 0
vsize: 0

Child status: 0
Real time (s): 1174.93
CPU time (s): 1175.07
CPU user time (s): 1170.58
CPU system time (s): 4.48432
CPU usage (%): 100.011
Max. virtual memory (Kb): 91612
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####