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/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-protfold.opb
MD5SUM	c5ca7819a7dcae16ff6045242cdd1f87
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-23
Optimality of the best value was proved	NO
Number of terms in the objective function	120
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	120
Number of bits of the sum of numbers in the objective function	7
Biggest number in a constraint	18
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	900
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.06
Number of variables	1835
Total number of constraints	3947
Number of constraints which are clauses	1906
Number of constraints which are cardinality constraints (but not clauses)	1921
Number of constraints which are nor clauses,nor cardinality constraints	120
Minimum length of a constraint	1
Maximum length of a constraint	882
Trace number 26533

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-05-24 16:00:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12936 boxname=wulflinc4 idbench=996 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  c5ca7819a7dcae16ff6045242cdd1f87  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-protfold.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-protfold.opb
IDLAUNCH: 12936
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        868644 kB
Buffers:         33952 kB
Cached:         111744 kB
SwapCached:        504 kB
Active:          56528 kB
Inactive:        91668 kB
HighTotal:      131008 kB
HighFree:        29484 kB
LowTotal:       903652 kB
LowFree:        839160 kB
SwapTotal:     2097136 kB
SwapFree:      2096156 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5944 kB
Slab:            12328 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 16:20:18 (client local time) WITH STATUS 0 IN 1175.06 SECONDS
stats: 12936 7 1175.06 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1835 variables and 2149 constraints.
c After prepocess the problem consists of 1835 variables and 2368 constraints.
c preprocess terminated 87.956 s
c Initial Lower Bound: -41
c Lower Bound Elapsed time: 21.595
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): 1.06 1.01 1.00 2/54 21877
Raw data (stat): 21877 (runsolver) R 21876 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773283602 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 1.05 1.01 1.00 2/54 21877
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 14049 0 0 0 964 32 0 0 25 0 1 0 773283602 60669952 13966 4294967295 134512640 134714508 3221224592 3221223072 134542325 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14812 13966 1111 63 0 14749 0
vsize: 59248
[startup+20.0023 s]
Raw data (loadavg): 1.04 1.01 1.00 2/54 21877
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 16534 0 0 0 1957 39 0 0 25 0 1 0 773283602 70946816 16451 4294967295 134512640 134714508 3221224592 3221223084 134543653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17321 16451 1111 63 0 17258 0
vsize: 69284
[startup+30.0034 s]
Raw data (loadavg): 1.04 1.01 1.00 2/54 21877
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 17742 0 0 0 2955 42 0 0 25 0 1 0 773283602 75816960 17659 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18510 17659 1111 63 0 18447 0
vsize: 74040
[startup+40.0033 s]
Raw data (loadavg): 1.03 1.01 1.00 2/54 21877
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 17753 0 0 0 3955 42 0 0 25 0 1 0 773283602 75816960 17670 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18510 17670 1111 63 0 18447 0
vsize: 74040
[startup+50.0032 s]
Raw data (loadavg): 1.03 1.01 1.00 2/54 21879
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 17764 0 0 0 4954 42 0 0 25 0 1 0 773283602 75952128 17681 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18543 17681 1111 63 0 18480 0
vsize: 74172
[startup+60.0031 s]
Raw data (loadavg): 1.02 1.01 1.00 2/54 21879
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 17778 0 0 0 5954 43 0 0 25 0 1 0 773283602 75952128 17695 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18543 17695 1111 63 0 18480 0
vsize: 74172
[startup+70.0029 s]
Raw data (loadavg): 1.02 1.01 1.00 2/54 21879
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 17791 0 0 0 6954 43 0 0 25 0 1 0 773283602 76087296 17708 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18576 17708 1111 63 0 18513 0
vsize: 74304
[startup+80.0043 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 21879
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 17802 0 0 0 7954 43 0 0 25 0 1 0 773283602 76087296 17719 4294967295 134512640 134714508 3221224592 3221223256 134627195 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18576 17719 1111 63 0 18513 0
vsize: 74304
[startup+90.0047 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 21879
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 18767 0 0 0 8951 46 0 0 25 0 1 0 773283602 79663104 18504 4294967295 134512640 134714508 3221224592 3221220472 1074789534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19449 18504 1111 63 0 19386 0
vsize: 77796
[startup+100.005 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 21879
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 18997 0 0 0 9950 47 0 0 25 0 1 0 773283602 79646720 18642 4294967295 134512640 134714508 3221224592 3221220480 1074872824 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19445 18642 1111 63 0 19382 0
vsize: 77780
[startup+110.005 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 21879
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 19607 0 0 0 10948 49 0 0 25 0 1 0 773283602 78045184 18332 4294967295 134512640 134714508 3221224592 3221223148 134539235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19054 18332 1111 63 0 18991 0
vsize: 76216
[startup+120.006 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 21879
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 19746 0 0 0 11947 51 0 0 25 0 1 0 773283602 78581760 18471 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19185 18471 1111 63 0 19122 0
vsize: 76740
[startup+130.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21879
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 19883 0 0 0 12945 53 0 0 25 0 1 0 773283602 79122432 18608 4294967295 134512640 134714508 3221224592 3221223344 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19317 18608 1111 63 0 19254 0
vsize: 77268
[startup+140.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21879
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 20060 0 0 0 13943 55 0 0 25 0 1 0 773283602 79798272 18785 4294967295 134512640 134714508 3221224592 3221223184 134549548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19482 18785 1111 63 0 19419 0
vsize: 77928
[startup+150.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21879
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 20273 0 0 0 14941 57 0 0 25 0 1 0 773283602 80744448 18998 4294967295 134512640 134714508 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19713 18998 1111 63 0 19650 0
vsize: 78852
[startup+160.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21879
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 20410 0 0 0 15940 58 0 0 25 0 1 0 773283602 81285120 19135 4294967295 134512640 134714508 3221224592 3221223184 134542668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19845 19135 1111 63 0 19782 0
vsize: 79380
[startup+170.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21879
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 20657 0 0 0 16939 60 0 0 25 0 1 0 773283602 82227200 19382 4294967295 134512640 134714508 3221224592 3221223172 1077378590 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20075 19382 1111 63 0 20012 0
vsize: 80300
[startup+180.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21879
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 20776 0 0 0 17938 61 0 0 25 0 1 0 773283602 82767872 19501 4294967295 134512640 134714508 3221224592 3221223088 134697255 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20207 19501 1111 63 0 20144 0
vsize: 80828
[startup+190.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21879
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 20971 0 0 0 18937 62 0 0 25 0 1 0 773283602 83578880 19696 4294967295 134512640 134714508 3221224592 3221223360 134587964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20405 19696 1111 63 0 20342 0
vsize: 81620
[startup+200.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21879
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 21172 0 0 0 19936 63 0 0 25 0 1 0 773283602 84389888 19897 4294967295 134512640 134714508 3221224592 3221223280 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20603 19897 1111 63 0 20540 0
vsize: 82412
[startup+210.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21879
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 21339 0 0 0 20934 65 0 0 25 0 1 0 773283602 85065728 20064 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20768 20064 1111 63 0 20705 0
vsize: 83072
[startup+220.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21879
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 21518 0 0 0 21932 67 0 0 25 0 1 0 773283602 85741568 20243 4294967295 134512640 134714508 3221224592 3221223392 134597648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20933 20243 1111 63 0 20870 0
vsize: 83732
[startup+230.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21879
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 21636 0 0 0 22931 68 0 0 25 0 1 0 773283602 86282240 20361 4294967295 134512640 134714508 3221224592 3221223160 134613965 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21065 20361 1111 63 0 21002 0
vsize: 84260
[startup+240.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21879
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 21737 0 0 0 23929 70 0 0 25 0 1 0 773283602 86687744 20462 4294967295 134512640 134714508 3221224592 3221223320 134543802 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21164 20462 1111 63 0 21101 0
vsize: 84656
[startup+250.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21879
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 21933 0 0 0 24928 72 0 0 25 0 1 0 773283602 87498752 20658 4294967295 134512640 134714508 3221224592 3221223088 134535433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21362 20658 1111 63 0 21299 0
vsize: 85448
[startup+260.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21879
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 22117 0 0 0 25926 74 0 0 25 0 1 0 773283602 88309760 20842 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21560 20842 1111 63 0 21497 0
vsize: 86240
[startup+270.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21879
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 22280 0 0 0 26925 75 0 0 25 0 1 0 773283602 88850432 21005 4294967295 134512640 134714508 3221224592 3221223068 134613752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21692 21005 1111 63 0 21629 0
vsize: 86768
[startup+280.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21879
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 22480 0 0 0 27923 77 0 0 25 0 1 0 773283602 89796608 21205 4294967295 134512640 134714508 3221224592 3221223152 134542300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21923 21205 1111 63 0 21860 0
vsize: 87692
[startup+290.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21879
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 22669 0 0 0 28922 78 0 0 25 0 1 0 773283602 90472448 21394 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22088 21394 1111 63 0 22025 0
vsize: 88352
[startup+300.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 22872 0 0 0 29920 80 0 0 25 0 1 0 773283602 91283456 21597 4294967295 134512640 134714508 3221224592 3221223232 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22286 21597 1111 63 0 22223 0
vsize: 89144
[startup+310.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 23050 0 0 0 30919 81 0 0 25 0 1 0 773283602 92094464 21775 4294967295 134512640 134714508 3221224592 3221223392 134597692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22484 21775 1111 63 0 22421 0
vsize: 89936
[startup+320.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 23231 0 0 0 31918 83 0 0 25 0 1 0 773283602 92864512 21956 4294967295 134512640 134714508 3221224592 3221223184 134543684 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22672 21956 1111 63 0 22609 0
vsize: 90688
[startup+330.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 23382 0 0 0 32916 85 0 0 25 0 1 0 773283602 93376512 22107 4294967295 134512640 134714508 3221224592 3221223232 134539408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22797 22107 1111 63 0 22734 0
vsize: 91188
[startup+340.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 23505 0 0 0 33914 86 0 0 25 0 1 0 773283602 93917184 22230 4294967295 134512640 134714508 3221224592 3221223152 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22929 22230 1111 63 0 22866 0
vsize: 91716
[startup+350.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 23680 0 0 0 34913 87 0 0 25 0 1 0 773283602 94593024 22405 4294967295 134512640 134714508 3221224592 3221223312 134529115 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23094 22405 1111 63 0 23031 0
vsize: 92376
[startup+360.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 23862 0 0 0 35912 89 0 0 25 0 1 0 773283602 95404032 22587 4294967295 134512640 134714508 3221224592 3221223152 134542300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23292 22587 1111 63 0 23229 0
vsize: 93168
[startup+370.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 23998 0 0 0 36911 91 0 0 25 0 1 0 773283602 95944704 22723 4294967295 134512640 134714508 3221224592 3221223392 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23424 22723 1111 63 0 23361 0
vsize: 93696
[startup+380.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 24157 0 0 0 37911 92 0 0 25 0 1 0 773283602 96616448 22882 4294967295 134512640 134714508 3221224592 3221223176 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23588 22882 1111 63 0 23525 0
vsize: 94352
[startup+390.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 24323 0 0 0 38908 94 0 0 25 0 1 0 773283602 97292288 23048 4294967295 134512640 134714508 3221224592 3221223184 134542677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23753 23048 1111 63 0 23690 0
vsize: 95012
[startup+400.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 24517 0 0 0 39907 96 0 0 25 0 1 0 773283602 98099200 23242 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23950 23242 1111 63 0 23887 0
vsize: 95800
[startup+410.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 24657 0 0 0 40906 97 0 0 25 0 1 0 773283602 98639872 23382 4294967295 134512640 134714508 3221224592 3221223376 134529421 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24082 23382 1111 63 0 24019 0
vsize: 96328
[startup+420.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 24840 0 0 0 41904 98 0 0 25 0 1 0 773283602 99450880 23565 4294967295 134512640 134714508 3221224592 3221223184 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24280 23565 1111 63 0 24217 0
vsize: 97120
[startup+430.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 24972 0 0 0 42905 99 0 0 25 0 1 0 773283602 99991552 23697 4294967295 134512640 134714508 3221224592 3221223392 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24412 23697 1111 63 0 24349 0
vsize: 97648
[startup+440.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 25123 0 0 0 43904 101 0 0 25 0 1 0 773283602 100532224 23848 4294967295 134512640 134714508 3221224592 3221223184 134543740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24544 23848 1111 63 0 24481 0
vsize: 98176
[startup+450.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 25323 0 0 0 44906 102 0 0 25 0 1 0 773283602 101343232 24048 4294967295 134512640 134714508 3221224592 3221223376 134529243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24742 24048 1111 63 0 24679 0
vsize: 98968
[startup+460.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 25455 0 0 0 45905 103 0 0 25 0 1 0 773283602 101883904 24180 4294967295 134512640 134714508 3221224592 3221223152 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24874 24180 1111 63 0 24811 0
vsize: 99496
[startup+470.084 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 25601 0 0 0 46903 105 0 0 25 0 1 0 773283602 102559744 24326 4294967295 134512640 134714508 3221224592 3221223128 134543023 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25039 24326 1111 63 0 24976 0
vsize: 100156
[startup+480.085 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 25703 0 0 0 47903 106 0 0 25 0 1 0 773283602 102965248 24428 4294967295 134512640 134714508 3221224592 3221223148 134539223 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25138 24428 1111 63 0 25075 0
vsize: 100552
[startup+490.086 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 25830 0 0 0 48902 106 0 0 25 0 1 0 773283602 103505920 24555 4294967295 134512640 134714508 3221224592 3221223264 134542977 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25270 24555 1111 63 0 25207 0
vsize: 101080
[startup+500.093 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 25949 0 0 0 49901 108 0 0 25 0 1 0 773283602 103911424 24674 4294967295 134512640 134714508 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25369 24674 1111 63 0 25306 0
vsize: 101476
[startup+510.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 25970 0 0 0 50901 108 0 0 25 0 1 0 773283602 104013824 24695 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25394 24695 1111 63 0 25331 0
vsize: 101576
[startup+520.095 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 26041 0 0 0 51900 109 0 0 25 0 1 0 773283602 104284160 24766 4294967295 134512640 134714508 3221224592 3221223116 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25460 24766 1111 63 0 25397 0
vsize: 101840
[startup+530.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 26043 0 0 0 52899 110 0 0 25 0 1 0 773283602 104284160 24768 4294967295 134512640 134714508 3221224592 3221223360 134597634 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25460 24768 1111 63 0 25397 0
vsize: 101840
[startup+540.109 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 26068 0 0 0 53900 111 0 0 25 0 1 0 773283602 104411136 24793 4294967295 134512640 134714508 3221224592 3221223152 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25491 24793 1111 63 0 25428 0
vsize: 101964
[startup+550.109 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 26114 0 0 0 54899 112 0 0 25 0 1 0 773283602 104681472 24839 4294967295 134512640 134714508 3221224592 3221223200 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25557 24839 1111 63 0 25494 0
vsize: 102228
[startup+560.109 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 26164 0 0 0 55898 113 0 0 25 0 1 0 773283602 104812544 24889 4294967295 134512640 134714508 3221224592 3221223148 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25589 24889 1111 63 0 25526 0
vsize: 102356
[startup+570.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 26174 0 0 0 56897 114 0 0 25 0 1 0 773283602 104812544 24899 4294967295 134512640 134714508 3221224592 3221223248 134536710 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25589 24899 1111 63 0 25526 0
vsize: 102356
[startup+580.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 26213 0 0 0 57896 114 0 0 25 0 1 0 773283602 105062400 24938 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25650 24938 1111 63 0 25587 0
vsize: 102600
[startup+590.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 26243 0 0 0 58896 115 0 0 25 0 1 0 773283602 105197568 24968 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25683 24968 1111 63 0 25620 0
vsize: 102732
[startup+600.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 26403 0 0 0 59894 117 0 0 25 0 1 0 773283602 105738240 25128 4294967295 134512640 134714508 3221224592 3221223132 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25815 25128 1111 63 0 25752 0
vsize: 103260
[startup+610.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 26557 0 0 0 60893 118 0 0 25 0 1 0 773283602 106414080 25282 4294967295 134512640 134714508 3221224592 3221223280 134524376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25980 25282 1111 63 0 25917 0
vsize: 103920
[startup+620.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 26673 0 0 0 61892 120 0 0 25 0 1 0 773283602 106954752 25398 4294967295 134512640 134714508 3221224592 3221223168 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26112 25398 1111 63 0 26049 0
vsize: 104448
[startup+630.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 26796 0 0 0 62891 120 0 0 25 0 1 0 773283602 107360256 25521 4294967295 134512640 134714508 3221224592 3221223320 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26211 25521 1111 63 0 26148 0
vsize: 104844
[startup+640.113 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 26885 0 0 0 63890 121 0 0 25 0 1 0 773283602 107765760 25610 4294967295 134512640 134714508 3221224592 3221223296 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26310 25610 1111 63 0 26247 0
vsize: 105240
[startup+650.113 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 27040 0 0 0 64889 123 0 0 25 0 1 0 773283602 108441600 25765 4294967295 134512640 134714508 3221224592 3221223192 134542822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26475 25765 1111 63 0 26412 0
vsize: 105900
[startup+660.113 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 27198 0 0 0 65887 125 0 0 25 0 1 0 773283602 109117440 25923 4294967295 134512640 134714508 3221224592 3221223392 134597648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26640 25923 1111 63 0 26577 0
vsize: 106560
[startup+670.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 27264 0 0 0 66886 126 0 0 25 0 1 0 773283602 109387776 25989 4294967295 134512640 134714508 3221224592 3221223148 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26706 25989 1111 63 0 26643 0
vsize: 106824
[startup+680.114 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 27343 0 0 0 67885 127 0 0 25 0 1 0 773283602 109658112 26068 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26772 26068 1111 63 0 26709 0
vsize: 107088
[startup+690.115 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 27437 0 0 0 68884 128 0 0 25 0 1 0 773283602 110063616 26162 4294967295 134512640 134714508 3221224592 3221223156 134539212 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26871 26162 1111 63 0 26808 0
vsize: 107484
[startup+700.114 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 27559 0 0 0 69883 129 0 0 25 0 1 0 773283602 110604288 26284 4294967295 134512640 134714508 3221224592 3221223196 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27003 26284 1111 63 0 26940 0
vsize: 108012
[startup+710.115 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 27602 0 0 0 70882 130 0 0 25 0 1 0 773283602 110739456 26327 4294967295 134512640 134714508 3221224592 3221223356 134613543 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27036 26327 1111 63 0 26973 0
vsize: 108144
[startup+720.115 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 27719 0 0 0 71880 132 0 0 25 0 1 0 773283602 111140864 26444 4294967295 134512640 134714508 3221224592 3221223184 134549588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27134 26444 1111 63 0 27071 0
vsize: 108536
[startup+730.116 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 27875 0 0 0 72878 135 0 0 25 0 1 0 773283602 111816704 26600 4294967295 134512640 134714508 3221224592 3221223232 134539374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27299 26600 1111 63 0 27236 0
vsize: 109196
[startup+740.116 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 27990 0 0 0 73876 137 0 0 25 0 1 0 773283602 112353280 26715 4294967295 134512640 134714508 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27430 26715 1111 63 0 27367 0
vsize: 109720
[startup+750.117 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 28073 0 0 0 74874 139 0 0 25 0 1 0 773283602 112623616 26798 4294967295 134512640 134714508 3221224592 3221223244 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27496 26798 1111 63 0 27433 0
vsize: 109984
[startup+760.117 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 28198 0 0 0 75873 140 0 0 25 0 1 0 773283602 113164288 26923 4294967295 134512640 134714508 3221224592 3221223320 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27628 26923 1111 63 0 27565 0
vsize: 110512
[startup+770.117 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 28337 0 0 0 76872 141 0 0 25 0 1 0 773283602 113704960 27062 4294967295 134512640 134714508 3221224592 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27760 27062 1111 63 0 27697 0
vsize: 111040
[startup+780.118 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 28412 0 0 0 77871 142 0 0 25 0 1 0 773283602 113975296 27137 4294967295 134512640 134714508 3221224592 3221223100 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27826 27137 1111 63 0 27763 0
vsize: 111304
[startup+790.119 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 28459 0 0 0 78871 143 0 0 25 0 1 0 773283602 114245632 27184 4294967295 134512640 134714508 3221224592 3221223196 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27892 27184 1111 63 0 27829 0
vsize: 111568
[startup+800.119 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 28562 0 0 0 79869 145 0 0 25 0 1 0 773283602 114651136 27287 4294967295 134512640 134714508 3221224592 3221223344 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27991 27287 1111 63 0 27928 0
vsize: 111964
[startup+810.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 28689 0 0 0 80868 146 0 0 25 0 1 0 773283602 115187712 27414 4294967295 134512640 134714508 3221224592 3221223316 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28122 27414 1111 63 0 28059 0
vsize: 112488
[startup+820.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 28762 0 0 0 81867 147 0 0 25 0 1 0 773283602 115458048 27487 4294967295 134512640 134714508 3221224592 3221223180 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28188 27487 1111 63 0 28125 0
vsize: 112752
[startup+830.121 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 28837 0 0 0 82866 148 0 0 25 0 1 0 773283602 115728384 27562 4294967295 134512640 134714508 3221224592 3221223132 134539223 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28254 27562 1111 63 0 28191 0
vsize: 113016
[startup+840.122 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 28902 0 0 0 83865 150 0 0 25 0 1 0 773283602 115994624 27627 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28319 27627 1111 63 0 28256 0
vsize: 113276
[startup+850.122 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 28978 0 0 0 84864 151 0 0 25 0 1 0 773283602 116400128 27703 4294967295 134512640 134714508 3221224592 3221223196 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28418 27703 1111 63 0 28355 0
vsize: 113672
[startup+860.122 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 29057 0 0 0 85863 152 0 0 25 0 1 0 773283602 116670464 27782 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28484 27782 1111 63 0 28421 0
vsize: 113936
[startup+870.122 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 29149 0 0 0 86862 153 0 0 25 0 1 0 773283602 117075968 27874 4294967295 134512640 134714508 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28583 27874 1111 63 0 28520 0
vsize: 114332
[startup+880.123 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 29262 0 0 0 87861 154 0 0 25 0 1 0 773283602 117481472 27987 4294967295 134512640 134714508 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28682 27987 1111 63 0 28619 0
vsize: 114728
[startup+890.124 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 29407 0 0 0 88860 155 0 0 25 0 1 0 773283602 118157312 28132 4294967295 134512640 134714508 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28847 28132 1111 63 0 28784 0
vsize: 115388
[startup+900.124 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 29505 0 0 0 89858 157 0 0 25 0 1 0 773283602 118558720 28230 4294967295 134512640 134714508 3221224592 3221223088 134697238 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28945 28230 1111 63 0 28882 0
vsize: 115780
[startup+910.124 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 29577 0 0 0 90857 158 0 0 25 0 1 0 773283602 118829056 28302 4294967295 134512640 134714508 3221224592 3221223280 134528607 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29011 28302 1111 63 0 28948 0
vsize: 116044
[startup+920.126 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 29728 0 0 0 91857 159 0 0 25 0 1 0 773283602 119369728 28453 4294967295 134512640 134714508 3221224592 3221223260 134552682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29143 28453 1111 63 0 29080 0
vsize: 116572
[startup+930.126 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 29861 0 0 0 92856 160 0 0 25 0 1 0 773283602 119910400 28586 4294967295 134512640 134714508 3221224592 3221223152 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29275 28586 1111 63 0 29212 0
vsize: 117100
[startup+940.127 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 30000 0 0 0 93854 162 0 0 25 0 1 0 773283602 120582144 28725 4294967295 134512640 134714508 3221224592 3221223328 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29439 28725 1111 63 0 29376 0
vsize: 117756
[startup+950.127 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 30093 0 0 0 94853 163 0 0 25 0 1 0 773283602 120852480 28818 4294967295 134512640 134714508 3221224592 3221223392 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29505 28818 1111 63 0 29442 0
vsize: 118020
[startup+960.127 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 30159 0 0 0 95852 164 0 0 25 0 1 0 773283602 121122816 28884 4294967295 134512640 134714508 3221224592 3221223184 134549541 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29571 28884 1111 63 0 29508 0
vsize: 118284
[startup+970.128 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 30257 0 0 0 96851 165 0 0 25 0 1 0 773283602 121528320 28982 4294967295 134512640 134714508 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29670 28982 1111 63 0 29607 0
vsize: 118680
[startup+980.129 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 30316 0 0 0 97850 166 0 0 25 0 1 0 773283602 121798656 29041 4294967295 134512640 134714508 3221224592 3221223236 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29736 29041 1111 63 0 29673 0
vsize: 118944
[startup+990.129 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 30411 0 0 0 98848 168 0 0 25 0 1 0 773283602 122204160 29136 4294967295 134512640 134714508 3221224592 3221223304 134552673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29835 29136 1111 63 0 29772 0
vsize: 119340
[startup+1000.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 30483 0 0 0 99847 169 0 0 25 0 1 0 773283602 122474496 29208 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29901 29208 1111 63 0 29838 0
vsize: 119604
[startup+1010.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 30545 0 0 0 100847 170 0 0 25 0 1 0 773283602 122744832 29270 4294967295 134512640 134714508 3221224592 3221223248 134536736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29967 29270 1111 63 0 29904 0
vsize: 119868
[startup+1020.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 30612 0 0 0 101846 171 0 0 25 0 1 0 773283602 123015168 29337 4294967295 134512640 134714508 3221224592 3221223196 134536814 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30033 29337 1111 63 0 29970 0
vsize: 120132
[startup+1030.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 30643 0 0 0 102846 171 0 0 25 0 1 0 773283602 123150336 29368 4294967295 134512640 134714508 3221224592 3221223152 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30066 29368 1111 63 0 30003 0
vsize: 120264
[startup+1040.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 30686 0 0 0 103845 172 0 0 25 0 1 0 773283602 123285504 29411 4294967295 134512640 134714508 3221224592 3221223364 134529109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30099 29411 1111 63 0 30036 0
vsize: 120396
[startup+1050.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 30724 0 0 0 104844 173 0 0 25 0 1 0 773283602 123555840 29449 4294967295 134512640 134714508 3221224592 3221223256 134543057 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30165 29449 1111 63 0 30102 0
vsize: 120660
[startup+1060.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 30778 0 0 0 105844 174 0 0 25 0 1 0 773283602 123691008 29503 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30198 29503 1111 63 0 30135 0
vsize: 120792
[startup+1070.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 30802 0 0 0 106843 174 0 0 25 0 1 0 773283602 123822080 29527 4294967295 134512640 134714508 3221224592 3221223240 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30230 29527 1111 63 0 30167 0
vsize: 120920
[startup+1080.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 30825 0 0 0 107843 175 0 0 25 0 1 0 773283602 123936768 29550 4294967295 134512640 134714508 3221224592 3221223212 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30258 29550 1111 63 0 30195 0
vsize: 121032
[startup+1090.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 30839 0 0 0 108843 175 0 0 25 0 1 0 773283602 123936768 29564 4294967295 134512640 134714508 3221224592 3221223152 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30258 29564 1111 63 0 30195 0
vsize: 121032
[startup+1100.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 30858 0 0 0 109842 176 0 0 25 0 1 0 773283602 124063744 29583 4294967295 134512640 134714508 3221224592 3221223088 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30289 29583 1111 63 0 30226 0
vsize: 121156
[startup+1110.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 30861 0 0 0 110842 177 0 0 25 0 1 0 773283602 124063744 29586 4294967295 134512640 134714508 3221224592 3221223392 134597741 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30289 29586 1111 63 0 30226 0
vsize: 121156
[startup+1120.13 s]
Raw data (loadavg): 1.00 1.00 1.00 3/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 30900 0 0 0 111840 178 0 0 25 0 1 0 773283602 124198912 29625 4294967295 134512640 134714508 3221224592 3221223132 134539223 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30322 29625 1111 63 0 30259 0
vsize: 121288
[startup+1130.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 30923 0 0 0 112840 179 0 0 25 0 1 0 773283602 124334080 29648 4294967295 134512640 134714508 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30355 29648 1111 63 0 30292 0
vsize: 121420
[startup+1140.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 30927 0 0 0 113839 179 0 0 25 0 1 0 773283602 124334080 29652 4294967295 134512640 134714508 3221224592 3221223280 134542845 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30355 29652 1111 63 0 30292 0
vsize: 121420
[startup+1150.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 30946 0 0 0 114838 180 0 0 25 0 1 0 773283602 124444672 29671 4294967295 134512640 134714508 3221224592 3221223264 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30382 29671 1111 63 0 30319 0
vsize: 121528
[startup+1160.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 30946 0 0 0 115838 180 0 0 25 0 1 0 773283602 124444672 29671 4294967295 134512640 134714508 3221224592 3221223140 134696414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30382 29671 1111 63 0 30319 0
vsize: 121528
[startup+1170.14 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 30969 0 0 0 116837 181 0 0 25 0 1 0 773283602 124444672 29694 4294967295 134512640 134714508 3221224592 3221223184 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30382 29694 1111 63 0 30319 0
vsize: 121528
[startup+1175.02 s]
Raw data (loadavg): 1.00 1.00 1.00 1/53 21881
Raw data (stat): 21877 (bsolo_lpr) R 21876 21152 21151 0 -1 0 30969 0 0 0 116837 181 0 0 25 0 1 0 773283602 124444672 29694 4294967295 134512640 134714508 3221224592 3221223184 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30382 29694 1111 63 0 30319 0
vsize: 0

Child status: 0
Real time (s): 1175.02
CPU time (s): 1175.06
CPU user time (s): 1173.19
CPU system time (s): 1.87671
CPU usage (%): 100.004
Max. virtual memory (Kb): 121528
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####