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-fpga14_14_sat_pb.cnf.cr.opb
MD5SUM	fe97068efc5fde8cbd48a084444e76d6
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	15
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.071988
Number of variables	294
Total number of constraints	238
Number of constraints which are clauses	210
Number of constraints which are cardinality constraints (but not clauses)	28
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	7
Maximum length of a constraint	14
Trace number 23317

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 10:16:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=316 boxname=wulflinc31 idbench=36 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  fe97068efc5fde8cbd48a084444e76d6  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga14_14_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-fpga14_14_sat_pb.cnf.cr.opb
IDLAUNCH: 316
/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:        928064 kB
Buffers:         37892 kB
Cached:          46720 kB
SwapCached:        864 kB
Active:          71776 kB
Inactive:        15248 kB
HighTotal:      131008 kB
HighFree:        83244 kB
LowTotal:       903652 kB
LowFree:        844820 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              72 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13944 kB
Committed_AS:    63640 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 10:36:00 (client local time) WITH STATUS 0 IN 1175.19 SECONDS
stats: 316 7 1175.19 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 294 variables and 238 constraints.
c After prepocess the problem consists of 294 variables and 238 constraints.
c preprocess terminated 0.173 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.06 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.88 0.97 0.99 2/54 22694
Raw data (stat): 22694 (runsolver) R 22693 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 639325739 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0009 s]
Raw data (loadavg): 0.90 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 3506 0 0 0 979 16 0 0 25 0 1 0 639325739 17514496 3427 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4276 3427 1111 63 0 4213 0
vsize: 17104
[startup+20.0021 s]
Raw data (loadavg): 0.91 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 5657 0 0 0 1971 24 0 0 25 0 1 0 639325739 26300416 5578 4294967295 134512640 134714508 3221221776 3221220496 134591847 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6421 5578 1111 63 0 6358 0
vsize: 25684
[startup+30.0027 s]
Raw data (loadavg): 0.92 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 6980 0 0 0 2966 29 0 0 25 0 1 0 639325739 31719424 6901 4294967295 134512640 134714508 3221221776 3221220336 134549730 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7744 6901 1111 63 0 7681 0
vsize: 30976
[startup+40.0026 s]
Raw data (loadavg): 0.94 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 8201 0 0 0 3961 35 0 0 25 0 1 0 639325739 36737024 8122 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8969 8122 1111 63 0 8906 0
vsize: 35876
[startup+50.003 s]
Raw data (loadavg): 0.95 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 9082 0 0 0 4957 38 0 0 25 0 1 0 639325739 40419328 8998 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9868 8998 1111 63 0 9805 0
vsize: 39472
[startup+60.0034 s]
Raw data (loadavg): 0.95 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 9977 0 0 0 5954 42 0 0 25 0 1 0 639325739 44277760 9893 4294967295 134512640 134714508 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10810 9893 1111 63 0 10747 0
vsize: 43240
[startup+70.0034 s]
Raw data (loadavg): 0.96 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 10984 0 0 0 6951 45 0 0 25 0 1 0 639325739 48332800 10900 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11800 10900 1111 63 0 11737 0
vsize: 47200
[startup+80.0047 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 11770 0 0 0 7947 49 0 0 25 0 1 0 639325739 51576832 11686 4294967295 134512640 134714508 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12592 11686 1111 63 0 12529 0
vsize: 50368
[startup+90.0043 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 12442 0 0 0 8945 52 0 0 25 0 1 0 639325739 54308864 12357 4294967295 134512640 134714508 3221221776 3221220384 134549324 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13259 12357 1111 63 0 13196 0
vsize: 53036
[startup+100.004 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 13242 0 0 0 9942 55 0 0 25 0 1 0 639325739 57565184 13157 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14054 13157 1111 63 0 13991 0
vsize: 56216
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 14145 0 0 0 10938 59 0 0 25 0 1 0 639325739 61218816 14058 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14946 14058 1111 63 0 14883 0
vsize: 59784
[startup+120.006 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 14944 0 0 0 11935 62 0 0 25 0 1 0 639325739 64462848 14857 4294967295 134512640 134714508 3221221776 3221220232 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15738 14857 1111 63 0 15675 0
vsize: 62952
[startup+130.007 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 15655 0 0 0 12933 65 0 0 25 0 1 0 639325739 67485696 15566 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16476 15566 1111 63 0 16413 0
vsize: 65904
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 16191 0 0 0 13930 67 0 0 25 0 1 0 639325739 69697536 16102 4294967295 134512640 134714508 3221221776 3221220520 134558477 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17016 16102 1111 63 0 16953 0
vsize: 68064
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 17177 0 0 0 14926 72 0 0 25 0 1 0 639325739 73773056 17087 4294967295 134512640 134714508 3221221776 3221220232 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18011 17087 1111 63 0 17948 0
vsize: 72044
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 18299 0 0 0 15922 76 0 0 25 0 1 0 639325739 78401536 18208 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19141 18208 1111 63 0 19078 0
vsize: 76564
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 19593 0 0 0 16916 82 0 0 25 0 1 0 639325739 83673088 19502 4294967295 134512640 134714508 3221221776 3221220440 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20428 19502 1111 63 0 20365 0
vsize: 81712
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 20622 0 0 0 17912 86 0 0 25 0 1 0 639325739 87863296 20531 4294967295 134512640 134714508 3221221776 3221220488 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21451 20531 1111 63 0 21388 0
vsize: 85804
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 21187 0 0 0 18910 88 0 0 25 0 1 0 639325739 90169344 21096 4294967295 134512640 134714508 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22014 21096 1111 63 0 21951 0
vsize: 88056
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 22104 0 0 0 19907 91 0 0 25 0 1 0 639325739 93982720 22013 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22945 22013 1111 63 0 22882 0
vsize: 91780
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 22980 0 0 0 20905 94 0 0 25 0 1 0 639325739 97677312 22889 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23847 22889 1111 63 0 23784 0
vsize: 95388
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 23547 0 0 0 21902 97 0 0 25 0 1 0 639325739 99966976 23456 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24406 23456 1111 63 0 24343 0
vsize: 97624
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 24292 0 0 0 22899 100 0 0 25 0 1 0 639325739 103075840 24201 4294967295 134512640 134714508 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25165 24201 1111 63 0 25102 0
vsize: 100660
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 24834 0 0 0 23897 103 0 0 25 0 1 0 639325739 105283584 24739 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25704 24739 1111 63 0 25641 0
vsize: 102816
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 25203 0 0 0 24895 105 0 0 25 0 1 0 639325739 106799104 25106 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26074 25106 1111 63 0 26011 0
vsize: 104296
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 25621 0 0 0 25894 106 0 0 25 0 1 0 639325739 108457984 25524 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26479 25524 1111 63 0 26416 0
vsize: 105916
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 26278 0 0 0 26892 108 0 0 25 0 1 0 639325739 111222784 26180 4294967295 134512640 134714508 3221221776 3221220404 134696230 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27154 26180 1111 63 0 27091 0
vsize: 108616
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 27286 0 0 0 27888 112 0 0 25 0 1 0 639325739 115425280 27187 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28180 27187 1111 63 0 28117 0
vsize: 112720
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 28043 0 0 0 28886 115 0 0 25 0 1 0 639325739 118530048 27943 4294967295 134512640 134714508 3221221776 3221220324 134535481 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28938 27943 1111 63 0 28875 0
vsize: 115752
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 28969 0 0 0 29882 118 0 0 25 0 1 0 639325739 122314752 28869 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29862 28869 1111 63 0 29799 0
vsize: 119448
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 29567 0 0 0 30880 121 0 0 25 0 1 0 639325739 124776448 29467 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30463 29467 1111 63 0 30400 0
vsize: 121852
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 30093 0 0 0 31878 123 0 0 25 0 1 0 639325739 126803968 29993 4294967295 134512640 134714508 3221221776 3221220560 134529243 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30958 29993 1111 63 0 30895 0
vsize: 123832
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 30587 0 0 0 32876 125 0 0 25 0 1 0 639325739 128831488 30487 4294967295 134512640 134714508 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31453 30487 1111 63 0 31390 0
vsize: 125812
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 31022 0 0 0 33875 126 0 0 25 0 1 0 639325739 130736128 30922 4294967295 134512640 134714508 3221221776 3221220440 134613401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31918 30922 1111 63 0 31855 0
vsize: 127672
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 31384 0 0 0 34874 127 0 0 25 0 1 0 639325739 132087808 31282 4294967295 134512640 134714508 3221221776 3221220288 134535285 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32248 31282 1111 63 0 32185 0
vsize: 128992
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 31886 0 0 0 35872 129 0 0 25 0 1 0 639325739 134266880 31784 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32780 31784 1111 63 0 32717 0
vsize: 131120
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 32470 0 0 0 36870 132 0 0 25 0 1 0 639325739 136732672 32368 4294967295 134512640 134714508 3221221776 3221220456 134552650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33382 32368 1111 63 0 33319 0
vsize: 133528
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 32829 0 0 0 37869 133 0 0 25 0 1 0 639325739 138219520 32726 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33745 32726 1111 63 0 33682 0
vsize: 134980
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 33235 0 0 0 38867 135 0 0 25 0 1 0 639325739 139841536 33132 4294967295 134512640 134714508 3221221776 3221219860 134697343 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34141 33132 1111 63 0 34078 0
vsize: 136564
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 33710 0 0 0 39865 137 0 0 25 0 1 0 639325739 141807616 33606 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34621 33606 1111 63 0 34558 0
vsize: 138484
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 34106 0 0 0 40864 139 0 0 25 0 1 0 639325739 143646720 34002 4294967295 134512640 134714508 3221221776 3221220480 134528671 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35070 34002 1111 63 0 35007 0
vsize: 140280
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 34511 0 0 0 41863 140 0 0 25 0 1 0 639325739 145485824 34403 4294967295 134512640 134714508 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35519 34403 1111 63 0 35456 0
vsize: 142076
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 34861 0 0 0 42862 141 0 0 25 0 1 0 639325739 146837504 34753 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35849 34753 1111 63 0 35786 0
vsize: 143396
[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 35719 0 0 0 43860 143 0 0 25 0 1 0 639325739 150396928 35606 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36718 35606 1111 63 0 36655 0
vsize: 146872
[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 36638 0 0 0 44857 147 0 0 25 0 1 0 639325739 154210304 36521 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37649 36521 1111 63 0 37586 0
vsize: 150596
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 37428 0 0 0 45854 150 0 0 25 0 1 0 639325739 157454336 37311 4294967295 134512640 134714508 3221221776 3221220416 134696119 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38441 37311 1111 63 0 38378 0
vsize: 153764
[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 38043 0 0 0 46852 152 0 0 25 0 1 0 639325739 159887360 37926 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39035 37926 1111 63 0 38972 0
vsize: 156140
[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 38350 0 0 0 47851 153 0 0 25 0 1 0 639325739 161103872 38232 4294967295 134512640 134714508 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39332 38232 1111 63 0 39269 0
vsize: 157328
[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 38782 0 0 0 48849 155 0 0 25 0 1 0 639325739 162861056 38664 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39761 38664 1111 63 0 39698 0
vsize: 159044
[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 39119 0 0 0 49848 156 0 0 25 0 1 0 639325739 164352000 39001 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40125 39001 1111 63 0 40062 0
vsize: 160500
[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 39430 0 0 0 50848 157 0 0 25 0 1 0 639325739 165625856 39312 4294967295 134512640 134714508 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40436 39312 1111 63 0 40373 0
vsize: 161744
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 40147 0 0 0 51845 160 0 0 25 0 1 0 639325739 168464384 40029 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41129 40029 1111 63 0 41066 0
vsize: 164516
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 40973 0 0 0 52843 162 0 0 25 0 1 0 639325739 171978752 40854 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41987 40854 1111 63 0 41924 0
vsize: 167948
[startup+540.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 41651 0 0 0 53840 166 0 0 25 0 1 0 639325739 174682112 41532 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42647 41532 1111 63 0 42584 0
vsize: 170588
[startup+550.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 42340 0 0 0 54837 168 0 0 25 0 1 0 639325739 177516544 42221 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43339 42221 1111 63 0 43276 0
vsize: 173356
[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 42767 0 0 0 55836 170 0 0 25 0 1 0 639325739 179277824 42647 4294967295 134512640 134714508 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43769 42647 1111 63 0 43706 0
vsize: 175076
[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 43122 0 0 0 56835 171 0 0 25 0 1 0 639325739 180764672 43001 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44132 43001 1111 63 0 44069 0
vsize: 176528
[startup+580.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 43467 0 0 0 57835 172 0 0 25 0 1 0 639325739 182173696 43346 4294967295 134512640 134714508 3221221776 3221220480 134528702 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44476 43346 1111 63 0 44413 0
vsize: 177904
[startup+590.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 43910 0 0 0 58834 173 0 0 25 0 1 0 639325739 184070144 43789 4294967295 134512640 134714508 3221221776 3221220288 134535026 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44939 43789 1111 63 0 44876 0
vsize: 179756
[startup+600.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 44200 0 0 0 59832 175 0 0 25 0 1 0 639325739 185151488 44079 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45203 44079 1111 63 0 45140 0
vsize: 180812
[startup+610.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 44401 0 0 0 60832 176 0 0 25 0 1 0 639325739 185970688 44280 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45403 44280 1111 63 0 45340 0
vsize: 181612
[startup+620.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 44744 0 0 0 61831 177 0 0 25 0 1 0 639325739 187506688 44622 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45778 44622 1111 63 0 45715 0
vsize: 183112
[startup+630.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 45165 0 0 0 62829 179 0 0 25 0 1 0 639325739 189128704 45043 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46174 45043 1111 63 0 46111 0
vsize: 184696
[startup+640.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 45594 0 0 0 63827 181 0 0 25 0 1 0 639325739 190885888 45472 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46603 45472 1111 63 0 46540 0
vsize: 186412
[startup+650.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 45888 0 0 0 64826 182 0 0 25 0 1 0 639325739 192102400 45766 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46900 45766 1111 63 0 46837 0
vsize: 187600
[startup+660.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 46144 0 0 0 65826 183 0 0 25 0 1 0 639325739 193044480 46022 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47130 46022 1111 63 0 47067 0
vsize: 188520
[startup+670.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 46371 0 0 0 66825 183 0 0 25 0 1 0 639325739 193990656 46249 4294967295 134512640 134714508 3221221776 3221220332 134535631 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47361 46249 1111 63 0 47298 0
vsize: 189444
[startup+680.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 46681 0 0 0 67824 184 0 0 25 0 1 0 639325739 195399680 46558 4294967295 134512640 134714508 3221221776 3221220332 134535512 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47705 46558 1111 63 0 47642 0
vsize: 190820
[startup+690.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 47198 0 0 0 68822 187 0 0 25 0 1 0 639325739 197517312 47071 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48222 47071 1111 63 0 48159 0
vsize: 192888
[startup+700.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 47631 0 0 0 69821 189 0 0 25 0 1 0 639325739 199274496 47504 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48651 47504 1111 63 0 48588 0
vsize: 194604
[startup+710.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 47870 0 0 0 70820 189 0 0 25 0 1 0 639325739 200286208 47742 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48898 47742 1111 63 0 48835 0
vsize: 195592
[startup+720.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 48091 0 0 0 71819 190 0 0 25 0 1 0 639325739 201334784 47958 4294967295 134512640 134714508 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49154 47958 1111 63 0 49091 0
vsize: 196616
[startup+730.038 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 48291 0 0 0 72819 190 0 0 25 0 1 0 639325739 202027008 48158 4294967295 134512640 134714508 3221221776 3221220272 134535442 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49323 48158 1111 63 0 49260 0
vsize: 197292
[startup+740.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 48582 0 0 0 73818 192 0 0 25 0 1 0 639325739 203333632 48443 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49642 48443 1111 63 0 49579 0
vsize: 198568
[startup+750.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 48822 0 0 0 74818 192 0 0 25 0 1 0 639325739 204414976 48680 4294967295 134512640 134714508 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49906 48680 1111 63 0 49843 0
vsize: 199624
[startup+760.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 49047 0 0 0 75817 193 0 0 25 0 1 0 639325739 205398016 48905 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50146 48905 1111 63 0 50083 0
vsize: 200584
[startup+770.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 49387 0 0 0 76816 195 0 0 25 0 1 0 639325739 206794752 49242 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50487 49242 1111 63 0 50424 0
vsize: 201948
[startup+780.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 49687 0 0 0 77814 196 0 0 25 0 1 0 639325739 208052224 49542 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50794 49542 1111 63 0 50731 0
vsize: 203176
[startup+790.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 49861 0 0 0 78813 198 0 0 25 0 1 0 639325739 208728064 49716 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50959 49716 1111 63 0 50896 0
vsize: 203836
[startup+800.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 50034 0 0 0 79813 198 0 0 25 0 1 0 639325739 209403904 49889 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51124 49889 1111 63 0 51061 0
vsize: 204496
[startup+810.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 50174 0 0 0 80813 198 0 0 25 0 1 0 639325739 209989632 50025 4294967295 134512640 134714508 3221221776 3221220368 134549742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51267 50025 1111 63 0 51204 0
vsize: 205068
[startup+820.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 50329 0 0 0 81812 199 0 0 25 0 1 0 639325739 210530304 50180 4294967295 134512640 134714508 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51399 50180 1111 63 0 51336 0
vsize: 205596
[startup+830.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 50628 0 0 0 82812 200 0 0 25 0 1 0 639325739 211947520 50477 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51745 50477 1111 63 0 51682 0
vsize: 206980
[startup+840.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 50848 0 0 0 83811 201 0 0 25 0 1 0 639325739 212762624 50697 4294967295 134512640 134714508 3221221776 3221220548 134529151 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51944 50697 1111 63 0 51881 0
vsize: 207776
[startup+850.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 51045 0 0 0 84810 202 0 0 25 0 1 0 639325739 213573632 50894 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52142 50894 1111 63 0 52079 0
vsize: 208568
[startup+860.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 51163 0 0 0 85810 202 0 0 25 0 1 0 639325739 214151168 51009 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52283 51009 1111 63 0 52220 0
vsize: 209132
[startup+870.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 51364 0 0 0 86810 203 0 0 25 0 1 0 639325739 214974464 51204 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52484 51204 1111 63 0 52421 0
vsize: 209936
[startup+880.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 51576 0 0 0 87809 204 0 0 25 0 1 0 639325739 215851008 51414 4294967295 134512640 134714508 3221221776 3221220452 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52698 51414 1111 63 0 52635 0
vsize: 210792
[startup+890.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 51848 0 0 0 88807 205 0 0 25 0 1 0 639325739 216932352 51686 4294967295 134512640 134714508 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52962 51686 1111 63 0 52899 0
vsize: 211848
[startup+900.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 52078 0 0 0 89807 206 0 0 25 0 1 0 639325739 217886720 51916 4294967295 134512640 134714508 3221221776 3221220428 134536823 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53195 51916 1111 63 0 53132 0
vsize: 212780
[startup+910.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 52328 0 0 0 90806 207 0 0 25 0 1 0 639325739 219131904 52163 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53499 52163 1111 63 0 53436 0
vsize: 213996
[startup+920.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 52597 0 0 0 91805 208 0 0 25 0 1 0 639325739 220213248 52432 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53763 52432 1111 63 0 53700 0
vsize: 215052
[startup+930.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 52875 0 0 0 92804 210 0 0 25 0 1 0 639325739 221392896 52710 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54051 52710 1111 63 0 53988 0
vsize: 216204
[startup+940.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 53096 0 0 0 93803 210 0 0 25 0 1 0 639325739 222343168 52931 4294967295 134512640 134714508 3221221776 3221220344 134535987 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54283 52931 1111 63 0 54220 0
vsize: 217132
[startup+950.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 53390 0 0 0 94802 211 0 0 25 0 1 0 639325739 223625216 53222 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54596 53222 1111 63 0 54533 0
vsize: 218384
[startup+960.045 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 53721 0 0 0 95801 213 0 0 25 0 1 0 639325739 224976896 53553 4294967295 134512640 134714508 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54926 53553 1111 63 0 54863 0
vsize: 219704
[startup+970.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 54042 0 0 0 96800 214 0 0 25 0 1 0 639325739 226336768 53874 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55258 53874 1111 63 0 55195 0
vsize: 221032
[startup+980.046 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 54426 0 0 0 97799 215 0 0 25 0 1 0 639325739 228065280 54249 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55680 54249 1111 63 0 55617 0
vsize: 222720
[startup+990.046 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 54732 0 0 0 98798 217 0 0 25 0 1 0 639325739 229281792 54555 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55977 54555 1111 63 0 55914 0
vsize: 223908
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 54932 0 0 0 99797 218 0 0 25 0 1 0 639325739 229965824 54755 4294967295 134512640 134714508 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56144 54755 1111 63 0 56081 0
vsize: 224576
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 55226 0 0 0 100796 219 0 0 25 0 1 0 639325739 231387136 55040 4294967295 134512640 134714508 3221221776 3221220364 134535952 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56491 55040 1111 63 0 56428 0
vsize: 225964
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 55440 0 0 0 101796 220 0 0 25 0 1 0 639325739 232284160 55246 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56710 55246 1111 63 0 56647 0
vsize: 226840
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 55672 0 0 0 102795 221 0 0 25 0 1 0 639325739 233295872 55469 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56957 55469 1111 63 0 56894 0
vsize: 227828
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 55849 0 0 0 103794 222 0 0 25 0 1 0 639325739 234033152 55646 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57137 55646 1111 63 0 57074 0
vsize: 228548
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 56146 0 0 0 104793 223 0 0 25 0 1 0 639325739 235343872 55934 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57457 55934 1111 63 0 57394 0
vsize: 229828
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 56346 0 0 0 105792 224 0 0 25 0 1 0 639325739 236355584 56134 4294967295 134512640 134714508 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57704 56134 1111 63 0 57641 0
vsize: 230816
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 56547 0 0 0 106791 225 0 0 25 0 1 0 639325739 237166592 56335 4294967295 134512640 134714508 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57902 56335 1111 63 0 57839 0
vsize: 231608
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 56778 0 0 0 107790 226 0 0 25 0 1 0 639325739 238120960 56566 4294967295 134512640 134714508 3221221776 3221220392 134549509 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58135 56566 1111 63 0 58072 0
vsize: 232540
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 56941 0 0 0 108789 227 0 0 25 0 1 0 639325739 238678016 56725 4294967295 134512640 134714508 3221221776 3221220360 134549705 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58271 56725 1111 63 0 58208 0
vsize: 233084
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 57170 0 0 0 109789 228 0 0 25 0 1 0 639325739 239624192 56954 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58502 56954 1111 63 0 58439 0
vsize: 234008
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 57428 0 0 0 110788 228 0 0 25 0 1 0 639325739 240775168 57204 4294967295 134512640 134714508 3221221776 3221220428 134536845 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58783 57204 1111 63 0 58720 0
vsize: 235132
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 57697 0 0 0 111787 230 0 0 25 0 1 0 639325739 241917952 57465 4294967295 134512640 134714508 3221221776 3221220428 134536763 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59062 57465 1111 63 0 58999 0
vsize: 236248
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 57837 0 0 0 112787 230 0 0 25 0 1 0 639325739 242458624 57605 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59194 57605 1111 63 0 59131 0
vsize: 236776
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 57966 0 0 0 113787 231 0 0 25 0 1 0 639325739 243036160 57734 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59335 57734 1111 63 0 59272 0
vsize: 237340
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 58122 0 0 0 114786 231 0 0 25 0 1 0 639325739 243642368 57888 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59483 57888 1111 63 0 59420 0
vsize: 237932
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 58241 0 0 0 115786 231 0 0 25 0 1 0 639325739 244080640 58007 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59590 58007 1111 63 0 59527 0
vsize: 238360
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 58443 0 0 0 116785 232 0 0 25 0 1 0 639325739 245108736 58206 4294967295 134512640 134714508 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59841 58206 1111 63 0 59778 0
vsize: 239364
[startup+1175.06 s]
Raw data (loadavg): 0.99 0.97 0.99 1/53 22694
Raw data (stat): 22694 (bsolo_lpr) R 22693 7876 7672 0 -1 0 58443 0 0 0 116785 232 0 0 25 0 1 0 639325739 245108736 58206 4294967295 134512640 134714508 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59841 58206 1111 63 0 59778 0
vsize: 0

Child status: 0
Real time (s): 1175.06
CPU time (s): 1175.19
CPU user time (s): 1172.75
CPU system time (s): 2.44163
CPU usage (%): 100.011
Max. virtual memory (Kb): 239364
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####