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-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod010.opb
MD5SUM	4f0cac14ed3568050c2c57bb69fdb664
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	6571
Optimality of the best value was proved	NO
Number of terms in the objective function	2655
Biggest coefficient in the objective function	266
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	489211
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	266
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	489211
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.14
Number of variables	2655
Total number of constraints	2801
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2800
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	1
Maximum length of a constraint	2655
Trace number 26676

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-05-24 16:41:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12041 boxname=wulflinc29 idbench=927 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  4f0cac14ed3568050c2c57bb69fdb664  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-mod010.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-mod010.opb
IDLAUNCH: 12041
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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.020
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        900764 kB
Buffers:          1712 kB
Cached:         111244 kB
SwapCached:        740 kB
Active:          18428 kB
Inactive:        96980 kB
HighTotal:      131008 kB
HighFree:        16912 kB
LowTotal:       903652 kB
LowFree:        883852 kB
SwapTotal:     2097892 kB
SwapFree:      2096680 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5584 kB
Slab:            12784 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 17:01:06 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 12041 7 1175.05 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 2655 variables and 291 constraints.
c After prepocess the problem consists of 2463 variables and 281 constraints.
c preprocess terminated 13.79 s
c Initial Lower Bound: 1998
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 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.86 0.96 0.97 2/54 21745
Raw data (stat): 21745 (runsolver) R 21744 20001 20000 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831753557 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 0.88 0.96 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 17140 0 0 0 960 38 0 0 25 0 1 0 831753557 73785344 17103 4294967295 134512640 134714540 3221224592 3221223096 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18014 17103 1111 63 0 17951 0
vsize: 72056
[startup+20.0018 s]
Raw data (loadavg): 0.90 0.96 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 17459 0 0 0 1958 40 0 0 25 0 1 0 831753557 75132928 17422 4294967295 134512640 134714540 3221224592 3221223248 134536710 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18343 17422 1111 63 0 18280 0
vsize: 73372
[startup+30.0024 s]
Raw data (loadavg): 0.92 0.96 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 17559 0 0 0 2957 41 0 0 25 0 1 0 831753557 75538432 17522 4294967295 134512640 134714540 3221224592 3221223376 134558507 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18442 17522 1111 63 0 18379 0
vsize: 73768
[startup+40.0019 s]
Raw data (loadavg): 0.93 0.96 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 17667 0 0 0 3956 42 0 0 25 0 1 0 831753557 75943936 17630 4294967295 134512640 134714540 3221224592 3221223392 134588062 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18541 17630 1111 63 0 18478 0
vsize: 74164
[startup+50.0021 s]
Raw data (loadavg): 0.94 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 18663 0 0 0 4953 45 0 0 25 0 1 0 831753557 80089088 18626 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19553 18626 1111 63 0 19490 0
vsize: 78212
[startup+60.0027 s]
Raw data (loadavg): 0.95 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 18942 0 0 0 5952 47 0 0 25 0 1 0 831753557 81158144 18905 4294967295 134512640 134714540 3221224592 3221223312 134622812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19814 18905 1111 63 0 19751 0
vsize: 79256
[startup+70.0022 s]
Raw data (loadavg): 0.95 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 18988 0 0 0 6951 47 0 0 25 0 1 0 831753557 81428480 18951 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19880 18951 1111 63 0 19817 0
vsize: 79520
[startup+80.0033 s]
Raw data (loadavg): 0.96 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 18988 0 0 0 7952 47 0 0 25 0 1 0 831753557 81428480 18951 4294967295 134512640 134714540 3221224592 3221223384 134542414 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19880 18951 1111 63 0 19817 0
vsize: 79520
[startup+90.0032 s]
Raw data (loadavg): 0.97 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 19233 0 0 0 8951 48 0 0 25 0 1 0 831753557 82411520 19196 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20120 19196 1111 63 0 20057 0
vsize: 80480
[startup+100.003 s]
Raw data (loadavg): 0.97 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 19233 0 0 0 9951 48 0 0 25 0 1 0 831753557 82411520 19196 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20120 19196 1111 63 0 20057 0
vsize: 80480
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 19313 0 0 0 10951 49 0 0 25 0 1 0 831753557 82681856 19276 4294967295 134512640 134714540 3221224592 3221223244 1076530932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20186 19276 1111 63 0 20123 0
vsize: 80744
[startup+120.004 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 19323 0 0 0 11951 49 0 0 25 0 1 0 831753557 82817024 19286 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20219 19286 1111 63 0 20156 0
vsize: 80876
[startup+130.005 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 19324 0 0 0 12951 49 0 0 25 0 1 0 831753557 82804736 19287 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20216 19287 1111 63 0 20153 0
vsize: 80864
[startup+140.005 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 19324 0 0 0 13951 49 0 0 25 0 1 0 831753557 82804736 19287 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20216 19287 1111 63 0 20153 0
vsize: 80864
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 19324 0 0 0 14951 49 0 0 25 0 1 0 831753557 82804736 19287 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20216 19287 1111 63 0 20153 0
vsize: 80864
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 19324 0 0 0 15951 49 0 0 25 0 1 0 831753557 82804736 19287 4294967295 134512640 134714540 3221224592 3221223384 134542409 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20216 19287 1111 63 0 20153 0
vsize: 80864
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 19324 0 0 0 16951 49 0 0 25 0 1 0 831753557 82804736 19287 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20216 19287 1111 63 0 20153 0
vsize: 80864
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 19324 0 0 0 17952 49 0 0 25 0 1 0 831753557 82804736 19287 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20216 19287 1111 63 0 20153 0
vsize: 80864
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 19324 0 0 0 18952 49 0 0 25 0 1 0 831753557 82804736 19287 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20216 19287 1111 63 0 20153 0
vsize: 80864
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 19555 0 0 0 19950 52 0 0 25 0 1 0 831753557 83714048 19518 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20438 19518 1111 63 0 20375 0
vsize: 81752
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 19838 0 0 0 20947 55 0 0 25 0 1 0 831753557 84930560 19801 4294967295 134512640 134714540 3221224592 3221223464 134536904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20735 19801 1111 63 0 20672 0
vsize: 82940
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 19956 0 0 0 21946 56 0 0 25 0 1 0 831753557 85299200 19919 4294967295 134512640 134714540 3221224592 3221223328 134622740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20825 19919 1111 63 0 20762 0
vsize: 83300
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 19964 0 0 0 22946 56 0 0 25 0 1 0 831753557 85434368 19927 4294967295 134512640 134714540 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20858 19927 1111 63 0 20795 0
vsize: 83432
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 19964 0 0 0 23946 56 0 0 25 0 1 0 831753557 85434368 19927 4294967295 134512640 134714540 3221224592 3221223312 134622884 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20858 19927 1111 63 0 20795 0
vsize: 83432
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 20051 0 0 0 24945 57 0 0 25 0 1 0 831753557 85704704 20014 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20924 20014 1111 63 0 20861 0
vsize: 83696
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 20053 0 0 0 25945 57 0 0 25 0 1 0 831753557 85704704 20016 4294967295 134512640 134714540 3221224592 3221223348 134624796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20924 20016 1111 63 0 20861 0
vsize: 83696
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 20402 0 0 0 26944 59 0 0 25 0 1 0 831753557 87187456 20365 4294967295 134512640 134714540 3221224592 3221223256 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21286 20365 1111 63 0 21223 0
vsize: 85144
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 20707 0 0 0 27942 60 0 0 25 0 1 0 831753557 88391680 20670 4294967295 134512640 134714540 3221224592 3221222920 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21580 20670 1111 63 0 21517 0
vsize: 86320
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 20828 0 0 0 28941 62 0 0 25 0 1 0 831753557 88932352 20791 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21712 20791 1111 63 0 21649 0
vsize: 86848
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 20883 0 0 0 29940 63 0 0 25 0 1 0 831753557 89198592 20846 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21777 20846 1111 63 0 21714 0
vsize: 87108
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 20938 0 0 0 30939 64 0 0 25 0 1 0 831753557 89333760 20901 4294967295 134512640 134714540 3221224592 3221223408 134611678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21810 20901 1111 63 0 21747 0
vsize: 87240
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 20945 0 0 0 31938 65 0 0 25 0 1 0 831753557 89468928 20908 4294967295 134512640 134714540 3221224592 3221223320 1076647870 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21843 20908 1111 63 0 21780 0
vsize: 87372
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 20983 0 0 0 32937 67 0 0 25 0 1 0 831753557 89604096 20946 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21876 20946 1111 63 0 21813 0
vsize: 87504
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 21031 0 0 0 33936 68 0 0 25 0 1 0 831753557 89726976 20994 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21906 20994 1111 63 0 21843 0
vsize: 87624
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 21156 0 0 0 34935 69 0 0 25 0 1 0 831753557 90267648 21119 4294967295 134512640 134714540 3221224592 3221222920 1077377382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22038 21120 1111 63 0 21975 0
vsize: 88152
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 21185 0 0 0 35934 70 0 0 25 0 1 0 831753557 90398720 21148 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22070 21148 1111 63 0 22007 0
vsize: 88280
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 21206 0 0 0 36934 71 0 0 25 0 1 0 831753557 90521600 21169 4294967295 134512640 134714540 3221224592 3221223312 134622889 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22100 21169 1111 63 0 22037 0
vsize: 88400
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 21263 0 0 0 37933 72 0 0 25 0 1 0 831753557 90656768 21226 4294967295 134512640 134714540 3221224592 3221223152 134540342 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22133 21226 1111 63 0 22070 0
vsize: 88532
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 21313 0 0 0 38932 73 0 0 25 0 1 0 831753557 90927104 21276 4294967295 134512640 134714540 3221224592 3221223336 134558587 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22199 21276 1111 63 0 22136 0
vsize: 88796
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 21324 0 0 0 39931 74 0 0 25 0 1 0 831753557 90927104 21287 4294967295 134512640 134714540 3221224592 3221223316 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22199 21287 1111 63 0 22136 0
vsize: 88796
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 21336 0 0 0 40931 74 0 0 25 0 1 0 831753557 91062272 21299 4294967295 134512640 134714540 3221224592 3221223328 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22232 21299 1111 63 0 22169 0
vsize: 88928
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 21384 0 0 0 41930 75 0 0 25 0 1 0 831753557 91197440 21347 4294967295 134512640 134714540 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22265 21347 1111 63 0 22202 0
vsize: 89060
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 21469 0 0 0 42929 76 0 0 25 0 1 0 831753557 91602944 21432 4294967295 134512640 134714540 3221224592 3221223208 134536749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22364 21432 1111 63 0 22301 0
vsize: 89456
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 21506 0 0 0 43929 76 0 0 25 0 1 0 831753557 91738112 21469 4294967295 134512640 134714540 3221224592 3221223384 134536915 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22397 21469 1111 63 0 22334 0
vsize: 89588
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 21506 0 0 0 44929 77 0 0 25 0 1 0 831753557 91738112 21469 4294967295 134512640 134714540 3221224592 3221223232 134539518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22397 21469 1111 63 0 22334 0
vsize: 89588
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 21506 0 0 0 45928 77 0 0 25 0 1 0 831753557 91738112 21469 4294967295 134512640 134714540 3221224592 3221223384 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22397 21469 1111 63 0 22334 0
vsize: 89588
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 21506 0 0 0 46927 79 0 0 25 0 1 0 831753557 91738112 21469 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22397 21469 1111 63 0 22334 0
vsize: 89588
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 21506 0 0 0 47926 80 0 0 25 0 1 0 831753557 91697152 21469 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22387 21469 1111 63 0 22324 0
vsize: 89548
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 21506 0 0 0 48926 81 0 0 25 0 1 0 831753557 91697152 21469 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22387 21469 1111 63 0 22324 0
vsize: 89548
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 21569 0 0 0 49925 82 0 0 25 0 1 0 831753557 91967488 21532 4294967295 134512640 134714540 3221224592 3221223208 134543634 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22453 21532 1111 63 0 22390 0
vsize: 89812
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 21590 0 0 0 50924 82 0 0 25 0 1 0 831753557 92102656 21553 4294967295 134512640 134714540 3221224592 3221223072 134697481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22486 21553 1111 63 0 22423 0
vsize: 89944
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 21620 0 0 0 51924 83 0 0 25 0 1 0 831753557 92102656 21583 4294967295 134512640 134714540 3221224592 3221223136 134542998 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22486 21583 1111 63 0 22423 0
vsize: 89944
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 21620 0 0 0 52923 84 0 0 25 0 1 0 831753557 92102656 21583 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22486 21583 1111 63 0 22423 0
vsize: 89944
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 21620 0 0 0 53923 84 0 0 25 0 1 0 831753557 92102656 21583 4294967295 134512640 134714540 3221224592 3221223340 134535506 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22486 21583 1111 63 0 22423 0
vsize: 89944
[startup+550.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 21620 0 0 0 54922 85 0 0 25 0 1 0 831753557 92102656 21583 4294967295 134512640 134714540 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22486 21583 1111 63 0 22423 0
vsize: 89944
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 21620 0 0 0 55922 85 0 0 25 0 1 0 831753557 92102656 21583 4294967295 134512640 134714540 3221224592 3221223320 134622758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22486 21583 1111 63 0 22423 0
vsize: 89944
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 21639 0 0 0 56922 86 0 0 25 0 1 0 831753557 92237824 21602 4294967295 134512640 134714540 3221224592 3221223316 134622883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 21639 0 0 0 57922 86 0 0 25 0 1 0 831753557 92237824 21602 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+590.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 21639 0 0 0 58921 87 0 0 25 0 1 0 831753557 92237824 21602 4294967295 134512640 134714540 3221224592 3221223152 134540186 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+600.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 21639 0 0 0 59921 88 0 0 25 0 1 0 831753557 92237824 21602 4294967295 134512640 134714540 3221224592 3221223384 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+610.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 21639 0 0 0 60920 88 0 0 25 0 1 0 831753557 92237824 21602 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 21639 0 0 0 61919 89 0 0 25 0 1 0 831753557 92237824 21602 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+630.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 21639 0 0 0 62920 89 0 0 25 0 1 0 831753557 92237824 21602 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+640.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 21639 0 0 0 63919 90 0 0 25 0 1 0 831753557 92237824 21602 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+650.011 s]
Raw data (loadavg): 1.07 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 21639 0 0 0 64919 90 0 0 25 0 1 0 831753557 92237824 21602 4294967295 134512640 134714540 3221224592 3221223368 134542421 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+660.013 s]
Raw data (loadavg): 1.06 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 21639 0 0 0 65920 90 0 0 25 0 1 0 831753557 92237824 21602 4294967295 134512640 134714540 3221224592 3221223164 134539306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+670.013 s]
Raw data (loadavg): 1.05 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 21639 0 0 0 66920 90 0 0 25 0 1 0 831753557 92237824 21602 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+680.013 s]
Raw data (loadavg): 1.04 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 21639 0 0 0 67920 90 0 0 25 0 1 0 831753557 92237824 21602 4294967295 134512640 134714540 3221224592 3221223232 134535032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+690.013 s]
Raw data (loadavg): 1.04 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 21639 0 0 0 68919 91 0 0 25 0 1 0 831753557 92237824 21602 4294967295 134512640 134714540 3221224592 3221223408 134622115 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+700.013 s]
Raw data (loadavg): 1.03 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 21639 0 0 0 69919 91 0 0 25 0 1 0 831753557 92237824 21602 4294967295 134512640 134714540 3221224592 3221223308 134543192 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+710.013 s]
Raw data (loadavg): 1.03 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 21642 0 0 0 70919 92 0 0 25 0 1 0 831753557 92237824 21605 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22519 21605 1111 63 0 22456 0
vsize: 90076
[startup+720.014 s]
Raw data (loadavg): 1.02 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 21852 0 0 0 71918 93 0 0 25 0 1 0 831753557 93184000 21815 4294967295 134512640 134714540 3221224592 3221223304 134543157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22750 21815 1111 63 0 22687 0
vsize: 91000
[startup+730.014 s]
Raw data (loadavg): 1.02 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 21944 0 0 0 72918 93 0 0 25 0 1 0 831753557 93454336 21907 4294967295 134512640 134714540 3221224592 3221223152 134539608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22816 21907 1111 63 0 22753 0
vsize: 91264
[startup+740.014 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 21944 0 0 0 73918 94 0 0 25 0 1 0 831753557 93454336 21907 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22816 21907 1111 63 0 22753 0
vsize: 91264
[startup+750.014 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 22003 0 0 0 74918 94 0 0 25 0 1 0 831753557 93724672 21966 4294967295 134512640 134714540 3221224592 3221223400 134622369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22882 21966 1111 63 0 22819 0
vsize: 91528
[startup+760.015 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 22003 0 0 0 75917 94 0 0 25 0 1 0 831753557 93724672 21966 4294967295 134512640 134714540 3221224592 3221223160 1077377241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22882 21966 1111 63 0 22819 0
vsize: 91528
[startup+770.015 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 22011 0 0 0 76916 95 0 0 25 0 1 0 831753557 93724672 21974 4294967295 134512640 134714540 3221224592 3221223376 134558521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22882 21974 1111 63 0 22819 0
vsize: 91528
[startup+780.016 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 22044 0 0 0 77916 96 0 0 25 0 1 0 831753557 93958144 22007 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22939 22007 1111 63 0 22876 0
vsize: 91756
[startup+790.016 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 22103 0 0 0 78915 97 0 0 25 0 1 0 831753557 94093312 22066 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22972 22066 1111 63 0 22909 0
vsize: 91888
[startup+800.016 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 22128 0 0 0 79914 98 0 0 25 0 1 0 831753557 94228480 22091 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23005 22091 1111 63 0 22942 0
vsize: 92020
[startup+810.017 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 22146 0 0 0 80915 98 0 0 25 0 1 0 831753557 94363648 22109 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23038 22109 1111 63 0 22975 0
vsize: 92152
[startup+820.016 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 22187 0 0 0 81914 98 0 0 25 0 1 0 831753557 94404608 22145 4294967295 134512640 134714540 3221224592 3221223388 134622381 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23048 22145 1111 63 0 22985 0
vsize: 92192
[startup+830.016 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 22197 0 0 0 82914 98 0 0 25 0 1 0 831753557 94511104 22155 4294967295 134512640 134714540 3221224592 3221223388 134536888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23074 22155 1111 63 0 23011 0
vsize: 92296
[startup+840.016 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 22218 0 0 0 83914 99 0 0 25 0 1 0 831753557 94646272 22176 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23107 22176 1111 63 0 23044 0
vsize: 92428
[startup+850.016 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 22222 0 0 0 84914 99 0 0 25 0 1 0 831753557 94646272 22180 4294967295 134512640 134714540 3221224592 3221223304 134543157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23107 22180 1111 63 0 23044 0
vsize: 92428
[startup+860.017 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 22222 0 0 0 85914 99 0 0 25 0 1 0 831753557 94646272 22180 4294967295 134512640 134714540 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23107 22180 1111 63 0 23044 0
vsize: 92428
[startup+870.016 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 22263 0 0 0 86914 100 0 0 25 0 1 0 831753557 94781440 22221 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23140 22221 1111 63 0 23077 0
vsize: 92560
[startup+880.017 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 22263 0 0 0 87913 101 0 0 25 0 1 0 831753557 94781440 22221 4294967295 134512640 134714540 3221224592 3221223408 134622258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23140 22221 1111 63 0 23077 0
vsize: 92560
[startup+890.017 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 22291 0 0 0 88912 101 0 0 25 0 1 0 831753557 94916608 22249 4294967295 134512640 134714540 3221224592 3221223304 134558490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23173 22249 1111 63 0 23110 0
vsize: 92692
[startup+900.017 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 22315 0 0 0 89912 102 0 0 25 0 1 0 831753557 95051776 22273 4294967295 134512640 134714540 3221224592 3221223360 134556877 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23206 22273 1111 63 0 23143 0
vsize: 92824
[startup+910.017 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 22322 0 0 0 90911 103 0 0 25 0 1 0 831753557 95051776 22280 4294967295 134512640 134714540 3221224592 3221223200 134543740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23206 22280 1111 63 0 23143 0
vsize: 92824
[startup+920.017 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 22368 0 0 0 91911 104 0 0 25 0 1 0 831753557 95174656 22326 4294967295 134512640 134714540 3221224592 3221223224 134543090 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23236 22326 1111 63 0 23173 0
vsize: 92944
[startup+930.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 22370 0 0 0 92910 105 0 0 25 0 1 0 831753557 95174656 22328 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23236 22328 1111 63 0 23173 0
vsize: 92944
[startup+940.017 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 22370 0 0 0 93909 105 0 0 25 0 1 0 831753557 95174656 22328 4294967295 134512640 134714540 3221224592 3221223456 134558535 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23236 22328 1111 63 0 23173 0
vsize: 92944
[startup+950.017 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 22370 0 0 0 94909 106 0 0 25 0 1 0 831753557 95174656 22328 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23236 22328 1111 63 0 23173 0
vsize: 92944
[startup+960.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 22376 0 0 0 95909 106 0 0 25 0 1 0 831753557 95309824 22334 4294967295 134512640 134714540 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23269 22334 1111 63 0 23206 0
vsize: 93076
[startup+970.017 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 22425 0 0 0 96908 107 0 0 25 0 1 0 831753557 95444992 22383 4294967295 134512640 134714540 3221224592 3221223416 134558582 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+980.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 22425 0 0 0 97908 107 0 0 25 0 1 0 831753557 95444992 22383 4294967295 134512640 134714540 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+990.018 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 22425 0 0 0 98908 108 0 0 25 0 1 0 831753557 95444992 22383 4294967295 134512640 134714540 3221224592 3221223320 134622777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 22425 0 0 0 99908 108 0 0 25 0 1 0 831753557 95444992 22383 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 22425 0 0 0 100908 108 0 0 25 0 1 0 831753557 95444992 22383 4294967295 134512640 134714540 3221224592 3221223392 134622309 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 22425 0 0 0 101908 108 0 0 25 0 1 0 831753557 95444992 22383 4294967295 134512640 134714540 3221224592 3221223312 134622761 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 22425 0 0 0 102908 108 0 0 25 0 1 0 831753557 95444992 22383 4294967295 134512640 134714540 3221224592 3221223304 134558490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 22425 0 0 0 103908 109 0 0 25 0 1 0 831753557 95444992 22383 4294967295 134512640 134714540 3221224592 3221223384 134622385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 22425 0 0 0 104908 109 0 0 25 0 1 0 831753557 95444992 22383 4294967295 134512640 134714540 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 22425 0 0 0 105908 109 0 0 25 0 1 0 831753557 95444992 22383 4294967295 134512640 134714540 3221224592 3221223380 134622386 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 22425 0 0 0 106907 109 0 0 25 0 1 0 831753557 95444992 22383 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 22425 0 0 0 107907 110 0 0 25 0 1 0 831753557 95444992 22383 4294967295 134512640 134714540 3221224592 3221223316 134622859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 22425 0 0 0 108907 110 0 0 25 0 1 0 831753557 95444992 22383 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 22425 0 0 0 109907 110 0 0 25 0 1 0 831753557 95444992 22383 4294967295 134512640 134714540 3221224592 3221223376 134558521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 21745
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 22425 0 0 0 110907 111 0 0 25 0 1 0 831753557 95444992 22383 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 21798
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 22425 0 0 0 111907 111 0 0 25 0 1 0 831753557 95444992 22383 4294967295 134512640 134714540 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1130.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 21798
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 22425 0 0 0 112906 112 0 0 25 0 1 0 831753557 95444992 22383 4294967295 134512640 134714540 3221224592 3221223328 134622722 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1140.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 21798
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 22425 0 0 0 113906 112 0 0 25 0 1 0 831753557 95444992 22383 4294967295 134512640 134714540 3221224592 3221223388 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1150.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 21798
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 22425 0 0 0 114905 113 0 0 25 0 1 0 831753557 95444992 22383 4294967295 134512640 134714540 3221224592 3221223376 134528996 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1160.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 21798
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 22425 0 0 0 115905 114 0 0 25 0 1 0 831753557 95444992 22383 4294967295 134512640 134714540 3221224592 3221223384 134536921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1170.02 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 21798
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 22461 0 0 0 116904 115 0 0 25 0 1 0 831753557 95580160 22419 4294967295 134512640 134714540 3221224592 3221223316 134622935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23335 22419 1111 63 0 23272 0
vsize: 93340
[startup+1174.88 s]
Raw data (loadavg): 1.00 0.99 0.98 1/53 21798
Raw data (stat): 21745 (bsolo_mis) R 21744 20001 20000 0 -1 0 22461 0 0 0 116904 115 0 0 25 0 1 0 831753557 95580160 22419 4294967295 134512640 134714540 3221224592 3221223316 134622935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23335 22419 1111 63 0 23272 0
vsize: 0

Child status: 0
Real time (s): 1174.88
CPU time (s): 1175.05
CPU user time (s): 1173.86
CPU system time (s): 1.19282
CPU usage (%): 100.015
Max. virtual memory (Kb): 93340
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####