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-mod010.opb
MD5SUM	ef7064a9be2b712276f7b600af28e2b0
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.18
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 27066

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc19 THE 2005-05-24 18:59:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18632 boxname=wulflinc19 idbench=1434 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  ef7064a9be2b712276f7b600af28e2b0  /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-mod010.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-mod010.opb
IDLAUNCH: 18632
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        417532 kB
Buffers:         16916 kB
Cached:         568384 kB
SwapCached:        520 kB
Active:          24228 kB
Inactive:       563460 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        417280 kB
SwapTotal:     2097892 kB
SwapFree:      2096796 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5672 kB
Slab:            23620 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 19:18:53 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 18632 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.845 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.61 0.87 0.94 2/54 13640
Raw data (stat): 13640 (runsolver) R 13639 10795 10794 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832577520 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 0.67 0.87 0.94 2/54 13640
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 17140 0 0 0 962 35 0 0 25 0 1 0 832577520 73785344 17103 4294967295 134512640 134714540 3221224592 3221222988 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18014 17103 1111 63 0 17951 0
vsize: 72056
[startup+20.0011 s]
Raw data (loadavg): 0.72 0.87 0.94 2/54 13640
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 17459 0 0 0 1961 37 0 0 25 0 1 0 832577520 75132928 17422 4294967295 134512640 134714540 3221224592 3221223352 134543541 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18343 17422 1111 63 0 18280 0
vsize: 73372
[startup+30.0018 s]
Raw data (loadavg): 0.76 0.88 0.94 2/54 13640
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 17559 0 0 0 2960 38 0 0 25 0 1 0 832577520 75538432 17522 4294967295 134512640 134714540 3221224592 3221223340 134535509 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18442 17522 1111 63 0 18379 0
vsize: 73768
[startup+40.0014 s]
Raw data (loadavg): 0.80 0.88 0.94 2/54 13640
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 17613 0 0 0 3959 39 0 0 25 0 1 0 832577520 75808768 17576 4294967295 134512640 134714540 3221224592 3221223000 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18508 17576 1111 63 0 18445 0
vsize: 74032
[startup+50.0016 s]
Raw data (loadavg): 0.91 0.90 0.94 2/54 13693
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 18663 0 0 0 4955 42 0 0 25 0 1 0 832577520 80089088 18626 4294967295 134512640 134714540 3221224592 3221223408 134622468 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.0023 s]
Raw data (loadavg): 0.92 0.90 0.94 2/54 13693
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 18942 0 0 0 5953 43 0 0 25 0 1 0 832577520 81158144 18905 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19814 18905 1111 63 0 19751 0
vsize: 79256
[startup+70.0029 s]
Raw data (loadavg): 0.93 0.91 0.94 2/54 13693
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 18988 0 0 0 6952 44 0 0 25 0 1 0 832577520 81428480 18951 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19880 18951 1111 63 0 19817 0
vsize: 79520
[startup+80.0039 s]
Raw data (loadavg): 0.94 0.91 0.94 2/54 13693
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 18988 0 0 0 7953 44 0 0 25 0 1 0 832577520 81428480 18951 4294967295 134512640 134714540 3221224592 3221223312 134622766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19880 18951 1111 63 0 19817 0
vsize: 79520
[startup+90.0037 s]
Raw data (loadavg): 0.95 0.91 0.94 2/54 13693
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 19233 0 0 0 8951 45 0 0 25 0 1 0 832577520 82411520 19196 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20120 19196 1111 63 0 20057 0
vsize: 80480
[startup+100.003 s]
Raw data (loadavg): 0.96 0.91 0.94 2/54 13693
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 19233 0 0 0 9951 45 0 0 25 0 1 0 832577520 82411520 19196 4294967295 134512640 134714540 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20120 19196 1111 63 0 20057 0
vsize: 80480
[startup+110.004 s]
Raw data (loadavg): 0.96 0.92 0.94 2/54 13693
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 19313 0 0 0 10951 46 0 0 25 0 1 0 832577520 82681856 19276 4294967295 134512640 134714540 3221224592 3221223400 134622412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20186 19276 1111 63 0 20123 0
vsize: 80744
[startup+120.005 s]
Raw data (loadavg): 0.97 0.92 0.94 2/54 13695
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 19323 0 0 0 11950 47 0 0 25 0 1 0 832577520 82817024 19286 4294967295 134512640 134714540 3221224592 3221223396 134611125 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20219 19286 1111 63 0 20156 0
vsize: 80876
[startup+130.006 s]
Raw data (loadavg): 0.97 0.92 0.94 2/54 13695
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 19324 0 0 0 12950 47 0 0 25 0 1 0 832577520 82804736 19287 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20216 19287 1111 63 0 20153 0
vsize: 80864
[startup+140.006 s]
Raw data (loadavg): 0.98 0.92 0.94 2/54 13695
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 19324 0 0 0 13951 47 0 0 25 0 1 0 832577520 82804736 19287 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20216 19287 1111 63 0 20153 0
vsize: 80864
[startup+150.006 s]
Raw data (loadavg): 0.98 0.92 0.94 2/54 13695
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 19324 0 0 0 14951 47 0 0 25 0 1 0 832577520 82804736 19287 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20216 19287 1111 63 0 20153 0
vsize: 80864
[startup+160.006 s]
Raw data (loadavg): 0.98 0.93 0.94 2/54 13695
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 19324 0 0 0 15951 47 0 0 25 0 1 0 832577520 82804736 19287 4294967295 134512640 134714540 3221224592 3221223308 134558493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20216 19287 1111 63 0 20153 0
vsize: 80864
[startup+170.006 s]
Raw data (loadavg): 0.98 0.93 0.94 2/54 13695
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 19324 0 0 0 16951 47 0 0 25 0 1 0 832577520 82804736 19287 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20216 19287 1111 63 0 20153 0
vsize: 80864
[startup+180.007 s]
Raw data (loadavg): 0.99 0.93 0.94 2/54 13695
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 19324 0 0 0 17951 47 0 0 25 0 1 0 832577520 82804736 19287 4294967295 134512640 134714540 3221224592 3221223312 134622839 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20216 19287 1111 63 0 20153 0
vsize: 80864
[startup+190.008 s]
Raw data (loadavg): 0.99 0.93 0.94 2/54 13695
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 19324 0 0 0 18952 47 0 0 25 0 1 0 832577520 82804736 19287 4294967295 134512640 134714540 3221224592 3221223312 134622884 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20216 19287 1111 63 0 20153 0
vsize: 80864
[startup+200.008 s]
Raw data (loadavg): 0.99 0.93 0.94 2/54 13695
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 19555 0 0 0 19950 49 0 0 25 0 1 0 832577520 83714048 19518 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20438 19518 1111 63 0 20375 0
vsize: 81752
[startup+210.008 s]
Raw data (loadavg): 0.99 0.94 0.94 2/54 13695
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 19838 0 0 0 20948 51 0 0 25 0 1 0 832577520 84930560 19801 4294967295 134512640 134714540 3221224592 3221222876 1077379843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20735 19801 1111 63 0 20672 0
vsize: 82940
[startup+220.009 s]
Raw data (loadavg): 0.99 0.94 0.94 2/54 13695
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 19956 0 0 0 21948 52 0 0 25 0 1 0 832577520 85299200 19919 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20825 19919 1111 63 0 20762 0
vsize: 83300
[startup+230.01 s]
Raw data (loadavg): 0.99 0.94 0.94 2/54 13695
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 19964 0 0 0 22948 52 0 0 25 0 1 0 832577520 85434368 19927 4294967295 134512640 134714540 3221224592 3221223372 134542400 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20858 19927 1111 63 0 20795 0
vsize: 83432
[startup+240.01 s]
Raw data (loadavg): 0.99 0.94 0.94 2/54 13695
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 19964 0 0 0 23948 52 0 0 25 0 1 0 832577520 85434368 19927 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20858 19927 1111 63 0 20795 0
vsize: 83432
[startup+250.009 s]
Raw data (loadavg): 0.99 0.94 0.94 2/54 13695
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 20051 0 0 0 24947 53 0 0 25 0 1 0 832577520 85704704 20014 4294967295 134512640 134714540 3221224592 3221223396 134622157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20924 20014 1111 63 0 20861 0
vsize: 83696
[startup+260.01 s]
Raw data (loadavg): 0.99 0.94 0.94 2/54 13695
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 20054 0 0 0 25947 53 0 0 25 0 1 0 832577520 85704704 20017 4294967295 134512640 134714540 3221224592 3221223400 134622412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20924 20017 1111 63 0 20861 0
vsize: 83696
[startup+270.01 s]
Raw data (loadavg): 0.99 0.94 0.94 2/54 13695
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 20445 0 0 0 26946 54 0 0 25 0 1 0 832577520 87322624 20408 4294967295 134512640 134714540 3221224592 3221223360 134592401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21319 20408 1111 63 0 21256 0
vsize: 85276
[startup+280.011 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 13695
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 20722 0 0 0 27945 56 0 0 25 0 1 0 832577520 88526848 20685 4294967295 134512640 134714540 3221224592 3221223248 134523907 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21613 20685 1111 63 0 21550 0
vsize: 86452
[startup+290.011 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 13695
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 20828 0 0 0 28944 57 0 0 25 0 1 0 832577520 88932352 20791 4294967295 134512640 134714540 3221224592 3221223392 134622307 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21712 20791 1111 63 0 21649 0
vsize: 86848
[startup+300.011 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 13695
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 20887 0 0 0 29942 59 0 0 25 0 1 0 832577520 89198592 20850 4294967295 134512640 134714540 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21777 20850 1111 63 0 21714 0
vsize: 87108
[startup+310.011 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 13695
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 20938 0 0 0 30941 59 0 0 25 0 1 0 832577520 89333760 20901 4294967295 134512640 134714540 3221224592 3221223328 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21810 20901 1111 63 0 21747 0
vsize: 87240
[startup+320.011 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 13695
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 20945 0 0 0 31941 60 0 0 25 0 1 0 832577520 89468928 20908 4294967295 134512640 134714540 3221224592 3221223304 134543157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21843 20908 1111 63 0 21780 0
vsize: 87372
[startup+330.012 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 13695
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 20983 0 0 0 32940 62 0 0 25 0 1 0 832577520 89604096 20946 4294967295 134512640 134714540 3221224592 3221223240 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21876 20946 1111 63 0 21813 0
vsize: 87504
[startup+340.012 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 13695
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 21031 0 0 0 33938 63 0 0 25 0 1 0 832577520 89726976 20994 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21906 20994 1111 63 0 21843 0
vsize: 87624
[startup+350.012 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 13695
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 21185 0 0 0 34937 64 0 0 25 0 1 0 832577520 90398720 21148 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22070 21148 1111 63 0 22007 0
vsize: 88280
[startup+360.013 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 13695
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 21185 0 0 0 35937 65 0 0 25 0 1 0 832577520 90398720 21148 4294967295 134512640 134714540 3221224592 3221223232 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22070 21148 1111 63 0 22007 0
vsize: 88280
[startup+370.012 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 13695
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 21206 0 0 0 36936 66 0 0 25 0 1 0 832577520 90521600 21169 4294967295 134512640 134714540 3221224592 3221223396 134622416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22100 21169 1111 63 0 22037 0
vsize: 88400
[startup+380.012 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 13695
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 21288 0 0 0 37934 68 0 0 25 0 1 0 832577520 90791936 21251 4294967295 134512640 134714540 3221224592 3221223328 134622896 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22166 21251 1111 63 0 22103 0
vsize: 88664
[startup+390.013 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 21313 0 0 0 38933 69 0 0 25 0 1 0 832577520 90927104 21276 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22199 21276 1111 63 0 22136 0
vsize: 88796
[startup+400.013 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 21324 0 0 0 39932 70 0 0 25 0 1 0 832577520 90927104 21287 4294967295 134512640 134714540 3221224592 3221223312 134622884 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22199 21287 1111 63 0 22136 0
vsize: 88796
[startup+410.014 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 21336 0 0 0 40932 71 0 0 25 0 1 0 832577520 91062272 21299 4294967295 134512640 134714540 3221224592 3221223384 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22232 21299 1111 63 0 22169 0
vsize: 88928
[startup+420.013 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 21412 0 0 0 41931 72 0 0 25 0 1 0 832577520 91332608 21375 4294967295 134512640 134714540 3221224592 3221223372 134542400 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22298 21375 1111 63 0 22235 0
vsize: 89192
[startup+430.014 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 21506 0 0 0 42930 73 0 0 25 0 1 0 832577520 91738112 21469 4294967295 134512640 134714540 3221224592 3221223376 134558521 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22397 21469 1111 63 0 22334 0
vsize: 89588
[startup+440.014 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 21506 0 0 0 43930 73 0 0 25 0 1 0 832577520 91738112 21469 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22397 21469 1111 63 0 22334 0
vsize: 89588
[startup+450.014 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 21506 0 0 0 44930 74 0 0 25 0 1 0 832577520 91738112 21469 4294967295 134512640 134714540 3221224592 3221223392 134622161 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22397 21469 1111 63 0 22334 0
vsize: 89588
[startup+460.015 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 21506 0 0 0 45929 74 0 0 25 0 1 0 832577520 91738112 21469 4294967295 134512640 134714540 3221224592 3221223340 134535506 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22397 21469 1111 63 0 22334 0
vsize: 89588
[startup+470.014 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 21506 0 0 0 46929 75 0 0 25 0 1 0 832577520 91738112 21469 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22397 21469 1111 63 0 22334 0
vsize: 89588
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 21506 0 0 0 47928 76 0 0 25 0 1 0 832577520 91697152 21469 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22387 21469 1111 63 0 22324 0
vsize: 89548
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 21506 0 0 0 48928 76 0 0 25 0 1 0 832577520 91697152 21469 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22387 21469 1111 63 0 22324 0
vsize: 89548
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 21587 0 0 0 49928 77 0 0 25 0 1 0 832577520 91967488 21550 4294967295 134512640 134714540 3221224592 3221223212 134523613 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22453 21550 1111 63 0 22390 0
vsize: 89812
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 21590 0 0 0 50927 77 0 0 25 0 1 0 832577520 92102656 21553 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22486 21553 1111 63 0 22423 0
vsize: 89944
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 21620 0 0 0 51926 79 0 0 25 0 1 0 832577520 92102656 21583 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22486 21583 1111 63 0 22423 0
vsize: 89944
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 21620 0 0 0 52925 80 0 0 25 0 1 0 832577520 92102656 21583 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22486 21583 1111 63 0 22423 0
vsize: 89944
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 21620 0 0 0 53925 80 0 0 25 0 1 0 832577520 92102656 21583 4294967295 134512640 134714540 3221224592 3221223220 1077374210 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22486 21583 1111 63 0 22423 0
vsize: 89944
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 21620 0 0 0 54925 81 0 0 25 0 1 0 832577520 92102656 21583 4294967295 134512640 134714540 3221224592 3221223384 134536915 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22486 21583 1111 63 0 22423 0
vsize: 89944
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 21620 0 0 0 55924 81 0 0 25 0 1 0 832577520 92102656 21583 4294967295 134512640 134714540 3221224592 3221223232 134696114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22486 21583 1111 63 0 22423 0
vsize: 89944
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 21639 0 0 0 56924 82 0 0 25 0 1 0 832577520 92237824 21602 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 21639 0 0 0 57923 83 0 0 25 0 1 0 832577520 92237824 21602 4294967295 134512640 134714540 3221224592 3221223340 134558496 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 21639 0 0 0 58923 84 0 0 25 0 1 0 832577520 92237824 21602 4294967295 134512640 134714540 3221224592 3221223388 134542400 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 21639 0 0 0 59922 85 0 0 25 0 1 0 832577520 92237824 21602 4294967295 134512640 134714540 3221224592 3221223304 134543125 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 21639 0 0 0 60922 85 0 0 25 0 1 0 832577520 92237824 21602 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 21639 0 0 0 61921 86 0 0 25 0 1 0 832577520 92237824 21602 4294967295 134512640 134714540 3221224592 3221223232 134538880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 21639 0 0 0 62920 87 0 0 25 0 1 0 832577520 92237824 21602 4294967295 134512640 134714540 3221224592 3221223312 134622891 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 21639 0 0 0 63920 87 0 0 25 0 1 0 832577520 92237824 21602 4294967295 134512640 134714540 3221224592 3221223232 134539511 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 21639 0 0 0 64920 88 0 0 25 0 1 0 832577520 92237824 21602 4294967295 134512640 134714540 3221224592 3221223232 134542836 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 21639 0 0 0 65919 88 0 0 25 0 1 0 832577520 92237824 21602 4294967295 134512640 134714540 3221224592 3221223232 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 21639 0 0 0 66920 88 0 0 25 0 1 0 832577520 92237824 21602 4294967295 134512640 134714540 3221224592 3221223312 134622817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+680.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 21639 0 0 0 67919 89 0 0 25 0 1 0 832577520 92237824 21602 4294967295 134512640 134714540 3221224592 3221223388 134542400 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+690.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 21639 0 0 0 68919 89 0 0 25 0 1 0 832577520 92237824 21602 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+700.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 21639 0 0 0 69919 90 0 0 25 0 1 0 832577520 92237824 21602 4294967295 134512640 134714540 3221224592 3221223408 134611091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22519 21602 1111 63 0 22456 0
vsize: 90076
[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 21642 0 0 0 70919 90 0 0 25 0 1 0 832577520 92237824 21605 4294967295 134512640 134714540 3221224592 3221223312 134622766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22519 21605 1111 63 0 22456 0
vsize: 90076
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 21852 0 0 0 71918 91 0 0 25 0 1 0 832577520 93184000 21815 4294967295 134512640 134714540 3221224592 3221223308 134558493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22750 21815 1111 63 0 22687 0
vsize: 91000
[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 21944 0 0 0 72918 92 0 0 25 0 1 0 832577520 93454336 21907 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22816 21907 1111 63 0 22753 0
vsize: 91264
[startup+740.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 21944 0 0 0 73918 92 0 0 25 0 1 0 832577520 93454336 21907 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22816 21907 1111 63 0 22753 0
vsize: 91264
[startup+750.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 22003 0 0 0 74916 93 0 0 25 0 1 0 832577520 93724672 21966 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22882 21966 1111 63 0 22819 0
vsize: 91528
[startup+760.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 22003 0 0 0 75915 95 0 0 25 0 1 0 832577520 93724672 21966 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22882 21966 1111 63 0 22819 0
vsize: 91528
[startup+770.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 22011 0 0 0 76915 95 0 0 25 0 1 0 832577520 93724672 21974 4294967295 134512640 134714540 3221224592 3221223304 134558477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22882 21974 1111 63 0 22819 0
vsize: 91528
[startup+780.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 22044 0 0 0 77914 96 0 0 25 0 1 0 832577520 93958144 22007 4294967295 134512640 134714540 3221224592 3221223420 134624368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22939 22007 1111 63 0 22876 0
vsize: 91756
[startup+790.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 22107 0 0 0 78914 97 0 0 25 0 1 0 832577520 94228480 22070 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23005 22070 1111 63 0 22942 0
vsize: 92020
[startup+800.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 22128 0 0 0 79914 97 0 0 25 0 1 0 832577520 94228480 22091 4294967295 134512640 134714540 3221224592 3221223184 134696371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23005 22091 1111 63 0 22942 0
vsize: 92020
[startup+810.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 22146 0 0 0 80913 98 0 0 25 0 1 0 832577520 94363648 22109 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23038 22109 1111 63 0 22975 0
vsize: 92152
[startup+820.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 22187 0 0 0 81913 98 0 0 25 0 1 0 832577520 94404608 22145 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23048 22145 1111 63 0 22985 0
vsize: 92192
[startup+830.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 22197 0 0 0 82913 99 0 0 25 0 1 0 832577520 94511104 22155 4294967295 134512640 134714540 3221224592 3221223280 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23074 22155 1111 63 0 23011 0
vsize: 92296
[startup+840.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 22218 0 0 0 83912 99 0 0 25 0 1 0 832577520 94646272 22176 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23107 22176 1111 63 0 23044 0
vsize: 92428
[startup+850.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 22222 0 0 0 84912 99 0 0 25 0 1 0 832577520 94646272 22180 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23107 22180 1111 63 0 23044 0
vsize: 92428
[startup+860.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 22222 0 0 0 85912 100 0 0 25 0 1 0 832577520 94646272 22180 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23107 22180 1111 63 0 23044 0
vsize: 92428
[startup+870.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 22263 0 0 0 86912 100 0 0 25 0 1 0 832577520 94781440 22221 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23140 22221 1111 63 0 23077 0
vsize: 92560
[startup+880.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 22263 0 0 0 87912 100 0 0 25 0 1 0 832577520 94781440 22221 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23140 22221 1111 63 0 23077 0
vsize: 92560
[startup+890.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 22283 0 0 0 88912 101 0 0 25 0 1 0 832577520 94916608 22241 4294967295 134512640 134714540 3221224592 3221223328 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23173 22241 1111 63 0 23110 0
vsize: 92692
[startup+900.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 22315 0 0 0 89912 101 0 0 25 0 1 0 832577520 95051776 22273 4294967295 134512640 134714540 3221224592 3221223384 134542448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23206 22273 1111 63 0 23143 0
vsize: 92824
[startup+910.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 22322 0 0 0 90911 102 0 0 25 0 1 0 832577520 95051776 22280 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23206 22280 1111 63 0 23143 0
vsize: 92824
[startup+920.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 22368 0 0 0 91911 102 0 0 25 0 1 0 832577520 95174656 22326 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23236 22326 1111 63 0 23173 0
vsize: 92944
[startup+930.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 22370 0 0 0 92911 103 0 0 25 0 1 0 832577520 95174656 22328 4294967295 134512640 134714540 3221224592 3221223148 134539223 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23236 22328 1111 63 0 23173 0
vsize: 92944
[startup+940.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 22370 0 0 0 93910 103 0 0 25 0 1 0 832577520 95174656 22328 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23236 22328 1111 63 0 23173 0
vsize: 92944
[startup+950.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 22370 0 0 0 94910 104 0 0 25 0 1 0 832577520 95174656 22328 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23236 22328 1111 63 0 23173 0
vsize: 92944
[startup+960.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 22376 0 0 0 95910 104 0 0 25 0 1 0 832577520 95309824 22334 4294967295 134512640 134714540 3221224592 3221223248 134536736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23269 22334 1111 63 0 23206 0
vsize: 93076
[startup+970.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 22425 0 0 0 96909 105 0 0 25 0 1 0 832577520 95444992 22383 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+980.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 22425 0 0 0 97909 106 0 0 25 0 1 0 832577520 95444992 22383 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+990.037 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 22425 0 0 0 98909 106 0 0 25 0 1 0 832577520 95444992 22383 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 22425 0 0 0 99909 106 0 0 25 0 1 0 832577520 95444992 22383 4294967295 134512640 134714540 3221224592 3221223248 134536724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 22425 0 0 0 100909 106 0 0 25 0 1 0 832577520 95444992 22383 4294967295 134512640 134714540 3221224592 3221223232 134539518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 22425 0 0 0 101909 107 0 0 25 0 1 0 832577520 95444992 22383 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 22425 0 0 0 102908 107 0 0 25 0 1 0 832577520 95444992 22383 4294967295 134512640 134714540 3221224592 3221223140 134696446 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 22425 0 0 0 103908 108 0 0 25 0 1 0 832577520 95444992 22383 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 22425 0 0 0 104908 108 0 0 25 0 1 0 832577520 95444992 22383 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 22425 0 0 0 105908 109 0 0 25 0 1 0 832577520 95444992 22383 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 22425 0 0 0 106907 109 0 0 25 0 1 0 832577520 95444992 22383 4294967295 134512640 134714540 3221224592 3221223312 134622889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 22425 0 0 0 107907 109 0 0 25 0 1 0 832577520 95444992 22383 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 22425 0 0 0 108907 110 0 0 25 0 1 0 832577520 95444992 22383 4294967295 134512640 134714540 3221224592 3221223392 134622184 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 22425 0 0 0 109907 110 0 0 25 0 1 0 832577520 95444992 22383 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 22425 0 0 0 110907 110 0 0 25 0 1 0 832577520 95444992 22383 4294967295 134512640 134714540 3221224592 3221223464 134536904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 22425 0 0 0 111907 110 0 0 25 0 1 0 832577520 95444992 22383 4294967295 134512640 134714540 3221224592 3221223328 134622896 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 22425 0 0 0 112907 110 0 0 25 0 1 0 832577520 95444992 22383 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 22425 0 0 0 113907 110 0 0 25 0 1 0 832577520 95444992 22383 4294967295 134512640 134714540 3221224592 3221223316 134622859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 22425 0 0 0 114907 111 0 0 25 0 1 0 832577520 95444992 22383 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 22425 0 0 0 115907 111 0 0 25 0 1 0 832577520 95444992 22383 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23302 22383 1111 63 0 23239 0
vsize: 93208
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 22461 0 0 0 116906 112 0 0 25 0 1 0 832577520 95580160 22419 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23335 22419 1111 63 0 23272 0
vsize: 93340
[startup+1174.9 s]
Raw data (loadavg): 0.99 0.97 0.94 1/53 13697
Raw data (stat): 13640 (bsolo_mis) R 13639 10795 10794 0 -1 0 22461 0 0 0 116906 112 0 0 25 0 1 0 832577520 95580160 22419 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23335 22419 1111 63 0 23272 0
vsize: 0

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