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/submitted/manquinho/primes-dimacs-cnf/normalized-par32-1-c.opb
MD5SUM	8c1b8634a2f99e9f8e579ef031d10353
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	2630
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	2630
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2630
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	2630
Total number of constraints	6569
Number of constraints which are clauses	6569
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	3
Trace number 24152

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-08 10:43:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1819 boxname=wulflinc31 idbench=203 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  8c1b8634a2f99e9f8e579ef031d10353  /oldhome/oroussel/tmp/wulflinc31/normalized-par32-1-c.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-par32-1-c.opb
IDLAUNCH: 1819
/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:        140176 kB
Buffers:         41700 kB
Cached:         818332 kB
SwapCached:        644 kB
Active:         492376 kB
Inactive:       369932 kB
HighTotal:      131008 kB
HighFree:         3276 kB
LowTotal:       903652 kB
LowFree:        136900 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              96 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26472 kB
Committed_AS:    63612 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-08 11:02:39 (client local time) WITH STATUS 0 IN 1175.1 SECONDS
stats: 1819 7 1175.1 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2630 variables and 6569 constraints.
c After prepocess the problem consists of 2565 variables and 8418 constraints.
c preprocess terminated 58.602 s
c Initial Lower Bound: 809
c Lower Bound Elapsed time: 19.7123
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.05 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): 1.03 0.98 0.91 2/54 15071
Raw data (stat): 15071 (runsolver) R 15070 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 691331678 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.001 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 5373 0 0 0 981 14 0 0 25 0 1 0 691331678 18067456 3568 4294967295 134512640 134714508 3221221792 3221220464 134627241 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4411 3568 1111 63 0 4348 0
vsize: 17644
[startup+20.0016 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 5373 0 0 0 1981 15 0 0 25 0 1 0 691331678 18067456 3568 4294967295 134512640 134714508 3221221792 3221220456 134627195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4411 3568 1111 63 0 4348 0
vsize: 17644
[startup+30.0025 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 5387 0 0 0 2981 15 0 0 25 0 1 0 691331678 18202624 3582 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4444 3582 1111 63 0 4381 0
vsize: 17776
[startup+40.0027 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 5538 0 0 0 3980 16 0 0 25 0 1 0 691331678 18743296 3733 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4576 3733 1111 63 0 4513 0
vsize: 18304
[startup+50.0037 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 5662 0 0 0 4980 17 0 0 25 0 1 0 691331678 19283968 3857 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4708 3857 1111 63 0 4645 0
vsize: 18832
[startup+60.0035 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 6798 0 0 0 5978 19 0 0 25 0 1 0 691331678 24027136 4993 4294967295 134512640 134714508 3221221792 3221220096 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5866 4993 1111 63 0 5803 0
vsize: 23464
[startup+70.0045 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 8265 0 0 0 6974 23 0 0 25 0 1 0 691331678 30601216 6149 4294967295 134512640 134714508 3221221792 3221217768 1074789806 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7471 6149 1111 63 0 7408 0
vsize: 29884
[startup+80.0052 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 8308 0 0 0 7973 23 0 0 25 0 1 0 691331678 30601216 6192 4294967295 134512640 134714508 3221221792 3221217932 1075116856 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7471 6192 1111 63 0 7408 0
vsize: 29884
[startup+90.0051 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 8329 0 0 0 8974 23 0 0 25 0 1 0 691331678 30601216 6213 4294967295 134512640 134714508 3221221792 3221217660 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7471 6213 1111 63 0 7408 0
vsize: 29884
[startup+100.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 8340 0 0 0 9974 23 0 0 25 0 1 0 691331678 30601216 6224 4294967295 134512640 134714508 3221221792 3221217932 1075116856 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7471 6224 1111 63 0 7408 0
vsize: 29884
[startup+110.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 8340 0 0 0 10974 23 0 0 25 0 1 0 691331678 30601216 6224 4294967295 134512640 134714508 3221221792 3221217660 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7471 6224 1111 63 0 7408 0
vsize: 29884
[startup+120.007 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 8570 0 0 0 11974 24 0 0 25 0 1 0 691331678 29609984 6188 4294967295 134512640 134714508 3221221792 3221217952 1075115741 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7229 6188 1111 63 0 7166 0
vsize: 28916
[startup+130.007 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 8571 0 0 0 12974 24 0 0 25 0 1 0 691331678 29609984 6189 4294967295 134512640 134714508 3221221792 3221218152 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7229 6189 1111 63 0 7166 0
vsize: 28916
[startup+140.007 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 8593 0 0 0 13974 24 0 0 25 0 1 0 691331678 29724672 6211 4294967295 134512640 134714508 3221221792 3221217916 1075564184 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7257 6211 1111 63 0 7194 0
vsize: 29028
[startup+150.008 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 8612 0 0 0 14974 24 0 0 25 0 1 0 691331678 29851648 6230 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7288 6230 1111 63 0 7225 0
vsize: 29152
[startup+160.008 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 8619 0 0 0 15974 24 0 0 25 0 1 0 691331678 29851648 6237 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7288 6237 1111 63 0 7225 0
vsize: 29152
[startup+170.009 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 11701 0 0 0 16967 31 0 0 25 0 1 0 691331678 31682560 6593 4294967295 134512640 134714508 3221221792 3221217824 1074790215 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7735 6593 1111 63 0 7672 0
vsize: 30940
[startup+180.008 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 14201 0 0 0 17962 36 0 0 25 0 1 0 691331678 32169984 6122 4294967295 134512640 134714508 3221221792 3221218368 1075967692 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7854 6122 1111 63 0 7791 0
vsize: 31416
[startup+190.009 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 17765 0 0 0 18956 43 0 0 25 0 1 0 691331678 30867456 6393 4294967295 134512640 134714508 3221221792 3221217724 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7536 6393 1111 63 0 7473 0
vsize: 30144
[startup+200.009 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 22150 0 0 0 19945 54 0 0 25 0 1 0 691331678 27308032 5921 4294967295 134512640 134714508 3221221792 3221219924 1075964296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6667 5921 1111 63 0 6604 0
vsize: 26668
[startup+210.009 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 23767 0 0 0 20943 57 0 0 25 0 1 0 691331678 31477760 6546 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7685 6546 1111 63 0 7622 0
vsize: 30740
[startup+220.011 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 23826 0 0 0 21943 57 0 0 25 0 1 0 691331678 31621120 6605 4294967295 134512640 134714508 3221221792 3221218256 1074788983 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7720 6605 1111 63 0 7657 0
vsize: 30880
[startup+230.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 26942 0 0 0 22936 64 0 0 25 0 1 0 691331678 31555584 6573 4294967295 134512640 134714508 3221221792 3221218224 1075084533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7704 6573 1111 63 0 7641 0
vsize: 30816
[startup+240.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 32986 0 0 0 23924 76 0 0 25 0 1 0 691331678 31911936 6675 4294967295 134512640 134714508 3221221792 3221218080 1075894487 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7791 6675 1111 63 0 7728 0
vsize: 31164
[startup+250.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 33004 0 0 0 24924 76 0 0 25 0 1 0 691331678 31911936 6687 4294967295 134512640 134714508 3221221792 3221217952 1075115709 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7791 6687 1111 63 0 7728 0
vsize: 31164
[startup+260.011 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 37087 0 0 0 25914 86 0 0 25 0 1 0 691331678 26791936 5829 4294967295 134512640 134714508 3221221792 3221220576 134597614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6541 5829 1111 63 0 6478 0
vsize: 26164
[startup+270.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 37087 0 0 0 26914 86 0 0 25 0 1 0 691331678 26791936 5829 4294967295 134512640 134714508 3221221792 3221220432 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6541 5829 1111 63 0 6478 0
vsize: 26164
[startup+280.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 37243 0 0 0 27913 87 0 0 25 0 1 0 691331678 27467776 5985 4294967295 134512640 134714508 3221221792 3221220336 134543043 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6706 5985 1111 63 0 6643 0
vsize: 26824
[startup+290.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 37411 0 0 0 28913 88 0 0 25 0 1 0 691331678 28143616 6153 4294967295 134512640 134714508 3221221792 3221220344 134696461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6871 6153 1111 63 0 6808 0
vsize: 27484
[startup+300.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 37585 0 0 0 29912 89 0 0 25 0 1 0 691331678 28954624 6327 4294967295 134512640 134714508 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7069 6327 1111 63 0 7006 0
vsize: 28276
[startup+310.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 37773 0 0 0 30911 90 0 0 25 0 1 0 691331678 29630464 6515 4294967295 134512640 134714508 3221221792 3221220348 134539282 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7234 6515 1111 63 0 7171 0
vsize: 28936
[startup+320.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 37993 0 0 0 31910 91 0 0 25 0 1 0 691331678 30576640 6735 4294967295 134512640 134714508 3221221792 3221220528 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7465 6735 1111 63 0 7402 0
vsize: 29860
[startup+330.016 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 38193 0 0 0 32909 93 0 0 25 0 1 0 691331678 31387648 6935 4294967295 134512640 134714508 3221221792 3221220432 134696085 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7663 6935 1111 63 0 7600 0
vsize: 30652
[startup+340.016 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 38383 0 0 0 33907 94 0 0 25 0 1 0 691331678 32198656 7125 4294967295 134512640 134714508 3221221792 3221220304 134535026 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7861 7125 1111 63 0 7798 0
vsize: 31444
[startup+350.017 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 38590 0 0 0 34906 96 0 0 25 0 1 0 691331678 33009664 7332 4294967295 134512640 134714508 3221221792 3221220300 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8059 7332 1111 63 0 7996 0
vsize: 32236
[startup+360.017 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 38785 0 0 0 35905 97 0 0 25 0 1 0 691331678 33820672 7527 4294967295 134512640 134714508 3221221792 3221220448 134523904 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8257 7527 1111 63 0 8194 0
vsize: 33028
[startup+370.019 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 38987 0 0 0 36904 98 0 0 25 0 1 0 691331678 34631680 7729 4294967295 134512640 134714508 3221221792 3221220320 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8455 7729 1111 63 0 8392 0
vsize: 33820
[startup+380.019 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 39141 0 0 0 37904 99 0 0 25 0 1 0 691331678 35307520 7883 4294967295 134512640 134714508 3221221792 3221220376 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8620 7883 1111 63 0 8557 0
vsize: 34480
[startup+390.019 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 39276 0 0 0 38904 99 0 0 25 0 1 0 691331678 35848192 8018 4294967295 134512640 134714508 3221221792 3221220592 134597597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8752 8018 1111 63 0 8689 0
vsize: 35008
[startup+400.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 39421 0 0 0 39903 100 0 0 25 0 1 0 691331678 36388864 8163 4294967295 134512640 134714508 3221221792 3221220324 134543025 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8884 8163 1111 63 0 8821 0
vsize: 35536
[startup+410.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 39545 0 0 0 40903 100 0 0 25 0 1 0 691331678 36929536 8287 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9016 8287 1111 63 0 8953 0
vsize: 36064
[startup+420.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 39662 0 0 0 41902 101 0 0 25 0 1 0 691331678 37470208 8404 4294967295 134512640 134714508 3221221792 3221220552 134543568 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9148 8404 1111 63 0 9085 0
vsize: 36592
[startup+430.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 39776 0 0 0 42902 102 0 0 25 0 1 0 691331678 37879808 8518 4294967295 134512640 134714508 3221221792 3221220592 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9248 8518 1111 63 0 9185 0
vsize: 36992
[startup+440.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 39863 0 0 0 43901 102 0 0 25 0 1 0 691331678 38285312 8605 4294967295 134512640 134714508 3221221792 3221220400 134523350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9347 8605 1111 63 0 9284 0
vsize: 37388
[startup+450.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 39957 0 0 0 44900 104 0 0 25 0 1 0 691331678 38555648 8699 4294967295 134512640 134714508 3221221792 3221220568 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9413 8699 1111 63 0 9350 0
vsize: 37652
[startup+460.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 40046 0 0 0 45899 105 0 0 25 0 1 0 691331678 38961152 8788 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9512 8788 1111 63 0 9449 0
vsize: 38048
[startup+470.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 40135 0 0 0 46899 105 0 0 25 0 1 0 691331678 39366656 8877 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9611 8877 1111 63 0 9548 0
vsize: 38444
[startup+480.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 40280 0 0 0 47898 106 0 0 25 0 1 0 691331678 39907328 9022 4294967295 134512640 134714508 3221221792 3221220360 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9743 9022 1111 63 0 9680 0
vsize: 38972
[startup+490.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 40413 0 0 0 48898 107 0 0 25 0 1 0 691331678 40448000 9155 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9875 9155 1111 63 0 9812 0
vsize: 39500
[startup+500.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 40539 0 0 0 49898 107 0 0 25 0 1 0 691331678 40988672 9281 4294967295 134512640 134714508 3221221792 3221220568 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10007 9281 1111 63 0 9944 0
vsize: 40028
[startup+510.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 40672 0 0 0 50897 108 0 0 25 0 1 0 691331678 41529344 9414 4294967295 134512640 134714508 3221221792 3221220332 134539270 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10139 9414 1111 63 0 10076 0
vsize: 40556
[startup+520.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 40797 0 0 0 51897 108 0 0 25 0 1 0 691331678 42070016 9539 4294967295 134512640 134714508 3221221792 3221220464 134523874 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10271 9539 1111 63 0 10208 0
vsize: 41084
[startup+530.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 40899 0 0 0 52896 109 0 0 25 0 1 0 691331678 42475520 9641 4294967295 134512640 134714508 3221221792 3221220468 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10370 9641 1111 63 0 10307 0
vsize: 41480
[startup+540.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 41013 0 0 0 53896 110 0 0 25 0 1 0 691331678 43016192 9755 4294967295 134512640 134714508 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10502 9755 1111 63 0 10439 0
vsize: 42008
[startup+550.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 41120 0 0 0 54895 110 0 0 25 0 1 0 691331678 43421696 9862 4294967295 134512640 134714508 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10601 9862 1111 63 0 10538 0
vsize: 42404
[startup+560.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 41220 0 0 0 55895 111 0 0 25 0 1 0 691331678 43827200 9962 4294967295 134512640 134714508 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10700 9962 1111 63 0 10637 0
vsize: 42800
[startup+570.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 41329 0 0 0 56894 112 0 0 25 0 1 0 691331678 44232704 10071 4294967295 134512640 134714508 3221221792 3221220432 134542300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10799 10071 1111 63 0 10736 0
vsize: 43196
[startup+580.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 41443 0 0 0 57893 113 0 0 25 0 1 0 691331678 44773376 10185 4294967295 134512640 134714508 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10931 10185 1111 63 0 10868 0
vsize: 43724
[startup+590.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 41570 0 0 0 58893 113 0 0 25 0 1 0 691331678 45178880 10312 4294967295 134512640 134714508 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11030 10312 1111 63 0 10967 0
vsize: 44120
[startup+600.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 41697 0 0 0 59893 114 0 0 25 0 1 0 691331678 45719552 10439 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11162 10439 1111 63 0 11099 0
vsize: 44648
[startup+610.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 41814 0 0 0 60892 115 0 0 25 0 1 0 691331678 46260224 10556 4294967295 134512640 134714508 3221221792 3221220532 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11294 10556 1111 63 0 11231 0
vsize: 45176
[startup+620.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 41923 0 0 0 61891 116 0 0 25 0 1 0 691331678 46665728 10665 4294967295 134512640 134714508 3221221792 3221220448 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11393 10665 1111 63 0 11330 0
vsize: 45572
[startup+630.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 42034 0 0 0 62891 117 0 0 25 0 1 0 691331678 47206400 10776 4294967295 134512640 134714508 3221221792 3221220580 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11525 10776 1111 63 0 11462 0
vsize: 46100
[startup+640.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 42134 0 0 0 63890 117 0 0 25 0 1 0 691331678 47616000 10876 4294967295 134512640 134714508 3221221792 3221220480 134551897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11625 10876 1111 63 0 11562 0
vsize: 46500
[startup+650.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 42237 0 0 0 64889 118 0 0 25 0 1 0 691331678 48021504 10979 4294967295 134512640 134714508 3221221792 3221220580 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11724 10979 1111 63 0 11661 0
vsize: 46896
[startup+660.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 42340 0 0 0 65888 120 0 0 25 0 1 0 691331678 48427008 11082 4294967295 134512640 134714508 3221221792 3221220580 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11823 11082 1111 63 0 11760 0
vsize: 47292
[startup+670.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 42449 0 0 0 66888 120 0 0 25 0 1 0 691331678 48832512 11191 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11922 11191 1111 63 0 11859 0
vsize: 47688
[startup+680.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 42545 0 0 0 67887 121 0 0 25 0 1 0 691331678 49238016 11287 4294967295 134512640 134714508 3221221792 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12021 11287 1111 63 0 11958 0
vsize: 48084
[startup+690.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 42637 0 0 0 68886 122 0 0 25 0 1 0 691331678 49643520 11379 4294967295 134512640 134714508 3221221792 3221220464 134543724 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12120 11379 1111 63 0 12057 0
vsize: 48480
[startup+700.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 42736 0 0 0 69885 123 0 0 25 0 1 0 691331678 50049024 11478 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12219 11478 1111 63 0 12156 0
vsize: 48876
[startup+710.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 42830 0 0 0 70885 124 0 0 25 0 1 0 691331678 50454528 11572 4294967295 134512640 134714508 3221221792 3221220384 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12318 11572 1111 63 0 12255 0
vsize: 49272
[startup+720.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 42927 0 0 0 71884 125 0 0 25 0 1 0 691331678 50860032 11669 4294967295 134512640 134714508 3221221792 3221220468 134652787 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12417 11669 1111 63 0 12354 0
vsize: 49668
[startup+730.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 43032 0 0 0 72884 125 0 0 25 0 1 0 691331678 51273728 11774 4294967295 134512640 134714508 3221221792 3221220348 134539324 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12518 11774 1111 63 0 12455 0
vsize: 50072
[startup+740.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 43121 0 0 0 73884 125 0 0 25 0 1 0 691331678 51691520 11863 4294967295 134512640 134714508 3221221792 3221220444 134536763 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12620 11863 1111 63 0 12557 0
vsize: 50480
[startup+750.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 43202 0 0 0 74883 126 0 0 25 0 1 0 691331678 51961856 11944 4294967295 134512640 134714508 3221221792 3221220416 134543684 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12686 11944 1111 63 0 12623 0
vsize: 50744
[startup+760.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 43284 0 0 0 75883 127 0 0 25 0 1 0 691331678 52412416 12026 4294967295 134512640 134714508 3221221792 3221220356 134696879 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12796 12026 1111 63 0 12733 0
vsize: 51184
[startup+770.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 43345 0 0 0 76882 127 0 0 25 0 1 0 691331678 52682752 12087 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12862 12087 1111 63 0 12799 0
vsize: 51448
[startup+780.031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 43425 0 0 0 77882 127 0 0 25 0 1 0 691331678 52953088 12167 4294967295 134512640 134714508 3221221792 3221220488 134542982 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12928 12167 1111 63 0 12865 0
vsize: 51712
[startup+790.031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 43496 0 0 0 78882 128 0 0 25 0 1 0 691331678 53223424 12238 4294967295 134512640 134714508 3221221792 3221220568 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12994 12238 1111 63 0 12931 0
vsize: 51976
[startup+800.031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 43563 0 0 0 79881 129 0 0 25 0 1 0 691331678 53493760 12305 4294967295 134512640 134714508 3221221792 3221220704 134598718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13060 12305 1111 63 0 12997 0
vsize: 52240
[startup+810.031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 43629 0 0 0 80881 129 0 0 25 0 1 0 691331678 53764096 12371 4294967295 134512640 134714508 3221221792 3221220432 134543070 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13126 12371 1111 63 0 13063 0
vsize: 52504
[startup+820.032 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 43688 0 0 0 81881 130 0 0 25 0 1 0 691331678 54038528 12430 4294967295 134512640 134714508 3221221792 3221220424 134543090 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13193 12430 1111 63 0 13130 0
vsize: 52772
[startup+830.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 43764 0 0 0 82881 130 0 0 25 0 1 0 691331678 54308864 12506 4294967295 134512640 134714508 3221221792 3221220432 134696051 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13259 12506 1111 63 0 13196 0
vsize: 53036
[startup+840.032 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 43832 0 0 0 83880 131 0 0 25 0 1 0 691331678 54579200 12573 4294967295 134512640 134714508 3221221792 3221220552 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13325 12573 1111 63 0 13262 0
vsize: 53300
[startup+850.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 43895 0 0 0 84880 131 0 0 25 0 1 0 691331678 54849536 12636 4294967295 134512640 134714508 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13391 12636 1111 63 0 13328 0
vsize: 53564
[startup+860.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 43958 0 0 0 85880 131 0 0 25 0 1 0 691331678 55119872 12699 4294967295 134512640 134714508 3221221792 3221220592 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13457 12699 1111 63 0 13394 0
vsize: 53828
[startup+870.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 44006 0 0 0 86880 131 0 0 25 0 1 0 691331678 55410688 12746 4294967295 134512640 134714508 3221221792 3221220576 134528780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12746 1111 63 0 13465 0
vsize: 54112
[startup+880.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 44054 0 0 0 87880 132 0 0 25 0 1 0 691331678 55545856 12794 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13561 12794 1111 63 0 13498 0
vsize: 54244
[startup+890.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 44109 0 0 0 88879 132 0 0 25 0 1 0 691331678 55816192 12849 4294967295 134512640 134714508 3221221792 3221220420 134696264 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13627 12849 1111 63 0 13564 0
vsize: 54508
[startup+900.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 44179 0 0 0 89879 133 0 0 25 0 1 0 691331678 56090624 12919 4294967295 134512640 134714508 3221221792 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13694 12919 1111 63 0 13631 0
vsize: 54776
[startup+910.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 44260 0 0 0 90879 133 0 0 25 0 1 0 691331678 56360960 13000 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13760 13000 1111 63 0 13697 0
vsize: 55040
[startup+920.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 44345 0 0 0 91879 134 0 0 25 0 1 0 691331678 56766464 13085 4294967295 134512640 134714508 3221221792 3221220380 134542288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13859 13085 1111 63 0 13796 0
vsize: 55436
[startup+930.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 44421 0 0 0 92878 134 0 0 25 0 1 0 691331678 57036800 13161 4294967295 134512640 134714508 3221221792 3221220432 134523874 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13925 13161 1111 63 0 13862 0
vsize: 55700
[startup+940.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 44492 0 0 0 93878 135 0 0 25 0 1 0 691331678 57442304 13232 4294967295 134512640 134714508 3221221792 3221220360 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14024 13232 1111 63 0 13961 0
vsize: 56096
[startup+950.036 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 44543 0 0 0 94877 135 0 0 25 0 1 0 691331678 57577472 13283 4294967295 134512640 134714508 3221221792 3221220432 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14057 13283 1111 63 0 13994 0
vsize: 56228
[startup+960.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 44593 0 0 0 95877 136 0 0 25 0 1 0 691331678 57847808 13333 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14123 13333 1111 63 0 14060 0
vsize: 56492
[startup+970.036 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 44647 0 0 0 96877 136 0 0 25 0 1 0 691331678 57982976 13387 4294967295 134512640 134714508 3221221792 3221220352 134696544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14156 13387 1111 63 0 14093 0
vsize: 56624
[startup+980.036 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 44697 0 0 0 97877 137 0 0 25 0 1 0 691331678 58253312 13437 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14222 13437 1111 63 0 14159 0
vsize: 56888
[startup+990.036 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 44748 0 0 0 98877 137 0 0 25 0 1 0 691331678 58388480 13488 4294967295 134512640 134714508 3221221792 3221220496 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14255 13488 1111 63 0 14192 0
vsize: 57020
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 44799 0 0 0 99876 138 0 0 25 0 1 0 691331678 58658816 13539 4294967295 134512640 134714508 3221221792 3221220448 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14321 13539 1111 63 0 14258 0
vsize: 57284
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 44843 0 0 0 100876 138 0 0 25 0 1 0 691331678 58793984 13583 4294967295 134512640 134714508 3221221792 3221220368 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14354 13583 1111 63 0 14291 0
vsize: 57416
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 44885 0 0 0 101876 138 0 0 25 0 1 0 691331678 59064320 13625 4294967295 134512640 134714508 3221221792 3221220456 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14420 13625 1111 63 0 14357 0
vsize: 57680
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 44949 0 0 0 102876 138 0 0 25 0 1 0 691331678 59199488 13689 4294967295 134512640 134714508 3221221792 3221220384 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14453 13689 1111 63 0 14390 0
vsize: 57812
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 44998 0 0 0 103876 139 0 0 25 0 1 0 691331678 59469824 13738 4294967295 134512640 134714508 3221221792 3221220448 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14519 13738 1111 63 0 14456 0
vsize: 58076
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 45046 0 0 0 104876 139 0 0 25 0 1 0 691331678 59604992 13786 4294967295 134512640 134714508 3221221792 3221220484 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14552 13786 1111 63 0 14489 0
vsize: 58208
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 45085 0 0 0 105876 139 0 0 25 0 1 0 691331678 59875328 13825 4294967295 134512640 134714508 3221221792 3221220436 134539580 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14618 13825 1111 63 0 14555 0
vsize: 58472
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 45122 0 0 0 106876 139 0 0 25 0 1 0 691331678 60010496 13862 4294967295 134512640 134714508 3221221792 3221220456 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14651 13862 1111 63 0 14588 0
vsize: 58604
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 45164 0 0 0 107876 139 0 0 25 0 1 0 691331678 60145664 13904 4294967295 134512640 134714508 3221221792 3221220496 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14684 13904 1111 63 0 14621 0
vsize: 58736
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 45204 0 0 0 108876 139 0 0 25 0 1 0 691331678 60280832 13944 4294967295 134512640 134714508 3221221792 3221220432 134696116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14717 13944 1111 63 0 14654 0
vsize: 58868
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 45242 0 0 0 109876 139 0 0 25 0 1 0 691331678 60416000 13982 4294967295 134512640 134714508 3221221792 3221220196 134697190 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14750 13982 1111 63 0 14687 0
vsize: 59000
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 45282 0 0 0 110876 140 0 0 25 0 1 0 691331678 60551168 14022 4294967295 134512640 134714508 3221221792 3221220568 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14783 14022 1111 63 0 14720 0
vsize: 59132
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 45319 0 0 0 111876 140 0 0 25 0 1 0 691331678 60821504 14059 4294967295 134512640 134714508 3221221792 3221220388 134543680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14849 14059 1111 63 0 14786 0
vsize: 59396
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 45355 0 0 0 112876 140 0 0 25 0 1 0 691331678 60956672 14095 4294967295 134512640 134714508 3221221792 3221220432 134543113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14882 14095 1111 63 0 14819 0
vsize: 59528
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 45404 0 0 0 113875 141 0 0 25 0 1 0 691331678 61091840 14144 4294967295 134512640 134714508 3221221792 3221220496 134528662 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14915 14144 1111 63 0 14852 0
vsize: 59660
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 45453 0 0 0 114875 141 0 0 25 0 1 0 691331678 61362176 14193 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14981 14193 1111 63 0 14918 0
vsize: 59924
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 45501 0 0 0 115875 141 0 0 25 0 1 0 691331678 61497344 14241 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15014 14241 1111 63 0 14951 0
vsize: 60056
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 45547 0 0 0 116876 141 0 0 25 0 1 0 691331678 61632512 14287 4294967295 134512640 134714508 3221221792 3221220448 134536624 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15047 14287 1111 63 0 14984 0
vsize: 60188
[startup+1174.97 s]
Raw data (loadavg): 1.00 0.98 0.91 1/53 15071
Raw data (stat): 15071 (bsolo_lpr) R 15070 7876 7672 0 -1 0 45547 0 0 0 116876 141 0 0 25 0 1 0 691331678 61632512 14287 4294967295 134512640 134714508 3221221792 3221220448 134536624 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15047 14287 1111 63 0 14984 0
vsize: 0

Child status: 0
Real time (s): 1174.97
CPU time (s): 1175.1
CPU user time (s): 1173.66
CPU system time (s): 1.44478
CPU usage (%): 100.012
Max. virtual memory (Kb): 60188
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####