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-fpga20_20_sat_pb.cnf.cr.opb
MD5SUM	4313884ec3fa396c713faf5f812fe6b8
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	21
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.136978
Number of variables	600
Total number of constraints	460
Number of constraints which are clauses	420
Number of constraints which are cardinality constraints (but not clauses)	40
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	10
Maximum length of a constraint	20
Trace number 39418

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-07 09:07:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27484 boxname=wulflinc4 idbench=42 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  4313884ec3fa396c713faf5f812fe6b8  /oldhome/oroussel/tmp/wulflinc4/normalized-fpga20_20_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-fpga20_20_sat_pb.cnf.cr.opb
IDLAUNCH: 27484
/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:        405016 kB
Buffers:         34400 kB
Cached:         571932 kB
SwapCached:        568 kB
Active:          56584 kB
Inactive:       551892 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        404764 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5328 kB
Slab:            15516 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 09:26:37 (client local time) WITH STATUS 0 IN 1175.06 SECONDS
stats: 27484 7 1175.06 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 600 variables and 460 constraints.
c After prepocess the problem consists of 600 variables and 460 constraints.
c preprocess terminated 0.494 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.97 0.91 1/54 12244
Raw data (stat): 12244 (runsolver) R 12243 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 891776201 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0009 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 2216 0 0 0 991 6 0 0 25 0 1 0 891776201 12206080 2134 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2980 2134 1111 63 0 2917 0
vsize: 11920
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 2948 0 0 0 1987 10 0 0 25 0 1 0 891776201 15171584 2866 4294967295 134512640 134716908 3221224560 3221223120 134542325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3704 2866 1111 63 0 3641 0
vsize: 14816
[startup+30.0024 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 3929 0 0 0 2983 14 0 0 25 0 1 0 891776201 19222528 3847 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4693 3847 1111 63 0 4630 0
vsize: 18772
[startup+40.0025 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 4470 0 0 0 3981 16 0 0 25 0 1 0 891776201 21377024 4388 4294967295 134512640 134716908 3221224560 3221223016 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5219 4388 1111 63 0 5156 0
vsize: 20876
[startup+50.0024 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 4758 0 0 0 4980 18 0 0 25 0 1 0 891776201 22593536 4676 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5516 4676 1111 63 0 5453 0
vsize: 22064
[startup+60.0037 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 4892 0 0 0 5979 19 0 0 25 0 1 0 891776201 23134208 4810 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5648 4810 1111 63 0 5585 0
vsize: 22592
[startup+70.0041 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 5080 0 0 0 6977 21 0 0 25 0 1 0 891776201 23945216 4998 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5846 4998 1111 63 0 5783 0
vsize: 23384
[startup+80.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 5248 0 0 0 7976 22 0 0 25 0 1 0 891776201 24621056 5166 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6011 5166 1111 63 0 5948 0
vsize: 24044
[startup+90.0046 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 5409 0 0 0 8974 24 0 0 25 0 1 0 891776201 25264128 5327 4294967295 134512640 134716908 3221224560 3221223116 134535895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6168 5327 1111 63 0 6105 0
vsize: 24672
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 5603 0 0 0 9973 26 0 0 25 0 1 0 891776201 26058752 5521 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6362 5521 1111 63 0 6299 0
vsize: 25448
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 5820 0 0 0 10970 28 0 0 25 0 1 0 891776201 26996736 5738 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6591 5738 1111 63 0 6528 0
vsize: 26364
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 5955 0 0 0 11968 30 0 0 25 0 1 0 891776201 27537408 5873 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6723 5873 1111 63 0 6660 0
vsize: 26892
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 6063 0 0 0 12967 31 0 0 25 0 1 0 891776201 27947008 5981 4294967295 134512640 134716908 3221224560 3221223184 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6823 5981 1111 63 0 6760 0
vsize: 27292
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 6190 0 0 0 13966 32 0 0 25 0 1 0 891776201 28487680 6108 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6955 6108 1111 63 0 6892 0
vsize: 27820
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 6367 0 0 0 14965 34 0 0 25 0 1 0 891776201 29298688 6285 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7153 6285 1111 63 0 7090 0
vsize: 28612
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 6491 0 0 0 15964 35 0 0 25 0 1 0 891776201 29700096 6409 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7251 6409 1111 63 0 7188 0
vsize: 29004
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 6548 0 0 0 16963 36 0 0 25 0 1 0 891776201 29970432 6466 4294967295 134512640 134716908 3221224560 3221223212 134542372 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7317 6466 1111 63 0 7254 0
vsize: 29268
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 6610 0 0 0 17962 37 0 0 25 0 1 0 891776201 30240768 6528 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7383 6528 1111 63 0 7320 0
vsize: 29532
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 6679 0 0 0 18961 39 0 0 25 0 1 0 891776201 30527488 6597 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7453 6597 1111 63 0 7390 0
vsize: 29812
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 6712 0 0 0 19960 40 0 0 25 0 1 0 891776201 30662656 6630 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7486 6630 1111 63 0 7423 0
vsize: 29944
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 6744 0 0 0 20959 41 0 0 25 0 1 0 891776201 30789632 6662 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7517 6662 1111 63 0 7454 0
vsize: 30068
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 6825 0 0 0 21958 42 0 0 25 0 1 0 891776201 31195136 6743 4294967295 134512640 134716908 3221224560 3221223344 134529217 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7616 6743 1111 63 0 7553 0
vsize: 30464
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 6914 0 0 0 22957 44 0 0 25 0 1 0 891776201 31465472 6832 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7682 6832 1111 63 0 7619 0
vsize: 30728
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7007 0 0 0 23955 45 0 0 25 0 1 0 891776201 31870976 6925 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7781 6925 1111 63 0 7718 0
vsize: 31124
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7029 0 0 0 24955 45 0 0 25 0 1 0 891776201 32006144 6947 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7814 6947 1111 63 0 7751 0
vsize: 31256
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7029 0 0 0 25955 46 0 0 25 0 1 0 891776201 32006144 6947 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7814 6947 1111 63 0 7751 0
vsize: 31256
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7057 0 0 0 26954 47 0 0 25 0 1 0 891776201 32141312 6975 4294967295 134512640 134716908 3221224560 3221223264 134528671 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7847 6975 1111 63 0 7784 0
vsize: 31388
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7077 0 0 0 27954 47 0 0 25 0 1 0 891776201 32141312 6995 4294967295 134512640 134716908 3221224560 3221223200 134536655 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7847 6995 1111 63 0 7784 0
vsize: 31388
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7086 0 0 0 28953 48 0 0 25 0 1 0 891776201 32276480 7004 4294967295 134512640 134716908 3221224560 3221223324 134592410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7880 7004 1111 63 0 7817 0
vsize: 31520
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7112 0 0 0 29952 49 0 0 25 0 1 0 891776201 32276480 7030 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7880 7030 1111 63 0 7817 0
vsize: 31520
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7122 0 0 0 30951 50 0 0 25 0 1 0 891776201 32411648 7040 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7913 7040 1111 63 0 7850 0
vsize: 31652
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7132 0 0 0 31951 51 0 0 25 0 1 0 891776201 32411648 7050 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7913 7050 1111 63 0 7850 0
vsize: 31652
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7132 0 0 0 32951 51 0 0 25 0 1 0 891776201 32399360 7050 4294967295 134512640 134716908 3221224560 3221223092 134543025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7910 7050 1111 63 0 7847 0
vsize: 31640
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7141 0 0 0 33950 52 0 0 25 0 1 0 891776201 32399360 7059 4294967295 134512640 134716908 3221224560 3221223296 134535835 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7910 7059 1111 63 0 7847 0
vsize: 31640
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7172 0 0 0 34949 53 0 0 25 0 1 0 891776201 32534528 7090 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7943 7090 1111 63 0 7880 0
vsize: 31772
[startup+360.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7247 0 0 0 35950 54 0 0 25 0 1 0 891776201 32940032 7165 4294967295 134512640 134716908 3221224560 3221223304 134558477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8042 7165 1111 63 0 7979 0
vsize: 32168
[startup+370.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7269 0 0 0 36950 54 0 0 25 0 1 0 891776201 32940032 7187 4294967295 134512640 134716908 3221224560 3221222972 1077379895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8042 7187 1111 63 0 7979 0
vsize: 32168
[startup+380.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7273 0 0 0 37949 55 0 0 25 0 1 0 891776201 33083392 7191 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8077 7191 1111 63 0 8014 0
vsize: 32308
[startup+390.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7310 0 0 0 38949 55 0 0 25 0 1 0 891776201 33218560 7228 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8110 7228 1111 63 0 8047 0
vsize: 32440
[startup+400.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7377 0 0 0 39949 56 0 0 25 0 1 0 891776201 33488896 7295 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8176 7295 1111 63 0 8113 0
vsize: 32704
[startup+410.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7394 0 0 0 40948 57 0 0 25 0 1 0 891776201 33488896 7312 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8176 7312 1111 63 0 8113 0
vsize: 32704
[startup+420.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7426 0 0 0 41947 58 0 0 25 0 1 0 891776201 33624064 7344 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8209 7344 1111 63 0 8146 0
vsize: 32836
[startup+430.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7432 0 0 0 42947 58 0 0 25 0 1 0 891776201 33624064 7350 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8209 7350 1111 63 0 8146 0
vsize: 32836
[startup+440.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7440 0 0 0 43947 59 0 0 25 0 1 0 891776201 33759232 7358 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8242 7358 1111 63 0 8179 0
vsize: 32968
[startup+450.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7440 0 0 0 44946 59 0 0 25 0 1 0 891776201 33759232 7358 4294967295 134512640 134716908 3221224560 3221223200 134698448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8242 7358 1111 63 0 8179 0
vsize: 32968
[startup+460.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7484 0 0 0 45946 60 0 0 25 0 1 0 891776201 33894400 7402 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8275 7402 1111 63 0 8212 0
vsize: 33100
[startup+470.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7523 0 0 0 46945 61 0 0 25 0 1 0 891776201 34029568 7441 4294967295 134512640 134716908 3221224560 3221223216 1076647581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8308 7441 1111 63 0 8245 0
vsize: 33232
[startup+480.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7526 0 0 0 47945 61 0 0 25 0 1 0 891776201 34029568 7444 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8308 7444 1111 63 0 8245 0
vsize: 33232
[startup+490.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7550 0 0 0 48944 62 0 0 25 0 1 0 891776201 34131968 7468 4294967295 134512640 134716908 3221224560 3221223344 134529410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8333 7468 1111 63 0 8270 0
vsize: 33332
[startup+500.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7566 0 0 0 49944 63 0 0 25 0 1 0 891776201 34238464 7484 4294967295 134512640 134716908 3221224560 3221223320 134552642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8359 7484 1111 63 0 8296 0
vsize: 33436
[startup+510.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7594 0 0 0 50943 64 0 0 25 0 1 0 891776201 34373632 7512 4294967295 134512640 134716908 3221224560 3221223344 134528780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8392 7512 1111 63 0 8329 0
vsize: 33568
[startup+520.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7673 0 0 0 51942 65 0 0 25 0 1 0 891776201 34643968 7591 4294967295 134512640 134716908 3221224560 3221223108 134699096 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8458 7591 1111 63 0 8395 0
vsize: 33832
[startup+530.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7835 0 0 0 52941 66 0 0 25 0 1 0 891776201 35319808 7753 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8623 7753 1111 63 0 8560 0
vsize: 34492
[startup+540.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 7940 0 0 0 53941 67 0 0 25 0 1 0 891776201 35725312 7858 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8722 7858 1111 63 0 8659 0
vsize: 34888
[startup+550.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 8041 0 0 0 54940 68 0 0 25 0 1 0 891776201 36130816 7959 4294967295 134512640 134716908 3221224560 3221223200 134613447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8821 7959 1111 63 0 8758 0
vsize: 35284
[startup+560.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 8191 0 0 0 55939 69 0 0 25 0 1 0 891776201 36757504 8109 4294967295 134512640 134716908 3221224560 3221223212 134536779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8974 8109 1111 63 0 8911 0
vsize: 35896
[startup+570.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 8248 0 0 0 56939 69 0 0 25 0 1 0 891776201 37027840 8166 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9040 8166 1111 63 0 8977 0
vsize: 36160
[startup+580.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 8302 0 0 0 57938 70 0 0 25 0 1 0 891776201 37294080 8220 4294967295 134512640 134716908 3221224560 3221223280 134535762 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9105 8220 1111 63 0 9042 0
vsize: 36420
[startup+590.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 8929 0 0 0 58936 72 0 0 25 0 1 0 891776201 39862272 8847 4294967295 134512640 134716908 3221224560 3221223232 134536650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9732 8847 1111 63 0 9669 0
vsize: 38928
[startup+600.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 9768 0 0 0 59932 76 0 0 25 0 1 0 891776201 43241472 9686 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10557 9686 1111 63 0 10494 0
vsize: 42228
[startup+610.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 10856 0 0 0 60928 80 0 0 25 0 1 0 891776201 47702016 10774 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11646 10774 1111 63 0 11583 0
vsize: 46584
[startup+620.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 11330 0 0 0 61927 82 0 0 25 0 1 0 891776201 49598464 11248 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12109 11248 1111 63 0 12046 0
vsize: 48436
[startup+630.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 12161 0 0 0 62924 84 0 0 25 0 1 0 891776201 53116928 12079 4294967295 134512640 134716908 3221224560 3221223200 134698445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12968 12079 1111 63 0 12905 0
vsize: 51872
[startup+640.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 12662 0 0 0 63923 86 0 0 25 0 1 0 891776201 55144448 12580 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13463 12580 1111 63 0 13400 0
vsize: 53852
[startup+650.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 13031 0 0 0 64921 88 0 0 25 0 1 0 891776201 56631296 12949 4294967295 134512640 134716908 3221224560 3221223212 134536825 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13826 12949 1111 63 0 13763 0
vsize: 55304
[startup+660.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 13633 0 0 0 65919 90 0 0 25 0 1 0 891776201 59195392 13551 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14452 13551 1111 63 0 14389 0
vsize: 57808
[startup+670.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 13907 0 0 0 66917 92 0 0 25 0 1 0 891776201 60276736 13825 4294967295 134512640 134716908 3221224560 3221223216 134523859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14716 13825 1111 63 0 14653 0
vsize: 58864
[startup+680.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 14086 0 0 0 67917 93 0 0 25 0 1 0 891776201 61095936 14004 4294967295 134512640 134716908 3221224560 3221223184 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14916 14004 1111 63 0 14853 0
vsize: 59664
[startup+690.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 14371 0 0 0 68916 94 0 0 25 0 1 0 891776201 62189568 14289 4294967295 134512640 134716908 3221224560 3221223216 134523856 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15183 14289 1111 63 0 15120 0
vsize: 60732
[startup+700.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 14616 0 0 0 69915 95 0 0 25 0 1 0 891776201 63270912 14534 4294967295 134512640 134716908 3221224560 3221223392 134551454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15447 14534 1111 63 0 15384 0
vsize: 61788
[startup+710.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 14766 0 0 0 70914 96 0 0 25 0 1 0 891776201 63823872 14684 4294967295 134512640 134716908 3221224560 3221223136 134549640 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15582 14684 1111 63 0 15519 0
vsize: 62328
[startup+720.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 15175 0 0 0 71913 98 0 0 25 0 1 0 891776201 65609728 15092 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16018 15092 1111 63 0 15955 0
vsize: 64072
[startup+730.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 15305 0 0 0 72912 99 0 0 25 0 1 0 891776201 66150400 15222 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16150 15222 1111 63 0 16087 0
vsize: 64600
[startup+740.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 15605 0 0 0 73911 100 0 0 25 0 1 0 891776201 67366912 15522 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16447 15522 1111 63 0 16384 0
vsize: 65788
[startup+750.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 15868 0 0 0 74910 101 0 0 25 0 1 0 891776201 68452352 15784 4294967295 134512640 134716908 3221224560 3221223248 134528712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16712 15784 1111 63 0 16649 0
vsize: 66848
[startup+760.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 15984 0 0 0 75909 102 0 0 25 0 1 0 891776201 68882432 15899 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16817 15899 1111 63 0 16754 0
vsize: 67268
[startup+770.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 16097 0 0 0 76908 103 0 0 25 0 1 0 891776201 69423104 16012 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16949 16012 1111 63 0 16886 0
vsize: 67796
[startup+780.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 16332 0 0 0 77908 104 0 0 25 0 1 0 891776201 70381568 16247 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17183 16247 1111 63 0 17120 0
vsize: 68732
[startup+790.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 16396 0 0 0 78907 104 0 0 25 0 1 0 891776201 70676480 16311 4294967295 134512640 134716908 3221224560 3221223116 134535964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17255 16311 1111 63 0 17192 0
vsize: 69020
[startup+800.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 16537 0 0 0 79907 105 0 0 25 0 1 0 891776201 71245824 16452 4294967295 134512640 134716908 3221224560 3221223136 134549802 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17394 16452 1111 63 0 17331 0
vsize: 69576
[startup+810.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 16718 0 0 0 80906 106 0 0 25 0 1 0 891776201 72056832 16632 4294967295 134512640 134716908 3221224560 3221223168 134523907 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17592 16632 1111 63 0 17529 0
vsize: 70368
[startup+820.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 16873 0 0 0 81905 107 0 0 25 0 1 0 891776201 72609792 16786 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17727 16786 1111 63 0 17664 0
vsize: 70908
[startup+830.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 17022 0 0 0 82904 108 0 0 25 0 1 0 891776201 73306112 16934 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17897 16934 1111 63 0 17834 0
vsize: 71588
[startup+840.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 17281 0 0 0 83903 110 0 0 25 0 1 0 891776201 74383360 17193 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18160 17193 1111 63 0 18097 0
vsize: 72640
[startup+850.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 17415 0 0 0 84902 111 0 0 25 0 1 0 891776201 74924032 17327 4294967295 134512640 134716908 3221224560 3221223116 134535895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18292 17327 1111 63 0 18229 0
vsize: 73168
[startup+860.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 17545 0 0 0 85901 112 0 0 25 0 1 0 891776201 75464704 17457 4294967295 134512640 134716908 3221224560 3221223200 134698450 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18424 17457 1111 63 0 18361 0
vsize: 73696
[startup+870.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 17639 0 0 0 86901 112 0 0 25 0 1 0 891776201 75857920 17551 4294967295 134512640 134716908 3221224560 3221223448 134589133 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18520 17551 1111 63 0 18457 0
vsize: 74080
[startup+880.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 17723 0 0 0 87900 113 0 0 25 0 1 0 891776201 76111872 17634 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18582 17634 1111 63 0 18519 0
vsize: 74328
[startup+890.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 17770 0 0 0 88900 113 0 0 25 0 1 0 891776201 76382208 17681 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18648 17681 1111 63 0 18585 0
vsize: 74592
[startup+900.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 17805 0 0 0 89900 114 0 0 25 0 1 0 891776201 76517376 17716 4294967295 134512640 134716908 3221224560 3221223108 134699059 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18681 17716 1111 63 0 18618 0
vsize: 74724
[startup+910.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 17952 0 0 0 90899 115 0 0 25 0 1 0 891776201 77201408 17863 4294967295 134512640 134716908 3221224560 3221223184 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18848 17863 1111 63 0 18785 0
vsize: 75392
[startup+920.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 18061 0 0 0 91898 116 0 0 25 0 1 0 891776201 77606912 17972 4294967295 134512640 134716908 3221224560 3221223056 134535462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18947 17972 1111 63 0 18884 0
vsize: 75788
[startup+930.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 19101 0 0 0 92894 120 0 0 25 0 1 0 891776201 81932288 19012 4294967295 134512640 134716908 3221224560 3221223216 134536730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20003 19012 1111 63 0 19940 0
vsize: 80012
[startup+940.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 19907 0 0 0 93892 122 0 0 25 0 1 0 891776201 85176320 19818 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20795 19818 1111 63 0 20732 0
vsize: 83180
[startup+950.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 20582 0 0 0 94891 124 0 0 25 0 1 0 891776201 88018944 20493 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21489 20493 1111 63 0 21426 0
vsize: 85956
[startup+960.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 21153 0 0 0 95888 127 0 0 25 0 1 0 891776201 90316800 21064 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22050 21064 1111 63 0 21987 0
vsize: 88200
[startup+970.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 21549 0 0 0 96887 128 0 0 25 0 1 0 891776201 91938816 21459 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22446 21459 1111 63 0 22383 0
vsize: 89784
[startup+980.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 21784 0 0 0 97886 129 0 0 25 0 1 0 891776201 92884992 21694 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22677 21694 1111 63 0 22614 0
vsize: 90708
[startup+990.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 22033 0 0 0 98885 131 0 0 25 0 1 0 891776201 93966336 21943 4294967295 134512640 134716908 3221224560 3221223240 134552642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22941 21943 1111 63 0 22878 0
vsize: 91764
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 22206 0 0 0 99885 131 0 0 25 0 1 0 891776201 94642176 22115 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23106 22115 1111 63 0 23043 0
vsize: 92424
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 22308 0 0 0 100884 132 0 0 25 0 1 0 891776201 95047680 22217 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23205 22217 1111 63 0 23142 0
vsize: 92820
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 23156 0 0 0 101882 134 0 0 25 0 1 0 891776201 98570240 23065 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24065 23065 1111 63 0 24002 0
vsize: 96260
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 23827 0 0 0 102878 138 0 0 25 0 1 0 891776201 101273600 23736 4294967295 134512640 134716908 3221224560 3221223152 134549616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24725 23736 1111 63 0 24662 0
vsize: 98900
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 24211 0 0 0 103877 139 0 0 25 0 1 0 891776201 102793216 24120 4294967295 134512640 134716908 3221224560 3221223392 134590061 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25096 24120 1111 63 0 25033 0
vsize: 100384
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 24472 0 0 0 104876 140 0 0 25 0 1 0 891776201 103895040 24380 4294967295 134512640 134716908 3221224560 3221223168 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25365 24380 1111 63 0 25302 0
vsize: 101460
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 24703 0 0 0 105876 141 0 0 25 0 1 0 891776201 104837120 24609 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25595 24609 1111 63 0 25532 0
vsize: 102380
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 24848 0 0 0 106875 142 0 0 25 0 1 0 891776201 105512960 24754 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25760 24754 1111 63 0 25697 0
vsize: 103040
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 24928 0 0 0 107875 142 0 0 25 0 1 0 891776201 105783296 24834 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25826 24834 1111 63 0 25763 0
vsize: 103304
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 25041 0 0 0 108874 143 0 0 25 0 1 0 891776201 106323968 24947 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25958 24947 1111 63 0 25895 0
vsize: 103832
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 25617 0 0 0 109872 145 0 0 25 0 1 0 891776201 108638208 25521 4294967295 134512640 134716908 3221224560 3221223056 134535442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26523 25521 1111 63 0 26460 0
vsize: 106092
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 25850 0 0 0 110872 146 0 0 25 0 1 0 891776201 109584384 25754 4294967295 134512640 134716908 3221224560 3221223176 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26754 25754 1111 63 0 26691 0
vsize: 107016
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 26280 0 0 0 111869 149 0 0 25 0 1 0 891776201 111505408 26182 4294967295 134512640 134716908 3221224560 3221223212 134536763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27223 26182 1111 63 0 27160 0
vsize: 108892
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 26468 0 0 0 112869 150 0 0 25 0 1 0 891776201 112181248 26370 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27388 26370 1111 63 0 27325 0
vsize: 109552
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 26691 0 0 0 113868 150 0 0 25 0 1 0 891776201 113164288 26593 4294967295 134512640 134716908 3221224560 3221223152 134549821 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27628 26593 1111 63 0 27565 0
vsize: 110512
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 26842 0 0 0 114868 151 0 0 25 0 1 0 891776201 113840128 26744 4294967295 134512640 134716908 3221224560 3221223116 134535952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27793 26744 1111 63 0 27730 0
vsize: 111172
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 26912 0 0 0 115867 151 0 0 25 0 1 0 891776201 114114560 26813 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27860 26813 1111 63 0 27797 0
vsize: 111440
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 27051 0 0 0 116867 152 0 0 25 0 1 0 891776201 114655232 26952 4294967295 134512640 134716908 3221224560 3221222644 134699711 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27992 26952 1111 63 0 27929 0
vsize: 111968
[startup+1174.91 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 12244
Raw data (stat): 12244 (bsolo_lpr-v2) R 12243 21152 21151 0 -1 0 27051 0 0 0 116867 152 0 0 25 0 1 0 891776201 114655232 26952 4294967295 134512640 134716908 3221224560 3221222644 134699711 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27992 26952 1111 63 0 27929 0
vsize: 0

Child status: 0
Real time (s): 1174.91
CPU time (s): 1175.06
CPU user time (s): 1173.48
CPU system time (s): 1.57976
CPU usage (%): 100.013
Max. virtual memory (Kb): 111968
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####