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-fpga15_15_sat_pb.cnf.cr.opb
MD5SUM	5845da453401bb95aae2b4a79f2952fc
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	16
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	0.082987
Number of variables	338
Total number of constraints	270
Number of constraints which are clauses	240
Number of constraints which are cardinality constraints (but not clauses)	30
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	7
Maximum length of a constraint	15
Trace number 23332

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 13:15:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=343 boxname=wulflinc31 idbench=39 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  5845da453401bb95aae2b4a79f2952fc  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga15_15_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-fpga15_15_sat_pb.cnf.cr.opb
IDLAUNCH: 343
/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:        927592 kB
Buffers:         38152 kB
Cached:          46936 kB
SwapCached:        864 kB
Active:          71956 kB
Inactive:        15500 kB
HighTotal:      131008 kB
HighFree:        83076 kB
LowTotal:       903652 kB
LowFree:        844516 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              48 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13964 kB
Committed_AS:    63636 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 13:35:25 (client local time) WITH STATUS 0 IN 1175.13 SECONDS
stats: 343 7 1175.13 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 338 variables and 270 constraints.
c After prepocess the problem consists of 338 variables and 270 constraints.
c preprocess terminated 0.212 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.96 2/54 24291
Raw data (stat): 24291 (runsolver) R 24290 7876 7672 0 -1 64 2 0 0 0 0 0 0 0 19 0 1 0 640402410 1056768 98 4294967295 134512640 135381576 3221221680 3221217108 134514626 0 0 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 98 215 215 0 43 0
vsize: 1032
[startup+10.0009 s]
Raw data (loadavg): 0.94 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 3032 0 0 0 984 11 0 0 25 0 1 0 640402410 15482880 2953 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3780 2953 1111 63 0 3717 0
vsize: 15120
[startup+20.0016 s]
Raw data (loadavg): 0.95 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 4174 0 0 0 1978 17 0 0 25 0 1 0 640402410 20213760 4095 4294967295 134512640 134714508 3221221776 3221220444 134539344 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4935 4095 1111 63 0 4872 0
vsize: 19740
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 5547 0 0 0 2972 24 0 0 25 0 1 0 640402410 25890816 5468 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6321 5468 1111 63 0 6258 0
vsize: 25284
[startup+40.0025 s]
Raw data (loadavg): 0.96 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 6235 0 0 0 3968 27 0 0 25 0 1 0 640402410 28594176 6156 4294967295 134512640 134714508 3221221776 3221220452 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6981 6156 1111 63 0 6918 0
vsize: 27924
[startup+50.0025 s]
Raw data (loadavg): 0.97 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 7210 0 0 0 4965 31 0 0 25 0 1 0 640402410 32649216 7131 4294967295 134512640 134714508 3221221776 3221220344 134535877 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7971 7131 1111 63 0 7908 0
vsize: 31884
[startup+60.0037 s]
Raw data (loadavg): 0.97 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 8106 0 0 0 5961 35 0 0 25 0 1 0 640402410 36302848 8026 4294967295 134512640 134714508 3221221776 3221220480 134528617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8863 8026 1111 63 0 8800 0
vsize: 35452
[startup+70.0044 s]
Raw data (loadavg): 0.97 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 8540 0 0 0 6959 37 0 0 25 0 1 0 640402410 38060032 8460 4294967295 134512640 134714508 3221221776 3221220480 134528617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9292 8460 1111 63 0 9229 0
vsize: 37168
[startup+80.0043 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 9213 0 0 0 7957 40 0 0 25 0 1 0 640402410 40910848 9133 4294967295 134512640 134714508 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9988 9133 1111 63 0 9925 0
vsize: 39952
[startup+90.0045 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 9687 0 0 0 8954 42 0 0 25 0 1 0 640402410 42803200 9607 4294967295 134512640 134714508 3221221776 3221220536 134552573 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10450 9607 1111 63 0 10387 0
vsize: 41800
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 10010 0 0 0 9952 44 0 0 25 0 1 0 640402410 44154880 9930 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10780 9930 1111 63 0 10717 0
vsize: 43120
[startup+110.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 10676 0 0 0 10950 47 0 0 25 0 1 0 640402410 46886912 10596 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11447 10596 1111 63 0 11384 0
vsize: 45788
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 11318 0 0 0 11948 49 0 0 25 0 1 0 640402410 49463296 11238 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12076 11238 1111 63 0 12013 0
vsize: 48304
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 11881 0 0 0 12946 51 0 0 25 0 1 0 640402410 51896320 11800 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12670 11800 1111 63 0 12607 0
vsize: 50680
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 12450 0 0 0 13944 53 0 0 25 0 1 0 640402410 54218752 12367 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13237 12367 1111 63 0 13174 0
vsize: 52948
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 12689 0 0 0 14943 54 0 0 25 0 1 0 640402410 55169024 12604 4294967295 134512640 134714508 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13469 12604 1111 63 0 13406 0
vsize: 53876
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 12977 0 0 0 15942 56 0 0 25 0 1 0 640402410 56385536 12890 4294967295 134512640 134714508 3221221776 3221220400 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13766 12890 1111 63 0 13703 0
vsize: 55064
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 13232 0 0 0 16941 57 0 0 25 0 1 0 640402410 57470976 13145 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14031 13145 1111 63 0 13968 0
vsize: 56124
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 13491 0 0 0 17940 58 0 0 25 0 1 0 640402410 58568704 13403 4294967295 134512640 134714508 3221221776 3221220452 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14299 13403 1111 63 0 14236 0
vsize: 57196
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 13765 0 0 0 18939 59 0 0 25 0 1 0 640402410 59678720 13675 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14570 13675 1111 63 0 14507 0
vsize: 58280
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 14099 0 0 0 19937 61 0 0 25 0 1 0 640402410 61206528 14008 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14943 14008 1111 63 0 14880 0
vsize: 59772
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 14476 0 0 0 20936 63 0 0 25 0 1 0 640402410 62717952 14383 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15312 14383 1111 63 0 15249 0
vsize: 61248
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 14818 0 0 0 21934 65 0 0 25 0 1 0 640402410 64204800 14724 4294967295 134512640 134714508 3221221776 3221220336 134696549 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15675 14724 1111 63 0 15612 0
vsize: 62700
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 15039 0 0 0 22933 66 0 0 25 0 1 0 640402410 65175552 14944 4294967295 134512640 134714508 3221221776 3221220584 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15912 14944 1111 63 0 15849 0
vsize: 63648
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 15316 0 0 0 23932 67 0 0 25 0 1 0 640402410 66289664 15220 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16184 15221 1111 63 0 16121 0
vsize: 64736
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 15721 0 0 0 24931 69 0 0 25 0 1 0 640402410 68046848 15623 4294967295 134512640 134714508 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16613 15623 1111 63 0 16550 0
vsize: 66452
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 16014 0 0 0 25929 70 0 0 25 0 1 0 640402410 69296128 15911 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16918 15911 1111 63 0 16855 0
vsize: 67672
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 16364 0 0 0 26928 72 0 0 25 0 1 0 640402410 70701056 16260 4294967295 134512640 134714508 3221221776 3221220504 134558807 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17261 16261 1111 63 0 17198 0
vsize: 69044
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 16784 0 0 0 27926 74 0 0 25 0 1 0 640402410 72454144 16677 4294967295 134512640 134714508 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17689 16677 1111 63 0 17626 0
vsize: 70756
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 17159 0 0 0 28924 76 0 0 25 0 1 0 640402410 74129408 17051 4294967295 134512640 134714508 3221221776 3221220400 134549616 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18098 17051 1111 63 0 18035 0
vsize: 72392
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 17489 0 0 0 29923 78 0 0 25 0 1 0 640402410 75497472 17380 4294967295 134512640 134714508 3221221776 3221220384 134549324 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18432 17380 1111 63 0 18369 0
vsize: 73728
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 17732 0 0 0 30921 79 0 0 25 0 1 0 640402410 76443648 17623 4294967295 134512640 134714508 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18663 17623 1111 63 0 18600 0
vsize: 74652
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 18422 0 0 0 31918 83 0 0 25 0 1 0 640402410 79294464 18313 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19359 18313 1111 63 0 19296 0
vsize: 77436
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 19819 0 0 0 32912 89 0 0 25 0 1 0 640402410 84971520 19710 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20745 19710 1111 63 0 20682 0
vsize: 82980
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 20953 0 0 0 33906 96 0 0 25 0 1 0 640402410 89702400 20844 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21900 20844 1111 63 0 21837 0
vsize: 87600
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 22231 0 0 0 34900 101 0 0 25 0 1 0 640402410 94859264 22122 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23159 22122 1111 63 0 23096 0
vsize: 92636
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 23112 0 0 0 35896 106 0 0 25 0 1 0 640402410 98508800 23003 4294967295 134512640 134714508 3221221776 3221220464 134551897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24050 23003 1111 63 0 23987 0
vsize: 96200
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 23967 0 0 0 36893 109 0 0 25 0 1 0 640402410 102027264 23858 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24909 23858 1111 63 0 24846 0
vsize: 99636
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 24852 0 0 0 37889 113 0 0 25 0 1 0 640402410 105693184 24743 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25804 24743 1111 63 0 25741 0
vsize: 103216
[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 25468 0 0 0 38887 115 0 0 25 0 1 0 640402410 108261376 25359 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26431 25359 1111 63 0 26368 0
vsize: 105724
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 26083 0 0 0 39884 118 0 0 25 0 1 0 640402410 110694400 25974 4294967295 134512640 134714508 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27025 25974 1111 63 0 26962 0
vsize: 108100
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 26874 0 0 0 40882 120 0 0 25 0 1 0 640402410 113950720 26765 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27820 26765 1111 63 0 27757 0
vsize: 111280
[startup+420.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 27482 0 0 0 41880 123 0 0 25 0 1 0 640402410 116514816 27373 4294967295 134512640 134714508 3221221776 3221220368 134549821 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28446 27373 1111 63 0 28383 0
vsize: 113784
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 28021 0 0 0 42878 125 0 0 25 0 1 0 640402410 118693888 27912 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28978 27912 1111 63 0 28915 0
vsize: 115912
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 28621 0 0 0 43875 128 0 0 25 0 1 0 640402410 121126912 28512 4294967295 134512640 134714508 3221221776 3221220404 134696261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29572 28512 1111 63 0 29509 0
vsize: 118288
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 29095 0 0 0 44873 130 0 0 25 0 1 0 640402410 123023360 28984 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30035 28984 1111 63 0 29972 0
vsize: 120140
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 29602 0 0 0 45871 132 0 0 25 0 1 0 640402410 125050880 29491 4294967295 134512640 134714508 3221221776 3221220464 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30530 29491 1111 63 0 30467 0
vsize: 122120
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 29958 0 0 0 46869 134 0 0 25 0 1 0 640402410 126537728 29847 4294967295 134512640 134714508 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30893 29847 1111 63 0 30830 0
vsize: 123572
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 30264 0 0 0 47868 136 0 0 25 0 1 0 640402410 127754240 30153 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31190 30153 1111 63 0 31127 0
vsize: 124760
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 30542 0 0 0 48866 137 0 0 25 0 1 0 640402410 128970752 30431 4294967295 134512640 134714508 3221221776 3221220464 134528712 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31487 30431 1111 63 0 31424 0
vsize: 125948
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 30727 0 0 0 49866 138 0 0 25 0 1 0 640402410 129646592 30616 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31652 30616 1111 63 0 31589 0
vsize: 126608
[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 31310 0 0 0 50863 140 0 0 25 0 1 0 640402410 132145152 31199 4294967295 134512640 134714508 3221221776 3221220544 134598569 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32262 31199 1111 63 0 32199 0
vsize: 129048
[startup+520.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 31977 0 0 0 51861 143 0 0 25 0 1 0 640402410 134848512 31866 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32922 31866 1111 63 0 32859 0
vsize: 131688
[startup+530.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 33049 0 0 0 52857 147 0 0 25 0 1 0 640402410 139309056 32938 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34011 32938 1111 63 0 33948 0
vsize: 136044
[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 33580 0 0 0 53855 149 0 0 25 0 1 0 640402410 141471744 33469 4294967295 134512640 134714508 3221221776 3221220400 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34539 33469 1111 63 0 34476 0
vsize: 138156
[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 34305 0 0 0 54853 152 0 0 25 0 1 0 640402410 144453632 34194 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35267 34194 1111 63 0 35204 0
vsize: 141068
[startup+560.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 34924 0 0 0 55850 155 0 0 25 0 1 0 640402410 147021824 34813 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35894 34813 1111 63 0 35831 0
vsize: 143576
[startup+570.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 35476 0 0 0 56849 157 0 0 25 0 1 0 640402410 149192704 35365 4294967295 134512640 134714508 3221221776 3221220396 134613956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36424 35365 1111 63 0 36361 0
vsize: 145696
[startup+580.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 35992 0 0 0 57847 159 0 0 25 0 1 0 640402410 151359488 35881 4294967295 134512640 134714508 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36953 35881 1111 63 0 36890 0
vsize: 147812
[startup+590.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 36529 0 0 0 58845 161 0 0 25 0 1 0 640402410 153550848 36418 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37488 36418 1111 63 0 37425 0
vsize: 149952
[startup+600.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 36928 0 0 0 59844 162 0 0 25 0 1 0 640402410 155172864 36817 4294967295 134512640 134714508 3221221776 3221220464 134551897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37884 36817 1111 63 0 37821 0
vsize: 151536
[startup+610.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 37270 0 0 0 60842 164 0 0 25 0 1 0 640402410 156659712 37159 4294967295 134512640 134714508 3221221776 3221220512 134523932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38247 37159 1111 63 0 38184 0
vsize: 152988
[startup+620.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 37595 0 0 0 61841 165 0 0 25 0 1 0 640402410 158048256 37484 4294967295 134512640 134714508 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38586 37484 1111 63 0 38523 0
vsize: 154344
[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 37912 0 0 0 62840 166 0 0 25 0 1 0 640402410 159395840 37801 4294967295 134512640 134714508 3221221776 3221220416 134696110 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38915 37801 1111 63 0 38852 0
vsize: 155660
[startup+640.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 38193 0 0 0 63839 167 0 0 25 0 1 0 640402410 160477184 38082 4294967295 134512640 134714508 3221221776 3221220496 134523872 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39179 38082 1111 63 0 39116 0
vsize: 156716
[startup+650.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 38546 0 0 0 64838 169 0 0 25 0 1 0 640402410 161964032 38435 4294967295 134512640 134714508 3221221776 3221220352 134549640 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39542 38435 1111 63 0 39479 0
vsize: 158168
[startup+660.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 38854 0 0 0 65837 169 0 0 25 0 1 0 640402410 163180544 38743 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39839 38743 1111 63 0 39776 0
vsize: 159356
[startup+670.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 39290 0 0 0 66836 171 0 0 25 0 1 0 640402410 164937728 39179 4294967295 134512640 134714508 3221221776 3221220416 134696113 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40268 39179 1111 63 0 40205 0
vsize: 161072
[startup+680.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 39537 0 0 0 67836 172 0 0 25 0 1 0 640402410 166019072 39426 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40532 39426 1111 63 0 40469 0
vsize: 162128
[startup+690.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 39910 0 0 0 68834 173 0 0 25 0 1 0 640402410 167505920 39799 4294967295 134512640 134714508 3221221776 3221220480 134528665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40895 39799 1111 63 0 40832 0
vsize: 163580
[startup+700.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 40226 0 0 0 69832 175 0 0 25 0 1 0 640402410 168722432 40115 4294967295 134512640 134714508 3221221776 3221220560 134529252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41192 40116 1111 63 0 41129 0
vsize: 164768
[startup+710.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 40674 0 0 0 70830 178 0 0 25 0 1 0 640402410 170614784 40563 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41654 40563 1111 63 0 41591 0
vsize: 166616
[startup+720.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 40914 0 0 0 71829 179 0 0 25 0 1 0 640402410 171581440 40803 4294967295 134512640 134714508 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41890 40804 1111 63 0 41827 0
vsize: 167560
[startup+730.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 41151 0 0 0 72828 180 0 0 25 0 1 0 640402410 172527616 41040 4294967295 134512640 134714508 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42121 41040 1111 63 0 42058 0
vsize: 168484
[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 41525 0 0 0 73827 182 0 0 25 0 1 0 640402410 174149632 41413 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42517 41413 1111 63 0 42454 0
vsize: 170068
[startup+750.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 41689 0 0 0 74826 182 0 0 25 0 1 0 640402410 174825472 41577 4294967295 134512640 134714508 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42682 41577 1111 63 0 42619 0
vsize: 170728
[startup+760.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 41919 0 0 0 75826 183 0 0 25 0 1 0 640402410 175779840 41807 4294967295 134512640 134714508 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42915 41807 1111 63 0 42852 0
vsize: 171660
[startup+770.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 42277 0 0 0 76824 185 0 0 25 0 1 0 640402410 177192960 42161 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43260 42161 1111 63 0 43197 0
vsize: 173040
[startup+780.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 42597 0 0 0 77822 187 0 0 25 0 1 0 640402410 178544640 42481 4294967295 134512640 134714508 3221221776 3221220480 134528617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43590 42481 1111 63 0 43527 0
vsize: 174360
[startup+790.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 42918 0 0 0 78821 188 0 0 25 0 1 0 640402410 179929088 42802 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43928 42802 1111 63 0 43865 0
vsize: 175712
[startup+800.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 43096 0 0 0 79820 189 0 0 25 0 1 0 640402410 180604928 42980 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44093 42980 1111 63 0 44030 0
vsize: 176372
[startup+810.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 43258 0 0 0 80820 190 0 0 25 0 1 0 640402410 181293056 43140 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44261 43140 1111 63 0 44198 0
vsize: 177044
[startup+820.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 43398 0 0 0 81819 191 0 0 25 0 1 0 640402410 181833728 43280 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44393 43280 1111 63 0 44330 0
vsize: 177572
[startup+830.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 43600 0 0 0 82818 192 0 0 25 0 1 0 640402410 182644736 43481 4294967295 134512640 134714508 3221221776 3221220384 134549802 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44591 43481 1111 63 0 44528 0
vsize: 178364
[startup+840.036 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 43843 0 0 0 83817 194 0 0 25 0 1 0 640402410 183726080 43724 4294967295 134512640 134714508 3221221776 3221220400 134536680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44855 43724 1111 63 0 44792 0
vsize: 179420
[startup+850.036 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 44033 0 0 0 84816 195 0 0 25 0 1 0 640402410 184537088 43914 4294967295 134512640 134714508 3221221776 3221220400 134549527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45053 43914 1111 63 0 44990 0
vsize: 180212
[startup+860.037 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 44263 0 0 0 85815 196 0 0 25 0 1 0 640402410 185556992 44144 4294967295 134512640 134714508 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45302 44144 1111 63 0 45239 0
vsize: 181208
[startup+870.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 44614 0 0 0 86814 197 0 0 25 0 1 0 640402410 186990592 44492 4294967295 134512640 134714508 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45652 44492 1111 63 0 45589 0
vsize: 182608
[startup+880.037 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 45034 0 0 0 87812 199 0 0 25 0 1 0 640402410 188747776 44912 4294967295 134512640 134714508 3221221776 3221220496 134535757 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46081 44912 1111 63 0 46018 0
vsize: 184324
[startup+890.037 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 45326 0 0 0 88811 200 0 0 25 0 1 0 640402410 189829120 45204 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46345 45204 1111 63 0 46282 0
vsize: 185380
[startup+900.037 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 45729 0 0 0 89810 202 0 0 25 0 1 0 640402410 191516672 45603 4294967295 134512640 134714508 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46757 45603 1111 63 0 46694 0
vsize: 187028
[startup+910.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 46005 0 0 0 90809 203 0 0 25 0 1 0 640402410 192634880 45879 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47030 45879 1111 63 0 46967 0
vsize: 188120
[startup+920.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 46380 0 0 0 91807 204 0 0 25 0 1 0 640402410 194285568 46250 4294967295 134512640 134714508 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47433 46250 1111 63 0 47370 0
vsize: 189732
[startup+930.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 46680 0 0 0 92806 205 0 0 25 0 1 0 640402410 195510272 46550 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47732 46550 1111 63 0 47669 0
vsize: 190928
[startup+940.039 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 47110 0 0 0 93806 207 0 0 25 0 1 0 640402410 197365760 46980 4294967295 134512640 134714508 3221221776 3221220332 134535652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48185 46980 1111 63 0 48122 0
vsize: 192740
[startup+950.039 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 47420 0 0 0 94804 208 0 0 25 0 1 0 640402410 198619136 47287 4294967295 134512640 134714508 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48491 47287 1111 63 0 48428 0
vsize: 193964
[startup+960.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 47744 0 0 0 95804 209 0 0 25 0 1 0 640402410 199970816 47611 4294967295 134512640 134714508 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48821 47611 1111 63 0 48758 0
vsize: 195284
[startup+970.041 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 48120 0 0 0 96802 210 0 0 25 0 1 0 640402410 201515008 47984 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49198 47984 1111 63 0 49135 0
vsize: 196792
[startup+980.041 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 48492 0 0 0 97801 212 0 0 25 0 1 0 640402410 202997760 48356 4294967295 134512640 134714508 3221221776 3221220464 134528707 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49560 48356 1111 63 0 49497 0
vsize: 198240
[startup+990.041 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 48752 0 0 0 98801 212 0 0 25 0 1 0 640402410 204111872 48612 4294967295 134512640 134714508 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49832 48612 1111 63 0 49769 0
vsize: 199328
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 49127 0 0 0 99799 214 0 0 25 0 1 0 640402410 205746176 48986 4294967295 134512640 134714508 3221221776 3221220368 134549809 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50231 48986 1111 63 0 50168 0
vsize: 200924
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 49462 0 0 0 100798 215 0 0 25 0 1 0 640402410 207163392 49312 4294967295 134512640 134714508 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50577 49312 1111 63 0 50514 0
vsize: 202308
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 49704 0 0 0 101797 217 0 0 25 0 1 0 640402410 208109568 49554 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50808 49554 1111 63 0 50745 0
vsize: 203232
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 49900 0 0 0 102797 217 0 0 25 0 1 0 640402410 208920576 49750 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51006 49750 1111 63 0 50943 0
vsize: 204024
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 50100 0 0 0 103796 218 0 0 25 0 1 0 640402410 209735680 49950 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51205 49950 1111 63 0 51142 0
vsize: 204820
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 50406 0 0 0 104795 219 0 0 25 0 1 0 640402410 211009536 50256 4294967295 134512640 134714508 3221221776 3221220480 134528656 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51516 50256 1111 63 0 51453 0
vsize: 206064
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 50646 0 0 0 105795 220 0 0 25 0 1 0 640402410 211955712 50496 4294967295 134512640 134714508 3221221776 3221220400 134536680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51747 50496 1111 63 0 51684 0
vsize: 206988
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 50868 0 0 0 106794 221 0 0 25 0 1 0 640402410 212905984 50718 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51979 50718 1111 63 0 51916 0
vsize: 207916
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 51037 0 0 0 107793 222 0 0 25 0 1 0 640402410 213716992 50887 4294967295 134512640 134714508 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52177 50887 1111 63 0 52114 0
vsize: 208708
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 51249 0 0 0 108793 222 0 0 25 0 1 0 640402410 214523904 51099 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52374 51099 1111 63 0 52311 0
vsize: 209496
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 51383 0 0 0 109793 223 0 0 25 0 1 0 640402410 215064576 51233 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52506 51233 1111 63 0 52443 0
vsize: 210024
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 51435 0 0 0 110793 223 0 0 25 0 1 0 640402410 215367680 51284 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52580 51284 1111 63 0 52517 0
vsize: 210320
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 51716 0 0 0 111791 225 0 0 25 0 1 0 640402410 216453120 51563 4294967295 134512640 134714508 3221221776 3221220452 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52845 51563 1111 63 0 52782 0
vsize: 211380
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 51977 0 0 0 112791 225 0 0 25 0 1 0 640402410 217600000 51815 4294967295 134512640 134714508 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53125 51815 1111 63 0 53062 0
vsize: 212500
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 52352 0 0 0 113789 227 0 0 25 0 1 0 640402410 219086848 52190 4294967295 134512640 134714508 3221221776 3221220304 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53488 52190 1111 63 0 53425 0
vsize: 213952
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 52594 0 0 0 114789 228 0 0 25 0 1 0 640402410 220102656 52427 4294967295 134512640 134714508 3221221776 3221220432 134523859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53736 52427 1111 63 0 53673 0
vsize: 214944
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 52807 0 0 0 115788 229 0 0 25 0 1 0 640402410 221048832 52640 4294967295 134512640 134714508 3221221776 3221220380 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53967 52640 1111 63 0 53904 0
vsize: 215868
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 53159 0 0 0 116787 230 0 0 25 0 1 0 640402410 222396416 52992 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54296 52992 1111 63 0 54233 0
vsize: 217184
[startup+1175 s]
Raw data (loadavg): 0.99 0.97 0.96 1/53 24291
Raw data (stat): 24291 (bsolo_lpr) R 24290 7876 7672 0 -1 0 53159 0 0 0 116787 230 0 0 25 0 1 0 640402410 222396416 52992 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54296 52992 1111 63 0 54233 0
vsize: 0

Child status: 0
Real time (s): 1175
CPU time (s): 1175.13
CPU user time (s): 1172.72
CPU system time (s): 2.40663
CPU usage (%): 100.011
Max. virtual memory (Kb): 217184
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####