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-2-c.opb
MD5SUM	40e47c460002545cc2670ca84fd53082
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	2606
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	2606
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	2606
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	2606
Total number of constraints	6509
Number of constraints which are clauses	6509
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 24162

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-08 14:27:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1837 boxname=wulflinc31 idbench=205 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  40e47c460002545cc2670ca84fd53082  /oldhome/oroussel/tmp/wulflinc31/normalized-par32-2-c.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-par32-2-c.opb
IDLAUNCH: 1837
/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:        139000 kB
Buffers:         41944 kB
Cached:         819312 kB
SwapCached:        644 kB
Active:         493120 kB
Inactive:       370444 kB
HighTotal:      131008 kB
HighFree:         2324 kB
LowTotal:       903652 kB
LowFree:        136676 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:             592 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26472 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-08 14:47:22 (client local time) WITH STATUS 0 IN 1175.32 SECONDS
stats: 1837 7 1175.32 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2606 variables and 6509 constraints.
c After prepocess the problem consists of 2541 variables and 8358 constraints.
c preprocess terminated 57.779 s
c Initial Lower Bound: 803
c Lower Bound Elapsed time: 14.8396
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.27 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.91 0.95 0.90 2/54 16020
Raw data (stat): 16020 (runsolver) R 16019 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 692680050 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.0008 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 4766 0 0 0 981 14 0 0 25 0 1 0 692680050 18038784 3561 4294967295 134512640 134714508 3221221792 3221220464 134627292 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4404 3561 1111 63 0 4341 0
vsize: 17616
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 4766 0 0 0 1982 14 0 0 25 0 1 0 692680050 18038784 3561 4294967295 134512640 134714508 3221221792 3221220452 134627138 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4404 3561 1111 63 0 4341 0
vsize: 17616
[startup+30.0011 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 4772 0 0 0 2982 14 0 0 25 0 1 0 692680050 18173952 3567 4294967295 134512640 134714508 3221221792 3221220464 134627241 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4437 3567 1111 63 0 4374 0
vsize: 17748
[startup+40.0014 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 4927 0 0 0 3982 14 0 0 25 0 1 0 692680050 18714624 3722 4294967295 134512640 134714508 3221221792 3221220452 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4569 3722 1111 63 0 4506 0
vsize: 18276
[startup+50.0024 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 5048 0 0 0 4981 15 0 0 25 0 1 0 692680050 19259392 3843 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4702 3843 1111 63 0 4639 0
vsize: 18808
[startup+60.0021 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 6229 0 0 0 5978 18 0 0 25 0 1 0 692680050 24170496 5024 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5901 5024 1111 63 0 5838 0
vsize: 23604
[startup+70.0033 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 7583 0 0 0 6973 23 0 0 25 0 1 0 692680050 30490624 6137 4294967295 134512640 134714508 3221221792 3221217872 1074883539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7444 6137 1111 63 0 7381 0
vsize: 29776
[startup+80.0038 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 7617 0 0 0 7973 23 0 0 25 0 1 0 692680050 30490624 6171 4294967295 134512640 134714508 3221221792 3221217660 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7444 6171 1111 63 0 7381 0
vsize: 29776
[startup+90.0038 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 7833 0 0 0 8973 23 0 0 25 0 1 0 692680050 30490624 6387 4294967295 134512640 134714508 3221221792 3221217984 1074961138 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7444 6387 1111 63 0 7381 0
vsize: 29776
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 7860 0 0 0 9973 23 0 0 25 0 1 0 692680050 29507584 6152 4294967295 134512640 134714508 3221221792 3221217940 1075115084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7204 6152 1111 63 0 7141 0
vsize: 28816
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 8073 0 0 0 10973 24 0 0 25 0 1 0 692680050 31006720 6359 4294967295 134512640 134714508 3221221792 3221217592 1074788452 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7570 6359 1111 63 0 7507 0
vsize: 30280
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 8197 0 0 0 11973 24 0 0 25 0 1 0 692680050 29749248 6179 4294967295 134512640 134714508 3221221792 3221217940 1075114937 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7263 6179 1111 63 0 7200 0
vsize: 29052
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 8197 0 0 0 12973 24 0 0 25 0 1 0 692680050 29749248 6179 4294967295 134512640 134714508 3221221792 3221217812 1075964214 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7263 6179 1111 63 0 7200 0
vsize: 29052
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 8342 0 0 0 13973 24 0 0 25 0 1 0 692680050 31006720 6324 4294967295 134512640 134714508 3221221792 3221217608 1074789584 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7570 6324 1111 63 0 7507 0
vsize: 30280
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 11029 0 0 0 14966 31 0 0 25 0 1 0 692680050 31272960 6191 4294967295 134512640 134714508 3221221792 3221217856 1074969458 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7635 6191 1111 63 0 7572 0
vsize: 30540
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 16429 0 0 0 15954 44 0 0 25 0 1 0 692680050 31756288 6401 4294967295 134512640 134714508 3221221792 3221218704 1075338873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7753 6401 1111 63 0 7690 0
vsize: 31012
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 22512 0 0 0 16939 58 0 0 25 0 1 0 692680050 32534528 6536 4294967295 134512640 134714508 3221221792 3221217932 1075116546 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7943 6536 1111 63 0 7880 0
vsize: 31772
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 29228 0 0 0 17924 73 0 0 25 0 1 0 692680050 26427392 5741 4294967295 134512640 134714508 3221221792 3221220348 134539324 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6452 5741 1111 63 0 6389 0
vsize: 25808
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 29228 0 0 0 18924 73 0 0 25 0 1 0 692680050 26427392 5741 4294967295 134512640 134714508 3221221792 3221220384 134542731 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6452 5741 1111 63 0 6389 0
vsize: 25808
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 29228 0 0 0 19924 74 0 0 25 0 1 0 692680050 26427392 5741 4294967295 134512640 134714508 3221221792 3221220120 134697439 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6452 5741 1111 63 0 6389 0
vsize: 25808
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 29279 0 0 0 20924 74 0 0 25 0 1 0 692680050 26693632 5792 4294967295 134512640 134714508 3221221792 3221220480 134542848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6517 5792 1111 63 0 6454 0
vsize: 26068
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 29386 0 0 0 21924 74 0 0 25 0 1 0 692680050 27099136 5899 4294967295 134512640 134714508 3221221792 3221220400 134543728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6616 5899 1111 63 0 6553 0
vsize: 26464
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 29492 0 0 0 22923 75 0 0 25 0 1 0 692680050 27639808 6005 4294967295 134512640 134714508 3221221792 3221220432 134543110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6748 6005 1111 63 0 6685 0
vsize: 26992
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 29595 0 0 0 23923 76 0 0 25 0 1 0 692680050 28045312 6108 4294967295 134512640 134714508 3221221792 3221220496 134528702 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6847 6108 1111 63 0 6784 0
vsize: 27388
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 29708 0 0 0 24922 76 0 0 25 0 1 0 692680050 28450816 6221 4294967295 134512640 134714508 3221221792 3221220432 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6946 6221 1111 63 0 6883 0
vsize: 27784
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 29808 0 0 0 25922 77 0 0 25 0 1 0 692680050 28856320 6321 4294967295 134512640 134714508 3221221792 3221220556 134613672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7045 6321 1111 63 0 6982 0
vsize: 28180
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 29914 0 0 0 26922 77 0 0 25 0 1 0 692680050 29261824 6427 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7144 6427 1111 63 0 7081 0
vsize: 28576
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 30013 0 0 0 27921 78 0 0 25 0 1 0 692680050 29667328 6526 4294967295 134512640 134714508 3221221792 3221220460 134543653 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7243 6526 1111 63 0 7180 0
vsize: 28972
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 30107 0 0 0 28920 79 0 0 25 0 1 0 692680050 30072832 6620 4294967295 134512640 134714508 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7342 6620 1111 63 0 7279 0
vsize: 29368
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 30200 0 0 0 29920 79 0 0 25 0 1 0 692680050 30478336 6713 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7441 6713 1111 63 0 7378 0
vsize: 29764
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 30299 0 0 0 30919 80 0 0 25 0 1 0 692680050 30883840 6812 4294967295 134512640 134714508 3221221792 3221220480 134542848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7540 6812 1111 63 0 7477 0
vsize: 30160
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 30394 0 0 0 31919 81 0 0 25 0 1 0 692680050 31289344 6907 4294967295 134512640 134714508 3221221792 3221220444 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7639 6907 1111 63 0 7576 0
vsize: 30556
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 30491 0 0 0 32919 81 0 0 25 0 1 0 692680050 31694848 7004 4294967295 134512640 134714508 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7738 7004 1111 63 0 7675 0
vsize: 30952
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 30590 0 0 0 33918 82 0 0 25 0 1 0 692680050 32100352 7103 4294967295 134512640 134714508 3221221792 3221220592 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7837 7103 1111 63 0 7774 0
vsize: 31348
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 30685 0 0 0 34917 83 0 0 25 0 1 0 692680050 32505856 7198 4294967295 134512640 134714508 3221221792 3221220612 134590259 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7936 7199 1111 63 0 7873 0
vsize: 31744
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 30784 0 0 0 35917 83 0 0 25 0 1 0 692680050 32911360 7297 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8035 7297 1111 63 0 7972 0
vsize: 32140
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 30876 0 0 0 36917 84 0 0 25 0 1 0 692680050 33181696 7389 4294967295 134512640 134714508 3221221792 3221220432 134539567 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8101 7389 1111 63 0 8038 0
vsize: 32404
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 30982 0 0 0 37916 85 0 0 25 0 1 0 692680050 33722368 7495 4294967295 134512640 134714508 3221221792 3221220444 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8233 7495 1111 63 0 8170 0
vsize: 32932
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 31075 0 0 0 38916 85 0 0 25 0 1 0 692680050 33992704 7588 4294967295 134512640 134714508 3221221792 3221220432 134542300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8299 7588 1111 63 0 8236 0
vsize: 33196
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 31164 0 0 0 39915 86 0 0 25 0 1 0 692680050 34398208 7677 4294967295 134512640 134714508 3221221792 3221220332 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8398 7677 1111 63 0 8335 0
vsize: 33592
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 31259 0 0 0 40915 86 0 0 25 0 1 0 692680050 34803712 7772 4294967295 134512640 134714508 3221221792 3221220528 134523932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8497 7772 1111 63 0 8434 0
vsize: 33988
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 31356 0 0 0 41915 87 0 0 25 0 1 0 692680050 35209216 7869 4294967295 134512640 134714508 3221221792 3221220476 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8596 7869 1111 63 0 8533 0
vsize: 34384
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 31446 0 0 0 42914 87 0 0 25 0 1 0 692680050 35614720 7959 4294967295 134512640 134714508 3221221792 3221220528 134524376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8695 7959 1111 63 0 8632 0
vsize: 34780
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 31548 0 0 0 43914 88 0 0 25 0 1 0 692680050 36020224 8061 4294967295 134512640 134714508 3221221792 3221220372 134542788 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8794 8061 1111 63 0 8731 0
vsize: 35176
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 31651 0 0 0 44913 89 0 0 25 0 1 0 692680050 36425728 8164 4294967295 134512640 134714508 3221221792 3221220336 134696418 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8893 8164 1111 63 0 8830 0
vsize: 35572
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 31744 0 0 0 45913 89 0 0 25 0 1 0 692680050 36831232 8257 4294967295 134512640 134714508 3221221792 3221220572 134600365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8992 8257 1111 63 0 8929 0
vsize: 35968
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 31833 0 0 0 46913 89 0 0 25 0 1 0 692680050 37101568 8346 4294967295 134512640 134714508 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9058 8346 1111 63 0 8995 0
vsize: 36232
[startup+480.013 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 31931 0 0 0 47912 90 0 0 25 0 1 0 692680050 37507072 8444 4294967295 134512640 134714508 3221221792 3221220352 134696450 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9157 8444 1111 63 0 9094 0
vsize: 36628
[startup+490.014 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 32024 0 0 0 48912 91 0 0 25 0 1 0 692680050 37912576 8537 4294967295 134512640 134714508 3221221792 3221220432 134543110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9256 8537 1111 63 0 9193 0
vsize: 37024
[startup+500.014 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 32117 0 0 0 49912 91 0 0 25 0 1 0 692680050 38318080 8630 4294967295 134512640 134714508 3221221792 3221220332 134539265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9355 8630 1111 63 0 9292 0
vsize: 37420
[startup+510.014 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 32202 0 0 0 50911 92 0 0 25 0 1 0 692680050 38723584 8715 4294967295 134512640 134714508 3221221792 3221220576 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9454 8715 1111 63 0 9391 0
vsize: 37816
[startup+520.014 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 32289 0 0 0 51911 92 0 0 25 0 1 0 692680050 38993920 8802 4294967295 134512640 134714508 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9520 8802 1111 63 0 9457 0
vsize: 38080
[startup+530.015 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 32373 0 0 0 52911 93 0 0 25 0 1 0 692680050 39399424 8886 4294967295 134512640 134714508 3221221792 3221220492 134528413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9619 8886 1111 63 0 9556 0
vsize: 38476
[startup+540.016 s]
Raw data (loadavg): 1.16 1.02 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 32461 0 0 0 53911 93 0 0 25 0 1 0 692680050 39669760 8974 4294967295 134512640 134714508 3221221792 3221220384 134543740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9685 8974 1111 63 0 9622 0
vsize: 38740
[startup+550.016 s]
Raw data (loadavg): 1.14 1.02 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 32553 0 0 0 54910 93 0 0 25 0 1 0 692680050 40075264 9066 4294967295 134512640 134714508 3221221792 3221220464 134543681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9784 9066 1111 63 0 9721 0
vsize: 39136
[startup+560.016 s]
Raw data (loadavg): 1.12 1.02 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 32640 0 0 0 55910 94 0 0 25 0 1 0 692680050 40480768 9153 4294967295 134512640 134714508 3221221792 3221220528 134535750 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9883 9153 1111 63 0 9820 0
vsize: 39532
[startup+570.016 s]
Raw data (loadavg): 1.10 1.02 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 32728 0 0 0 56909 95 0 0 25 0 1 0 692680050 40886272 9241 4294967295 134512640 134714508 3221221792 3221220432 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9982 9241 1111 63 0 9919 0
vsize: 39928
[startup+580.016 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 32814 0 0 0 57909 95 0 0 25 0 1 0 692680050 41156608 9327 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10048 9327 1111 63 0 9985 0
vsize: 40192
[startup+590.017 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 32904 0 0 0 58909 95 0 0 25 0 1 0 692680050 41562112 9417 4294967295 134512640 134714508 3221221792 3221220432 134539416 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10147 9417 1111 63 0 10084 0
vsize: 40588
[startup+600.017 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 32993 0 0 0 59909 95 0 0 25 0 1 0 692680050 41967616 9506 4294967295 134512640 134714508 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10246 9506 1111 63 0 10183 0
vsize: 40984
[startup+610.018 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 33078 0 0 0 60909 96 0 0 25 0 1 0 692680050 42237952 9591 4294967295 134512640 134714508 3221221792 3221220436 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10312 9591 1111 63 0 10249 0
vsize: 41248
[startup+620.018 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 33160 0 0 0 61909 96 0 0 25 0 1 0 692680050 42643456 9673 4294967295 134512640 134714508 3221221792 3221220416 134542368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10411 9673 1111 63 0 10348 0
vsize: 41644
[startup+630.018 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 33251 0 0 0 62909 96 0 0 25 0 1 0 692680050 42913792 9764 4294967295 134512640 134714508 3221221792 3221220412 134542824 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10477 9764 1111 63 0 10414 0
vsize: 41908
[startup+640.019 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 33331 0 0 0 63909 97 0 0 25 0 1 0 692680050 43319296 9844 4294967295 134512640 134714508 3221221792 3221220332 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10576 9844 1111 63 0 10513 0
vsize: 42304
[startup+650.019 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 33412 0 0 0 64908 97 0 0 25 0 1 0 692680050 43589632 9925 4294967295 134512640 134714508 3221221792 3221220528 134613680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10642 9925 1111 63 0 10579 0
vsize: 42568
[startup+660.019 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 33487 0 0 0 65908 98 0 0 25 0 1 0 692680050 43999232 10000 4294967295 134512640 134714508 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10742 10000 1111 63 0 10679 0
vsize: 42968
[startup+670.02 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 33570 0 0 0 66908 98 0 0 25 0 1 0 692680050 44273664 10083 4294967295 134512640 134714508 3221221792 3221220440 134542370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10809 10083 1111 63 0 10746 0
vsize: 43236
[startup+680.02 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 33648 0 0 0 67908 98 0 0 25 0 1 0 692680050 44539904 10161 4294967295 134512640 134714508 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10874 10161 1111 63 0 10811 0
vsize: 43496
[startup+690.021 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 33731 0 0 0 68907 99 0 0 25 0 1 0 692680050 44945408 10244 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10973 10244 1111 63 0 10910 0
vsize: 43892
[startup+700.022 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 33811 0 0 0 69907 100 0 0 25 0 1 0 692680050 45215744 10324 4294967295 134512640 134714508 3221221792 3221220456 134543652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11039 10324 1111 63 0 10976 0
vsize: 44156
[startup+710.022 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 33903 0 0 0 70907 100 0 0 25 0 1 0 692680050 45621248 10416 4294967295 134512640 134714508 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11138 10416 1111 63 0 11075 0
vsize: 44552
[startup+720.023 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 33987 0 0 0 71906 101 0 0 25 0 1 0 692680050 46026752 10500 4294967295 134512640 134714508 3221221792 3221220384 134549852 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11237 10500 1111 63 0 11174 0
vsize: 44948
[startup+730.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 34067 0 0 0 72906 101 0 0 25 0 1 0 692680050 46297088 10580 4294967295 134512640 134714508 3221221792 3221220444 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11303 10580 1111 63 0 11240 0
vsize: 45212
[startup+740.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 34149 0 0 0 73905 102 0 0 25 0 1 0 692680050 46702592 10662 4294967295 134512640 134714508 3221221792 3221220432 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11402 10662 1111 63 0 11339 0
vsize: 45608
[startup+750.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 34231 0 0 0 74905 103 0 0 25 0 1 0 692680050 46972928 10744 4294967295 134512640 134714508 3221221792 3221220384 134543681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11468 10744 1111 63 0 11405 0
vsize: 45872
[startup+760.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 34308 0 0 0 75905 103 0 0 25 0 1 0 692680050 47243264 10821 4294967295 134512640 134714508 3221221792 3221220544 134594970 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11534 10821 1111 63 0 11471 0
vsize: 46136
[startup+770.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 34382 0 0 0 76905 103 0 0 25 0 1 0 692680050 47648768 10895 4294967295 134512640 134714508 3221221792 3221220348 134535661 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11633 10895 1111 63 0 11570 0
vsize: 46532
[startup+780.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 34459 0 0 0 77904 104 0 0 25 0 1 0 692680050 47919104 10972 4294967295 134512640 134714508 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11699 10972 1111 63 0 11636 0
vsize: 46796
[startup+790.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 34536 0 0 0 78904 104 0 0 25 0 1 0 692680050 48193536 11049 4294967295 134512640 134714508 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11766 11049 1111 63 0 11703 0
vsize: 47064
[startup+800.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 34611 0 0 0 79904 105 0 0 25 0 1 0 692680050 48599040 11124 4294967295 134512640 134714508 3221221792 3221220380 134542288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11865 11124 1111 63 0 11802 0
vsize: 47460
[startup+810.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 34682 0 0 0 80904 105 0 0 25 0 1 0 692680050 48869376 11195 4294967295 134512640 134714508 3221221792 3221220376 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11931 11195 1111 63 0 11868 0
vsize: 47724
[startup+820.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 34762 0 0 0 81904 105 0 0 25 0 1 0 692680050 49139712 11275 4294967295 134512640 134714508 3221221792 3221220528 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11997 11275 1111 63 0 11934 0
vsize: 47988
[startup+830.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 34836 0 0 0 82903 106 0 0 25 0 1 0 692680050 49410048 11349 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12063 11349 1111 63 0 12000 0
vsize: 48252
[startup+840.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 34911 0 0 0 83903 106 0 0 25 0 1 0 692680050 49815552 11424 4294967295 134512640 134714508 3221221792 3221220456 134543589 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12162 11424 1111 63 0 12099 0
vsize: 48648
[startup+850.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 34984 0 0 0 84903 107 0 0 25 0 1 0 692680050 50085888 11497 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12228 11497 1111 63 0 12165 0
vsize: 48912
[startup+860.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 35061 0 0 0 85903 107 0 0 25 0 1 0 692680050 50356224 11574 4294967295 134512640 134714508 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12294 11574 1111 63 0 12231 0
vsize: 49176
[startup+870.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 35138 0 0 0 86902 108 0 0 25 0 1 0 692680050 50761728 11651 4294967295 134512640 134714508 3221221792 3221220384 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12393 11651 1111 63 0 12330 0
vsize: 49572
[startup+880.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 35213 0 0 0 87902 108 0 0 25 0 1 0 692680050 51032064 11726 4294967295 134512640 134714508 3221221792 3221220464 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12459 11726 1111 63 0 12396 0
vsize: 49836
[startup+890.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 35288 0 0 0 88902 108 0 0 25 0 1 0 692680050 51302400 11801 4294967295 134512640 134714508 3221221792 3221220348 134535978 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12525 11801 1111 63 0 12462 0
vsize: 50100
[startup+900.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 35359 0 0 0 89902 109 0 0 25 0 1 0 692680050 51572736 11872 4294967295 134512640 134714508 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12591 11872 1111 63 0 12528 0
vsize: 50364
[startup+910.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 35428 0 0 0 90901 110 0 0 25 0 1 0 692680050 51843072 11941 4294967295 134512640 134714508 3221221792 3221220496 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12657 11941 1111 63 0 12594 0
vsize: 50628
[startup+920.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 35500 0 0 0 91901 111 0 0 25 0 1 0 692680050 52248576 12013 4294967295 134512640 134714508 3221221792 3221220464 134543712 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12756 12013 1111 63 0 12693 0
vsize: 51024
[startup+930.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 35572 0 0 0 92900 111 0 0 25 0 1 0 692680050 52518912 12085 4294967295 134512640 134714508 3221221792 3221220384 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12822 12085 1111 63 0 12759 0
vsize: 51288
[startup+940.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 35634 0 0 0 93900 112 0 0 25 0 1 0 692680050 52789248 12147 4294967295 134512640 134714508 3221221792 3221220416 134542306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12888 12147 1111 63 0 12825 0
vsize: 51552
[startup+950.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 35705 0 0 0 94899 112 0 0 25 0 1 0 692680050 53059584 12218 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12954 12218 1111 63 0 12891 0
vsize: 51816
[startup+960.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 35772 0 0 0 95899 113 0 0 25 0 1 0 692680050 53329920 12285 4294967295 134512640 134714508 3221221792 3221220388 134543706 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13020 12285 1111 63 0 12957 0
vsize: 52080
[startup+970.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 35838 0 0 0 96899 113 0 0 25 0 1 0 692680050 53600256 12351 4294967295 134512640 134714508 3221221792 3221220584 134531231 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13086 12351 1111 63 0 13023 0
vsize: 52344
[startup+980.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 35904 0 0 0 97899 114 0 0 25 0 1 0 692680050 53870592 12417 4294967295 134512640 134714508 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13152 12417 1111 63 0 13089 0
vsize: 52608
[startup+990.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 35976 0 0 0 98898 114 0 0 25 0 1 0 692680050 54140928 12489 4294967295 134512640 134714508 3221221792 3221220336 134542995 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13218 12489 1111 63 0 13155 0
vsize: 52872
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 36037 0 0 0 99898 115 0 0 25 0 1 0 692680050 54411264 12550 4294967295 134512640 134714508 3221221792 3221220440 134542370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13284 12550 1111 63 0 13221 0
vsize: 53136
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 36099 0 0 0 100898 115 0 0 25 0 1 0 692680050 54681600 12612 4294967295 134512640 134714508 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13350 12612 1111 63 0 13287 0
vsize: 53400
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 36162 0 0 0 101898 115 0 0 25 0 1 0 692680050 54951936 12675 4294967295 134512640 134714508 3221221792 3221220568 134613539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13416 12675 1111 63 0 13353 0
vsize: 53664
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 36224 0 0 0 102897 116 0 0 25 0 1 0 692680050 55222272 12737 4294967295 134512640 134714508 3221221792 3221220288 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13482 12737 1111 63 0 13419 0
vsize: 53928
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 36288 0 0 0 103897 116 0 0 25 0 1 0 692680050 55357440 12801 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13515 12801 1111 63 0 13452 0
vsize: 54060
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 36353 0 0 0 104897 117 0 0 25 0 1 0 692680050 55627776 12866 4294967295 134512640 134714508 3221221792 3221220332 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13581 12866 1111 63 0 13518 0
vsize: 54324
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 36421 0 0 0 105897 117 0 0 25 0 1 0 692680050 56033280 12934 4294967295 134512640 134714508 3221221792 3221220336 134542998 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13680 12934 1111 63 0 13617 0
vsize: 54720
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 36482 0 0 0 106897 117 0 0 25 0 1 0 692680050 56168448 12995 4294967295 134512640 134714508 3221221792 3221220576 134528780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13713 12995 1111 63 0 13650 0
vsize: 54852
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 36542 0 0 0 107897 117 0 0 25 0 1 0 692680050 56438784 13055 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13779 13055 1111 63 0 13716 0
vsize: 55116
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 36607 0 0 0 108897 117 0 0 25 0 1 0 692680050 56709120 13120 4294967295 134512640 134714508 3221221792 3221220384 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13845 13120 1111 63 0 13782 0
vsize: 55380
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 36664 0 0 0 109897 117 0 0 25 0 1 0 692680050 56979456 13177 4294967295 134512640 134714508 3221221792 3221220576 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13911 13177 1111 63 0 13848 0
vsize: 55644
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 36723 0 0 0 110897 118 0 0 25 0 1 0 692680050 57249792 13236 4294967295 134512640 134714508 3221221792 3221220384 134543686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13977 13236 1111 63 0 13914 0
vsize: 55908
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 36784 0 0 0 111897 118 0 0 25 0 1 0 692680050 57520128 13297 4294967295 134512640 134714508 3221221792 3221220448 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14043 13297 1111 63 0 13980 0
vsize: 56172
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 36847 0 0 0 112897 118 0 0 25 0 1 0 692680050 57655296 13360 4294967295 134512640 134714508 3221221792 3221220348 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14076 13360 1111 63 0 14013 0
vsize: 56304
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 36920 0 0 0 113896 119 0 0 25 0 1 0 692680050 58060800 13433 4294967295 134512640 134714508 3221221792 3221220512 134613703 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14175 13433 1111 63 0 14112 0
vsize: 56700
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 36984 0 0 0 114896 119 0 0 25 0 1 0 692680050 58331136 13497 4294967295 134512640 134714508 3221221792 3221220284 134552651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14241 13497 1111 63 0 14178 0
vsize: 56964
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 37048 0 0 0 115896 120 0 0 25 0 1 0 692680050 58601472 13561 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14307 13561 1111 63 0 14244 0
vsize: 57228
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 37105 0 0 0 116896 120 0 0 25 0 1 0 692680050 58736640 13618 4294967295 134512640 134714508 3221221792 3221220480 134551897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14340 13618 1111 63 0 14277 0
vsize: 57360
[startup+1175.19 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 16020
Raw data (stat): 16020 (bsolo_lpr) R 16019 7876 7672 0 -1 0 37105 0 0 0 116896 120 0 0 25 0 1 0 692680050 58736640 13618 4294967295 134512640 134714508 3221221792 3221220480 134551897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14340 13618 1111 63 0 14277 0
vsize: 0

Child status: 0
Real time (s): 1175.19
CPU time (s): 1175.32
CPU user time (s): 1174.08
CPU system time (s): 1.23281
CPU usage (%): 100.011
Max. virtual memory (Kb): 57360
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####