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-fpga12_12_sat_pb.cnf.cr.opb
MD5SUM	6137fb5f5f5e9a4f9b09d34c8e843809
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	13
Number of bits of the biggest sum of numbers	4
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.053991
Number of variables	216
Total number of constraints	180
Number of constraints which are clauses	156
Number of constraints which are cardinality constraints (but not clauses)	24
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	6
Maximum length of a constraint	12
Trace number 23287

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 04:18:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=262 boxname=wulflinc31 idbench=30 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  6137fb5f5f5e9a4f9b09d34c8e843809  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga12_12_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-fpga12_12_sat_pb.cnf.cr.opb
IDLAUNCH: 262
/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:        928692 kB
Buffers:         37424 kB
Cached:          46372 kB
SwapCached:        864 kB
Active:          71068 kB
Inactive:        15192 kB
HighTotal:      131008 kB
HighFree:        83608 kB
LowTotal:       903652 kB
LowFree:        845084 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              48 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            14068 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 04:38:03 (client local time) WITH STATUS 0 IN 1175.2 SECONDS
stats: 262 7 1175.2 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 216 variables and 180 constraints.
c After prepocess the problem consists of 216 variables and 180 constraints.
c preprocess terminated 0.12 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.09 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.85 0.97 0.94 2/54 19484
Raw data (stat): 19484 (runsolver) R 19483 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 637177787 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.0009 s]
Raw data (loadavg): 0.88 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 2858 0 0 0 985 10 0 0 25 0 1 0 637177787 14798848 2779 4294967295 134512640 134714508 3221221776 3221220416 134696048 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3613 2779 1111 63 0 3550 0
vsize: 14452
[startup+20.0014 s]
Raw data (loadavg): 0.89 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 4270 0 0 0 1979 16 0 0 25 0 1 0 637177787 20619264 4191 4294967295 134512640 134714508 3221221776 3221220400 134542300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5034 4191 1111 63 0 4971 0
vsize: 20136
[startup+30.0013 s]
Raw data (loadavg): 0.91 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 5322 0 0 0 2975 21 0 0 25 0 1 0 637177787 24956928 5243 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6093 5243 1111 63 0 6030 0
vsize: 24372
[startup+40.0015 s]
Raw data (loadavg): 0.92 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 6566 0 0 0 3970 26 0 0 25 0 1 0 637177787 30105600 6487 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7350 6487 1111 63 0 7287 0
vsize: 29400
[startup+50.0024 s]
Raw data (loadavg): 0.93 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 7801 0 0 0 4965 31 0 0 25 0 1 0 637177787 35143680 7720 4294967295 134512640 134714508 3221221776 3221220332 134535891 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8580 7720 1111 63 0 8517 0
vsize: 34320
[startup+60.0021 s]
Raw data (loadavg): 0.94 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 9106 0 0 0 5960 37 0 0 25 0 1 0 637177787 40570880 9025 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9905 9025 1111 63 0 9842 0
vsize: 39620
[startup+70.0033 s]
Raw data (loadavg): 0.95 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 10095 0 0 0 6956 41 0 0 25 0 1 0 637177787 44662784 10013 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10904 10013 1111 63 0 10841 0
vsize: 43616
[startup+80.004 s]
Raw data (loadavg): 0.96 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 10823 0 0 0 7953 44 0 0 25 0 1 0 637177787 47636480 10741 4294967295 134512640 134714508 3221221776 3221220304 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11630 10741 1111 63 0 11567 0
vsize: 46520
[startup+90.0039 s]
Raw data (loadavg): 0.96 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 11243 0 0 0 8950 47 0 0 25 0 1 0 637177787 49393664 11161 4294967295 134512640 134714508 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12059 11161 1111 63 0 11996 0
vsize: 48236
[startup+100.004 s]
Raw data (loadavg): 0.97 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 11566 0 0 0 9948 49 0 0 25 0 1 0 637177787 50626560 11484 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12360 11484 1111 63 0 12297 0
vsize: 49440
[startup+110.005 s]
Raw data (loadavg): 0.97 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 11857 0 0 0 10948 50 0 0 25 0 1 0 637177787 51843072 11775 4294967295 134512640 134714508 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12657 11775 1111 63 0 12594 0
vsize: 50628
[startup+120.006 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 12168 0 0 0 11947 51 0 0 25 0 1 0 637177787 53194752 12085 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12987 12085 1111 63 0 12924 0
vsize: 51948
[startup+130.006 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 12428 0 0 0 12946 52 0 0 25 0 1 0 637177787 54276096 12345 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13251 12345 1111 63 0 13188 0
vsize: 53004
[startup+140.006 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 12689 0 0 0 13945 54 0 0 25 0 1 0 637177787 55373824 12605 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13519 12605 1111 63 0 13456 0
vsize: 54076
[startup+150.006 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 12987 0 0 0 14944 55 0 0 25 0 1 0 637177787 56455168 12903 4294967295 134512640 134714508 3221221776 3221220496 134523874 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13783 12903 1111 63 0 13720 0
vsize: 55132
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 13250 0 0 0 15942 56 0 0 25 0 1 0 637177787 57536512 13166 4294967295 134512640 134714508 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14047 13167 1111 63 0 13984 0
vsize: 56188
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 13528 0 0 0 16941 58 0 0 25 0 1 0 637177787 58757120 13444 4294967295 134512640 134714508 3221221776 3221220428 134536848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14345 13444 1111 63 0 14282 0
vsize: 57380
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 13773 0 0 0 17940 59 0 0 25 0 1 0 637177787 59703296 13689 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14576 13689 1111 63 0 14513 0
vsize: 58304
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 14007 0 0 0 18939 60 0 0 25 0 1 0 637177787 60649472 13923 4294967295 134512640 134714508 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14807 13923 1111 63 0 14744 0
vsize: 59228
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 14234 0 0 0 19939 61 0 0 25 0 1 0 637177787 61595648 14150 4294967295 134512640 134714508 3221221776 3221220428 134536769 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15038 14150 1111 63 0 14975 0
vsize: 60152
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 14435 0 0 0 20938 62 0 0 25 0 1 0 637177787 62406656 14351 4294967295 134512640 134714508 3221221776 3221220560 134529341 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15236 14351 1111 63 0 15173 0
vsize: 60944
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 14773 0 0 0 21936 63 0 0 25 0 1 0 637177787 63897600 14689 4294967295 134512640 134714508 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15600 14690 1111 63 0 15537 0
vsize: 62400
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 15584 0 0 0 22934 66 0 0 25 0 1 0 637177787 67170304 15499 4294967295 134512640 134714508 3221221776 3221220428 134536779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16399 15499 1111 63 0 16336 0
vsize: 65596
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 16475 0 0 0 23931 69 0 0 25 0 1 0 637177787 70873088 16389 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17303 16389 1111 63 0 17240 0
vsize: 69212
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 17106 0 0 0 24929 71 0 0 25 0 1 0 637177787 73633792 17018 4294967295 134512640 134714508 3221221776 3221220352 134549802 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17977 17018 1111 63 0 17914 0
vsize: 71908
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 17567 0 0 0 25926 74 0 0 25 0 1 0 637177787 75571200 17479 4294967295 134512640 134714508 3221221776 3221220512 134523932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18450 17479 1111 63 0 18387 0
vsize: 73800
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 18014 0 0 0 26924 77 0 0 25 0 1 0 637177787 77336576 17925 4294967295 134512640 134714508 3221221776 3221220368 134549754 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18881 17925 1111 63 0 18818 0
vsize: 75524
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 18717 0 0 0 27921 79 0 0 25 0 1 0 637177787 80310272 18628 4294967295 134512640 134714508 3221221776 3221220464 134523193 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19607 18628 1111 63 0 19544 0
vsize: 78428
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 19308 0 0 0 28918 82 0 0 25 0 1 0 637177787 82755584 19215 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20204 19215 1111 63 0 20141 0
vsize: 80816
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 20032 0 0 0 29915 86 0 0 25 0 1 0 637177787 85729280 19939 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20930 19939 1111 63 0 20867 0
vsize: 83720
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 20586 0 0 0 30913 88 0 0 25 0 1 0 637177787 88027136 20493 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21491 20493 1111 63 0 21428 0
vsize: 85964
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 21180 0 0 0 31910 91 0 0 25 0 1 0 637177787 90460160 21087 4294967295 134512640 134714508 3221221776 3221220416 134696082 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22085 21087 1111 63 0 22022 0
vsize: 88340
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 21688 0 0 0 32908 94 0 0 25 0 1 0 637177787 92487680 21594 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22580 21594 1111 63 0 22517 0
vsize: 90320
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 22135 0 0 0 33907 95 0 0 25 0 1 0 637177787 94420992 22036 4294967295 134512640 134714508 3221221776 3221220480 134528653 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23052 22036 1111 63 0 22989 0
vsize: 92208
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 22485 0 0 0 34905 97 0 0 25 0 1 0 637177787 95805440 22386 4294967295 134512640 134714508 3221221776 3221220404 134696256 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23390 22386 1111 63 0 23327 0
vsize: 93560
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 22831 0 0 0 35904 98 0 0 25 0 1 0 637177787 97247232 22730 4294967295 134512640 134714508 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23742 22730 1111 63 0 23679 0
vsize: 94968
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 23213 0 0 0 36903 100 0 0 25 0 1 0 637177787 98734080 23111 4294967295 134512640 134714508 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24105 23111 1111 63 0 24042 0
vsize: 96420
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 23577 0 0 0 37901 102 0 0 25 0 1 0 637177787 100225024 23475 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24469 23475 1111 63 0 24406 0
vsize: 97876
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 23895 0 0 0 38899 103 0 0 25 0 1 0 637177787 101605376 23791 4294967295 134512640 134714508 3221221776 3221220544 134529376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24806 23791 1111 63 0 24743 0
vsize: 99224
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 24163 0 0 0 39898 104 0 0 25 0 1 0 637177787 102576128 24058 4294967295 134512640 134714508 3221221776 3221220408 134552673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25043 24058 1111 63 0 24980 0
vsize: 100172
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 24380 0 0 0 40897 106 0 0 25 0 1 0 637177787 103542784 24275 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25279 24275 1111 63 0 25216 0
vsize: 101116
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 24644 0 0 0 41896 107 0 0 25 0 1 0 637177787 104665088 24539 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25553 24539 1111 63 0 25490 0
vsize: 102212
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 24917 0 0 0 42895 108 0 0 25 0 1 0 637177787 105783296 24808 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25826 24808 1111 63 0 25763 0
vsize: 103304
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 25148 0 0 0 43895 109 0 0 25 0 1 0 637177787 106795008 25039 4294967295 134512640 134714508 3221221776 3221220540 134552560 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26073 25039 1111 63 0 26010 0
vsize: 104292
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 25370 0 0 0 44894 109 0 0 25 0 1 0 637177787 107622400 25260 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26275 25260 1111 63 0 26212 0
vsize: 105100
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 25602 0 0 0 45894 111 0 0 25 0 1 0 637177787 108593152 25490 4294967295 134512640 134714508 3221221776 3221220408 134696316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26512 25490 1111 63 0 26449 0
vsize: 106048
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 25856 0 0 0 46892 112 0 0 25 0 1 0 637177787 109793280 25744 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26805 25744 1111 63 0 26742 0
vsize: 107220
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 26111 0 0 0 47891 113 0 0 25 0 1 0 637177787 110874624 25999 4294967295 134512640 134714508 3221221776 3221220512 134523859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27069 25999 1111 63 0 27006 0
vsize: 108276
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 26345 0 0 0 48891 114 0 0 25 0 1 0 637177787 111820800 26233 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27300 26233 1111 63 0 27237 0
vsize: 109200
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 26560 0 0 0 49890 115 0 0 25 0 1 0 637177787 112631808 26448 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27498 26448 1111 63 0 27435 0
vsize: 109992
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 26768 0 0 0 50889 116 0 0 25 0 1 0 637177787 113577984 26656 4294967295 134512640 134714508 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27729 26656 1111 63 0 27666 0
vsize: 110916
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 26900 0 0 0 51889 116 0 0 25 0 1 0 637177787 113983488 26788 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27828 26788 1111 63 0 27765 0
vsize: 111312
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 27691 0 0 0 52887 118 0 0 25 0 1 0 637177787 117227520 27579 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28620 27579 1111 63 0 28557 0
vsize: 114480
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 28053 0 0 0 53886 120 0 0 25 0 1 0 637177787 118775808 27937 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28998 27937 1111 63 0 28935 0
vsize: 115992
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 28204 0 0 0 54885 121 0 0 25 0 1 0 637177787 119451648 28087 4294967295 134512640 134714508 3221221776 3221220512 134528668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29163 28087 1111 63 0 29100 0
vsize: 116652
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 28945 0 0 0 55882 124 0 0 25 0 1 0 637177787 122425344 28828 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29889 28828 1111 63 0 29826 0
vsize: 119556
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 29724 0 0 0 56879 127 0 0 25 0 1 0 637177787 125595648 29607 4294967295 134512640 134714508 3221221776 3221219860 134697199 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30663 29607 1111 63 0 30600 0
vsize: 122652
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 30348 0 0 0 57877 130 0 0 25 0 1 0 637177787 128307200 30231 4294967295 134512640 134714508 3221221776 3221220356 134549709 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31325 30231 1111 63 0 31262 0
vsize: 125300
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 30913 0 0 0 58875 132 0 0 25 0 1 0 637177787 130654208 30796 4294967295 134512640 134714508 3221221776 3221220480 134528735 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31898 30796 1111 63 0 31835 0
vsize: 127592
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 31501 0 0 0 59873 134 0 0 25 0 1 0 637177787 133017600 31384 4294967295 134512640 134714508 3221221776 3221220464 134551890 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32475 31384 1111 63 0 32412 0
vsize: 129900
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 32068 0 0 0 60871 136 0 0 25 0 1 0 637177787 135315456 31951 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33036 31951 1111 63 0 32973 0
vsize: 132144
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 32520 0 0 0 61869 138 0 0 25 0 1 0 637177787 137224192 32403 4294967295 134512640 134714508 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33502 32403 1111 63 0 33439 0
vsize: 134008
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 32928 0 0 0 62867 140 0 0 25 0 1 0 637177787 138977280 32802 4294967295 134512640 134714508 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33930 32802 1111 63 0 33867 0
vsize: 135720
[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 33393 0 0 0 63866 142 0 0 25 0 1 0 637177787 141099008 33267 4294967295 134512640 134714508 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34448 33267 1111 63 0 34385 0
vsize: 137792
[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 33884 0 0 0 64863 145 0 0 25 0 1 0 637177787 143032320 33757 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34920 33757 1111 63 0 34857 0
vsize: 139680
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 34082 0 0 0 65862 146 0 0 25 0 1 0 637177787 143843328 33955 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35118 33955 1111 63 0 35055 0
vsize: 140472
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 34343 0 0 0 66861 147 0 0 25 0 1 0 637177787 144928768 34215 4294967295 134512640 134714508 3221221776 3221220512 134535840 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35383 34215 1111 63 0 35320 0
vsize: 141532
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 34575 0 0 0 67860 148 0 0 25 0 1 0 637177787 145874944 34447 4294967295 134512640 134714508 3221221776 3221220456 134552642 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35614 34447 1111 63 0 35551 0
vsize: 142456
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 34811 0 0 0 68859 149 0 0 25 0 1 0 637177787 146956288 34683 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35878 34683 1111 63 0 35815 0
vsize: 143512
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 35021 0 0 0 69859 150 0 0 25 0 1 0 637177787 147767296 34893 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36076 34893 1111 63 0 36013 0
vsize: 144304
[startup+710.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 35216 0 0 0 70858 151 0 0 25 0 1 0 637177787 148578304 35088 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36274 35088 1111 63 0 36211 0
vsize: 145096
[startup+720.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 35416 0 0 0 71858 151 0 0 25 0 1 0 637177787 149389312 35288 4294967295 134512640 134714508 3221221776 3221220560 134529243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36472 35288 1111 63 0 36409 0
vsize: 145888
[startup+730.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 35896 0 0 0 72856 153 0 0 25 0 1 0 637177787 151281664 35768 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36934 35768 1111 63 0 36871 0
vsize: 147736
[startup+740.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 36270 0 0 0 73855 155 0 0 25 0 1 0 637177787 152768512 36142 4294967295 134512640 134714508 3221221776 3221220488 134552633 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37297 36142 1111 63 0 37234 0
vsize: 149188
[startup+750.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 36586 0 0 0 74853 156 0 0 25 0 1 0 637177787 154181632 36458 4294967295 134512640 134714508 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37642 36458 1111 63 0 37579 0
vsize: 150568
[startup+760.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 36782 0 0 0 75852 158 0 0 25 0 1 0 637177787 154898432 36654 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37817 36654 1111 63 0 37754 0
vsize: 151268
[startup+770.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 36987 0 0 0 76851 159 0 0 25 0 1 0 637177787 155910144 36850 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38064 36850 1111 63 0 38001 0
vsize: 152256
[startup+780.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 37167 0 0 0 77850 160 0 0 25 0 1 0 637177787 156614656 37029 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38236 37029 1111 63 0 38173 0
vsize: 152944
[startup+790.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 37337 0 0 0 78850 160 0 0 25 0 1 0 637177787 157306880 37199 4294967295 134512640 134714508 3221221776 3221220560 134529365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38405 37199 1111 63 0 38342 0
vsize: 153620
[startup+800.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 37473 0 0 0 79850 161 0 0 25 0 1 0 637177787 157900800 37335 4294967295 134512640 134714508 3221221776 3221220540 134552560 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38550 37335 1111 63 0 38487 0
vsize: 154200
[startup+810.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 37603 0 0 0 80850 161 0 0 25 0 1 0 637177787 158441472 37465 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38682 37465 1111 63 0 38619 0
vsize: 154728
[startup+820.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 37833 0 0 0 81849 162 0 0 25 0 1 0 637177787 159404032 37689 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38917 37689 1111 63 0 38854 0
vsize: 155668
[startup+830.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 38006 0 0 0 82849 163 0 0 25 0 1 0 637177787 160141312 37862 4294967295 134512640 134714508 3221221776 3221220364 134535649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39097 37862 1111 63 0 39034 0
vsize: 156388
[startup+840.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 38576 0 0 0 83847 164 0 0 25 0 1 0 637177787 162439168 38432 4294967295 134512640 134714508 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39658 38432 1111 63 0 39595 0
vsize: 158632
[startup+850.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 39016 0 0 0 84846 166 0 0 25 0 1 0 637177787 164196352 38872 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40087 38872 1111 63 0 40024 0
vsize: 160348
[startup+860.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 39319 0 0 0 85845 167 0 0 25 0 1 0 637177787 165478400 39170 4294967295 134512640 134714508 3221221776 3221220332 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40400 39170 1111 63 0 40337 0
vsize: 161600
[startup+870.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 39638 0 0 0 86845 168 0 0 25 0 1 0 637177787 166830080 39489 4294967295 134512640 134714508 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40730 39489 1111 63 0 40667 0
vsize: 162920
[startup+880.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 39929 0 0 0 87844 169 0 0 25 0 1 0 637177787 168071168 39779 4294967295 134512640 134714508 3221221776 3221220452 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41033 39779 1111 63 0 40970 0
vsize: 164132
[startup+890.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 40100 0 0 0 88843 169 0 0 25 0 1 0 637177787 168747008 39951 4294967295 134512640 134714508 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41198 39951 1111 63 0 41135 0
vsize: 164792
[startup+900.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 40351 0 0 0 89842 171 0 0 25 0 1 0 637177787 169693184 40201 4294967295 134512640 134714508 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41429 40201 1111 63 0 41366 0
vsize: 165716
[startup+910.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 40551 0 0 0 90841 172 0 0 25 0 1 0 637177787 170651648 40401 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41663 40401 1111 63 0 41600 0
vsize: 166652
[startup+920.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 40764 0 0 0 91841 172 0 0 25 0 1 0 637177787 171606016 40614 4294967295 134512640 134714508 3221221776 3221220352 134549802 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41896 40614 1111 63 0 41833 0
vsize: 167584
[startup+930.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 40930 0 0 0 92840 173 0 0 25 0 1 0 637177787 172281856 40780 4294967295 134512640 134714508 3221221776 3221220492 134551880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42061 40780 1111 63 0 41998 0
vsize: 168244
[startup+940.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 41130 0 0 0 93839 174 0 0 25 0 1 0 637177787 173113344 40977 4294967295 134512640 134714508 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42264 40977 1111 63 0 42201 0
vsize: 169056
[startup+950.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 41261 0 0 0 94839 175 0 0 25 0 1 0 637177787 173694976 41105 4294967295 134512640 134714508 3221221776 3221220528 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42406 41105 1111 63 0 42343 0
vsize: 169624
[startup+960.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 41401 0 0 0 95838 176 0 0 25 0 1 0 637177787 174235648 41245 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42538 41245 1111 63 0 42475 0
vsize: 170152
[startup+970.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 41562 0 0 0 96838 176 0 0 25 0 1 0 637177787 174911488 41406 4294967295 134512640 134714508 3221221776 3221220464 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42703 41406 1111 63 0 42640 0
vsize: 170812
[startup+980.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 41736 0 0 0 97837 177 0 0 25 0 1 0 637177787 175632384 41576 4294967295 134512640 134714508 3221221776 3221220412 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42879 41576 1111 63 0 42816 0
vsize: 171516
[startup+990.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 41882 0 0 0 98836 179 0 0 25 0 1 0 637177787 176173056 41722 4294967295 134512640 134714508 3221221776 3221220332 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43011 41722 1111 63 0 42948 0
vsize: 172044
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 42043 0 0 0 99835 179 0 0 25 0 1 0 637177787 176848896 41883 4294967295 134512640 134714508 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43176 41883 1111 63 0 43113 0
vsize: 172704
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 42185 0 0 0 100834 180 0 0 25 0 1 0 637177787 177389568 42025 4294967295 134512640 134714508 3221221776 3221220388 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43308 42025 1111 63 0 43245 0
vsize: 173232
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 42334 0 0 0 101834 181 0 0 25 0 1 0 637177787 178065408 42174 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43473 42174 1111 63 0 43410 0
vsize: 173892
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 42485 0 0 0 102833 182 0 0 25 0 1 0 637177787 178606080 42325 4294967295 134512640 134714508 3221221776 3221220496 134535762 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43605 42325 1111 63 0 43542 0
vsize: 174420
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 42632 0 0 0 103833 183 0 0 25 0 1 0 637177787 179281920 42472 4294967295 134512640 134714508 3221221776 3221220544 134529115 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43770 42472 1111 63 0 43707 0
vsize: 175080
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 42785 0 0 0 104832 183 0 0 25 0 1 0 637177787 179822592 42625 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43902 42625 1111 63 0 43839 0
vsize: 175608
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 42939 0 0 0 105832 184 0 0 25 0 1 0 637177787 180498432 42779 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44067 42779 1111 63 0 44004 0
vsize: 176268
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 43075 0 0 0 106831 185 0 0 25 0 1 0 637177787 181039104 42915 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44199 42915 1111 63 0 44136 0
vsize: 176796
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 43218 0 0 0 107831 185 0 0 25 0 1 0 637177787 181579776 43058 4294967295 134512640 134714508 3221221776 3221220464 134551897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44331 43058 1111 63 0 44268 0
vsize: 177324
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 43356 0 0 0 108831 186 0 0 25 0 1 0 637177787 182120448 43196 4294967295 134512640 134714508 3221221776 3221220496 134528607 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44463 43196 1111 63 0 44400 0
vsize: 177852
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 43485 0 0 0 109830 186 0 0 25 0 1 0 637177787 182665216 43325 4294967295 134512640 134714508 3221221776 3221220464 134528602 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44596 43325 1111 63 0 44533 0
vsize: 178384
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 43609 0 0 0 110830 187 0 0 25 0 1 0 637177787 183205888 43449 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44728 43449 1111 63 0 44665 0
vsize: 178912
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 43728 0 0 0 111829 188 0 0 25 0 1 0 637177787 183611392 43568 4294967295 134512640 134714508 3221221776 3221220488 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44827 43568 1111 63 0 44764 0
vsize: 179308
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 43841 0 0 0 112829 188 0 0 25 0 1 0 637177787 184152064 43681 4294967295 134512640 134714508 3221221776 3221220408 134552673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44959 43681 1111 63 0 44896 0
vsize: 179836
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 43947 0 0 0 113829 188 0 0 25 0 1 0 637177787 184557568 43787 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45058 43787 1111 63 0 44995 0
vsize: 180232
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 44058 0 0 0 114829 189 0 0 25 0 1 0 637177787 184963072 43898 4294967295 134512640 134714508 3221221776 3221220480 134528732 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45157 43898 1111 63 0 45094 0
vsize: 180628
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 44174 0 0 0 115828 189 0 0 25 0 1 0 637177787 185446400 44013 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45275 44013 1111 63 0 45212 0
vsize: 181100
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 44286 0 0 0 116828 190 0 0 25 0 1 0 637177787 185987072 44125 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45407 44125 1111 63 0 45344 0
vsize: 181628
[startup+1175.06 s]
Raw data (loadavg): 0.99 0.97 0.94 1/53 19484
Raw data (stat): 19484 (bsolo_lpr) R 19483 7876 7672 0 -1 0 44286 0 0 0 116828 190 0 0 25 0 1 0 637177787 185987072 44125 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45407 44125 1111 63 0 45344 0
vsize: 0

Child status: 0
Real time (s): 1175.06
CPU time (s): 1175.2
CPU user time (s): 1173.21
CPU system time (s): 1.9897
CPU usage (%): 100.012
Max. virtual memory (Kb): 181628
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####