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-fpga35_33_sat_pb.cnf.cr.opb
MD5SUM	d4fd8917eebbcee2e1b2df9714e1fab8
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	36
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.59276
Number of variables	1733
Total number of constraints	1256
Number of constraints which are clauses	1188
Number of constraints which are cardinality constraints (but not clauses)	68
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	17
Maximum length of a constraint	35
Trace number 23382

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-03 00:22:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=433 boxname=wulflinc31 idbench=49 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  d4fd8917eebbcee2e1b2df9714e1fab8  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga35_33_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-fpga35_33_sat_pb.cnf.cr.opb
IDLAUNCH: 433
/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:        925132 kB
Buffers:         39032 kB
Cached:          48288 kB
SwapCached:        944 kB
Active:          73304 kB
Inactive:        16560 kB
HighTotal:      131008 kB
HighFree:        81648 kB
LowTotal:       903652 kB
LowFree:        843484 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:             160 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14136 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-03 00:42:31 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 433 7 1175.05 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 1733 variables and 1256 constraints.
c After prepocess the problem consists of 1733 variables and 1256 constraints.
c preprocess terminated 3.109 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 1.00 1.23 2/54 29697
Raw data (stat): 29697 (runsolver) R 29696 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 644405476 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.0003 s]
Raw data (loadavg): 1.01 1.02 1.23 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 1844 0 0 0 982 8 0 0 25 0 1 0 644405476 10625024 1765 4294967295 134512640 134714508 3221221776 3221220540 134592362 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2594 1765 1111 63 0 2531 0
vsize: 10376
[startup+19.9995 s]
Raw data (loadavg): 1.00 1.02 1.23 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 2061 0 0 0 1979 11 0 0 25 0 1 0 644405476 11571200 1982 4294967295 134512640 134714508 3221221776 3221220332 134535942 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2825 1982 1111 63 0 2762 0
vsize: 11300
[startup+30 s]
Raw data (loadavg): 1.00 1.02 1.23 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 2119 0 0 0 2977 13 0 0 25 0 1 0 644405476 11841536 2040 4294967295 134512640 134714508 3221221776 3221220416 134696295 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2891 2040 1111 63 0 2828 0
vsize: 11564
[startup+39.9998 s]
Raw data (loadavg): 1.00 1.02 1.22 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 2267 0 0 0 3974 16 0 0 25 0 1 0 644405476 12378112 2188 4294967295 134512640 134714508 3221221776 3221220392 134613965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3022 2188 1111 63 0 2959 0
vsize: 12088
[startup+49.9994 s]
Raw data (loadavg): 1.00 1.02 1.22 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 2320 0 0 0 4972 18 0 0 25 0 1 0 644405476 12648448 2241 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3088 2241 1111 63 0 3025 0
vsize: 12352
[startup+60 s]
Raw data (loadavg): 1.08 1.03 1.22 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 2361 0 0 0 5970 21 0 0 25 0 1 0 644405476 12783616 2282 4294967295 134512640 134714508 3221221776 3221220452 1077374455 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3121 2282 1111 63 0 3058 0
vsize: 12484
[startup+70.0005 s]
Raw data (loadavg): 1.07 1.03 1.22 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 2402 0 0 0 6968 23 0 0 25 0 1 0 644405476 12918784 2323 4294967295 134512640 134714508 3221221776 3221220480 134528732 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3154 2323 1111 63 0 3091 0
vsize: 12616
[startup+80.0014 s]
Raw data (loadavg): 1.06 1.03 1.22 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 2442 0 0 0 7967 24 0 0 25 0 1 0 644405476 13180928 2363 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3218 2363 1111 63 0 3155 0
vsize: 12872
[startup+90.0017 s]
Raw data (loadavg): 1.05 1.03 1.21 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 2511 0 0 0 8965 26 0 0 25 0 1 0 644405476 13430784 2432 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3279 2432 1111 63 0 3216 0
vsize: 13116
[startup+100.001 s]
Raw data (loadavg): 1.04 1.03 1.21 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 2546 0 0 0 9963 28 0 0 25 0 1 0 644405476 13565952 2467 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3312 2467 1111 63 0 3249 0
vsize: 13248
[startup+110.002 s]
Raw data (loadavg): 1.03 1.02 1.21 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 2783 0 0 0 10961 30 0 0 25 0 1 0 644405476 14508032 2704 4294967295 134512640 134714508 3221221776 3221220480 134528410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3542 2704 1111 63 0 3479 0
vsize: 14168
[startup+120.003 s]
Raw data (loadavg): 1.03 1.02 1.21 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 2802 0 0 0 11960 32 0 0 25 0 1 0 644405476 14643200 2723 4294967295 134512640 134714508 3221221776 3221220572 134554961 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3575 2723 1111 63 0 3512 0
vsize: 14300
[startup+130.005 s]
Raw data (loadavg): 1.02 1.02 1.20 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 2874 0 0 0 12960 32 0 0 25 0 1 0 644405476 14909440 2795 4294967295 134512640 134714508 3221221776 3221220400 134696025 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3640 2795 1111 63 0 3577 0
vsize: 14560
[startup+140.005 s]
Raw data (loadavg): 1.02 1.02 1.20 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 2874 0 0 0 13959 33 0 0 25 0 1 0 644405476 14909440 2795 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3640 2795 1111 63 0 3577 0
vsize: 14560
[startup+150.006 s]
Raw data (loadavg): 1.02 1.02 1.20 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 2908 0 0 0 14958 34 0 0 25 0 1 0 644405476 15044608 2829 4294967295 134512640 134714508 3221221776 3221220288 134535391 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3673 2829 1111 63 0 3610 0
vsize: 14692
[startup+160.008 s]
Raw data (loadavg): 1.01 1.02 1.19 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 2933 0 0 0 15958 35 0 0 25 0 1 0 644405476 15179776 2854 4294967295 134512640 134714508 3221221776 3221220460 134552651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3706 2854 1111 63 0 3643 0
vsize: 14824
[startup+170.009 s]
Raw data (loadavg): 1.01 1.02 1.19 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 3019 0 0 0 16955 38 0 0 25 0 1 0 644405476 15450112 2940 4294967295 134512640 134714508 3221221776 3221220464 134551944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3772 2940 1111 63 0 3709 0
vsize: 15088
[startup+180.01 s]
Raw data (loadavg): 1.01 1.02 1.19 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 3055 0 0 0 17954 39 0 0 25 0 1 0 644405476 15585280 2976 4294967295 134512640 134714508 3221221776 3221220416 134696011 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3805 2976 1111 63 0 3742 0
vsize: 15220
[startup+190.011 s]
Raw data (loadavg): 1.01 1.02 1.18 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 3074 0 0 0 18953 40 0 0 25 0 1 0 644405476 15720448 2995 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3838 2995 1111 63 0 3775 0
vsize: 15352
[startup+200.012 s]
Raw data (loadavg): 1.00 1.02 1.18 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 3130 0 0 0 19951 42 0 0 25 0 1 0 644405476 15990784 3051 4294967295 134512640 134714508 3221221776 3221220416 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3904 3051 1111 63 0 3841 0
vsize: 15616
[startup+210.013 s]
Raw data (loadavg): 1.00 1.02 1.18 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 3130 0 0 0 20951 43 0 0 25 0 1 0 644405476 15990784 3051 4294967295 134512640 134714508 3221221776 3221220384 134523171 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3904 3051 1111 63 0 3841 0
vsize: 15616
[startup+220.014 s]
Raw data (loadavg): 1.00 1.01 1.18 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 3196 0 0 0 21950 44 0 0 25 0 1 0 644405476 16261120 3117 4294967295 134512640 134714508 3221221776 3221220544 134529281 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3970 3117 1111 63 0 3907 0
vsize: 15880
[startup+230.016 s]
Raw data (loadavg): 1.00 1.01 1.18 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 3223 0 0 0 22949 45 0 0 25 0 1 0 644405476 16396288 3144 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4003 3144 1111 63 0 3940 0
vsize: 16012
[startup+240.018 s]
Raw data (loadavg): 1.00 1.01 1.17 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 3223 0 0 0 23949 46 0 0 25 0 1 0 644405476 16338944 3144 4294967295 134512640 134714508 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3989 3144 1111 63 0 3926 0
vsize: 15956
[startup+250.018 s]
Raw data (loadavg): 1.00 1.01 1.17 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 3276 0 0 0 24948 47 0 0 25 0 1 0 644405476 16609280 3197 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4055 3197 1111 63 0 3992 0
vsize: 16220
[startup+260.02 s]
Raw data (loadavg): 1.00 1.01 1.17 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 3276 0 0 0 25946 49 0 0 25 0 1 0 644405476 16601088 3197 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4053 3197 1111 63 0 3990 0
vsize: 16212
[startup+270.021 s]
Raw data (loadavg): 1.00 1.01 1.17 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 3438 0 0 0 26944 51 0 0 25 0 1 0 644405476 17276928 3359 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4218 3359 1111 63 0 4155 0
vsize: 16872
[startup+280.022 s]
Raw data (loadavg): 1.00 1.01 1.17 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 3494 0 0 0 27943 52 0 0 25 0 1 0 644405476 17412096 3415 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4251 3415 1111 63 0 4188 0
vsize: 17004
[startup+290.024 s]
Raw data (loadavg): 1.00 1.01 1.16 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 3571 0 0 0 28942 54 0 0 25 0 1 0 644405476 17809408 3492 4294967295 134512640 134714508 3221221776 3221220212 1077374469 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4348 3492 1111 63 0 4285 0
vsize: 17392
[startup+300.024 s]
Raw data (loadavg): 1.00 1.01 1.16 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 3669 0 0 0 29940 55 0 0 25 0 1 0 644405476 18202624 3590 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4444 3590 1111 63 0 4381 0
vsize: 17776
[startup+310.026 s]
Raw data (loadavg): 1.00 1.01 1.16 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 3845 0 0 0 30939 57 0 0 25 0 1 0 644405476 18874368 3766 4294967295 134512640 134714508 3221221776 3221220480 134528653 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4608 3766 1111 63 0 4545 0
vsize: 18432
[startup+320.026 s]
Raw data (loadavg): 1.00 1.00 1.16 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 4060 0 0 0 31937 59 0 0 25 0 1 0 644405476 19783680 3981 4294967295 134512640 134714508 3221221776 3221220384 134548837 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4830 3981 1111 63 0 4767 0
vsize: 19320
[startup+330.027 s]
Raw data (loadavg): 1.00 1.00 1.16 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 4169 0 0 0 32935 61 0 0 25 0 1 0 644405476 20189184 4090 4294967295 134512640 134714508 3221221776 3221220536 134552570 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4929 4090 1111 63 0 4866 0
vsize: 19716
[startup+340.027 s]
Raw data (loadavg): 1.00 1.00 1.15 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 4330 0 0 0 33934 63 0 0 25 0 1 0 644405476 20860928 4251 4294967295 134512640 134714508 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5093 4251 1111 63 0 5030 0
vsize: 20372
[startup+350.027 s]
Raw data (loadavg): 1.00 1.00 1.15 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 4407 0 0 0 34932 65 0 0 25 0 1 0 644405476 21131264 4328 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5159 4328 1111 63 0 5096 0
vsize: 20636
[startup+360.029 s]
Raw data (loadavg): 1.00 1.00 1.15 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 4562 0 0 0 35931 66 0 0 25 0 1 0 644405476 21807104 4483 4294967295 134512640 134714508 3221221776 3221220416 134696085 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5324 4483 1111 63 0 5261 0
vsize: 21296
[startup+370.028 s]
Raw data (loadavg): 1.00 1.00 1.15 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 4588 0 0 0 36929 68 0 0 25 0 1 0 644405476 21942272 4509 4294967295 134512640 134714508 3221221776 3221220544 134592107 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5357 4509 1111 63 0 5294 0
vsize: 21428
[startup+380.029 s]
Raw data (loadavg): 1.00 1.00 1.15 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 4704 0 0 0 37929 69 0 0 25 0 1 0 644405476 22347776 4625 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5456 4625 1111 63 0 5393 0
vsize: 21824
[startup+390.03 s]
Raw data (loadavg): 1.00 1.00 1.14 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 4783 0 0 0 38927 71 0 0 25 0 1 0 644405476 22732800 4704 4294967295 134512640 134714508 3221221776 3221220416 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5550 4704 1111 63 0 5487 0
vsize: 22200
[startup+400.03 s]
Raw data (loadavg): 1.00 1.00 1.14 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 4867 0 0 0 39925 72 0 0 25 0 1 0 644405476 23138304 4788 4294967295 134512640 134714508 3221221776 3221220272 134697415 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5649 4788 1111 63 0 5586 0
vsize: 22596
[startup+410.03 s]
Raw data (loadavg): 1.00 1.00 1.14 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 4907 0 0 0 40924 73 0 0 25 0 1 0 644405476 23273472 4828 4294967295 134512640 134714508 3221221776 3221220384 134548659 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5682 4828 1111 63 0 5619 0
vsize: 22728
[startup+420.03 s]
Raw data (loadavg): 1.00 1.00 1.14 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 4947 0 0 0 41923 74 0 0 25 0 1 0 644405476 23408640 4868 4294967295 134512640 134714508 3221221776 3221220488 134558477 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5715 4868 1111 63 0 5652 0
vsize: 22860
[startup+430.031 s]
Raw data (loadavg): 1.00 1.00 1.14 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 4983 0 0 0 42921 77 0 0 25 0 1 0 644405476 23543808 4904 4294967295 134512640 134714508 3221221776 3221220512 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5748 4904 1111 63 0 5685 0
vsize: 22992
[startup+440.031 s]
Raw data (loadavg): 1.00 1.00 1.13 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5034 0 0 0 43920 78 0 0 25 0 1 0 644405476 23814144 4955 4294967295 134512640 134714508 3221221776 3221220416 134696082 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5814 4955 1111 63 0 5751 0
vsize: 23256
[startup+450.032 s]
Raw data (loadavg): 1.00 1.00 1.13 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5055 0 0 0 44920 79 0 0 25 0 1 0 644405476 23814144 4976 4294967295 134512640 134714508 3221221776 3221220396 134549859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5814 4976 1111 63 0 5751 0
vsize: 23256
[startup+460.032 s]
Raw data (loadavg): 1.00 1.00 1.13 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5077 0 0 0 45919 80 0 0 25 0 1 0 644405476 23949312 4998 4294967295 134512640 134714508 3221221776 3221220444 134536748 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5847 4998 1111 63 0 5784 0
vsize: 23388
[startup+470.033 s]
Raw data (loadavg): 1.00 1.00 1.13 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5106 0 0 0 46917 82 0 0 25 0 1 0 644405476 24084480 5027 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5880 5027 1111 63 0 5817 0
vsize: 23520
[startup+480.034 s]
Raw data (loadavg): 1.00 1.00 1.13 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5153 0 0 0 47917 82 0 0 25 0 1 0 644405476 24309760 5074 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5935 5074 1111 63 0 5872 0
vsize: 23740
[startup+490.035 s]
Raw data (loadavg): 1.00 1.00 1.12 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5170 0 0 0 48916 83 0 0 25 0 1 0 644405476 24309760 5091 4294967295 134512640 134714508 3221221776 3221220400 134696231 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5935 5091 1111 63 0 5872 0
vsize: 23740
[startup+500.035 s]
Raw data (loadavg): 1.00 1.00 1.12 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5197 0 0 0 49915 84 0 0 25 0 1 0 644405476 24444928 5118 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5968 5118 1111 63 0 5905 0
vsize: 23872
[startup+510.035 s]
Raw data (loadavg): 1.00 1.00 1.12 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5197 0 0 0 50914 85 0 0 25 0 1 0 644405476 24444928 5118 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5968 5118 1111 63 0 5905 0
vsize: 23872
[startup+520.035 s]
Raw data (loadavg): 1.00 1.00 1.12 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5242 0 0 0 51913 86 0 0 25 0 1 0 644405476 24580096 5163 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6001 5163 1111 63 0 5938 0
vsize: 24004
[startup+530.037 s]
Raw data (loadavg): 1.00 1.00 1.12 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5288 0 0 0 52912 87 0 0 25 0 1 0 644405476 24850432 5209 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6067 5209 1111 63 0 6004 0
vsize: 24268
[startup+540.036 s]
Raw data (loadavg): 1.00 1.00 1.12 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5314 0 0 0 53912 88 0 0 25 0 1 0 644405476 24850432 5235 4294967295 134512640 134714508 3221221776 3221220416 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6067 5235 1111 63 0 6004 0
vsize: 24268
[startup+550.037 s]
Raw data (loadavg): 1.00 1.00 1.11 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5321 0 0 0 54910 90 0 0 25 0 1 0 644405476 24948736 5242 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6091 5242 1111 63 0 6028 0
vsize: 24364
[startup+560.037 s]
Raw data (loadavg): 1.00 1.00 1.11 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5345 0 0 0 55910 91 0 0 25 0 1 0 644405476 25083904 5266 4294967295 134512640 134714508 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6124 5266 1111 63 0 6061 0
vsize: 24496
[startup+570.037 s]
Raw data (loadavg): 1.00 1.00 1.11 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5382 0 0 0 56908 92 0 0 25 0 1 0 644405476 25210880 5303 4294967295 134512640 134714508 3221221776 3221220288 134535029 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6155 5303 1111 63 0 6092 0
vsize: 24620
[startup+580.038 s]
Raw data (loadavg): 1.00 1.00 1.11 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5416 0 0 0 57906 94 0 0 25 0 1 0 644405476 25337856 5337 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6186 5337 1111 63 0 6123 0
vsize: 24744
[startup+590.038 s]
Raw data (loadavg): 1.00 1.00 1.11 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5426 0 0 0 58905 95 0 0 25 0 1 0 644405476 25337856 5347 4294967295 134512640 134714508 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6186 5347 1111 63 0 6123 0
vsize: 24744
[startup+600.037 s]
Raw data (loadavg): 1.00 1.00 1.10 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5436 0 0 0 59904 97 0 0 25 0 1 0 644405476 25337856 5357 4294967295 134512640 134714508 3221221776 3221220444 1077378561 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6186 5357 1111 63 0 6123 0
vsize: 24744
[startup+610.037 s]
Raw data (loadavg): 1.00 1.00 1.10 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5459 0 0 0 60904 98 0 0 25 0 1 0 644405476 25452544 5380 4294967295 134512640 134714508 3221221776 3221220536 134552578 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6214 5380 1111 63 0 6151 0
vsize: 24856
[startup+620.037 s]
Raw data (loadavg): 1.00 1.00 1.10 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5472 0 0 0 61902 99 0 0 25 0 1 0 644405476 25571328 5393 4294967295 134512640 134714508 3221221776 3221220360 134549708 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6243 5393 1111 63 0 6180 0
vsize: 24972
[startup+630.038 s]
Raw data (loadavg): 1.00 1.00 1.10 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5492 0 0 0 62901 100 0 0 25 0 1 0 644405476 25571328 5413 4294967295 134512640 134714508 3221221776 3221220344 1077378431 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6243 5413 1111 63 0 6180 0
vsize: 24972
[startup+640.039 s]
Raw data (loadavg): 1.00 1.00 1.10 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5548 0 0 0 63900 102 0 0 25 0 1 0 644405476 25841664 5469 4294967295 134512640 134714508 3221221776 3221220400 134549527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6309 5469 1111 63 0 6246 0
vsize: 25236
[startup+650.039 s]
Raw data (loadavg): 1.00 1.00 1.09 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5586 0 0 0 64899 103 0 0 25 0 1 0 644405476 25976832 5507 4294967295 134512640 134714508 3221221776 3221220416 134696082 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6342 5507 1111 63 0 6279 0
vsize: 25368
[startup+660.04 s]
Raw data (loadavg): 1.00 1.00 1.09 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5598 0 0 0 65899 103 0 0 25 0 1 0 644405476 26107904 5519 4294967295 134512640 134714508 3221221776 3221220540 134552651 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6374 5519 1111 63 0 6311 0
vsize: 25496
[startup+670.04 s]
Raw data (loadavg): 1.00 1.00 1.09 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5625 0 0 0 66898 105 0 0 25 0 1 0 644405476 26243072 5546 4294967295 134512640 134714508 3221221776 3221219952 134697397 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6407 5546 1111 63 0 6344 0
vsize: 25628
[startup+680.041 s]
Raw data (loadavg): 1.00 1.00 1.09 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5729 0 0 0 67896 106 0 0 25 0 1 0 644405476 26628096 5650 4294967295 134512640 134714508 3221221776 3221220408 134696347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6501 5650 1111 63 0 6438 0
vsize: 26004
[startup+690.041 s]
Raw data (loadavg): 1.00 1.00 1.09 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5821 0 0 0 68895 108 0 0 25 0 1 0 644405476 27033600 5742 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6600 5742 1111 63 0 6537 0
vsize: 26400
[startup+700.041 s]
Raw data (loadavg): 1.00 1.00 1.09 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5860 0 0 0 69894 109 0 0 25 0 1 0 644405476 27156480 5781 4294967295 134512640 134714508 3221221776 3221220332 134535628 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6630 5781 1111 63 0 6567 0
vsize: 26520
[startup+710.042 s]
Raw data (loadavg): 1.00 1.00 1.09 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5865 0 0 0 70893 110 0 0 25 0 1 0 644405476 27156480 5786 4294967295 134512640 134714508 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6630 5786 1111 63 0 6567 0
vsize: 26520
[startup+720.041 s]
Raw data (loadavg): 1.00 1.00 1.09 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 5961 0 0 0 71892 111 0 0 25 0 1 0 644405476 27557888 5882 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6728 5882 1111 63 0 6665 0
vsize: 26912
[startup+730.042 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6040 0 0 0 72890 113 0 0 25 0 1 0 644405476 27922432 5961 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6817 5961 1111 63 0 6754 0
vsize: 27268
[startup+740.043 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6097 0 0 0 73889 115 0 0 25 0 1 0 644405476 28057600 6018 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6850 6018 1111 63 0 6787 0
vsize: 27400
[startup+750.043 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6144 0 0 0 74887 117 0 0 25 0 1 0 644405476 28327936 6065 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6916 6065 1111 63 0 6853 0
vsize: 27664
[startup+760.043 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6160 0 0 0 75886 118 0 0 25 0 1 0 644405476 28327936 6081 4294967295 134512640 134714508 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6916 6081 1111 63 0 6853 0
vsize: 27664
[startup+770.043 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6161 0 0 0 76885 119 0 0 25 0 1 0 644405476 28327936 6082 4294967295 134512640 134714508 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6916 6082 1111 63 0 6853 0
vsize: 27664
[startup+780.044 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6242 0 0 0 77885 120 0 0 25 0 1 0 644405476 28733440 6163 4294967295 134512640 134714508 3221221776 3221220584 134558597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7015 6163 1111 63 0 6952 0
vsize: 28060
[startup+790.044 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6337 0 0 0 78883 122 0 0 25 0 1 0 644405476 29130752 6258 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7112 6258 1111 63 0 7049 0
vsize: 28448
[startup+800.044 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6389 0 0 0 79882 123 0 0 25 0 1 0 644405476 29265920 6310 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7145 6310 1111 63 0 7082 0
vsize: 28580
[startup+810.045 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6447 0 0 0 80881 124 0 0 25 0 1 0 644405476 29532160 6368 4294967295 134512640 134714508 3221221776 3221220440 134536749 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7210 6368 1111 63 0 7147 0
vsize: 28840
[startup+820.044 s]
Raw data (loadavg): 1.00 1.00 1.08 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6474 0 0 0 81879 126 0 0 25 0 1 0 644405476 29667328 6395 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7243 6395 1111 63 0 7180 0
vsize: 28972
[startup+830.046 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6511 0 0 0 82878 128 0 0 25 0 1 0 644405476 29802496 6432 4294967295 134512640 134714508 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7276 6432 1111 63 0 7213 0
vsize: 29104
[startup+840.045 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6521 0 0 0 83877 128 0 0 25 0 1 0 644405476 29802496 6442 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7276 6442 1111 63 0 7213 0
vsize: 29104
[startup+850.045 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6538 0 0 0 84877 129 0 0 25 0 1 0 644405476 29937664 6459 4294967295 134512640 134714508 3221221776 3221220544 134529115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7309 6459 1111 63 0 7246 0
vsize: 29236
[startup+860.045 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6565 0 0 0 85876 130 0 0 25 0 1 0 644405476 30072832 6486 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7342 6486 1111 63 0 7279 0
vsize: 29368
[startup+870.045 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6575 0 0 0 86875 131 0 0 25 0 1 0 644405476 30072832 6496 4294967295 134512640 134714508 3221221776 3221220400 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7342 6496 1111 63 0 7279 0
vsize: 29368
[startup+880.046 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6603 0 0 0 87874 132 0 0 25 0 1 0 644405476 30208000 6524 4294967295 134512640 134714508 3221221776 3221220332 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7375 6524 1111 63 0 7312 0
vsize: 29500
[startup+890.046 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6634 0 0 0 88873 134 0 0 25 0 1 0 644405476 30343168 6555 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7408 6555 1111 63 0 7345 0
vsize: 29632
[startup+900.046 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6668 0 0 0 89872 135 0 0 25 0 1 0 644405476 30478336 6589 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7441 6589 1111 63 0 7378 0
vsize: 29764
[startup+910.046 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6688 0 0 0 90871 136 0 0 25 0 1 0 644405476 30478336 6609 4294967295 134512640 134714508 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7441 6609 1111 63 0 7378 0
vsize: 29764
[startup+920.046 s]
Raw data (loadavg): 1.00 1.00 1.07 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6688 0 0 0 91870 137 0 0 25 0 1 0 644405476 30478336 6609 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7441 6609 1111 63 0 7378 0
vsize: 29764
[startup+930.047 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6705 0 0 0 92869 138 0 0 25 0 1 0 644405476 30613504 6626 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7474 6626 1111 63 0 7411 0
vsize: 29896
[startup+940.046 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6728 0 0 0 93868 139 0 0 25 0 1 0 644405476 30748672 6649 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7507 6649 1111 63 0 7444 0
vsize: 30028
[startup+950.047 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6768 0 0 0 94867 140 0 0 25 0 1 0 644405476 30883840 6689 4294967295 134512640 134714508 3221221776 3221220532 134587950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7540 6689 1111 63 0 7477 0
vsize: 30160
[startup+960.047 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6769 0 0 0 95867 141 0 0 25 0 1 0 644405476 30883840 6690 4294967295 134512640 134714508 3221221776 3221220500 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7540 6690 1111 63 0 7477 0
vsize: 30160
[startup+970.047 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6799 0 0 0 96865 142 0 0 25 0 1 0 644405476 31019008 6720 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7573 6720 1111 63 0 7510 0
vsize: 30292
[startup+980.048 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6855 0 0 0 97865 143 0 0 25 0 1 0 644405476 31268864 6776 4294967295 134512640 134714508 3221221776 3221220536 134592430 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7634 6776 1111 63 0 7571 0
vsize: 30536
[startup+990.049 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6875 0 0 0 98864 144 0 0 25 0 1 0 644405476 31268864 6796 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7634 6796 1111 63 0 7571 0
vsize: 30536
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6901 0 0 0 99863 145 0 0 25 0 1 0 644405476 31404032 6822 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7667 6822 1111 63 0 7604 0
vsize: 30668
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6925 0 0 0 100863 146 0 0 25 0 1 0 644405476 31539200 6846 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7700 6846 1111 63 0 7637 0
vsize: 30800
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6952 0 0 0 101862 147 0 0 25 0 1 0 644405476 31674368 6873 4294967295 134512640 134714508 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7733 6873 1111 63 0 7670 0
vsize: 30932
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.06 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6960 0 0 0 102861 148 0 0 25 0 1 0 644405476 31674368 6881 4294967295 134512640 134714508 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7733 6881 1111 63 0 7670 0
vsize: 30932
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 6987 0 0 0 103860 150 0 0 25 0 1 0 644405476 31809536 6908 4294967295 134512640 134714508 3221221776 3221220544 134551796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7766 6908 1111 63 0 7703 0
vsize: 31064
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 7017 0 0 0 104858 151 0 0 25 0 1 0 644405476 31940608 6938 4294967295 134512640 134714508 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7798 6938 1111 63 0 7735 0
vsize: 31192
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 7017 0 0 0 105858 152 0 0 25 0 1 0 644405476 31940608 6938 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7798 6938 1111 63 0 7735 0
vsize: 31192
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 7017 0 0 0 106857 153 0 0 25 0 1 0 644405476 31940608 6938 4294967295 134512640 134714508 3221221776 3221220384 134548659 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7798 6938 1111 63 0 7735 0
vsize: 31192
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 7017 0 0 0 107857 154 0 0 25 0 1 0 644405476 31940608 6938 4294967295 134512640 134714508 3221221776 3221220336 134535881 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7798 6938 1111 63 0 7735 0
vsize: 31192
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 7017 0 0 0 108856 154 0 0 25 0 1 0 644405476 31940608 6938 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7798 6938 1111 63 0 7735 0
vsize: 31192
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 7017 0 0 0 109855 156 0 0 25 0 1 0 644405476 31940608 6938 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7798 6938 1111 63 0 7735 0
vsize: 31192
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 7017 0 0 0 110854 157 0 0 25 0 1 0 644405476 31940608 6938 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7798 6938 1111 63 0 7735 0
vsize: 31192
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 7027 0 0 0 111852 158 0 0 25 0 1 0 644405476 31940608 6948 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7798 6948 1111 63 0 7735 0
vsize: 31192
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.05 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 7038 0 0 0 112852 159 0 0 25 0 1 0 644405476 31940608 6959 4294967295 134512640 134714508 3221221776 3221220488 134551881 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7798 6959 1111 63 0 7735 0
vsize: 31192
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 7044 0 0 0 113850 161 0 0 25 0 1 0 644405476 31940608 6965 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7798 6965 1111 63 0 7735 0
vsize: 31192
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 7054 0 0 0 114850 161 0 0 25 0 1 0 644405476 32075776 6975 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7831 6975 1111 63 0 7768 0
vsize: 31324
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 7082 0 0 0 115849 162 0 0 25 0 1 0 644405476 32210944 7003 4294967295 134512640 134714508 3221221776 3221220544 134592140 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7864 7003 1111 63 0 7801 0
vsize: 31456
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 1.04 2/54 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 7119 0 0 0 116848 164 0 0 25 0 1 0 644405476 32342016 7040 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7896 7040 1111 63 0 7833 0
vsize: 31584
[startup+1174.97 s]
Raw data (loadavg): 1.00 1.00 1.04 1/53 29697
Raw data (stat): 29697 (bsolo_lpr) R 29696 7876 7672 0 -1 0 7119 0 0 0 116848 164 0 0 25 0 1 0 644405476 32342016 7040 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7896 7040 1111 63 0 7833 0
vsize: 0

Child status: 0
Real time (s): 1174.97
CPU time (s): 1175.05
CPU user time (s): 1173.38
CPU system time (s): 1.66575
CPU usage (%): 100.006
Max. virtual memory (Kb): 31584
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####