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/een/normalized-stein45.opb
MD5SUM	34647f6a75058de4a92f0ff94f3c9005
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	30
Optimality of the best value was proved	NO
Number of terms in the objective function	45
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	45
Number of bits of the sum of numbers in the objective function	6
Biggest number in a constraint	22
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	67
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01484
Number of variables	45
Total number of constraints	331
Number of constraints which are clauses	330
Number of constraints which are cardinality constraints (but not clauses)	1
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	45
Trace number 25144

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-17 02:04:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5203 boxname=wulflinc31 idbench=401 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  34647f6a75058de4a92f0ff94f3c9005  /oldhome/oroussel/tmp/wulflinc31/normalized-stein45.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-stein45.opb
IDLAUNCH: 5203
/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:        765052 kB
Buffers:         52048 kB
Cached:         188488 kB
SwapCached:       1952 kB
Active:         204456 kB
Inactive:        44940 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        764800 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            14640 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-17 02:23:52 (client local time) WITH STATUS 10 IN 1175.13 SECONDS
stats: 5203 0 1175.13 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 45 variables and 331 constraints.
c After prepocess the problem consists of 45 variables and 331 constraints.
c preprocess terminated 0.061 s
c Initial Lower Bound: 14
c Lower Bound Elapsed time: 0
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 37 @ 0.063
c NEW SOLUTION FOUND: 36 @ 0.063
c NEW SOLUTION FOUND: 35 @ 0.065
c NEW SOLUTION FOUND: 34 @ 0.069
c NEW SOLUTION FOUND: 33 @ 0.088
c NEW SOLUTION FOUND: 32 @ 0.114
c NEW SOLUTION FOUND: 31 @ 0.461
c NEW SOLUTION FOUND: 30 @ 4.163
s SATISFIABLE
v -x0 -x1 x2 x3 x4 -x5 -x6 x7 x8 x9 x10 x11 -x12 x13 -x14 x15 x16 x17 -x18 -x19 x20 x21 -x22 -x23 x24 x25 -x26 x27 -x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 -x38 x39 -x40 x41 x42 -x43 x44 
c Exit Code: 10
c Total time: 1175.05 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.99 0.97 2/55 20732
Raw data (stat): 20732 (runsolver) R 20731 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 765987473 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 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.0006 s]
Raw data (loadavg): 0.93 0.99 0.97 2/55 20732
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 3121 0 0 0 984 12 0 0 25 0 1 0 765987473 16465920 3096 4294967295 134512640 134714540 3221221792 3221220456 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4020 3096 1111 63 0 3957 0
vsize: 16080
[startup+20.001 s]
Raw data (loadavg): 0.94 0.99 0.97 2/55 20732
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 4386 0 0 0 1979 18 0 0 25 0 1 0 765987473 21716992 4361 4294967295 134512640 134714540 3221221792 3221220608 134610842 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5302 4361 1111 63 0 5239 0
vsize: 21208
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.99 0.97 2/55 20732
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 5360 0 0 0 2974 23 0 0 25 0 1 0 765987473 25673728 5335 4294967295 134512640 134714540 3221221792 3221220336 134549751 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6268 5335 1111 63 0 6205 0
vsize: 25072
[startup+40.0014 s]
Raw data (loadavg): 0.96 0.99 0.97 2/55 20732
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 6123 0 0 0 3970 26 0 0 25 0 1 0 765987473 28790784 6098 4294967295 134512640 134714540 3221221792 3221220412 134549508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7029 6098 1111 63 0 6966 0
vsize: 28116
[startup+50.0028 s]
Raw data (loadavg): 0.97 0.99 0.97 2/55 20732
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 6948 0 0 0 4968 29 0 0 25 0 1 0 765987473 32182272 6923 4294967295 134512640 134714540 3221221792 3221220528 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7857 6923 1111 63 0 7794 0
vsize: 31428
[startup+60.0033 s]
Raw data (loadavg): 0.97 0.99 0.97 2/55 20732
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 7598 0 0 0 5964 33 0 0 25 0 1 0 765987473 34906112 7571 4294967295 134512640 134714540 3221221792 3221220384 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8522 7571 1111 63 0 8459 0
vsize: 34088
[startup+70.0032 s]
Raw data (loadavg): 0.97 0.99 0.97 2/55 20732
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 8218 0 0 0 6960 37 0 0 25 0 1 0 765987473 37486592 8191 4294967295 134512640 134714540 3221221792 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9152 8191 1111 63 0 9089 0
vsize: 36608
[startup+80.0066 s]
Raw data (loadavg): 0.98 0.99 0.97 2/55 20732
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 8788 0 0 0 7958 39 0 0 25 0 1 0 765987473 39837696 8761 4294967295 134512640 134714540 3221221792 3221220296 134535009 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9726 8761 1111 63 0 9663 0
vsize: 38904
[startup+90.0061 s]
Raw data (loadavg): 0.98 0.99 0.97 2/55 20732
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 9274 0 0 0 8956 41 0 0 25 0 1 0 765987473 41918464 9245 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10234 9245 1111 63 0 10171 0
vsize: 40936
[startup+100.007 s]
Raw data (loadavg): 0.98 0.99 0.97 2/55 20732
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 9784 0 0 0 9954 44 0 0 25 0 1 0 765987473 43991040 9755 4294967295 134512640 134714540 3221221792 3221220256 134535032 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10740 9755 1111 63 0 10677 0
vsize: 42960
[startup+110.009 s]
Raw data (loadavg): 0.98 0.99 0.97 2/55 20732
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 10229 0 0 0 10952 46 0 0 25 0 1 0 765987473 45907968 10198 4294967295 134512640 134714540 3221221792 3221220484 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11208 10198 1111 63 0 11145 0
vsize: 44832
[startup+120.01 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20732
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 10713 0 0 0 11950 48 0 0 25 0 1 0 765987473 47960064 10682 4294967295 134512640 134714540 3221221792 3221220480 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11709 10682 1111 63 0 11646 0
vsize: 46836
[startup+130.011 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20732
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 11105 0 0 0 12948 50 0 0 25 0 1 0 765987473 49590272 11073 4294967295 134512640 134714540 3221221792 3221220468 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12107 11073 1111 63 0 12044 0
vsize: 48428
[startup+140.011 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20732
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 11462 0 0 0 13947 51 0 0 25 0 1 0 765987473 50966528 11430 4294967295 134512640 134714540 3221221792 3221220480 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12443 11430 1111 63 0 12380 0
vsize: 49772
[startup+150.012 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 11768 0 0 0 14945 53 0 0 25 0 1 0 765987473 52318208 11736 4294967295 134512640 134714540 3221221792 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12773 11736 1111 63 0 12710 0
vsize: 51092
[startup+160.012 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 12112 0 0 0 15943 55 0 0 25 0 1 0 765987473 53706752 12080 4294967295 134512640 134714540 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13112 12080 1111 63 0 13049 0
vsize: 52448
[startup+170.012 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 12459 0 0 0 16942 57 0 0 25 0 1 0 765987473 55201792 12425 4294967295 134512640 134714540 3221221792 3221220308 134535880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13477 12425 1111 63 0 13414 0
vsize: 53908
[startup+180.012 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 13058 0 0 0 17939 59 0 0 25 0 1 0 765987473 57180160 12897 4294967295 134512640 134714540 3221221792 3221220396 134536845 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13960 12897 1111 63 0 13897 0
vsize: 55840
[startup+190.014 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 13392 0 0 0 18938 61 0 0 25 0 1 0 765987473 58531840 13231 4294967295 134512640 134714540 3221221792 3221220300 134535631 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14290 13231 1111 63 0 14227 0
vsize: 57160
[startup+200.014 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 13714 0 0 0 19936 63 0 0 25 0 1 0 765987473 59748352 13553 4294967295 134512640 134714540 3221221792 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14587 13553 1111 63 0 14524 0
vsize: 58348
[startup+210.014 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 14003 0 0 0 20935 64 0 0 25 0 1 0 765987473 60985344 13841 4294967295 134512640 134714540 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14889 13841 1111 63 0 14826 0
vsize: 59556
[startup+220.015 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 14269 0 0 0 21934 65 0 0 25 0 1 0 765987473 62136320 14106 4294967295 134512640 134714540 3221221792 3221220380 134535500 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15170 14106 1111 63 0 15107 0
vsize: 60680
[startup+230.015 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 14600 0 0 0 22933 67 0 0 25 0 1 0 765987473 63488000 14437 4294967295 134512640 134714540 3221221792 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15500 14437 1111 63 0 15437 0
vsize: 62000
[startup+240.015 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 14926 0 0 0 23931 68 0 0 25 0 1 0 765987473 64704512 14763 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15797 14763 1111 63 0 15734 0
vsize: 63188
[startup+250.016 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 15256 0 0 0 24930 70 0 0 25 0 1 0 765987473 66056192 15093 4294967295 134512640 134714540 3221221792 3221220480 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16127 15093 1111 63 0 16064 0
vsize: 64508
[startup+260.017 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 15602 0 0 0 25928 72 0 0 25 0 1 0 765987473 67649536 15435 4294967295 134512640 134714540 3221221792 3221220420 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15435 1111 63 0 16453 0
vsize: 66064
[startup+270.017 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 15894 0 0 0 26926 74 0 0 25 0 1 0 765987473 68894720 15727 4294967295 134512640 134714540 3221221792 3221220348 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16820 15727 1111 63 0 16757 0
vsize: 67280
[startup+280.018 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 16154 0 0 0 27925 75 0 0 25 0 1 0 765987473 69849088 15986 4294967295 134512640 134714540 3221221792 3221220508 134552651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17053 15986 1111 63 0 16990 0
vsize: 68212
[startup+290.019 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 16374 0 0 0 28924 77 0 0 25 0 1 0 765987473 70795264 16206 4294967295 134512640 134714540 3221221792 3221220372 134549799 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17284 16206 1111 63 0 17221 0
vsize: 69136
[startup+300.02 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 16621 0 0 0 29923 78 0 0 25 0 1 0 765987473 71741440 16453 4294967295 134512640 134714540 3221221792 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17515 16453 1111 63 0 17452 0
vsize: 70060
[startup+310.02 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 16886 0 0 0 30922 79 0 0 25 0 1 0 765987473 72966144 16718 4294967295 134512640 134714540 3221221792 3221220416 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17814 16718 1111 63 0 17751 0
vsize: 71256
[startup+320.02 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 17115 0 0 0 31920 80 0 0 25 0 1 0 765987473 73777152 16947 4294967295 134512640 134714540 3221221792 3221220376 134552673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18012 16947 1111 63 0 17949 0
vsize: 72048
[startup+330.021 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 17317 0 0 0 32919 81 0 0 25 0 1 0 765987473 74657792 17149 4294967295 134512640 134714540 3221221792 3221220528 134535728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18227 17149 1111 63 0 18164 0
vsize: 72908
[startup+340.022 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 17568 0 0 0 33918 83 0 0 25 0 1 0 765987473 75743232 17398 4294967295 134512640 134714540 3221221792 3221220416 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18492 17398 1111 63 0 18429 0
vsize: 73968
[startup+350.022 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 17800 0 0 0 34917 84 0 0 25 0 1 0 765987473 76689408 17630 4294967295 134512640 134714540 3221221792 3221220416 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18723 17630 1111 63 0 18660 0
vsize: 74892
[startup+360.023 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 18046 0 0 0 35915 86 0 0 25 0 1 0 765987473 77635584 17876 4294967295 134512640 134714540 3221221792 3221220576 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18954 17876 1111 63 0 18891 0
vsize: 75816
[startup+370.024 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 18272 0 0 0 36914 87 0 0 25 0 1 0 765987473 78610432 18102 4294967295 134512640 134714540 3221221792 3221220480 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19192 18102 1111 63 0 19129 0
vsize: 76768
[startup+380.024 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 18457 0 0 0 37913 88 0 0 25 0 1 0 765987473 79458304 18286 4294967295 134512640 134714540 3221221792 3221220468 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19399 18286 1111 63 0 19336 0
vsize: 77596
[startup+390.025 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 18674 0 0 0 38911 90 0 0 25 0 1 0 765987473 80269312 18503 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19597 18503 1111 63 0 19534 0
vsize: 78388
[startup+400.026 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 18890 0 0 0 39911 91 0 0 25 0 1 0 765987473 81219584 18717 4294967295 134512640 134714540 3221221792 3221220480 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19829 18717 1111 63 0 19766 0
vsize: 79316
[startup+410.027 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 19122 0 0 0 40910 92 0 0 25 0 1 0 765987473 82165760 18949 4294967295 134512640 134714540 3221221792 3221220456 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20060 18949 1111 63 0 19997 0
vsize: 80240
[startup+420.027 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 19321 0 0 0 41909 93 0 0 25 0 1 0 765987473 82993152 19146 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20262 19146 1111 63 0 20199 0
vsize: 81048
[startup+430.028 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 19487 0 0 0 42908 94 0 0 25 0 1 0 765987473 83668992 19312 4294967295 134512640 134714540 3221221792 3221220516 134529372 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20427 19312 1111 63 0 20364 0
vsize: 81708
[startup+440.029 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 19693 0 0 0 43907 95 0 0 25 0 1 0 765987473 84533248 19518 4294967295 134512640 134714540 3221221792 3221220300 134535484 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20638 19518 1111 63 0 20575 0
vsize: 82552
[startup+450.03 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 19887 0 0 0 44906 96 0 0 25 0 1 0 765987473 85360640 19711 4294967295 134512640 134714540 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20840 19711 1111 63 0 20777 0
vsize: 83360
[startup+460.031 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 20156 0 0 0 45905 98 0 0 25 0 1 0 765987473 86441984 19980 4294967295 134512640 134714540 3221221792 3221220468 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21104 19980 1111 63 0 21041 0
vsize: 84416
[startup+470.032 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 20463 0 0 0 46903 99 0 0 25 0 1 0 765987473 87707648 20286 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21413 20286 1111 63 0 21350 0
vsize: 85652
[startup+480.033 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 20678 0 0 0 47902 101 0 0 25 0 1 0 765987473 88666112 20501 4294967295 134512640 134714540 3221221792 3221220376 134549705 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21647 20501 1111 63 0 21584 0
vsize: 86588
[startup+490.033 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 20944 0 0 0 48900 103 0 0 25 0 1 0 765987473 89747456 20767 4294967295 134512640 134714540 3221221792 3221220216 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21911 20767 1111 63 0 21848 0
vsize: 87644
[startup+500.034 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 21174 0 0 0 49899 105 0 0 25 0 1 0 765987473 90693632 20996 4294967295 134512640 134714540 3221221792 3221220380 134535649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22142 20996 1111 63 0 22079 0
vsize: 88568
[startup+510.035 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 21407 0 0 0 50897 107 0 0 25 0 1 0 765987473 91639808 21229 4294967295 134512640 134714540 3221221792 3221220480 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22373 21229 1111 63 0 22310 0
vsize: 89492
[startup+520.035 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 21670 0 0 0 51896 108 0 0 25 0 1 0 765987473 92721152 21492 4294967295 134512640 134714540 3221221792 3221220436 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22637 21492 1111 63 0 22574 0
vsize: 90548
[startup+530.035 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 21889 0 0 0 52895 109 0 0 25 0 1 0 765987473 93532160 21711 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22835 21711 1111 63 0 22772 0
vsize: 91340
[startup+540.036 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 22080 0 0 0 53894 110 0 0 25 0 1 0 765987473 94343168 21902 4294967295 134512640 134714540 3221221792 3221220416 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23033 21902 1111 63 0 22970 0
vsize: 92132
[startup+550.038 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 22247 0 0 0 54893 111 0 0 25 0 1 0 765987473 95031296 22067 4294967295 134512640 134714540 3221221792 3221220480 134535844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23201 22067 1111 63 0 23138 0
vsize: 92804
[startup+560.038 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 22439 0 0 0 55892 112 0 0 25 0 1 0 765987473 95920128 22259 4294967295 134512640 134714540 3221221792 3221220400 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23418 22259 1111 63 0 23355 0
vsize: 93672
[startup+570.038 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 22620 0 0 0 56891 114 0 0 25 0 1 0 765987473 96673792 22440 4294967295 134512640 134714540 3221221792 3221220416 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23602 22440 1111 63 0 23539 0
vsize: 94408
[startup+580.039 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 22802 0 0 0 57890 115 0 0 25 0 1 0 765987473 97484800 22622 4294967295 134512640 134714540 3221221792 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23800 22622 1111 63 0 23737 0
vsize: 95200
[startup+590.04 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 22967 0 0 0 58889 116 0 0 25 0 1 0 765987473 98160640 22787 4294967295 134512640 134714540 3221221792 3221220448 134536736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23965 22787 1111 63 0 23902 0
vsize: 95860
[startup+600.041 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 23125 0 0 0 59888 117 0 0 25 0 1 0 765987473 98836480 22945 4294967295 134512640 134714540 3221221792 3221220480 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24130 22945 1111 63 0 24067 0
vsize: 96520
[startup+610.041 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 23301 0 0 0 60887 118 0 0 25 0 1 0 765987473 99540992 23118 4294967295 134512640 134714540 3221221792 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24302 23118 1111 63 0 24239 0
vsize: 97208
[startup+620.041 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 23467 0 0 0 61885 120 0 0 25 0 1 0 765987473 100216832 23284 4294967295 134512640 134714540 3221221792 3221220324 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24467 23284 1111 63 0 24404 0
vsize: 97868
[startup+630.042 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 23644 0 0 0 62884 121 0 0 25 0 1 0 765987473 100954112 23460 4294967295 134512640 134714540 3221221792 3221220420 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24647 23460 1111 63 0 24584 0
vsize: 98588
[startup+640.043 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 23833 0 0 0 63882 123 0 0 25 0 1 0 765987473 101765120 23649 4294967295 134512640 134714540 3221221792 3221220396 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24845 23649 1111 63 0 24782 0
vsize: 99380
[startup+650.043 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 24044 0 0 0 64881 125 0 0 25 0 1 0 765987473 102576128 23860 4294967295 134512640 134714540 3221221792 3221220516 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25043 23860 1111 63 0 24980 0
vsize: 100172
[startup+660.043 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 24233 0 0 0 65879 127 0 0 25 0 1 0 765987473 103387136 24047 4294967295 134512640 134714540 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25241 24047 1111 63 0 25178 0
vsize: 100964
[startup+670.044 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 24474 0 0 0 66877 129 0 0 25 0 1 0 765987473 104398848 24279 4294967295 134512640 134714540 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25488 24279 1111 63 0 25425 0
vsize: 101952
[startup+680.044 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 24663 0 0 0 67876 130 0 0 25 0 1 0 765987473 105218048 24466 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25688 24466 1111 63 0 25625 0
vsize: 102752
[startup+690.045 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 25554 0 0 0 68872 133 0 0 25 0 1 0 765987473 107524096 25021 4294967295 134512640 134714540 3221221792 3221220420 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26251 25021 1111 63 0 26188 0
vsize: 105004
[startup+700.045 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 25800 0 0 0 69871 135 0 0 25 0 1 0 765987473 108539904 25267 4294967295 134512640 134714540 3221221792 3221220348 134535008 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26499 25267 1111 63 0 26436 0
vsize: 105996
[startup+710.046 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 26047 0 0 0 70870 136 0 0 25 0 1 0 765987473 109678592 25513 4294967295 134512640 134714540 3221221792 3221220348 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26777 25513 1111 63 0 26714 0
vsize: 107108
[startup+720.046 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 26241 0 0 0 71869 137 0 0 25 0 1 0 765987473 110354432 25707 4294967295 134512640 134714540 3221221792 3221220512 134529157 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26942 25707 1111 63 0 26879 0
vsize: 107768
[startup+730.047 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 26405 0 0 0 72868 138 0 0 25 0 1 0 765987473 111030272 25871 4294967295 134512640 134714540 3221221792 3221220348 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27107 25871 1111 63 0 27044 0
vsize: 108428
[startup+740.048 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 26584 0 0 0 73868 139 0 0 25 0 1 0 765987473 111706112 26050 4294967295 134512640 134714540 3221221792 3221220240 134535391 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27272 26050 1111 63 0 27209 0
vsize: 109088
[startup+750.049 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 26762 0 0 0 74867 140 0 0 25 0 1 0 765987473 112570368 26228 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27483 26228 1111 63 0 27420 0
vsize: 109932
[startup+760.05 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 26959 0 0 0 75866 141 0 0 25 0 1 0 765987473 113381376 26425 4294967295 134512640 134714540 3221221792 3221220384 134535442 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27681 26425 1111 63 0 27618 0
vsize: 110724
[startup+770.051 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 27114 0 0 0 76865 143 0 0 25 0 1 0 765987473 113922048 26580 4294967295 134512640 134714540 3221221792 3221220384 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27813 26580 1111 63 0 27750 0
vsize: 111252
[startup+780.052 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 27333 0 0 0 77864 144 0 0 25 0 1 0 765987473 115109888 26797 4294967295 134512640 134714540 3221221792 3221220484 134528706 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28103 26797 1111 63 0 28040 0
vsize: 112412
[startup+790.052 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 27510 0 0 0 78863 145 0 0 25 0 1 0 765987473 115785728 26974 4294967295 134512640 134714540 3221221792 3221220320 134549802 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28268 26974 1111 63 0 28205 0
vsize: 113072
[startup+800.052 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 27634 0 0 0 79862 146 0 0 25 0 1 0 765987473 116211712 27097 4294967295 134512640 134714540 3221221792 3221220484 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28372 27097 1111 63 0 28309 0
vsize: 113488
[startup+810.054 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 27839 0 0 0 80861 147 0 0 25 0 1 0 765987473 117178368 27302 4294967295 134512640 134714540 3221221792 3221220432 134551897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28608 27302 1111 63 0 28545 0
vsize: 114432
[startup+820.054 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 28007 0 0 0 81860 149 0 0 25 0 1 0 765987473 117854208 27470 4294967295 134512640 134714540 3221221792 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28773 27470 1111 63 0 28710 0
vsize: 115092
[startup+830.054 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 28161 0 0 0 82859 149 0 0 25 0 1 0 765987473 118562816 27622 4294967295 134512640 134714540 3221221792 3221220336 134549541 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28946 27622 1111 63 0 28883 0
vsize: 115784
[startup+840.055 s]
Raw data (loadavg): 0.99 0.99 0.97 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 28285 0 0 0 83858 150 0 0 25 0 1 0 765987473 119042048 27745 4294967295 134512640 134714540 3221221792 3221220396 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29063 27745 1111 63 0 29000 0
vsize: 116252
[startup+850.057 s]
Raw data (loadavg): 1.07 1.01 0.98 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 28471 0 0 0 84857 151 0 0 25 0 1 0 765987473 119853056 27929 4294967295 134512640 134714540 3221221792 3221220348 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29261 27929 1111 63 0 29198 0
vsize: 117044
[startup+860.057 s]
Raw data (loadavg): 1.06 1.01 0.98 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 28639 0 0 0 85856 152 0 0 25 0 1 0 765987473 120528896 28097 4294967295 134512640 134714540 3221221792 3221220348 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29426 28097 1111 63 0 29363 0
vsize: 117704
[startup+870.057 s]
Raw data (loadavg): 1.05 1.01 0.98 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 28762 0 0 0 86855 153 0 0 25 0 1 0 765987473 120934400 28220 4294967295 134512640 134714540 3221221792 3221220336 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29525 28220 1111 63 0 29462 0
vsize: 118100
[startup+880.058 s]
Raw data (loadavg): 1.04 1.01 0.98 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 28905 0 0 0 87855 154 0 0 25 0 1 0 765987473 121475072 28363 4294967295 134512640 134714540 3221221792 3221220240 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29657 28363 1111 63 0 29594 0
vsize: 118628
[startup+890.059 s]
Raw data (loadavg): 1.04 1.01 0.98 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 29106 0 0 0 88854 155 0 0 25 0 1 0 765987473 122286080 28564 4294967295 134512640 134714540 3221221792 3221220448 134536635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29855 28564 1111 63 0 29792 0
vsize: 119420
[startup+900.06 s]
Raw data (loadavg): 1.03 1.01 0.98 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 29274 0 0 0 89853 156 0 0 25 0 1 0 765987473 123027456 28728 4294967295 134512640 134714540 3221221792 3221220460 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30036 28728 1111 63 0 29973 0
vsize: 120144
[startup+910.061 s]
Raw data (loadavg): 1.03 1.00 0.98 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 29429 0 0 0 90852 157 0 0 25 0 1 0 765987473 123703296 28883 4294967295 134512640 134714540 3221221792 3221220468 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30201 28883 1111 63 0 30138 0
vsize: 120804
[startup+920.061 s]
Raw data (loadavg): 1.02 1.00 0.98 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 29559 0 0 0 91852 158 0 0 25 0 1 0 765987473 124182528 29012 4294967295 134512640 134714540 3221221792 3221220484 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30318 29012 1111 63 0 30255 0
vsize: 121272
[startup+930.062 s]
Raw data (loadavg): 1.02 1.00 0.98 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 29697 0 0 0 92851 159 0 0 25 0 1 0 765987473 124882944 29148 4294967295 134512640 134714540 3221221792 3221220384 134536650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30489 29148 1111 63 0 30426 0
vsize: 121956
[startup+940.063 s]
Raw data (loadavg): 1.01 1.00 0.98 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 29824 0 0 0 93850 160 0 0 25 0 1 0 765987473 125509632 29273 4294967295 134512640 134714540 3221221792 3221220396 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30642 29273 1111 63 0 30579 0
vsize: 122568
[startup+950.064 s]
Raw data (loadavg): 1.01 1.00 0.98 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 29974 0 0 0 94850 161 0 0 25 0 1 0 765987473 126050304 29423 4294967295 134512640 134714540 3221221792 3221220448 134528665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30774 29423 1111 63 0 30711 0
vsize: 123096
[startup+960.064 s]
Raw data (loadavg): 1.01 1.00 0.98 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 30167 0 0 0 95849 162 0 0 25 0 1 0 765987473 126861312 29616 4294967295 134512640 134714540 3221221792 3221220348 134535620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30972 29616 1111 63 0 30909 0
vsize: 123888
[startup+970.065 s]
Raw data (loadavg): 1.01 1.00 0.98 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 30317 0 0 0 96847 163 0 0 25 0 1 0 765987473 127401984 29766 4294967295 134512640 134714540 3221221792 3221220496 134528738 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31104 29766 1111 63 0 31041 0
vsize: 124416
[startup+980.065 s]
Raw data (loadavg): 1.01 1.00 0.98 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 30464 0 0 0 97847 164 0 0 25 0 1 0 765987473 128139264 29913 4294967295 134512640 134714540 3221221792 3221220384 134549544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31284 29913 1111 63 0 31221 0
vsize: 125136
[startup+990.066 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 30659 0 0 0 98847 164 0 0 25 0 1 0 765987473 129056768 30107 4294967295 134512640 134714540 3221221792 3221220552 134552549 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31508 30107 1111 63 0 31445 0
vsize: 126032
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 30849 0 0 0 99846 165 0 0 25 0 1 0 765987473 129937408 30289 4294967295 134512640 134714540 3221221792 3221220348 134535631 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31723 30289 1111 63 0 31660 0
vsize: 126892
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 31035 0 0 0 100844 167 0 0 25 0 1 0 765987473 130613248 30475 4294967295 134512640 134714540 3221221792 3221220416 134549544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31888 30475 1111 63 0 31825 0
vsize: 127552
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 31198 0 0 0 101843 169 0 0 25 0 1 0 765987473 131289088 30638 4294967295 134512640 134714540 3221221792 3221220288 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32053 30638 1111 63 0 31990 0
vsize: 128212
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 31374 0 0 0 102841 170 0 0 25 0 1 0 765987473 131964928 30814 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32218 30814 1111 63 0 32155 0
vsize: 128872
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 31579 0 0 0 103840 171 0 0 25 0 1 0 765987473 132976640 31012 4294967295 134512640 134714540 3221221792 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32465 31012 1111 63 0 32402 0
vsize: 129860
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 31733 0 0 0 104840 172 0 0 25 0 1 0 765987473 133718016 31162 4294967295 134512640 134714540 3221221792 3221220480 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32646 31162 1111 63 0 32583 0
vsize: 130584
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 31860 0 0 0 105839 173 0 0 25 0 1 0 765987473 134123520 31289 4294967295 134512640 134714540 3221221792 3221220336 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32745 31289 1111 63 0 32682 0
vsize: 130980
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 31988 0 0 0 106839 173 0 0 25 0 1 0 765987473 134664192 31417 4294967295 134512640 134714540 3221221792 3221220288 134535471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32877 31417 1111 63 0 32814 0
vsize: 131508
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 32136 0 0 0 107837 175 0 0 25 0 1 0 765987473 135340032 31565 4294967295 134512640 134714540 3221221792 3221220320 134549802 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33042 31565 1111 63 0 32979 0
vsize: 132168
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 32317 0 0 0 108836 176 0 0 25 0 1 0 765987473 136052736 31742 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33216 31742 1111 63 0 33153 0
vsize: 132864
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 32442 0 0 0 109836 177 0 0 25 0 1 0 765987473 136593408 31867 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33348 31867 1111 63 0 33285 0
vsize: 133392
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 32551 0 0 0 110835 178 0 0 25 0 1 0 765987473 136998912 31976 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33447 31976 1111 63 0 33384 0
vsize: 133788
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 32699 0 0 0 111835 178 0 0 25 0 1 0 765987473 137539584 32124 4294967295 134512640 134714540 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33579 32124 1111 63 0 33516 0
vsize: 134316
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 32833 0 0 0 112834 179 0 0 25 0 1 0 765987473 138080256 32258 4294967295 134512640 134714540 3221221792 3221220376 134549708 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33711 32258 1111 63 0 33648 0
vsize: 134844
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 32966 0 0 0 113833 180 0 0 25 0 1 0 765987473 138620928 32391 4294967295 134512640 134714540 3221221792 3221220480 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33843 32391 1111 63 0 33780 0
vsize: 135372
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 33092 0 0 0 114833 181 0 0 25 0 1 0 765987473 139161600 32517 4294967295 134512640 134714540 3221221792 3221220240 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33975 32517 1111 63 0 33912 0
vsize: 135900
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 33250 0 0 0 115832 182 0 0 25 0 1 0 765987473 139902976 32667 4294967295 134512640 134714540 3221221792 3221220300 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34156 32667 1111 63 0 34093 0
vsize: 136624
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 33381 0 0 0 116831 183 0 0 25 0 1 0 765987473 140443648 32798 4294967295 134512640 134714540 3221221792 3221220508 134552560 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34288 32798 1111 63 0 34225 0
vsize: 137152
[startup+1175.07 s]
Raw data (loadavg): 1.00 1.00 0.98 1/54 20734
Raw data (stat): 20732 (bsolo_mis) R 20731 7876 7672 0 -1 0 33381 0 0 0 116831 183 0 0 25 0 1 0 765987473 140443648 32798 4294967295 134512640 134714540 3221221792 3221220508 134552560 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34288 32798 1111 63 0 34225 0
vsize: 0

Child status: 10
Real time (s): 1175.07
CPU time (s): 1175.13
CPU user time (s): 1173.24
CPU system time (s): 1.89571
CPU usage (%): 100.006
Max. virtual memory (Kb): 137152
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	30
#### END VERIFIER DATA ####