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_34_sat_pb.cnf.cr.opb
MD5SUM	f49e527e8d063bcfa5508a2b00211475
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	9.75752
Number of variables	1785
Total number of constraints	1293
Number of constraints which are clauses	1224
Number of constraints which are cardinality constraints (but not clauses)	69
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 23387

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-03 01:43:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=442 boxname=wulflinc31 idbench=50 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  f49e527e8d063bcfa5508a2b00211475  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga35_34_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-fpga35_34_sat_pb.cnf.cr.opb
IDLAUNCH: 442
/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:        924844 kB
Buffers:         39124 kB
Cached:          48740 kB
SwapCached:        944 kB
Active:          73568 kB
Inactive:        16704 kB
HighTotal:      131008 kB
HighFree:        81368 kB
LowTotal:       903652 kB
LowFree:        843476 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:             208 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14132 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-03 02:02:40 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 442 7 1175.03 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 1785 variables and 1293 constraints.
c After prepocess the problem consists of 1785 variables and 1293 constraints.
c preprocess terminated 3.267 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.92 0.97 0.98 2/54 30228
Raw data (stat): 30228 (runsolver) R 30227 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 644886461 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.0008 s]
Raw data (loadavg): 0.93 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 1855 0 0 0 986 8 0 0 25 0 1 0 644886461 10797056 1776 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2636 1776 1111 63 0 2573 0
vsize: 10544
[startup+20.0022 s]
Raw data (loadavg): 0.94 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 2171 0 0 0 1984 11 0 0 25 0 1 0 644886461 12013568 2092 4294967295 134512640 134714508 3221221776 3221220336 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2933 2092 1111 63 0 2870 0
vsize: 11732
[startup+30.0027 s]
Raw data (loadavg): 0.95 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 2215 0 0 0 2982 13 0 0 25 0 1 0 644886461 12148736 2136 4294967295 134512640 134714508 3221221776 3221220400 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2966 2136 1111 63 0 2903 0
vsize: 11864
[startup+40.0027 s]
Raw data (loadavg): 0.96 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 2655 0 0 0 3979 16 0 0 25 0 1 0 644886461 14041088 2576 4294967295 134512640 134714508 3221221776 3221220400 134549517 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3428 2576 1111 63 0 3365 0
vsize: 13712
[startup+50.003 s]
Raw data (loadavg): 0.97 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 2795 0 0 0 4978 17 0 0 25 0 1 0 644886461 14581760 2716 4294967295 134512640 134714508 3221221776 3221220408 134696017 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3560 2716 1111 63 0 3497 0
vsize: 14240
[startup+60.0036 s]
Raw data (loadavg): 0.97 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 2836 0 0 0 5975 20 0 0 25 0 1 0 644886461 14716928 2757 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3593 2757 1111 63 0 3530 0
vsize: 14372
[startup+70.0045 s]
Raw data (loadavg): 0.97 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 2899 0 0 0 6973 22 0 0 25 0 1 0 644886461 14987264 2820 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3659 2820 1111 63 0 3596 0
vsize: 14636
[startup+80.0059 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 2940 0 0 0 7972 24 0 0 25 0 1 0 644886461 15122432 2861 4294967295 134512640 134714508 3221221776 3221220392 134542657 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3692 2861 1111 63 0 3629 0
vsize: 14768
[startup+90.0064 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 2984 0 0 0 8970 25 0 0 25 0 1 0 644886461 15392768 2905 4294967295 134512640 134714508 3221221776 3221220404 1077374149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3758 2905 1111 63 0 3695 0
vsize: 15032
[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 3023 0 0 0 9969 27 0 0 25 0 1 0 644886461 15527936 2944 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3791 2944 1111 63 0 3728 0
vsize: 15164
[startup+110.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 3206 0 0 0 10968 28 0 0 25 0 1 0 644886461 16338944 3127 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3989 3127 1111 63 0 3926 0
vsize: 15956
[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 3258 0 0 0 11967 29 0 0 25 0 1 0 644886461 16474112 3179 4294967295 134512640 134714508 3221221776 3221220464 134551897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4022 3179 1111 63 0 3959 0
vsize: 16088
[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 3348 0 0 0 12966 30 0 0 25 0 1 0 644886461 16879616 3269 4294967295 134512640 134714508 3221221776 3221220560 134528780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4121 3269 1111 63 0 4058 0
vsize: 16484
[startup+140.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 3409 0 0 0 13966 31 0 0 25 0 1 0 644886461 16904192 3297 4294967295 134512640 134714508 3221221776 3221220416 134542359 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4127 3297 1111 63 0 4064 0
vsize: 16508
[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 3459 0 0 0 14965 32 0 0 25 0 1 0 644886461 16904192 3297 4294967295 134512640 134714508 3221221776 3221220496 134535790 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4127 3297 1111 63 0 4064 0
vsize: 16508
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 3459 0 0 0 15964 33 0 0 25 0 1 0 644886461 16904192 3297 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4127 3297 1111 63 0 4064 0
vsize: 16508
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 3459 0 0 0 16963 34 0 0 25 0 1 0 644886461 16904192 3297 4294967295 134512640 134714508 3221221776 3221220172 1077379860 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4127 3297 1111 63 0 4064 0
vsize: 16508
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 3459 0 0 0 17962 35 0 0 25 0 1 0 644886461 16904192 3297 4294967295 134512640 134714508 3221221776 3221220336 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4127 3297 1111 63 0 4064 0
vsize: 16508
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 3459 0 0 0 18962 36 0 0 25 0 1 0 644886461 16904192 3297 4294967295 134512640 134714508 3221221776 3221220416 134536698 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4127 3297 1111 63 0 4064 0
vsize: 16508
[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 3468 0 0 0 19961 37 0 0 25 0 1 0 644886461 17039360 3306 4294967295 134512640 134714508 3221221776 3221220364 134542288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4160 3306 1111 63 0 4097 0
vsize: 16640
[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 3487 0 0 0 20959 38 0 0 25 0 1 0 644886461 16961536 3311 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4141 3311 1111 63 0 4078 0
vsize: 16564
[startup+220.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 3598 0 0 0 21958 40 0 0 25 0 1 0 644886461 17453056 3422 4294967295 134512640 134714508 3221221776 3221220400 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4261 3422 1111 63 0 4198 0
vsize: 17044
[startup+230.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 3598 0 0 0 22957 40 0 0 25 0 1 0 644886461 17453056 3422 4294967295 134512640 134714508 3221221776 3221220520 134551632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4261 3422 1111 63 0 4198 0
vsize: 17044
[startup+240.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 3598 0 0 0 23956 41 0 0 25 0 1 0 644886461 17453056 3422 4294967295 134512640 134714508 3221221776 3221220336 134696549 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4261 3422 1111 63 0 4198 0
vsize: 17044
[startup+250.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 3702 0 0 0 24955 43 0 0 25 0 1 0 644886461 17858560 3526 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4360 3526 1111 63 0 4297 0
vsize: 17440
[startup+260.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 3758 0 0 0 25954 44 0 0 25 0 1 0 644886461 18128896 3582 4294967295 134512640 134714508 3221221776 3221220544 134587964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4426 3582 1111 63 0 4363 0
vsize: 17704
[startup+270.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 3812 0 0 0 26954 44 0 0 25 0 1 0 644886461 18399232 3636 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4492 3636 1111 63 0 4429 0
vsize: 17968
[startup+280.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 3812 0 0 0 27953 45 0 0 25 0 1 0 644886461 18399232 3636 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4492 3636 1111 63 0 4429 0
vsize: 17968
[startup+290.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 3812 0 0 0 28952 46 0 0 25 0 1 0 644886461 18399232 3636 4294967295 134512640 134714508 3221221776 3221220332 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4492 3636 1111 63 0 4429 0
vsize: 17968
[startup+300.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 3812 0 0 0 29952 47 0 0 25 0 1 0 644886461 18399232 3636 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4492 3636 1111 63 0 4429 0
vsize: 17968
[startup+310.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 3812 0 0 0 30951 48 0 0 25 0 1 0 644886461 18399232 3636 4294967295 134512640 134714508 3221221776 3221220480 134528617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4492 3636 1111 63 0 4429 0
vsize: 17968
[startup+320.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 3812 0 0 0 31951 49 0 0 25 0 1 0 644886461 18399232 3636 4294967295 134512640 134714508 3221221776 3221220412 134696396 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4492 3636 1111 63 0 4429 0
vsize: 17968
[startup+330.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 3832 0 0 0 32950 50 0 0 25 0 1 0 644886461 18399232 3656 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4492 3656 1111 63 0 4429 0
vsize: 17968
[startup+340.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 3841 0 0 0 33950 51 0 0 25 0 1 0 644886461 18534400 3665 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4525 3665 1111 63 0 4462 0
vsize: 18100
[startup+350.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 3841 0 0 0 34949 51 0 0 25 0 1 0 644886461 18534400 3665 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4525 3665 1111 63 0 4462 0
vsize: 18100
[startup+360.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 3865 0 0 0 35948 52 0 0 25 0 1 0 644886461 18534400 3689 4294967295 134512640 134714508 3221221776 3221220188 1077379898 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4525 3689 1111 63 0 4462 0
vsize: 18100
[startup+370.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 3882 0 0 0 36948 53 0 0 25 0 1 0 644886461 18669568 3706 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4558 3706 1111 63 0 4495 0
vsize: 18232
[startup+380.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 3882 0 0 0 37947 54 0 0 25 0 1 0 644886461 18669568 3706 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4558 3706 1111 63 0 4495 0
vsize: 18232
[startup+390.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 3906 0 0 0 38946 55 0 0 25 0 1 0 644886461 18804736 3730 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4591 3730 1111 63 0 4528 0
vsize: 18364
[startup+400.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 3911 0 0 0 39946 56 0 0 25 0 1 0 644886461 18804736 3735 4294967295 134512640 134714508 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4591 3735 1111 63 0 4528 0
vsize: 18364
[startup+410.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 3926 0 0 0 40944 57 0 0 25 0 1 0 644886461 18804736 3750 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4591 3750 1111 63 0 4528 0
vsize: 18364
[startup+420.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 3935 0 0 0 41944 58 0 0 25 0 1 0 644886461 18804736 3759 4294967295 134512640 134714508 3221221776 3221220432 134536743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4591 3759 1111 63 0 4528 0
vsize: 18364
[startup+430.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 3935 0 0 0 42943 59 0 0 25 0 1 0 644886461 18804736 3759 4294967295 134512640 134714508 3221221776 3221220368 134549541 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4591 3759 1111 63 0 4528 0
vsize: 18364
[startup+440.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 3972 0 0 0 43943 60 0 0 25 0 1 0 644886461 19075072 3796 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4657 3796 1111 63 0 4594 0
vsize: 18628
[startup+450.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 3972 0 0 0 44942 61 0 0 25 0 1 0 644886461 19075072 3796 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4657 3796 1111 63 0 4594 0
vsize: 18628
[startup+460.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 3972 0 0 0 45941 61 0 0 25 0 1 0 644886461 19075072 3796 4294967295 134512640 134714508 3221221776 3221220384 134549457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4657 3796 1111 63 0 4594 0
vsize: 18628
[startup+470.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 3972 0 0 0 46940 63 0 0 25 0 1 0 644886461 19075072 3796 4294967295 134512640 134714508 3221221776 3221220332 134539334 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4657 3796 1111 63 0 4594 0
vsize: 18628
[startup+480.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 3972 0 0 0 47940 63 0 0 25 0 1 0 644886461 19075072 3796 4294967295 134512640 134714508 3221221776 3221220400 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4657 3796 1111 63 0 4594 0
vsize: 18628
[startup+490.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 3972 0 0 0 48939 64 0 0 25 0 1 0 644886461 19075072 3796 4294967295 134512640 134714508 3221221776 3221220400 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4657 3796 1111 63 0 4594 0
vsize: 18628
[startup+500.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 3975 0 0 0 49938 65 0 0 25 0 1 0 644886461 19075072 3799 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4657 3799 1111 63 0 4594 0
vsize: 18628
[startup+510.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4006 0 0 0 50937 66 0 0 25 0 1 0 644886461 19210240 3830 4294967295 134512640 134714508 3221221776 3221220288 134535026 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4690 3830 1111 63 0 4627 0
vsize: 18760
[startup+520.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4022 0 0 0 51936 68 0 0 25 0 1 0 644886461 19210240 3846 4294967295 134512640 134714508 3221221776 3221220336 134696580 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4690 3846 1111 63 0 4627 0
vsize: 18760
[startup+530.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4110 0 0 0 52935 69 0 0 25 0 1 0 644886461 19615744 3934 4294967295 134512640 134714508 3221221776 3221220400 134539460 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4789 3934 1111 63 0 4726 0
vsize: 19156
[startup+540.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4119 0 0 0 53934 70 0 0 25 0 1 0 644886461 19615744 3943 4294967295 134512640 134714508 3221221776 3221220520 134672944 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4789 3943 1111 63 0 4726 0
vsize: 19156
[startup+550.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4119 0 0 0 54933 71 0 0 25 0 1 0 644886461 19615744 3943 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4789 3943 1111 63 0 4726 0
vsize: 19156
[startup+560.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4147 0 0 0 55933 71 0 0 25 0 1 0 644886461 19750912 3971 4294967295 134512640 134714508 3221221776 3221220448 134543681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4822 3971 1111 63 0 4759 0
vsize: 19288
[startup+570.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4184 0 0 0 56933 72 0 0 25 0 1 0 644886461 19886080 4008 4294967295 134512640 134714508 3221221776 3221220400 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4855 4008 1111 63 0 4792 0
vsize: 19420
[startup+580.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4245 0 0 0 57932 73 0 0 25 0 1 0 644886461 20156416 4069 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4921 4069 1111 63 0 4858 0
vsize: 19684
[startup+590.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4315 0 0 0 58932 73 0 0 25 0 1 0 644886461 20365312 4139 4294967295 134512640 134714508 3221221776 3221220384 134523171 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4972 4139 1111 63 0 4909 0
vsize: 19888
[startup+600.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4315 0 0 0 59931 74 0 0 25 0 1 0 644886461 20365312 4139 4294967295 134512640 134714508 3221221776 3221220100 134697196 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4972 4139 1111 63 0 4909 0
vsize: 19888
[startup+610.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4315 0 0 0 60930 75 0 0 25 0 1 0 644886461 20365312 4139 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4972 4139 1111 63 0 4909 0
vsize: 19888
[startup+620.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4339 0 0 0 61930 76 0 0 25 0 1 0 644886461 20500480 4163 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5005 4163 1111 63 0 4942 0
vsize: 20020
[startup+630.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4395 0 0 0 62929 76 0 0 25 0 1 0 644886461 20774912 4219 4294967295 134512640 134714508 3221221776 3221220444 134543056 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5072 4219 1111 63 0 5009 0
vsize: 20288
[startup+640.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4470 0 0 0 63929 77 0 0 25 0 1 0 644886461 21045248 4294 4294967295 134512640 134714508 3221221776 3221220284 134535928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5138 4294 1111 63 0 5075 0
vsize: 20552
[startup+650.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4647 0 0 0 64928 78 0 0 25 0 1 0 644886461 21725184 4471 4294967295 134512640 134714508 3221221776 3221220364 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5304 4471 1111 63 0 5241 0
vsize: 21216
[startup+660.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 65927 79 0 0 25 0 1 0 644886461 22126592 4544 4294967295 134512640 134714508 3221221776 3221220432 134524064 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5402 4544 1111 63 0 5339 0
vsize: 21608
[startup+670.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 66926 80 0 0 25 0 1 0 644886461 22126592 4544 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5402 4544 1111 63 0 5339 0
vsize: 21608
[startup+680.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 67925 81 0 0 25 0 1 0 644886461 22126592 4544 4294967295 134512640 134714508 3221221776 3221220400 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5402 4544 1111 63 0 5339 0
vsize: 21608
[startup+690.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 68925 82 0 0 25 0 1 0 644886461 22106112 4544 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+700.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 69924 83 0 0 25 0 1 0 644886461 22106112 4544 4294967295 134512640 134714508 3221221776 3221220416 134542312 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+710.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 70923 84 0 0 25 0 1 0 644886461 22106112 4544 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+720.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 71921 85 0 0 25 0 1 0 644886461 22106112 4544 4294967295 134512640 134714508 3221221776 3221220584 134558597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+730.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 72920 87 0 0 25 0 1 0 644886461 22106112 4544 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+740.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 73919 88 0 0 25 0 1 0 644886461 22106112 4544 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+750.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 74919 89 0 0 25 0 1 0 644886461 22106112 4544 4294967295 134512640 134714508 3221221776 3221220332 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+760.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 75918 90 0 0 25 0 1 0 644886461 22106112 4544 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+770.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 76916 91 0 0 25 0 1 0 644886461 22106112 4544 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+780.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 77916 92 0 0 25 0 1 0 644886461 22106112 4544 4294967295 134512640 134714508 3221221776 3221220384 134549318 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+790.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 78915 93 0 0 25 0 1 0 644886461 22106112 4544 4294967295 134512640 134714508 3221221776 3221220512 134524039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+800.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 79915 93 0 0 25 0 1 0 644886461 22106112 4544 4294967295 134512640 134714508 3221221776 3221220384 134549802 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+810.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 80914 94 0 0 25 0 1 0 644886461 22106112 4544 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+820.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 81914 95 0 0 25 0 1 0 644886461 22106112 4544 4294967295 134512640 134714508 3221221776 3221220480 134528449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+830.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 82914 95 0 0 25 0 1 0 644886461 22106112 4544 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+840.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 83912 97 0 0 25 0 1 0 644886461 22106112 4544 4294967295 134512640 134714508 3221221776 3221220560 134585106 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+850.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 84911 98 0 0 25 0 1 0 644886461 22106112 4544 4294967295 134512640 134714508 3221221776 3221220416 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+860.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 85911 99 0 0 25 0 1 0 644886461 22106112 4544 4294967295 134512640 134714508 3221221776 3221220608 134590179 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+870.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 86910 100 0 0 25 0 1 0 644886461 22106112 4544 4294967295 134512640 134714508 3221221776 3221220396 134549508 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+880.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 87909 101 0 0 25 0 1 0 644886461 22106112 4544 4294967295 134512640 134714508 3221221776 3221220424 134542370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+890.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 88908 102 0 0 25 0 1 0 644886461 22106112 4544 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+900.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 89908 102 0 0 25 0 1 0 644886461 22106112 4544 4294967295 134512640 134714508 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+910.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 90907 103 0 0 25 0 1 0 644886461 22106112 4544 4294967295 134512640 134714508 3221221776 3221220464 134543756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+920.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 91906 105 0 0 25 0 1 0 644886461 22106112 4544 4294967295 134512640 134714508 3221221776 3221220360 134543617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+930.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 92905 105 0 0 25 0 1 0 644886461 22102016 4544 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+940.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 93905 106 0 0 25 0 1 0 644886461 22102016 4544 4294967295 134512640 134714508 3221221776 3221220580 134588061 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+950.045 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 94904 107 0 0 25 0 1 0 644886461 22102016 4544 4294967295 134512640 134714508 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+960.046 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 95903 108 0 0 25 0 1 0 644886461 22102016 4544 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+970.046 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 96902 109 0 0 25 0 1 0 644886461 22102016 4544 4294967295 134512640 134714508 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+980.047 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 97901 110 0 0 25 0 1 0 644886461 22102016 4544 4294967295 134512640 134714508 3221221776 3221220420 134536691 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+990.048 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 98901 111 0 0 25 0 1 0 644886461 22102016 4544 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 99900 112 0 0 25 0 1 0 644886461 22102016 4544 4294967295 134512640 134714508 3221221776 3221220448 134551968 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 30228
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 100899 113 0 0 25 0 1 0 644886461 22102016 4544 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+1020.05 s]
Raw data (loadavg): 1.23 1.02 1.00 3/57 30263
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 101898 114 0 0 25 0 1 0 644886461 22102016 4544 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+1030.05 s]
Raw data (loadavg): 1.20 1.02 1.00 2/54 30281
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 102895 117 0 0 25 0 1 0 644886461 22102016 4544 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+1040.05 s]
Raw data (loadavg): 1.17 1.02 1.00 2/54 30281
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 103894 118 0 0 25 0 1 0 644886461 22102016 4544 4294967295 134512640 134714508 3221221776 3221220532 134652874 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+1050.05 s]
Raw data (loadavg): 1.14 1.02 1.00 2/54 30281
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 104894 119 0 0 25 0 1 0 644886461 22102016 4544 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+1060.05 s]
Raw data (loadavg): 1.12 1.02 1.00 2/54 30281
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 105893 120 0 0 25 0 1 0 644886461 22102016 4544 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+1070.05 s]
Raw data (loadavg): 1.10 1.02 1.00 2/54 30281
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 106892 121 0 0 25 0 1 0 644886461 22102016 4544 4294967295 134512640 134714508 3221221776 3221220432 134536707 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+1080.05 s]
Raw data (loadavg): 1.08 1.01 1.00 2/54 30281
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 107891 122 0 0 25 0 1 0 644886461 22102016 4544 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+1090.05 s]
Raw data (loadavg): 1.07 1.01 1.00 2/54 30281
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 108890 123 0 0 25 0 1 0 644886461 22102016 4544 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+1100.05 s]
Raw data (loadavg): 1.06 1.01 1.00 2/54 30283
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 109889 124 0 0 25 0 1 0 644886461 22102016 4544 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+1110.05 s]
Raw data (loadavg): 1.05 1.01 1.00 2/54 30283
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 110889 125 0 0 25 0 1 0 644886461 22102016 4544 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+1120.05 s]
Raw data (loadavg): 1.04 1.01 1.00 2/54 30283
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 111888 126 0 0 25 0 1 0 644886461 22102016 4544 4294967295 134512640 134714508 3221221776 3221220420 134613494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+1130.06 s]
Raw data (loadavg): 1.04 1.01 1.00 2/54 30283
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 112887 127 0 0 25 0 1 0 644886461 22102016 4544 4294967295 134512640 134714508 3221221776 3221220404 134696264 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+1140.06 s]
Raw data (loadavg): 1.03 1.01 1.00 2/54 30283
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 113887 128 0 0 25 0 1 0 644886461 22102016 4544 4294967295 134512640 134714508 3221221776 3221220480 134528656 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+1150.06 s]
Raw data (loadavg): 1.02 1.01 1.00 2/54 30283
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 114886 129 0 0 25 0 1 0 644886461 22102016 4544 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+1160.06 s]
Raw data (loadavg): 1.02 1.01 1.00 2/54 30283
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 115885 130 0 0 25 0 1 0 644886461 22102016 4544 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+1170.06 s]
Raw data (loadavg): 1.02 1.01 1.00 2/54 30283
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 116885 130 0 0 25 0 1 0 644886461 22102016 4544 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+1174.93 s]
Raw data (loadavg): 1.02 1.01 1.00 1/53 30283
Raw data (stat): 30228 (bsolo_lpr) R 30227 7876 7672 0 -1 0 4720 0 0 0 116885 130 0 0 25 0 1 0 644886461 22102016 4544 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 0

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