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-sp98ar.opb
MD5SUM	9565d6b3010c78b37c39352cc9731cb7
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	15085
Biggest coefficient in the objective function	504328818
Number of bits for the biggest coefficient in the objective function	29
Sum of the numbers in the objective function	2067304124713
Number of bits of the sum of numbers in the objective function	41
Biggest number in a constraint	504328818
Number of bits of the biggest number in a constraint	29
Biggest sum of numbers in a constraint	2067304124713
Number of bits of the biggest sum of numbers	41
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	14.4348
Number of variables	15085
Total number of constraints	16520
Number of constraints which are clauses	181
Number of constraints which are cardinality constraints (but not clauses)	15927
Number of constraints which are nor clauses,nor cardinality constraints	412
Minimum length of a constraint	1
Maximum length of a constraint	4222
Trace number 25323

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-18 11:10:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20257 boxname=wulflinc31 idbench=1559 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  9565d6b3010c78b37c39352cc9731cb7  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sp98ar.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sp98ar.opb
IDLAUNCH: 20257
/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:        725944 kB
Buffers:         21164 kB
Cached:         264524 kB
SwapCached:        932 kB
Active:          97396 kB
Inactive:       191556 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        725692 kB
SwapTotal:     2097892 kB
SwapFree:      2096072 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            13948 kB
Committed_AS:    63840 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-18 11:29:37 (client local time) WITH STATUS 0 IN 1175.28 SECONDS
stats: 20257 7 1175.28 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 15085 variables and 1430 constraints.
c After prepocess the problem consists of 15076 variables and 1368 constraints.
c preprocess terminated 615.739 s
c Initial Lower Bound: 617470868
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): 0.93 0.98 0.98 2/55 7301
Raw data (stat): 7301 (runsolver) R 7300 7876 7672 0 -1 64 3 0 0 0 0 0 0 0 19 0 1 0 777903362 1056768 98 4294967295 134512640 135381576 3221221680 3221217048 135024940 0 0 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 98 215 215 0 43 0
vsize: 1032
[startup+10.0003 s]
Raw data (loadavg): 0.94 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 18780 0 0 0 959 37 0 0 25 0 1 0 777903362 90296320 18757 4294967295 134512640 134714540 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22045 18757 1111 63 0 21982 0
vsize: 88180
[startup+20.0012 s]
Raw data (loadavg): 0.95 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 36658 0 0 0 1924 72 0 0 25 0 1 0 777903362 163606528 36635 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39943 36635 1111 63 0 39880 0
vsize: 159772
[startup+30.0024 s]
Raw data (loadavg): 0.95 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 53997 0 0 0 2891 105 0 0 25 0 1 0 777903362 234692608 53974 4294967295 134512640 134714540 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57298 53974 1111 63 0 57235 0
vsize: 229192
[startup+40.003 s]
Raw data (loadavg): 0.96 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 72684 0 0 0 3856 141 0 0 25 0 1 0 777903362 311136256 72661 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75961 72661 1111 63 0 75898 0
vsize: 303844
[startup+50.0036 s]
Raw data (loadavg): 0.97 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 89799 0 0 0 4823 174 0 0 25 0 1 0 777903362 381165568 89776 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93058 89776 1111 63 0 92995 0
vsize: 372232
[startup+60.0038 s]
Raw data (loadavg): 0.97 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 92963 0 0 0 5816 180 0 0 25 0 1 0 777903362 394141696 92940 4294967295 134512640 134714540 3221221776 3221220052 1077414336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96226 92940 1111 63 0 96163 0
vsize: 384904
[startup+70.0047 s]
Raw data (loadavg): 0.97 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 93562 0 0 0 6814 183 0 0 25 0 1 0 777903362 396763136 93537 4294967295 134512640 134714540 3221221776 3221220052 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96866 93537 1111 63 0 96803 0
vsize: 387464
[startup+80.0054 s]
Raw data (loadavg): 0.98 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 94246 0 0 0 7812 185 0 0 25 0 1 0 777903362 399642624 94219 4294967295 134512640 134714540 3221221776 3221220272 134539146 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 97569 94219 1111 63 0 97506 0
vsize: 390276
[startup+90.0059 s]
Raw data (loadavg): 0.98 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 94973 0 0 0 8809 188 0 0 25 0 1 0 777903362 402640896 94946 4294967295 134512640 134714540 3221221776 3221220364 1076647536 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 98301 94946 1111 63 0 98238 0
vsize: 393204
[startup+100.007 s]
Raw data (loadavg): 0.98 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 95848 0 0 0 9807 191 0 0 25 0 1 0 777903362 406323200 95821 4294967295 134512640 134714540 3221221776 3221220052 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 99200 95821 1111 63 0 99137 0
vsize: 396800
[startup+110.007 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 96719 0 0 0 10805 193 0 0 25 0 1 0 777903362 409870336 96692 4294967295 134512640 134714540 3221221776 3221220052 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 100066 96692 1111 63 0 100003 0
vsize: 400264
[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 97587 0 0 0 11802 196 0 0 25 0 1 0 777903362 413540352 97560 4294967295 134512640 134714540 3221221776 3221220064 134566780 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 100962 97560 1111 63 0 100899 0
vsize: 403848
[startup+130.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 98392 0 0 0 12800 198 0 0 25 0 1 0 777903362 416804864 98365 4294967295 134512640 134714540 3221221776 3221220052 1077414399 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 101759 98365 1111 63 0 101696 0
vsize: 407036
[startup+140.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 99141 0 0 0 13798 200 0 0 25 0 1 0 777903362 419942400 99114 4294967295 134512640 134714540 3221221776 3221218220 1077359309 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 102525 99114 1111 63 0 102462 0
vsize: 410100
[startup+150.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 99930 0 0 0 14796 202 0 0 25 0 1 0 777903362 423198720 99903 4294967295 134512640 134714540 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 103320 99903 1111 63 0 103257 0
vsize: 413280
[startup+160.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101164 0 0 0 15792 206 0 0 25 0 1 0 777903362 418566144 101055 4294967295 134512640 134714540 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 102189 101055 1111 63 0 102126 0
vsize: 408756
[startup+170.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101164 0 0 0 16792 206 0 0 25 0 1 0 777903362 418566144 101055 4294967295 134512640 134714540 3221221776 3221220244 134543092 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 102189 101055 1111 63 0 102126 0
vsize: 408756
[startup+180.013 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101164 0 0 0 17792 206 0 0 25 0 1 0 777903362 418566144 101055 4294967295 134512640 134714540 3221221776 3221220220 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 102189 101055 1111 63 0 102126 0
vsize: 408756
[startup+190.013 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101164 0 0 0 18792 207 0 0 25 0 1 0 777903362 418566144 101055 4294967295 134512640 134714540 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 102189 101055 1111 63 0 102126 0
vsize: 408756
[startup+200.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101164 0 0 0 19791 208 0 0 25 0 1 0 777903362 418566144 101055 4294967295 134512640 134714540 3221221776 3221220220 134535897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 102189 101055 1111 63 0 102126 0
vsize: 408756
[startup+210.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101164 0 0 0 20791 208 0 0 25 0 1 0 777903362 418566144 101055 4294967295 134512640 134714540 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 102189 101055 1111 63 0 102126 0
vsize: 408756
[startup+220.016 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101164 0 0 0 21791 208 0 0 25 0 1 0 777903362 418566144 101055 4294967295 134512640 134714540 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 102189 101055 1111 63 0 102126 0
vsize: 408756
[startup+230.016 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101164 0 0 0 22791 208 0 0 25 0 1 0 777903362 418566144 101055 4294967295 134512640 134714540 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 102189 101055 1111 63 0 102126 0
vsize: 408756
[startup+240.017 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101164 0 0 0 23790 209 0 0 25 0 1 0 777903362 418566144 101055 4294967295 134512640 134714540 3221221776 3221220244 134543092 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 102189 101055 1111 63 0 102126 0
vsize: 408756
[startup+250.018 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101164 0 0 0 24790 209 0 0 25 0 1 0 777903362 418566144 101055 4294967295 134512640 134714540 3221221776 3221220256 134543110 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 102189 101055 1111 63 0 102126 0
vsize: 408756
[startup+260.018 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101164 0 0 0 25790 209 0 0 25 0 1 0 777903362 418566144 101055 4294967295 134512640 134714540 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 102189 101055 1111 63 0 102126 0
vsize: 408756
[startup+270.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101164 0 0 0 26790 209 0 0 25 0 1 0 777903362 418566144 101055 4294967295 134512640 134714540 3221221776 3221220220 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 102189 101055 1111 63 0 102126 0
vsize: 408756
[startup+280.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101164 0 0 0 27790 210 0 0 25 0 1 0 777903362 418566144 101055 4294967295 134512640 134714540 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 102189 101055 1111 63 0 102126 0
vsize: 408756
[startup+290.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101164 0 0 0 28789 210 0 0 25 0 1 0 777903362 418566144 101055 4294967295 134512640 134714540 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 102189 101055 1111 63 0 102126 0
vsize: 408756
[startup+300.021 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101164 0 0 0 29789 210 0 0 25 0 1 0 777903362 418566144 101055 4294967295 134512640 134714540 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 102189 101055 1111 63 0 102126 0
vsize: 408756
[startup+310.021 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101164 0 0 0 30789 211 0 0 25 0 1 0 777903362 418566144 101055 4294967295 134512640 134714540 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 102189 101055 1111 63 0 102126 0
vsize: 408756
[startup+320.022 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101164 0 0 0 31788 211 0 0 25 0 1 0 777903362 418566144 101055 4294967295 134512640 134714540 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 102189 101055 1111 63 0 102126 0
vsize: 408756
[startup+330.023 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101164 0 0 0 32788 212 0 0 25 0 1 0 777903362 418566144 101055 4294967295 134512640 134714540 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 102189 101055 1111 63 0 102126 0
vsize: 408756
[startup+340.024 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101164 0 0 0 33788 212 0 0 25 0 1 0 777903362 418566144 101055 4294967295 134512640 134714540 3221221776 3221220504 134672944 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 102189 101055 1111 63 0 102126 0
vsize: 408756
[startup+350.025 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101164 0 0 0 34788 212 0 0 25 0 1 0 777903362 418566144 101055 4294967295 134512640 134714540 3221221776 3221220220 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101055 1111 63 0 102126 0
vsize: 408756
[startup+360.026 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101165 0 0 0 35788 212 0 0 25 0 1 0 777903362 418566144 101056 4294967295 134512640 134714540 3221221776 3221220220 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101056 1111 63 0 102126 0
vsize: 408756
[startup+370.026 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101165 0 0 0 36788 212 0 0 25 0 1 0 777903362 418566144 101056 4294967295 134512640 134714540 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101056 1111 63 0 102126 0
vsize: 408756
[startup+380.026 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101165 0 0 0 37788 212 0 0 25 0 1 0 777903362 418566144 101056 4294967295 134512640 134714540 3221221776 3221220256 134543110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101056 1111 63 0 102126 0
vsize: 408756
[startup+390.027 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101165 0 0 0 38788 212 0 0 25 0 1 0 777903362 418566144 101056 4294967295 134512640 134714540 3221221776 3221220188 134542288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101056 1111 63 0 102126 0
vsize: 408756
[startup+400.027 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101166 0 0 0 39788 212 0 0 25 0 1 0 777903362 418566144 101057 4294967295 134512640 134714540 3221221776 3221220220 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101057 1111 63 0 102126 0
vsize: 408756
[startup+410.027 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101166 0 0 0 40788 212 0 0 25 0 1 0 777903362 418566144 101057 4294967295 134512640 134714540 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101057 1111 63 0 102126 0
vsize: 408756
[startup+420.028 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101167 0 0 0 41789 212 0 0 25 0 1 0 777903362 418566144 101058 4294967295 134512640 134714540 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101058 1111 63 0 102126 0
vsize: 408756
[startup+430.029 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101167 0 0 0 42789 212 0 0 25 0 1 0 777903362 418566144 101058 4294967295 134512640 134714540 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101058 1111 63 0 102126 0
vsize: 408756
[startup+440.029 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101167 0 0 0 43789 212 0 0 25 0 1 0 777903362 418566144 101058 4294967295 134512640 134714540 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101058 1111 63 0 102126 0
vsize: 408756
[startup+450.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101169 0 0 0 44789 212 0 0 25 0 1 0 777903362 418566144 101060 4294967295 134512640 134714540 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101060 1111 63 0 102126 0
vsize: 408756
[startup+460.031 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101171 0 0 0 45789 212 0 0 25 0 1 0 777903362 418566144 101062 4294967295 134512640 134714540 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101062 1111 63 0 102126 0
vsize: 408756
[startup+470.032 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101172 0 0 0 46790 212 0 0 25 0 1 0 777903362 418566144 101063 4294967295 134512640 134714540 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101063 1111 63 0 102126 0
vsize: 408756
[startup+480.032 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101175 0 0 0 47790 213 0 0 25 0 1 0 777903362 418566144 101066 4294967295 134512640 134714540 3221221776 3221220220 134535925 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101066 1111 63 0 102126 0
vsize: 408756
[startup+490.033 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101176 0 0 0 48790 213 0 0 25 0 1 0 777903362 418566144 101067 4294967295 134512640 134714540 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101067 1111 63 0 102126 0
vsize: 408756
[startup+500.034 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101177 0 0 0 49790 213 0 0 25 0 1 0 777903362 418566144 101068 4294967295 134512640 134714540 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101068 1111 63 0 102126 0
vsize: 408756
[startup+510.034 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101178 0 0 0 50790 213 0 0 25 0 1 0 777903362 418566144 101069 4294967295 134512640 134714540 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101069 1111 63 0 102126 0
vsize: 408756
[startup+520.035 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101178 0 0 0 51791 213 0 0 25 0 1 0 777903362 418566144 101069 4294967295 134512640 134714540 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101069 1111 63 0 102126 0
vsize: 408756
[startup+530.035 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101179 0 0 0 52791 213 0 0 25 0 1 0 777903362 418566144 101070 4294967295 134512640 134714540 3221221776 3221220244 134543025 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101070 1111 63 0 102126 0
vsize: 408756
[startup+540.035 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101179 0 0 0 53791 213 0 0 25 0 1 0 777903362 418566144 101070 4294967295 134512640 134714540 3221221776 3221220220 134535906 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101070 1111 63 0 102126 0
vsize: 408756
[startup+550.036 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101182 0 0 0 54791 213 0 0 25 0 1 0 777903362 418566144 101073 4294967295 134512640 134714540 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101073 1111 63 0 102126 0
vsize: 408756
[startup+560.036 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101184 0 0 0 55791 213 0 0 25 0 1 0 777903362 418566144 101075 4294967295 134512640 134714540 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101075 1111 63 0 102126 0
vsize: 408756
[startup+570.038 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101184 0 0 0 56792 213 0 0 25 0 1 0 777903362 418566144 101075 4294967295 134512640 134714540 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101075 1111 63 0 102126 0
vsize: 408756
[startup+580.038 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101184 0 0 0 57792 213 0 0 25 0 1 0 777903362 418566144 101075 4294967295 134512640 134714540 3221221776 3221220256 134543110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101075 1111 63 0 102126 0
vsize: 408756
[startup+590.038 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101187 0 0 0 58792 213 0 0 25 0 1 0 777903362 418566144 101078 4294967295 134512640 134714540 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101078 1111 63 0 102126 0
vsize: 408756
[startup+600.039 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101190 0 0 0 59792 213 0 0 25 0 1 0 777903362 418566144 101081 4294967295 134512640 134714540 3221221776 3221220256 134543108 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101081 1111 63 0 102126 0
vsize: 408756
[startup+610.04 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101193 0 0 0 60792 213 0 0 25 0 1 0 777903362 418566144 101084 4294967295 134512640 134714540 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102189 101084 1111 63 0 102126 0
vsize: 408756
[startup+620.041 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101656 0 0 0 61792 213 0 0 25 0 1 0 777903362 420642816 101547 4294967295 134512640 134714540 3221221776 3221220520 134536877 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102696 101547 1111 63 0 102633 0
vsize: 410784
[startup+630.041 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101711 0 0 0 62791 214 0 0 25 0 1 0 777903362 420777984 101602 4294967295 134512640 134714540 3221221776 3221220500 134622760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102729 101602 1111 63 0 102666 0
vsize: 410916
[startup+640.041 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101763 0 0 0 63791 214 0 0 25 0 1 0 777903362 421048320 101654 4294967295 134512640 134714540 3221221776 3221220568 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102795 101654 1111 63 0 102732 0
vsize: 411180
[startup+650.042 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101816 0 0 0 64791 214 0 0 25 0 1 0 777903362 421183488 101707 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102828 101707 1111 63 0 102765 0
vsize: 411312
[startup+660.042 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101884 0 0 0 65791 214 0 0 25 0 1 0 777903362 421588992 101775 4294967295 134512640 134714540 3221221776 3221220592 134622128 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102927 101775 1111 63 0 102864 0
vsize: 411708
[startup+670.042 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101943 0 0 0 66792 214 0 0 25 0 1 0 777903362 421724160 101834 4294967295 134512640 134714540 3221221776 3221220592 134611091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102960 101834 1111 63 0 102897 0
vsize: 411840
[startup+680.043 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 101997 0 0 0 67792 214 0 0 25 0 1 0 777903362 421994496 101888 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103026 101888 1111 63 0 102963 0
vsize: 412104
[startup+690.044 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 102056 0 0 0 68792 214 0 0 25 0 1 0 777903362 422264832 101947 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103092 101947 1111 63 0 103029 0
vsize: 412368
[startup+700.044 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 102130 0 0 0 69792 215 0 0 25 0 1 0 777903362 422535168 102021 4294967295 134512640 134714540 3221221776 3221220488 134543174 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103158 102021 1111 63 0 103095 0
vsize: 412632
[startup+710.045 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 102201 0 0 0 70792 215 0 0 25 0 1 0 777903362 422805504 102092 4294967295 134512640 134714540 3221221776 3221220584 134622412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103224 102092 1111 63 0 103161 0
vsize: 412896
[startup+720.046 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 102264 0 0 0 71792 215 0 0 25 0 1 0 777903362 423075840 102155 4294967295 134512640 134714540 3221221776 3221220568 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103290 102155 1111 63 0 103227 0
vsize: 413160
[startup+730.047 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 102323 0 0 0 72792 215 0 0 25 0 1 0 777903362 423346176 102214 4294967295 134512640 134714540 3221221776 3221220500 134622760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103356 102214 1111 63 0 103293 0
vsize: 413424
[startup+740.047 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 102376 0 0 0 73792 215 0 0 25 0 1 0 777903362 423481344 102267 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103389 102267 1111 63 0 103326 0
vsize: 413556
[startup+750.048 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 102434 0 0 0 74793 215 0 0 25 0 1 0 777903362 423751680 102325 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103455 102325 1111 63 0 103392 0
vsize: 413820
[startup+760.049 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 102492 0 0 0 75793 215 0 0 25 0 1 0 777903362 424022016 102383 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103521 102383 1111 63 0 103458 0
vsize: 414084
[startup+770.05 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 102547 0 0 0 76793 215 0 0 25 0 1 0 777903362 424292352 102438 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103587 102438 1111 63 0 103524 0
vsize: 414348
[startup+780.051 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 102609 0 0 0 77793 216 0 0 25 0 1 0 777903362 424562688 102500 4294967295 134512640 134714540 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103653 102500 1111 63 0 103590 0
vsize: 414612
[startup+790.051 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 102718 0 0 0 78792 216 0 0 25 0 1 0 777903362 424972288 102609 4294967295 134512640 134714540 3221221776 3221220524 134543556 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103753 102609 1111 63 0 103690 0
vsize: 415012
[startup+800.052 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 102774 0 0 0 79793 216 0 0 25 0 1 0 777903362 425242624 102665 4294967295 134512640 134714540 3221221776 3221220572 134543156 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103819 102665 1111 63 0 103756 0
vsize: 415276
[startup+810.053 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 102830 0 0 0 80793 216 0 0 25 0 1 0 777903362 425377792 102721 4294967295 134512640 134714540 3221221776 3221220488 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103852 102721 1111 63 0 103789 0
vsize: 415408
[startup+820.053 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 102891 0 0 0 81793 216 0 0 25 0 1 0 777903362 425648128 102782 4294967295 134512640 134714540 3221221776 3221220580 134611161 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103918 102782 1111 63 0 103855 0
vsize: 415672
[startup+830.053 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 102943 0 0 0 82793 217 0 0 25 0 1 0 777903362 425918464 102834 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103984 102834 1111 63 0 103921 0
vsize: 415936
[startup+840.053 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 102998 0 0 0 83793 217 0 0 25 0 1 0 777903362 426053632 102889 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 104017 102889 1111 63 0 103954 0
vsize: 416068
[startup+850.054 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 103051 0 0 0 84793 217 0 0 25 0 1 0 777903362 426323968 102942 4294967295 134512640 134714540 3221221776 3221220512 134695294 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 104083 102942 1111 63 0 104020 0
vsize: 416332
[startup+860.054 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 103108 0 0 0 85793 217 0 0 25 0 1 0 777903362 426594304 102999 4294967295 134512640 134714540 3221221776 3221220580 134622157 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 104149 102999 1111 63 0 104086 0
vsize: 416596
[startup+870.055 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 103168 0 0 0 86793 217 0 0 25 0 1 0 777903362 426864640 103059 4294967295 134512640 134714540 3221221776 3221220592 134622128 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 104215 103059 1111 63 0 104152 0
vsize: 416860
[startup+880.056 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 103223 0 0 0 87793 217 0 0 25 0 1 0 777903362 426999808 103114 4294967295 134512640 134714540 3221221776 3221220580 134622157 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 104248 103114 1111 63 0 104185 0
vsize: 416992
[startup+890.056 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 103279 0 0 0 88793 218 0 0 25 0 1 0 777903362 427270144 103170 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 104314 103170 1111 63 0 104251 0
vsize: 417256
[startup+900.057 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 103334 0 0 0 89793 218 0 0 25 0 1 0 777903362 427540480 103225 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 104380 103225 1111 63 0 104317 0
vsize: 417520
[startup+910.057 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 103390 0 0 0 90793 218 0 0 25 0 1 0 777903362 427675648 103281 4294967295 134512640 134714540 3221221776 3221220500 134622760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 104413 103281 1111 63 0 104350 0
vsize: 417652
[startup+920.058 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 103448 0 0 0 91793 219 0 0 25 0 1 0 777903362 427945984 103339 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 104479 103339 1111 63 0 104416 0
vsize: 417916
[startup+930.058 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 103508 0 0 0 92793 219 0 0 25 0 1 0 777903362 428216320 103399 4294967295 134512640 134714540 3221221776 3221220624 134623467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 104545 103399 1111 63 0 104482 0
vsize: 418180
[startup+940.058 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 103570 0 0 0 93793 219 0 0 25 0 1 0 777903362 428486656 103461 4294967295 134512640 134714540 3221221776 3221220560 134558507 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 104611 103461 1111 63 0 104548 0
vsize: 418444
[startup+950.058 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 103691 0 0 0 94793 219 0 0 25 0 1 0 777903362 429056000 103581 4294967295 134512640 134714540 3221221776 3221220580 134622157 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 104750 103581 1111 63 0 104687 0
vsize: 419000
[startup+960.058 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 103780 0 0 0 95792 220 0 0 25 0 1 0 777903362 429486080 103667 4294967295 134512640 134714540 3221221776 3221220580 134622157 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 104855 103667 1111 63 0 104792 0
vsize: 419420
[startup+970.059 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 103845 0 0 0 96792 220 0 0 25 0 1 0 777903362 429756416 103732 4294967295 134512640 134714540 3221221776 3221220588 134622150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 104921 103732 1111 63 0 104858 0
vsize: 419684
[startup+980.059 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 103907 0 0 0 97792 220 0 0 25 0 1 0 777903362 429899776 103794 4294967295 134512640 134714540 3221221776 3221220592 134622128 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 104956 103794 1111 63 0 104893 0
vsize: 419824
[startup+990.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 103970 0 0 0 98792 221 0 0 25 0 1 0 777903362 430170112 103857 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 105022 103857 1111 63 0 104959 0
vsize: 420088
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 104025 0 0 0 99792 221 0 0 25 0 1 0 777903362 430440448 103912 4294967295 134512640 134714540 3221221776 3221220568 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 105088 103912 1111 63 0 105025 0
vsize: 420352
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 104083 0 0 0 100791 221 0 0 25 0 1 0 777903362 430710784 103970 4294967295 134512640 134714540 3221221776 3221220512 134695334 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 105154 103970 1111 63 0 105091 0
vsize: 420616
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 104137 0 0 0 101791 222 0 0 25 0 1 0 777903362 430981120 104024 4294967295 134512640 134714540 3221221776 3221220568 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 105220 104024 1111 63 0 105157 0
vsize: 420880
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 104198 0 0 0 102791 222 0 0 25 0 1 0 777903362 431116288 104085 4294967295 134512640 134714540 3221221776 3221220592 134611198 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 105253 104085 1111 63 0 105190 0
vsize: 421012
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 104263 0 0 0 103791 222 0 0 25 0 1 0 777903362 431403008 104149 4294967295 134512640 134714540 3221221776 3221220580 134622157 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 105323 104149 1111 63 0 105260 0
vsize: 421292
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 104325 0 0 0 104791 222 0 0 25 0 1 0 777903362 431677440 104211 4294967295 134512640 134714540 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 105390 104211 1111 63 0 105327 0
vsize: 421560
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 104394 0 0 0 105792 222 0 0 25 0 1 0 777903362 431947776 104280 4294967295 134512640 134714540 3221221776 3221220496 134622764 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 105456 104280 1111 63 0 105393 0
vsize: 421824
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 104464 0 0 0 106792 223 0 0 25 0 1 0 777903362 432218112 104350 4294967295 134512640 134714540 3221221776 3221220548 134624885 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 105522 104350 1111 63 0 105459 0
vsize: 422088
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 104525 0 0 0 107791 223 0 0 25 0 1 0 777903362 432488448 104411 4294967295 134512640 134714540 3221221776 3221220336 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 105588 104411 1111 63 0 105525 0
vsize: 422352
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 104589 0 0 0 108791 223 0 0 25 0 1 0 777903362 432758784 104475 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 105654 104475 1111 63 0 105591 0
vsize: 422616
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 104664 0 0 0 109792 223 0 0 25 0 1 0 777903362 433029120 104550 4294967295 134512640 134714540 3221221776 3221220516 134695406 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 105720 104550 1111 63 0 105657 0
vsize: 422880
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 104732 0 0 0 110791 223 0 0 25 0 1 0 777903362 433299456 104618 4294967295 134512640 134714540 3221221776 3221220568 134543181 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 105786 104618 1111 63 0 105723 0
vsize: 423144
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 104802 0 0 0 111791 224 0 0 25 0 1 0 777903362 433569792 104688 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 105852 104688 1111 63 0 105789 0
vsize: 423408
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 104867 0 0 0 112792 224 0 0 25 0 1 0 777903362 433840128 104753 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 105918 104753 1111 63 0 105855 0
vsize: 423672
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 104934 0 0 0 113792 224 0 0 25 0 1 0 777903362 434110464 104820 4294967295 134512640 134714540 3221221776 3221220592 134611091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 105984 104820 1111 63 0 105921 0
vsize: 423936
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 105018 0 0 0 114791 224 0 0 25 0 1 0 777903362 434532352 104904 4294967295 134512640 134714540 3221221776 3221220548 134624885 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 106087 104904 1111 63 0 106024 0
vsize: 424348
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 105098 0 0 0 115791 225 0 0 25 0 1 0 777903362 434802688 104984 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 106153 104984 1111 63 0 106090 0
vsize: 424612
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 105160 0 0 0 116791 225 0 0 25 0 1 0 777903362 435073024 105046 4294967295 134512640 134714540 3221221776 3221220512 134695300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 106219 105046 1111 63 0 106156 0
vsize: 424876
[startup+1175.18 s]
Raw data (loadavg): 0.99 0.98 0.98 1/54 7301
Raw data (stat): 7301 (bsolo_mis) R 7300 7876 7672 0 -1 0 105160 0 0 0 116791 225 0 0 25 0 1 0 777903362 435073024 105046 4294967295 134512640 134714540 3221221776 3221220512 134695300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 106219 105046 1111 63 0 106156 0
vsize: 0

Child status: 0
Real time (s): 1175.18
CPU time (s): 1175.28
CPU user time (s): 1172.83
CPU system time (s): 2.45463
CPU usage (%): 100.009
Max. virtual memory (Kb): 424876
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####