PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit1d.opb
MD5SUM	de6e9dcd85d0fedc70e76c82543d6a33
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	11514
Biggest coefficient in the objective function	2949120
Number of bits for the biggest coefficient in the objective function	22
Sum of the numbers in the objective function	462466666
Number of bits of the sum of numbers in the objective function	29
Biggest number in a constraint	3870720
Number of bits of the biggest number in a constraint	22
Biggest sum of numbers in a constraint	580921206
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.18
Number of variables	11514
Total number of constraints	1050
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1050
Minimum length of a constraint	11
Maximum length of a constraint	11514
Trace number 29029

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        807000 kB
Buffers:         23304 kB
Cached:         181496 kB
SwapCached:        492 kB
Active:          51892 kB
Inactive:       155120 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        806748 kB
SwapTotal:     2097892 kB
SwapFree:      2096592 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5324 kB
Slab:            15076 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 04:45:06 (client local time) WITH STATUS 0 IN 1175.27 SECONDS
stats: 10780 7 1175.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 11514 variables and 1051 constraints.
c After prepocess the problem consists of 11512 variables and 1049 constraints.
c preprocess terminated 173.498 s
c Initial Lower Bound: -57979548
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.22 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.97 0.91 2/54 18595
Raw data (stat): 18595 (runsolver) R 18594 7475 7474 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835994684 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 6773 0 0 0 983 16 0 0 25 0 1 0 835994684 41209856 6751 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10061 6751 1111 63 0 9998 0
vsize: 40244
[startup+20.0023 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 14056 0 0 0 1968 30 0 0 25 0 1 0 835994684 71061504 14034 4294967295 134512640 134714540 3221224592 3221222868 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17349 14034 1111 63 0 17286 0
vsize: 69396
[startup+30.0026 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 14628 0 0 0 2966 32 0 0 25 0 1 0 835994684 73572352 14599 4294967295 134512640 134714540 3221224592 3221222880 134568145 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17962 14599 1111 63 0 17899 0
vsize: 71848
[startup+40.0022 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 14820 0 0 0 3966 33 0 0 25 0 1 0 835994684 74309632 14784 4294967295 134512640 134714540 3221224592 3221222868 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18142 14784 1111 63 0 18079 0
vsize: 72568
[startup+50.0048 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 14985 0 0 0 4965 33 0 0 25 0 1 0 835994684 75051008 14941 4294967295 134512640 134714540 3221224592 3221222604 1077360183 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18323 14941 1111 63 0 18260 0
vsize: 73292
[startup+60.0047 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 15179 0 0 0 5964 34 0 0 25 0 1 0 835994684 75984896 15127 4294967295 134512640 134714540 3221224592 3221221068 1077198883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18551 15127 1111 63 0 18488 0
vsize: 74204
[startup+70.005 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 15356 0 0 0 6964 35 0 0 25 0 1 0 835994684 76697600 15302 4294967295 134512640 134714540 3221224592 3221221124 1077364966 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18725 15302 1111 63 0 18662 0
vsize: 74900
[startup+80.0109 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 15421 0 0 0 7964 35 0 0 25 0 1 0 835994684 76972032 15361 4294967295 134512640 134714540 3221224592 3221222868 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18792 15361 1111 63 0 18729 0
vsize: 75168
[startup+90.0112 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 15666 0 0 0 8963 36 0 0 25 0 1 0 835994684 78106624 15599 4294967295 134512640 134714540 3221224592 3221222868 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19069 15599 1111 63 0 19006 0
vsize: 76276
[startup+100.011 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 15822 0 0 0 9962 37 0 0 25 0 1 0 835994684 78802944 15747 4294967295 134512640 134714540 3221224592 3221222868 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19239 15747 1111 63 0 19176 0
vsize: 76956
[startup+110.013 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 15914 0 0 0 10961 37 0 0 25 0 1 0 835994684 79290368 15837 4294967295 134512640 134714540 3221224592 3221222868 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19358 15837 1111 63 0 19295 0
vsize: 77432
[startup+120.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 16176 0 0 0 11960 38 0 0 25 0 1 0 835994684 80416768 16092 4294967295 134512640 134714540 3221224592 3221222868 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19633 16092 1111 63 0 19570 0
vsize: 78532
[startup+130.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 16390 0 0 0 12959 39 0 0 25 0 1 0 835994684 81346560 16300 4294967295 134512640 134714540 3221224592 3221222868 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19860 16300 1111 63 0 19797 0
vsize: 79440
[startup+140.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 16548 0 0 0 13959 40 0 0 25 0 1 0 835994684 82051072 16450 4294967295 134512640 134714540 3221224592 3221222868 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20032 16450 1111 63 0 19969 0
vsize: 80128
[startup+150.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 18064 0 0 0 14955 43 0 0 25 0 1 0 835994684 77770752 17725 4294967295 134512640 134714540 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18987 17725 1111 63 0 18924 0
vsize: 75948
[startup+160.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 18912 0 0 0 15950 48 0 0 25 0 1 0 835994684 77770752 17725 4294967295 134512640 134714540 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18987 17725 1111 63 0 18924 0
vsize: 75948
[startup+170.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 20017 0 0 0 16946 53 0 0 25 0 1 0 835994684 77770752 17744 4294967295 134512640 134714540 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18987 17744 1111 63 0 18924 0
vsize: 75948
[startup+180.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 22500 0 0 0 17939 59 0 0 25 0 1 0 835994684 87539712 20143 4294967295 134512640 134714540 3221224592 3221223396 134610916 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21372 20143 1111 63 0 21309 0
vsize: 85488
[startup+190.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 22500 0 0 0 18939 59 0 0 25 0 1 0 835994684 87539712 20143 4294967295 134512640 134714540 3221224592 3221223396 134622157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21372 20143 1111 63 0 21309 0
vsize: 85488
[startup+200.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 22500 0 0 0 19939 59 0 0 25 0 1 0 835994684 87539712 20143 4294967295 134512640 134714540 3221224592 3221223396 134622157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21372 20143 1111 63 0 21309 0
vsize: 85488
[startup+210.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 22500 0 0 0 20938 60 0 0 25 0 1 0 835994684 87539712 20143 4294967295 134512640 134714540 3221224592 3221223276 134558620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21372 20143 1111 63 0 21309 0
vsize: 85488
[startup+220.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 22500 0 0 0 21938 61 0 0 25 0 1 0 835994684 87539712 20143 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21372 20143 1111 63 0 21309 0
vsize: 85488
[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 22500 0 0 0 22938 61 0 0 25 0 1 0 835994684 87539712 20143 4294967295 134512640 134714540 3221224592 3221223396 134622157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21372 20143 1111 63 0 21309 0
vsize: 85488
[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 22500 0 0 0 23937 62 0 0 25 0 1 0 835994684 87539712 20143 4294967295 134512640 134714540 3221224592 3221223328 134695325 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21372 20143 1111 63 0 21309 0
vsize: 85488
[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 22500 0 0 0 24936 63 0 0 25 0 1 0 835994684 87539712 20143 4294967295 134512640 134714540 3221224592 3221223396 134622157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21372 20143 1111 63 0 21309 0
vsize: 85488
[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 22502 0 0 0 25936 63 0 0 25 0 1 0 835994684 87539712 20145 4294967295 134512640 134714540 3221224592 3221223408 134622128 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21372 20145 1111 63 0 21309 0
vsize: 85488
[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 22502 0 0 0 26936 64 0 0 25 0 1 0 835994684 87539712 20145 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21372 20145 1111 63 0 21309 0
vsize: 85488
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 22502 0 0 0 27935 64 0 0 25 0 1 0 835994684 87539712 20145 4294967295 134512640 134714540 3221224592 3221223296 134556927 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21372 20145 1111 63 0 21309 0
vsize: 85488
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 22502 0 0 0 28936 64 0 0 25 0 1 0 835994684 87539712 20145 4294967295 134512640 134714540 3221224592 3221223360 134624430 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21372 20145 1111 63 0 21309 0
vsize: 85488
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 22502 0 0 0 29935 64 0 0 25 0 1 0 835994684 87539712 20145 4294967295 134512640 134714540 3221224592 3221223384 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21372 20145 1111 63 0 21309 0
vsize: 85488
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 22502 0 0 0 30935 64 0 0 25 0 1 0 835994684 87539712 20145 4294967295 134512640 134714540 3221224592 3221223320 134558593 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21372 20145 1111 63 0 21309 0
vsize: 85488
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 22502 0 0 0 31935 65 0 0 25 0 1 0 835994684 87539712 20145 4294967295 134512640 134714540 3221224592 3221223396 134622157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21372 20145 1111 63 0 21309 0
vsize: 85488
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 22504 0 0 0 32935 65 0 0 25 0 1 0 835994684 87539712 20147 4294967295 134512640 134714540 3221224592 3221223320 134558593 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21372 20147 1111 63 0 21309 0
vsize: 85488
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 22504 0 0 0 33936 65 0 0 25 0 1 0 835994684 87539712 20147 4294967295 134512640 134714540 3221224592 3221223396 134622157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21372 20147 1111 63 0 21309 0
vsize: 85488
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 22504 0 0 0 34936 65 0 0 25 0 1 0 835994684 87539712 20147 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21372 20147 1111 63 0 21309 0
vsize: 85488
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 22504 0 0 0 35936 65 0 0 25 0 1 0 835994684 87539712 20147 4294967295 134512640 134714540 3221224592 3221223328 134695289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21372 20147 1111 63 0 21309 0
vsize: 85488
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 22504 0 0 0 36936 65 0 0 25 0 1 0 835994684 87539712 20147 4294967295 134512640 134714540 3221224592 3221223408 134622128 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21372 20147 1111 63 0 21309 0
vsize: 85488
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 22504 0 0 0 37936 65 0 0 25 0 1 0 835994684 87539712 20147 4294967295 134512640 134714540 3221224592 3221223408 134611091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21372 20147 1111 63 0 21309 0
vsize: 85488
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 22506 0 0 0 38936 65 0 0 25 0 1 0 835994684 87539712 20149 4294967295 134512640 134714540 3221224592 3221223376 134558521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21372 20149 1111 63 0 21309 0
vsize: 85488
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 22506 0 0 0 39936 65 0 0 25 0 1 0 835994684 87539712 20149 4294967295 134512640 134714540 3221224592 3221223384 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21372 20149 1111 63 0 21309 0
vsize: 85488
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 22506 0 0 0 40936 65 0 0 25 0 1 0 835994684 87539712 20149 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21372 20149 1111 63 0 21309 0
vsize: 85488
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 22506 0 0 0 41937 65 0 0 25 0 1 0 835994684 87539712 20149 4294967295 134512640 134714540 3221224592 3221223376 134558521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21372 20149 1111 63 0 21309 0
vsize: 85488
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 22506 0 0 0 42937 65 0 0 25 0 1 0 835994684 87539712 20149 4294967295 134512640 134714540 3221224592 3221223292 134558620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21372 20149 1111 63 0 21309 0
vsize: 85488
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 22508 0 0 0 43937 65 0 0 25 0 1 0 835994684 87539712 20151 4294967295 134512640 134714540 3221224592 3221223376 134558535 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21372 20151 1111 63 0 21309 0
vsize: 85488
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 22508 0 0 0 44937 66 0 0 25 0 1 0 835994684 87539712 20151 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21372 20151 1111 63 0 21309 0
vsize: 85488
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 22508 0 0 0 45937 66 0 0 25 0 1 0 835994684 87539712 20151 4294967295 134512640 134714540 3221224592 3221223384 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21372 20151 1111 63 0 21309 0
vsize: 85488
[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 22508 0 0 0 46937 66 0 0 25 0 1 0 835994684 87539712 20151 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21372 20151 1111 63 0 21309 0
vsize: 85488
[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 22510 0 0 0 47937 67 0 0 25 0 1 0 835994684 87539712 20153 4294967295 134512640 134714540 3221224592 3221223396 134622157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21372 20153 1111 63 0 21309 0
vsize: 85488
[startup+490.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 22510 0 0 0 48937 67 0 0 25 0 1 0 835994684 87539712 20153 4294967295 134512640 134714540 3221224592 3221223312 134556668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21372 20153 1111 63 0 21309 0
vsize: 85488
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 22510 0 0 0 49938 67 0 0 25 0 1 0 835994684 87539712 20153 4294967295 134512640 134714540 3221224592 3221223376 134558521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21372 20153 1111 63 0 21309 0
vsize: 85488
[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 22510 0 0 0 50937 67 0 0 25 0 1 0 835994684 87539712 20153 4294967295 134512640 134714540 3221224592 3221223376 134558521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21372 20153 1111 63 0 21309 0
vsize: 85488
[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 22512 0 0 0 51938 67 0 0 25 0 1 0 835994684 87539712 20155 4294967295 134512640 134714540 3221224592 3221223396 134622157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21372 20155 1111 63 0 21309 0
vsize: 85488
[startup+530.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 22512 0 0 0 52938 67 0 0 25 0 1 0 835994684 87539712 20155 4294967295 134512640 134714540 3221224592 3221223384 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21372 20155 1111 63 0 21309 0
vsize: 85488
[startup+540.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 22512 0 0 0 53938 68 0 0 25 0 1 0 835994684 87539712 20155 4294967295 134512640 134714540 3221224592 3221223328 134556487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21372 20155 1111 63 0 21309 0
vsize: 85488
[startup+550.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 22514 0 0 0 54938 68 0 0 25 0 1 0 835994684 87539712 20157 4294967295 134512640 134714540 3221224592 3221223384 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21372 20157 1111 63 0 21309 0
vsize: 85488
[startup+560.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 22514 0 0 0 55938 68 0 0 25 0 1 0 835994684 87539712 20157 4294967295 134512640 134714540 3221224592 3221223408 134622115 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21372 20157 1111 63 0 21309 0
vsize: 85488
[startup+570.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 22514 0 0 0 56938 68 0 0 25 0 1 0 835994684 87539712 20157 4294967295 134512640 134714540 3221224592 3221223384 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21372 20157 1111 63 0 21309 0
vsize: 85488
[startup+580.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 22516 0 0 0 57938 68 0 0 25 0 1 0 835994684 87539712 20159 4294967295 134512640 134714540 3221224592 3221223328 134695334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21372 20159 1111 63 0 21309 0
vsize: 85488
[startup+590.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 22516 0 0 0 58938 69 0 0 25 0 1 0 835994684 87539712 20159 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21372 20159 1111 63 0 21309 0
vsize: 85488
[startup+600.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 22518 0 0 0 59937 69 0 0 25 0 1 0 835994684 87539712 20161 4294967295 134512640 134714540 3221224592 3221223328 134695306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21372 20161 1111 63 0 21309 0
vsize: 85488
[startup+610.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 22518 0 0 0 60937 69 0 0 25 0 1 0 835994684 87539712 20161 4294967295 134512640 134714540 3221224592 3221223384 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21372 20161 1111 63 0 21309 0
vsize: 85488
[startup+620.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 22518 0 0 0 61937 70 0 0 25 0 1 0 835994684 87539712 20161 4294967295 134512640 134714540 3221224592 3221223364 134624428 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21372 20161 1111 63 0 21309 0
vsize: 85488
[startup+630.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 27212 0 0 0 62927 81 0 0 25 0 1 0 835994684 108539904 24852 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26499 24852 1111 63 0 26436 0
vsize: 105996
[startup+640.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 28946 0 0 0 63924 84 0 0 25 0 1 0 835994684 114712576 26585 4294967295 134512640 134714540 3221224592 3221223336 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28006 26585 1111 63 0 27943 0
vsize: 112024
[startup+650.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 28973 0 0 0 64924 84 0 0 25 0 1 0 835994684 114712576 26610 4294967295 134512640 134714540 3221224592 3221223268 1077374446 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28006 26610 1111 63 0 27943 0
vsize: 112024
[startup+660.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 28996 0 0 0 65924 84 0 0 25 0 1 0 835994684 114712576 26633 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28006 26633 1111 63 0 27943 0
vsize: 112024
[startup+670.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29038 0 0 0 66924 84 0 0 25 0 1 0 835994684 114712576 26673 4294967295 134512640 134714540 3221224592 3221223232 134535032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28006 26673 1111 63 0 27943 0
vsize: 112024
[startup+680.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29083 0 0 0 67923 85 0 0 25 0 1 0 835994684 114712576 26718 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28006 26718 1111 63 0 27943 0
vsize: 112024
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29094 0 0 0 68924 85 0 0 25 0 1 0 835994684 113606656 26479 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27736 26479 1111 63 0 27673 0
vsize: 110944
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29094 0 0 0 69924 85 0 0 25 0 1 0 835994684 113573888 26471 4294967295 134512640 134714540 3221224592 3221223232 134538795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27728 26471 1111 63 0 27665 0
vsize: 110912
[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29094 0 0 0 70924 85 0 0 25 0 1 0 835994684 113573888 26471 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27728 26471 1111 63 0 27665 0
vsize: 110912
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29188 0 0 0 71924 85 0 0 25 0 1 0 835994684 114024448 26565 4294967295 134512640 134714540 3221224592 3221223408 134622115 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27838 26565 1111 63 0 27775 0
vsize: 111352
[startup+730.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29197 0 0 0 72924 85 0 0 25 0 1 0 835994684 114216960 26574 4294967295 134512640 134714540 3221224592 3221223348 134592437 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27885 26574 1111 63 0 27822 0
vsize: 111540
[startup+740.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29197 0 0 0 73924 85 0 0 25 0 1 0 835994684 114216960 26574 4294967295 134512640 134714540 3221224592 3221223128 1077379840 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27885 26574 1111 63 0 27822 0
vsize: 111540
[startup+750.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29209 0 0 0 74924 86 0 0 25 0 1 0 835994684 114216960 26586 4294967295 134512640 134714540 3221224592 3221223336 134672932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27885 26586 1111 63 0 27822 0
vsize: 111540
[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29239 0 0 0 75924 86 0 0 25 0 1 0 835994684 114216960 26616 4294967295 134512640 134714540 3221224592 3221223336 134672932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27885 26616 1111 63 0 27822 0
vsize: 111540
[startup+770.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29257 0 0 0 76925 86 0 0 25 0 1 0 835994684 114401280 26634 4294967295 134512640 134714540 3221224592 3221223360 134542598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27930 26634 1111 63 0 27867 0
vsize: 111720
[startup+780.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29264 0 0 0 77925 86 0 0 25 0 1 0 835994684 114155520 26616 4294967295 134512640 134714540 3221224592 3221223352 134592433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27870 26616 1111 63 0 27807 0
vsize: 111480
[startup+790.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29264 0 0 0 78925 86 0 0 25 0 1 0 835994684 114155520 26616 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27870 26616 1111 63 0 27807 0
vsize: 111480
[startup+800.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29264 0 0 0 79925 86 0 0 25 0 1 0 835994684 114155520 26616 4294967295 134512640 134714540 3221224592 3221223140 134696721 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27870 26616 1111 63 0 27807 0
vsize: 111480
[startup+810.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29271 0 0 0 80925 86 0 0 25 0 1 0 835994684 114343936 26623 4294967295 134512640 134714540 3221224592 3221223128 1077379843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27916 26623 1111 63 0 27853 0
vsize: 111664
[startup+820.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29279 0 0 0 81925 86 0 0 25 0 1 0 835994684 114343936 26631 4294967295 134512640 134714540 3221224592 3221223280 134524466 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27916 26631 1111 63 0 27853 0
vsize: 111664
[startup+830.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29287 0 0 0 82925 86 0 0 25 0 1 0 835994684 114155520 26616 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27870 26616 1111 63 0 27807 0
vsize: 111480
[startup+840.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29287 0 0 0 83926 86 0 0 25 0 1 0 835994684 114155520 26616 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27870 26616 1111 63 0 27807 0
vsize: 111480
[startup+850.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29287 0 0 0 84926 86 0 0 25 0 1 0 835994684 114155520 26616 4294967295 134512640 134714540 3221224592 3221223280 134594338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27870 26616 1111 63 0 27807 0
vsize: 111480
[startup+860.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29289 0 0 0 85926 86 0 0 25 0 1 0 835994684 114155520 26618 4294967295 134512640 134714540 3221224592 3221223160 1077377236 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27870 26618 1111 63 0 27807 0
vsize: 111480
[startup+870.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29310 0 0 0 86926 87 0 0 25 0 1 0 835994684 114343936 26639 4294967295 134512640 134714540 3221224592 3221223280 134534110 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27916 26639 1111 63 0 27853 0
vsize: 111664
[startup+880.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29318 0 0 0 87926 87 0 0 25 0 1 0 835994684 114155520 26624 4294967295 134512640 134714540 3221224592 3221223360 134592424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27870 26624 1111 63 0 27807 0
vsize: 111480
[startup+890.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29318 0 0 0 88926 87 0 0 25 0 1 0 835994684 114155520 26624 4294967295 134512640 134714540 3221224592 3221223220 1077374062 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27870 26624 1111 63 0 27807 0
vsize: 111480
[startup+900.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29318 0 0 0 89926 87 0 0 25 0 1 0 835994684 114155520 26624 4294967295 134512640 134714540 3221224592 3221223340 134535534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27870 26624 1111 63 0 27807 0
vsize: 111480
[startup+910.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29325 0 0 0 90926 87 0 0 25 0 1 0 835994684 114155520 26631 4294967295 134512640 134714540 3221224592 3221223336 134672932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27870 26631 1111 63 0 27807 0
vsize: 111480
[startup+920.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29348 0 0 0 91926 87 0 0 25 0 1 0 835994684 114343936 26654 4294967295 134512640 134714540 3221224592 3221223360 134592328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27916 26654 1111 63 0 27853 0
vsize: 111664
[startup+930.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29348 0 0 0 92926 87 0 0 25 0 1 0 835994684 114155520 26631 4294967295 134512640 134714540 3221224592 3221223360 134592320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27870 26631 1111 63 0 27807 0
vsize: 111480
[startup+940.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29349 0 0 0 93927 87 0 0 25 0 1 0 835994684 114155520 26632 4294967295 134512640 134714540 3221224592 3221223336 134672932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27870 26632 1111 63 0 27807 0
vsize: 111480
[startup+950.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29349 0 0 0 94927 87 0 0 25 0 1 0 835994684 114155520 26632 4294967295 134512640 134714540 3221224592 3221223288 1077374435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27870 26632 1111 63 0 27807 0
vsize: 111480
[startup+960.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29356 0 0 0 95927 87 0 0 25 0 1 0 835994684 114343936 26639 4294967295 134512640 134714540 3221224592 3221223336 134672932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27916 26639 1111 63 0 27853 0
vsize: 111664
[startup+970.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29364 0 0 0 96927 87 0 0 25 0 1 0 835994684 114155520 26632 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27870 26632 1111 63 0 27807 0
vsize: 111480
[startup+980.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29364 0 0 0 97927 87 0 0 25 0 1 0 835994684 114155520 26632 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27870 26632 1111 63 0 27807 0
vsize: 111480
[startup+990.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29371 0 0 0 98927 88 0 0 25 0 1 0 835994684 114343936 26639 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27916 26639 1111 63 0 27853 0
vsize: 111664
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29379 0 0 0 99927 88 0 0 25 0 1 0 835994684 114343936 26647 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27916 26647 1111 63 0 27853 0
vsize: 111664
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29379 0 0 0 100927 88 0 0 25 0 1 0 835994684 114155520 26632 4294967295 134512640 134714540 3221224592 3221223272 134543609 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27870 26632 1111 63 0 27807 0
vsize: 111480
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29379 0 0 0 101928 88 0 0 25 0 1 0 835994684 114155520 26632 4294967295 134512640 134714540 3221224592 3221223336 134672948 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27870 26632 1111 63 0 27807 0
vsize: 111480
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29394 0 0 0 102928 88 0 0 25 0 1 0 835994684 114343936 26647 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27916 26647 1111 63 0 27853 0
vsize: 111664
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29394 0 0 0 103928 88 0 0 25 0 1 0 835994684 114155520 26632 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27870 26632 1111 63 0 27807 0
vsize: 111480
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29394 0 0 0 104928 88 0 0 25 0 1 0 835994684 114155520 26632 4294967295 134512640 134714540 3221224592 3221223360 134592137 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27870 26632 1111 63 0 27807 0
vsize: 111480
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29401 0 0 0 105928 88 0 0 25 0 1 0 835994684 114343936 26639 4294967295 134512640 134714540 3221224592 3221223336 134672932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27916 26639 1111 63 0 27853 0
vsize: 111664
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29409 0 0 0 106928 88 0 0 25 0 1 0 835994684 114155520 26632 4294967295 134512640 134714540 3221224592 3221223348 134535492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27870 26632 1111 63 0 27807 0
vsize: 111480
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29409 0 0 0 107928 88 0 0 25 0 1 0 835994684 114155520 26632 4294967295 134512640 134714540 3221224592 3221223216 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27870 26632 1111 63 0 27807 0
vsize: 111480
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29424 0 0 0 108928 88 0 0 25 0 1 0 835994684 114343936 26647 4294967295 134512640 134714540 3221224592 3221223360 134592137 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27916 26647 1111 63 0 27853 0
vsize: 111664
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29424 0 0 0 109928 88 0 0 25 0 1 0 835994684 114155520 26632 4294967295 134512640 134714540 3221224592 3221223248 134523886 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27870 26632 1111 63 0 27807 0
vsize: 111480
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29427 0 0 0 110928 88 0 0 25 0 1 0 835994684 114155520 26635 4294967295 134512640 134714540 3221224592 3221223340 134535620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27870 26635 1111 63 0 27807 0
vsize: 111480
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29444 0 0 0 111929 89 0 0 25 0 1 0 835994684 114343936 26652 4294967295 134512640 134714540 3221224592 3221223232 134538795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27916 26652 1111 63 0 27853 0
vsize: 111664
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29445 0 0 0 112929 89 0 0 25 0 1 0 835994684 114155520 26636 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27870 26636 1111 63 0 27807 0
vsize: 111480
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29460 0 0 0 113929 89 0 0 25 0 1 0 835994684 114343936 26651 4294967295 134512640 134714540 3221224592 3221223336 134672932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27916 26651 1111 63 0 27853 0
vsize: 111664
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29460 0 0 0 114929 89 0 0 25 0 1 0 835994684 114155520 26636 4294967295 134512640 134714540 3221224592 3221223400 134558582 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27870 26636 1111 63 0 27807 0
vsize: 111480
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29467 0 0 0 115929 89 0 0 25 0 1 0 835994684 114343936 26643 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27916 26643 1111 63 0 27853 0
vsize: 111664
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29475 0 0 0 116929 89 0 0 25 0 1 0 835994684 114155520 26636 4294967295 134512640 134714540 3221224592 3221223232 134538795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27870 26636 1111 63 0 27807 0
vsize: 111480
[startup+1175.12 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 18595
Raw data (stat): 18595 (bsolo_mis) R 18594 7475 7474 0 -1 0 29475 0 0 0 116929 89 0 0 25 0 1 0 835994684 114155520 26636 4294967295 134512640 134714540 3221224592 3221223232 134538795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27870 26636 1111 63 0 27807 0
vsize: 0

Child status: 0
Real time (s): 1175.12
CPU time (s): 1175.27
CPU user time (s): 1174.33
CPU system time (s): 0.946856
CPU usage (%): 100.013
Max. virtual memory (Kb): 112024
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####