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-chnl50_51_pb.cnf.cr.opb
MD5SUM	00bdc6bb9bafd4b1100d8bfa4f886626
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
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	52
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.156976
Number of variables	5100
Total number of constraints	202
Number of constraints which are clauses	102
Number of constraints which are cardinality constraints (but not clauses)	100
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	50
Maximum length of a constraint	51
Trace number 23237

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 19:04:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=172 boxname=wulflinc31 idbench=20 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  00bdc6bb9bafd4b1100d8bfa4f886626  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl50_51_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-chnl50_51_pb.cnf.cr.opb
IDLAUNCH: 172
/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:        930164 kB
Buffers:         36616 kB
Cached:          45956 kB
SwapCached:        864 kB
Active:          70992 kB
Inactive:        13984 kB
HighTotal:      131008 kB
HighFree:        83944 kB
LowTotal:       903652 kB
LowFree:        846220 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:             108 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13928 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 19:23:36 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 172 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 5100 variables and 202 constraints.
c After prepocess the problem consists of 5100 variables and 202 constraints.
c preprocess terminated 2.393 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 14201
Raw data (stat): 14201 (runsolver) R 14200 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 633850779 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+9.99992 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 14201
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 1896 0 0 0 987 8 0 0 25 0 1 0 633850779 11055104 1817 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2699 1817 1111 63 0 2636 0
vsize: 10796
[startup+19.9998 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 14201
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 1935 0 0 0 1985 10 0 0 25 0 1 0 633850779 11190272 1856 4294967295 134512640 134714508 3221221776 3221220488 134695937 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2732 1856 1111 63 0 2669 0
vsize: 10928
[startup+30.0011 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 14201
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 1940 0 0 0 2983 12 0 0 25 0 1 0 633850779 11190272 1861 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2732 1861 1111 63 0 2669 0
vsize: 10928
[startup+40.0007 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 14201
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 1960 0 0 0 3982 14 0 0 25 0 1 0 633850779 11325440 1881 4294967295 134512640 134714508 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2765 1881 1111 63 0 2702 0
vsize: 11060
[startup+50.0018 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 14201
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 1960 0 0 0 4981 15 0 0 25 0 1 0 633850779 11325440 1881 4294967295 134512640 134714508 3221221776 3221220512 134558518 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2765 1881 1111 63 0 2702 0
vsize: 11060
[startup+60.0021 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 14201
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 1968 0 0 0 5979 17 0 0 25 0 1 0 633850779 11325440 1889 4294967295 134512640 134714508 3221221776 3221220236 1076647546 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2765 1889 1111 63 0 2702 0
vsize: 11060
[startup+70.0025 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 14201
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 1984 0 0 0 6977 19 0 0 25 0 1 0 633850779 11325440 1905 4294967295 134512640 134714508 3221221776 3221220544 134592107 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2765 1905 1111 63 0 2702 0
vsize: 11060
[startup+80.0034 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 14201
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 1984 0 0 0 7976 20 0 0 25 0 1 0 633850779 11325440 1905 4294967295 134512640 134714508 3221221776 3221220480 134528410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2765 1905 1111 63 0 2702 0
vsize: 11060
[startup+90.0036 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 14201
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 1999 0 0 0 8974 22 0 0 25 0 1 0 633850779 11456512 1920 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2797 1920 1111 63 0 2734 0
vsize: 11188
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 14201
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2007 0 0 0 9973 24 0 0 25 0 1 0 633850779 11456512 1928 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2797 1928 1111 63 0 2734 0
vsize: 11188
[startup+110.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14201
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2029 0 0 0 10970 26 0 0 25 0 1 0 633850779 11591680 1950 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2830 1950 1111 63 0 2767 0
vsize: 11320
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14201
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2047 0 0 0 11968 29 0 0 25 0 1 0 633850779 11591680 1968 4294967295 134512640 134714508 3221221776 3221220384 134549318 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2830 1968 1111 63 0 2767 0
vsize: 11320
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14201
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2070 0 0 0 12966 31 0 0 25 0 1 0 633850779 11726848 1991 4294967295 134512640 134714508 3221221776 3221220312 134613753 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2863 1991 1111 63 0 2800 0
vsize: 11452
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2115 0 0 0 13965 33 0 0 25 0 1 0 633850779 11862016 2036 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2896 2036 1111 63 0 2833 0
vsize: 11584
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2141 0 0 0 14963 35 0 0 25 0 1 0 633850779 11997184 2062 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2929 2062 1111 63 0 2866 0
vsize: 11716
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2179 0 0 0 15962 36 0 0 25 0 1 0 633850779 12132352 2100 4294967295 134512640 134714508 3221221776 3221220352 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2962 2100 1111 63 0 2899 0
vsize: 11848
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2184 0 0 0 16960 38 0 0 25 0 1 0 633850779 12267520 2105 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2995 2105 1111 63 0 2932 0
vsize: 11980
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2229 0 0 0 17958 40 0 0 25 0 1 0 633850779 12402688 2150 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3028 2150 1111 63 0 2965 0
vsize: 12112
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2261 0 0 0 18957 41 0 0 25 0 1 0 633850779 12537856 2182 4294967295 134512640 134714508 3221221776 3221220492 134552672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3061 2182 1111 63 0 2998 0
vsize: 12244
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2261 0 0 0 19955 43 0 0 25 0 1 0 633850779 12537856 2182 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3061 2182 1111 63 0 2998 0
vsize: 12244
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2261 0 0 0 20954 45 0 0 25 0 1 0 633850779 12537856 2182 4294967295 134512640 134714508 3221221776 3221220544 134592140 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3061 2182 1111 63 0 2998 0
vsize: 12244
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2261 0 0 0 21952 46 0 0 25 0 1 0 633850779 12537856 2182 4294967295 134512640 134714508 3221221776 3221220472 134528705 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3061 2182 1111 63 0 2998 0
vsize: 12244
[startup+230.006 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2261 0 0 0 22951 48 0 0 25 0 1 0 633850779 12537856 2182 4294967295 134512640 134714508 3221221776 3221220568 134531231 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3061 2182 1111 63 0 2998 0
vsize: 12244
[startup+240.007 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2261 0 0 0 23950 49 0 0 25 0 1 0 633850779 12537856 2182 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3061 2182 1111 63 0 2998 0
vsize: 12244
[startup+250.007 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2288 0 0 0 24948 51 0 0 25 0 1 0 633850779 12673024 2209 4294967295 134512640 134714508 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3094 2209 1111 63 0 3031 0
vsize: 12376
[startup+260.007 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2317 0 0 0 25947 52 0 0 25 0 1 0 633850779 12808192 2238 4294967295 134512640 134714508 3221221776 3221220260 134697199 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3127 2238 1111 63 0 3064 0
vsize: 12508
[startup+270.007 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2359 0 0 0 26945 55 0 0 25 0 1 0 633850779 12943360 2280 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3160 2280 1111 63 0 3097 0
vsize: 12640
[startup+280.008 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2359 0 0 0 27943 57 0 0 25 0 1 0 633850779 12943360 2280 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3160 2280 1111 63 0 3097 0
vsize: 12640
[startup+290.008 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2412 0 0 0 28941 59 0 0 25 0 1 0 633850779 13078528 2333 4294967295 134512640 134714508 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3193 2333 1111 63 0 3130 0
vsize: 12772
[startup+300.008 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2443 0 0 0 29940 60 0 0 25 0 1 0 633850779 13213696 2364 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3226 2364 1111 63 0 3163 0
vsize: 12904
[startup+310.008 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2443 0 0 0 30939 61 0 0 25 0 1 0 633850779 13213696 2364 4294967295 134512640 134714508 3221221776 3221220400 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3226 2364 1111 63 0 3163 0
vsize: 12904
[startup+320.008 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2443 0 0 0 31937 64 0 0 25 0 1 0 633850779 13213696 2364 4294967295 134512640 134714508 3221221776 3221220424 134539581 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3226 2364 1111 63 0 3163 0
vsize: 12904
[startup+330.009 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2479 0 0 0 32934 66 0 0 25 0 1 0 633850779 13348864 2400 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3259 2400 1111 63 0 3196 0
vsize: 13036
[startup+340.009 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2494 0 0 0 33932 69 0 0 25 0 1 0 633850779 13484032 2415 4294967295 134512640 134714508 3221221776 3221220508 134524384 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3292 2415 1111 63 0 3229 0
vsize: 13168
[startup+350.009 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2512 0 0 0 34931 70 0 0 25 0 1 0 633850779 13484032 2433 4294967295 134512640 134714508 3221221776 3221220368 134549809 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3292 2433 1111 63 0 3229 0
vsize: 13168
[startup+360.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2529 0 0 0 35929 72 0 0 25 0 1 0 633850779 13619200 2450 4294967295 134512640 134714508 3221221776 3221220496 134584818 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3325 2450 1111 63 0 3262 0
vsize: 13300
[startup+370.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2539 0 0 0 36927 74 0 0 25 0 1 0 633850779 13619200 2460 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3325 2460 1111 63 0 3262 0
vsize: 13300
[startup+380.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2559 0 0 0 37925 77 0 0 25 0 1 0 633850779 13754368 2480 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3358 2480 1111 63 0 3295 0
vsize: 13432
[startup+390.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2563 0 0 0 38923 78 0 0 25 0 1 0 633850779 13754368 2484 4294967295 134512640 134714508 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3358 2484 1111 63 0 3295 0
vsize: 13432
[startup+400.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2601 0 0 0 39922 80 0 0 25 0 1 0 633850779 13889536 2522 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3391 2522 1111 63 0 3328 0
vsize: 13564
[startup+410.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2643 0 0 0 40920 82 0 0 25 0 1 0 633850779 14024704 2564 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3424 2564 1111 63 0 3361 0
vsize: 13696
[startup+420.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2643 0 0 0 41918 84 0 0 25 0 1 0 633850779 14024704 2564 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3424 2564 1111 63 0 3361 0
vsize: 13696
[startup+430.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2643 0 0 0 42917 86 0 0 25 0 1 0 633850779 14024704 2564 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3424 2564 1111 63 0 3361 0
vsize: 13696
[startup+440.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2643 0 0 0 43915 88 0 0 25 0 1 0 633850779 14024704 2564 4294967295 134512640 134714508 3221221776 3221220168 134613965 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3424 2564 1111 63 0 3361 0
vsize: 13696
[startup+450.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2643 0 0 0 44913 89 0 0 25 0 1 0 633850779 14024704 2564 4294967295 134512640 134714508 3221221776 3221220568 134558582 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3424 2564 1111 63 0 3361 0
vsize: 13696
[startup+460.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2643 0 0 0 45912 91 0 0 25 0 1 0 633850779 14024704 2564 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3424 2564 1111 63 0 3361 0
vsize: 13696
[startup+470.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2643 0 0 0 46911 92 0 0 25 0 1 0 633850779 14024704 2564 4294967295 134512640 134714508 3221221776 3221220416 134696119 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3424 2564 1111 63 0 3361 0
vsize: 13696
[startup+480.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2643 0 0 0 47910 94 0 0 25 0 1 0 633850779 14024704 2564 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3424 2564 1111 63 0 3361 0
vsize: 13696
[startup+490.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2643 0 0 0 48908 95 0 0 25 0 1 0 633850779 14024704 2564 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3424 2564 1111 63 0 3361 0
vsize: 13696
[startup+500.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2643 0 0 0 49907 97 0 0 25 0 1 0 633850779 14024704 2564 4294967295 134512640 134714508 3221221776 3221220332 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3424 2564 1111 63 0 3361 0
vsize: 13696
[startup+510.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2643 0 0 0 50905 99 0 0 25 0 1 0 633850779 14024704 2564 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3424 2564 1111 63 0 3361 0
vsize: 13696
[startup+520.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2653 0 0 0 51903 101 0 0 25 0 1 0 633850779 14159872 2574 4294967295 134512640 134714508 3221221776 3221220348 134535876 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3457 2574 1111 63 0 3394 0
vsize: 13828
[startup+530.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2679 0 0 0 52902 102 0 0 25 0 1 0 633850779 14295040 2600 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3490 2600 1111 63 0 3427 0
vsize: 13960
[startup+540.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2706 0 0 0 53900 104 0 0 25 0 1 0 633850779 14295040 2627 4294967295 134512640 134714508 3221221776 3221220448 134594364 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3490 2627 1111 63 0 3427 0
vsize: 13960
[startup+550.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2706 0 0 0 54898 106 0 0 25 0 1 0 633850779 14295040 2627 4294967295 134512640 134714508 3221221776 3221220404 134696264 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3490 2627 1111 63 0 3427 0
vsize: 13960
[startup+560.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2720 0 0 0 55897 108 0 0 25 0 1 0 633850779 14430208 2641 4294967295 134512640 134714508 3221221776 3221220488 134552673 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3523 2641 1111 63 0 3460 0
vsize: 14092
[startup+570.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2733 0 0 0 56896 109 0 0 25 0 1 0 633850779 14430208 2654 4294967295 134512640 134714508 3221221776 3221220100 134697343 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3523 2654 1111 63 0 3460 0
vsize: 14092
[startup+580.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2735 0 0 0 57895 110 0 0 25 0 1 0 633850779 14430208 2656 4294967295 134512640 134714508 3221221776 3221220444 134551608 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3523 2656 1111 63 0 3460 0
vsize: 14092
[startup+590.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2735 0 0 0 58894 111 0 0 25 0 1 0 633850779 14430208 2656 4294967295 134512640 134714508 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3523 2656 1111 63 0 3460 0
vsize: 14092
[startup+600.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2740 0 0 0 59893 112 0 0 25 0 1 0 633850779 14430208 2661 4294967295 134512640 134714508 3221221776 3221220504 134536897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3523 2661 1111 63 0 3460 0
vsize: 14092
[startup+610.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2748 0 0 0 60892 113 0 0 25 0 1 0 633850779 14557184 2669 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3554 2669 1111 63 0 3491 0
vsize: 14216
[startup+620.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2748 0 0 0 61891 115 0 0 25 0 1 0 633850779 14557184 2669 4294967295 134512640 134714508 3221221776 3221220344 1077377398 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3554 2669 1111 63 0 3491 0
vsize: 14216
[startup+630.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2748 0 0 0 62889 117 0 0 25 0 1 0 633850779 14557184 2669 4294967295 134512640 134714508 3221221776 3221220332 134535903 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3554 2669 1111 63 0 3491 0
vsize: 14216
[startup+640.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2748 0 0 0 63887 119 0 0 25 0 1 0 633850779 14557184 2669 4294967295 134512640 134714508 3221221776 3221220532 134587950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3554 2669 1111 63 0 3491 0
vsize: 14216
[startup+650.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2748 0 0 0 64886 120 0 0 25 0 1 0 633850779 14557184 2669 4294967295 134512640 134714508 3221221776 3221220560 134529393 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3554 2669 1111 63 0 3491 0
vsize: 14216
[startup+660.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2748 0 0 0 65884 122 0 0 25 0 1 0 633850779 14557184 2669 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3554 2669 1111 63 0 3491 0
vsize: 14216
[startup+670.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2748 0 0 0 66883 123 0 0 25 0 1 0 633850779 14557184 2669 4294967295 134512640 134714508 3221221776 3221220396 134549508 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3554 2669 1111 63 0 3491 0
vsize: 14216
[startup+680.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2748 0 0 0 67882 124 0 0 25 0 1 0 633850779 14557184 2669 4294967295 134512640 134714508 3221221776 3221220480 134528665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3554 2669 1111 63 0 3491 0
vsize: 14216
[startup+690.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2757 0 0 0 68880 127 0 0 25 0 1 0 633850779 14557184 2678 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3554 2678 1111 63 0 3491 0
vsize: 14216
[startup+700.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2757 0 0 0 69879 128 0 0 25 0 1 0 633850779 14557184 2678 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3554 2678 1111 63 0 3491 0
vsize: 14216
[startup+710.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2757 0 0 0 70878 129 0 0 25 0 1 0 633850779 14557184 2678 4294967295 134512640 134714508 3221221776 3221220384 134549318 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3554 2678 1111 63 0 3491 0
vsize: 14216
[startup+720.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2757 0 0 0 71877 131 0 0 25 0 1 0 633850779 14557184 2678 4294967295 134512640 134714508 3221221776 3221220336 134696544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3554 2678 1111 63 0 3491 0
vsize: 14216
[startup+730.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2757 0 0 0 72875 132 0 0 25 0 1 0 633850779 14557184 2678 4294967295 134512640 134714508 3221221776 3221220544 134592320 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3554 2678 1111 63 0 3491 0
vsize: 14216
[startup+740.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2778 0 0 0 73874 134 0 0 25 0 1 0 633850779 14655488 2699 4294967295 134512640 134714508 3221221776 3221220384 134549491 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3578 2699 1111 63 0 3515 0
vsize: 14312
[startup+750.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2778 0 0 0 74872 135 0 0 25 0 1 0 633850779 14655488 2699 4294967295 134512640 134714508 3221221776 3221220448 1077378560 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3578 2699 1111 63 0 3515 0
vsize: 14312
[startup+760.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2789 0 0 0 75871 137 0 0 25 0 1 0 633850779 14655488 2710 4294967295 134512640 134714508 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3578 2710 1111 63 0 3515 0
vsize: 14312
[startup+770.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2789 0 0 0 76869 139 0 0 25 0 1 0 633850779 14655488 2710 4294967295 134512640 134714508 3221221776 3221220536 134552561 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3578 2710 1111 63 0 3515 0
vsize: 14312
[startup+780.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2789 0 0 0 77867 141 0 0 25 0 1 0 633850779 14655488 2710 4294967295 134512640 134714508 3221221776 3221220536 134592385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3578 2710 1111 63 0 3515 0
vsize: 14312
[startup+790.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2790 0 0 0 78866 143 0 0 25 0 1 0 633850779 14655488 2711 4294967295 134512640 134714508 3221221776 3221220416 134696119 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3578 2711 1111 63 0 3515 0
vsize: 14312
[startup+800.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2819 0 0 0 79865 143 0 0 25 0 1 0 633850779 14790656 2740 4294967295 134512640 134714508 3221221776 3221220332 134535649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3611 2740 1111 63 0 3548 0
vsize: 14444
[startup+810.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2819 0 0 0 80864 145 0 0 25 0 1 0 633850779 14790656 2740 4294967295 134512640 134714508 3221221776 3221220440 134613401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3611 2740 1111 63 0 3548 0
vsize: 14444
[startup+820.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2867 0 0 0 81862 147 0 0 25 0 1 0 633850779 15048704 2788 4294967295 134512640 134714508 3221221776 3221220336 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3674 2788 1111 63 0 3611 0
vsize: 14696
[startup+830.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2902 0 0 0 82862 148 0 0 25 0 1 0 633850779 15171584 2823 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3704 2823 1111 63 0 3641 0
vsize: 14816
[startup+840.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2949 0 0 0 83861 149 0 0 25 0 1 0 633850779 15302656 2870 4294967295 134512640 134714508 3221221776 3221220352 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3736 2870 1111 63 0 3673 0
vsize: 14944
[startup+850.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2985 0 0 0 84859 150 0 0 25 0 1 0 633850779 15437824 2906 4294967295 134512640 134714508 3221221776 3221220444 134543616 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3769 2906 1111 63 0 3706 0
vsize: 15076
[startup+860.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 2994 0 0 0 85858 152 0 0 25 0 1 0 633850779 15572992 2915 4294967295 134512640 134714508 3221221776 3221220384 134549457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3802 2915 1111 63 0 3739 0
vsize: 15208
[startup+870.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 3016 0 0 0 86857 153 0 0 25 0 1 0 633850779 15572992 2937 4294967295 134512640 134714508 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3802 2937 1111 63 0 3739 0
vsize: 15208
[startup+880.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 3023 0 0 0 87856 154 0 0 25 0 1 0 633850779 15708160 2944 4294967295 134512640 134714508 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3835 2944 1111 63 0 3772 0
vsize: 15340
[startup+890.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 3023 0 0 0 88855 156 0 0 25 0 1 0 633850779 15708160 2944 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3835 2944 1111 63 0 3772 0
vsize: 15340
[startup+900.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 3036 0 0 0 89854 157 0 0 25 0 1 0 633850779 15708160 2957 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3835 2957 1111 63 0 3772 0
vsize: 15340
[startup+910.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 3036 0 0 0 90853 158 0 0 25 0 1 0 633850779 15708160 2957 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3835 2957 1111 63 0 3772 0
vsize: 15340
[startup+920.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 3052 0 0 0 91852 159 0 0 25 0 1 0 633850779 15708160 2973 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3835 2973 1111 63 0 3772 0
vsize: 15340
[startup+930.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 3052 0 0 0 92851 160 0 0 25 0 1 0 633850779 15708160 2973 4294967295 134512640 134714508 3221221776 3221220416 134523874 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3835 2973 1111 63 0 3772 0
vsize: 15340
[startup+940.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 3052 0 0 0 93850 162 0 0 25 0 1 0 633850779 15708160 2973 4294967295 134512640 134714508 3221221776 3221220368 134543681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3835 2973 1111 63 0 3772 0
vsize: 15340
[startup+950.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 3052 0 0 0 94849 163 0 0 25 0 1 0 633850779 15708160 2973 4294967295 134512640 134714508 3221221776 3221220404 134543092 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3835 2973 1111 63 0 3772 0
vsize: 15340
[startup+960.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 3052 0 0 0 95847 165 0 0 25 0 1 0 633850779 15708160 2973 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3835 2973 1111 63 0 3772 0
vsize: 15340
[startup+970.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 3052 0 0 0 96846 166 0 0 25 0 1 0 633850779 15708160 2973 4294967295 134512640 134714508 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3835 2973 1111 63 0 3772 0
vsize: 15340
[startup+980.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 3062 0 0 0 97845 167 0 0 25 0 1 0 633850779 15843328 2983 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3868 2983 1111 63 0 3805 0
vsize: 15472
[startup+990.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 3077 0 0 0 98844 168 0 0 25 0 1 0 633850779 15843328 2998 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3868 2998 1111 63 0 3805 0
vsize: 15472
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 3077 0 0 0 99844 169 0 0 25 0 1 0 633850779 15843328 2998 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3868 2998 1111 63 0 3805 0
vsize: 15472
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 3086 0 0 0 100843 170 0 0 25 0 1 0 633850779 15843328 3007 4294967295 134512640 134714508 3221221776 3221220432 134523859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3868 3007 1111 63 0 3805 0
vsize: 15472
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 3102 0 0 0 101842 171 0 0 25 0 1 0 633850779 15974400 3023 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3900 3023 1111 63 0 3837 0
vsize: 15600
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 3102 0 0 0 102841 172 0 0 25 0 1 0 633850779 15974400 3023 4294967295 134512640 134714508 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3900 3023 1111 63 0 3837 0
vsize: 15600
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 3122 0 0 0 103840 173 0 0 25 0 1 0 633850779 16101376 3043 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3931 3043 1111 63 0 3868 0
vsize: 15724
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 3122 0 0 0 104840 174 0 0 25 0 1 0 633850779 16101376 3043 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3931 3043 1111 63 0 3868 0
vsize: 15724
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 3131 0 0 0 105838 176 0 0 25 0 1 0 633850779 16084992 3052 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3927 3052 1111 63 0 3864 0
vsize: 15708
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 3131 0 0 0 106837 177 0 0 25 0 1 0 633850779 16084992 3052 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3927 3052 1111 63 0 3864 0
vsize: 15708
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 3153 0 0 0 107836 178 0 0 25 0 1 0 633850779 16220160 3074 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3960 3074 1111 63 0 3897 0
vsize: 15840
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 3200 0 0 0 108835 179 0 0 25 0 1 0 633850779 16355328 3121 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3993 3121 1111 63 0 3930 0
vsize: 15972
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 3239 0 0 0 109834 181 0 0 25 0 1 0 633850779 16490496 3160 4294967295 134512640 134714508 3221221776 3221220464 134528607 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4026 3160 1111 63 0 3963 0
vsize: 16104
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 3266 0 0 0 110833 181 0 0 25 0 1 0 633850779 16625664 3187 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4059 3187 1111 63 0 3996 0
vsize: 16236
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 3266 0 0 0 111832 183 0 0 25 0 1 0 633850779 16625664 3187 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4059 3187 1111 63 0 3996 0
vsize: 16236
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 3266 0 0 0 112832 183 0 0 25 0 1 0 633850779 16625664 3187 4294967295 134512640 134714508 3221221776 3221220444 1077378561 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4059 3187 1111 63 0 3996 0
vsize: 16236
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 3266 0 0 0 113830 185 0 0 25 0 1 0 633850779 16625664 3187 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4059 3187 1111 63 0 3996 0
vsize: 16236
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 3266 0 0 0 114829 187 0 0 25 0 1 0 633850779 16625664 3187 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4059 3187 1111 63 0 3996 0
vsize: 16236
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 3266 0 0 0 115828 187 0 0 25 0 1 0 633850779 16625664 3187 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4059 3187 1111 63 0 3996 0
vsize: 16236
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 3266 0 0 0 116828 188 0 0 25 0 1 0 633850779 16625664 3187 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4059 3187 1111 63 0 3996 0
vsize: 16236
[startup+1174.9 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 14203
Raw data (stat): 14201 (bsolo_lpr) R 14200 7876 7672 0 -1 0 3266 0 0 0 116828 188 0 0 25 0 1 0 633850779 16625664 3187 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4059 3187 1111 63 0 3996 0
vsize: 0

Child status: 0
Real time (s): 1174.9
CPU time (s): 1175.04
CPU user time (s): 1173.14
CPU system time (s): 1.89771
CPU usage (%): 100.012
Max. virtual memory (Kb): 16236
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####