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:1,3-13,19.opb
MD5SUM	fa67033d6a242cf79309b3804f79a4fe
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	102
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	15.8556
Number of variables	4608
Total number of constraints	34956
Number of constraints which are clauses	29328
Number of constraints which are cardinality constraints (but not clauses)	5550
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 24937

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-15 03:02:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3232 boxname=wulflinc31 idbench=360 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  fa67033d6a242cf79309b3804f79a4fe  /oldhome/oroussel/tmp/wulflinc31/normalized-ppp:1,3-13,19.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-ppp:1,3-13,19.opb
IDLAUNCH: 3232
/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:        818076 kB
Buffers:         40488 kB
Cached:         153896 kB
SwapCached:       1932 kB
Active:         157688 kB
Inactive:        39920 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        817824 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              72 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            13080 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-15 03:21:54 (client local time) WITH STATUS 0 IN 1175.07 SECONDS
stats: 3232 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 4608 variables and 30522 constraints.
c After prepocess the problem consists of 4608 variables and 30522 constraints.
c preprocess terminated 46.586 s
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.98 1.02 1.00 2/55 30582
Raw data (stat): 30582 (runsolver) R 30581 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 749053717 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.0015 s]
Raw data (loadavg): 0.98 1.01 1.00 2/55 30582
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 46124 0 0 0 880 116 0 0 25 0 1 0 749053717 51957760 11826 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12685 11826 1111 63 0 12622 0
vsize: 50740
[startup+20.0022 s]
Raw data (loadavg): 0.98 1.01 1.00 2/55 30582
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 72411 0 0 0 1814 182 0 0 25 0 1 0 749053717 72613888 16864 4294967295 134512640 134714508 3221221792 3221220280 134543617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17728 16864 1111 63 0 17665 0
vsize: 70912
[startup+30.0022 s]
Raw data (loadavg): 0.98 1.01 1.00 2/55 30582
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 84695 0 0 0 2781 215 0 0 25 0 1 0 749053717 70549504 16365 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16365 1111 63 0 17161 0
vsize: 68896
[startup+40.0031 s]
Raw data (loadavg): 0.99 1.01 1.00 2/55 30582
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 87210 0 0 0 3775 221 0 0 25 0 1 0 749053717 70549504 16365 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16365 1111 63 0 17161 0
vsize: 68896
[startup+50.0043 s]
Raw data (loadavg): 0.99 1.01 1.00 2/55 30582
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 87225 0 0 0 4774 222 0 0 25 0 1 0 749053717 70549504 16380 4294967295 134512640 134714508 3221221792 3221220544 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16380 1111 63 0 17161 0
vsize: 68896
[startup+60.0049 s]
Raw data (loadavg): 0.99 1.01 1.00 2/55 30582
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 87227 0 0 0 5772 224 0 0 25 0 1 0 749053717 70549504 16382 4294967295 134512640 134714508 3221221792 3221220364 134535876 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16382 1111 63 0 17161 0
vsize: 68896
[startup+70.0059 s]
Raw data (loadavg): 0.99 1.01 1.00 2/55 30582
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 87227 0 0 0 6771 226 0 0 25 0 1 0 749053717 70549504 16382 4294967295 134512640 134714508 3221221792 3221220448 134536643 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16382 1111 63 0 17161 0
vsize: 68896
[startup+80.0068 s]
Raw data (loadavg): 0.99 1.01 1.00 2/55 30582
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 87227 0 0 0 7769 228 0 0 25 0 1 0 749053717 70549504 16382 4294967295 134512640 134714508 3221221792 3221220276 134697199 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16382 1111 63 0 17161 0
vsize: 68896
[startup+90.0077 s]
Raw data (loadavg): 0.99 1.01 1.00 2/55 30582
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 87227 0 0 0 8768 229 0 0 25 0 1 0 749053717 70549504 16382 4294967295 134512640 134714508 3221221792 3221220360 1077377227 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16382 1111 63 0 17161 0
vsize: 68896
[startup+100.008 s]
Raw data (loadavg): 0.99 1.01 1.00 2/55 30582
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 87227 0 0 0 9767 230 0 0 25 0 1 0 749053717 70549504 16382 4294967295 134512640 134714508 3221221792 3221220556 134523848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16382 1111 63 0 17161 0
vsize: 68896
[startup+110.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30582
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 87227 0 0 0 10766 232 0 0 25 0 1 0 749053717 70549504 16382 4294967295 134512640 134714508 3221221792 3221220360 1077377771 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16382 1111 63 0 17161 0
vsize: 68896
[startup+120.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30582
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 87227 0 0 0 11764 233 0 0 25 0 1 0 749053717 70549504 16382 4294967295 134512640 134714508 3221221792 3221220416 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16382 1111 63 0 17161 0
vsize: 68896
[startup+130.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30582
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 87227 0 0 0 12763 235 0 0 25 0 1 0 749053717 70549504 16382 4294967295 134512640 134714508 3221221792 3221220560 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16382 1111 63 0 17161 0
vsize: 68896
[startup+140.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30582
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 87227 0 0 0 13762 236 0 0 25 0 1 0 749053717 70549504 16382 4294967295 134512640 134714508 3221221792 3221220384 134549770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16382 1111 63 0 17161 0
vsize: 68896
[startup+150.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30582
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 87227 0 0 0 14761 237 0 0 25 0 1 0 749053717 70549504 16382 4294967295 134512640 134714508 3221221792 3221220448 134536724 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16382 1111 63 0 17161 0
vsize: 68896
[startup+160.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30582
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 87227 0 0 0 15760 238 0 0 25 0 1 0 749053717 70549504 16382 4294967295 134512640 134714508 3221221792 3221220308 134697343 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16382 1111 63 0 17161 0
vsize: 68896
[startup+170.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30582
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 87227 0 0 0 16759 240 0 0 25 0 1 0 749053717 70549504 16382 4294967295 134512640 134714508 3221221792 3221220432 134613431 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16382 1111 63 0 17161 0
vsize: 68896
[startup+180.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30582
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 87227 0 0 0 17759 241 0 0 25 0 1 0 749053717 70549504 16382 4294967295 134512640 134714508 3221221792 3221220412 134536852 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16382 1111 63 0 17161 0
vsize: 68896
[startup+190.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30582
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 87227 0 0 0 18758 241 0 0 25 0 1 0 749053717 70549504 16382 4294967295 134512640 134714508 3221221792 3221220420 134696225 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16382 1111 63 0 17161 0
vsize: 68896
[startup+200.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30582
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 87227 0 0 0 19757 242 0 0 25 0 1 0 749053717 70549504 16382 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16382 1111 63 0 17161 0
vsize: 68896
[startup+210.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 87227 0 0 0 20756 244 0 0 25 0 1 0 749053717 70549504 16382 4294967295 134512640 134714508 3221221792 3221220288 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16382 1111 63 0 17161 0
vsize: 68896
[startup+220.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 87227 0 0 0 21755 245 0 0 25 0 1 0 749053717 70549504 16382 4294967295 134512640 134714508 3221221792 3221220340 134542991 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16382 1111 63 0 17161 0
vsize: 68896
[startup+230.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 87227 0 0 0 22754 246 0 0 25 0 1 0 749053717 70549504 16382 4294967295 134512640 134714508 3221221792 3221220492 134543760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16382 1111 63 0 17161 0
vsize: 68896
[startup+240.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 87227 0 0 0 23752 248 0 0 25 0 1 0 749053717 70549504 16382 4294967295 134512640 134714508 3221221792 3221220368 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16382 1111 63 0 17161 0
vsize: 68896
[startup+250.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 87227 0 0 0 24752 249 0 0 25 0 1 0 749053717 70549504 16382 4294967295 134512640 134714508 3221221792 3221220496 134528656 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16382 1111 63 0 17161 0
vsize: 68896
[startup+260.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 87227 0 0 0 25751 250 0 0 25 0 1 0 749053717 70549504 16382 4294967295 134512640 134714508 3221221792 3221220400 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16382 1111 63 0 17161 0
vsize: 68896
[startup+270.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 87227 0 0 0 26750 251 0 0 25 0 1 0 749053717 70549504 16382 4294967295 134512640 134714508 3221221792 3221220344 134696461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17224 16382 1111 63 0 17161 0
vsize: 68896
[startup+280.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 87276 0 0 0 27749 252 0 0 25 0 1 0 749053717 70819840 16431 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17290 16431 1111 63 0 17227 0
vsize: 69160
[startup+290.021 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 87440 0 0 0 28748 254 0 0 25 0 1 0 749053717 71495680 16595 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17455 16595 1111 63 0 17392 0
vsize: 69820
[startup+300.021 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 87564 0 0 0 29746 255 0 0 25 0 1 0 749053717 72036352 16719 4294967295 134512640 134714508 3221221792 3221220416 134549809 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17587 16719 1111 63 0 17524 0
vsize: 70348
[startup+310.022 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 87682 0 0 0 30745 256 0 0 25 0 1 0 749053717 72441856 16837 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17686 16837 1111 63 0 17623 0
vsize: 70744
[startup+320.023 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 87758 0 0 0 31744 258 0 0 25 0 1 0 749053717 72839168 16913 4294967295 134512640 134714508 3221221792 3221220432 134542300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17783 16913 1111 63 0 17720 0
vsize: 71132
[startup+330.023 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 87849 0 0 0 32743 259 0 0 25 0 1 0 749053717 73109504 17004 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17849 17004 1111 63 0 17786 0
vsize: 71396
[startup+340.024 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 87895 0 0 0 33742 260 0 0 25 0 1 0 749053717 73379840 17050 4294967295 134512640 134714508 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17915 17050 1111 63 0 17852 0
vsize: 71660
[startup+350.024 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 87990 0 0 0 34741 261 0 0 25 0 1 0 749053717 73785344 17145 4294967295 134512640 134714508 3221221792 3221220468 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18014 17145 1111 63 0 17951 0
vsize: 72056
[startup+360.026 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 88018 0 0 0 35741 262 0 0 25 0 1 0 749053717 73920512 17173 4294967295 134512640 134714508 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18047 17173 1111 63 0 17984 0
vsize: 72188
[startup+370.027 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 88146 0 0 0 36740 264 0 0 25 0 1 0 749053717 74326016 17301 4294967295 134512640 134714508 3221221792 3221220496 134528617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18146 17301 1111 63 0 18083 0
vsize: 72584
[startup+380.027 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 88245 0 0 0 37738 265 0 0 25 0 1 0 749053717 74731520 17400 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18245 17400 1111 63 0 18182 0
vsize: 72980
[startup+390.028 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 88331 0 0 0 38738 266 0 0 25 0 1 0 749053717 75137024 17486 4294967295 134512640 134714508 3221221792 3221220576 134529410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18344 17486 1111 63 0 18281 0
vsize: 73376
[startup+400.028 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 88394 0 0 0 39737 267 0 0 25 0 1 0 749053717 75407360 17549 4294967295 134512640 134714508 3221221792 3221220460 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18410 17549 1111 63 0 18347 0
vsize: 73640
[startup+410.029 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 88470 0 0 0 40736 268 0 0 25 0 1 0 749053717 75677696 17625 4294967295 134512640 134714508 3221221792 3221220400 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18476 17625 1111 63 0 18413 0
vsize: 73904
[startup+420.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 88533 0 0 0 41735 269 0 0 25 0 1 0 749053717 75915264 17688 4294967295 134512640 134714508 3221221792 3221220496 134528702 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18534 17688 1111 63 0 18471 0
vsize: 74136
[startup+430.031 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 88591 0 0 0 42734 270 0 0 25 0 1 0 749053717 76181504 17746 4294967295 134512640 134714508 3221221792 3221220480 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18599 17746 1111 63 0 18536 0
vsize: 74396
[startup+440.031 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 88646 0 0 0 43733 272 0 0 25 0 1 0 749053717 76451840 17801 4294967295 134512640 134714508 3221221792 3221220576 134529331 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18665 17801 1111 63 0 18602 0
vsize: 74660
[startup+450.031 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 88758 0 0 0 44732 273 0 0 25 0 1 0 749053717 76828672 17913 4294967295 134512640 134714508 3221221792 3221220784 134574882 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18757 17913 1111 63 0 18694 0
vsize: 75028
[startup+460.032 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 88818 0 0 0 45731 274 0 0 25 0 1 0 749053717 77099008 17973 4294967295 134512640 134714508 3221221792 3221220376 134543606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18823 17973 1111 63 0 18760 0
vsize: 75292
[startup+470.034 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 88926 0 0 0 46730 275 0 0 25 0 1 0 749053717 77639680 18081 4294967295 134512640 134714508 3221221792 3221220528 134529237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18955 18081 1111 63 0 18892 0
vsize: 75820
[startup+480.033 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 88990 0 0 0 47730 276 0 0 25 0 1 0 749053717 77844480 18145 4294967295 134512640 134714508 3221221792 3221220448 134536707 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19005 18145 1111 63 0 18942 0
vsize: 76020
[startup+490.034 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 89114 0 0 0 48729 277 0 0 25 0 1 0 749053717 78376960 18269 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19135 18269 1111 63 0 19072 0
vsize: 76540
[startup+500.035 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 89216 0 0 0 49728 278 0 0 25 0 1 0 749053717 78782464 18371 4294967295 134512640 134714508 3221221792 3221220496 134528671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19234 18371 1111 63 0 19171 0
vsize: 76936
[startup+510.035 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 89365 0 0 0 50726 280 0 0 25 0 1 0 749053717 79323136 18520 4294967295 134512640 134714508 3221221792 3221220436 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19366 18520 1111 63 0 19303 0
vsize: 77464
[startup+520.036 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 89459 0 0 0 51725 281 0 0 25 0 1 0 749053717 79712256 18614 4294967295 134512640 134714508 3221221792 3221220468 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19461 18614 1111 63 0 19398 0
vsize: 77844
[startup+530.037 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 89573 0 0 0 52724 282 0 0 25 0 1 0 749053717 80252928 18728 4294967295 134512640 134714508 3221221792 3221220400 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19593 18728 1111 63 0 19530 0
vsize: 78372
[startup+540.038 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 89648 0 0 0 53723 284 0 0 25 0 1 0 749053717 80523264 18803 4294967295 134512640 134714508 3221221792 3221220432 134696368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19659 18803 1111 63 0 19596 0
vsize: 78636
[startup+550.038 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 89778 0 0 0 54721 285 0 0 25 0 1 0 749053717 81063936 18933 4294967295 134512640 134714508 3221221792 3221220348 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19791 18933 1111 63 0 19728 0
vsize: 79164
[startup+560.038 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 89881 0 0 0 55721 286 0 0 25 0 1 0 749053717 81461248 19036 4294967295 134512640 134714508 3221221792 3221220444 134536784 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19888 19036 1111 63 0 19825 0
vsize: 79552
[startup+570.039 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 89955 0 0 0 56720 287 0 0 25 0 1 0 749053717 81731584 19110 4294967295 134512640 134714508 3221221792 3221220384 134539516 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19954 19110 1111 63 0 19891 0
vsize: 79816
[startup+580.039 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 90046 0 0 0 57719 288 0 0 25 0 1 0 749053717 82128896 19201 4294967295 134512640 134714508 3221221792 3221220432 134539374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20051 19201 1111 63 0 19988 0
vsize: 80204
[startup+590.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 90093 0 0 0 58719 289 0 0 25 0 1 0 749053717 82399232 19248 4294967295 134512640 134714508 3221221792 3221220552 134592155 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20117 19248 1111 63 0 20054 0
vsize: 80468
[startup+600.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 90150 0 0 0 59719 289 0 0 25 0 1 0 749053717 82534400 19305 4294967295 134512640 134714508 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20150 19305 1111 63 0 20087 0
vsize: 80600
[startup+610.041 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 90221 0 0 0 60718 290 0 0 25 0 1 0 749053717 82923520 19376 4294967295 134512640 134714508 3221221792 3221220432 134696082 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20245 19376 1111 63 0 20182 0
vsize: 80980
[startup+620.042 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 90287 0 0 0 61718 291 0 0 25 0 1 0 749053717 83193856 19442 4294967295 134512640 134714508 3221221792 3221220536 134558497 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20311 19442 1111 63 0 20248 0
vsize: 81244
[startup+630.042 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 90349 0 0 0 62717 291 0 0 25 0 1 0 749053717 83456000 19504 4294967295 134512640 134714508 3221221792 3221220416 134696324 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20375 19504 1111 63 0 20312 0
vsize: 81500
[startup+640.043 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 90449 0 0 0 63717 292 0 0 25 0 1 0 749053717 83812352 19604 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20462 19604 1111 63 0 20399 0
vsize: 81848
[startup+650.043 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 90516 0 0 0 64717 292 0 0 25 0 1 0 749053717 84066304 19671 4294967295 134512640 134714508 3221221792 3221220536 134551620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20524 19671 1111 63 0 20461 0
vsize: 82096
[startup+660.043 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 90615 0 0 0 65716 293 0 0 25 0 1 0 749053717 84471808 19770 4294967295 134512640 134714508 3221221792 3221220500 134535806 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20623 19770 1111 63 0 20560 0
vsize: 82492
[startup+670.044 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 90671 0 0 0 66715 294 0 0 25 0 1 0 749053717 84742144 19826 4294967295 134512640 134714508 3221221792 3221220368 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20689 19826 1111 63 0 20626 0
vsize: 82756
[startup+680.044 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 90749 0 0 0 67715 295 0 0 25 0 1 0 749053717 85004288 19904 4294967295 134512640 134714508 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20753 19904 1111 63 0 20690 0
vsize: 83012
[startup+690.045 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 90784 0 0 0 68715 295 0 0 25 0 1 0 749053717 85139456 19939 4294967295 134512640 134714508 3221221792 3221220416 134696265 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20786 19939 1111 63 0 20723 0
vsize: 83144
[startup+700.046 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 90899 0 0 0 69715 295 0 0 25 0 1 0 749053717 85655552 20054 4294967295 134512640 134714508 3221221792 3221220468 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20912 20054 1111 63 0 20849 0
vsize: 83648
[startup+710.046 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 90978 0 0 0 70714 296 0 0 25 0 1 0 749053717 85925888 20133 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20978 20133 1111 63 0 20915 0
vsize: 83912
[startup+720.047 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 91045 0 0 0 71714 297 0 0 25 0 1 0 749053717 86188032 20200 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21042 20200 1111 63 0 20979 0
vsize: 84168
[startup+730.047 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 91135 0 0 0 72713 298 0 0 25 0 1 0 749053717 86589440 20290 4294967295 134512640 134714508 3221221792 3221220496 134528647 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21140 20290 1111 63 0 21077 0
vsize: 84560
[startup+740.048 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 91233 0 0 0 73712 298 0 0 25 0 1 0 749053717 86962176 20388 4294967295 134512640 134714508 3221221792 3221220400 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21231 20388 1111 63 0 21168 0
vsize: 84924
[startup+750.048 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 91289 0 0 0 74712 299 0 0 25 0 1 0 749053717 87228416 20444 4294967295 134512640 134714508 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21296 20444 1111 63 0 21233 0
vsize: 85184
[startup+760.047 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 91345 0 0 0 75712 299 0 0 25 0 1 0 749053717 87498752 20500 4294967295 134512640 134714508 3221221792 3221220536 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21362 20500 1111 63 0 21299 0
vsize: 85448
[startup+770.049 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 91427 0 0 0 76712 299 0 0 25 0 1 0 749053717 87769088 20582 4294967295 134512640 134714508 3221221792 3221220368 134542748 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21428 20582 1111 63 0 21365 0
vsize: 85712
[startup+780.049 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 91510 0 0 0 77711 300 0 0 25 0 1 0 749053717 88174592 20665 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21527 20665 1111 63 0 21464 0
vsize: 86108
[startup+790.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 91543 0 0 0 78711 301 0 0 25 0 1 0 749053717 88309760 20698 4294967295 134512640 134714508 3221221792 3221220400 134549296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21560 20698 1111 63 0 21497 0
vsize: 86240
[startup+800.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 91623 0 0 0 79711 301 0 0 25 0 1 0 749053717 88571904 20778 4294967295 134512640 134714508 3221221792 3221220400 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21624 20778 1111 63 0 21561 0
vsize: 86496
[startup+810.05 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 91631 0 0 0 80711 301 0 0 25 0 1 0 749053717 88707072 20786 4294967295 134512640 134714508 3221221792 3221220400 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21657 20786 1111 63 0 21594 0
vsize: 86628
[startup+820.051 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 91689 0 0 0 81711 302 0 0 25 0 1 0 749053717 88829952 20844 4294967295 134512640 134714508 3221221792 3221220356 134535492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21687 20844 1111 63 0 21624 0
vsize: 86748
[startup+830.051 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 91765 0 0 0 82710 302 0 0 25 0 1 0 749053717 89227264 20920 4294967295 134512640 134714508 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21784 20920 1111 63 0 21721 0
vsize: 87136
[startup+840.052 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 91790 0 0 0 83710 302 0 0 25 0 1 0 749053717 89337856 20945 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21811 20945 1111 63 0 21748 0
vsize: 87244
[startup+850.052 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 91841 0 0 0 84709 304 0 0 25 0 1 0 749053717 89473024 20996 4294967295 134512640 134714508 3221221792 3221220480 134534112 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21844 20996 1111 63 0 21781 0
vsize: 87376
[startup+860.052 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 91879 0 0 0 85709 304 0 0 25 0 1 0 749053717 89604096 21034 4294967295 134512640 134714508 3221221792 3221220400 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21876 21034 1111 63 0 21813 0
vsize: 87504
[startup+870.052 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 91941 0 0 0 86709 305 0 0 25 0 1 0 749053717 89870336 21096 4294967295 134512640 134714508 3221221792 3221219876 134697199 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21941 21096 1111 63 0 21878 0
vsize: 87764
[startup+880.053 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 91960 0 0 0 87709 305 0 0 25 0 1 0 749053717 90005504 21115 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21974 21115 1111 63 0 21911 0
vsize: 87896
[startup+890.054 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 92005 0 0 0 88708 305 0 0 25 0 1 0 749053717 90140672 21160 4294967295 134512640 134714508 3221221792 3221220560 134584892 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22007 21160 1111 63 0 21944 0
vsize: 88028
[startup+900.055 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 92061 0 0 0 89708 306 0 0 25 0 1 0 749053717 90402816 21216 4294967295 134512640 134714508 3221221792 3221220432 134539362 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22071 21216 1111 63 0 22008 0
vsize: 88284
[startup+910.054 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 92091 0 0 0 90708 306 0 0 25 0 1 0 749053717 90537984 21246 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22104 21246 1111 63 0 22041 0
vsize: 88416
[startup+920.055 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 92156 0 0 0 91707 307 0 0 25 0 1 0 749053717 90779648 21311 4294967295 134512640 134714508 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22163 21311 1111 63 0 22100 0
vsize: 88652
[startup+930.055 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 92215 0 0 0 92707 307 0 0 25 0 1 0 749053717 91049984 21370 4294967295 134512640 134714508 3221221792 3221220368 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22229 21370 1111 63 0 22166 0
vsize: 88916
[startup+940.056 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 92223 0 0 0 93707 308 0 0 25 0 1 0 749053717 91049984 21378 4294967295 134512640 134714508 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22229 21378 1111 63 0 22166 0
vsize: 88916
[startup+950.058 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 92260 0 0 0 94707 308 0 0 25 0 1 0 749053717 91185152 21415 4294967295 134512640 134714508 3221221792 3221220348 134535903 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22262 21415 1111 63 0 22199 0
vsize: 89048
[startup+960.057 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 92277 0 0 0 95707 309 0 0 25 0 1 0 749053717 91320320 21432 4294967295 134512640 134714508 3221221792 3221220576 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22295 21432 1111 63 0 22232 0
vsize: 89180
[startup+970.057 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 92326 0 0 0 96706 309 0 0 25 0 1 0 749053717 91455488 21481 4294967295 134512640 134714508 3221221792 3221220576 134529097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22328 21481 1111 63 0 22265 0
vsize: 89312
[startup+980.057 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 92329 0 0 0 97706 309 0 0 25 0 1 0 749053717 91455488 21484 4294967295 134512640 134714508 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22328 21484 1111 63 0 22265 0
vsize: 89312
[startup+990.058 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 92345 0 0 0 98706 310 0 0 25 0 1 0 749053717 91590656 21500 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22361 21500 1111 63 0 22298 0
vsize: 89444
[startup+1000.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 92399 0 0 0 99706 310 0 0 25 0 1 0 749053717 91860992 21554 4294967295 134512640 134714508 3221221792 3221220464 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22427 21554 1111 63 0 22364 0
vsize: 89708
[startup+1010.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 92435 0 0 0 100706 310 0 0 25 0 1 0 749053717 91951104 21590 4294967295 134512640 134714508 3221221792 3221220352 134696583 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22449 21590 1111 63 0 22386 0
vsize: 89796
[startup+1020.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 92493 0 0 0 101705 311 0 0 25 0 1 0 749053717 92209152 21648 4294967295 134512640 134714508 3221221792 3221220496 134528732 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22512 21648 1111 63 0 22449 0
vsize: 90048
[startup+1030.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 92579 0 0 0 102704 312 0 0 25 0 1 0 749053717 92569600 21734 4294967295 134512640 134714508 3221221792 3221220384 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22600 21734 1111 63 0 22537 0
vsize: 90400
[startup+1040.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 92625 0 0 0 103704 312 0 0 25 0 1 0 749053717 92704768 21780 4294967295 134512640 134714508 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22633 21780 1111 63 0 22570 0
vsize: 90532
[startup+1050.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 92651 0 0 0 104704 313 0 0 25 0 1 0 749053717 92839936 21806 4294967295 134512640 134714508 3221221792 3221220384 134549541 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22666 21806 1111 63 0 22603 0
vsize: 90664
[startup+1060.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 92681 0 0 0 105704 313 0 0 25 0 1 0 749053717 92975104 21836 4294967295 134512640 134714508 3221221792 3221220348 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22699 21836 1111 63 0 22636 0
vsize: 90796
[startup+1070.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 92731 0 0 0 106703 314 0 0 25 0 1 0 749053717 93110272 21886 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22732 21886 1111 63 0 22669 0
vsize: 90928
[startup+1080.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 92755 0 0 0 107703 315 0 0 25 0 1 0 749053717 93245440 21910 4294967295 134512640 134714508 3221221792 3221220528 134558542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22765 21910 1111 63 0 22702 0
vsize: 91060
[startup+1090.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 92799 0 0 0 108702 315 0 0 25 0 1 0 749053717 93380608 21954 4294967295 134512640 134714508 3221221792 3221220400 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22798 21954 1111 63 0 22735 0
vsize: 91192
[startup+1100.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 92848 0 0 0 109702 316 0 0 25 0 1 0 749053717 93650944 22003 4294967295 134512640 134714508 3221221792 3221220480 134551897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22864 22003 1111 63 0 22801 0
vsize: 91456
[startup+1110.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 92914 0 0 0 110702 316 0 0 25 0 1 0 749053717 93921280 22069 4294967295 134512640 134714508 3221221792 3221220460 134536852 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22930 22069 1111 63 0 22867 0
vsize: 91720
[startup+1120.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 92982 0 0 0 111701 317 0 0 25 0 1 0 749053717 94191616 22137 4294967295 134512640 134714508 3221221792 3221220448 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22996 22137 1111 63 0 22933 0
vsize: 91984
[startup+1130.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 93012 0 0 0 112701 317 0 0 25 0 1 0 749053717 94326784 22167 4294967295 134512640 134714508 3221221792 3221220728 134579505 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23029 22167 1111 63 0 22966 0
vsize: 92116
[startup+1140.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 93031 0 0 0 113701 318 0 0 25 0 1 0 749053717 94326784 22186 4294967295 134512640 134714508 3221221792 3221220468 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23029 22186 1111 63 0 22966 0
vsize: 92116
[startup+1150.07 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 93031 0 0 0 114701 318 0 0 25 0 1 0 749053717 94326784 22186 4294967295 134512640 134714508 3221221792 3221220384 134549767 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23029 22186 1111 63 0 22966 0
vsize: 92116
[startup+1160.06 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 93112 0 0 0 115700 319 0 0 25 0 1 0 749053717 94720000 22267 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23125 22267 1111 63 0 23062 0
vsize: 92500
[startup+1170.07 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 93166 0 0 0 116700 319 0 0 25 0 1 0 749053717 94982144 22321 4294967295 134512640 134714508 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23189 22321 1111 63 0 23126 0
vsize: 92756
[startup+1174.94 s]
Raw data (loadavg): 0.99 1.00 1.00 1/54 30584
Raw data (stat): 30582 (bsolo_lpr) R 30581 7876 7672 0 -1 0 93166 0 0 0 116700 319 0 0 25 0 1 0 749053717 94982144 22321 4294967295 134512640 134714508 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23189 22321 1111 63 0 23126 0
vsize: 0

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