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/miplib2003/normalized-mps-v2-13-7-aflow30a.opb
MD5SUM	b74fb9cd57e8b4068255c4ac98aa23ca
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	3191
Optimality of the best value was proved	NO
Number of terms in the objective function	421
Biggest coefficient in the objective function	500
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	72290
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	12800
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	416734
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	1189.12
Number of variables	5932
Total number of constraints	1321
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	450
Number of constraints which are nor clauses,nor cardinality constraints	871
Minimum length of a constraint	1
Maximum length of a constraint	453
Trace number 25811

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-22 18:07:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17397 boxname=wulflinc31 idbench=1339 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  b74fb9cd57e8b4068255c4ac98aa23ca  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-aflow30a.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-aflow30a.opb
IDLAUNCH: 17397
/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:        887828 kB
Buffers:         14308 kB
Cached:         112848 kB
SwapCached:       1024 kB
Active:          68596 kB
Inactive:        60700 kB
HighTotal:      131008 kB
HighFree:        19180 kB
LowTotal:       903652 kB
LowFree:        868648 kB
SwapTotal:     2097892 kB
SwapFree:      2095884 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            11908 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-22 18:26:46 (client local time) WITH STATUS 0 IN 1175.51 SECONDS
stats: 17397 7 1175.51 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 5932 variables and 958 constraints.
c After prepocess the problem consists of 5910 variables and 930 constraints.
c preprocess terminated 24.858 s
c Initial Lower Bound: 824
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.45 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.91 2/55 27268
Raw data (stat): 27268 (runsolver) R 27267 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 814970484 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0017 s]
Raw data (loadavg): 0.93 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 10705 0 0 0 970 27 0 0 25 0 1 0 814970484 47468544 10647 4294967295 134512640 134714540 3221221776 3221220288 134543684 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11589 10647 1111 63 0 11526 0
vsize: 46356
[startup+20.0022 s]
Raw data (loadavg): 0.94 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 10705 0 0 0 1969 28 0 0 25 0 1 0 814970484 47468544 10647 4294967295 134512640 134714540 3221221776 3221220284 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11589 10647 1111 63 0 11526 0
vsize: 46356
[startup+30.0021 s]
Raw data (loadavg): 0.95 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 10764 0 0 0 2968 29 0 0 25 0 1 0 814970484 47742976 10706 4294967295 134512640 134714540 3221221776 3221220496 134556897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11656 10706 1111 63 0 11593 0
vsize: 46624
[startup+40.0025 s]
Raw data (loadavg): 0.96 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 10920 0 0 0 3966 30 0 0 25 0 1 0 814970484 48267264 10862 4294967295 134512640 134714540 3221221776 3221220532 134624441 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11784 10862 1111 63 0 11721 0
vsize: 47136
[startup+50.003 s]
Raw data (loadavg): 0.96 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 11066 0 0 0 4965 32 0 0 25 0 1 0 814970484 48889856 11008 4294967295 134512640 134714540 3221221776 3221220472 134558629 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11936 11008 1111 63 0 11873 0
vsize: 47744
[startup+60.0039 s]
Raw data (loadavg): 0.97 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 11066 0 0 0 5964 33 0 0 25 0 1 0 814970484 48889856 11008 4294967295 134512640 134714540 3221221776 3221220512 134556555 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11936 11008 1111 63 0 11873 0
vsize: 47744
[startup+70.0052 s]
Raw data (loadavg): 0.97 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 11141 0 0 0 6964 34 0 0 25 0 1 0 814970484 49295360 11083 4294967295 134512640 134714540 3221221776 3221220548 134624473 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12035 11083 1111 63 0 11972 0
vsize: 48140
[startup+80.0058 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 11424 0 0 0 7962 36 0 0 25 0 1 0 814970484 50343936 11366 4294967295 134512640 134714540 3221221776 3221220496 134556671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12291 11366 1111 63 0 12228 0
vsize: 49164
[startup+90.0067 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 11424 0 0 0 8961 37 0 0 25 0 1 0 814970484 50343936 11366 4294967295 134512640 134714540 3221221776 3221220520 134672944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12291 11366 1111 63 0 12228 0
vsize: 49164
[startup+100.007 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 11424 0 0 0 9960 38 0 0 25 0 1 0 814970484 50343936 11366 4294967295 134512640 134714540 3221221776 3221220460 134558620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12291 11366 1111 63 0 12228 0
vsize: 49164
[startup+110.008 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 11446 0 0 0 10959 39 0 0 25 0 1 0 814970484 50479104 11388 4294967295 134512640 134714540 3221221776 3221220560 134624457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12324 11388 1111 63 0 12261 0
vsize: 49296
[startup+120.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 11660 0 0 0 11958 40 0 0 25 0 1 0 814970484 51425280 11602 4294967295 134512640 134714540 3221221776 3221220580 134610916 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12555 11602 1111 63 0 12492 0
vsize: 50220
[startup+130.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 12116 0 0 0 12956 42 0 0 25 0 1 0 814970484 53186560 12058 4294967295 134512640 134714540 3221221776 3221220336 134696619 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12985 12058 1111 63 0 12922 0
vsize: 51940
[startup+140.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 12116 0 0 0 13955 43 0 0 25 0 1 0 814970484 53186560 12058 4294967295 134512640 134714540 3221221776 3221220480 134556927 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12985 12058 1111 63 0 12922 0
vsize: 51940
[startup+150.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 12116 0 0 0 14955 44 0 0 25 0 1 0 814970484 53186560 12058 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12985 12058 1111 63 0 12922 0
vsize: 51940
[startup+160.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 12116 0 0 0 15954 44 0 0 25 0 1 0 814970484 53186560 12058 4294967295 134512640 134714540 3221221776 3221220524 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12985 12058 1111 63 0 12922 0
vsize: 51940
[startup+170.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 12246 0 0 0 16953 46 0 0 25 0 1 0 814970484 53727232 12188 4294967295 134512640 134714540 3221221776 3221220488 134553169 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13117 12188 1111 63 0 13054 0
vsize: 52468
[startup+180.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 12767 0 0 0 17950 49 0 0 25 0 1 0 814970484 55889920 12709 4294967295 134512640 134714540 3221221776 3221220520 134536883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13645 12709 1111 63 0 13582 0
vsize: 54580
[startup+190.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 13284 0 0 0 18948 51 0 0 25 0 1 0 814970484 58068992 13226 4294967295 134512640 134714540 3221221776 3221220340 134540530 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14177 13226 1111 63 0 14114 0
vsize: 56708
[startup+200.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 13284 0 0 0 19947 52 0 0 25 0 1 0 814970484 58068992 13226 4294967295 134512640 134714540 3221221776 3221220512 134556545 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14177 13226 1111 63 0 14114 0
vsize: 56708
[startup+210.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 13287 0 0 0 20947 53 0 0 25 0 1 0 814970484 58068992 13229 4294967295 134512640 134714540 3221221776 3221220524 134535620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14177 13229 1111 63 0 14114 0
vsize: 56708
[startup+220.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 13304 0 0 0 21946 54 0 0 25 0 1 0 814970484 58068992 13246 4294967295 134512640 134714540 3221221776 3221220328 134696493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14177 13246 1111 63 0 14114 0
vsize: 56708
[startup+230.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 13304 0 0 0 22945 55 0 0 25 0 1 0 814970484 58068992 13246 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14177 13246 1111 63 0 14114 0
vsize: 56708
[startup+240.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 13464 0 0 0 23944 56 0 0 25 0 1 0 814970484 58744832 13406 4294967295 134512640 134714540 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14342 13406 1111 63 0 14279 0
vsize: 57368
[startup+250.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 13464 0 0 0 24943 57 0 0 25 0 1 0 814970484 58744832 13406 4294967295 134512640 134714540 3221221776 3221220488 134558477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14342 13406 1111 63 0 14279 0
vsize: 57368
[startup+260.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 13464 0 0 0 25943 58 0 0 25 0 1 0 814970484 58744832 13406 4294967295 134512640 134714540 3221221776 3221220624 134623462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14342 13406 1111 63 0 14279 0
vsize: 57368
[startup+270.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 13800 0 0 0 26940 60 0 0 25 0 1 0 814970484 60133376 13742 4294967295 134512640 134714540 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14681 13742 1111 63 0 14618 0
vsize: 58724
[startup+280.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 13800 0 0 0 27940 61 0 0 25 0 1 0 814970484 60133376 13742 4294967295 134512640 134714540 3221221776 3221220060 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14681 13742 1111 63 0 14618 0
vsize: 58724
[startup+290.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 13866 0 0 0 28939 62 0 0 25 0 1 0 814970484 60403712 13808 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14747 13808 1111 63 0 14684 0
vsize: 58988
[startup+300.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 13970 0 0 0 29938 63 0 0 25 0 1 0 814970484 60805120 13912 4294967295 134512640 134714540 3221221776 3221220480 134556773 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14845 13912 1111 63 0 14782 0
vsize: 59380
[startup+310.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 14166 0 0 0 30937 64 0 0 25 0 1 0 814970484 61616128 14108 4294967295 134512640 134714540 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15043 14108 1111 63 0 14980 0
vsize: 60172
[startup+320.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 14166 0 0 0 31936 65 0 0 25 0 1 0 814970484 61616128 14108 4294967295 134512640 134714540 3221221776 3221220560 134558501 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15043 14108 1111 63 0 14980 0
vsize: 60172
[startup+330.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 14254 0 0 0 32935 66 0 0 25 0 1 0 814970484 62021632 14196 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15142 14196 1111 63 0 15079 0
vsize: 60568
[startup+340.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 14308 0 0 0 33934 67 0 0 25 0 1 0 814970484 62156800 14250 4294967295 134512640 134714540 3221221776 3221220608 134623281 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15175 14250 1111 63 0 15112 0
vsize: 60700
[startup+350.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 14464 0 0 0 34934 68 0 0 25 0 1 0 814970484 62803968 14406 4294967295 134512640 134714540 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15333 14406 1111 63 0 15270 0
vsize: 61332
[startup+360.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 14464 0 0 0 35932 69 0 0 25 0 1 0 814970484 62803968 14406 4294967295 134512640 134714540 3221221776 3221220648 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15333 14406 1111 63 0 15270 0
vsize: 61332
[startup+370.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 14477 0 0 0 36931 70 0 0 25 0 1 0 814970484 62939136 14419 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15366 14419 1111 63 0 15303 0
vsize: 61464
[startup+380.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 14605 0 0 0 37930 72 0 0 25 0 1 0 814970484 63475712 14547 4294967295 134512640 134714540 3221221776 3221220580 134610916 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15497 14547 1111 63 0 15434 0
vsize: 61988
[startup+390.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 14605 0 0 0 38928 73 0 0 25 0 1 0 814970484 63475712 14547 4294967295 134512640 134714540 3221221776 3221220560 134624457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15497 14547 1111 63 0 15434 0
vsize: 61988
[startup+400.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 14627 0 0 0 39928 74 0 0 25 0 1 0 814970484 63475712 14569 4294967295 134512640 134714540 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15497 14569 1111 63 0 15434 0
vsize: 61988
[startup+410.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 14747 0 0 0 40927 75 0 0 25 0 1 0 814970484 64016384 14689 4294967295 134512640 134714540 3221221776 3221220568 134542448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15629 14689 1111 63 0 15566 0
vsize: 62516
[startup+420.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 14787 0 0 0 41926 77 0 0 25 0 1 0 814970484 64151552 14729 4294967295 134512640 134714540 3221221776 3221220400 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15662 14729 1111 63 0 15599 0
vsize: 62648
[startup+430.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 14926 0 0 0 42925 78 0 0 25 0 1 0 814970484 64692224 14868 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15794 14868 1111 63 0 15731 0
vsize: 63176
[startup+440.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 15034 0 0 0 43924 79 0 0 25 0 1 0 814970484 65236992 14976 4294967295 134512640 134714540 3221221776 3221220496 134556677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15927 14976 1111 63 0 15864 0
vsize: 63708
[startup+450.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 15034 0 0 0 44923 80 0 0 25 0 1 0 814970484 65236992 14976 4294967295 134512640 134714540 3221221776 3221220568 134542448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15927 14976 1111 63 0 15864 0
vsize: 63708
[startup+460.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 15065 0 0 0 45922 81 0 0 25 0 1 0 814970484 65368064 15007 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15959 15007 1111 63 0 15896 0
vsize: 63836
[startup+470.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 15091 0 0 0 46921 82 0 0 25 0 1 0 814970484 65368064 15033 4294967295 134512640 134714540 3221221776 3221220552 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15959 15033 1111 63 0 15896 0
vsize: 63836
[startup+480.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 15119 0 0 0 47920 84 0 0 25 0 1 0 814970484 65503232 15061 4294967295 134512640 134714540 3221221776 3221220488 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15992 15061 1111 63 0 15929 0
vsize: 63968
[startup+490.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 15159 0 0 0 48919 84 0 0 25 0 1 0 814970484 65638400 15101 4294967295 134512640 134714540 3221221776 3221220528 134624806 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16025 15101 1111 63 0 15962 0
vsize: 64100
[startup+500.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 15300 0 0 0 49918 86 0 0 25 0 1 0 814970484 66314240 15242 4294967295 134512640 134714540 3221221776 3221220592 134611099 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16190 15242 1111 63 0 16127 0
vsize: 64760
[startup+510.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 15374 0 0 0 50916 87 0 0 25 0 1 0 814970484 66584576 15316 4294967295 134512640 134714540 3221221776 3221220492 134553168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16256 15316 1111 63 0 16193 0
vsize: 65024
[startup+520.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 15374 0 0 0 51916 88 0 0 25 0 1 0 814970484 66584576 15316 4294967295 134512640 134714540 3221221776 3221220492 134558560 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16256 15316 1111 63 0 16193 0
vsize: 65024
[startup+530.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 15374 0 0 0 52915 88 0 0 25 0 1 0 814970484 66584576 15316 4294967295 134512640 134714540 3221221776 3221220400 134536675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16256 15316 1111 63 0 16193 0
vsize: 65024
[startup+540.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 15374 0 0 0 53915 89 0 0 25 0 1 0 814970484 66584576 15316 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16256 15316 1111 63 0 16193 0
vsize: 65024
[startup+550.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 15406 0 0 0 54914 91 0 0 25 0 1 0 814970484 66719744 15348 4294967295 134512640 134714540 3221221776 3221220520 134556932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16289 15348 1111 63 0 16226 0
vsize: 65156
[startup+560.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 15505 0 0 0 55913 91 0 0 25 0 1 0 814970484 67125248 15447 4294967295 134512640 134714540 3221221776 3221220496 134622865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16388 15447 1111 63 0 16325 0
vsize: 65552
[startup+570.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 15559 0 0 0 56912 92 0 0 25 0 1 0 814970484 67399680 15501 4294967295 134512640 134714540 3221221776 3221220336 134542306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16455 15501 1111 63 0 16392 0
vsize: 65820
[startup+580.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 15620 0 0 0 57912 93 0 0 25 0 1 0 814970484 67534848 15562 4294967295 134512640 134714540 3221221776 3221220624 134623462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16488 15562 1111 63 0 16425 0
vsize: 65952
[startup+590.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 15620 0 0 0 58911 94 0 0 25 0 1 0 814970484 67534848 15562 4294967295 134512640 134714540 3221221776 3221220332 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16488 15562 1111 63 0 16425 0
vsize: 65952
[startup+600.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 15645 0 0 0 59910 95 0 0 25 0 1 0 814970484 67670016 15587 4294967295 134512640 134714540 3221221776 3221220316 134539298 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16521 15587 1111 63 0 16458 0
vsize: 66084
[startup+610.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 15759 0 0 0 60909 96 0 0 25 0 1 0 814970484 68186112 15701 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16647 15701 1111 63 0 16584 0
vsize: 66588
[startup+620.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 15759 0 0 0 61908 97 0 0 25 0 1 0 814970484 68186112 15701 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16647 15701 1111 63 0 16584 0
vsize: 66588
[startup+630.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 15834 0 0 0 62908 98 0 0 25 0 1 0 814970484 68403200 15776 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16700 15776 1111 63 0 16637 0
vsize: 66800
[startup+640.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 15834 0 0 0 63908 98 0 0 25 0 1 0 814970484 68403200 15776 4294967295 134512640 134714540 3221221776 3221220492 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16700 15776 1111 63 0 16637 0
vsize: 66800
[startup+650.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 15834 0 0 0 64907 98 0 0 25 0 1 0 814970484 68403200 15776 4294967295 134512640 134714540 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16700 15776 1111 63 0 16637 0
vsize: 66800
[startup+660.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 15834 0 0 0 65907 99 0 0 25 0 1 0 814970484 68403200 15776 4294967295 134512640 134714540 3221221776 3221220496 134622786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16700 15776 1111 63 0 16637 0
vsize: 66800
[startup+670.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 15839 0 0 0 66907 99 0 0 25 0 1 0 814970484 68538368 15781 4294967295 134512640 134714540 3221221776 3221220504 134622758 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16733 15781 1111 63 0 16670 0
vsize: 66932
[startup+680.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 15858 0 0 0 67906 100 0 0 25 0 1 0 814970484 68538368 15800 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16733 15800 1111 63 0 16670 0
vsize: 66932
[startup+690.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 15861 0 0 0 68906 101 0 0 25 0 1 0 814970484 68538368 15803 4294967295 134512640 134714540 3221221776 3221220592 134611108 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16733 15803 1111 63 0 16670 0
vsize: 66932
[startup+700.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 15861 0 0 0 69906 101 0 0 25 0 1 0 814970484 68538368 15803 4294967295 134512640 134714540 3221221776 3221220304 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16733 15803 1111 63 0 16670 0
vsize: 66932
[startup+710.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 15861 0 0 0 70906 101 0 0 25 0 1 0 814970484 68538368 15803 4294967295 134512640 134714540 3221221776 3221220620 134623273 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16733 15803 1111 63 0 16670 0
vsize: 66932
[startup+720.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 15861 0 0 0 71906 101 0 0 25 0 1 0 814970484 68538368 15803 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16733 15803 1111 63 0 16670 0
vsize: 66932
[startup+730.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 15871 0 0 0 72906 101 0 0 25 0 1 0 814970484 68673536 15813 4294967295 134512640 134714540 3221221776 3221220572 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16766 15813 1111 63 0 16703 0
vsize: 67064
[startup+740.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 15919 0 0 0 73906 102 0 0 25 0 1 0 814970484 68808704 15861 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16799 15861 1111 63 0 16736 0
vsize: 67196
[startup+750.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 16071 0 0 0 74905 103 0 0 25 0 1 0 814970484 69484544 16013 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16964 16013 1111 63 0 16901 0
vsize: 67856
[startup+760.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 16115 0 0 0 75904 103 0 0 25 0 1 0 814970484 69644288 16057 4294967295 134512640 134714540 3221221776 3221220580 134622267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17003 16057 1111 63 0 16940 0
vsize: 68012
[startup+770.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 16115 0 0 0 76904 104 0 0 25 0 1 0 814970484 69537792 16055 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16977 16055 1111 63 0 16914 0
vsize: 67908
[startup+780.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 16115 0 0 0 77904 104 0 0 25 0 1 0 814970484 69537792 16055 4294967295 134512640 134714540 3221221776 3221220568 134542412 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16977 16055 1111 63 0 16914 0
vsize: 67908
[startup+790.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 16115 0 0 0 78904 104 0 0 25 0 1 0 814970484 69537792 16055 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16977 16055 1111 63 0 16914 0
vsize: 67908
[startup+800.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 16189 0 0 0 79904 105 0 0 25 0 1 0 814970484 69943296 16129 4294967295 134512640 134714540 3221221776 3221220416 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17076 16129 1111 63 0 17013 0
vsize: 68304
[startup+810.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 16189 0 0 0 80904 105 0 0 25 0 1 0 814970484 69943296 16129 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17076 16129 1111 63 0 17013 0
vsize: 68304
[startup+820.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 16189 0 0 0 81904 105 0 0 25 0 1 0 814970484 69943296 16129 4294967295 134512640 134714540 3221221776 3221220488 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17076 16129 1111 63 0 17013 0
vsize: 68304
[startup+830.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 16194 0 0 0 82904 105 0 0 25 0 1 0 814970484 69943296 16134 4294967295 134512640 134714540 3221221776 3221220504 134622758 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17076 16134 1111 63 0 17013 0
vsize: 68304
[startup+840.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 16194 0 0 0 83904 106 0 0 25 0 1 0 814970484 69943296 16134 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17076 16134 1111 63 0 17013 0
vsize: 68304
[startup+850.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 16211 0 0 0 84904 106 0 0 25 0 1 0 814970484 69943296 16151 4294967295 134512640 134714540 3221221776 3221220592 134622124 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17076 16151 1111 63 0 17013 0
vsize: 68304
[startup+860.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 16211 0 0 0 85903 106 0 0 25 0 1 0 814970484 69943296 16151 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17076 16151 1111 63 0 17013 0
vsize: 68304
[startup+870.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 16211 0 0 0 86903 107 0 0 25 0 1 0 814970484 69943296 16151 4294967295 134512640 134714540 3221221776 3221220568 134543165 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17076 16151 1111 63 0 17013 0
vsize: 68304
[startup+880.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 16211 0 0 0 87903 107 0 0 25 0 1 0 814970484 69943296 16151 4294967295 134512640 134714540 3221221776 3221220472 134558629 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17076 16151 1111 63 0 17013 0
vsize: 68304
[startup+890.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 16213 0 0 0 88903 107 0 0 25 0 1 0 814970484 69943296 16153 4294967295 134512640 134714540 3221221776 3221220512 134622722 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17076 16153 1111 63 0 17013 0
vsize: 68304
[startup+900.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 16252 0 0 0 89903 107 0 0 25 0 1 0 814970484 70213632 16192 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17142 16192 1111 63 0 17079 0
vsize: 68568
[startup+910.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 16252 0 0 0 90903 108 0 0 25 0 1 0 814970484 70213632 16192 4294967295 134512640 134714540 3221221776 3221220492 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17142 16192 1111 63 0 17079 0
vsize: 68568
[startup+920.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 16267 0 0 0 91903 108 0 0 25 0 1 0 814970484 70213632 16207 4294967295 134512640 134714540 3221221776 3221220464 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17142 16207 1111 63 0 17079 0
vsize: 68568
[startup+930.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 16348 0 0 0 92902 109 0 0 25 0 1 0 814970484 70619136 16288 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17241 16288 1111 63 0 17178 0
vsize: 68964
[startup+940.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 16351 0 0 0 93902 109 0 0 25 0 1 0 814970484 70619136 16291 4294967295 134512640 134714540 3221221776 3221220488 134558485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17241 16291 1111 63 0 17178 0
vsize: 68964
[startup+950.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 16372 0 0 0 94902 109 0 0 25 0 1 0 814970484 70619136 16312 4294967295 134512640 134714540 3221221776 3221220580 134622157 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17241 16312 1111 63 0 17178 0
vsize: 68964
[startup+960.042 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 16372 0 0 0 95901 110 0 0 25 0 1 0 814970484 70619136 16312 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17241 16312 1111 63 0 17178 0
vsize: 68964
[startup+970.043 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 16402 0 0 0 96901 110 0 0 25 0 1 0 814970484 70754304 16342 4294967295 134512640 134714540 3221221776 3221220576 134622417 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17274 16342 1111 63 0 17211 0
vsize: 69096
[startup+980.043 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 16402 0 0 0 97902 110 0 0 25 0 1 0 814970484 70754304 16342 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17274 16342 1111 63 0 17211 0
vsize: 69096
[startup+990.044 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 16402 0 0 0 98902 110 0 0 25 0 1 0 814970484 70754304 16342 4294967295 134512640 134714540 3221221776 3221220512 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17274 16342 1111 63 0 17211 0
vsize: 69096
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 16436 0 0 0 99902 110 0 0 25 0 1 0 814970484 70889472 16376 4294967295 134512640 134714540 3221221776 3221220480 134556515 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17307 16376 1111 63 0 17244 0
vsize: 69228
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 16436 0 0 0 100902 111 0 0 25 0 1 0 814970484 70889472 16376 4294967295 134512640 134714540 3221221776 3221220568 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17307 16376 1111 63 0 17244 0
vsize: 69228
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 16436 0 0 0 101902 111 0 0 25 0 1 0 814970484 70889472 16376 4294967295 134512640 134714540 3221221776 3221220576 134622353 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17307 16376 1111 63 0 17244 0
vsize: 69228
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 16436 0 0 0 102902 111 0 0 25 0 1 0 814970484 70889472 16376 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17307 16376 1111 63 0 17244 0
vsize: 69228
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 16436 0 0 0 103902 111 0 0 25 0 1 0 814970484 70889472 16376 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17307 16376 1111 63 0 17244 0
vsize: 69228
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 16436 0 0 0 104902 111 0 0 25 0 1 0 814970484 70889472 16376 4294967295 134512640 134714540 3221221776 3221220580 134622413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17307 16376 1111 63 0 17244 0
vsize: 69228
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 16436 0 0 0 105902 112 0 0 25 0 1 0 814970484 70889472 16376 4294967295 134512640 134714540 3221221776 3221220580 134610916 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17307 16376 1111 63 0 17244 0
vsize: 69228
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 16628 0 0 0 106901 112 0 0 25 0 1 0 814970484 71700480 16568 4294967295 134512640 134714540 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17505 16568 1111 63 0 17442 0
vsize: 70020
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 16628 0 0 0 107901 112 0 0 25 0 1 0 814970484 71700480 16568 4294967295 134512640 134714540 3221221776 3221220364 134536845 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17505 16568 1111 63 0 17442 0
vsize: 70020
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 16628 0 0 0 108901 113 0 0 25 0 1 0 814970484 71700480 16568 4294967295 134512640 134714540 3221221776 3221220496 134556680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17505 16568 1111 63 0 17442 0
vsize: 70020
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 16628 0 0 0 109901 113 0 0 25 0 1 0 814970484 71700480 16568 4294967295 134512640 134714540 3221221776 3221220512 134622749 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17505 16568 1111 63 0 17442 0
vsize: 70020
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 16628 0 0 0 110901 113 0 0 25 0 1 0 814970484 71700480 16568 4294967295 134512640 134714540 3221221776 3221220616 134623277 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17505 16568 1111 63 0 17442 0
vsize: 70020
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 16639 0 0 0 111901 113 0 0 25 0 1 0 814970484 71700480 16579 4294967295 134512640 134714540 3221221776 3221220416 134696407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17505 16579 1111 63 0 17442 0
vsize: 70020
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 16767 0 0 0 112901 114 0 0 25 0 1 0 814970484 72241152 16707 4294967295 134512640 134714540 3221221776 3221220568 134542448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17637 16707 1111 63 0 17574 0
vsize: 70548
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 16767 0 0 0 113900 114 0 0 25 0 1 0 814970484 72241152 16707 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17637 16707 1111 63 0 17574 0
vsize: 70548
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 16767 0 0 0 114900 114 0 0 25 0 1 0 814970484 72241152 16707 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17637 16707 1111 63 0 17574 0
vsize: 70548
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 16767 0 0 0 115900 115 0 0 25 0 1 0 814970484 72241152 16707 4294967295 134512640 134714540 3221221776 3221220520 134536877 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17637 16707 1111 63 0 17574 0
vsize: 70548
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 16767 0 0 0 116901 115 0 0 25 0 1 0 814970484 72241152 16707 4294967295 134512640 134714540 3221221776 3221220492 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17637 16707 1111 63 0 17574 0
vsize: 70548
[startup+1175.39 s]
Raw data (loadavg): 0.99 0.98 0.91 1/54 27268
Raw data (stat): 27268 (bsolo_mis) R 27267 7876 7672 0 -1 0 16767 0 0 0 116901 115 0 0 25 0 1 0 814970484 72241152 16707 4294967295 134512640 134714540 3221221776 3221220492 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17637 16707 1111 63 0 17574 0
vsize: 0

Child status: 0
Real time (s): 1175.39
CPU time (s): 1175.51
CPU user time (s): 1174.32
CPU system time (s): 1.18282
CPU usage (%): 100.01
Max. virtual memory (Kb): 70548
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####