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/miplib3/normalized-mps-v2-13-7-air04.opb
MD5SUM	26490113618ae9605b5ebe6370b5910b
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.120981
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 25707

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-21 21:02:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18164 boxname=wulflinc31 idbench=1398 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  26490113618ae9605b5ebe6370b5910b  /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: 18164
/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:        910116 kB
Buffers:         16872 kB
Cached:          84504 kB
SwapCached:        964 kB
Active:          57964 kB
Inactive:        45540 kB
HighTotal:      131008 kB
HighFree:        75544 kB
LowTotal:       903652 kB
LowFree:        834572 kB
SwapTotal:     2097892 kB
SwapFree:      2095964 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            15188 kB
Committed_AS:    63820 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-21 21:22:08 (client local time) WITH STATUS 0 IN 1175.43 SECONDS
stats: 18164 7 1175.43 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.336 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.29 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.88 0.97 0.97 2/55 16214
Raw data (stat): 16214 (runsolver) R 16213 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 807381842 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.0003 s]
Raw data (loadavg): 0.90 0.97 0.97 2/55 16214
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 36650 0 0 0 914 82 0 0 25 0 1 0 807381842 163655680 36627 4294967295 134512640 134714540 3221221776 3221220128 134567417 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39955 36627 1111 63 0 39892 0
vsize: 159820
[startup+20.0012 s]
Raw data (loadavg): 0.91 0.97 0.97 2/55 16214
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 54901 0 0 0 1881 115 0 0 25 0 1 0 807381842 238481408 54878 4294967295 134512640 134714540 3221221776 3221220080 134566799 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58223 54878 1111 63 0 58160 0
vsize: 232892
[startup+30.0026 s]
Raw data (loadavg): 0.93 0.97 0.97 2/55 16214
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 55784 0 0 0 2877 118 0 0 25 0 1 0 807381842 242130944 55761 4294967295 134512640 134714540 3221221776 3221218396 1077259069 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59114 55761 1111 63 0 59051 0
vsize: 236456
[startup+40.0031 s]
Raw data (loadavg): 0.94 0.97 0.97 2/55 16214
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 56643 0 0 0 3874 121 0 0 25 0 1 0 807381842 245645312 56620 4294967295 134512640 134714540 3221221776 3221220064 134566780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59972 56620 1111 63 0 59909 0
vsize: 239888
[startup+50.003 s]
Raw data (loadavg): 0.95 0.97 0.97 2/55 16214
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 58022 0 0 0 4870 124 0 0 25 0 1 0 807381842 241373184 57956 4294967295 134512640 134714540 3221221776 3221220392 134543804 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58929 57956 1111 63 0 58866 0
vsize: 235716
[startup+60.0034 s]
Raw data (loadavg): 0.95 0.97 0.97 2/55 16214
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 58024 0 0 0 5871 124 0 0 25 0 1 0 807381842 241373184 57958 4294967295 134512640 134714540 3221221776 3221220392 134536900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58929 57958 1111 63 0 58866 0
vsize: 235716
[startup+70.0039 s]
Raw data (loadavg): 0.96 0.97 0.97 2/55 16214
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 58027 0 0 0 6871 124 0 0 25 0 1 0 807381842 241508352 57961 4294967295 134512640 134714540 3221221776 3221220416 134594947 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.0048 s]
Raw data (loadavg): 0.97 0.97 0.97 2/55 16214
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 58031 0 0 0 7871 124 0 0 25 0 1 0 807381842 241508352 57965 4294967295 134512640 134714540 3221221776 3221220264 134539581 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.0051 s]
Raw data (loadavg): 0.97 0.97 0.97 2/55 16214
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 58036 0 0 0 8871 124 0 0 25 0 1 0 807381842 241508352 57970 4294967295 134512640 134714540 3221221776 3221220256 134539448 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.005 s]
Raw data (loadavg): 0.97 0.97 0.97 2/55 16214
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 58041 0 0 0 9871 124 0 0 25 0 1 0 807381842 241508352 57975 4294967295 134512640 134714540 3221221776 3221220280 134543589 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.006 s]
Raw data (loadavg): 0.98 0.97 0.97 2/55 16214
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 58049 0 0 0 10872 124 0 0 25 0 1 0 807381842 241508352 57983 4294967295 134512640 134714540 3221221776 3221220528 134630792 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.006 s]
Raw data (loadavg): 0.98 0.97 0.97 2/55 16214
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 58057 0 0 0 11872 124 0 0 25 0 1 0 807381842 241508352 57991 4294967295 134512640 134714540 3221221776 3221220416 134594947 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.006 s]
Raw data (loadavg): 0.98 0.97 0.97 2/55 16214
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 58065 0 0 0 12872 124 0 0 25 0 1 0 807381842 241643520 57999 4294967295 134512640 134714540 3221221776 3221220240 134542340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58995 57999 1111 63 0 58932 0
vsize: 235980
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16214
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 58068 0 0 0 13872 125 0 0 25 0 1 0 807381842 241643520 58002 4294967295 134512640 134714540 3221221776 3221220160 134542350 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.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16214
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 58075 0 0 0 14872 125 0 0 25 0 1 0 807381842 241643520 58009 4294967295 134512640 134714540 3221221776 3221220192 134543686 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.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16214
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 58078 0 0 0 15872 125 0 0 25 0 1 0 807381842 241643520 58012 4294967295 134512640 134714540 3221221776 3221220192 134543744 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.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16214
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 58086 0 0 0 16872 125 0 0 25 0 1 0 807381842 241643520 58020 4294967295 134512640 134714540 3221221776 3221220392 134543793 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.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16214
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 58092 0 0 0 17873 125 0 0 25 0 1 0 807381842 241778688 58026 4294967295 134512640 134714540 3221221776 3221220140 134539279 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.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16214
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 58095 0 0 0 18873 125 0 0 25 0 1 0 807381842 241778688 58029 4294967295 134512640 134714540 3221221776 3221220392 134531231 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.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16214
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 58100 0 0 0 19873 125 0 0 25 0 1 0 807381842 241778688 58034 4294967295 134512640 134714540 3221221776 3221220240 134542350 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.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 58104 0 0 0 20873 125 0 0 25 0 1 0 807381842 241778688 58038 4294967295 134512640 134714540 3221221776 3221220256 134539427 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59028 58038 1111 63 0 58965 0
vsize: 236112
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 58111 0 0 0 21873 125 0 0 25 0 1 0 807381842 241778688 58045 4294967295 134512640 134714540 3221221776 3221220156 134539235 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.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 58116 0 0 0 22874 125 0 0 25 0 1 0 807381842 241778688 58050 4294967295 134512640 134714540 3221221776 3221220188 134543615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59028 58050 1111 63 0 58965 0
vsize: 236112
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 58122 0 0 0 23874 125 0 0 25 0 1 0 807381842 241778688 58056 4294967295 134512640 134714540 3221221776 3221220392 134536901 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.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 58130 0 0 0 24874 125 0 0 25 0 1 0 807381842 241913856 58064 4294967295 134512640 134714540 3221221776 3221220184 134543638 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.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 58137 0 0 0 25874 125 0 0 25 0 1 0 807381842 241913856 58071 4294967295 134512640 134714540 3221221776 3221220400 134528780 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.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 58143 0 0 0 26874 125 0 0 25 0 1 0 807381842 241913856 58077 4294967295 134512640 134714540 3221221776 3221220156 134539276 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59061 58077 1111 63 0 58998 0
vsize: 236244
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 58529 0 0 0 27873 126 0 0 25 0 1 0 807381842 243466240 58463 4294967295 134512640 134714540 3221221776 3221220568 134543552 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.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 58609 0 0 0 28872 126 0 0 25 0 1 0 807381842 243871744 58543 4294967295 134512640 134714540 3221221776 3221220500 134622760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59539 58543 1111 63 0 59476 0
vsize: 238156
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 58722 0 0 0 29871 127 0 0 25 0 1 0 807381842 244277248 58656 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59638 58656 1111 63 0 59575 0
vsize: 238552
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 58817 0 0 0 30871 128 0 0 25 0 1 0 807381842 244682752 58751 4294967295 134512640 134714540 3221221776 3221220672 134621561 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59737 58751 1111 63 0 59674 0
vsize: 238948
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 58930 0 0 0 31870 128 0 0 25 0 1 0 807381842 245088256 58864 4294967295 134512640 134714540 3221221776 3221220512 134622743 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.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 58981 0 0 0 32870 128 0 0 25 0 1 0 807381842 245358592 58915 4294967295 134512640 134714540 3221221776 3221220592 134610489 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.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 58981 0 0 0 33870 129 0 0 25 0 1 0 807381842 245358592 58915 4294967295 134512640 134714540 3221221776 3221220520 134536866 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.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 59034 0 0 0 34870 129 0 0 25 0 1 0 807381842 245628928 58968 4294967295 134512640 134714540 3221221776 3221220488 134543171 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.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 59216 0 0 0 35870 129 0 0 25 0 1 0 807381842 246304768 59150 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60133 59150 1111 63 0 60070 0
vsize: 240532
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 59404 0 0 0 36870 130 0 0 25 0 1 0 807381842 247115776 59338 4294967295 134512640 134714540 3221221776 3221220336 134542352 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.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 59555 0 0 0 37869 131 0 0 25 0 1 0 807381842 247656448 59489 4294967295 134512640 134714540 3221221776 3221220488 134543176 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.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 59557 0 0 0 38869 131 0 0 25 0 1 0 807381842 247656448 59491 4294967295 134512640 134714540 3221221776 3221220488 134558485 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.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 59761 0 0 0 39869 131 0 0 25 0 1 0 807381842 248602624 59695 4294967295 134512640 134714540 3221221776 3221220424 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60694 59695 1111 63 0 60631 0
vsize: 242776
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 59864 0 0 0 40869 131 0 0 25 0 1 0 807381842 249008128 59798 4294967295 134512640 134714540 3221221776 3221220488 134543191 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.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 59997 0 0 0 41869 132 0 0 25 0 1 0 807381842 249548800 59931 4294967295 134512640 134714540 3221221776 3221220404 134543092 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.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 60068 0 0 0 42869 132 0 0 25 0 1 0 807381842 249819136 60002 4294967295 134512640 134714540 3221221776 3221220464 134528420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60991 60002 1111 63 0 60928 0
vsize: 243964
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 60214 0 0 0 43868 132 0 0 25 0 1 0 807381842 250359808 60148 4294967295 134512640 134714540 3221221776 3221220500 134622760 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.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 60326 0 0 0 44868 133 0 0 25 0 1 0 807381842 250900480 60260 4294967295 134512640 134714540 3221221776 3221220672 134621515 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.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 60405 0 0 0 45868 133 0 0 25 0 1 0 807381842 251170816 60339 4294967295 134512640 134714540 3221221776 3221220336 134543030 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.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 60669 0 0 0 46868 133 0 0 25 0 1 0 807381842 252252160 60603 4294967295 134512640 134714540 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61585 60603 1111 63 0 61522 0
vsize: 246340
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 60737 0 0 0 47868 134 0 0 25 0 1 0 807381842 252522496 60671 4294967295 134512640 134714540 3221221776 3221220568 134558492 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.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 60737 0 0 0 48868 134 0 0 25 0 1 0 807381842 252522496 60671 4294967295 134512640 134714540 3221221776 3221220672 134621515 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.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 60737 0 0 0 49868 134 0 0 25 0 1 0 807381842 252522496 60671 4294967295 134512640 134714540 3221221776 3221220512 134622747 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.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 60737 0 0 0 50867 134 0 0 25 0 1 0 807381842 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+520.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 60737 0 0 0 51868 134 0 0 25 0 1 0 807381842 252522496 60671 4294967295 134512640 134714540 3221221776 3221220512 134622747 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.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 60737 0 0 0 52868 134 0 0 25 0 1 0 807381842 252522496 60671 4294967295 134512640 134714540 3221221776 3221220560 134624467 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.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 60737 0 0 0 53868 135 0 0 25 0 1 0 807381842 252522496 60671 4294967295 134512640 134714540 3221221776 3221220520 134536879 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.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 60737 0 0 0 54868 135 0 0 25 0 1 0 807381842 252522496 60671 4294967295 134512640 134714540 3221221776 3221220592 134610900 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.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 60737 0 0 0 55868 135 0 0 25 0 1 0 807381842 252522496 60671 4294967295 134512640 134714540 3221221776 3221220520 134536879 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.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 60737 0 0 0 56868 135 0 0 25 0 1 0 807381842 252522496 60671 4294967295 134512640 134714540 3221221776 3221220512 134528996 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.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 60737 0 0 0 57868 135 0 0 25 0 1 0 807381842 252522496 60671 4294967295 134512640 134714540 3221221776 3221220592 134622115 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.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 60737 0 0 0 58868 135 0 0 25 0 1 0 807381842 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+600.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 60737 0 0 0 59868 135 0 0 25 0 1 0 807381842 252522496 60671 4294967295 134512640 134714540 3221221776 3221220592 134588054 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.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 60737 0 0 0 60868 135 0 0 25 0 1 0 807381842 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+620.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 60737 0 0 0 61868 136 0 0 25 0 1 0 807381842 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+630.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 60737 0 0 0 62868 136 0 0 25 0 1 0 807381842 252522496 60671 4294967295 134512640 134714540 3221221776 3221220572 134543192 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.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 60781 0 0 0 63868 136 0 0 25 0 1 0 807381842 252784640 60715 4294967295 134512640 134714540 3221221776 3221220284 134535976 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.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 60825 0 0 0 64868 136 0 0 25 0 1 0 807381842 252919808 60759 4294967295 134512640 134714540 3221221776 3221220488 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61748 60759 1111 63 0 61685 0
vsize: 246992
[startup+660.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 60911 0 0 0 65868 136 0 0 25 0 1 0 807381842 253325312 60845 4294967295 134512640 134714540 3221221776 3221220488 134543168 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.016 s]
Raw data (loadavg): 1.07 0.99 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 60958 0 0 0 66868 136 0 0 25 0 1 0 807381842 253460480 60892 4294967295 134512640 134714540 3221221776 3221220420 134536649 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.016 s]
Raw data (loadavg): 1.06 0.99 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 61154 0 0 0 67868 137 0 0 25 0 1 0 807381842 254271488 61088 4294967295 134512640 134714540 3221221776 3221220580 134622413 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.016 s]
Raw data (loadavg): 1.05 0.99 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 61154 0 0 0 68868 137 0 0 25 0 1 0 807381842 254271488 61088 4294967295 134512640 134714540 3221221776 3221220452 134535756 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.016 s]
Raw data (loadavg): 1.04 0.99 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 61154 0 0 0 69868 137 0 0 25 0 1 0 807381842 254271488 61088 4294967295 134512640 134714540 3221221776 3221220492 134558493 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.017 s]
Raw data (loadavg): 1.04 0.99 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 61176 0 0 0 70868 137 0 0 25 0 1 0 807381842 254406656 61110 4294967295 134512640 134714540 3221221776 3221220316 134535900 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.017 s]
Raw data (loadavg): 1.03 0.99 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 61212 0 0 0 71868 137 0 0 25 0 1 0 807381842 254541824 61146 4294967295 134512640 134714540 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62144 61146 1111 63 0 62081 0
vsize: 248576
[startup+730.018 s]
Raw data (loadavg): 1.03 0.99 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 61326 0 0 0 72868 138 0 0 25 0 1 0 807381842 254947328 61260 4294967295 134512640 134714540 3221221776 3221220624 134623456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62243 61260 1111 63 0 62180 0
vsize: 248972
[startup+740.019 s]
Raw data (loadavg): 1.02 0.99 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 61326 0 0 0 73868 138 0 0 25 0 1 0 807381842 254947328 61260 4294967295 134512640 134714540 3221221776 3221220488 134543176 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.019 s]
Raw data (loadavg): 1.02 0.99 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 61370 0 0 0 74868 138 0 0 25 0 1 0 807381842 255082496 61304 4294967295 134512640 134714540 3221221776 3221220580 134622157 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62276 61304 1111 63 0 62213 0
vsize: 249104
[startup+760.019 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 61400 0 0 0 75868 138 0 0 25 0 1 0 807381842 255217664 61334 4294967295 134512640 134714540 3221221776 3221220488 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62309 61334 1111 63 0 62246 0
vsize: 249236
[startup+770.019 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 61433 0 0 0 76868 138 0 0 25 0 1 0 807381842 255352832 61367 4294967295 134512640 134714540 3221221776 3221220340 134539339 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62342 61367 1111 63 0 62279 0
vsize: 249368
[startup+780.019 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 61487 0 0 0 77868 138 0 0 25 0 1 0 807381842 255623168 61421 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62408 61421 1111 63 0 62345 0
vsize: 249632
[startup+790.02 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 61558 0 0 0 78868 139 0 0 25 0 1 0 807381842 255893504 61492 4294967295 134512640 134714540 3221221776 3221220512 134695294 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62474 61492 1111 63 0 62411 0
vsize: 249896
[startup+800.019 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 61618 0 0 0 79868 139 0 0 25 0 1 0 807381842 256163840 61552 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62540 61552 1111 63 0 62477 0
vsize: 250160
[startup+810.02 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 61660 0 0 0 80868 139 0 0 25 0 1 0 807381842 256299008 61594 4294967295 134512640 134714540 3221221776 3221220416 134543674 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62573 61594 1111 63 0 62510 0
vsize: 250292
[startup+820.02 s]
Raw data (loadavg): 1.16 1.02 0.98 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 61727 0 0 0 81868 139 0 0 25 0 1 0 807381842 256569344 61661 4294967295 134512640 134714540 3221221776 3221220568 134542445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62639 61661 1111 63 0 62576 0
vsize: 250556
[startup+830.02 s]
Raw data (loadavg): 1.13 1.02 0.98 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 61797 0 0 0 82868 139 0 0 25 0 1 0 807381842 256839680 61731 4294967295 134512640 134714540 3221221776 3221220592 134611198 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.02 s]
Raw data (loadavg): 1.11 1.02 0.98 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 61836 0 0 0 83868 139 0 0 25 0 1 0 807381842 257110016 61770 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62771 61770 1111 63 0 62708 0
vsize: 251084
[startup+850.02 s]
Raw data (loadavg): 1.09 1.02 0.98 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 61937 0 0 0 84867 140 0 0 25 0 1 0 807381842 257515520 61871 4294967295 134512640 134714540 3221221776 3221220512 134622743 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.02 s]
Raw data (loadavg): 1.08 1.02 0.98 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 62024 0 0 0 85867 140 0 0 25 0 1 0 807381842 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.02 s]
Raw data (loadavg): 1.07 1.02 0.98 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 62024 0 0 0 86867 140 0 0 25 0 1 0 807381842 257785856 61958 4294967295 134512640 134714540 3221221776 3221220500 134622760 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.021 s]
Raw data (loadavg): 1.06 1.02 0.98 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 62070 0 0 0 87868 140 0 0 25 0 1 0 807381842 258056192 62004 4294967295 134512640 134714540 3221221776 3221220492 134543192 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63002 62004 1111 63 0 62939 0
vsize: 252008
[startup+890.021 s]
Raw data (loadavg): 1.05 1.02 0.98 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 62124 0 0 0 88867 141 0 0 25 0 1 0 807381842 258191360 62058 4294967295 134512640 134714540 3221221776 3221220488 134543179 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63035 62058 1111 63 0 62972 0
vsize: 252140
[startup+900.021 s]
Raw data (loadavg): 1.04 1.02 0.98 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 62176 0 0 0 89867 141 0 0 25 0 1 0 807381842 258461696 62110 4294967295 134512640 134714540 3221221776 3221220572 134543192 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63101 62110 1111 63 0 63038 0
vsize: 252404
[startup+910.022 s]
Raw data (loadavg): 1.03 1.02 0.98 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 62190 0 0 0 90867 141 0 0 25 0 1 0 807381842 258461696 62124 4294967295 134512640 134714540 3221221776 3221220492 134543156 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.021 s]
Raw data (loadavg): 1.03 1.01 0.98 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 62266 0 0 0 91867 142 0 0 25 0 1 0 807381842 258867200 62200 4294967295 134512640 134714540 3221221776 3221220568 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63200 62200 1111 63 0 63137 0
vsize: 252800
[startup+930.022 s]
Raw data (loadavg): 1.02 1.01 0.98 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 62387 0 0 0 92866 142 0 0 25 0 1 0 807381842 259272704 62321 4294967295 134512640 134714540 3221221776 3221220608 134623284 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.021 s]
Raw data (loadavg): 1.02 1.01 0.98 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 62387 0 0 0 93866 142 0 0 25 0 1 0 807381842 259272704 62321 4294967295 134512640 134714540 3221221776 3221220520 134536866 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.022 s]
Raw data (loadavg): 1.02 1.01 0.98 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 62479 0 0 0 94866 143 0 0 25 0 1 0 807381842 259678208 62413 4294967295 134512640 134714540 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63398 62413 1111 63 0 63335 0
vsize: 253592
[startup+960.023 s]
Raw data (loadavg): 1.01 1.01 0.98 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 62605 0 0 0 95866 144 0 0 25 0 1 0 807381842 260210688 62539 4294967295 134512640 134714540 3221221776 3221220384 134543674 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.022 s]
Raw data (loadavg): 1.01 1.01 0.98 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 62605 0 0 0 96866 144 0 0 25 0 1 0 807381842 260210688 62539 4294967295 134512640 134714540 3221221776 3221220520 134558587 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.022 s]
Raw data (loadavg): 1.01 1.01 0.98 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 62650 0 0 0 97866 144 0 0 25 0 1 0 807381842 260345856 62584 4294967295 134512640 134714540 3221221776 3221220500 134622760 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.023 s]
Raw data (loadavg): 1.01 1.01 0.98 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 62705 0 0 0 98866 144 0 0 25 0 1 0 807381842 260616192 62639 4294967295 134512640 134714540 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63627 62639 1111 63 0 63564 0
vsize: 254508
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 62764 0 0 0 99866 144 0 0 25 0 1 0 807381842 260886528 62698 4294967295 134512640 134714540 3221221776 3221220576 134610693 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.02 s]
Raw data (loadavg): 1.00 1.01 0.98 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 62816 0 0 0 100866 144 0 0 25 0 1 0 807381842 261021696 62750 4294967295 134512640 134714540 3221221776 3221220368 134539518 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63726 62750 1111 63 0 63663 0
vsize: 254904
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 62846 0 0 0 101866 145 0 0 25 0 1 0 807381842 261156864 62780 4294967295 134512640 134714540 3221221776 3221220488 134558490 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.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 62855 0 0 0 102866 145 0 0 25 0 1 0 807381842 261292032 62789 4294967295 134512640 134714540 3221221776 3221220512 134622740 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63792 62789 1111 63 0 63729 0
vsize: 255168
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 62890 0 0 0 103866 145 0 0 25 0 1 0 807381842 261427200 62824 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63825 62824 1111 63 0 63762 0
vsize: 255300
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 62926 0 0 0 104866 145 0 0 25 0 1 0 807381842 261562368 62860 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63858 62860 1111 63 0 63795 0
vsize: 255432
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 62979 0 0 0 105866 145 0 0 25 0 1 0 807381842 261697536 62913 4294967295 134512640 134714540 3221221776 3221220568 134543176 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.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 63018 0 0 0 106866 145 0 0 25 0 1 0 807381842 261832704 62952 4294967295 134512640 134714540 3221221776 3221220496 134622889 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.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 63070 0 0 0 107866 145 0 0 25 0 1 0 807381842 262103040 63004 4294967295 134512640 134714540 3221221776 3221220476 134558630 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.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 63125 0 0 0 108866 146 0 0 25 0 1 0 807381842 262369280 63059 4294967295 134512640 134714540 3221221776 3221220520 134536866 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.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 63187 0 0 0 109866 146 0 0 25 0 1 0 807381842 262639616 63121 4294967295 134512640 134714540 3221221776 3221220592 134622115 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.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 63250 0 0 0 110866 147 0 0 25 0 1 0 807381842 262909952 63184 4294967295 134512640 134714540 3221221776 3221220672 134621561 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.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 63289 0 0 0 111866 147 0 0 25 0 1 0 807381842 263045120 63223 4294967295 134512640 134714540 3221221776 3221220392 134613965 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.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 63335 0 0 0 112866 147 0 0 25 0 1 0 807381842 263180288 63269 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64253 63269 1111 63 0 64190 0
vsize: 257012
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 63380 0 0 0 113866 147 0 0 25 0 1 0 807381842 263315456 63314 4294967295 134512640 134714540 3221221776 3221220488 134543181 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64286 63314 1111 63 0 64223 0
vsize: 257144
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 63430 0 0 0 114866 148 0 0 25 0 1 0 807381842 263585792 63364 4294967295 134512640 134714540 3221221776 3221220380 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64352 63364 1111 63 0 64289 0
vsize: 257408
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 63518 0 0 0 115866 148 0 0 25 0 1 0 807381842 263991296 63452 4294967295 134512640 134714540 3221221776 3221220488 134543176 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.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 63518 0 0 0 116866 148 0 0 25 0 1 0 807381842 263991296 63452 4294967295 134512640 134714540 3221221776 3221220368 134539374 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.32 s]
Raw data (loadavg): 1.00 1.00 0.98 1/54 16216
Raw data (stat): 16214 (bsolo_mis) R 16213 7876 7672 0 -1 0 63518 0 0 0 116866 148 0 0 25 0 1 0 807381842 263991296 63452 4294967295 134512640 134714540 3221221776 3221220368 134539374 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.32
CPU time (s): 1175.43
CPU user time (s): 1173.83
CPU system time (s): 1.60076
CPU usage (%): 100.009
Max. virtual memory (Kb): 257804
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####