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-fpga25_24_sat_pb.cnf.cr.opb
MD5SUM	c84a64f67029a09ef823a1b3017b5713
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	26
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.562914
Number of variables	900
Total number of constraints	673
Number of constraints which are clauses	624
Number of constraints which are cardinality constraints (but not clauses)	49
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	12
Maximum length of a constraint	25
Trace number 23357

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 18:15:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=388 boxname=wulflinc31 idbench=44 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  c84a64f67029a09ef823a1b3017b5713  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga25_24_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-fpga25_24_sat_pb.cnf.cr.opb
IDLAUNCH: 388
/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:        926620 kB
Buffers:         38580 kB
Cached:          47380 kB
SwapCached:        944 kB
Active:          72500 kB
Inactive:        15976 kB
HighTotal:      131008 kB
HighFree:        82600 kB
LowTotal:       903652 kB
LowFree:        844020 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              56 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14068 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 18:35:00 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 388 7 1175.04 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 900 variables and 673 constraints.
c After prepocess the problem consists of 900 variables and 673 constraints.
c preprocess terminated 0.956 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 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.86 0.95 0.97 2/54 26977
Raw data (stat): 26977 (runsolver) R 26976 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 642200065 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+9.99989 s]
Raw data (loadavg): 0.88 0.96 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 1908 0 0 0 985 9 0 0 25 0 1 0 642200065 10891264 1829 4294967295 134512640 134714508 3221221776 3221220504 134535782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2659 1829 1111 63 0 2596 0
vsize: 10636
[startup+20.0008 s]
Raw data (loadavg): 0.90 0.96 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 2235 0 0 0 1982 12 0 0 25 0 1 0 642200065 12218368 2156 4294967295 134512640 134714508 3221221776 3221220464 134528707 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2983 2156 1111 63 0 2920 0
vsize: 11932
[startup+30.0007 s]
Raw data (loadavg): 0.91 0.96 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 2391 0 0 0 2981 14 0 0 25 0 1 0 642200065 12877824 2312 4294967295 134512640 134714508 3221221776 3221220472 134543665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3144 2312 1111 63 0 3081 0
vsize: 12576
[startup+40.0016 s]
Raw data (loadavg): 0.93 0.96 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 2628 0 0 0 3978 16 0 0 25 0 1 0 642200065 13824000 2549 4294967295 134512640 134714508 3221221776 3221220400 134536678 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3375 2549 1111 63 0 3312 0
vsize: 13500
[startup+50.0029 s]
Raw data (loadavg): 0.94 0.96 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 2944 0 0 0 4976 18 0 0 25 0 1 0 642200065 15151104 2865 4294967295 134512640 134714508 3221221776 3221220528 134592373 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3699 2865 1111 63 0 3636 0
vsize: 14796
[startup+60.0025 s]
Raw data (loadavg): 0.95 0.96 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 3131 0 0 0 5975 20 0 0 25 0 1 0 642200065 15962112 3052 4294967295 134512640 134714508 3221221776 3221220272 134697328 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3897 3052 1111 63 0 3834 0
vsize: 15588
[startup+70.0035 s]
Raw data (loadavg): 0.95 0.96 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 3239 0 0 0 6974 21 0 0 25 0 1 0 642200065 16363520 3160 4294967295 134512640 134714508 3221221776 3221220400 134536675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3995 3160 1111 63 0 3932 0
vsize: 15980
[startup+80.0037 s]
Raw data (loadavg): 0.96 0.96 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 3295 0 0 0 7972 23 0 0 25 0 1 0 642200065 16629760 3216 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4060 3216 1111 63 0 3997 0
vsize: 16240
[startup+90.0043 s]
Raw data (loadavg): 0.97 0.96 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 3361 0 0 0 8972 24 0 0 25 0 1 0 642200065 16900096 3282 4294967295 134512640 134714508 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4126 3282 1111 63 0 4063 0
vsize: 16504
[startup+100.004 s]
Raw data (loadavg): 0.97 0.96 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 3399 0 0 0 9971 25 0 0 25 0 1 0 642200065 17022976 3320 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4156 3320 1111 63 0 4093 0
vsize: 16624
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 3453 0 0 0 10970 26 0 0 25 0 1 0 642200065 17281024 3374 4294967295 134512640 134714508 3221221776 3221219952 134697253 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4219 3374 1111 63 0 4156 0
vsize: 16876
[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 3536 0 0 0 11968 28 0 0 25 0 1 0 642200065 17547264 3457 4294967295 134512640 134714508 3221221776 3221220404 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4284 3457 1111 63 0 4221 0
vsize: 17136
[startup+130.005 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 3613 0 0 0 12968 28 0 0 25 0 1 0 642200065 17944576 3534 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4381 3534 1111 63 0 4318 0
vsize: 17524
[startup+140.006 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 3661 0 0 0 13967 30 0 0 25 0 1 0 642200065 18079744 3582 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4414 3582 1111 63 0 4351 0
vsize: 17656
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 3712 0 0 0 14966 31 0 0 25 0 1 0 642200065 18321408 3633 4294967295 134512640 134714508 3221221776 3221220260 134697361 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4473 3633 1111 63 0 4410 0
vsize: 17892
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 3761 0 0 0 15965 32 0 0 25 0 1 0 642200065 18456576 3682 4294967295 134512640 134714508 3221221776 3221220456 134552642 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4506 3682 1111 63 0 4443 0
vsize: 18024
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 3819 0 0 0 16964 33 0 0 25 0 1 0 642200065 18726912 3740 4294967295 134512640 134714508 3221221776 3221220452 1077374568 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4572 3740 1111 63 0 4509 0
vsize: 18288
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 3836 0 0 0 17964 33 0 0 25 0 1 0 642200065 18862080 3757 4294967295 134512640 134714508 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4605 3757 1111 63 0 4542 0
vsize: 18420
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 3859 0 0 0 18963 34 0 0 25 0 1 0 642200065 18862080 3780 4294967295 134512640 134714508 3221221776 3221220444 134551637 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4605 3780 1111 63 0 4542 0
vsize: 18420
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 3884 0 0 0 19963 35 0 0 25 0 1 0 642200065 18993152 3805 4294967295 134512640 134714508 3221221776 3221220384 134523393 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4637 3805 1111 63 0 4574 0
vsize: 18548
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 3900 0 0 0 20963 35 0 0 25 0 1 0 642200065 19116032 3821 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4667 3821 1111 63 0 4604 0
vsize: 18668
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 3936 0 0 0 21962 36 0 0 25 0 1 0 642200065 19243008 3857 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4698 3857 1111 63 0 4635 0
vsize: 18792
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 3953 0 0 0 22961 37 0 0 25 0 1 0 642200065 19243008 3874 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4698 3874 1111 63 0 4635 0
vsize: 18792
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 3958 0 0 0 23960 38 0 0 25 0 1 0 642200065 19374080 3879 4294967295 134512640 134714508 3221221776 3221220384 134549318 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4730 3879 1111 63 0 4667 0
vsize: 18920
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 3965 0 0 0 24959 39 0 0 25 0 1 0 642200065 19374080 3886 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4730 3886 1111 63 0 4667 0
vsize: 18920
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4147 0 0 0 25958 40 0 0 25 0 1 0 642200065 20049920 4068 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4895 4068 1111 63 0 4832 0
vsize: 19580
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4217 0 0 0 26957 42 0 0 25 0 1 0 642200065 20320256 4138 4294967295 134512640 134714508 3221221776 3221220416 134696082 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4961 4138 1111 63 0 4898 0
vsize: 19844
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4228 0 0 0 27956 43 0 0 25 0 1 0 642200065 20451328 4149 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4993 4149 1111 63 0 4930 0
vsize: 19972
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4232 0 0 0 28955 44 0 0 25 0 1 0 642200065 20451328 4153 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4993 4153 1111 63 0 4930 0
vsize: 19972
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4239 0 0 0 29954 45 0 0 25 0 1 0 642200065 20451328 4160 4294967295 134512640 134714508 3221221776 3221220188 1077379846 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4993 4160 1111 63 0 4930 0
vsize: 19972
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4285 0 0 0 30953 46 0 0 25 0 1 0 642200065 20721664 4206 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5059 4206 1111 63 0 4996 0
vsize: 20236
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4327 0 0 0 31953 47 0 0 25 0 1 0 642200065 20856832 4248 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5092 4248 1111 63 0 5029 0
vsize: 20368
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4368 0 0 0 32952 48 0 0 25 0 1 0 642200065 20992000 4289 4294967295 134512640 134714508 3221221776 3221220500 134613700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5125 4289 1111 63 0 5062 0
vsize: 20500
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4376 0 0 0 33952 48 0 0 25 0 1 0 642200065 20992000 4297 4294967295 134512640 134714508 3221221776 3221220496 134523874 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5125 4297 1111 63 0 5062 0
vsize: 20500
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4376 0 0 0 34951 49 0 0 25 0 1 0 642200065 20992000 4297 4294967295 134512640 134714508 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5125 4297 1111 63 0 5062 0
vsize: 20500
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4413 0 0 0 35950 51 0 0 25 0 1 0 642200065 21127168 4334 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5158 4334 1111 63 0 5095 0
vsize: 20632
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4447 0 0 0 36949 51 0 0 25 0 1 0 642200065 21262336 4368 4294967295 134512640 134714508 3221221776 3221220416 134696094 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5191 4368 1111 63 0 5128 0
vsize: 20764
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4458 0 0 0 37948 53 0 0 25 0 1 0 642200065 21397504 4379 4294967295 134512640 134714508 3221221776 3221220272 134535383 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5224 4379 1111 63 0 5161 0
vsize: 20896
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4458 0 0 0 38946 54 0 0 25 0 1 0 642200065 21397504 4379 4294967295 134512640 134714508 3221221776 3221220532 134652855 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5224 4379 1111 63 0 5161 0
vsize: 20896
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4488 0 0 0 39946 55 0 0 25 0 1 0 642200065 21532672 4409 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5257 4409 1111 63 0 5194 0
vsize: 21028
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4513 0 0 0 40945 55 0 0 25 0 1 0 642200065 21532672 4434 4294967295 134512640 134714508 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5257 4434 1111 63 0 5194 0
vsize: 21028
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4524 0 0 0 41945 56 0 0 25 0 1 0 642200065 21667840 4445 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5290 4445 1111 63 0 5227 0
vsize: 21160
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4615 0 0 0 42943 57 0 0 25 0 1 0 642200065 22073344 4536 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5389 4536 1111 63 0 5326 0
vsize: 21556
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4654 0 0 0 43943 58 0 0 25 0 1 0 642200065 22208512 4575 4294967295 134512640 134714508 3221221776 3221220572 134554978 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5422 4575 1111 63 0 5359 0
vsize: 21688
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4685 0 0 0 44942 59 0 0 25 0 1 0 642200065 22343680 4606 4294967295 134512640 134714508 3221221776 3221220560 134529088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5455 4606 1111 63 0 5392 0
vsize: 21820
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4698 0 0 0 45941 60 0 0 25 0 1 0 642200065 22343680 4619 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5455 4619 1111 63 0 5392 0
vsize: 21820
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4724 0 0 0 46939 62 0 0 25 0 1 0 642200065 22478848 4645 4294967295 134512640 134714508 3221221776 3221220520 134524381 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5488 4645 1111 63 0 5425 0
vsize: 21952
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4729 0 0 0 47939 63 0 0 25 0 1 0 642200065 22478848 4650 4294967295 134512640 134714508 3221221776 3221220368 134549517 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5488 4650 1111 63 0 5425 0
vsize: 21952
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4755 0 0 0 48938 64 0 0 25 0 1 0 642200065 22614016 4676 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5521 4676 1111 63 0 5458 0
vsize: 22084
[startup+500.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4770 0 0 0 49938 64 0 0 25 0 1 0 642200065 22585344 4691 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5514 4691 1111 63 0 5451 0
vsize: 22056
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4770 0 0 0 50937 65 0 0 25 0 1 0 642200065 22585344 4691 4294967295 134512640 134714508 3221221776 3221220416 134696077 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5514 4691 1111 63 0 5451 0
vsize: 22056
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4770 0 0 0 51936 66 0 0 25 0 1 0 642200065 22585344 4691 4294967295 134512640 134714508 3221221776 3221220440 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5514 4691 1111 63 0 5451 0
vsize: 22056
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4770 0 0 0 52936 67 0 0 25 0 1 0 642200065 22585344 4691 4294967295 134512640 134714508 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5514 4691 1111 63 0 5451 0
vsize: 22056
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4770 0 0 0 53935 67 0 0 25 0 1 0 642200065 22585344 4691 4294967295 134512640 134714508 3221221776 3221220416 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5514 4691 1111 63 0 5451 0
vsize: 22056
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4798 0 0 0 54934 68 0 0 25 0 1 0 642200065 22822912 4719 4294967295 134512640 134714508 3221221776 3221220480 134528614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5572 4719 1111 63 0 5509 0
vsize: 22288
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4839 0 0 0 55933 70 0 0 25 0 1 0 642200065 22958080 4760 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5605 4760 1111 63 0 5542 0
vsize: 22420
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4921 0 0 0 56932 71 0 0 25 0 1 0 642200065 23228416 4842 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5671 4842 1111 63 0 5608 0
vsize: 22684
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 4948 0 0 0 57932 71 0 0 25 0 1 0 642200065 23363584 4869 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5704 4869 1111 63 0 5641 0
vsize: 22816
[startup+590.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 5063 0 0 0 58931 72 0 0 25 0 1 0 642200065 23904256 4984 4294967295 134512640 134714508 3221221776 3221220400 134696234 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5836 4984 1111 63 0 5773 0
vsize: 23344
[startup+600.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 5285 0 0 0 59930 74 0 0 25 0 1 0 642200065 24715264 5206 4294967295 134512640 134714508 3221221776 3221220456 1077377291 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6034 5206 1111 63 0 5971 0
vsize: 24136
[startup+610.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 5342 0 0 0 60929 75 0 0 25 0 1 0 642200065 24977408 5263 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6098 5263 1111 63 0 6035 0
vsize: 24392
[startup+620.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 5366 0 0 0 61928 76 0 0 25 0 1 0 642200065 25112576 5287 4294967295 134512640 134714508 3221221776 3221220540 134534136 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6131 5287 1111 63 0 6068 0
vsize: 24524
[startup+630.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 5424 0 0 0 62926 78 0 0 25 0 1 0 642200065 25382912 5345 4294967295 134512640 134714508 3221221776 3221220416 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6197 5345 1111 63 0 6134 0
vsize: 24788
[startup+640.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 5478 0 0 0 63925 79 0 0 25 0 1 0 642200065 25518080 5399 4294967295 134512640 134714508 3221221776 3221220400 134542306 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6230 5399 1111 63 0 6167 0
vsize: 24920
[startup+650.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 5576 0 0 0 64924 80 0 0 25 0 1 0 642200065 25923584 5497 4294967295 134512640 134714508 3221221776 3221220416 134696082 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6329 5497 1111 63 0 6266 0
vsize: 25316
[startup+660.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 5643 0 0 0 65924 81 0 0 25 0 1 0 642200065 26193920 5564 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6395 5564 1111 63 0 6332 0
vsize: 25580
[startup+670.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 5665 0 0 0 66923 82 0 0 25 0 1 0 642200065 26329088 5586 4294967295 134512640 134714508 3221221776 3221220444 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6428 5586 1111 63 0 6365 0
vsize: 25712
[startup+680.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 5842 0 0 0 67922 83 0 0 25 0 1 0 642200065 27107328 5763 4294967295 134512640 134714508 3221221776 3221220416 134539362 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6618 5763 1111 63 0 6555 0
vsize: 26472
[startup+690.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 5888 0 0 0 68921 84 0 0 25 0 1 0 642200065 27242496 5809 4294967295 134512640 134714508 3221221776 3221220364 134535964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6651 5809 1111 63 0 6588 0
vsize: 26604
[startup+700.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 5943 0 0 0 69920 85 0 0 25 0 1 0 642200065 27512832 5864 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6717 5864 1111 63 0 6654 0
vsize: 26868
[startup+710.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 5987 0 0 0 70923 86 0 0 25 0 1 0 642200065 27648000 5908 4294967295 134512640 134714508 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6750 5908 1111 63 0 6687 0
vsize: 27000
[startup+720.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6045 0 0 0 71922 86 0 0 25 0 1 0 642200065 27918336 5966 4294967295 134512640 134714508 3221221776 3221220432 134536643 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6816 5966 1111 63 0 6753 0
vsize: 27264
[startup+730.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6074 0 0 0 72921 88 0 0 25 0 1 0 642200065 28020736 5995 4294967295 134512640 134714508 3221221776 3221220560 134529192 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6841 5995 1111 63 0 6778 0
vsize: 27364
[startup+740.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6092 0 0 0 73920 89 0 0 25 0 1 0 642200065 28012544 6013 4294967295 134512640 134714508 3221221776 3221220480 134528481 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6839 6013 1111 63 0 6776 0
vsize: 27356
[startup+750.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6142 0 0 0 74919 90 0 0 25 0 1 0 642200065 28282880 6063 4294967295 134512640 134714508 3221221776 3221220316 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6905 6063 1111 63 0 6842 0
vsize: 27620
[startup+760.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6164 0 0 0 75918 91 0 0 25 0 1 0 642200065 28418048 6085 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6938 6085 1111 63 0 6875 0
vsize: 27752
[startup+770.041 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6184 0 0 0 76917 92 0 0 25 0 1 0 642200065 28418048 6105 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6938 6105 1111 63 0 6875 0
vsize: 27752
[startup+780.041 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6198 0 0 0 77917 92 0 0 25 0 1 0 642200065 28553216 6119 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6971 6119 1111 63 0 6908 0
vsize: 27884
[startup+790.041 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6248 0 0 0 78915 94 0 0 25 0 1 0 642200065 28688384 6169 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7004 6169 1111 63 0 6941 0
vsize: 28016
[startup+800.042 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6269 0 0 0 79914 95 0 0 25 0 1 0 642200065 28782592 6190 4294967295 134512640 134714508 3221221776 3221220388 1077377141 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7027 6190 1111 63 0 6964 0
vsize: 28108
[startup+810.042 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6293 0 0 0 80914 96 0 0 25 0 1 0 642200065 28917760 6214 4294967295 134512640 134714508 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7060 6214 1111 63 0 6997 0
vsize: 28240
[startup+820.042 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6293 0 0 0 81913 97 0 0 25 0 1 0 642200065 28917760 6214 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7060 6214 1111 63 0 6997 0
vsize: 28240
[startup+830.043 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6300 0 0 0 82912 98 0 0 25 0 1 0 642200065 28917760 6221 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7060 6221 1111 63 0 6997 0
vsize: 28240
[startup+840.042 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6302 0 0 0 83911 99 0 0 25 0 1 0 642200065 28917760 6223 4294967295 134512640 134714508 3221221776 3221220396 134549508 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7060 6223 1111 63 0 6997 0
vsize: 28240
[startup+850.043 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6330 0 0 0 84910 100 0 0 25 0 1 0 642200065 29052928 6251 4294967295 134512640 134714508 3221221776 3221220452 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7093 6251 1111 63 0 7030 0
vsize: 28372
[startup+860.042 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6330 0 0 0 85910 100 0 0 25 0 1 0 642200065 29052928 6251 4294967295 134512640 134714508 3221221776 3221220340 134535678 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7093 6251 1111 63 0 7030 0
vsize: 28372
[startup+870.043 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6352 0 0 0 86909 101 0 0 25 0 1 0 642200065 29155328 6273 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7118 6273 1111 63 0 7055 0
vsize: 28472
[startup+880.043 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6371 0 0 0 87908 103 0 0 25 0 1 0 642200065 29155328 6292 4294967295 134512640 134714508 3221221776 3221220120 134697501 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7118 6292 1111 63 0 7055 0
vsize: 28472
[startup+890.043 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6390 0 0 0 88907 104 0 0 25 0 1 0 642200065 29290496 6311 4294967295 134512640 134714508 3221221776 3221220536 134523849 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7151 6311 1111 63 0 7088 0
vsize: 28604
[startup+900.044 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6406 0 0 0 89907 104 0 0 25 0 1 0 642200065 29290496 6327 4294967295 134512640 134714508 3221221776 3221220288 134535032 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7151 6327 1111 63 0 7088 0
vsize: 28604
[startup+910.044 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6407 0 0 0 90906 104 0 0 25 0 1 0 642200065 29290496 6328 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7151 6328 1111 63 0 7088 0
vsize: 28604
[startup+920.045 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6443 0 0 0 91906 105 0 0 25 0 1 0 642200065 29560832 6364 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7217 6364 1111 63 0 7154 0
vsize: 28868
[startup+930.045 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6506 0 0 0 92905 106 0 0 25 0 1 0 642200065 29798400 6427 4294967295 134512640 134714508 3221221776 3221220432 1077378566 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7275 6427 1111 63 0 7212 0
vsize: 29100
[startup+940.045 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6506 0 0 0 93904 107 0 0 25 0 1 0 642200065 29798400 6427 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7275 6427 1111 63 0 7212 0
vsize: 29100
[startup+950.046 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6506 0 0 0 94904 107 0 0 25 0 1 0 642200065 29798400 6427 4294967295 134512640 134714508 3221221776 3221220416 134696082 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7275 6427 1111 63 0 7212 0
vsize: 29100
[startup+960.045 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6506 0 0 0 95904 108 0 0 25 0 1 0 642200065 29798400 6427 4294967295 134512640 134714508 3221221776 3221220448 134543712 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7275 6427 1111 63 0 7212 0
vsize: 29100
[startup+970.046 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6518 0 0 0 96904 108 0 0 25 0 1 0 642200065 29798400 6439 4294967295 134512640 134714508 3221221776 3221220476 134534084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7275 6439 1111 63 0 7212 0
vsize: 29100
[startup+980.047 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6532 0 0 0 97904 108 0 0 25 0 1 0 642200065 29933568 6453 4294967295 134512640 134714508 3221221776 3221220512 134523859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7308 6453 1111 63 0 7245 0
vsize: 29232
[startup+990.046 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6546 0 0 0 98903 109 0 0 25 0 1 0 642200065 29933568 6467 4294967295 134512640 134714508 3221221776 3221220260 134697443 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7308 6467 1111 63 0 7245 0
vsize: 29232
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6552 0 0 0 99903 109 0 0 25 0 1 0 642200065 29933568 6473 4294967295 134512640 134714508 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7308 6473 1111 63 0 7245 0
vsize: 29232
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6569 0 0 0 100903 110 0 0 25 0 1 0 642200065 30068736 6490 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7341 6490 1111 63 0 7278 0
vsize: 29364
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6583 0 0 0 101902 111 0 0 25 0 1 0 642200065 30068736 6504 4294967295 134512640 134714508 3221221776 3221220464 134523171 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7341 6504 1111 63 0 7278 0
vsize: 29364
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6583 0 0 0 102901 112 0 0 25 0 1 0 642200065 30068736 6504 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7341 6504 1111 63 0 7278 0
vsize: 29364
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6605 0 0 0 103901 113 0 0 25 0 1 0 642200065 30203904 6526 4294967295 134512640 134714508 3221221776 3221220516 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7374 6526 1111 63 0 7311 0
vsize: 29496
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6637 0 0 0 104899 114 0 0 25 0 1 0 642200065 30339072 6558 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7407 6558 1111 63 0 7344 0
vsize: 29628
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6640 0 0 0 105899 114 0 0 25 0 1 0 642200065 30339072 6561 4294967295 134512640 134714508 3221221776 3221220304 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7407 6561 1111 63 0 7344 0
vsize: 29628
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6640 0 0 0 106899 115 0 0 25 0 1 0 642200065 30339072 6561 4294967295 134512640 134714508 3221221776 3221220584 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7407 6561 1111 63 0 7344 0
vsize: 29628
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6640 0 0 0 107899 115 0 0 25 0 1 0 642200065 30339072 6561 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7407 6561 1111 63 0 7344 0
vsize: 29628
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6641 0 0 0 108898 116 0 0 25 0 1 0 642200065 30339072 6562 4294967295 134512640 134714508 3221221776 3221220488 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7407 6562 1111 63 0 7344 0
vsize: 29628
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6641 0 0 0 109897 117 0 0 25 0 1 0 642200065 30339072 6562 4294967295 134512640 134714508 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7407 6562 1111 63 0 7344 0
vsize: 29628
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6641 0 0 0 110897 118 0 0 25 0 1 0 642200065 30339072 6562 4294967295 134512640 134714508 3221221776 3221220404 134696230 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7407 6562 1111 63 0 7344 0
vsize: 29628
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6651 0 0 0 111896 119 0 0 25 0 1 0 642200065 30339072 6572 4294967295 134512640 134714508 3221221776 3221220172 1077379846 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7407 6572 1111 63 0 7344 0
vsize: 29628
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6656 0 0 0 112895 119 0 0 25 0 1 0 642200065 30339072 6577 4294967295 134512640 134714508 3221221776 3221220536 134552578 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7407 6577 1111 63 0 7344 0
vsize: 29628
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6659 0 0 0 113894 120 0 0 25 0 1 0 642200065 30339072 6580 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7407 6580 1111 63 0 7344 0
vsize: 29628
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6659 0 0 0 114894 121 0 0 25 0 1 0 642200065 30339072 6580 4294967295 134512640 134714508 3221221776 3221220272 134697412 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7407 6580 1111 63 0 7344 0
vsize: 29628
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6663 0 0 0 115894 121 0 0 25 0 1 0 642200065 30339072 6584 4294967295 134512640 134714508 3221221776 3221219936 134697230 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7407 6584 1111 63 0 7344 0
vsize: 29628
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6670 0 0 0 116893 122 0 0 25 0 1 0 642200065 30466048 6591 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7438 6591 1111 63 0 7375 0
vsize: 29752
[startup+1174.93 s]
Raw data (loadavg): 0.99 0.97 0.97 1/53 26977
Raw data (stat): 26977 (bsolo_lpr) R 26976 7876 7672 0 -1 0 6670 0 0 0 116893 122 0 0 25 0 1 0 642200065 30466048 6591 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7438 6591 1111 63 0 7375 0
vsize: 0

Child status: 0
Real time (s): 1174.93
CPU time (s): 1175.04
CPU user time (s): 1173.79
CPU system time (s): 1.24181
CPU usage (%): 100.009
Max. virtual memory (Kb): 29752
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####