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-lseu.opb
MD5SUM	a578bf261896413ca78de4dc6db2447f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1120
Optimality of the best value was proved	NO
Number of terms in the objective function	85
Biggest coefficient in the objective function	517
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	15494
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	1656
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	15494
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02184
Number of variables	89
Total number of constraints	28
Number of constraints which are clauses	2
Number of constraints which are cardinality constraints (but not clauses)	15
Number of constraints which are nor clauses,nor cardinality constraints	11
Minimum length of a constraint	2
Maximum length of a constraint	47
Trace number 25074

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-16 13:11:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5021 boxname=wulflinc31 idbench=387 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  a578bf261896413ca78de4dc6db2447f  /oldhome/oroussel/tmp/wulflinc31/normalized-lseu.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-lseu.opb
IDLAUNCH: 5021
/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:        793300 kB
Buffers:         49160 kB
Cached:         170092 kB
SwapCached:       1952 kB
Active:         178356 kB
Inactive:        44116 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        793048 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            13240 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-16 13:31:01 (client local time) WITH STATUS 10 IN 1186.48 SECONDS
stats: 5021 0 1186.48 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 89 variables and 28 constraints.
c After prepocess the problem consists of 89 variables and 28 constraints.
c preprocess terminated 0.023 s
c Initial Lower Bound: 312
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 2445 @ 0.045
c NEW SOLUTION FOUND: 2116 @ 0.046
c NEW SOLUTION FOUND: 2071 @ 0.112
c NEW SOLUTION FOUND: 2060 @ 0.76
c NEW SOLUTION FOUND: 1981 @ 0.76
c NEW SOLUTION FOUND: 1971 @ 0.975
c NEW SOLUTION FOUND: 1861 @ 0.977
c NEW SOLUTION FOUND: 1853 @ 1.134
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 -x45 x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 x75 x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 
c Exit Code: 10
c Total time: 1186.38 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.98 0.99 2/55 13307
Raw data (stat): 13307 (runsolver) R 13306 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 761348756 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.0008 s]
Raw data (loadavg): 0.93 0.98 0.99 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 3748 0 0 0 987 10 0 0 25 0 1 0 761348756 19214336 3718 4294967295 134512640 134714540 3221221792 3221220584 134536921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4691 3718 1111 63 0 4628 0
vsize: 18764
[startup+20.0006 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 7284 0 0 0 1979 17 0 0 25 0 1 0 761348756 34164736 7211 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8341 7211 1111 63 0 8278 0
vsize: 33364
[startup+30.0019 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 7286 0 0 0 2979 17 0 0 25 0 1 0 761348756 34164736 7213 4294967295 134512640 134714540 3221221792 3221220504 134543181 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8341 7213 1111 63 0 8278 0
vsize: 33364
[startup+40.0015 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 7682 0 0 0 3979 18 0 0 25 0 1 0 761348756 35786752 7607 4294967295 134512640 134714540 3221221792 3221220608 134622477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8737 7607 1111 63 0 8674 0
vsize: 34948
[startup+50.0024 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 7972 0 0 0 4979 18 0 0 25 0 1 0 761348756 37003264 7889 4294967295 134512640 134714540 3221221792 3221220640 134556487 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9034 7889 1111 63 0 8971 0
vsize: 36136
[startup+60.0027 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 8139 0 0 0 5978 19 0 0 25 0 1 0 761348756 37679104 8056 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9199 8056 1111 63 0 9136 0
vsize: 36796
[startup+70.0023 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 8140 0 0 0 6978 19 0 0 25 0 1 0 761348756 37679104 8057 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9199 8057 1111 63 0 9136 0
vsize: 36796
[startup+80.0032 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 8944 0 0 0 7977 20 0 0 25 0 1 0 761348756 40992768 8857 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10008 8857 1111 63 0 9945 0
vsize: 40032
[startup+90.0031 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 9376 0 0 0 8976 21 0 0 25 0 1 0 761348756 42807296 9284 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10451 9284 1111 63 0 10388 0
vsize: 41804
[startup+100.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 9748 0 0 0 9975 22 0 0 25 0 1 0 761348756 44515328 9639 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10868 9639 1111 63 0 10805 0
vsize: 43472
[startup+110.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 10097 0 0 0 10975 23 0 0 25 0 1 0 761348756 46002176 9984 4294967295 134512640 134714540 3221221792 3221220568 134542401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11231 9984 1111 63 0 11168 0
vsize: 44924
[startup+120.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 12037 0 0 0 11970 28 0 0 25 0 1 0 761348756 54272000 11878 4294967295 134512640 134714540 3221221792 3221220512 134622817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13250 11878 1111 63 0 13187 0
vsize: 53000
[startup+130.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 12037 0 0 0 12971 28 0 0 25 0 1 0 761348756 54272000 11878 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13250 11878 1111 63 0 13187 0
vsize: 53000
[startup+140.003 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 12037 0 0 0 13971 28 0 0 25 0 1 0 761348756 54272000 11878 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13250 11878 1111 63 0 13187 0
vsize: 53000
[startup+150.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 12037 0 0 0 14971 28 0 0 25 0 1 0 761348756 54272000 11878 4294967295 134512640 134714540 3221221792 3221220588 134536888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13250 11878 1111 63 0 13187 0
vsize: 53000
[startup+160.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 12038 0 0 0 15971 28 0 0 25 0 1 0 761348756 54272000 11879 4294967295 134512640 134714540 3221221792 3221220528 134622722 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13250 11879 1111 63 0 13187 0
vsize: 53000
[startup+170.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 12215 0 0 0 16971 28 0 0 25 0 1 0 761348756 55103488 12043 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13453 12043 1111 63 0 13390 0
vsize: 53812
[startup+180.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 12215 0 0 0 17971 28 0 0 25 0 1 0 761348756 55103488 12043 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13453 12043 1111 63 0 13390 0
vsize: 53812
[startup+190.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 12356 0 0 0 18971 28 0 0 25 0 1 0 761348756 55713792 12180 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13602 12180 1111 63 0 13539 0
vsize: 54408
[startup+200.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 12432 0 0 0 19971 28 0 0 25 0 1 0 761348756 55984128 12256 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13668 12256 1111 63 0 13605 0
vsize: 54672
[startup+210.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 14278 0 0 0 20967 33 0 0 25 0 1 0 761348756 63741952 14059 4294967295 134512640 134714540 3221221792 3221220608 134622513 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15562 14059 1111 63 0 15499 0
vsize: 62248
[startup+220.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 14922 0 0 0 21966 34 0 0 25 0 1 0 761348756 66342912 14700 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16197 14700 1111 63 0 16134 0
vsize: 64788
[startup+230.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 15654 0 0 0 22964 36 0 0 25 0 1 0 761348756 69210112 15428 4294967295 134512640 134714540 3221221792 3221220360 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16897 15428 1111 63 0 16834 0
vsize: 67588
[startup+240.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 18518 0 0 0 23957 43 0 0 25 0 1 0 761348756 81240064 18239 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19834 18240 1111 63 0 19771 0
vsize: 79336
[startup+250.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 24619 0 0 0 24941 60 0 0 25 0 1 0 761348756 107261952 24152 4294967295 134512640 134714540 3221221792 3221220528 134622896 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26187 24152 1111 63 0 26124 0
vsize: 104748
[startup+260.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 24619 0 0 0 25941 60 0 0 25 0 1 0 761348756 107261952 24152 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26187 24152 1111 63 0 26124 0
vsize: 104748
[startup+270.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 24619 0 0 0 26940 60 0 0 25 0 1 0 761348756 107261952 24152 4294967295 134512640 134714540 3221221792 3221220568 134542409 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26187 24152 1111 63 0 26124 0
vsize: 104748
[startup+280.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 24619 0 0 0 27940 60 0 0 25 0 1 0 761348756 107261952 24152 4294967295 134512640 134714540 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26187 24152 1111 63 0 26124 0
vsize: 104748
[startup+290.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 24619 0 0 0 28941 60 0 0 25 0 1 0 761348756 107261952 24152 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26187 24152 1111 63 0 26124 0
vsize: 104748
[startup+300.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 24619 0 0 0 29941 60 0 0 25 0 1 0 761348756 107261952 24152 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26187 24152 1111 63 0 26124 0
vsize: 104748
[startup+310.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 24619 0 0 0 30941 61 0 0 25 0 1 0 761348756 107261952 24152 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26187 24152 1111 63 0 26124 0
vsize: 104748
[startup+320.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 24619 0 0 0 31941 61 0 0 25 0 1 0 761348756 107261952 24152 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26187 24152 1111 63 0 26124 0
vsize: 104748
[startup+330.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 24621 0 0 0 32941 61 0 0 25 0 1 0 761348756 107261952 24154 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26187 24154 1111 63 0 26124 0
vsize: 104748
[startup+340.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 24621 0 0 0 33941 61 0 0 25 0 1 0 761348756 107261952 24154 4294967295 134512640 134714540 3221221792 3221220516 134622811 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26187 24154 1111 63 0 26124 0
vsize: 104748
[startup+350.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 24622 0 0 0 34941 61 0 0 25 0 1 0 761348756 107261952 24155 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26187 24155 1111 63 0 26124 0
vsize: 104748
[startup+360.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 24624 0 0 0 35941 61 0 0 25 0 1 0 761348756 107397120 24157 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26220 24157 1111 63 0 26157 0
vsize: 104880
[startup+370.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 24624 0 0 0 36942 61 0 0 25 0 1 0 761348756 107397120 24157 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26220 24157 1111 63 0 26157 0
vsize: 104880
[startup+380.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 24625 0 0 0 37942 61 0 0 25 0 1 0 761348756 107397120 24158 4294967295 134512640 134714540 3221221792 3221220592 134622574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26220 24158 1111 63 0 26157 0
vsize: 104880
[startup+390.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 24627 0 0 0 38942 61 0 0 25 0 1 0 761348756 107397120 24160 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26220 24160 1111 63 0 26157 0
vsize: 104880
[startup+400.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 24628 0 0 0 39942 61 0 0 25 0 1 0 761348756 107397120 24161 4294967295 134512640 134714540 3221221792 3221220568 134542409 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26220 24161 1111 63 0 26157 0
vsize: 104880
[startup+410.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 24630 0 0 0 40942 61 0 0 25 0 1 0 761348756 107397120 24163 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26220 24163 1111 63 0 26157 0
vsize: 104880
[startup+420.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 24631 0 0 0 41942 61 0 0 25 0 1 0 761348756 107397120 24164 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26220 24164 1111 63 0 26157 0
vsize: 104880
[startup+430.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 24633 0 0 0 42942 61 0 0 25 0 1 0 761348756 107397120 24166 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26220 24166 1111 63 0 26157 0
vsize: 104880
[startup+440.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 24633 0 0 0 43943 61 0 0 25 0 1 0 761348756 107397120 24166 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26220 24166 1111 63 0 26157 0
vsize: 104880
[startup+450.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 24636 0 0 0 44943 61 0 0 25 0 1 0 761348756 107397120 24169 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26220 24169 1111 63 0 26157 0
vsize: 104880
[startup+460.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 24637 0 0 0 45943 61 0 0 25 0 1 0 761348756 107397120 24170 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26220 24170 1111 63 0 26157 0
vsize: 104880
[startup+470.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 24640 0 0 0 46943 61 0 0 25 0 1 0 761348756 107397120 24173 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26220 24173 1111 63 0 26157 0
vsize: 104880
[startup+480.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 24640 0 0 0 47943 61 0 0 25 0 1 0 761348756 107397120 24173 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26220 24173 1111 63 0 26157 0
vsize: 104880
[startup+490.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 24642 0 0 0 48943 61 0 0 25 0 1 0 761348756 107397120 24175 4294967295 134512640 134714540 3221221792 3221220508 134543192 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26220 24175 1111 63 0 26157 0
vsize: 104880
[startup+500.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 24643 0 0 0 49944 61 0 0 25 0 1 0 761348756 107397120 24176 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26220 24176 1111 63 0 26157 0
vsize: 104880
[startup+510.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 24643 0 0 0 50944 61 0 0 25 0 1 0 761348756 107397120 24176 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26220 24176 1111 63 0 26157 0
vsize: 104880
[startup+520.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 24645 0 0 0 51944 61 0 0 25 0 1 0 761348756 107397120 24178 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26220 24178 1111 63 0 26157 0
vsize: 104880
[startup+530.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 24645 0 0 0 52944 61 0 0 25 0 1 0 761348756 107397120 24178 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26220 24178 1111 63 0 26157 0
vsize: 104880
[startup+540.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 24645 0 0 0 53944 61 0 0 25 0 1 0 761348756 107397120 24178 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26220 24178 1111 63 0 26157 0
vsize: 104880
[startup+550.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 24645 0 0 0 54944 61 0 0 25 0 1 0 761348756 107397120 24178 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26220 24178 1111 63 0 26157 0
vsize: 104880
[startup+560.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 24646 0 0 0 55945 61 0 0 25 0 1 0 761348756 107397120 24179 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26220 24179 1111 63 0 26157 0
vsize: 104880
[startup+570.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 24646 0 0 0 56945 61 0 0 25 0 1 0 761348756 107397120 24179 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26220 24179 1111 63 0 26157 0
vsize: 104880
[startup+580.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 28428 0 0 0 57935 71 0 0 25 0 1 0 761348756 123908096 27815 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30251 27815 1111 63 0 30188 0
vsize: 121004
[startup+590.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 28428 0 0 0 58936 71 0 0 25 0 1 0 761348756 123908096 27815 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30251 27815 1111 63 0 30188 0
vsize: 121004
[startup+600.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 34163 0 0 0 59921 85 0 0 25 0 1 0 761348756 147283968 33465 4294967295 134512640 134714540 3221221792 3221220304 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35958 33465 1111 63 0 35895 0
vsize: 143832
[startup+610.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 34163 0 0 0 60921 85 0 0 25 0 1 0 761348756 147283968 33465 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35958 33465 1111 63 0 35895 0
vsize: 143832
[startup+620.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 34163 0 0 0 61921 85 0 0 25 0 1 0 761348756 147283968 33465 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35958 33465 1111 63 0 35895 0
vsize: 143832
[startup+630.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 34163 0 0 0 62922 85 0 0 25 0 1 0 761348756 147283968 33465 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35958 33465 1111 63 0 35895 0
vsize: 143832
[startup+640.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 34163 0 0 0 63922 85 0 0 25 0 1 0 761348756 147283968 33465 4294967295 134512640 134714540 3221221792 3221220504 134543154 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35958 33465 1111 63 0 35895 0
vsize: 143832
[startup+650.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 34163 0 0 0 64922 85 0 0 25 0 1 0 761348756 147283968 33465 4294967295 134512640 134714540 3221221792 3221220504 134558490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35958 33465 1111 63 0 35895 0
vsize: 143832
[startup+660.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 34163 0 0 0 65922 85 0 0 25 0 1 0 761348756 147283968 33465 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35958 33465 1111 63 0 35895 0
vsize: 143832
[startup+670.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 34163 0 0 0 66922 86 0 0 25 0 1 0 761348756 147283968 33465 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35958 33465 1111 63 0 35895 0
vsize: 143832
[startup+680.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 34163 0 0 0 67922 86 0 0 25 0 1 0 761348756 147283968 33465 4294967295 134512640 134714540 3221221792 3221220520 134622809 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35958 33465 1111 63 0 35895 0
vsize: 143832
[startup+690.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 34163 0 0 0 68923 86 0 0 25 0 1 0 761348756 147283968 33465 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35958 33465 1111 63 0 35895 0
vsize: 143832
[startup+700.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 34163 0 0 0 69923 86 0 0 25 0 1 0 761348756 147283968 33465 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35958 33465 1111 63 0 35895 0
vsize: 143832
[startup+710.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 34163 0 0 0 70923 86 0 0 25 0 1 0 761348756 147283968 33465 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35958 33465 1111 63 0 35895 0
vsize: 143832
[startup+720.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 34839 0 0 0 71922 87 0 0 25 0 1 0 761348756 149852160 34141 4294967295 134512640 134714540 3221221792 3221220528 134622873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36585 34141 1111 63 0 36522 0
vsize: 146340
[startup+730.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 35951 0 0 0 72920 89 0 0 25 0 1 0 761348756 154775552 35208 4294967295 134512640 134714540 3221221792 3221220512 134622860 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37787 35208 1111 63 0 37724 0
vsize: 151148
[startup+740.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 36271 0 0 0 73919 90 0 0 25 0 1 0 761348756 156192768 35519 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38133 35519 1111 63 0 38070 0
vsize: 152532
[startup+750.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 36271 0 0 0 74919 90 0 0 25 0 1 0 761348756 156192768 35519 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38133 35519 1111 63 0 38070 0
vsize: 152532
[startup+760.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 36443 0 0 0 75919 90 0 0 25 0 1 0 761348756 156733440 35691 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38265 35691 1111 63 0 38202 0
vsize: 153060
[startup+770.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 36676 0 0 0 76919 91 0 0 25 0 1 0 761348756 157679616 35924 4294967295 134512640 134714540 3221221792 3221220504 134558485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38496 35924 1111 63 0 38433 0
vsize: 153984
[startup+780.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 37030 0 0 0 77918 91 0 0 25 0 1 0 761348756 159031296 36278 4294967295 134512640 134714540 3221221792 3221220520 134622828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38826 36278 1111 63 0 38763 0
vsize: 155304
[startup+790.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 37986 0 0 0 78915 94 0 0 25 0 1 0 761348756 163028992 37102 4294967295 134512640 134714540 3221221792 3221220512 134622860 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39802 37102 1111 63 0 39739 0
vsize: 159208
[startup+800.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 37986 0 0 0 79916 94 0 0 25 0 1 0 761348756 163028992 37102 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39802 37102 1111 63 0 39739 0
vsize: 159208
[startup+810.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 37986 0 0 0 80916 94 0 0 25 0 1 0 761348756 163028992 37102 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39802 37102 1111 63 0 39739 0
vsize: 159208
[startup+820.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 37986 0 0 0 81916 94 0 0 25 0 1 0 761348756 163028992 37102 4294967295 134512640 134714540 3221221792 3221220512 134622735 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39802 37102 1111 63 0 39739 0
vsize: 159208
[startup+830.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 37986 0 0 0 82916 94 0 0 25 0 1 0 761348756 163028992 37102 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39802 37102 1111 63 0 39739 0
vsize: 159208
[startup+840.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 37986 0 0 0 83916 95 0 0 25 0 1 0 761348756 163028992 37102 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39802 37102 1111 63 0 39739 0
vsize: 159208
[startup+850.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 37986 0 0 0 84916 95 0 0 25 0 1 0 761348756 163028992 37102 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39802 37102 1111 63 0 39739 0
vsize: 159208
[startup+860.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 37986 0 0 0 85916 95 0 0 25 0 1 0 761348756 163028992 37102 4294967295 134512640 134714540 3221221792 3221220584 134542409 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39802 37102 1111 63 0 39739 0
vsize: 159208
[startup+870.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 37987 0 0 0 86916 95 0 0 25 0 1 0 761348756 163028992 37103 4294967295 134512640 134714540 3221221792 3221220504 134558617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39802 37103 1111 63 0 39739 0
vsize: 159208
[startup+880.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 37987 0 0 0 87916 95 0 0 25 0 1 0 761348756 163028992 37103 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39802 37103 1111 63 0 39739 0
vsize: 159208
[startup+890.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 37989 0 0 0 88916 95 0 0 25 0 1 0 761348756 163028992 37105 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39802 37105 1111 63 0 39739 0
vsize: 159208
[startup+900.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 37989 0 0 0 89917 95 0 0 25 0 1 0 761348756 163028992 37105 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39802 37105 1111 63 0 39739 0
vsize: 159208
[startup+910.021 s]
Raw data (loadavg): 1.00 1.00 1.00 3/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 37989 0 0 0 90917 95 0 0 25 0 1 0 761348756 163028992 37105 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39802 37105 1111 63 0 39739 0
vsize: 159208
[startup+920.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 37989 0 0 0 91917 95 0 0 25 0 1 0 761348756 163028992 37105 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39802 37105 1111 63 0 39739 0
vsize: 159208
[startup+930.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 39478 0 0 0 92913 99 0 0 25 0 1 0 761348756 168751104 38421 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41199 38421 1111 63 0 41136 0
vsize: 164796
[startup+940.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 40245 0 0 0 93911 101 0 0 25 0 1 0 761348756 171724800 39188 4294967295 134512640 134714540 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41925 39188 1111 63 0 41862 0
vsize: 167700
[startup+950.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 41508 0 0 0 94909 104 0 0 25 0 1 0 761348756 176578560 40287 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43110 40287 1111 63 0 43047 0
vsize: 172440
[startup+960.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 41959 0 0 0 95908 105 0 0 25 0 1 0 761348756 178257920 40655 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43520 40655 1111 63 0 43457 0
vsize: 174080
[startup+970.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 43023 0 0 0 96906 107 0 0 25 0 1 0 761348756 182558720 41539 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44570 41539 1111 63 0 44507 0
vsize: 178280
[startup+980.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 43310 0 0 0 97905 108 0 0 25 0 1 0 761348756 183705600 41817 4294967295 134512640 134714540 3221221792 3221220516 134622811 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44850 41817 1111 63 0 44787 0
vsize: 179400
[startup+990.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 43310 0 0 0 98906 108 0 0 25 0 1 0 761348756 183705600 41817 4294967295 134512640 134714540 3221221792 3221220588 134542422 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44850 41817 1111 63 0 44787 0
vsize: 179400
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 43310 0 0 0 99906 108 0 0 25 0 1 0 761348756 183705600 41817 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44850 41817 1111 63 0 44787 0
vsize: 179400
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 43310 0 0 0 100906 108 0 0 25 0 1 0 761348756 183705600 41817 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44850 41817 1111 63 0 44787 0
vsize: 179400
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 43310 0 0 0 101906 108 0 0 25 0 1 0 761348756 183705600 41817 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44850 41817 1111 63 0 44787 0
vsize: 179400
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 43310 0 0 0 102906 108 0 0 25 0 1 0 761348756 183705600 41817 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44850 41817 1111 63 0 44787 0
vsize: 179400
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 43310 0 0 0 103907 108 0 0 25 0 1 0 761348756 183705600 41817 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44850 41817 1111 63 0 44787 0
vsize: 179400
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 43310 0 0 0 104907 108 0 0 25 0 1 0 761348756 183705600 41817 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44850 41817 1111 63 0 44787 0
vsize: 179400
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 43310 0 0 0 105907 108 0 0 25 0 1 0 761348756 183705600 41817 4294967295 134512640 134714540 3221221792 3221220588 134543553 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44850 41817 1111 63 0 44787 0
vsize: 179400
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 43310 0 0 0 106907 108 0 0 25 0 1 0 761348756 183705600 41817 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44850 41817 1111 63 0 44787 0
vsize: 179400
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 43311 0 0 0 107907 108 0 0 25 0 1 0 761348756 183705600 41818 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44850 41818 1111 63 0 44787 0
vsize: 179400
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 43311 0 0 0 108907 108 0 0 25 0 1 0 761348756 183705600 41818 4294967295 134512640 134714540 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44850 41818 1111 63 0 44787 0
vsize: 179400
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 43311 0 0 0 109907 108 0 0 25 0 1 0 761348756 183705600 41818 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44850 41818 1111 63 0 44787 0
vsize: 179400
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 43311 0 0 0 110908 108 0 0 25 0 1 0 761348756 183705600 41818 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44850 41818 1111 63 0 44787 0
vsize: 179400
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 43311 0 0 0 111908 108 0 0 25 0 1 0 761348756 183705600 41818 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44850 41818 1111 63 0 44787 0
vsize: 179400
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 43311 0 0 0 112908 108 0 0 25 0 1 0 761348756 183705600 41818 4294967295 134512640 134714540 3221221792 3221220580 134622497 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44850 41818 1111 63 0 44787 0
vsize: 179400
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 45408 0 0 0 113903 113 0 0 25 0 1 0 761348756 191102976 43453 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46656 43453 1111 63 0 46593 0
vsize: 186624
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 46382 0 0 0 114901 116 0 0 25 0 1 0 761348756 195252224 44400 4294967295 134512640 134714540 3221221792 3221220432 134543700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47669 44400 1111 63 0 47606 0
vsize: 190676
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 46383 0 0 0 115901 116 0 0 25 0 1 0 761348756 195252224 44401 4294967295 134512640 134714540 3221221792 3221220532 134622704 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47669 44401 1111 63 0 47606 0
vsize: 190676
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 47991 0 0 0 116898 118 0 0 25 0 1 0 761348756 201039872 45745 4294967295 134512640 134714540 3221221792 3221220504 134543136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49082 45745 1111 63 0 49019 0
vsize: 196328
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 47991 0 0 0 117899 118 0 0 25 0 1 0 761348756 201039872 45745 4294967295 134512640 134714540 3221221792 3221220608 134622464 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49082 45745 1111 63 0 49019 0
vsize: 196328
[startup+1186.33 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 13307
Raw data (stat): 13307 (bsolo_mis) R 13306 7876 7672 0 -1 0 47991 0 0 0 117899 118 0 0 25 0 1 0 761348756 201039872 45745 4294967295 134512640 134714540 3221221792 3221220608 134622464 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49082 45745 1111 63 0 49019 0
vsize: 0

Child status: 10
Real time (s): 1186.33
CPU time (s): 1186.48
CPU user time (s): 1185.21
CPU system time (s): 1.27581
CPU usage (%): 100.013
Max. virtual memory (Kb): 196328
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1853
#### END VERIFIER DATA ####