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-9,16-19.opb
MD5SUM	a788dbf2f72289ace41b812e06d88575
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	101
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	362.64
Number of variables	4626
Total number of constraints	35373
Number of constraints which are clauses	29724
Number of constraints which are cardinality constraints (but not clauses)	5571
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 24957

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-15 07:25:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3268 boxname=wulflinc31 idbench=364 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  a788dbf2f72289ace41b812e06d88575  /oldhome/oroussel/tmp/wulflinc31/normalized-ppp:1-9,16-19.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-ppp:1-9,16-19.opb
IDLAUNCH: 3268
/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:        813684 kB
Buffers:         40888 kB
Cached:         158188 kB
SwapCached:       1932 kB
Active:         162308 kB
Inactive:        39900 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        813432 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              96 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            13196 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-15 07:44:45 (client local time) WITH STATUS 0 IN 1175.1 SECONDS
stats: 3268 7 1175.1 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 4626 variables and 30921 constraints.
c After prepocess the problem consists of 4626 variables and 30921 constraints.
c preprocess terminated 55.315 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.84 0.94 0.98 2/55 32729
Raw data (stat): 32729 (runsolver) R 32728 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 750631074 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.0005 s]
Raw data (loadavg): 0.87 0.94 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 31232 0 0 0 914 82 0 0 25 0 1 0 750631074 63623168 14674 4294967295 134512640 134714508 3221221792 3221220156 134539301 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15533 14674 1111 63 0 15470 0
vsize: 62132
[startup+20.0016 s]
Raw data (loadavg): 0.89 0.94 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 76534 0 0 0 1800 196 0 0 25 0 1 0 750631074 68210688 15786 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16653 15786 1111 63 0 16590 0
vsize: 66612
[startup+30.0024 s]
Raw data (loadavg): 0.90 0.94 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 118564 0 0 0 2697 299 0 0 25 0 1 0 750631074 73543680 17091 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17955 17091 1111 63 0 17892 0
vsize: 71820
[startup+40.0023 s]
Raw data (loadavg): 0.92 0.94 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 121516 0 0 0 3690 305 0 0 25 0 1 0 750631074 73601024 17110 4294967295 134512640 134714508 3221221792 3221220408 134543777 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17969 17110 1111 63 0 17906 0
vsize: 71876
[startup+50.0033 s]
Raw data (loadavg): 0.93 0.94 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 121714 0 0 0 4689 307 0 0 25 0 1 0 750631074 73601024 17110 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17969 17110 1111 63 0 17906 0
vsize: 71876
[startup+60.0042 s]
Raw data (loadavg): 0.94 0.95 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 121729 0 0 0 5688 308 0 0 25 0 1 0 750631074 73601024 17125 4294967295 134512640 134714508 3221221792 3221220364 134539230 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17969 17125 1111 63 0 17906 0
vsize: 71876
[startup+70.0051 s]
Raw data (loadavg): 0.95 0.95 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 121730 0 0 0 6685 311 0 0 25 0 1 0 750631074 73601024 17126 4294967295 134512640 134714508 3221221792 3221220552 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17969 17126 1111 63 0 17906 0
vsize: 71876
[startup+80.0061 s]
Raw data (loadavg): 0.96 0.95 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 121730 0 0 0 7684 312 0 0 25 0 1 0 750631074 73601024 17126 4294967295 134512640 134714508 3221221792 3221220348 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17969 17126 1111 63 0 17906 0
vsize: 71876
[startup+90.0061 s]
Raw data (loadavg): 0.96 0.95 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 121730 0 0 0 8683 313 0 0 25 0 1 0 750631074 73601024 17126 4294967295 134512640 134714508 3221221792 3221220528 134523856 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17969 17126 1111 63 0 17906 0
vsize: 71876
[startup+100.007 s]
Raw data (loadavg): 0.97 0.95 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 121730 0 0 0 9682 315 0 0 25 0 1 0 750631074 73601024 17126 4294967295 134512640 134714508 3221221792 3221220560 134587964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17969 17126 1111 63 0 17906 0
vsize: 71876
[startup+110.008 s]
Raw data (loadavg): 0.97 0.95 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 121730 0 0 0 10681 316 0 0 25 0 1 0 750631074 73601024 17126 4294967295 134512640 134714508 3221221792 3221220480 134542853 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17969 17126 1111 63 0 17906 0
vsize: 71876
[startup+120.009 s]
Raw data (loadavg): 0.98 0.95 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 121730 0 0 0 11680 316 0 0 25 0 1 0 750631074 73601024 17126 4294967295 134512640 134714508 3221221792 3221220400 134548843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17969 17126 1111 63 0 17906 0
vsize: 71876
[startup+130.01 s]
Raw data (loadavg): 0.98 0.95 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 121730 0 0 0 12680 317 0 0 25 0 1 0 750631074 73601024 17126 4294967295 134512640 134714508 3221221792 3221220320 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17969 17126 1111 63 0 17906 0
vsize: 71876
[startup+140.01 s]
Raw data (loadavg): 0.98 0.95 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 121730 0 0 0 13679 318 0 0 25 0 1 0 750631074 73601024 17126 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17969 17126 1111 63 0 17906 0
vsize: 71876
[startup+150.011 s]
Raw data (loadavg): 0.98 0.95 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 121730 0 0 0 14677 319 0 0 25 0 1 0 750631074 73601024 17126 4294967295 134512640 134714508 3221221792 3221220528 134535728 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17969 17126 1111 63 0 17906 0
vsize: 71876
[startup+160.011 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 121730 0 0 0 15677 320 0 0 25 0 1 0 750631074 73601024 17126 4294967295 134512640 134714508 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17969 17126 1111 63 0 17906 0
vsize: 71876
[startup+170.012 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 121730 0 0 0 16676 321 0 0 25 0 1 0 750631074 73601024 17126 4294967295 134512640 134714508 3221221792 3221220528 134535740 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17969 17126 1111 63 0 17906 0
vsize: 71876
[startup+180.013 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 121730 0 0 0 17675 322 0 0 25 0 1 0 750631074 73601024 17126 4294967295 134512640 134714508 3221221792 3221220444 134536787 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17969 17126 1111 63 0 17906 0
vsize: 71876
[startup+190.013 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 121730 0 0 0 18675 323 0 0 25 0 1 0 750631074 73601024 17126 4294967295 134512640 134714508 3221221792 3221220348 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17969 17126 1111 63 0 17906 0
vsize: 71876
[startup+200.014 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 121730 0 0 0 19674 324 0 0 25 0 1 0 750631074 73601024 17126 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17969 17126 1111 63 0 17906 0
vsize: 71876
[startup+210.014 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 121903 0 0 0 20673 325 0 0 25 0 1 0 750631074 74412032 17299 4294967295 134512640 134714508 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18167 17299 1111 63 0 18104 0
vsize: 72668
[startup+220.015 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 122297 0 0 0 21671 327 0 0 25 0 1 0 750631074 76034048 17693 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18563 17693 1111 63 0 18500 0
vsize: 74252
[startup+230.016 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 122670 0 0 0 22669 329 0 0 25 0 1 0 750631074 77520896 18066 4294967295 134512640 134714508 3221221792 3221220472 134613605 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18926 18066 1111 63 0 18863 0
vsize: 75704
[startup+240.016 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 122860 0 0 0 23667 330 0 0 25 0 1 0 750631074 78331904 18256 4294967295 134512640 134714508 3221221792 3221220424 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19124 18256 1111 63 0 19061 0
vsize: 76496
[startup+250.017 s]
Raw data (loadavg): 0.99 0.96 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 123055 0 0 0 24667 331 0 0 25 0 1 0 750631074 79147008 18451 4294967295 134512640 134714508 3221221792 3221220496 134528434 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19323 18451 1111 63 0 19260 0
vsize: 77292
[startup+260.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 123565 0 0 0 25664 334 0 0 25 0 1 0 750631074 81178624 18961 4294967295 134512640 134714508 3221221792 3221220380 134535676 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19819 18961 1111 63 0 19756 0
vsize: 79276
[startup+270.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 123966 0 0 0 26662 336 0 0 25 0 1 0 750631074 82800640 19362 4294967295 134512640 134714508 3221221792 3221220352 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20215 19362 1111 63 0 20152 0
vsize: 80860
[startup+280.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 124314 0 0 0 27660 338 0 0 25 0 1 0 750631074 84287488 19710 4294967295 134512640 134714508 3221221792 3221220448 134543740 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20578 19710 1111 63 0 20515 0
vsize: 82312
[startup+290.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 124703 0 0 0 28658 340 0 0 25 0 1 0 750631074 85909504 20099 4294967295 134512640 134714508 3221221792 3221220556 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20974 20099 1111 63 0 20911 0
vsize: 83896
[startup+300.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 124990 0 0 0 29658 341 0 0 25 0 1 0 750631074 86990848 20386 4294967295 134512640 134714508 3221221792 3221220420 134543092 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21238 20386 1111 63 0 21175 0
vsize: 84952
[startup+310.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 125069 0 0 0 30656 343 0 0 25 0 1 0 750631074 87396352 20465 4294967295 134512640 134714508 3221221792 3221220424 134696017 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21337 20465 1111 63 0 21274 0
vsize: 85348
[startup+320.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 125090 0 0 0 31656 343 0 0 25 0 1 0 750631074 87396352 20486 4294967295 134512640 134714508 3221221792 3221220388 134542821 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21337 20486 1111 63 0 21274 0
vsize: 85348
[startup+330.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 125176 0 0 0 32655 344 0 0 25 0 1 0 750631074 87801856 20572 4294967295 134512640 134714508 3221221792 3221220432 134542365 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21436 20572 1111 63 0 21373 0
vsize: 85744
[startup+340.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 125536 0 0 0 33653 346 0 0 25 0 1 0 750631074 89288704 20932 4294967295 134512640 134714508 3221221792 3221220320 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21799 20932 1111 63 0 21736 0
vsize: 87196
[startup+350.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 126112 0 0 0 34649 350 0 0 25 0 1 0 750631074 91582464 21508 4294967295 134512640 134714508 3221221792 3221220428 134696396 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22359 21508 1111 63 0 22296 0
vsize: 89436
[startup+360.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 126426 0 0 0 35648 351 0 0 25 0 1 0 750631074 92934144 21822 4294967295 134512640 134714508 3221221792 3221220420 134543092 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22689 21822 1111 63 0 22626 0
vsize: 90756
[startup+370.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 126578 0 0 0 36647 352 0 0 25 0 1 0 750631074 93474816 21974 4294967295 134512640 134714508 3221221792 3221220340 134696414 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22821 21974 1111 63 0 22758 0
vsize: 91284
[startup+380.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 126904 0 0 0 37645 355 0 0 25 0 1 0 750631074 94826496 22300 4294967295 134512640 134714508 3221221792 3221220512 134523874 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23151 22300 1111 63 0 23088 0
vsize: 92604
[startup+390.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 127234 0 0 0 38643 356 0 0 25 0 1 0 750631074 96178176 22630 4294967295 134512640 134714508 3221221792 3221220428 134543760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23481 22630 1111 63 0 23418 0
vsize: 93924
[startup+400.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 127626 0 0 0 39642 358 0 0 25 0 1 0 750631074 97800192 23022 4294967295 134512640 134714508 3221221792 3221220576 134529103 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23877 23022 1111 63 0 23814 0
vsize: 95508
[startup+410.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 128048 0 0 0 40639 360 0 0 25 0 1 0 750631074 99557376 23444 4294967295 134512640 134714508 3221221792 3221220432 134539432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24306 23444 1111 63 0 24243 0
vsize: 97224
[startup+420.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 128242 0 0 0 41638 362 0 0 25 0 1 0 750631074 100368384 23638 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24504 23638 1111 63 0 24441 0
vsize: 98016
[startup+430.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 128524 0 0 0 42636 364 0 0 25 0 1 0 750631074 101449728 23920 4294967295 134512640 134714508 3221221792 3221220416 134543097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24768 23920 1111 63 0 24705 0
vsize: 99072
[startup+440.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 128754 0 0 0 43635 365 0 0 25 0 1 0 750631074 102395904 24150 4294967295 134512640 134714508 3221221792 3221220496 1076648065 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24999 24150 1111 63 0 24936 0
vsize: 99996
[startup+450.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 128987 0 0 0 44634 366 0 0 25 0 1 0 750631074 103342080 24383 4294967295 134512640 134714508 3221221792 3221220368 134542753 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25230 24383 1111 63 0 25167 0
vsize: 100920
[startup+460.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 129232 0 0 0 45632 368 0 0 25 0 1 0 750631074 104423424 24628 4294967295 134512640 134714508 3221221792 3221220532 134523855 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25494 24628 1111 63 0 25431 0
vsize: 101976
[startup+470.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 129534 0 0 0 46630 370 0 0 25 0 1 0 750631074 105639936 24930 4294967295 134512640 134714508 3221221792 3221220520 134536900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25791 24930 1111 63 0 25728 0
vsize: 103164
[startup+480.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 129933 0 0 0 47629 371 0 0 25 0 1 0 750631074 107261952 25329 4294967295 134512640 134714508 3221221792 3221220496 134528665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26187 25329 1111 63 0 26124 0
vsize: 104748
[startup+490.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 130423 0 0 0 48627 374 0 0 25 0 1 0 750631074 109289472 25819 4294967295 134512640 134714508 3221221792 3221220164 1077374149 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26682 25819 1111 63 0 26619 0
vsize: 106728
[startup+500.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 130587 0 0 0 49625 375 0 0 25 0 1 0 750631074 109965312 25983 4294967295 134512640 134714508 3221221792 3221220516 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26847 25983 1111 63 0 26784 0
vsize: 107388
[startup+510.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 130798 0 0 0 50624 377 0 0 25 0 1 0 750631074 110776320 26194 4294967295 134512640 134714508 3221221792 3221220464 134542968 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27045 26194 1111 63 0 26982 0
vsize: 108180
[startup+520.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 131060 0 0 0 51622 378 0 0 25 0 1 0 750631074 111853568 26456 4294967295 134512640 134714508 3221221792 3221220464 134535767 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27308 26456 1111 63 0 27245 0
vsize: 109232
[startup+530.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 131311 0 0 0 52622 379 0 0 25 0 1 0 750631074 112930816 26707 4294967295 134512640 134714508 3221221792 3221220028 134613966 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27571 26707 1111 63 0 27508 0
vsize: 110284
[startup+540.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 131529 0 0 0 53620 381 0 0 25 0 1 0 750631074 113741824 26925 4294967295 134512640 134714508 3221221792 3221220420 134536674 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27769 26925 1111 63 0 27706 0
vsize: 111076
[startup+550.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 131707 0 0 0 54619 382 0 0 25 0 1 0 750631074 114552832 27103 4294967295 134512640 134714508 3221221792 3221220468 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27967 27103 1111 63 0 27904 0
vsize: 111868
[startup+560.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 131844 0 0 0 55618 383 0 0 25 0 1 0 750631074 115093504 27240 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28099 27240 1111 63 0 28036 0
vsize: 112396
[startup+570.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 132017 0 0 0 56617 384 0 0 25 0 1 0 750631074 115769344 27413 4294967295 134512640 134714508 3221221792 3221220428 134543664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28264 27413 1111 63 0 28201 0
vsize: 113056
[startup+580.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 132143 0 0 0 57617 385 0 0 25 0 1 0 750631074 116310016 27539 4294967295 134512640 134714508 3221221792 3221220508 134551880 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28396 27539 1111 63 0 28333 0
vsize: 113584
[startup+590.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 132257 0 0 0 58615 387 0 0 25 0 1 0 750631074 116850688 27653 4294967295 134512640 134714508 3221221792 3221220424 134552673 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28528 27653 1111 63 0 28465 0
vsize: 114112
[startup+600.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 132393 0 0 0 59614 388 0 0 25 0 1 0 750631074 117391360 27789 4294967295 134512640 134714508 3221221792 3221220332 134613966 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28660 27789 1111 63 0 28597 0
vsize: 114640
[startup+610.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 132509 0 0 0 60613 389 0 0 25 0 1 0 750631074 117796864 27905 4294967295 134512640 134714508 3221221792 3221220504 134695937 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28759 27905 1111 63 0 28696 0
vsize: 115036
[startup+620.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 132626 0 0 0 61612 390 0 0 25 0 1 0 750631074 118337536 28022 4294967295 134512640 134714508 3221221792 3221220444 134536784 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28891 28022 1111 63 0 28828 0
vsize: 115564
[startup+630.046 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 132839 0 0 0 62610 392 0 0 25 0 1 0 750631074 119148544 28235 4294967295 134512640 134714508 3221221792 3221220456 134551881 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29089 28235 1111 63 0 29026 0
vsize: 116356
[startup+640.046 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 133165 0 0 0 63608 394 0 0 25 0 1 0 750631074 120500224 28561 4294967295 134512640 134714508 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29419 28561 1111 63 0 29356 0
vsize: 117676
[startup+650.047 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 133465 0 0 0 64606 396 0 0 25 0 1 0 750631074 121716736 28861 4294967295 134512640 134714508 3221221792 3221220384 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29716 28861 1111 63 0 29653 0
vsize: 118864
[startup+660.048 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 133889 0 0 0 65604 398 0 0 25 0 1 0 750631074 123482112 29284 4294967295 134512640 134714508 3221221792 3221220432 134543067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30147 29284 1111 63 0 30084 0
vsize: 120588
[startup+670.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 134152 0 0 0 66603 400 0 0 25 0 1 0 750631074 124563456 29547 4294967295 134512640 134714508 3221221792 3221220468 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30411 29547 1111 63 0 30348 0
vsize: 121644
[startup+680.051 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 134653 0 0 0 67601 402 0 0 25 0 1 0 750631074 126582784 30048 4294967295 134512640 134714508 3221221792 3221220520 134543785 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30904 30048 1111 63 0 30841 0
vsize: 123616
[startup+690.051 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 134855 0 0 0 68600 403 0 0 25 0 1 0 750631074 127393792 30250 4294967295 134512640 134714508 3221221792 3221220368 134549497 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31102 30250 1111 63 0 31039 0
vsize: 124408
[startup+700.052 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 135056 0 0 0 69598 405 0 0 25 0 1 0 750631074 128339968 30451 4294967295 134512640 134714508 3221221792 3221220496 134528428 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31333 30451 1111 63 0 31270 0
vsize: 125332
[startup+710.052 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 135433 0 0 0 70596 407 0 0 25 0 1 0 750631074 129826816 30828 4294967295 134512640 134714508 3221221792 3221220384 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31696 30828 1111 63 0 31633 0
vsize: 126784
[startup+720.053 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 135595 0 0 0 71595 409 0 0 25 0 1 0 750631074 130502656 30990 4294967295 134512640 134714508 3221221792 3221220396 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31861 30990 1111 63 0 31798 0
vsize: 127444
[startup+730.054 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 135728 0 0 0 72594 410 0 0 25 0 1 0 750631074 131043328 31123 4294967295 134512640 134714508 3221221792 3221220444 134536771 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31993 31123 1111 63 0 31930 0
vsize: 127972
[startup+740.055 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 136121 0 0 0 73592 412 0 0 25 0 1 0 750631074 132665344 31516 4294967295 134512640 134714508 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32389 31516 1111 63 0 32326 0
vsize: 129556
[startup+750.056 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 136346 0 0 0 74590 414 0 0 25 0 1 0 750631074 133611520 31741 4294967295 134512640 134714508 3221221792 3221220352 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32620 31741 1111 63 0 32557 0
vsize: 130480
[startup+760.055 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 136711 0 0 0 75588 415 0 0 25 0 1 0 750631074 135098368 32106 4294967295 134512640 134714508 3221221792 3221220384 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32983 32106 1111 63 0 32920 0
vsize: 131932
[startup+770.057 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 136955 0 0 0 76587 417 0 0 25 0 1 0 750631074 136044544 32350 4294967295 134512640 134714508 3221221792 3221220496 134528691 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33214 32350 1111 63 0 33151 0
vsize: 132856
[startup+780.057 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 137272 0 0 0 77585 419 0 0 25 0 1 0 750631074 137383936 32667 4294967295 134512640 134714508 3221221792 3221220432 134543070 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33541 32667 1111 63 0 33478 0
vsize: 134164
[startup+790.057 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 137405 0 0 0 78584 420 0 0 25 0 1 0 750631074 137924608 32800 4294967295 134512640 134714508 3221221792 3221220576 134529097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33673 32800 1111 63 0 33610 0
vsize: 134692
[startup+800.058 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 137611 0 0 0 79582 422 0 0 25 0 1 0 750631074 138735616 33006 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33871 33006 1111 63 0 33808 0
vsize: 135484
[startup+810.059 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 137715 0 0 0 80581 423 0 0 25 0 1 0 750631074 139141120 33110 4294967295 134512640 134714508 3221221792 3221220372 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33970 33110 1111 63 0 33907 0
vsize: 135880
[startup+820.06 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 137748 0 0 0 81580 424 0 0 25 0 1 0 750631074 139276288 33143 4294967295 134512640 134714508 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34003 33143 1111 63 0 33940 0
vsize: 136012
[startup+830.061 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 137905 0 0 0 82580 425 0 0 25 0 1 0 750631074 139952128 33300 4294967295 134512640 134714508 3221221792 3221220396 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34168 33300 1111 63 0 34105 0
vsize: 136672
[startup+840.062 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 138223 0 0 0 83578 426 0 0 25 0 1 0 750631074 141307904 33618 4294967295 134512640 134714508 3221221792 3221220528 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34499 33618 1111 63 0 34436 0
vsize: 137996
[startup+850.063 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 138457 0 0 0 84577 427 0 0 25 0 1 0 750631074 142254080 33852 4294967295 134512640 134714508 3221221792 3221220496 134528724 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34730 33852 1111 63 0 34667 0
vsize: 138920
[startup+860.064 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 138640 0 0 0 85577 428 0 0 25 0 1 0 750631074 142929920 34035 4294967295 134512640 134714508 3221221792 3221220332 134539301 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34895 34035 1111 63 0 34832 0
vsize: 139580
[startup+870.065 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 138852 0 0 0 86576 429 0 0 25 0 1 0 750631074 143872000 34247 4294967295 134512640 134714508 3221221792 3221220416 134543097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35125 34247 1111 63 0 35062 0
vsize: 140500
[startup+880.066 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 139061 0 0 0 87575 430 0 0 25 0 1 0 750631074 144674816 34456 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35321 34456 1111 63 0 35258 0
vsize: 141284
[startup+890.066 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 139254 0 0 0 88574 432 0 0 25 0 1 0 750631074 145485824 34649 4294967295 134512640 134714508 3221221792 3221220480 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35519 34649 1111 63 0 35456 0
vsize: 142076
[startup+900.067 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 139491 0 0 0 89572 433 0 0 25 0 1 0 750631074 146432000 34886 4294967295 134512640 134714508 3221221792 3221220300 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35750 34886 1111 63 0 35687 0
vsize: 143000
[startup+910.068 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 139717 0 0 0 90571 434 0 0 25 0 1 0 750631074 147378176 35112 4294967295 134512640 134714508 3221221792 3221220480 134551897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35981 35112 1111 63 0 35918 0
vsize: 143924
[startup+920.068 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 139954 0 0 0 91569 437 0 0 25 0 1 0 750631074 148324352 35349 4294967295 134512640 134714508 3221221792 3221220376 134543606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36212 35349 1111 63 0 36149 0
vsize: 144848
[startup+930.069 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 140106 0 0 0 92568 438 0 0 25 0 1 0 750631074 149000192 35501 4294967295 134512640 134714508 3221221792 3221220348 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36377 35501 1111 63 0 36314 0
vsize: 145508
[startup+940.068 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 140203 0 0 0 93567 439 0 0 25 0 1 0 750631074 149405696 35598 4294967295 134512640 134714508 3221221792 3221220488 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36476 35598 1111 63 0 36413 0
vsize: 145904
[startup+950.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 140340 0 0 0 94566 440 0 0 25 0 1 0 750631074 149946368 35735 4294967295 134512640 134714508 3221221792 3221220576 134529097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36608 35735 1111 63 0 36545 0
vsize: 146432
[startup+960.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 140551 0 0 0 95565 441 0 0 25 0 1 0 750631074 150892544 35946 4294967295 134512640 134714508 3221221792 3221220436 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36839 35946 1111 63 0 36776 0
vsize: 147356
[startup+970.071 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 140713 0 0 0 96564 442 0 0 25 0 1 0 750631074 151433216 36108 4294967295 134512640 134714508 3221221792 3221220352 134542340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36971 36108 1111 63 0 36908 0
vsize: 147884
[startup+980.072 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 140940 0 0 0 97563 443 0 0 25 0 1 0 750631074 152514560 36334 4294967295 134512640 134714508 3221221792 3221220368 134542817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37235 36334 1111 63 0 37172 0
vsize: 148940
[startup+990.072 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 141272 0 0 0 98561 446 0 0 25 0 1 0 750631074 153866240 36666 4294967295 134512640 134714508 3221221792 3221220424 134696017 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37565 36666 1111 63 0 37502 0
vsize: 150260
[startup+1000.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 141410 0 0 0 99560 447 0 0 25 0 1 0 750631074 154406912 36804 4294967295 134512640 134714508 3221221792 3221220576 134529097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37697 36804 1111 63 0 37634 0
vsize: 150788
[startup+1010.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 141733 0 0 0 100558 449 0 0 25 0 1 0 750631074 155758592 37127 4294967295 134512640 134714508 3221221792 3221220396 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38027 37127 1111 63 0 37964 0
vsize: 152108
[startup+1020.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 141933 0 0 0 101557 449 0 0 25 0 1 0 750631074 156569600 37327 4294967295 134512640 134714508 3221221792 3221220528 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38225 37327 1111 63 0 38162 0
vsize: 152900
[startup+1030.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 141986 0 0 0 102556 451 0 0 25 0 1 0 750631074 156704768 37380 4294967295 134512640 134714508 3221221792 3221220384 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38258 37380 1111 63 0 38195 0
vsize: 153032
[startup+1040.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 142163 0 0 0 103555 452 0 0 25 0 1 0 750631074 157515776 37557 4294967295 134512640 134714508 3221221792 3221220372 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38456 37557 1111 63 0 38393 0
vsize: 153824
[startup+1050.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 142403 0 0 0 104554 453 0 0 25 0 1 0 750631074 158461952 37797 4294967295 134512640 134714508 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38687 37797 1111 63 0 38624 0
vsize: 154748
[startup+1060.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 142747 0 0 0 105553 454 0 0 25 0 1 0 750631074 159813632 38141 4294967295 134512640 134714508 3221221792 3221220348 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39017 38141 1111 63 0 38954 0
vsize: 156068
[startup+1070.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 142842 0 0 0 106552 455 0 0 25 0 1 0 750631074 160219136 38236 4294967295 134512640 134714508 3221221792 3221220544 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39116 38236 1111 63 0 39053 0
vsize: 156464
[startup+1080.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 142980 0 0 0 107551 457 0 0 25 0 1 0 750631074 160763904 38374 4294967295 134512640 134714508 3221221792 3221220544 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39249 38374 1111 63 0 39186 0
vsize: 156996
[startup+1090.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 143116 0 0 0 108550 457 0 0 25 0 1 0 750631074 161435648 38510 4294967295 134512640 134714508 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39413 38510 1111 63 0 39350 0
vsize: 157652
[startup+1100.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 143361 0 0 0 109549 459 0 0 25 0 1 0 750631074 162381824 38755 4294967295 134512640 134714508 3221221792 3221220384 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39644 38755 1111 63 0 39581 0
vsize: 158576
[startup+1110.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 143508 0 0 0 110548 460 0 0 25 0 1 0 750631074 163057664 38902 4294967295 134512640 134714508 3221221792 3221220348 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39809 38902 1111 63 0 39746 0
vsize: 159236
[startup+1120.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 143765 0 0 0 111547 461 0 0 25 0 1 0 750631074 164003840 39159 4294967295 134512640 134714508 3221221792 3221220384 134543681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40040 39159 1111 63 0 39977 0
vsize: 160160
[startup+1130.08 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 143840 0 0 0 112546 462 0 0 25 0 1 0 750631074 164409344 39234 4294967295 134512640 134714508 3221221792 3221220404 134543731 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40139 39234 1111 63 0 40076 0
vsize: 160556
[startup+1140.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 144098 0 0 0 113544 464 0 0 25 0 1 0 750631074 165355520 39492 4294967295 134512640 134714508 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40370 39492 1111 63 0 40307 0
vsize: 161480
[startup+1150.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 144225 0 0 0 114544 465 0 0 25 0 1 0 750631074 165896192 39619 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40502 39619 1111 63 0 40439 0
vsize: 162008
[startup+1160.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 144476 0 0 0 115542 467 0 0 25 0 1 0 750631074 166977536 39870 4294967295 134512640 134714508 3221221792 3221220504 134543665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40766 39870 1111 63 0 40703 0
vsize: 163064
[startup+1170.09 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 144872 0 0 0 116539 470 0 0 25 0 1 0 750631074 168599552 40266 4294967295 134512640 134714508 3221221792 3221220432 134543108 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41162 40266 1111 63 0 41099 0
vsize: 164648
[startup+1175.1 s]
Raw data (loadavg): 0.99 0.97 0.98 1/54 32729
Raw data (stat): 32729 (bsolo_lpr) R 32728 7876 7672 0 -1 0 144872 0 0 0 116539 470 0 0 25 0 1 0 750631074 168599552 40266 4294967295 134512640 134714508 3221221792 3221220432 134543108 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41162 40266 1111 63 0 41099 0
vsize: 0

Child status: 0
Real time (s): 1175.1
CPU time (s): 1175.1
CPU user time (s): 1170.32
CPU system time (s): 4.78827
CPU usage (%): 100.001
Max. virtual memory (Kb): 164648
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####