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/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-railway_8_1_0.opb
MD5SUM	9689869ef48b5a0c26d142f61d149c48
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	51200
Optimality of the best value was proved	NO
Number of terms in the objective function	123
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1061759
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	128000000
Number of bits of the biggest number in a constraint	27
Biggest sum of numbers in a constraint	268469758
Number of bits of the biggest sum of numbers	29
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.08
Number of variables	17883
Total number of constraints	4322
Number of constraints which are clauses	426
Number of constraints which are cardinality constraints (but not clauses)	1177
Number of constraints which are nor clauses,nor cardinality constraints	2719
Minimum length of a constraint	1
Maximum length of a constraint	55
Trace number 25188

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-17 10:20:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20192 boxname=wulflinc31 idbench=1554 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  9689869ef48b5a0c26d142f61d149c48  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-railway_8_1_0.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-railway_8_1_0.opb
IDLAUNCH: 20192
/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:        693832 kB
Buffers:         24408 kB
Cached:         288576 kB
SwapCached:       1040 kB
Active:          95420 kB
Inactive:       225584 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        693580 kB
SwapTotal:     2097892 kB
SwapFree:      2096060 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            14176 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-17 10:40:08 (client local time) WITH STATUS 0 IN 1175.16 SECONDS
stats: 20192 7 1175.16 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 17883 variables and 3146 constraints.
c After prepocess the problem consists of 17825 variables and 3144 constraints.
c preprocess terminated 16.727 s
c Initial Lower Bound: 50816
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.06 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): 1.14 1.03 1.01 2/55 25417
Raw data (stat): 25417 (runsolver) R 25416 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 768965442 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 0 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0009 s]
Raw data (loadavg): 1.12 1.03 1.01 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39856 0 0 0 899 97 0 0 25 0 1 0 768965442 167305216 39810 4294967295 134512640 134714540 3221221776 3221220504 134672938 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40846 39810 1111 63 0 40783 0
vsize: 163384
[startup+20.0017 s]
Raw data (loadavg): 1.10 1.03 1.01 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39908 0 0 0 1899 97 0 0 25 0 1 0 768965442 167591936 39862 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40916 39862 1111 63 0 40853 0
vsize: 163664
[startup+30.0023 s]
Raw data (loadavg): 1.08 1.03 1.01 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39908 0 0 0 2898 98 0 0 25 0 1 0 768965442 167591936 39862 4294967295 134512640 134714540 3221221776 3221220540 134543540 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40916 39862 1111 63 0 40853 0
vsize: 163664
[startup+40.0026 s]
Raw data (loadavg): 1.07 1.03 1.01 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39908 0 0 0 3898 98 0 0 25 0 1 0 768965442 167591936 39862 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40916 39862 1111 63 0 40853 0
vsize: 163664
[startup+50.0025 s]
Raw data (loadavg): 1.06 1.03 1.01 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39910 0 0 0 4898 99 0 0 25 0 1 0 768965442 167591936 39864 4294967295 134512640 134714540 3221221776 3221220492 134553168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40916 39864 1111 63 0 40853 0
vsize: 163664
[startup+60.0031 s]
Raw data (loadavg): 1.05 1.02 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39910 0 0 0 5897 100 0 0 25 0 1 0 768965442 167591936 39864 4294967295 134512640 134714540 3221221776 3221220488 134558629 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40916 39864 1111 63 0 40853 0
vsize: 163664
[startup+70.0034 s]
Raw data (loadavg): 1.04 1.02 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39910 0 0 0 6896 100 0 0 25 0 1 0 768965442 167591936 39864 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40916 39864 1111 63 0 40853 0
vsize: 163664
[startup+80.0046 s]
Raw data (loadavg): 1.04 1.02 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39910 0 0 0 7896 100 0 0 25 0 1 0 768965442 167591936 39864 4294967295 134512640 134714540 3221221776 3221220488 134558629 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40916 39864 1111 63 0 40853 0
vsize: 163664
[startup+90.0048 s]
Raw data (loadavg): 1.03 1.02 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39912 0 0 0 8896 101 0 0 25 0 1 0 768965442 167591936 39866 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40916 39866 1111 63 0 40853 0
vsize: 163664
[startup+100.005 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39912 0 0 0 9896 101 0 0 25 0 1 0 768965442 167591936 39866 4294967295 134512640 134714540 3221221776 3221220476 134558607 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40916 39866 1111 63 0 40853 0
vsize: 163664
[startup+110.006 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39914 0 0 0 10895 102 0 0 25 0 1 0 768965442 167591936 39868 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40916 39868 1111 63 0 40853 0
vsize: 163664
[startup+120.007 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39914 0 0 0 11895 103 0 0 25 0 1 0 768965442 167591936 39868 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40916 39868 1111 63 0 40853 0
vsize: 163664
[startup+130.008 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39914 0 0 0 12895 103 0 0 25 0 1 0 768965442 167591936 39868 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40916 39868 1111 63 0 40853 0
vsize: 163664
[startup+140.009 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39916 0 0 0 13894 103 0 0 25 0 1 0 768965442 167591936 39870 4294967295 134512640 134714540 3221221776 3221220548 134624473 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40916 39870 1111 63 0 40853 0
vsize: 163664
[startup+150.009 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39916 0 0 0 14894 104 0 0 25 0 1 0 768965442 167591936 39870 4294967295 134512640 134714540 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40916 39870 1111 63 0 40853 0
vsize: 163664
[startup+160.01 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39916 0 0 0 15894 104 0 0 25 0 1 0 768965442 167591936 39870 4294967295 134512640 134714540 3221221776 3221220480 134556911 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40916 39870 1111 63 0 40853 0
vsize: 163664
[startup+170.01 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39918 0 0 0 16894 104 0 0 25 0 1 0 768965442 167591936 39872 4294967295 134512640 134714540 3221221776 3221220496 134556680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40916 39872 1111 63 0 40853 0
vsize: 163664
[startup+180.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39918 0 0 0 17893 105 0 0 25 0 1 0 768965442 167591936 39872 4294967295 134512640 134714540 3221221776 3221220524 134543556 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39872 1111 63 0 40853 0
vsize: 163664
[startup+190.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39920 0 0 0 18894 105 0 0 25 0 1 0 768965442 167591936 39874 4294967295 134512640 134714540 3221221776 3221220624 134623456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39874 1111 63 0 40853 0
vsize: 163664
[startup+200.011 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39920 0 0 0 19894 105 0 0 25 0 1 0 768965442 167591936 39874 4294967295 134512640 134714540 3221221776 3221220448 134553189 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39874 1111 63 0 40853 0
vsize: 163664
[startup+210.011 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39922 0 0 0 20893 105 0 0 25 0 1 0 768965442 167591936 39876 4294967295 134512640 134714540 3221221776 3221220520 134536877 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39876 1111 63 0 40853 0
vsize: 163664
[startup+220.011 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39922 0 0 0 21893 106 0 0 25 0 1 0 768965442 167591936 39876 4294967295 134512640 134714540 3221221776 3221220520 134556383 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39876 1111 63 0 40853 0
vsize: 163664
[startup+230.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39924 0 0 0 22893 106 0 0 25 0 1 0 768965442 167591936 39878 4294967295 134512640 134714540 3221221776 3221220608 134623284 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39878 1111 63 0 40853 0
vsize: 163664
[startup+240.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39924 0 0 0 23893 106 0 0 25 0 1 0 768965442 167591936 39878 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39878 1111 63 0 40853 0
vsize: 163664
[startup+250.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39926 0 0 0 24893 107 0 0 25 0 1 0 768965442 167591936 39880 4294967295 134512640 134714540 3221221776 3221220560 134624377 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39880 1111 63 0 40853 0
vsize: 163664
[startup+260.012 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39928 0 0 0 25893 107 0 0 25 0 1 0 768965442 167591936 39882 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39882 1111 63 0 40853 0
vsize: 163664
[startup+270.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39928 0 0 0 26893 107 0 0 25 0 1 0 768965442 167591936 39882 4294967295 134512640 134714540 3221221776 3221220488 134558568 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39882 1111 63 0 40853 0
vsize: 163664
[startup+280.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39930 0 0 0 27893 107 0 0 25 0 1 0 768965442 167591936 39884 4294967295 134512640 134714540 3221221776 3221220496 134556642 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39884 1111 63 0 40853 0
vsize: 163664
[startup+290.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39932 0 0 0 28891 108 0 0 25 0 1 0 768965442 167591936 39886 4294967295 134512640 134714540 3221221776 3221220472 134558621 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39886 1111 63 0 40853 0
vsize: 163664
[startup+300.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39934 0 0 0 29891 109 0 0 25 0 1 0 768965442 167591936 39888 4294967295 134512640 134714540 3221221776 3221220536 134624416 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39888 1111 63 0 40853 0
vsize: 163664
[startup+310.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 30891 109 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220416 134535032 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+320.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 31891 110 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220564 134625040 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+330.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 32890 110 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220524 134535534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+340.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 33891 110 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220560 134624391 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+350.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 34890 111 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220344 134543589 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+360.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 35890 111 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220500 134556636 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+370.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 36890 111 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220344 1077377221 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+380.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 37890 112 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220416 134535032 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+390.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 38890 112 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220336 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+400.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 39890 112 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+410.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 40890 113 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+420.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 41890 113 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220568 134558582 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+430.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 42890 113 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220344 1077378406 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+440.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 43890 113 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+450.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 44890 114 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220412 134523614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+460.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 45890 114 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+470.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 46890 114 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220508 134532440 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+480.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 47889 114 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220372 134543680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+490.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 48889 115 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+500.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 49889 115 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220356 1077378638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+510.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 50889 115 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220400 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+520.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 51889 115 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220472 134558621 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+530.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 52889 115 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220416 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+540.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 53890 116 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220576 134610917 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+550.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 54889 116 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220336 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+560.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 55889 116 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220568 134542448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+570.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 56889 116 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+580.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 57889 117 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220480 134535807 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+590.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 58889 117 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220580 134610916 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+600.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 59889 118 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220484 134556757 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+610.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 60889 118 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220332 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+620.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 61889 118 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220560 134528780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+630.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 62889 118 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+640.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 63889 118 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220368 134543684 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+650.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 64889 118 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+660.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 65889 119 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220568 134542448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+670.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 66889 119 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220332 134539324 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+680.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 67889 119 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220520 134536877 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+690.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 68889 119 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220520 134536857 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+700.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 69889 119 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220392 134613965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+710.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 70889 120 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220060 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+720.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 71889 120 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220400 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+730.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 72889 120 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220492 134558620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+740.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 73889 120 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+750.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 74889 120 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220416 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+760.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 75889 120 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220568 134542448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+770.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 76890 120 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220544 134592328 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+780.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 77890 120 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220416 134696114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+790.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 78890 120 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220544 134592424 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+800.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 79890 120 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+810.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 80890 121 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220544 134542598 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+820.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 81890 121 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+830.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 82890 121 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220324 134696760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+840.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 83890 121 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+850.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 84890 121 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220416 134613422 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+860.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 85890 121 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220432 134536738 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+870.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 86890 121 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220472 134558621 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+880.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 87891 121 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+890.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 88890 122 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220524 134535616 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+900.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 89890 122 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220416 134696117 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+910.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 90890 122 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220364 134542288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+920.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 91890 123 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220520 134536877 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+930.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 92890 123 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220520 134672929 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+940.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 93891 123 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220336 134696576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+950.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 94891 123 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220520 134672944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+960.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 95891 123 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220400 134535391 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+970.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 96891 123 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220568 134542450 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+980.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 97891 123 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+990.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 98891 123 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 99892 123 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220416 134613411 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 100892 123 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220520 134558544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 101892 123 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220432 134536591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 102891 124 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 103891 124 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220520 134536877 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 104891 124 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220332 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 105891 124 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220416 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 106891 124 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 107891 124 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220480 134524443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 108891 125 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220464 134534122 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 109891 125 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220440 134543617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 110892 125 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220520 134672932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 111892 125 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220060 1077379903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 112892 125 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220520 134672944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 113892 125 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220420 134524123 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 114892 125 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220604 134624368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 115892 125 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220416 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 116892 125 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220404 134696257 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 163664
[startup+1175.03 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 25417
Raw data (stat): 25417 (bsolo_mis) R 25416 7876 7672 0 -1 0 39936 0 0 0 116892 125 0 0 25 0 1 0 768965442 167591936 39890 4294967295 134512640 134714540 3221221776 3221220404 134696257 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40916 39890 1111 63 0 40853 0
vsize: 0

Child status: 0
Real time (s): 1175.03
CPU time (s): 1175.16
CPU user time (s): 1173.83
CPU system time (s): 1.3328
CPU usage (%): 100.011
Max. virtual memory (Kb): 163664
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####