PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-air04.opb
MD5SUM	eb0734273e24196dd14c6f237b52fa81
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	8904
Biggest coefficient in the objective function	2258
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	5135151
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	2258
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	5135151
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.119981
Number of variables	8904
Total number of constraints	9727
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	9727
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	368
Trace number 25925

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-23 11:57:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16643 boxname=wulflinc31 idbench=1281 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  eb0734273e24196dd14c6f237b52fa81  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-air04.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-air04.opb
IDLAUNCH: 16643
/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:        898292 kB
Buffers:         32152 kB
Cached:          81184 kB
SwapCached:        972 kB
Active:          87108 kB
Inactive:        28308 kB
HighTotal:      131008 kB
HighFree:        61180 kB
LowTotal:       903652 kB
LowFree:        837112 kB
SwapTotal:     2097892 kB
SwapFree:      2095888 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5100 kB
Slab:            15280 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-23 12:17:21 (client local time) WITH STATUS 0 IN 1175.15 SECONDS
stats: 16643 7 1175.15 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 8904 variables and 1646 constraints.
c After prepocess the problem consists of 7524 variables and 1232 constraints.
c preprocess terminated 275.982 s
c Initial Lower Bound: 19825
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.02 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.77 0.92 0.89 2/55 6604
Raw data (stat): 6604 (runsolver) R 6603 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 821394790 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.001 s]
Raw data (loadavg): 0.81 0.92 0.89 2/55 6604
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 35002 0 0 0 923 73 0 0 25 0 1 0 821394790 156930048 34979 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38313 34979 1111 63 0 38250 0
vsize: 153252
[startup+20.0014 s]
Raw data (loadavg): 0.84 0.93 0.90 2/55 6604
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 54858 0 0 0 1889 107 0 0 25 0 1 0 821394790 238346240 54835 4294967295 134512640 134714540 3221221776 3221220040 1077294317 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58190 54835 1111 63 0 58127 0
vsize: 232760
[startup+30.0013 s]
Raw data (loadavg): 0.86 0.93 0.90 2/55 6604
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 55745 0 0 0 2885 110 0 0 25 0 1 0 821394790 241995776 55722 4294967295 134512640 134714540 3221221776 3221218316 1077090839 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59081 55722 1111 63 0 59018 0
vsize: 236324
[startup+40.0017 s]
Raw data (loadavg): 0.88 0.93 0.90 2/55 6604
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 56604 0 0 0 3881 114 0 0 25 0 1 0 821394790 245510144 56581 4294967295 134512640 134714540 3221221776 3221220068 134566536 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59939 56581 1111 63 0 59876 0
vsize: 239756
[startup+50.0023 s]
Raw data (loadavg): 0.90 0.93 0.90 2/55 6604
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 58022 0 0 0 4877 117 0 0 25 0 1 0 821394790 241373184 57956 4294967295 134512640 134714540 3221221776 3221220160 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58929 57956 1111 63 0 58866 0
vsize: 235716
[startup+60.0021 s]
Raw data (loadavg): 0.91 0.93 0.90 2/55 6604
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 58023 0 0 0 5876 118 0 0 25 0 1 0 821394790 241373184 57957 4294967295 134512640 134714540 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58929 57957 1111 63 0 58866 0
vsize: 235716
[startup+70.0034 s]
Raw data (loadavg): 0.93 0.94 0.90 2/55 6604
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 58027 0 0 0 6876 118 0 0 25 0 1 0 821394790 241508352 57961 4294967295 134512640 134714540 3221221776 3221220140 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58962 57961 1111 63 0 58899 0
vsize: 235848
[startup+80.004 s]
Raw data (loadavg): 0.94 0.94 0.90 2/55 6604
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 58031 0 0 0 7877 118 0 0 25 0 1 0 821394790 241508352 57965 4294967295 134512640 134714540 3221221776 3221220160 134542356 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58962 57965 1111 63 0 58899 0
vsize: 235848
[startup+90.0039 s]
Raw data (loadavg): 0.95 0.94 0.90 2/55 6604
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 58036 0 0 0 8877 118 0 0 25 0 1 0 821394790 241508352 57970 4294967295 134512640 134714540 3221221776 3221220332 134542828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58962 57970 1111 63 0 58899 0
vsize: 235848
[startup+100.004 s]
Raw data (loadavg): 0.95 0.94 0.90 2/55 6604
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 58041 0 0 0 9877 118 0 0 25 0 1 0 821394790 241508352 57975 4294967295 134512640 134714540 3221221776 3221220168 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58962 57975 1111 63 0 58899 0
vsize: 235848
[startup+110.005 s]
Raw data (loadavg): 0.96 0.94 0.90 2/55 6604
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 58049 0 0 0 10877 118 0 0 25 0 1 0 821394790 241508352 57983 4294967295 134512640 134714540 3221221776 3221220192 134542677 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58962 57983 1111 63 0 58899 0
vsize: 235848
[startup+120.005 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 6604
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 58057 0 0 0 11877 118 0 0 25 0 1 0 821394790 241508352 57991 4294967295 134512640 134714540 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58962 57991 1111 63 0 58899 0
vsize: 235848
[startup+130.005 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 6604
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 58064 0 0 0 12877 118 0 0 25 0 1 0 821394790 241643520 57998 4294967295 134512640 134714540 3221221776 3221220184 134543606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58995 57998 1111 63 0 58932 0
vsize: 235980
[startup+140.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/57 6641
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 58068 0 0 0 13877 118 0 0 25 0 1 0 821394790 241643520 58002 4294967295 134512640 134714540 3221221776 3221220404 134529422 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58995 58002 1111 63 0 58932 0
vsize: 235980
[startup+150.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 6657
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 58075 0 0 0 14878 118 0 0 25 0 1 0 821394790 241643520 58009 4294967295 134512640 134714540 3221221776 3221220284 134536746 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58995 58009 1111 63 0 58932 0
vsize: 235980
[startup+160.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 6657
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 58078 0 0 0 15878 118 0 0 25 0 1 0 821394790 241643520 58012 4294967295 134512640 134714540 3221221776 3221220156 134539329 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58995 58012 1111 63 0 58932 0
vsize: 235980
[startup+170.011 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 6657
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 58086 0 0 0 16878 118 0 0 25 0 1 0 821394790 241643520 58020 4294967295 134512640 134714540 3221221776 3221220400 134528996 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58995 58020 1111 63 0 58932 0
vsize: 235980
[startup+180.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 6657
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 58092 0 0 0 17878 118 0 0 25 0 1 0 821394790 241778688 58026 4294967295 134512640 134714540 3221221776 3221220392 134536900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59028 58026 1111 63 0 58965 0
vsize: 236112
[startup+190.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 6657
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 58095 0 0 0 18878 118 0 0 25 0 1 0 821394790 241778688 58029 4294967295 134512640 134714540 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59028 58029 1111 63 0 58965 0
vsize: 236112
[startup+200.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 6657
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 58100 0 0 0 19878 118 0 0 25 0 1 0 821394790 241778688 58034 4294967295 134512640 134714540 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59028 58034 1111 63 0 58965 0
vsize: 236112
[startup+210.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 6657
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 58103 0 0 0 20879 118 0 0 25 0 1 0 821394790 241778688 58037 4294967295 134512640 134714540 3221221776 3221220516 134630827 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59028 58037 1111 63 0 58965 0
vsize: 236112
[startup+220.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 6659
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 58111 0 0 0 21879 118 0 0 25 0 1 0 821394790 241778688 58045 4294967295 134512640 134714540 3221221776 3221220288 134543686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59028 58045 1111 63 0 58965 0
vsize: 236112
[startup+230.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 6659
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 58115 0 0 0 22879 118 0 0 25 0 1 0 821394790 241778688 58049 4294967295 134512640 134714540 3221221776 3221220192 134543710 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59028 58049 1111 63 0 58965 0
vsize: 236112
[startup+240.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6659
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 58122 0 0 0 23879 118 0 0 25 0 1 0 821394790 241778688 58056 4294967295 134512640 134714540 3221221776 3221220256 134539382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59028 58056 1111 63 0 58965 0
vsize: 236112
[startup+250.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6659
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 58130 0 0 0 24879 118 0 0 25 0 1 0 821394790 241913856 58064 4294967295 134512640 134714540 3221221776 3221220244 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59061 58064 1111 63 0 58998 0
vsize: 236244
[startup+260.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6659
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 58137 0 0 0 25879 119 0 0 25 0 1 0 821394790 241913856 58071 4294967295 134512640 134714540 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59061 58071 1111 63 0 58998 0
vsize: 236244
[startup+270.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6659
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 58142 0 0 0 26880 119 0 0 25 0 1 0 821394790 241913856 58076 4294967295 134512640 134714540 3221221776 3221220220 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59061 58076 1111 63 0 58998 0
vsize: 236244
[startup+280.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6659
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 58529 0 0 0 27879 119 0 0 25 0 1 0 821394790 243466240 58463 4294967295 134512640 134714540 3221221776 3221220592 134611091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59440 58463 1111 63 0 59377 0
vsize: 237760
[startup+290.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6659
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 58597 0 0 0 28877 120 0 0 25 0 1 0 821394790 243736576 58531 4294967295 134512640 134714540 3221221776 3221220592 134611099 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59506 58531 1111 63 0 59443 0
vsize: 238024
[startup+300.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6659
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 58715 0 0 0 29877 121 0 0 25 0 1 0 821394790 244277248 58649 4294967295 134512640 134714540 3221221776 3221220512 134695294 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59638 58649 1111 63 0 59575 0
vsize: 238552
[startup+310.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6659
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 58804 0 0 0 30877 121 0 0 25 0 1 0 821394790 244682752 58738 4294967295 134512640 134714540 3221221776 3221220340 134543025 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59737 58738 1111 63 0 59674 0
vsize: 238948
[startup+320.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6659
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 58930 0 0 0 31877 122 0 0 25 0 1 0 821394790 245088256 58864 4294967295 134512640 134714540 3221221776 3221220544 134624789 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59836 58864 1111 63 0 59773 0
vsize: 239344
[startup+330.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6659
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 58981 0 0 0 32877 122 0 0 25 0 1 0 821394790 245358592 58915 4294967295 134512640 134714540 3221221776 3221220520 134536877 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59902 58915 1111 63 0 59839 0
vsize: 239608
[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6659
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 58981 0 0 0 33877 122 0 0 25 0 1 0 821394790 245358592 58915 4294967295 134512640 134714540 3221221776 3221220656 134621641 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59902 58915 1111 63 0 59839 0
vsize: 239608
[startup+350.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6659
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 59034 0 0 0 34877 122 0 0 25 0 1 0 821394790 245628928 58968 4294967295 134512640 134714540 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59968 58968 1111 63 0 59905 0
vsize: 239872
[startup+360.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6659
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 59189 0 0 0 35876 123 0 0 25 0 1 0 821394790 246169600 59123 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60100 59123 1111 63 0 60037 0
vsize: 240400
[startup+370.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6659
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 59404 0 0 0 36876 123 0 0 25 0 1 0 821394790 247115776 59338 4294967295 134512640 134714540 3221221776 3221220408 134543665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60331 59338 1111 63 0 60268 0
vsize: 241324
[startup+380.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6659
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 59555 0 0 0 37876 124 0 0 25 0 1 0 821394790 247656448 59489 4294967295 134512640 134714540 3221221776 3221220496 134622865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60463 59489 1111 63 0 60400 0
vsize: 241852
[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6659
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 59557 0 0 0 38876 124 0 0 25 0 1 0 821394790 247656448 59491 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60463 59491 1111 63 0 60400 0
vsize: 241852
[startup+400.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6659
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 59736 0 0 0 39876 124 0 0 25 0 1 0 821394790 248467456 59670 4294967295 134512640 134714540 3221221776 3221220500 134622760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60661 59670 1111 63 0 60598 0
vsize: 242644
[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6659
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 59864 0 0 0 40875 125 0 0 25 0 1 0 821394790 249008128 59798 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60793 59798 1111 63 0 60730 0
vsize: 243172
[startup+420.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6659
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 59997 0 0 0 41875 126 0 0 25 0 1 0 821394790 249548800 59931 4294967295 134512640 134714540 3221221776 3221220488 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60925 59931 1111 63 0 60862 0
vsize: 243700
[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6659
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 60048 0 0 0 42874 126 0 0 25 0 1 0 821394790 249683968 59982 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60958 59982 1111 63 0 60895 0
vsize: 243832
[startup+440.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6659
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 60214 0 0 0 43874 127 0 0 25 0 1 0 821394790 250359808 60148 4294967295 134512640 134714540 3221221776 3221220592 134611091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61123 60148 1111 63 0 61060 0
vsize: 244492
[startup+450.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6659
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 60326 0 0 0 44874 127 0 0 25 0 1 0 821394790 250900480 60260 4294967295 134512640 134714540 3221221776 3221220520 134558582 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61255 60260 1111 63 0 61192 0
vsize: 245020
[startup+460.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6659
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 60405 0 0 0 45874 127 0 0 25 0 1 0 821394790 251170816 60339 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61321 60339 1111 63 0 61258 0
vsize: 245284
[startup+470.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6659
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 60628 0 0 0 46874 127 0 0 25 0 1 0 821394790 252116992 60562 4294967295 134512640 134714540 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61552 60564 1111 63 0 61489 0
vsize: 246208
[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 60737 0 0 0 47874 128 0 0 25 0 1 0 821394790 252522496 60671 4294967295 134512640 134714540 3221221776 3221220672 134621520 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61651 60671 1111 63 0 61588 0
vsize: 246604
[startup+490.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 60737 0 0 0 48874 128 0 0 25 0 1 0 821394790 252522496 60671 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61651 60671 1111 63 0 61588 0
vsize: 246604
[startup+500.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 60737 0 0 0 49874 128 0 0 25 0 1 0 821394790 252522496 60671 4294967295 134512640 134714540 3221221776 3221220520 134558582 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61651 60671 1111 63 0 61588 0
vsize: 246604
[startup+510.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 60737 0 0 0 50873 129 0 0 25 0 1 0 821394790 252522496 60671 4294967295 134512640 134714540 3221221776 3221220592 134622124 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61651 60671 1111 63 0 61588 0
vsize: 246604
[startup+520.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 60737 0 0 0 51874 129 0 0 25 0 1 0 821394790 252522496 60671 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61651 60671 1111 63 0 61588 0
vsize: 246604
[startup+530.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 60737 0 0 0 52874 129 0 0 25 0 1 0 821394790 252522496 60671 4294967295 134512640 134714540 3221221776 3221220568 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61651 60671 1111 63 0 61588 0
vsize: 246604
[startup+540.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 60737 0 0 0 53874 129 0 0 25 0 1 0 821394790 252522496 60671 4294967295 134512640 134714540 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61651 60671 1111 63 0 61588 0
vsize: 246604
[startup+550.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 60737 0 0 0 54874 129 0 0 25 0 1 0 821394790 252522496 60671 4294967295 134512640 134714540 3221221776 3221220520 134558587 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61651 60671 1111 63 0 61588 0
vsize: 246604
[startup+560.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 60737 0 0 0 55874 129 0 0 25 0 1 0 821394790 252522496 60671 4294967295 134512640 134714540 3221221776 3221220368 134696126 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61651 60671 1111 63 0 61588 0
vsize: 246604
[startup+570.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 60737 0 0 0 56874 129 0 0 25 0 1 0 821394790 252522496 60671 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61651 60671 1111 63 0 61588 0
vsize: 246604
[startup+580.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 60737 0 0 0 57874 130 0 0 25 0 1 0 821394790 252522496 60671 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61651 60671 1111 63 0 61588 0
vsize: 246604
[startup+590.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 60737 0 0 0 58874 130 0 0 25 0 1 0 821394790 252522496 60671 4294967295 134512640 134714540 3221221776 3221220548 134624473 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61651 60671 1111 63 0 61588 0
vsize: 246604
[startup+600.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 60737 0 0 0 59874 130 0 0 25 0 1 0 821394790 252522496 60671 4294967295 134512640 134714540 3221221776 3221220568 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61651 60671 1111 63 0 61588 0
vsize: 246604
[startup+610.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 60737 0 0 0 60874 130 0 0 25 0 1 0 821394790 252522496 60671 4294967295 134512640 134714540 3221221776 3221220500 134622760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61651 60671 1111 63 0 61588 0
vsize: 246604
[startup+620.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 60737 0 0 0 61873 131 0 0 25 0 1 0 821394790 252522496 60671 4294967295 134512640 134714540 3221221776 3221220368 134696240 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61651 60671 1111 63 0 61588 0
vsize: 246604
[startup+630.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 60737 0 0 0 62873 131 0 0 25 0 1 0 821394790 252522496 60671 4294967295 134512640 134714540 3221221776 3221220524 134556731 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61651 60671 1111 63 0 61588 0
vsize: 246604
[startup+640.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 60781 0 0 0 63873 132 0 0 25 0 1 0 821394790 252784640 60715 4294967295 134512640 134714540 3221221776 3221220496 134622817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61715 60715 1111 63 0 61652 0
vsize: 246860
[startup+650.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 60822 0 0 0 64873 132 0 0 25 0 1 0 821394790 252919808 60756 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61748 60756 1111 63 0 61685 0
vsize: 246992
[startup+660.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 60911 0 0 0 65873 132 0 0 25 0 1 0 821394790 253325312 60845 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61847 60845 1111 63 0 61784 0
vsize: 247388
[startup+670.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 60958 0 0 0 66873 132 0 0 25 0 1 0 821394790 253460480 60892 4294967295 134512640 134714540 3221221776 3221220528 134584901 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61880 60892 1111 63 0 61817 0
vsize: 247520
[startup+680.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 61154 0 0 0 67873 133 0 0 25 0 1 0 821394790 254271488 61088 4294967295 134512640 134714540 3221221776 3221220512 134695292 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62078 61088 1111 63 0 62015 0
vsize: 248312
[startup+690.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 61154 0 0 0 68873 133 0 0 25 0 1 0 821394790 254271488 61088 4294967295 134512640 134714540 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62078 61088 1111 63 0 62015 0
vsize: 248312
[startup+700.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 61154 0 0 0 69873 133 0 0 25 0 1 0 821394790 254271488 61088 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62078 61088 1111 63 0 62015 0
vsize: 248312
[startup+710.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 61176 0 0 0 70873 133 0 0 25 0 1 0 821394790 254406656 61110 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62111 61110 1111 63 0 62048 0
vsize: 248444
[startup+720.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 61181 0 0 0 71873 133 0 0 25 0 1 0 821394790 254406656 61115 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62111 61115 1111 63 0 62048 0
vsize: 248444
[startup+730.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 61323 0 0 0 72873 134 0 0 25 0 1 0 821394790 254947328 61257 4294967295 134512640 134714540 3221221776 3221220496 134535760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62243 61257 1111 63 0 62180 0
vsize: 248972
[startup+740.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 61326 0 0 0 73873 134 0 0 25 0 1 0 821394790 254947328 61260 4294967295 134512640 134714540 3221221776 3221220500 134622760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62243 61260 1111 63 0 62180 0
vsize: 248972
[startup+750.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 61366 0 0 0 74873 134 0 0 25 0 1 0 821394790 255082496 61300 4294967295 134512640 134714540 3221221776 3221220412 134543664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62276 61300 1111 63 0 62213 0
vsize: 249104
[startup+760.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 61392 0 0 0 75873 134 0 0 25 0 1 0 821394790 255217664 61326 4294967295 134512640 134714540 3221221776 3221220472 134558629 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62309 61326 1111 63 0 62246 0
vsize: 249236
[startup+770.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 61432 0 0 0 76873 134 0 0 25 0 1 0 821394790 255352832 61366 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62342 61366 1111 63 0 62279 0
vsize: 249368
[startup+780.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 61474 0 0 0 77873 135 0 0 25 0 1 0 821394790 255623168 61408 4294967295 134512640 134714540 3221221776 3221220512 134695306 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62408 61408 1111 63 0 62345 0
vsize: 249632
[startup+790.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 61536 0 0 0 78872 135 0 0 25 0 1 0 821394790 255893504 61470 4294967295 134512640 134714540 3221221776 3221220672 134621530 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62474 61470 1111 63 0 62411 0
vsize: 249896
[startup+800.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 61612 0 0 0 79872 136 0 0 25 0 1 0 821394790 256163840 61546 4294967295 134512640 134714540 3221221776 3221220492 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62540 61546 1111 63 0 62477 0
vsize: 250160
[startup+810.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 61657 0 0 0 80872 136 0 0 25 0 1 0 821394790 256299008 61591 4294967295 134512640 134714540 3221221776 3221220528 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62573 61591 1111 63 0 62510 0
vsize: 250292
[startup+820.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 61716 0 0 0 81872 136 0 0 25 0 1 0 821394790 256569344 61650 4294967295 134512640 134714540 3221221776 3221220416 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62639 61650 1111 63 0 62576 0
vsize: 250556
[startup+830.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 61797 0 0 0 82872 136 0 0 25 0 1 0 821394790 256839680 61731 4294967295 134512640 134714540 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62705 61731 1111 63 0 62642 0
vsize: 250820
[startup+840.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 61835 0 0 0 83872 137 0 0 25 0 1 0 821394790 257110016 61769 4294967295 134512640 134714540 3221221776 3221220496 134622766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62771 61769 1111 63 0 62708 0
vsize: 251084
[startup+850.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 61937 0 0 0 84872 137 0 0 25 0 1 0 821394790 257515520 61871 4294967295 134512640 134714540 3221221776 3221220488 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62870 61871 1111 63 0 62807 0
vsize: 251480
[startup+860.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 62024 0 0 0 85872 137 0 0 25 0 1 0 821394790 257785856 61958 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62936 61958 1111 63 0 62873 0
vsize: 251744
[startup+870.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 62024 0 0 0 86872 137 0 0 25 0 1 0 821394790 257785856 61958 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62936 61958 1111 63 0 62873 0
vsize: 251744
[startup+880.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 62059 0 0 0 87871 138 0 0 25 0 1 0 821394790 257921024 61993 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62969 61993 1111 63 0 62906 0
vsize: 251876
[startup+890.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 62098 0 0 0 88871 138 0 0 25 0 1 0 821394790 258191360 62032 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63035 62032 1111 63 0 62972 0
vsize: 252140
[startup+900.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 62154 0 0 0 89871 138 0 0 25 0 1 0 821394790 258326528 62088 4294967295 134512640 134714540 3221221776 3221220568 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63068 62088 1111 63 0 63005 0
vsize: 252272
[startup+910.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 62190 0 0 0 90871 138 0 0 25 0 1 0 821394790 258461696 62124 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63101 62124 1111 63 0 63038 0
vsize: 252404
[startup+920.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 62224 0 0 0 91871 139 0 0 25 0 1 0 821394790 258596864 62158 4294967295 134512640 134714540 3221221776 3221220488 134558477 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63134 62158 1111 63 0 63071 0
vsize: 252536
[startup+930.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 62387 0 0 0 92871 139 0 0 25 0 1 0 821394790 259272704 62321 4294967295 134512640 134714540 3221221776 3221220500 134622760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63299 62321 1111 63 0 63236 0
vsize: 253196
[startup+940.043 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 62387 0 0 0 93871 139 0 0 25 0 1 0 821394790 259272704 62321 4294967295 134512640 134714540 3221221776 3221220528 134624801 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63299 62321 1111 63 0 63236 0
vsize: 253196
[startup+950.044 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 62462 0 0 0 94871 139 0 0 25 0 1 0 821394790 259678208 62396 4294967295 134512640 134714540 3221221776 3221220548 134624473 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63398 62396 1111 63 0 63335 0
vsize: 253592
[startup+960.043 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 62605 0 0 0 95871 140 0 0 25 0 1 0 821394790 260210688 62539 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63528 62539 1111 63 0 63465 0
vsize: 254112
[startup+970.045 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 62605 0 0 0 96871 140 0 0 25 0 1 0 821394790 260210688 62539 4294967295 134512640 134714540 3221221776 3221220500 134622859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63528 62539 1111 63 0 63465 0
vsize: 254112
[startup+980.045 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 62650 0 0 0 97871 140 0 0 25 0 1 0 821394790 260345856 62584 4294967295 134512640 134714540 3221221776 3221220580 134622176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63561 62584 1111 63 0 63498 0
vsize: 254244
[startup+990.044 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 62696 0 0 0 98871 140 0 0 25 0 1 0 821394790 260616192 62630 4294967295 134512640 134714540 3221221776 3221220576 134622268 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63627 62630 1111 63 0 63564 0
vsize: 254508
[startup+1000.05 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 62764 0 0 0 99871 140 0 0 25 0 1 0 821394790 260886528 62698 4294967295 134512640 134714540 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63693 62698 1111 63 0 63630 0
vsize: 254772
[startup+1010.05 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 62799 0 0 0 100871 140 0 0 25 0 1 0 821394790 261021696 62733 4294967295 134512640 134714540 3221221776 3221220368 134539518 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63726 62733 1111 63 0 63663 0
vsize: 254904
[startup+1020.05 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 62846 0 0 0 101872 141 0 0 25 0 1 0 821394790 261156864 62780 4294967295 134512640 134714540 3221221776 3221220560 134558521 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63759 62780 1111 63 0 63696 0
vsize: 255036
[startup+1030.05 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 62853 0 0 0 102872 141 0 0 25 0 1 0 821394790 261156864 62787 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63759 62787 1111 63 0 63696 0
vsize: 255036
[startup+1040.05 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 62884 0 0 0 103871 141 0 0 25 0 1 0 821394790 261292032 62818 4294967295 134512640 134714540 3221221776 3221220580 134622267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63792 62818 1111 63 0 63729 0
vsize: 255168
[startup+1050.05 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 62923 0 0 0 104871 141 0 0 25 0 1 0 821394790 261562368 62857 4294967295 134512640 134714540 3221221776 3221220480 134556510 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63858 62857 1111 63 0 63795 0
vsize: 255432
[startup+1060.05 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 62979 0 0 0 105871 141 0 0 25 0 1 0 821394790 261697536 62913 4294967295 134512640 134714540 3221221776 3221220548 134624473 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63891 62913 1111 63 0 63828 0
vsize: 255564
[startup+1070.05 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 63018 0 0 0 106871 142 0 0 25 0 1 0 821394790 261832704 62952 4294967295 134512640 134714540 3221221776 3221220520 134623143 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63924 62952 1111 63 0 63861 0
vsize: 255696
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 63070 0 0 0 107871 142 0 0 25 0 1 0 821394790 262103040 63004 4294967295 134512640 134714540 3221221776 3221220592 134610813 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63990 63004 1111 63 0 63927 0
vsize: 255960
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 63125 0 0 0 108871 142 0 0 25 0 1 0 821394790 262369280 63059 4294967295 134512640 134714540 3221221776 3221220284 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64055 63059 1111 63 0 63992 0
vsize: 256220
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 63187 0 0 0 109871 142 0 0 25 0 1 0 821394790 262639616 63121 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64121 63121 1111 63 0 64058 0
vsize: 256484
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 63250 0 0 0 110871 143 0 0 25 0 1 0 821394790 262909952 63184 4294967295 134512640 134714540 3221221776 3221220496 134556671 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64187 63184 1111 63 0 64124 0
vsize: 256748
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 63289 0 0 0 111871 143 0 0 25 0 1 0 821394790 263045120 63223 4294967295 134512640 134714540 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64220 63223 1111 63 0 64157 0
vsize: 256880
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 63309 0 0 0 112871 143 0 0 25 0 1 0 821394790 263045120 63243 4294967295 134512640 134714540 3221221776 3221220324 134696755 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64220 63243 1111 63 0 64157 0
vsize: 256880
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 63372 0 0 0 113871 143 0 0 25 0 1 0 821394790 263315456 63306 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64286 63306 1111 63 0 64223 0
vsize: 257144
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 63422 0 0 0 114871 143 0 0 25 0 1 0 821394790 263585792 63356 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64352 63356 1111 63 0 64289 0
vsize: 257408
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 63518 0 0 0 115871 143 0 0 25 0 1 0 821394790 263991296 63452 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64451 63452 1111 63 0 64388 0
vsize: 257804
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 63518 0 0 0 116871 143 0 0 25 0 1 0 821394790 263991296 63452 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64451 63452 1111 63 0 64388 0
vsize: 257804
[startup+1175.05 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 6661
Raw data (stat): 6604 (bsolo_mis) R 6603 7876 7672 0 -1 0 63518 0 0 0 116871 143 0 0 25 0 1 0 821394790 263991296 63452 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64451 63452 1111 63 0 64388 0
vsize: 0

Child status: 0
Real time (s): 1175.05
CPU time (s): 1175.15
CPU user time (s): 1173.59
CPU system time (s): 1.55776
CPU usage (%): 100.008
Max. virtual memory (Kb): 257804
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####