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/aloul/FPGA_SAT05/normalized-fpga10_8_sat_pb.cnf.cr.opb
MD5SUM	159220fb0573bb17ad11cefe6a440cec
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	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	11
Number of bits of the biggest sum of numbers	4
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.040992
Number of variables	120
Total number of constraints	106
Number of constraints which are clauses	88
Number of constraints which are cardinality constraints (but not clauses)	18
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	5
Maximum length of a constraint	10
Trace number 23252

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 23:04:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=199 boxname=wulflinc31 idbench=23 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  159220fb0573bb17ad11cefe6a440cec  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga10_8_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-fpga10_8_sat_pb.cnf.cr.opb
IDLAUNCH: 199
/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:        929664 kB
Buffers:         36912 kB
Cached:          46204 kB
SwapCached:        864 kB
Active:          71320 kB
Inactive:        14192 kB
HighTotal:      131008 kB
HighFree:        83804 kB
LowTotal:       903652 kB
LowFree:        845860 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:             136 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13912 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 23:24:07 (client local time) WITH STATUS 0 IN 1175.12 SECONDS
stats: 199 7 1175.12 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 120 variables and 106 constraints.
c After prepocess the problem consists of 120 variables and 106 constraints.
c preprocess terminated 0.063 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.97 0.91 2/54 15851
Raw data (stat): 15851 (runsolver) R 15850 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 635294014 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.0007 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 15851
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 3135 0 0 0 982 14 0 0 25 0 1 0 635294014 16019456 3056 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3911 3056 1111 63 0 3848 0
vsize: 15644
[startup+20.0015 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 15851
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 4172 0 0 0 1978 18 0 0 25 0 1 0 635294014 20250624 4093 4294967295 134512640 134714508 3221221776 3221220488 134552673 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4944 4093 1111 63 0 4881 0
vsize: 19776
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 15851
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 5180 0 0 0 2973 24 0 0 25 0 1 0 635294014 24338432 5100 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5942 5100 1111 63 0 5879 0
vsize: 23768
[startup+40.0014 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 15851
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 5967 0 0 0 3969 27 0 0 25 0 1 0 635294014 27590656 5886 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6736 5886 1111 63 0 6673 0
vsize: 26944
[startup+50.0022 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 15851
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 6583 0 0 0 4966 30 0 0 25 0 1 0 635294014 30171136 6500 4294967295 134512640 134714508 3221221776 3221220432 134536713 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7366 6500 1111 63 0 7303 0
vsize: 29464
[startup+60.0022 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 15851
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 7099 0 0 0 5965 32 0 0 25 0 1 0 635294014 32333824 7016 4294967295 134512640 134714508 3221221776 3221220720 134575037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7894 7016 1111 63 0 7831 0
vsize: 31576
[startup+70.0031 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 15851
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 8063 0 0 0 6961 36 0 0 25 0 1 0 635294014 36253696 7980 4294967295 134512640 134714508 3221221776 3221220488 134552650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8851 7980 1111 63 0 8788 0
vsize: 35404
[startup+80.0041 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 15851
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 8850 0 0 0 7956 41 0 0 25 0 1 0 635294014 39526400 8766 4294967295 134512640 134714508 3221221776 3221220272 134535442 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9650 8766 1111 63 0 9587 0
vsize: 38600
[startup+90.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 15851
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 9895 0 0 0 8953 44 0 0 25 0 1 0 635294014 43851776 9811 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10706 9811 1111 63 0 10643 0
vsize: 42824
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 10721 0 0 0 9950 48 0 0 25 0 1 0 635294014 47239168 10636 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11533 10636 1111 63 0 11470 0
vsize: 46132
[startup+110.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 11702 0 0 0 10946 52 0 0 25 0 1 0 635294014 51294208 11617 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12523 11617 1111 63 0 12460 0
vsize: 50092
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 12225 0 0 0 11944 54 0 0 25 0 1 0 635294014 53342208 12138 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13023 12139 1111 63 0 12960 0
vsize: 52092
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 12979 0 0 0 12941 58 0 0 25 0 1 0 635294014 56528896 12888 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13801 12888 1111 63 0 13738 0
vsize: 55204
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 13415 0 0 0 13939 60 0 0 25 0 1 0 635294014 58310656 13324 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14236 13324 1111 63 0 14173 0
vsize: 56944
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 13650 0 0 0 14938 61 0 0 25 0 1 0 635294014 59441152 13556 4294967295 134512640 134714508 3221221776 3221220380 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14512 13556 1111 63 0 14449 0
vsize: 58048
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 14186 0 0 0 15936 63 0 0 25 0 1 0 635294014 61620224 14091 4294967295 134512640 134714508 3221221776 3221220512 134535740 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15044 14091 1111 63 0 14981 0
vsize: 60176
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 14840 0 0 0 16933 66 0 0 25 0 1 0 635294014 64331776 14745 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15706 14745 1111 63 0 15643 0
vsize: 62824
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 15268 0 0 0 17931 68 0 0 25 0 1 0 635294014 66097152 15172 4294967295 134512640 134714508 3221221776 3221220544 134529157 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16137 15172 1111 63 0 16074 0
vsize: 64548
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 15636 0 0 0 18929 70 0 0 25 0 1 0 635294014 67588096 15540 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16501 15540 1111 63 0 16438 0
vsize: 66004
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 15963 0 0 0 19927 72 0 0 25 0 1 0 635294014 68939776 15867 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16831 15867 1111 63 0 16768 0
vsize: 67324
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 16345 0 0 0 20925 74 0 0 25 0 1 0 635294014 70426624 16249 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17194 16249 1111 63 0 17131 0
vsize: 68776
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 17085 0 0 0 21921 79 0 0 25 0 1 0 635294014 73535488 16989 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17953 16989 1111 63 0 17890 0
vsize: 71812
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 17682 0 0 0 22918 82 0 0 25 0 1 0 635294014 75984896 17586 4294967295 134512640 134714508 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18551 17586 1111 63 0 18488 0
vsize: 74204
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 18178 0 0 0 23916 84 0 0 25 0 1 0 635294014 78012416 18081 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19046 18081 1111 63 0 18983 0
vsize: 76184
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 18757 0 0 0 24914 86 0 0 25 0 1 0 635294014 80445440 18660 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19640 18660 1111 63 0 19577 0
vsize: 78560
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 19363 0 0 0 25911 89 0 0 25 0 1 0 635294014 82878464 19266 4294967295 134512640 134714508 3221221776 3221220332 134535649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20234 19266 1111 63 0 20171 0
vsize: 80936
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 19762 0 0 0 26908 92 0 0 25 0 1 0 635294014 84635648 19663 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20663 19663 1111 63 0 20600 0
vsize: 82652
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 20087 0 0 0 27906 94 0 0 25 0 1 0 635294014 85852160 19988 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20960 19988 1111 63 0 20897 0
vsize: 83840
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 20635 0 0 0 28904 96 0 0 25 0 1 0 635294014 88186880 20535 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21530 20535 1111 63 0 21467 0
vsize: 86120
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 21020 0 0 0 29903 98 0 0 25 0 1 0 635294014 89710592 20920 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21902 20920 1111 63 0 21839 0
vsize: 87608
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 21397 0 0 0 30901 100 0 0 25 0 1 0 635294014 91344896 21296 4294967295 134512640 134714508 3221221776 3221220456 134552633 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22301 21296 1111 63 0 22238 0
vsize: 89204
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 21857 0 0 0 31900 102 0 0 25 0 1 0 635294014 93261824 21756 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22769 21756 1111 63 0 22706 0
vsize: 91076
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 22249 0 0 0 32898 104 0 0 25 0 1 0 635294014 94887936 22148 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23166 22148 1111 63 0 23103 0
vsize: 92664
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 22597 0 0 0 33896 105 0 0 25 0 1 0 635294014 96239616 22495 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23496 22495 1111 63 0 23433 0
vsize: 93984
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 22967 0 0 0 34895 107 0 0 25 0 1 0 635294014 97869824 22864 4294967295 134512640 134714508 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23894 22864 1111 63 0 23831 0
vsize: 95576
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 23391 0 0 0 35892 110 0 0 25 0 1 0 635294014 99491840 23288 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24290 23288 1111 63 0 24227 0
vsize: 97160
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 23750 0 0 0 36891 111 0 0 25 0 1 0 635294014 100978688 23647 4294967295 134512640 134714508 3221221776 3221220512 134535750 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24653 23647 1111 63 0 24590 0
vsize: 98612
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 24080 0 0 0 37889 113 0 0 25 0 1 0 635294014 102359040 23977 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24990 23977 1111 63 0 24927 0
vsize: 99960
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 24493 0 0 0 38888 115 0 0 25 0 1 0 635294014 104116224 24390 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25419 24390 1111 63 0 25356 0
vsize: 101676
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 24855 0 0 0 39887 116 0 0 25 0 1 0 635294014 105529344 24748 4294967295 134512640 134714508 3221221776 3221220532 134652855 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25764 24748 1111 63 0 25701 0
vsize: 103056
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 25190 0 0 0 40885 118 0 0 25 0 1 0 635294014 107016192 25083 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26127 25083 1111 63 0 26064 0
vsize: 104508
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 25527 0 0 0 41884 120 0 0 25 0 1 0 635294014 108371968 25420 4294967295 134512640 134714508 3221221776 3221220500 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26458 25420 1111 63 0 26395 0
vsize: 105832
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 25874 0 0 0 42882 121 0 0 25 0 1 0 635294014 109723648 25767 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26788 25767 1111 63 0 26725 0
vsize: 107152
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 26204 0 0 0 43881 123 0 0 25 0 1 0 635294014 111140864 26096 4294967295 134512640 134714508 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27134 26096 1111 63 0 27071 0
vsize: 108536
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 26532 0 0 0 44879 125 0 0 25 0 1 0 635294014 112492544 26424 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27464 26424 1111 63 0 27401 0
vsize: 109856
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 26810 0 0 0 45878 126 0 0 25 0 1 0 635294014 113582080 26702 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27730 26702 1111 63 0 27667 0
vsize: 110920
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 27048 0 0 0 46877 127 0 0 25 0 1 0 635294014 114663424 26940 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27994 26940 1111 63 0 27931 0
vsize: 111976
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 27298 0 0 0 47876 128 0 0 25 0 1 0 635294014 115609600 27189 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28225 27189 1111 63 0 28162 0
vsize: 112900
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 27496 0 0 0 48875 129 0 0 25 0 1 0 635294014 116420608 27386 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28423 27386 1111 63 0 28360 0
vsize: 113692
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 27798 0 0 0 49874 131 0 0 25 0 1 0 635294014 117780480 27687 4294967295 134512640 134714508 3221221776 3221220368 134549520 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28755 27687 1111 63 0 28692 0
vsize: 115020
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 28000 0 0 0 50873 132 0 0 25 0 1 0 635294014 118603776 27886 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28956 27886 1111 63 0 28893 0
vsize: 115824
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 28210 0 0 0 51873 133 0 0 25 0 1 0 635294014 119447552 28093 4294967295 134512640 134714508 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29162 28094 1111 63 0 29099 0
vsize: 116648
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 28539 0 0 0 52871 134 0 0 25 0 1 0 635294014 120815616 28419 4294967295 134512640 134714508 3221221776 3221220560 134529243 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29496 28419 1111 63 0 29433 0
vsize: 117984
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 28809 0 0 0 53869 136 0 0 25 0 1 0 635294014 121909248 28688 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29763 28688 1111 63 0 29700 0
vsize: 119052
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 29058 0 0 0 54868 137 0 0 25 0 1 0 635294014 123043840 28937 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30040 28937 1111 63 0 29977 0
vsize: 120160
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 29295 0 0 0 55867 139 0 0 25 0 1 0 635294014 123990016 29174 4294967295 134512640 134714508 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30271 29174 1111 63 0 30208 0
vsize: 121084
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 29395 0 0 0 56867 139 0 0 25 0 1 0 635294014 124395520 29274 4294967295 134512640 134714508 3221221776 3221220500 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30370 29274 1111 63 0 30307 0
vsize: 121480
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 29709 0 0 0 57866 141 0 0 25 0 1 0 635294014 125779968 29587 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30708 29587 1111 63 0 30645 0
vsize: 122832
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 29948 0 0 0 58865 141 0 0 25 0 1 0 635294014 126738432 29826 4294967295 134512640 134714508 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30942 29826 1111 63 0 30879 0
vsize: 123768
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 30242 0 0 0 59864 143 0 0 25 0 1 0 635294014 127971328 30120 4294967295 134512640 134714508 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31243 30120 1111 63 0 31180 0
vsize: 124972
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 30471 0 0 0 60863 144 0 0 25 0 1 0 635294014 128851968 30345 4294967295 134512640 134714508 3221221776 3221220380 134549858 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31458 30345 1111 63 0 31395 0
vsize: 125832
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 30688 0 0 0 61863 145 0 0 25 0 1 0 635294014 129798144 30562 4294967295 134512640 134714508 3221221776 3221220400 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31689 30562 1111 63 0 31626 0
vsize: 126756
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 30926 0 0 0 62862 146 0 0 25 0 1 0 635294014 130744320 30800 4294967295 134512640 134714508 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31920 30800 1111 63 0 31857 0
vsize: 127680
[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 31087 0 0 0 63861 146 0 0 25 0 1 0 635294014 131321856 30961 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32061 30961 1111 63 0 31998 0
vsize: 128244
[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 31218 0 0 0 64861 147 0 0 25 0 1 0 635294014 131862528 31092 4294967295 134512640 134714508 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32193 31092 1111 63 0 32130 0
vsize: 128772
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 31373 0 0 0 65860 148 0 0 25 0 1 0 635294014 132538368 31247 4294967295 134512640 134714508 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32358 31247 1111 63 0 32295 0
vsize: 129432
[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 31670 0 0 0 66859 149 0 0 25 0 1 0 635294014 133754880 31544 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32655 31544 1111 63 0 32592 0
vsize: 130620
[startup+680.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 31875 0 0 0 67858 150 0 0 25 0 1 0 635294014 134565888 31749 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32853 31749 1111 63 0 32790 0
vsize: 131412
[startup+690.023 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 32176 0 0 0 68857 152 0 0 25 0 1 0 635294014 135782400 32050 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33150 32050 1111 63 0 33087 0
vsize: 132600
[startup+700.024 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 32335 0 0 0 69856 152 0 0 25 0 1 0 635294014 136548352 32207 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33337 32207 1111 63 0 33274 0
vsize: 133348
[startup+710.024 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 32527 0 0 0 70856 153 0 0 25 0 1 0 635294014 137359360 32399 4294967295 134512640 134714508 3221221776 3221220500 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33535 32399 1111 63 0 33472 0
vsize: 134140
[startup+720.025 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 32786 0 0 0 71855 154 0 0 25 0 1 0 635294014 138375168 32658 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33783 32658 1111 63 0 33720 0
vsize: 135132
[startup+730.024 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 33006 0 0 0 72854 155 0 0 25 0 1 0 635294014 139321344 32878 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34014 32878 1111 63 0 33951 0
vsize: 136056
[startup+740.024 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 33271 0 0 0 73853 156 0 0 25 0 1 0 635294014 140500992 33135 4294967295 134512640 134714508 3221221776 3221220560 134529237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34302 33135 1111 63 0 34239 0
vsize: 137208
[startup+750.025 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 33460 0 0 0 74852 158 0 0 25 0 1 0 635294014 141377536 33323 4294967295 134512640 134714508 3221221776 3221220368 134549541 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34516 33323 1111 63 0 34453 0
vsize: 138064
[startup+760.024 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 33617 0 0 0 75851 158 0 0 25 0 1 0 635294014 141942784 33480 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34654 33480 1111 63 0 34591 0
vsize: 138616
[startup+770.025 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 33768 0 0 0 76851 159 0 0 25 0 1 0 635294014 142618624 33631 4294967295 134512640 134714508 3221221776 3221220232 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34819 33631 1111 63 0 34756 0
vsize: 139276
[startup+780.025 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 33904 0 0 0 77850 160 0 0 25 0 1 0 635294014 143175680 33766 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34955 33766 1111 63 0 34892 0
vsize: 139820
[startup+790.025 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 34045 0 0 0 78849 161 0 0 25 0 1 0 635294014 143724544 33906 4294967295 134512640 134714508 3221221776 3221220560 134529243 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35089 33906 1111 63 0 35026 0
vsize: 140356
[startup+800.025 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 34242 0 0 0 79848 162 0 0 25 0 1 0 635294014 144535552 34103 4294967295 134512640 134714508 3221221776 3221220364 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35287 34103 1111 63 0 35224 0
vsize: 141148
[startup+810.025 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 34455 0 0 0 80847 164 0 0 25 0 1 0 635294014 145346560 34316 4294967295 134512640 134714508 3221221776 3221220368 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35485 34316 1111 63 0 35422 0
vsize: 141940
[startup+820.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 34663 0 0 0 81846 165 0 0 25 0 1 0 635294014 146358272 34518 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35732 34518 1111 63 0 35669 0
vsize: 142928
[startup+830.026 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 34899 0 0 0 82846 165 0 0 25 0 1 0 635294014 147304448 34754 4294967295 134512640 134714508 3221221776 3221220560 134529174 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35963 34754 1111 63 0 35900 0
vsize: 143852
[startup+840.026 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 35155 0 0 0 83845 166 0 0 25 0 1 0 635294014 148385792 35010 4294967295 134512640 134714508 3221221776 3221220272 134535442 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36227 35010 1111 63 0 36164 0
vsize: 144908
[startup+850.027 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 35415 0 0 0 84844 168 0 0 25 0 1 0 635294014 149331968 35270 4294967295 134512640 134714508 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36458 35270 1111 63 0 36395 0
vsize: 145832
[startup+860.027 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 35623 0 0 0 85843 169 0 0 25 0 1 0 635294014 150278144 35477 4294967295 134512640 134714508 3221221776 3221220332 134535964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36689 35477 1111 63 0 36626 0
vsize: 146756
[startup+870.028 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 35829 0 0 0 86842 170 0 0 25 0 1 0 635294014 151089152 35683 4294967295 134512640 134714508 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36887 35683 1111 63 0 36824 0
vsize: 147548
[startup+880.028 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 36022 0 0 0 87841 170 0 0 25 0 1 0 635294014 151916544 35876 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37089 35876 1111 63 0 37026 0
vsize: 148356
[startup+890.029 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 36226 0 0 0 88840 172 0 0 25 0 1 0 635294014 152731648 36080 4294967295 134512640 134714508 3221221776 3221220512 134529243 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37288 36080 1111 63 0 37225 0
vsize: 149152
[startup+900.03 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 36465 0 0 0 89840 173 0 0 25 0 1 0 635294014 153743360 36310 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37535 36310 1111 63 0 37472 0
vsize: 150140
[startup+910.03 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 36768 0 0 0 90838 175 0 0 25 0 1 0 635294014 154959872 36613 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37832 36613 1111 63 0 37769 0
vsize: 151328
[startup+920.031 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 37090 0 0 0 91837 176 0 0 25 0 1 0 635294014 156356608 36935 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38173 36935 1111 63 0 38110 0
vsize: 152692
[startup+930.031 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 37385 0 0 0 92837 176 0 0 25 0 1 0 635294014 157589504 37229 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38474 37229 1111 63 0 38411 0
vsize: 153896
[startup+940.031 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 37656 0 0 0 93835 178 0 0 25 0 1 0 635294014 158670848 37500 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38738 37500 1111 63 0 38675 0
vsize: 154952
[startup+950.032 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 37925 0 0 0 94834 179 0 0 25 0 1 0 635294014 159875072 37760 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39032 37760 1111 63 0 38969 0
vsize: 156128
[startup+960.032 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 38156 0 0 0 95833 180 0 0 25 0 1 0 635294014 160821248 37991 4294967295 134512640 134714508 3221221776 3221220432 134536707 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39263 37991 1111 63 0 39200 0
vsize: 157052
[startup+970.033 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 38353 0 0 0 96832 181 0 0 25 0 1 0 635294014 161665024 38188 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39469 38188 1111 63 0 39406 0
vsize: 157876
[startup+980.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 38500 0 0 0 97832 182 0 0 25 0 1 0 635294014 162242560 38334 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39610 38334 1111 63 0 39547 0
vsize: 158440
[startup+990.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 38626 0 0 0 98832 183 0 0 25 0 1 0 635294014 162811904 38458 4294967295 134512640 134714508 3221221776 3221220332 134535673 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39749 38458 1111 63 0 39686 0
vsize: 158996
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 38730 0 0 0 99831 183 0 0 25 0 1 0 635294014 163258368 38561 4294967295 134512640 134714508 3221221776 3221220560 134529237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39858 38561 1111 63 0 39795 0
vsize: 159432
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 38877 0 0 0 100831 184 0 0 25 0 1 0 635294014 163799040 38708 4294967295 134512640 134714508 3221221776 3221220428 134536825 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39990 38708 1111 63 0 39927 0
vsize: 159960
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 39096 0 0 0 101830 185 0 0 25 0 1 0 635294014 164806656 38927 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40236 38927 1111 63 0 40173 0
vsize: 160944
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 39292 0 0 0 102829 185 0 0 25 0 1 0 635294014 165617664 39123 4294967295 134512640 134714508 3221221776 3221220512 134524376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40434 39123 1111 63 0 40371 0
vsize: 161736
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 39478 0 0 0 103829 186 0 0 25 0 1 0 635294014 166293504 39309 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40599 39309 1111 63 0 40536 0
vsize: 162396
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 39665 0 0 0 104828 187 0 0 25 0 1 0 635294014 167104512 39496 4294967295 134512640 134714508 3221221776 3221220456 134552642 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40797 39496 1111 63 0 40734 0
vsize: 163188
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 39848 0 0 0 105827 188 0 0 25 0 1 0 635294014 167915520 39679 4294967295 134512640 134714508 3221221776 3221220496 134523874 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40995 39679 1111 63 0 40932 0
vsize: 163980
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 40045 0 0 0 106827 189 0 0 25 0 1 0 635294014 168591360 39876 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41160 39876 1111 63 0 41097 0
vsize: 164640
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 40436 0 0 0 107825 191 0 0 25 0 1 0 635294014 170213376 40267 4294967295 134512640 134714508 3221221776 3221220496 134535760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41556 40267 1111 63 0 41493 0
vsize: 166224
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 40620 0 0 0 108824 192 0 0 25 0 1 0 635294014 171024384 40451 4294967295 134512640 134714508 3221221776 3221220404 134536674 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41754 40451 1111 63 0 41691 0
vsize: 167016
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 40922 0 0 0 109823 193 0 0 25 0 1 0 635294014 172228608 40671 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42048 40671 1111 63 0 41985 0
vsize: 168192
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 41087 0 0 0 110823 194 0 0 25 0 1 0 635294014 172904448 40836 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42213 40836 1111 63 0 42150 0
vsize: 168852
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 41235 0 0 0 111822 195 0 0 25 0 1 0 635294014 173494272 40984 4294967295 134512640 134714508 3221221776 3221220460 134552632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42357 40984 1111 63 0 42294 0
vsize: 169428
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 41362 0 0 0 112822 195 0 0 25 0 1 0 635294014 174034944 41111 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42489 41111 1111 63 0 42426 0
vsize: 169956
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 41490 0 0 0 113821 196 0 0 25 0 1 0 635294014 174575616 41239 4294967295 134512640 134714508 3221221776 3221220560 134529243 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42621 41239 1111 63 0 42558 0
vsize: 170484
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 41632 0 0 0 114821 196 0 0 25 0 1 0 635294014 175120384 41381 4294967295 134512640 134714508 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42754 41381 1111 63 0 42691 0
vsize: 171016
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 41793 0 0 0 115820 197 0 0 25 0 1 0 635294014 175824896 41540 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42926 41540 1111 63 0 42863 0
vsize: 171704
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 41934 0 0 0 116819 199 0 0 25 0 1 0 635294014 176365568 41681 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43058 41681 1111 63 0 42995 0
vsize: 172232
[startup+1174.97 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 15853
Raw data (stat): 15851 (bsolo_lpr) R 15850 7876 7672 0 -1 0 41934 0 0 0 116819 199 0 0 25 0 1 0 635294014 176365568 41681 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43058 41681 1111 63 0 42995 0
vsize: 0

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