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-fpga30_30_sat_pb.cnf.cr.opb
MD5SUM	511f20f1868f397c99d8a26ca62146c0
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	31
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.04984
Number of variables	1350
Total number of constraints	990
Number of constraints which are clauses	930
Number of constraints which are cardinality constraints (but not clauses)	60
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	15
Maximum length of a constraint	30
Trace number 23377

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 23:02:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=424 boxname=wulflinc31 idbench=48 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  511f20f1868f397c99d8a26ca62146c0  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga30_30_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-fpga30_30_sat_pb.cnf.cr.opb
IDLAUNCH: 424
/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:        925124 kB
Buffers:         38932 kB
Cached:          48388 kB
SwapCached:        944 kB
Active:          73160 kB
Inactive:        16664 kB
HighTotal:      131008 kB
HighFree:        81536 kB
LowTotal:       903652 kB
LowFree:        843588 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:             408 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14224 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 23:21:43 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 424 7 1175.04 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 1350 variables and 990 constraints.
c After prepocess the problem consists of 1350 variables and 990 constraints.
c preprocess terminated 1.981 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.97 0.93 2/54 29164
Raw data (stat): 29164 (runsolver) R 29163 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 643920658 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 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.0004 s]
Raw data (loadavg): 0.94 0.97 0.93 2/54 29164
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 1994 0 0 0 988 7 0 0 25 0 1 0 643920658 11296768 1915 4294967295 134512640 134714508 3221221776 3221220400 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2758 1915 1111 63 0 2695 0
vsize: 11032
[startup+20.0013 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 29164
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 2173 0 0 0 1987 8 0 0 25 0 1 0 643920658 11972608 2094 4294967295 134512640 134714508 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2923 2094 1111 63 0 2860 0
vsize: 11692
[startup+30.0022 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 29164
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 2285 0 0 0 2985 10 0 0 25 0 1 0 643920658 12513280 2206 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3055 2206 1111 63 0 2992 0
vsize: 12220
[startup+40.0022 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 29164
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 2374 0 0 0 3982 13 0 0 25 0 1 0 643920658 12898304 2295 4294967295 134512640 134714508 3221221776 3221220560 134529103 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3149 2295 1111 63 0 3086 0
vsize: 12596
[startup+50.0035 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 29164
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 2432 0 0 0 4981 15 0 0 25 0 1 0 643920658 13025280 2353 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3180 2353 1111 63 0 3117 0
vsize: 12720
[startup+60.0029 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 29164
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 2480 0 0 0 5979 16 0 0 25 0 1 0 643920658 13295616 2401 4294967295 134512640 134714508 3221221776 3221220560 134529401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3246 2401 1111 63 0 3183 0
vsize: 12984
[startup+70.0038 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 29164
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 2539 0 0 0 6978 18 0 0 25 0 1 0 643920658 13565952 2460 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3312 2460 1111 63 0 3249 0
vsize: 13248
[startup+80.0038 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 29164
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 2757 0 0 0 7977 19 0 0 25 0 1 0 643920658 14376960 2678 4294967295 134512640 134714508 3221221776 3221220480 134528410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3510 2678 1111 63 0 3447 0
vsize: 14040
[startup+90.0037 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 29164
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 2859 0 0 0 8976 20 0 0 25 0 1 0 643920658 14782464 2780 4294967295 134512640 134714508 3221221776 3221220352 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3609 2780 1111 63 0 3546 0
vsize: 14436
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 29164
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 2865 0 0 0 9975 21 0 0 25 0 1 0 643920658 14917632 2786 4294967295 134512640 134714508 3221221776 3221220088 134613965 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3642 2786 1111 63 0 3579 0
vsize: 14568
[startup+110.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29164
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 2905 0 0 0 10974 22 0 0 25 0 1 0 643920658 15028224 2826 4294967295 134512640 134714508 3221221776 3221220520 134551601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3669 2826 1111 63 0 3606 0
vsize: 14676
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29164
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 2948 0 0 0 11973 24 0 0 25 0 1 0 643920658 15163392 2869 4294967295 134512640 134714508 3221221776 3221220384 134549334 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3702 2869 1111 63 0 3639 0
vsize: 14808
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29164
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 2975 0 0 0 12972 25 0 0 25 0 1 0 643920658 15298560 2896 4294967295 134512640 134714508 3221221776 3221220368 134549770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3735 2896 1111 63 0 3672 0
vsize: 14940
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29164
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 2975 0 0 0 13971 26 0 0 25 0 1 0 643920658 15298560 2896 4294967295 134512640 134714508 3221221776 3221220396 134613956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3735 2896 1111 63 0 3672 0
vsize: 14940
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29164
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 3057 0 0 0 14970 27 0 0 25 0 1 0 643920658 15523840 2946 4294967295 134512640 134714508 3221221776 3221220000 134697491 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3790 2946 1111 63 0 3727 0
vsize: 15160
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29164
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 3072 0 0 0 15969 28 0 0 25 0 1 0 643920658 15515648 2961 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3788 2961 1111 63 0 3725 0
vsize: 15152
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29164
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 3106 0 0 0 16968 29 0 0 25 0 1 0 643920658 15785984 2995 4294967295 134512640 134714508 3221221776 3221220396 134613764 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3854 2995 1111 63 0 3791 0
vsize: 15416
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29164
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 3106 0 0 0 17967 30 0 0 25 0 1 0 643920658 15785984 2995 4294967295 134512640 134714508 3221221776 3221220416 134696077 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3854 2995 1111 63 0 3791 0
vsize: 15416
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29164
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 3106 0 0 0 18966 31 0 0 25 0 1 0 643920658 15785984 2995 4294967295 134512640 134714508 3221221776 3221220536 134552650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3854 2995 1111 63 0 3791 0
vsize: 15416
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29164
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 3148 0 0 0 19965 33 0 0 25 0 1 0 643920658 15917056 3037 4294967295 134512640 134714508 3221221776 3221220296 134672835 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3886 3037 1111 63 0 3823 0
vsize: 15544
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29164
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 3200 0 0 0 20965 34 0 0 25 0 1 0 643920658 16052224 3089 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3919 3089 1111 63 0 3856 0
vsize: 15676
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29164
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 3270 0 0 0 21962 36 0 0 25 0 1 0 643920658 16371712 3153 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3997 3154 1111 63 0 3934 0
vsize: 15988
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29164
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 3568 0 0 0 22961 38 0 0 25 0 1 0 643920658 17571840 3451 4294967295 134512640 134714508 3221221776 3221220368 134549810 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4290 3451 1111 63 0 4227 0
vsize: 17160
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 3782 0 0 0 23959 40 0 0 25 0 1 0 643920658 18509824 3665 4294967295 134512640 134714508 3221221776 3221220400 134536680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4519 3665 1111 63 0 4456 0
vsize: 18076
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 3877 0 0 0 24956 43 0 0 25 0 1 0 643920658 18882560 3760 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4610 3760 1111 63 0 4547 0
vsize: 18440
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 3975 0 0 0 25954 45 0 0 25 0 1 0 643920658 19288064 3858 4294967295 134512640 134714508 3221221776 3221220320 134696418 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4709 3858 1111 63 0 4646 0
vsize: 18836
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 4148 0 0 0 26952 47 0 0 25 0 1 0 643920658 19951616 4031 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4871 4031 1111 63 0 4808 0
vsize: 19484
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 4261 0 0 0 27950 49 0 0 25 0 1 0 643920658 20463616 4144 4294967295 134512640 134714508 3221221776 3221220560 134528845 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4996 4144 1111 63 0 4933 0
vsize: 19984
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 4339 0 0 0 28948 52 0 0 25 0 1 0 643920658 20729856 4222 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5061 4222 1111 63 0 4998 0
vsize: 20244
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 4402 0 0 0 29947 53 0 0 25 0 1 0 643920658 20983808 4285 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5123 4285 1111 63 0 5060 0
vsize: 20492
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 4486 0 0 0 30946 54 0 0 25 0 1 0 643920658 21364736 4369 4294967295 134512640 134714508 3221221776 3221220344 1077377593 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5216 4369 1111 63 0 5153 0
vsize: 20864
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 4603 0 0 0 31944 56 0 0 25 0 1 0 643920658 21893120 4486 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5345 4486 1111 63 0 5282 0
vsize: 21380
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 4655 0 0 0 32943 58 0 0 25 0 1 0 643920658 22028288 4538 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5378 4538 1111 63 0 5315 0
vsize: 21512
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 4694 0 0 0 33941 60 0 0 25 0 1 0 643920658 22163456 4577 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5411 4577 1111 63 0 5348 0
vsize: 21644
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 4792 0 0 0 34939 61 0 0 25 0 1 0 643920658 22564864 4675 4294967295 134512640 134714508 3221221776 3221220428 134536787 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5509 4675 1111 63 0 5446 0
vsize: 22036
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 4858 0 0 0 35937 64 0 0 25 0 1 0 643920658 22835200 4741 4294967295 134512640 134714508 3221221776 3221220416 134696080 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5575 4741 1111 63 0 5512 0
vsize: 22300
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 4880 0 0 0 36935 66 0 0 25 0 1 0 643920658 22970368 4763 4294967295 134512640 134714508 3221221776 3221220360 134543609 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5608 4763 1111 63 0 5545 0
vsize: 22432
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 4918 0 0 0 37935 66 0 0 25 0 1 0 643920658 23085056 4801 4294967295 134512640 134714508 3221221776 3221220368 134549680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5636 4801 1111 63 0 5573 0
vsize: 22544
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 4959 0 0 0 38933 68 0 0 25 0 1 0 643920658 23220224 4842 4294967295 134512640 134714508 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5669 4842 1111 63 0 5606 0
vsize: 22676
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 4978 0 0 0 39932 69 0 0 25 0 1 0 643920658 23355392 4861 4294967295 134512640 134714508 3221221776 3221220416 134696119 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5702 4861 1111 63 0 5639 0
vsize: 22808
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 5011 0 0 0 40931 71 0 0 25 0 1 0 643920658 23490560 4894 4294967295 134512640 134714508 3221221776 3221220500 134524123 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5735 4894 1111 63 0 5672 0
vsize: 22940
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 5129 0 0 0 41929 72 0 0 25 0 1 0 643920658 24023040 5012 4294967295 134512640 134714508 3221221776 3221220512 134523983 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5865 5012 1111 63 0 5802 0
vsize: 23460
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 5171 0 0 0 42929 73 0 0 25 0 1 0 643920658 24129536 5054 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5891 5054 1111 63 0 5828 0
vsize: 23564
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 5184 0 0 0 43927 76 0 0 25 0 1 0 643920658 24207360 5067 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5910 5067 1111 63 0 5847 0
vsize: 23640
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 5195 0 0 0 44925 77 0 0 25 0 1 0 643920658 24207360 5078 4294967295 134512640 134714508 3221221776 3221220272 134697184 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5910 5078 1111 63 0 5847 0
vsize: 23640
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 5214 0 0 0 45923 79 0 0 25 0 1 0 643920658 24342528 5097 4294967295 134512640 134714508 3221221776 3221220432 134523856 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5943 5097 1111 63 0 5880 0
vsize: 23772
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 5226 0 0 0 46922 80 0 0 25 0 1 0 643920658 24342528 5109 4294967295 134512640 134714508 3221221776 3221220332 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5943 5109 1111 63 0 5880 0
vsize: 23772
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 5275 0 0 0 47921 82 0 0 25 0 1 0 643920658 24596480 5158 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6005 5158 1111 63 0 5942 0
vsize: 24020
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 5301 0 0 0 48920 83 0 0 25 0 1 0 643920658 24727552 5184 4294967295 134512640 134714508 3221221776 3221220520 134672936 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6037 5184 1111 63 0 5974 0
vsize: 24148
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 5310 0 0 0 49918 85 0 0 25 0 1 0 643920658 24727552 5193 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6037 5193 1111 63 0 5974 0
vsize: 24148
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 5353 0 0 0 50917 87 0 0 25 0 1 0 643920658 24858624 5236 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6069 5236 1111 63 0 6006 0
vsize: 24276
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 5371 0 0 0 51916 88 0 0 25 0 1 0 643920658 24944640 5254 4294967295 134512640 134714508 3221221776 3221220384 134549321 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6090 5254 1111 63 0 6027 0
vsize: 24360
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 5372 0 0 0 52914 89 0 0 25 0 1 0 643920658 24944640 5255 4294967295 134512640 134714508 3221221776 3221220384 134548556 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6090 5255 1111 63 0 6027 0
vsize: 24360
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 5415 0 0 0 53912 92 0 0 25 0 1 0 643920658 25202688 5298 4294967295 134512640 134714508 3221221776 3221220448 134652831 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6153 5298 1111 63 0 6090 0
vsize: 24612
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 5587 0 0 0 54911 94 0 0 25 0 1 0 643920658 25878528 5470 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6318 5470 1111 63 0 6255 0
vsize: 25272
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 5668 0 0 0 55909 95 0 0 25 0 1 0 643920658 26136576 5551 4294967295 134512640 134714508 3221221776 3221220332 134535959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6381 5551 1111 63 0 6318 0
vsize: 25524
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 5735 0 0 0 56907 97 0 0 25 0 1 0 643920658 26525696 5618 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6476 5618 1111 63 0 6413 0
vsize: 25904
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 5790 0 0 0 57906 99 0 0 25 0 1 0 643920658 26742784 5673 4294967295 134512640 134714508 3221221776 3221220464 134524469 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6529 5673 1111 63 0 6466 0
vsize: 26116
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 5906 0 0 0 58905 100 0 0 25 0 1 0 643920658 27148288 5789 4294967295 134512640 134714508 3221221776 3221220560 134529412 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6628 5789 1111 63 0 6565 0
vsize: 26512
[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 5945 0 0 0 59904 101 0 0 25 0 1 0 643920658 27283456 5828 4294967295 134512640 134714508 3221221776 3221220608 134551454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6661 5828 1111 63 0 6598 0
vsize: 26644
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 6083 0 0 0 60903 103 0 0 25 0 1 0 643920658 27951104 5966 4294967295 134512640 134714508 3221221776 3221220428 134536769 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6824 5966 1111 63 0 6761 0
vsize: 27296
[startup+620.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 6134 0 0 0 61902 104 0 0 25 0 1 0 643920658 28155904 6017 4294967295 134512640 134714508 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6874 6017 1111 63 0 6811 0
vsize: 27496
[startup+630.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 6177 0 0 0 62901 105 0 0 25 0 1 0 643920658 28291072 6060 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6907 6060 1111 63 0 6844 0
vsize: 27628
[startup+640.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 6208 0 0 0 63899 106 0 0 25 0 1 0 643920658 28413952 6091 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6937 6091 1111 63 0 6874 0
vsize: 27748
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 6258 0 0 0 64899 107 0 0 25 0 1 0 643920658 28549120 6141 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6970 6141 1111 63 0 6907 0
vsize: 27880
[startup+660.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 6301 0 0 0 65897 109 0 0 25 0 1 0 643920658 28819456 6184 4294967295 134512640 134714508 3221221776 3221220464 134524578 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7036 6184 1111 63 0 6973 0
vsize: 28144
[startup+670.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 6431 0 0 0 66896 111 0 0 25 0 1 0 643920658 29282304 6314 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7149 6314 1111 63 0 7086 0
vsize: 28596
[startup+680.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 6583 0 0 0 67894 113 0 0 25 0 1 0 643920658 29958144 6466 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7314 6466 1111 63 0 7251 0
vsize: 29256
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 6663 0 0 0 68893 114 0 0 25 0 1 0 643920658 30228480 6546 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7380 6546 1111 63 0 7317 0
vsize: 29520
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 6691 0 0 0 69892 115 0 0 25 0 1 0 643920658 30363648 6574 4294967295 134512640 134714508 3221221776 3221220384 134549334 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7413 6574 1111 63 0 7350 0
vsize: 29652
[startup+710.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 6737 0 0 0 70891 116 0 0 25 0 1 0 643920658 30593024 6620 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7469 6620 1111 63 0 7406 0
vsize: 29876
[startup+720.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 6768 0 0 0 71890 117 0 0 25 0 1 0 643920658 30720000 6651 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7500 6651 1111 63 0 7437 0
vsize: 30000
[startup+730.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 6914 0 0 0 72889 119 0 0 25 0 1 0 643920658 31260672 6797 4294967295 134512640 134714508 3221221776 3221220400 134696265 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7632 6797 1111 63 0 7569 0
vsize: 30528
[startup+740.017 s]
Raw data (loadavg): 1.07 0.99 0.94 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 7057 0 0 0 73887 120 0 0 25 0 1 0 643920658 31936512 6940 4294967295 134512640 134714508 3221221776 3221220364 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7797 6940 1111 63 0 7734 0
vsize: 31188
[startup+750.017 s]
Raw data (loadavg): 1.06 0.99 0.94 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 7140 0 0 0 74885 122 0 0 25 0 1 0 643920658 32206848 7023 4294967295 134512640 134714508 3221221776 3221220444 134543616 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7863 7023 1111 63 0 7800 0
vsize: 31452
[startup+760.017 s]
Raw data (loadavg): 1.05 0.99 0.94 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 7200 0 0 0 75884 123 0 0 25 0 1 0 643920658 32477184 7083 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7929 7083 1111 63 0 7866 0
vsize: 31716
[startup+770.018 s]
Raw data (loadavg): 1.04 0.99 0.94 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 7261 0 0 0 76884 124 0 0 25 0 1 0 643920658 32739328 7144 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7993 7144 1111 63 0 7930 0
vsize: 31972
[startup+780.019 s]
Raw data (loadavg): 1.04 0.99 0.94 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 7342 0 0 0 77883 125 0 0 25 0 1 0 643920658 33107968 7225 4294967295 134512640 134714508 3221221776 3221220472 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8083 7225 1111 63 0 8020 0
vsize: 32332
[startup+790.019 s]
Raw data (loadavg): 1.03 0.99 0.94 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 7371 0 0 0 78882 126 0 0 25 0 1 0 643920658 33107968 7254 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8083 7254 1111 63 0 8020 0
vsize: 32332
[startup+800.019 s]
Raw data (loadavg): 1.03 0.99 0.94 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 7434 0 0 0 79880 128 0 0 25 0 1 0 643920658 33378304 7317 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8149 7317 1111 63 0 8086 0
vsize: 32596
[startup+810.019 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 7553 0 0 0 80879 130 0 0 25 0 1 0 643920658 33914880 7436 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8280 7436 1111 63 0 8217 0
vsize: 33120
[startup+820.019 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 7589 0 0 0 81877 132 0 0 25 0 1 0 643920658 34050048 7472 4294967295 134512640 134714508 3221221776 3221220512 134535841 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8313 7472 1111 63 0 8250 0
vsize: 33252
[startup+830.02 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 7647 0 0 0 82876 133 0 0 25 0 1 0 643920658 34320384 7530 4294967295 134512640 134714508 3221221776 3221220336 134696544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8379 7530 1111 63 0 8316 0
vsize: 33516
[startup+840.019 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 7690 0 0 0 83875 135 0 0 25 0 1 0 643920658 34439168 7573 4294967295 134512640 134714508 3221221776 3221220320 134672494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8408 7573 1111 63 0 8345 0
vsize: 33632
[startup+850.02 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 7719 0 0 0 84874 136 0 0 25 0 1 0 643920658 34562048 7602 4294967295 134512640 134714508 3221221776 3221220332 134535891 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8438 7602 1111 63 0 8375 0
vsize: 33752
[startup+860.02 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 7719 0 0 0 85873 136 0 0 25 0 1 0 643920658 34562048 7602 4294967295 134512640 134714508 3221221776 3221220344 1077377725 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8438 7602 1111 63 0 8375 0
vsize: 33752
[startup+870.021 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 7751 0 0 0 86872 138 0 0 25 0 1 0 643920658 34697216 7634 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8471 7634 1111 63 0 8408 0
vsize: 33884
[startup+880.022 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 7787 0 0 0 87870 140 0 0 25 0 1 0 643920658 34832384 7670 4294967295 134512640 134714508 3221221776 3221220512 134524039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8504 7670 1111 63 0 8441 0
vsize: 34016
[startup+890.022 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 7811 0 0 0 88869 141 0 0 25 0 1 0 643920658 34967552 7694 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8537 7694 1111 63 0 8474 0
vsize: 34148
[startup+900.023 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 7872 0 0 0 89867 143 0 0 25 0 1 0 643920658 35180544 7755 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8589 7755 1111 63 0 8526 0
vsize: 34356
[startup+910.023 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 7950 0 0 0 90866 145 0 0 25 0 1 0 643920658 35565568 7833 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8683 7833 1111 63 0 8620 0
vsize: 34732
[startup+920.024 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 7960 0 0 0 91865 146 0 0 25 0 1 0 643920658 35545088 7843 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8678 7843 1111 63 0 8615 0
vsize: 34712
[startup+930.024 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 7974 0 0 0 92864 147 0 0 25 0 1 0 643920658 35680256 7857 4294967295 134512640 134714508 3221221776 3221220456 134523849 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8711 7857 1111 63 0 8648 0
vsize: 34844
[startup+940.024 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 8004 0 0 0 93863 148 0 0 25 0 1 0 643920658 35815424 7887 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8744 7887 1111 63 0 8681 0
vsize: 34976
[startup+950.025 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 8071 0 0 0 94862 150 0 0 25 0 1 0 643920658 36085760 7954 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8810 7954 1111 63 0 8747 0
vsize: 35240
[startup+960.024 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 8113 0 0 0 95860 151 0 0 25 0 1 0 643920658 36192256 7996 4294967295 134512640 134714508 3221221776 3221220512 134591829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8836 7996 1111 63 0 8773 0
vsize: 35344
[startup+970.025 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 8144 0 0 0 96860 152 0 0 25 0 1 0 643920658 36327424 8027 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8869 8027 1111 63 0 8806 0
vsize: 35476
[startup+980.025 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 8164 0 0 0 97859 153 0 0 25 0 1 0 643920658 36454400 8047 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8900 8047 1111 63 0 8837 0
vsize: 35600
[startup+990.025 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 8186 0 0 0 98858 154 0 0 25 0 1 0 643920658 36454400 8069 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8900 8069 1111 63 0 8837 0
vsize: 35600
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 8215 0 0 0 99857 156 0 0 25 0 1 0 643920658 36589568 8098 4294967295 134512640 134714508 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8933 8098 1111 63 0 8870 0
vsize: 35732
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 8215 0 0 0 100856 157 0 0 25 0 1 0 643920658 36589568 8098 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8933 8098 1111 63 0 8870 0
vsize: 35732
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 8259 0 0 0 101855 158 0 0 25 0 1 0 643920658 36859904 8142 4294967295 134512640 134714508 3221221776 3221220448 134542865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8999 8142 1111 63 0 8936 0
vsize: 35996
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 8277 0 0 0 102854 159 0 0 25 0 1 0 643920658 36859904 8160 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8999 8160 1111 63 0 8936 0
vsize: 35996
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 8282 0 0 0 103853 160 0 0 25 0 1 0 643920658 36859904 8165 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8999 8165 1111 63 0 8936 0
vsize: 35996
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 8304 0 0 0 104851 162 0 0 25 0 1 0 643920658 36995072 8187 4294967295 134512640 134714508 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9032 8187 1111 63 0 8969 0
vsize: 36128
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 8333 0 0 0 105849 163 0 0 25 0 1 0 643920658 37130240 8216 4294967295 134512640 134714508 3221221776 3221220500 134535789 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9065 8216 1111 63 0 9002 0
vsize: 36260
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 8360 0 0 0 106848 164 0 0 25 0 1 0 643920658 37265408 8243 4294967295 134512640 134714508 3221221776 3221220512 134535750 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9098 8243 1111 63 0 9035 0
vsize: 36392
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 8398 0 0 0 107848 165 0 0 25 0 1 0 643920658 37392384 8281 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9129 8281 1111 63 0 9066 0
vsize: 36516
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 8447 0 0 0 108847 166 0 0 25 0 1 0 643920658 37617664 8330 4294967295 134512640 134714508 3221221776 3221220544 134528784 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9184 8330 1111 63 0 9121 0
vsize: 36736
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 8460 0 0 0 109846 167 0 0 25 0 1 0 643920658 37617664 8343 4294967295 134512640 134714508 3221221776 3221220560 134529412 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9184 8343 1111 63 0 9121 0
vsize: 36736
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 8509 0 0 0 110844 169 0 0 25 0 1 0 643920658 37888000 8392 4294967295 134512640 134714508 3221221776 3221220384 134549299 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9250 8392 1111 63 0 9187 0
vsize: 37000
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 8592 0 0 0 111843 170 0 0 25 0 1 0 643920658 38158336 8475 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9316 8475 1111 63 0 9253 0
vsize: 37264
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 8607 0 0 0 112842 171 0 0 25 0 1 0 643920658 38293504 8490 4294967295 134512640 134714508 3221221776 3221220544 134592119 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9349 8490 1111 63 0 9286 0
vsize: 37396
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 8635 0 0 0 113842 172 0 0 25 0 1 0 643920658 38293504 8518 4294967295 134512640 134714508 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9349 8518 1111 63 0 9286 0
vsize: 37396
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 8658 0 0 0 114839 174 0 0 25 0 1 0 643920658 38428672 8541 4294967295 134512640 134714508 3221221776 3221220188 1077379863 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9382 8541 1111 63 0 9319 0
vsize: 37528
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 8662 0 0 0 115839 175 0 0 25 0 1 0 643920658 38428672 8545 4294967295 134512640 134714508 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9382 8545 1111 63 0 9319 0
vsize: 37528
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 8704 0 0 0 116839 176 0 0 25 0 1 0 643920658 38563840 8587 4294967295 134512640 134714508 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9415 8587 1111 63 0 9352 0
vsize: 37660
[startup+1174.92 s]
Raw data (loadavg): 1.00 0.99 0.94 1/53 29166
Raw data (stat): 29164 (bsolo_lpr) R 29163 7876 7672 0 -1 0 8704 0 0 0 116839 176 0 0 25 0 1 0 643920658 38563840 8587 4294967295 134512640 134714508 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9415 8587 1111 63 0 9352 0
vsize: 0

Child status: 0
Real time (s): 1174.92
CPU time (s): 1175.04
CPU user time (s): 1173.26
CPU system time (s): 1.78573
CPU usage (%): 100.01
Max. virtual memory (Kb): 37660
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####