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_35_sat_pb.cnf.cr.opb
MD5SUM	022f43a9cfc62e9c9c77f51c14f8e5bf
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.88771
Number of variables	1838
Total number of constraints	1330
Number of constraints which are clauses	1260
Number of constraints which are cardinality constraints (but not clauses)	70
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 23392

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-03 03:03:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=451 boxname=wulflinc31 idbench=51 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  022f43a9cfc62e9c9c77f51c14f8e5bf  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga35_35_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-fpga35_35_sat_pb.cnf.cr.opb
IDLAUNCH: 451
/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:        923892 kB
Buffers:         39224 kB
Cached:          49252 kB
SwapCached:        944 kB
Active:          73844 kB
Inactive:        17120 kB
HighTotal:      131008 kB
HighFree:        80752 kB
LowTotal:       903652 kB
LowFree:        843140 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:             488 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14208 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-03 03:22:58 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 451 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 1838 variables and 1330 constraints.
c After prepocess the problem consists of 1838 variables and 1330 constraints.
c preprocess terminated 3.493 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.91 0.95 0.98 2/54 30814
Raw data (stat): 30814 (runsolver) R 30813 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 645368279 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0001 s]
Raw data (loadavg): 0.93 0.95 0.98 2/54 30814
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 1889 0 0 0 987 8 0 0 25 0 1 0 645368279 10924032 1810 4294967295 134512640 134714508 3221221776 3221220416 134536650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2667 1810 1111 63 0 2604 0
vsize: 10668
[startup+20.001 s]
Raw data (loadavg): 0.94 0.96 0.98 2/54 30814
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 2024 0 0 0 1985 10 0 0 25 0 1 0 645368279 11427840 1945 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2790 1945 1111 63 0 2727 0
vsize: 11160
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 30814
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 2329 0 0 0 2983 13 0 0 25 0 1 0 645368279 12644352 2250 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2250 1111 63 0 3024 0
vsize: 12348
[startup+40.0018 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 30814
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 2410 0 0 0 3981 16 0 0 25 0 1 0 645368279 13045760 2331 4294967295 134512640 134714508 3221221776 3221220176 134697371 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3185 2331 1111 63 0 3122 0
vsize: 12740
[startup+50.0032 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 30814
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 2569 0 0 0 4979 18 0 0 25 0 1 0 645368279 13713408 2490 4294967295 134512640 134714508 3221221776 3221220420 134613657 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3348 2490 1111 63 0 3285 0
vsize: 13392
[startup+60.0037 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 30814
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 2637 0 0 0 5976 20 0 0 25 0 1 0 645368279 13983744 2558 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3414 2558 1111 63 0 3351 0
vsize: 13656
[startup+70.0046 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 30814
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 2681 0 0 0 6975 21 0 0 25 0 1 0 645368279 14118912 2602 4294967295 134512640 134714508 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3447 2602 1111 63 0 3384 0
vsize: 13788
[startup+80.0055 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 30814
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 2717 0 0 0 7973 24 0 0 25 0 1 0 645368279 14254080 2638 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2638 1111 63 0 3417 0
vsize: 13920
[startup+90.0054 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 30814
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 2760 0 0 0 8972 25 0 0 25 0 1 0 645368279 14389248 2681 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3513 2681 1111 63 0 3450 0
vsize: 14052
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 30814
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 2803 0 0 0 9969 27 0 0 25 0 1 0 645368279 14659584 2724 4294967295 134512640 134714508 3221221776 3221220560 134551803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3579 2724 1111 63 0 3516 0
vsize: 14316
[startup+110.007 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 30814
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3074 0 0 0 10968 29 0 0 25 0 1 0 645368279 15740928 2995 4294967295 134512640 134714508 3221221776 3221220416 134539419 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3843 2995 1111 63 0 3780 0
vsize: 15372
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30814
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3107 0 0 0 11966 31 0 0 25 0 1 0 645368279 15876096 3028 4294967295 134512640 134714508 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3876 3028 1111 63 0 3813 0
vsize: 15504
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30814
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3118 0 0 0 12965 33 0 0 25 0 1 0 645368279 15876096 3039 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3876 3039 1111 63 0 3813 0
vsize: 15504
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30814
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3118 0 0 0 13963 34 0 0 25 0 1 0 645368279 15876096 3039 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3876 3039 1111 63 0 3813 0
vsize: 15504
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30814
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3161 0 0 0 14962 36 0 0 25 0 1 0 645368279 16068608 3082 4294967295 134512640 134714508 3221221776 3221220520 134551624 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3923 3082 1111 63 0 3860 0
vsize: 15692
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3186 0 0 0 15961 37 0 0 25 0 1 0 645368279 16203776 3107 4294967295 134512640 134714508 3221221776 3221220336 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3956 3107 1111 63 0 3893 0
vsize: 15824
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3186 0 0 0 16960 38 0 0 25 0 1 0 645368279 16203776 3107 4294967295 134512640 134714508 3221221776 3221220384 134548659 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3956 3107 1111 63 0 3893 0
vsize: 15824
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3186 0 0 0 17959 39 0 0 25 0 1 0 645368279 16203776 3107 4294967295 134512640 134714508 3221221776 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3956 3107 1111 63 0 3893 0
vsize: 15824
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3186 0 0 0 18959 40 0 0 25 0 1 0 645368279 16203776 3107 4294967295 134512640 134714508 3221221776 3221220448 134542977 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3956 3107 1111 63 0 3893 0
vsize: 15824
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3186 0 0 0 19958 40 0 0 25 0 1 0 645368279 16203776 3107 4294967295 134512640 134714508 3221221776 3221220540 134543569 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3956 3107 1111 63 0 3893 0
vsize: 15824
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3186 0 0 0 20958 41 0 0 25 0 1 0 645368279 16203776 3107 4294967295 134512640 134714508 3221221776 3221220400 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3956 3107 1111 63 0 3893 0
vsize: 15824
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3186 0 0 0 21957 42 0 0 25 0 1 0 645368279 16203776 3107 4294967295 134512640 134714508 3221221776 3221220400 134539460 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3956 3107 1111 63 0 3893 0
vsize: 15824
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3199 0 0 0 22955 44 0 0 25 0 1 0 645368279 16203776 3120 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3956 3120 1111 63 0 3893 0
vsize: 15824
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3250 0 0 0 23953 46 0 0 25 0 1 0 645368279 16474112 3171 4294967295 134512640 134714508 3221221776 3221220368 134549680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4022 3171 1111 63 0 3959 0
vsize: 16088
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3250 0 0 0 24952 47 0 0 25 0 1 0 645368279 16474112 3171 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4022 3171 1111 63 0 3959 0
vsize: 16088
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3267 0 0 0 25951 49 0 0 25 0 1 0 645368279 16461824 3188 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4019 3188 1111 63 0 3956 0
vsize: 16076
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3267 0 0 0 26950 50 0 0 25 0 1 0 645368279 16461824 3188 4294967295 134512640 134714508 3221221776 3221220416 134696094 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4019 3188 1111 63 0 3956 0
vsize: 16076
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3267 0 0 0 27948 53 0 0 25 0 1 0 645368279 16461824 3188 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4019 3188 1111 63 0 3956 0
vsize: 16076
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3267 0 0 0 28946 54 0 0 25 0 1 0 645368279 16461824 3188 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4019 3188 1111 63 0 3956 0
vsize: 16076
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3267 0 0 0 29946 55 0 0 25 0 1 0 645368279 16461824 3188 4294967295 134512640 134714508 3221221776 3221220384 134523607 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4019 3188 1111 63 0 3956 0
vsize: 16076
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3267 0 0 0 30945 56 0 0 25 0 1 0 645368279 16461824 3188 4294967295 134512640 134714508 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4019 3188 1111 63 0 3956 0
vsize: 16076
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3267 0 0 0 31944 57 0 0 25 0 1 0 645368279 16461824 3188 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4019 3188 1111 63 0 3956 0
vsize: 16076
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3267 0 0 0 32943 58 0 0 25 0 1 0 645368279 16461824 3188 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4019 3188 1111 63 0 3956 0
vsize: 16076
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3375 0 0 0 33941 60 0 0 25 0 1 0 645368279 17002496 3296 4294967295 134512640 134714508 3221221776 3221220536 134543541 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4151 3296 1111 63 0 4088 0
vsize: 16604
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3420 0 0 0 34940 62 0 0 25 0 1 0 645368279 17002496 3320 4294967295 134512640 134714508 3221221776 3221220500 134613700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4151 3320 1111 63 0 4088 0
vsize: 16604
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3463 0 0 0 35939 63 0 0 25 0 1 0 645368279 17272832 3363 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4217 3363 1111 63 0 4154 0
vsize: 16868
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3552 0 0 0 36937 65 0 0 25 0 1 0 645368279 17543168 3452 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4283 3452 1111 63 0 4220 0
vsize: 17132
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3567 0 0 0 37937 66 0 0 25 0 1 0 645368279 17678336 3467 4294967295 134512640 134714508 3221221776 3221220520 134558477 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4316 3467 1111 63 0 4253 0
vsize: 17264
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3567 0 0 0 38936 66 0 0 25 0 1 0 645368279 17678336 3467 4294967295 134512640 134714508 3221221776 3221220336 134696434 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4316 3467 1111 63 0 4253 0
vsize: 17264
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3567 0 0 0 39935 67 0 0 25 0 1 0 645368279 17678336 3467 4294967295 134512640 134714508 3221221776 3221220416 134696085 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4316 3467 1111 63 0 4253 0
vsize: 17264
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3567 0 0 0 40935 67 0 0 25 0 1 0 645368279 17678336 3467 4294967295 134512640 134714508 3221221776 3221220464 134523359 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4316 3467 1111 63 0 4253 0
vsize: 17264
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3579 0 0 0 41935 68 0 0 25 0 1 0 645368279 17678336 3479 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4316 3479 1111 63 0 4253 0
vsize: 17264
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3586 0 0 0 42935 68 0 0 25 0 1 0 645368279 17813504 3486 4294967295 134512640 134714508 3221221776 3221220444 134543616 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4349 3486 1111 63 0 4286 0
vsize: 17396
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3592 0 0 0 43934 69 0 0 25 0 1 0 645368279 17735680 3492 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4330 3492 1111 63 0 4267 0
vsize: 17320
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3615 0 0 0 44934 70 0 0 25 0 1 0 645368279 17870848 3515 4294967295 134512640 134714508 3221221776 3221220344 134542295 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4363 3515 1111 63 0 4300 0
vsize: 17452
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3621 0 0 0 45933 71 0 0 25 0 1 0 645368279 17870848 3521 4294967295 134512640 134714508 3221221776 3221220496 134535793 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4363 3521 1111 63 0 4300 0
vsize: 17452
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3656 0 0 0 46931 72 0 0 25 0 1 0 645368279 18087936 3556 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4416 3556 1111 63 0 4353 0
vsize: 17664
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3680 0 0 0 47931 73 0 0 25 0 1 0 645368279 18075648 3580 4294967295 134512640 134714508 3221221776 3221220416 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4413 3580 1111 63 0 4350 0
vsize: 17652
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3750 0 0 0 48930 74 0 0 25 0 1 0 645368279 18481152 3650 4294967295 134512640 134714508 3221221776 3221220384 134548843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4512 3650 1111 63 0 4449 0
vsize: 18048
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3837 0 0 0 49929 75 0 0 25 0 1 0 645368279 18751488 3737 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3737 1111 63 0 4515 0
vsize: 18312
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3837 0 0 0 50929 76 0 0 25 0 1 0 645368279 18751488 3737 4294967295 134512640 134714508 3221221776 3221220512 134534159 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3737 1111 63 0 4515 0
vsize: 18312
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3837 0 0 0 51928 77 0 0 25 0 1 0 645368279 18751488 3737 4294967295 134512640 134714508 3221221776 3221220512 134523948 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3737 1111 63 0 4515 0
vsize: 18312
[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3837 0 0 0 52927 78 0 0 25 0 1 0 645368279 18751488 3737 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3737 1111 63 0 4515 0
vsize: 18312
[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3837 0 0 0 53926 79 0 0 25 0 1 0 645368279 18751488 3737 4294967295 134512640 134714508 3221221776 3221220416 134539434 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3737 1111 63 0 4515 0
vsize: 18312
[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3837 0 0 0 54924 82 0 0 25 0 1 0 645368279 18751488 3737 4294967295 134512640 134714508 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3737 1111 63 0 4515 0
vsize: 18312
[startup+560.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3837 0 0 0 55923 83 0 0 25 0 1 0 645368279 18751488 3737 4294967295 134512640 134714508 3221221776 3221220444 1076647536 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3737 1111 63 0 4515 0
vsize: 18312
[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3837 0 0 0 56922 84 0 0 25 0 1 0 645368279 18751488 3737 4294967295 134512640 134714508 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3737 1111 63 0 4515 0
vsize: 18312
[startup+580.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3837 0 0 0 57921 85 0 0 25 0 1 0 645368279 18751488 3737 4294967295 134512640 134714508 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3737 1111 63 0 4515 0
vsize: 18312
[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3837 0 0 0 58919 87 0 0 25 0 1 0 645368279 18751488 3737 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3737 1111 63 0 4515 0
vsize: 18312
[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3837 0 0 0 59918 88 0 0 25 0 1 0 645368279 18751488 3737 4294967295 134512640 134714508 3221221776 3221220664 134531428 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3737 1111 63 0 4515 0
vsize: 18312
[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3837 0 0 0 60917 90 0 0 25 0 1 0 645368279 18751488 3737 4294967295 134512640 134714508 3221221776 3221220272 134535442 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3737 1111 63 0 4515 0
vsize: 18312
[startup+620.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3837 0 0 0 61915 91 0 0 25 0 1 0 645368279 18751488 3737 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3737 1111 63 0 4515 0
vsize: 18312
[startup+630.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3837 0 0 0 62915 92 0 0 25 0 1 0 645368279 18751488 3737 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3737 1111 63 0 4515 0
vsize: 18312
[startup+640.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3837 0 0 0 63914 94 0 0 25 0 1 0 645368279 18751488 3737 4294967295 134512640 134714508 3221221776 3221220472 134552673 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3737 1111 63 0 4515 0
vsize: 18312
[startup+650.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3837 0 0 0 64913 95 0 0 25 0 1 0 645368279 18751488 3737 4294967295 134512640 134714508 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3737 1111 63 0 4515 0
vsize: 18312
[startup+660.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3837 0 0 0 65911 97 0 0 25 0 1 0 645368279 18751488 3737 4294967295 134512640 134714508 3221221776 3221220432 1076647581 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3737 1111 63 0 4515 0
vsize: 18312
[startup+670.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3837 0 0 0 66909 98 0 0 25 0 1 0 645368279 18751488 3737 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3737 1111 63 0 4515 0
vsize: 18312
[startup+680.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3837 0 0 0 67908 100 0 0 25 0 1 0 645368279 18751488 3737 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3737 1111 63 0 4515 0
vsize: 18312
[startup+690.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3837 0 0 0 68907 102 0 0 25 0 1 0 645368279 18751488 3737 4294967295 134512640 134714508 3221221776 3221220452 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3737 1111 63 0 4515 0
vsize: 18312
[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 3837 0 0 0 69906 103 0 0 25 0 1 0 645368279 18751488 3737 4294967295 134512640 134714508 3221221776 3221220544 134592119 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4578 3737 1111 63 0 4515 0
vsize: 18312
[startup+710.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 4046 0 0 0 70904 105 0 0 25 0 1 0 645368279 19697664 3946 4294967295 134512640 134714508 3221221776 3221220380 134535876 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4809 3946 1111 63 0 4746 0
vsize: 19236
[startup+720.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 4046 0 0 0 71903 106 0 0 25 0 1 0 645368279 19697664 3946 4294967295 134512640 134714508 3221221776 3221220416 134696208 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4809 3946 1111 63 0 4746 0
vsize: 19236
[startup+730.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 4073 0 0 0 72902 107 0 0 25 0 1 0 645368279 19697664 3973 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4809 3973 1111 63 0 4746 0
vsize: 19236
[startup+740.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 4076 0 0 0 73902 108 0 0 25 0 1 0 645368279 19697664 3976 4294967295 134512640 134714508 3221221776 3221220368 134549680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4809 3976 1111 63 0 4746 0
vsize: 19236
[startup+750.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 4076 0 0 0 74901 109 0 0 25 0 1 0 645368279 19697664 3976 4294967295 134512640 134714508 3221221776 3221220496 134591862 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4809 3976 1111 63 0 4746 0
vsize: 19236
[startup+760.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 4089 0 0 0 75900 109 0 0 25 0 1 0 645368279 19832832 3989 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4842 3989 1111 63 0 4779 0
vsize: 19368
[startup+770.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 4123 0 0 0 76900 110 0 0 25 0 1 0 645368279 19968000 4023 4294967295 134512640 134714508 3221221776 3221220428 134536763 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4875 4023 1111 63 0 4812 0
vsize: 19500
[startup+780.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 4123 0 0 0 77900 111 0 0 25 0 1 0 645368279 19968000 4023 4294967295 134512640 134714508 3221221776 3221220400 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4875 4023 1111 63 0 4812 0
vsize: 19500
[startup+790.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 4123 0 0 0 78899 112 0 0 25 0 1 0 645368279 19968000 4023 4294967295 134512640 134714508 3221221776 3221220448 134543681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4875 4023 1111 63 0 4812 0
vsize: 19500
[startup+800.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 4123 0 0 0 79898 112 0 0 25 0 1 0 645368279 19968000 4023 4294967295 134512640 134714508 3221221776 3221220584 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4875 4023 1111 63 0 4812 0
vsize: 19500
[startup+810.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 4162 0 0 0 80897 114 0 0 25 0 1 0 645368279 20103168 4062 4294967295 134512640 134714508 3221221776 3221220520 134551636 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4908 4062 1111 63 0 4845 0
vsize: 19632
[startup+820.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 4210 0 0 0 81897 114 0 0 25 0 1 0 645368279 20279296 4110 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4951 4110 1111 63 0 4888 0
vsize: 19804
[startup+830.056 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 4229 0 0 0 82898 115 0 0 25 0 1 0 645368279 20414464 4129 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4984 4129 1111 63 0 4921 0
vsize: 19936
[startup+840.066 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 4231 0 0 0 83899 116 0 0 25 0 1 0 645368279 20414464 4131 4294967295 134512640 134714508 3221221776 3221220544 134592128 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4984 4131 1111 63 0 4921 0
vsize: 19936
[startup+850.066 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 4249 0 0 0 84898 116 0 0 25 0 1 0 645368279 20414464 4149 4294967295 134512640 134714508 3221221776 3221220424 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4984 4149 1111 63 0 4921 0
vsize: 19936
[startup+860.065 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 4249 0 0 0 85898 117 0 0 25 0 1 0 645368279 20414464 4149 4294967295 134512640 134714508 3221221776 3221220428 134543615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4984 4149 1111 63 0 4921 0
vsize: 19936
[startup+870.066 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 4249 0 0 0 86896 119 0 0 25 0 1 0 645368279 20414464 4149 4294967295 134512640 134714508 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4984 4149 1111 63 0 4921 0
vsize: 19936
[startup+880.068 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 4249 0 0 0 87895 120 0 0 25 0 1 0 645368279 20414464 4149 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4984 4149 1111 63 0 4921 0
vsize: 19936
[startup+890.068 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 4315 0 0 0 88894 121 0 0 25 0 1 0 645368279 20684800 4215 4294967295 134512640 134714508 3221221776 3221220344 1077378438 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5050 4215 1111 63 0 4987 0
vsize: 20200
[startup+900.068 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 4370 0 0 0 89892 123 0 0 25 0 1 0 645368279 20955136 4270 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5116 4270 1111 63 0 5053 0
vsize: 20464
[startup+910.068 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 4419 0 0 0 90892 124 0 0 25 0 1 0 645368279 21221376 4319 4294967295 134512640 134714508 3221221776 3221220400 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5181 4319 1111 63 0 5118 0
vsize: 20724
[startup+920.068 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 4436 0 0 0 91891 125 0 0 25 0 1 0 645368279 21221376 4336 4294967295 134512640 134714508 3221221776 3221220416 134523874 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5181 4336 1111 63 0 5118 0
vsize: 20724
[startup+930.068 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 4473 0 0 0 92889 127 0 0 25 0 1 0 645368279 21356544 4373 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5214 4373 1111 63 0 5151 0
vsize: 20856
[startup+940.068 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 4473 0 0 0 93888 129 0 0 25 0 1 0 645368279 21356544 4373 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5214 4373 1111 63 0 5151 0
vsize: 20856
[startup+950.069 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 4503 0 0 0 94886 130 0 0 25 0 1 0 645368279 21491712 4403 4294967295 134512640 134714508 3221221776 3221220584 134558593 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5247 4403 1111 63 0 5184 0
vsize: 20988
[startup+960.069 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 4536 0 0 0 95885 132 0 0 25 0 1 0 645368279 21626880 4436 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5280 4436 1111 63 0 5217 0
vsize: 21120
[startup+970.069 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 4564 0 0 0 96883 134 0 0 25 0 1 0 645368279 21762048 4464 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5313 4464 1111 63 0 5250 0
vsize: 21252
[startup+980.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 4594 0 0 0 97882 135 0 0 25 0 1 0 645368279 21897216 4494 4294967295 134512640 134714508 3221221776 3221220232 1077377771 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4494 1111 63 0 5283 0
vsize: 21384
[startup+990.069 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 4635 0 0 0 98880 137 0 0 25 0 1 0 645368279 22032384 4535 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5379 4535 1111 63 0 5316 0
vsize: 21516
[startup+1000.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 4878 0 0 0 99879 138 0 0 25 0 1 0 645368279 22978560 4778 4294967295 134512640 134714508 3221221776 3221220548 134529106 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5610 4778 1111 63 0 5547 0
vsize: 22440
[startup+1010.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 4930 0 0 0 100878 139 0 0 25 0 1 0 645368279 23248896 4830 4294967295 134512640 134714508 3221221776 3221220272 134535442 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5676 4830 1111 63 0 5613 0
vsize: 22704
[startup+1020.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 4930 0 0 0 101877 140 0 0 25 0 1 0 645368279 23248896 4830 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5676 4830 1111 63 0 5613 0
vsize: 22704
[startup+1030.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 4930 0 0 0 102875 142 0 0 25 0 1 0 645368279 23248896 4830 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5676 4830 1111 63 0 5613 0
vsize: 22704
[startup+1040.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 4958 0 0 0 103874 144 0 0 25 0 1 0 645368279 23384064 4858 4294967295 134512640 134714508 3221221776 3221220172 1077379846 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5709 4858 1111 63 0 5646 0
vsize: 22836
[startup+1050.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 4999 0 0 0 104873 145 0 0 25 0 1 0 645368279 23519232 4899 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5742 4899 1111 63 0 5679 0
vsize: 22968
[startup+1060.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 4999 0 0 0 105872 146 0 0 25 0 1 0 645368279 23519232 4899 4294967295 134512640 134714508 3221221776 3221220448 134652797 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5742 4899 1111 63 0 5679 0
vsize: 22968
[startup+1070.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 4999 0 0 0 106871 147 0 0 25 0 1 0 645368279 23519232 4899 4294967295 134512640 134714508 3221221776 3221220416 134696002 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5742 4899 1111 63 0 5679 0
vsize: 22968
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 4999 0 0 0 107871 148 0 0 25 0 1 0 645368279 23519232 4899 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5742 4899 1111 63 0 5679 0
vsize: 22968
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 5017 0 0 0 108870 149 0 0 25 0 1 0 645368279 23654400 4917 4294967295 134512640 134714508 3221221776 3221220416 134536653 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5775 4917 1111 63 0 5712 0
vsize: 23100
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 5017 0 0 0 109869 150 0 0 25 0 1 0 645368279 23654400 4917 4294967295 134512640 134714508 3221221776 3221220416 134539374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5775 4917 1111 63 0 5712 0
vsize: 23100
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 5021 0 0 0 110869 150 0 0 25 0 1 0 645368279 23654400 4921 4294967295 134512640 134714508 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5775 4921 1111 63 0 5712 0
vsize: 23100
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 5053 0 0 0 111867 152 0 0 25 0 1 0 645368279 23789568 4953 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5808 4953 1111 63 0 5745 0
vsize: 23232
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 5065 0 0 0 112866 153 0 0 25 0 1 0 645368279 23789568 4965 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5808 4965 1111 63 0 5745 0
vsize: 23232
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 5065 0 0 0 113865 154 0 0 25 0 1 0 645368279 23789568 4965 4294967295 134512640 134714508 3221221776 3221220408 134696017 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5808 4965 1111 63 0 5745 0
vsize: 23232
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 5065 0 0 0 114864 155 0 0 25 0 1 0 645368279 23789568 4965 4294967295 134512640 134714508 3221221776 3221220428 134536814 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5808 4965 1111 63 0 5745 0
vsize: 23232
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 5065 0 0 0 115863 156 0 0 25 0 1 0 645368279 23789568 4965 4294967295 134512640 134714508 3221221776 3221220400 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5808 4965 1111 63 0 5745 0
vsize: 23232
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 5065 0 0 0 116862 157 0 0 25 0 1 0 645368279 23789568 4965 4294967295 134512640 134714508 3221221776 3221220332 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5808 4965 1111 63 0 5745 0
vsize: 23232
[startup+1174.91 s]
Raw data (loadavg): 0.99 0.97 0.98 1/53 30816
Raw data (stat): 30814 (bsolo_lpr) R 30813 7876 7672 0 -1 0 5065 0 0 0 116862 157 0 0 25 0 1 0 645368279 23789568 4965 4294967295 134512640 134714508 3221221776 3221220332 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5808 4965 1111 63 0 5745 0
vsize: 0

Child status: 0
Real time (s): 1174.91
CPU time (s): 1175.04
CPU user time (s): 1173.45
CPU system time (s): 1.59076
CPU usage (%): 100.011
Max. virtual memory (Kb): 23232
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####