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-fpga13_11_sat_pb.cnf.cr.opb
MD5SUM	32e3ba70c369e104da40b8d0cd94d02f
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	14
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.051991
Number of variables	215
Total number of constraints	178
Number of constraints which are clauses	154
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	13
Trace number 23292

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 05:18:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=271 boxname=wulflinc31 idbench=31 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  32e3ba70c369e104da40b8d0cd94d02f  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga13_11_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-fpga13_11_sat_pb.cnf.cr.opb
IDLAUNCH: 271
/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:        928620 kB
Buffers:         37496 kB
Cached:          46504 kB
SwapCached:        864 kB
Active:          71500 kB
Inactive:        14880 kB
HighTotal:      131008 kB
HighFree:        83496 kB
LowTotal:       903652 kB
LowFree:        845124 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              48 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13976 kB
Committed_AS:    63636 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 05:37:42 (client local time) WITH STATUS 0 IN 1175.15 SECONDS
stats: 271 7 1175.15 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 215 variables and 178 constraints.
c After prepocess the problem consists of 215 variables and 178 constraints.
c preprocess terminated 0.115 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.05 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.87 0.97 0.94 2/54 20019
Raw data (stat): 20019 (runsolver) R 20018 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 637535760 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.0007 s]
Raw data (loadavg): 0.89 0.97 0.94 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 2949 0 0 0 983 13 0 0 25 0 1 0 637535760 15216640 2870 4294967295 134512640 134714508 3221221776 3221220416 134696119 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3715 2870 1111 63 0 3652 0
vsize: 14860
[startup+20.0018 s]
Raw data (loadavg): 0.98 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 4492 0 0 0 1977 19 0 0 25 0 1 0 637535760 21573632 4413 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5267 4413 1111 63 0 5204 0
vsize: 21068
[startup+30.003 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 5463 0 0 0 2971 24 0 0 25 0 1 0 637535760 25493504 5384 4294967295 134512640 134714508 3221221776 3221220492 134552672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6224 5384 1111 63 0 6161 0
vsize: 24896
[startup+40.0024 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 6285 0 0 0 3967 28 0 0 25 0 1 0 637535760 28876800 6206 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7050 6206 1111 63 0 6987 0
vsize: 28200
[startup+50.0051 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 6948 0 0 0 4965 30 0 0 25 0 1 0 637535760 31580160 6869 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7710 6869 1111 63 0 7647 0
vsize: 30840
[startup+60.0055 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 7760 0 0 0 5963 32 0 0 25 0 1 0 637535760 35004416 7681 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8546 7682 1111 63 0 8483 0
vsize: 34184
[startup+70.0062 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 8824 0 0 0 6959 36 0 0 25 0 1 0 637535760 39329792 8745 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9602 8745 1111 63 0 9539 0
vsize: 38408
[startup+80.0074 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 9567 0 0 0 7956 40 0 0 25 0 1 0 637535760 42450944 9488 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10364 9488 1111 63 0 10301 0
vsize: 41456
[startup+90.0073 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 10421 0 0 0 8953 42 0 0 25 0 1 0 637535760 45981696 10341 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11226 10341 1111 63 0 11163 0
vsize: 44904
[startup+100.008 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 11171 0 0 0 9951 45 0 0 25 0 1 0 637535760 49090560 11091 4294967295 134512640 134714508 3221221776 3221220396 134549508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11985 11091 1111 63 0 11922 0
vsize: 47940
[startup+110.008 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 11686 0 0 0 10950 47 0 0 25 0 1 0 637535760 51159040 11604 4294967295 134512640 134714508 3221221776 3221220360 134549708 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12490 11604 1111 63 0 12427 0
vsize: 49960
[startup+120.01 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 12296 0 0 0 11947 50 0 0 25 0 1 0 637535760 53747712 12214 4294967295 134512640 134714508 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13122 12214 1111 63 0 13059 0
vsize: 52488
[startup+130.01 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 12697 0 0 0 12945 52 0 0 25 0 1 0 637535760 55369728 12615 4294967295 134512640 134714508 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13518 12615 1111 63 0 13455 0
vsize: 54072
[startup+140.01 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 13214 0 0 0 13944 53 0 0 25 0 1 0 637535760 57634816 13132 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14071 13132 1111 63 0 14008 0
vsize: 56284
[startup+150.011 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 13707 0 0 0 14942 55 0 0 25 0 1 0 637535760 59736064 13621 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14584 13621 1111 63 0 14521 0
vsize: 58336
[startup+160.011 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 14036 0 0 0 15940 57 0 0 25 0 1 0 637535760 61108224 13949 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14919 13949 1111 63 0 14856 0
vsize: 59676
[startup+170.012 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 14420 0 0 0 16939 58 0 0 25 0 1 0 637535760 62783488 14331 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15328 14331 1111 63 0 15265 0
vsize: 61312
[startup+180.013 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 14860 0 0 0 17938 60 0 0 25 0 1 0 637535760 64671744 14764 4294967295 134512640 134714508 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15789 14764 1111 63 0 15726 0
vsize: 63156
[startup+190.012 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 15133 0 0 0 18936 62 0 0 25 0 1 0 637535760 65753088 15037 4294967295 134512640 134714508 3221221776 3221220464 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16053 15037 1111 63 0 15990 0
vsize: 64212
[startup+200.013 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 15428 0 0 0 19935 64 0 0 25 0 1 0 637535760 66875392 15331 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16327 15331 1111 63 0 16264 0
vsize: 65308
[startup+210.013 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 15710 0 0 0 20933 65 0 0 25 0 1 0 637535760 68153344 15613 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16639 15613 1111 63 0 16576 0
vsize: 66556
[startup+220.013 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 15929 0 0 0 21933 66 0 0 25 0 1 0 637535760 69001216 15832 4294967295 134512640 134714508 3221221776 3221220276 134535326 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16846 15832 1111 63 0 16783 0
vsize: 67384
[startup+230.014 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 16293 0 0 0 22931 68 0 0 25 0 1 0 637535760 70352896 16195 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17176 16195 1111 63 0 17113 0
vsize: 68704
[startup+240.013 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 16930 0 0 0 23929 70 0 0 25 0 1 0 637535760 73125888 16831 4294967295 134512640 134714508 3221221776 3221220332 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17853 16831 1111 63 0 17790 0
vsize: 71412
[startup+250.014 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 17329 0 0 0 24926 73 0 0 25 0 1 0 637535760 74747904 17230 4294967295 134512640 134714508 3221221776 3221220336 134535493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18249 17230 1111 63 0 18186 0
vsize: 72996
[startup+260.014 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 17698 0 0 0 25925 75 0 0 25 0 1 0 637535760 76234752 17599 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18612 17599 1111 63 0 18549 0
vsize: 74448
[startup+270.015 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 17952 0 0 0 26924 76 0 0 25 0 1 0 637535760 77332480 17853 4294967295 134512640 134714508 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18880 17853 1111 63 0 18817 0
vsize: 75520
[startup+280.015 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 18432 0 0 0 27922 77 0 0 25 0 1 0 637535760 79286272 18328 4294967295 134512640 134714508 3221221776 3221220272 134535442 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19357 18328 1111 63 0 19294 0
vsize: 77428
[startup+290.015 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 18767 0 0 0 28921 79 0 0 25 0 1 0 637535760 80637952 18663 4294967295 134512640 134714508 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19687 18663 1111 63 0 19624 0
vsize: 78748
[startup+300.016 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 19038 0 0 0 29920 80 0 0 25 0 1 0 637535760 81719296 18934 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19951 18934 1111 63 0 19888 0
vsize: 79804
[startup+310.016 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 19345 0 0 0 30918 82 0 0 25 0 1 0 637535760 83087360 19241 4294967295 134512640 134714508 3221221776 3221220464 134551897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20285 19241 1111 63 0 20222 0
vsize: 81140
[startup+320.017 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 19634 0 0 0 31917 83 0 0 25 0 1 0 637535760 84176896 19530 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20551 19530 1111 63 0 20488 0
vsize: 82204
[startup+330.018 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 19998 0 0 0 32916 85 0 0 25 0 1 0 637535760 85827584 19890 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20954 19890 1111 63 0 20891 0
vsize: 83816
[startup+340.017 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 20525 0 0 0 33914 87 0 0 25 0 1 0 637535760 87990272 20416 4294967295 134512640 134714508 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21482 20416 1111 63 0 21419 0
vsize: 85928
[startup+350.018 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 20979 0 0 0 34913 88 0 0 25 0 1 0 637535760 89882624 20870 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21944 20870 1111 63 0 21881 0
vsize: 87776
[startup+360.019 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 21410 0 0 0 35911 90 0 0 25 0 1 0 637535760 91639808 21301 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22373 21301 1111 63 0 22310 0
vsize: 89492
[startup+370.019 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 21975 0 0 0 36908 93 0 0 25 0 1 0 637535760 93827072 21866 4294967295 134512640 134714508 3221221776 3221220376 134549515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22907 21866 1111 63 0 22844 0
vsize: 91628
[startup+380.02 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 22641 0 0 0 37906 96 0 0 25 0 1 0 637535760 96665600 22532 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23600 22532 1111 63 0 23537 0
vsize: 94400
[startup+390.02 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 23084 0 0 0 38905 97 0 0 25 0 1 0 637535760 98422784 22975 4294967295 134512640 134714508 3221221776 3221220400 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24029 22975 1111 63 0 23966 0
vsize: 96116
[startup+400.021 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 23416 0 0 0 39904 98 0 0 25 0 1 0 637535760 99774464 23307 4294967295 134512640 134714508 3221221776 3221220560 134529359 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24359 23307 1111 63 0 24296 0
vsize: 97436
[startup+410.022 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 23655 0 0 0 40903 100 0 0 25 0 1 0 637535760 100929536 23542 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24641 23542 1111 63 0 24578 0
vsize: 98564
[startup+420.022 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 23874 0 0 0 41902 100 0 0 25 0 1 0 637535760 101781504 23759 4294967295 134512640 134714508 3221221776 3221220264 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24849 23759 1111 63 0 24786 0
vsize: 99396
[startup+430.023 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 24103 0 0 0 42901 101 0 0 25 0 1 0 637535760 102727680 23988 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25080 23988 1111 63 0 25017 0
vsize: 100320
[startup+440.023 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 24297 0 0 0 43901 102 0 0 25 0 1 0 637535760 103657472 24180 4294967295 134512640 134714508 3221221776 3221220436 134536752 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25307 24180 1111 63 0 25244 0
vsize: 101228
[startup+450.024 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 24470 0 0 0 44901 102 0 0 25 0 1 0 637535760 104402944 24352 4294967295 134512640 134714508 3221221776 3221220412 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25489 24352 1111 63 0 25426 0
vsize: 101956
[startup+460.025 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 24688 0 0 0 45901 103 0 0 25 0 1 0 637535760 105353216 24570 4294967295 134512640 134714508 3221221776 3221220480 134528687 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25721 24570 1111 63 0 25658 0
vsize: 102884
[startup+470.026 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 24911 0 0 0 46900 104 0 0 25 0 1 0 637535760 106229760 24789 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25935 24789 1111 63 0 25872 0
vsize: 103740
[startup+480.027 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 25096 0 0 0 47899 105 0 0 25 0 1 0 637535760 107118592 24974 4294967295 134512640 134714508 3221221776 3221220268 134552632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26152 24974 1111 63 0 26089 0
vsize: 104608
[startup+490.026 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 25305 0 0 0 48898 106 0 0 25 0 1 0 637535760 108019712 25180 4294967295 134512640 134714508 3221221776 3221220332 134535661 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26372 25180 1111 63 0 26309 0
vsize: 105488
[startup+500.027 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 25493 0 0 0 49898 106 0 0 25 0 1 0 637535760 108883968 25368 4294967295 134512640 134714508 3221221776 3221220480 134528576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26583 25368 1111 63 0 26520 0
vsize: 106332
[startup+510.027 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 25666 0 0 0 50897 107 0 0 25 0 1 0 637535760 109645824 25540 4294967295 134512640 134714508 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26769 25540 1111 63 0 26706 0
vsize: 107076
[startup+520.027 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 25827 0 0 0 51897 108 0 0 25 0 1 0 637535760 110190592 25700 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26902 25700 1111 63 0 26839 0
vsize: 107608
[startup+530.029 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 25998 0 0 0 52897 108 0 0 25 0 1 0 637535760 110919680 25871 4294967295 134512640 134714508 3221221776 3221220480 134528656 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27080 25871 1111 63 0 27017 0
vsize: 108320
[startup+540.028 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 26086 0 0 0 53897 108 0 0 25 0 1 0 637535760 111386624 25959 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27194 25959 1111 63 0 27131 0
vsize: 108776
[startup+550.029 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 26257 0 0 0 54897 109 0 0 25 0 1 0 637535760 112095232 26129 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27367 26129 1111 63 0 27304 0
vsize: 109468
[startup+560.029 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 26720 0 0 0 55895 110 0 0 25 0 1 0 637535760 114077696 26585 4294967295 134512640 134714508 3221221776 3221220372 134543703 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27851 26585 1111 63 0 27788 0
vsize: 111404
[startup+570.03 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 27101 0 0 0 56894 111 0 0 25 0 1 0 637535760 115568640 26966 4294967295 134512640 134714508 3221221776 3221220404 134696264 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28215 26966 1111 63 0 28152 0
vsize: 112860
[startup+580.031 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 27537 0 0 0 57891 114 0 0 25 0 1 0 637535760 117354496 27398 4294967295 134512640 134714508 3221221776 3221220332 134535620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28651 27398 1111 63 0 28588 0
vsize: 114604
[startup+590.031 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 27807 0 0 0 58890 116 0 0 25 0 1 0 637535760 118435840 27668 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28915 27668 1111 63 0 28852 0
vsize: 115660
[startup+600.032 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 28141 0 0 0 59888 118 0 0 25 0 1 0 637535760 119922688 28001 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29278 28001 1111 63 0 29215 0
vsize: 117112
[startup+610.032 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 28464 0 0 0 60887 120 0 0 25 0 1 0 637535760 121139200 28324 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29575 28324 1111 63 0 29512 0
vsize: 118300
[startup+620.033 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 28771 0 0 0 61885 122 0 0 25 0 1 0 637535760 122490880 28631 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29905 28631 1111 63 0 29842 0
vsize: 119620
[startup+630.033 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 28975 0 0 0 62884 123 0 0 25 0 1 0 637535760 123314176 28835 4294967295 134512640 134714508 3221221776 3221220528 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30106 28835 1111 63 0 30043 0
vsize: 120424
[startup+640.033 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 29191 0 0 0 63883 124 0 0 25 0 1 0 637535760 124297216 29049 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30346 29049 1111 63 0 30283 0
vsize: 121384
[startup+650.034 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 29340 0 0 0 64883 124 0 0 25 0 1 0 637535760 124850176 29197 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30481 29197 1111 63 0 30418 0
vsize: 121924
[startup+660.035 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 29506 0 0 0 65882 125 0 0 25 0 1 0 637535760 125526016 29363 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30646 29363 1111 63 0 30583 0
vsize: 122584
[startup+670.035 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 29697 0 0 0 66882 126 0 0 25 0 1 0 637535760 126357504 29553 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30849 29553 1111 63 0 30786 0
vsize: 123396
[startup+680.037 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 29800 0 0 0 67882 126 0 0 25 0 1 0 637535760 126763008 29656 4294967295 134512640 134714508 3221221776 3221220500 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30948 29656 1111 63 0 30885 0
vsize: 123792
[startup+690.037 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 29980 0 0 0 68881 127 0 0 25 0 1 0 637535760 127504384 29833 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31129 29833 1111 63 0 31066 0
vsize: 124516
[startup+700.037 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 30258 0 0 0 69881 128 0 0 25 0 1 0 637535760 128585728 30111 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31393 30111 1111 63 0 31330 0
vsize: 125572
[startup+710.038 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 30445 0 0 0 70880 129 0 0 25 0 1 0 637535760 129425408 30294 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31598 30294 1111 63 0 31535 0
vsize: 126392
[startup+720.038 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 30524 0 0 0 71880 129 0 0 25 0 1 0 637535760 129695744 30373 4294967295 134512640 134714508 3221221776 3221220464 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31664 30373 1111 63 0 31601 0
vsize: 126656
[startup+730.039 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 30863 0 0 0 72878 131 0 0 25 0 1 0 637535760 131182592 30712 4294967295 134512640 134714508 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32027 30712 1111 63 0 31964 0
vsize: 128108
[startup+740.039 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 31021 0 0 0 73877 132 0 0 25 0 1 0 637535760 131723264 30870 4294967295 134512640 134714508 3221221776 3221220380 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32159 30870 1111 63 0 32096 0
vsize: 128636
[startup+750.04 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 31252 0 0 0 74876 133 0 0 25 0 1 0 637535760 132669440 31101 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32390 31101 1111 63 0 32327 0
vsize: 129560
[startup+760.04 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 31415 0 0 0 75875 134 0 0 25 0 1 0 637535760 133345280 31264 4294967295 134512640 134714508 3221221776 3221220464 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32555 31264 1111 63 0 32492 0
vsize: 130220
[startup+770.041 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 31567 0 0 0 76875 135 0 0 25 0 1 0 637535760 134021120 31416 4294967295 134512640 134714508 3221221776 3221220512 134523856 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32720 31416 1111 63 0 32657 0
vsize: 130880
[startup+780.042 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 31718 0 0 0 77874 136 0 0 25 0 1 0 637535760 134578176 31567 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32856 31567 1111 63 0 32793 0
vsize: 131424
[startup+790.042 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 31875 0 0 0 78873 137 0 0 25 0 1 0 637535760 135254016 31724 4294967295 134512640 134714508 3221221776 3221220560 134529237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33021 31724 1111 63 0 32958 0
vsize: 132084
[startup+800.042 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 31993 0 0 0 79872 138 0 0 25 0 1 0 637535760 135794688 31842 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33153 31842 1111 63 0 33090 0
vsize: 132612
[startup+810.042 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 32093 0 0 0 80872 139 0 0 25 0 1 0 637535760 136232960 31941 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33260 31941 1111 63 0 33197 0
vsize: 133040
[startup+820.042 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 32183 0 0 0 81872 139 0 0 25 0 1 0 637535760 136503296 32031 4294967295 134512640 134714508 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33326 32031 1111 63 0 33263 0
vsize: 133304
[startup+830.043 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 32439 0 0 0 82871 140 0 0 25 0 1 0 637535760 137584640 32287 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33590 32287 1111 63 0 33527 0
vsize: 134360
[startup+840.043 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 32685 0 0 0 83870 141 0 0 25 0 1 0 637535760 138530816 32533 4294967295 134512640 134714508 3221221776 3221220216 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33821 32533 1111 63 0 33758 0
vsize: 135284
[startup+850.044 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 32961 0 0 0 84869 142 0 0 25 0 1 0 637535760 139747328 32809 4294967295 134512640 134714508 3221221776 3221220544 134529110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34118 32809 1111 63 0 34055 0
vsize: 136472
[startup+860.044 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 33251 0 0 0 85868 144 0 0 25 0 1 0 637535760 140828672 33099 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34382 33099 1111 63 0 34319 0
vsize: 137528
[startup+870.045 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 33490 0 0 0 86867 145 0 0 25 0 1 0 637535760 141910016 33338 4294967295 134512640 134714508 3221221776 3221220456 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34646 33338 1111 63 0 34583 0
vsize: 138584
[startup+880.046 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 33623 0 0 0 87867 145 0 0 25 0 1 0 637535760 142516224 33465 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34794 33465 1111 63 0 34731 0
vsize: 139176
[startup+890.046 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 33796 0 0 0 88866 146 0 0 25 0 1 0 637535760 143196160 33637 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34960 33637 1111 63 0 34897 0
vsize: 139840
[startup+900.047 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 33937 0 0 0 89866 147 0 0 25 0 1 0 637535760 143872000 33778 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35125 33778 1111 63 0 35062 0
vsize: 140500
[startup+910.048 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 34107 0 0 0 90865 148 0 0 25 0 1 0 637535760 144551936 33948 4294967295 134512640 134714508 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35291 33948 1111 63 0 35228 0
vsize: 141164
[startup+920.049 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 34269 0 0 0 91864 149 0 0 25 0 1 0 637535760 145092608 34110 4294967295 134512640 134714508 3221221776 3221220368 134549780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35423 34110 1111 63 0 35360 0
vsize: 141692
[startup+930.049 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 34510 0 0 0 92863 150 0 0 25 0 1 0 637535760 146255872 34346 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35707 34346 1111 63 0 35644 0
vsize: 142828
[startup+940.049 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 34782 0 0 0 93863 151 0 0 25 0 1 0 637535760 147480576 34616 4294967295 134512640 134714508 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36006 34616 1111 63 0 35943 0
vsize: 144024
[startup+950.049 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 35004 0 0 0 94862 151 0 0 25 0 1 0 637535760 148426752 34837 4294967295 134512640 134714508 3221221776 3221220276 134535326 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36237 34837 1111 63 0 36174 0
vsize: 144948
[startup+960.049 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 35163 0 0 0 95862 151 0 0 25 0 1 0 637535760 148967424 34996 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36369 34996 1111 63 0 36306 0
vsize: 145476
[startup+970.049 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 35282 0 0 0 96862 152 0 0 25 0 1 0 637535760 149508096 35115 4294967295 134512640 134714508 3221221776 3221220332 134535942 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36501 35115 1111 63 0 36438 0
vsize: 146004
[startup+980.049 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 35454 0 0 0 97861 153 0 0 25 0 1 0 637535760 150208512 35287 4294967295 134512640 134714508 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36672 35287 1111 63 0 36609 0
vsize: 146688
[startup+990.05 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 35657 0 0 0 98860 154 0 0 25 0 1 0 637535760 151085056 35481 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36886 35481 1111 63 0 36823 0
vsize: 147544
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 35796 0 0 0 99859 155 0 0 25 0 1 0 637535760 151625728 35620 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37018 35620 1111 63 0 36955 0
vsize: 148072
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 35926 0 0 0 100859 156 0 0 25 0 1 0 637535760 152174592 35748 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37152 35748 1111 63 0 37089 0
vsize: 148608
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 36046 0 0 0 101859 156 0 0 25 0 1 0 637535760 152715264 35867 4294967295 134512640 134714508 3221221776 3221220512 134535821 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37284 35867 1111 63 0 37221 0
vsize: 149136
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 36126 0 0 0 102858 156 0 0 25 0 1 0 637535760 153153536 35947 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37391 35947 1111 63 0 37328 0
vsize: 149564
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 36159 0 0 0 103858 157 0 0 25 0 1 0 637535760 153317376 35978 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37431 35978 1111 63 0 37368 0
vsize: 149724
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 36210 0 0 0 104858 157 0 0 25 0 1 0 637535760 153452544 36029 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37464 36029 1111 63 0 37401 0
vsize: 149856
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 36297 0 0 0 105858 157 0 0 25 0 1 0 637535760 153858048 36116 4294967295 134512640 134714508 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37563 36116 1111 63 0 37500 0
vsize: 150252
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 36475 0 0 0 106858 158 0 0 25 0 1 0 637535760 154603520 36292 4294967295 134512640 134714508 3221221776 3221220512 134529237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37745 36292 1111 63 0 37682 0
vsize: 150980
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 36579 0 0 0 107858 158 0 0 25 0 1 0 637535760 155086848 36390 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37863 36390 1111 63 0 37800 0
vsize: 151452
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 36710 0 0 0 108857 159 0 0 25 0 1 0 637535760 155643904 36521 4294967295 134512640 134714508 3221221776 3221220284 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37999 36521 1111 63 0 37936 0
vsize: 151996
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 36808 0 0 0 109857 159 0 0 25 0 1 0 637535760 156049408 36619 4294967295 134512640 134714508 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38098 36619 1111 63 0 38035 0
vsize: 152392
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 36958 0 0 0 110856 160 0 0 25 0 1 0 637535760 156590080 36769 4294967295 134512640 134714508 3221221776 3221220332 134535008 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38230 36769 1111 63 0 38167 0
vsize: 152920
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 37072 0 0 0 111856 160 0 0 25 0 1 0 637535760 157143040 36883 4294967295 134512640 134714508 3221221776 3221220384 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38365 36883 1111 63 0 38302 0
vsize: 153460
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 37193 0 0 0 112855 161 0 0 25 0 1 0 637535760 157638656 37001 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38486 37001 1111 63 0 38423 0
vsize: 153944
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 37269 0 0 0 113855 161 0 0 25 0 1 0 637535760 157908992 37077 4294967295 134512640 134714508 3221221776 3221220332 134535631 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38552 37077 1111 63 0 38489 0
vsize: 154208
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 37398 0 0 0 114855 162 0 0 25 0 1 0 637535760 158515200 37197 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38700 37197 1111 63 0 38637 0
vsize: 154800
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 37535 0 0 0 115854 163 0 0 25 0 1 0 637535760 159055872 37334 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38832 37334 1111 63 0 38769 0
vsize: 155328
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.99 0.95 2/54 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 37690 0 0 0 116854 163 0 0 25 0 1 0 637535760 159731712 37489 4294967295 134512640 134714508 3221221776 3221220464 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38997 37489 1111 63 0 38934 0
vsize: 155988
[startup+1175.02 s]
Raw data (loadavg): 0.99 0.99 0.95 1/53 20019
Raw data (stat): 20019 (bsolo_lpr) R 20018 7876 7672 0 -1 0 37690 0 0 0 116854 163 0 0 25 0 1 0 637535760 159731712 37489 4294967295 134512640 134714508 3221221776 3221220464 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38997 37489 1111 63 0 38934 0
vsize: 0

Child status: 0
Real time (s): 1175.02
CPU time (s): 1175.15
CPU user time (s): 1173.44
CPU system time (s): 1.71274
CPU usage (%): 100.011
Max. virtual memory (Kb): 155988
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####