PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-10teams.opb
MD5SUM	130bea0863cb3f92addf09aabe15daa3
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	912
Optimality of the best value was proved	NO
Number of terms in the objective function	1800
Biggest coefficient in the objective function	86
Number of bits for the biggest coefficient in the objective function	7
Sum of the numbers in the objective function	41700
Number of bits of the sum of numbers in the objective function	16
Biggest number in a constraint	86
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	41700
Number of bits of the biggest sum of numbers	16
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.97
Number of variables	1800
Total number of constraints	2015
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2015
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	72
Trace number 27383

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-05-24 21:27:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18138 boxname=wulflinc9 idbench=1396 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  130bea0863cb3f92addf09aabe15daa3  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-10teams.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-10teams.opb
IDLAUNCH: 18138
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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	: 2
cpu MHz		: 451.242
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:        891748 kB
Buffers:         14560 kB
Cached:         107956 kB
SwapCached:        360 kB
Active:          26812 kB
Inactive:        98256 kB
HighTotal:      131008 kB
HighFree:        56280 kB
LowTotal:       903652 kB
LowFree:        835468 kB
SwapTotal:     2097136 kB
SwapFree:      2096368 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6348 kB
Slab:            12172 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 21:47:06 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 18138 7 1175.05 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 1800 variables and 335 constraints.
c After prepocess the problem consists of 1600 variables and 330 constraints.
c preprocess terminated 7.736 s
c Initial Lower Bound: 332
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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.86 0.97 0.91 2/54 10009
Raw data (stat): 10009 (runsolver) R 10008 3944 3943 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 775251793 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.0009 s]
Raw data (loadavg): 0.88 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 11789 0 0 0 970 29 0 0 25 0 1 0 775251793 51892224 11759 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12669 11759 1111 63 0 12606 0
vsize: 50676
[startup+20.0021 s]
Raw data (loadavg): 0.90 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 12198 0 0 0 1969 30 0 0 25 0 1 0 775251793 53649408 12168 4294967295 134512640 134714540 3221224592 3221223388 134558496 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13098 12168 1111 63 0 13035 0
vsize: 52392
[startup+30.0028 s]
Raw data (loadavg): 0.91 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 12604 0 0 0 2967 32 0 0 25 0 1 0 775251793 55271424 12574 4294967295 134512640 134714540 3221224592 3221223464 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13494 12574 1111 63 0 13431 0
vsize: 53976
[startup+40.003 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 12862 0 0 0 3965 34 0 0 25 0 1 0 775251793 56352768 12832 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13758 12832 1111 63 0 13695 0
vsize: 55032
[startup+50.0032 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 13028 0 0 0 4965 34 0 0 25 0 1 0 775251793 57028608 12998 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13923 12998 1111 63 0 13860 0
vsize: 55692
[startup+60.0039 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 13237 0 0 0 5964 35 0 0 25 0 1 0 775251793 57839616 13207 4294967295 134512640 134714540 3221224592 3221223408 134611091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14121 13207 1111 63 0 14058 0
vsize: 56484
[startup+70.0043 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 13316 0 0 0 6964 36 0 0 25 0 1 0 775251793 58245120 13286 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14220 13286 1111 63 0 14157 0
vsize: 56880
[startup+80.0045 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 13442 0 0 0 7963 36 0 0 25 0 1 0 775251793 58650624 13412 4294967295 134512640 134714540 3221224592 3221223152 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14319 13412 1111 63 0 14256 0
vsize: 57276
[startup+90.0052 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 13610 0 0 0 8963 37 0 0 25 0 1 0 775251793 59461632 13580 4294967295 134512640 134714540 3221224592 3221223304 134558477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14517 13580 1111 63 0 14454 0
vsize: 58068
[startup+100.005 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 13740 0 0 0 9962 38 0 0 25 0 1 0 775251793 59867136 13710 4294967295 134512640 134714540 3221224592 3221223216 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14616 13710 1111 63 0 14553 0
vsize: 58464
[startup+110.006 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 13874 0 0 0 10962 39 0 0 25 0 1 0 775251793 60542976 13844 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14781 13844 1111 63 0 14718 0
vsize: 59124
[startup+120.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 14326 0 0 0 11960 41 0 0 25 0 1 0 775251793 62300160 14296 4294967295 134512640 134714540 3221224592 3221223336 134536877 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15210 14296 1111 63 0 15147 0
vsize: 60840
[startup+130.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 14640 0 0 0 12959 42 0 0 25 0 1 0 775251793 63614976 14610 4294967295 134512640 134714540 3221224592 3221223232 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15531 14610 1111 63 0 15468 0
vsize: 62124
[startup+140.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 14838 0 0 0 13958 43 0 0 25 0 1 0 775251793 64401408 14808 4294967295 134512640 134714540 3221224592 3221223216 134535448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15723 14808 1111 63 0 15660 0
vsize: 62892
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 15055 0 0 0 14957 44 0 0 25 0 1 0 775251793 65347584 15025 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15954 15025 1111 63 0 15891 0
vsize: 63816
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 15378 0 0 0 15956 45 0 0 25 0 1 0 775251793 66707456 15348 4294967295 134512640 134714540 3221224592 3221223232 134539425 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16286 15348 1111 63 0 16223 0
vsize: 65144
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 15583 0 0 0 16956 46 0 0 25 0 1 0 775251793 67522560 15553 4294967295 134512640 134714540 3221224592 3221223232 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15553 1111 63 0 16422 0
vsize: 65940
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 15606 0 0 0 17955 46 0 0 25 0 1 0 775251793 67522560 15576 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15576 1111 63 0 16422 0
vsize: 65940
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 15945 0 0 0 18955 47 0 0 25 0 1 0 775251793 69013504 15915 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16849 15915 1111 63 0 16786 0
vsize: 67396
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 15945 0 0 0 19955 47 0 0 25 0 1 0 775251793 69013504 15915 4294967295 134512640 134714540 3221224592 3221223356 134523848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16849 15915 1111 63 0 16786 0
vsize: 67396
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 16030 0 0 0 20955 48 0 0 25 0 1 0 775251793 69283840 16000 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16915 16000 1111 63 0 16852 0
vsize: 67660
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 16171 0 0 0 21953 49 0 0 25 0 1 0 775251793 69824512 16141 4294967295 134512640 134714540 3221224592 3221223152 134540186 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17047 16141 1111 63 0 16984 0
vsize: 68188
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 16337 0 0 0 22953 50 0 0 25 0 1 0 775251793 70504448 16307 4294967295 134512640 134714540 3221224592 3221223316 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17213 16307 1111 63 0 17150 0
vsize: 68852
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 16461 0 0 0 23953 50 0 0 25 0 1 0 775251793 71045120 16431 4294967295 134512640 134714540 3221224592 3221223160 1077377534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17345 16431 1111 63 0 17282 0
vsize: 69380
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 16461 0 0 0 24953 51 0 0 25 0 1 0 775251793 71045120 16431 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17345 16431 1111 63 0 17282 0
vsize: 69380
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 16465 0 0 0 25953 51 0 0 25 0 1 0 775251793 71045120 16435 4294967295 134512640 134714540 3221224592 3221223468 134536888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17345 16435 1111 63 0 17282 0
vsize: 69380
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 16509 0 0 0 26952 51 0 0 25 0 1 0 775251793 71315456 16479 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17411 16479 1111 63 0 17348 0
vsize: 69644
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 16583 0 0 0 27952 52 0 0 25 0 1 0 775251793 71585792 16553 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17477 16553 1111 63 0 17414 0
vsize: 69908
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 16635 0 0 0 28952 52 0 0 25 0 1 0 775251793 71856128 16605 4294967295 134512640 134714540 3221224592 3221223464 134536921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17543 16605 1111 63 0 17480 0
vsize: 70172
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 16732 0 0 0 29952 53 0 0 25 0 1 0 775251793 72126464 16702 4294967295 134512640 134714540 3221224592 3221223152 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17609 16702 1111 63 0 17546 0
vsize: 70436
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 16791 0 0 0 30952 53 0 0 25 0 1 0 775251793 72396800 16761 4294967295 134512640 134714540 3221224592 3221223372 134542422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17675 16761 1111 63 0 17612 0
vsize: 70700
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 16819 0 0 0 31952 53 0 0 25 0 1 0 775251793 72531968 16789 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17708 16789 1111 63 0 17645 0
vsize: 70832
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 16897 0 0 0 32951 53 0 0 25 0 1 0 775251793 72802304 16867 4294967295 134512640 134714540 3221224592 3221223152 134540342 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17774 16867 1111 63 0 17711 0
vsize: 71096
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 16970 0 0 0 33951 54 0 0 25 0 1 0 775251793 73207808 16940 4294967295 134512640 134714540 3221224592 3221223376 134558521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17873 16940 1111 63 0 17810 0
vsize: 71492
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 17232 0 0 0 34951 54 0 0 25 0 1 0 775251793 74289152 17202 4294967295 134512640 134714540 3221224592 3221223216 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18137 17202 1111 63 0 18074 0
vsize: 72548
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 17301 0 0 0 35951 55 0 0 25 0 1 0 775251793 74559488 17271 4294967295 134512640 134714540 3221224592 3221223312 134622764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18203 17271 1111 63 0 18140 0
vsize: 72812
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 17301 0 0 0 36951 55 0 0 25 0 1 0 775251793 74559488 17271 4294967295 134512640 134714540 3221224592 3221223216 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18203 17271 1111 63 0 18140 0
vsize: 72812
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 17349 0 0 0 37951 55 0 0 25 0 1 0 775251793 74694656 17319 4294967295 134512640 134714540 3221224592 3221223220 134696296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18236 17319 1111 63 0 18173 0
vsize: 72944
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 17419 0 0 0 38951 55 0 0 25 0 1 0 775251793 74936320 17389 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18295 17389 1111 63 0 18232 0
vsize: 73180
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 17419 0 0 0 39951 55 0 0 25 0 1 0 775251793 74936320 17389 4294967295 134512640 134714540 3221224592 3221223384 134536915 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18295 17389 1111 63 0 18232 0
vsize: 73180
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 17467 0 0 0 40950 56 0 0 25 0 1 0 775251793 75206656 17437 4294967295 134512640 134714540 3221224592 3221223152 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18361 17437 1111 63 0 18298 0
vsize: 73444
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 17490 0 0 0 41950 57 0 0 25 0 1 0 775251793 75296768 17460 4294967295 134512640 134714540 3221224592 3221223308 134558493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18383 17460 1111 63 0 18320 0
vsize: 73532
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 17580 0 0 0 42950 57 0 0 25 0 1 0 775251793 75702272 17550 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18482 17550 1111 63 0 18419 0
vsize: 73928
[startup+440.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 17580 0 0 0 43951 57 0 0 25 0 1 0 775251793 75702272 17550 4294967295 134512640 134714540 3221224592 3221223324 134528753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18482 17550 1111 63 0 18419 0
vsize: 73928
[startup+450.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 17580 0 0 0 44951 57 0 0 25 0 1 0 775251793 75702272 17550 4294967295 134512640 134714540 3221224592 3221223384 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18482 17550 1111 63 0 18419 0
vsize: 73928
[startup+460.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 17582 0 0 0 45951 57 0 0 25 0 1 0 775251793 75702272 17552 4294967295 134512640 134714540 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18482 17552 1111 63 0 18419 0
vsize: 73928
[startup+470.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 17640 0 0 0 46951 58 0 0 25 0 1 0 775251793 75972608 17610 4294967295 134512640 134714540 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18548 17610 1111 63 0 18485 0
vsize: 74192
[startup+480.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 17640 0 0 0 47951 58 0 0 25 0 1 0 775251793 75972608 17610 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18548 17610 1111 63 0 18485 0
vsize: 74192
[startup+490.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 17695 0 0 0 48951 58 0 0 25 0 1 0 775251793 76107776 17665 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18581 17665 1111 63 0 18518 0
vsize: 74324
[startup+500.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 17824 0 0 0 49951 59 0 0 25 0 1 0 775251793 76697600 17794 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18725 17794 1111 63 0 18662 0
vsize: 74900
[startup+510.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 17824 0 0 0 50951 59 0 0 25 0 1 0 775251793 76697600 17794 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18725 17794 1111 63 0 18662 0
vsize: 74900
[startup+520.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 17886 0 0 0 51951 59 0 0 25 0 1 0 775251793 76972032 17856 4294967295 134512640 134714540 3221224592 3221223176 134543606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18792 17856 1111 63 0 18729 0
vsize: 75168
[startup+530.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 17939 0 0 0 52950 59 0 0 25 0 1 0 775251793 77107200 17909 4294967295 134512640 134714540 3221224592 3221223180 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18825 17909 1111 63 0 18762 0
vsize: 75300
[startup+540.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 18123 0 0 0 53950 60 0 0 25 0 1 0 775251793 77918208 18093 4294967295 134512640 134714540 3221224592 3221223232 134539382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19023 18093 1111 63 0 18960 0
vsize: 76092
[startup+550.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 18123 0 0 0 54950 60 0 0 25 0 1 0 775251793 77918208 18093 4294967295 134512640 134714540 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19023 18093 1111 63 0 18960 0
vsize: 76092
[startup+560.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 18165 0 0 0 55950 60 0 0 25 0 1 0 775251793 78053376 18135 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19056 18135 1111 63 0 18993 0
vsize: 76224
[startup+570.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 18196 0 0 0 56950 61 0 0 25 0 1 0 775251793 78188544 18166 4294967295 134512640 134714540 3221224592 3221223108 134535986 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19089 18166 1111 63 0 19026 0
vsize: 76356
[startup+580.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 18377 0 0 0 57950 61 0 0 25 0 1 0 775251793 78983168 18347 4294967295 134512640 134714540 3221224592 3221223172 1077378598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19283 18347 1111 63 0 19220 0
vsize: 77132
[startup+590.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 18579 0 0 0 58949 62 0 0 25 0 1 0 775251793 79794176 18549 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19481 18549 1111 63 0 19418 0
vsize: 77924
[startup+600.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 18676 0 0 0 59949 62 0 0 25 0 1 0 775251793 80187392 18646 4294967295 134512640 134714540 3221224592 3221223216 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19577 18646 1111 63 0 19514 0
vsize: 78308
[startup+610.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 18676 0 0 0 60949 62 0 0 25 0 1 0 775251793 80187392 18646 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19577 18646 1111 63 0 19514 0
vsize: 78308
[startup+620.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 18676 0 0 0 61949 62 0 0 25 0 1 0 775251793 80187392 18646 4294967295 134512640 134714540 3221224592 3221223164 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19577 18646 1111 63 0 19514 0
vsize: 78308
[startup+630.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 18676 0 0 0 62949 62 0 0 25 0 1 0 775251793 80187392 18646 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19577 18646 1111 63 0 19514 0
vsize: 78308
[startup+640.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 18676 0 0 0 63950 63 0 0 25 0 1 0 775251793 80187392 18646 4294967295 134512640 134714540 3221224592 3221223184 134543749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19577 18646 1111 63 0 19514 0
vsize: 78308
[startup+650.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 18676 0 0 0 64950 63 0 0 25 0 1 0 775251793 80187392 18646 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19577 18646 1111 63 0 19514 0
vsize: 78308
[startup+660.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 18676 0 0 0 65950 63 0 0 25 0 1 0 775251793 80187392 18646 4294967295 134512640 134714540 3221224592 3221223232 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19577 18646 1111 63 0 19514 0
vsize: 78308
[startup+670.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 18676 0 0 0 66950 63 0 0 25 0 1 0 775251793 80187392 18646 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19577 18646 1111 63 0 19514 0
vsize: 78308
[startup+680.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 18676 0 0 0 67950 63 0 0 25 0 1 0 775251793 80187392 18646 4294967295 134512640 134714540 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19577 18646 1111 63 0 19514 0
vsize: 78308
[startup+690.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 18676 0 0 0 68950 63 0 0 25 0 1 0 775251793 80187392 18646 4294967295 134512640 134714540 3221224592 3221223408 134610900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19577 18646 1111 63 0 19514 0
vsize: 78308
[startup+700.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 18676 0 0 0 69950 63 0 0 25 0 1 0 775251793 80187392 18646 4294967295 134512640 134714540 3221224592 3221223396 134622413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19577 18646 1111 63 0 19514 0
vsize: 78308
[startup+710.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 18676 0 0 0 70950 64 0 0 25 0 1 0 775251793 80187392 18646 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19577 18646 1111 63 0 19514 0
vsize: 78308
[startup+720.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 18711 0 0 0 71950 64 0 0 25 0 1 0 775251793 80322560 18681 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19610 18681 1111 63 0 19547 0
vsize: 78440
[startup+730.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 18808 0 0 0 72949 64 0 0 25 0 1 0 775251793 80703488 18778 4294967295 134512640 134714540 3221224592 3221223160 1077377211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19703 18778 1111 63 0 19640 0
vsize: 78812
[startup+740.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 18955 0 0 0 73949 65 0 0 25 0 1 0 775251793 81244160 18925 4294967295 134512640 134714540 3221224592 3221223344 134556671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19835 18925 1111 63 0 19772 0
vsize: 79340
[startup+750.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 19047 0 0 0 74948 66 0 0 25 0 1 0 775251793 81649664 19017 4294967295 134512640 134714540 3221224592 3221223232 134542325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19934 19017 1111 63 0 19871 0
vsize: 79736
[startup+760.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 19070 0 0 0 75949 66 0 0 25 0 1 0 775251793 81784832 19040 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19967 19040 1111 63 0 19904 0
vsize: 79868
[startup+770.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 19265 0 0 0 76948 66 0 0 25 0 1 0 775251793 82599936 19235 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20166 19235 1111 63 0 20103 0
vsize: 80664
[startup+780.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 19265 0 0 0 77948 67 0 0 25 0 1 0 775251793 82599936 19235 4294967295 134512640 134714540 3221224592 3221223376 134622285 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20166 19235 1111 63 0 20103 0
vsize: 80664
[startup+790.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 19265 0 0 0 78948 67 0 0 25 0 1 0 775251793 82546688 19235 4294967295 134512640 134714540 3221224592 3221223304 134543179 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20153 19235 1111 63 0 20090 0
vsize: 80612
[startup+800.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 19565 0 0 0 79948 67 0 0 25 0 1 0 775251793 83759104 19535 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20449 19535 1111 63 0 20386 0
vsize: 81796
[startup+810.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 19664 0 0 0 80948 68 0 0 25 0 1 0 775251793 84164608 19634 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20548 19634 1111 63 0 20485 0
vsize: 82192
[startup+820.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 19664 0 0 0 81948 68 0 0 25 0 1 0 775251793 84164608 19634 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20548 19634 1111 63 0 20485 0
vsize: 82192
[startup+830.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 19694 0 0 0 82947 68 0 0 25 0 1 0 775251793 84299776 19664 4294967295 134512640 134714540 3221224592 3221223160 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20581 19666 1111 63 0 20518 0
vsize: 82324
[startup+840.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 19890 0 0 0 83947 69 0 0 25 0 1 0 775251793 85114880 19860 4294967295 134512640 134714540 3221224592 3221223152 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20780 19860 1111 63 0 20717 0
vsize: 83120
[startup+850.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 19995 0 0 0 84947 69 0 0 25 0 1 0 775251793 85524480 19965 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20880 19965 1111 63 0 20817 0
vsize: 83520
[startup+860.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 20151 0 0 0 85947 69 0 0 25 0 1 0 775251793 86200320 20121 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21045 20121 1111 63 0 20982 0
vsize: 84180
[startup+870.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 20151 0 0 0 86947 69 0 0 25 0 1 0 775251793 86200320 20121 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21045 20121 1111 63 0 20982 0
vsize: 84180
[startup+880.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 20151 0 0 0 87947 69 0 0 25 0 1 0 775251793 86200320 20121 4294967295 134512640 134714540 3221224592 3221223320 134622777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21045 20121 1111 63 0 20982 0
vsize: 84180
[startup+890.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 20151 0 0 0 88947 69 0 0 25 0 1 0 775251793 86200320 20121 4294967295 134512640 134714540 3221224592 3221223312 134622766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21045 20121 1111 63 0 20982 0
vsize: 84180
[startup+900.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 20151 0 0 0 89947 69 0 0 25 0 1 0 775251793 86200320 20121 4294967295 134512640 134714540 3221224592 3221223152 134542342 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21045 20121 1111 63 0 20982 0
vsize: 84180
[startup+910.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 20154 0 0 0 90947 70 0 0 25 0 1 0 775251793 86200320 20124 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21045 20124 1111 63 0 20982 0
vsize: 84180
[startup+920.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 20154 0 0 0 91948 70 0 0 25 0 1 0 775251793 86200320 20124 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21045 20124 1111 63 0 20982 0
vsize: 84180
[startup+930.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 20154 0 0 0 92948 70 0 0 25 0 1 0 775251793 86200320 20124 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21045 20124 1111 63 0 20982 0
vsize: 84180
[startup+940.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 20165 0 0 0 93948 70 0 0 25 0 1 0 775251793 86200320 20135 4294967295 134512640 134714540 3221224592 3221223152 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21045 20135 1111 63 0 20982 0
vsize: 84180
[startup+950.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 20165 0 0 0 94948 70 0 0 25 0 1 0 775251793 86200320 20135 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21045 20135 1111 63 0 20982 0
vsize: 84180
[startup+960.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 20165 0 0 0 95948 70 0 0 25 0 1 0 775251793 86200320 20135 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21045 20135 1111 63 0 20982 0
vsize: 84180
[startup+970.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 20165 0 0 0 96948 70 0 0 25 0 1 0 775251793 86200320 20135 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21045 20135 1111 63 0 20982 0
vsize: 84180
[startup+980.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 20203 0 0 0 97948 71 0 0 25 0 1 0 775251793 86470656 20173 4294967295 134512640 134714540 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21111 20173 1111 63 0 21048 0
vsize: 84444
[startup+990.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 20273 0 0 0 98947 71 0 0 25 0 1 0 775251793 86745088 20243 4294967295 134512640 134714540 3221224592 3221223464 134536906 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21178 20243 1111 63 0 21115 0
vsize: 84712
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 20355 0 0 0 99947 72 0 0 25 0 1 0 775251793 87015424 20325 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21244 20325 1111 63 0 21181 0
vsize: 84976
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 20355 0 0 0 100947 72 0 0 25 0 1 0 775251793 87015424 20325 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21244 20325 1111 63 0 21181 0
vsize: 84976
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 20508 0 0 0 101946 73 0 0 25 0 1 0 775251793 87654400 20478 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21400 20478 1111 63 0 21337 0
vsize: 85600
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 20534 0 0 0 102946 73 0 0 25 0 1 0 775251793 87789568 20504 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21433 20504 1111 63 0 21370 0
vsize: 85732
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 20534 0 0 0 103946 73 0 0 25 0 1 0 775251793 87789568 20504 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21433 20504 1111 63 0 21370 0
vsize: 85732
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 20592 0 0 0 104946 74 0 0 25 0 1 0 775251793 88059904 20562 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21499 20562 1111 63 0 21436 0
vsize: 85996
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 20594 0 0 0 105946 74 0 0 25 0 1 0 775251793 88059904 20564 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21499 20564 1111 63 0 21436 0
vsize: 85996
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 20699 0 0 0 106947 74 0 0 25 0 1 0 775251793 88469504 20669 4294967295 134512640 134714540 3221224592 3221223148 134539326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21599 20669 1111 63 0 21536 0
vsize: 86396
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 20739 0 0 0 107947 74 0 0 25 0 1 0 775251793 88604672 20709 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21632 20709 1111 63 0 21569 0
vsize: 86528
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 20749 0 0 0 108947 74 0 0 25 0 1 0 775251793 88604672 20719 4294967295 134512640 134714540 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21632 20719 1111 63 0 21569 0
vsize: 86528
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 20749 0 0 0 109947 74 0 0 25 0 1 0 775251793 88604672 20719 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21632 20719 1111 63 0 21569 0
vsize: 86528
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 20749 0 0 0 110947 74 0 0 25 0 1 0 775251793 88604672 20719 4294967295 134512640 134714540 3221224592 3221223388 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21632 20719 1111 63 0 21569 0
vsize: 86528
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 20749 0 0 0 111947 74 0 0 25 0 1 0 775251793 88604672 20719 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21632 20719 1111 63 0 21569 0
vsize: 86528
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 20749 0 0 0 112947 75 0 0 25 0 1 0 775251793 88604672 20719 4294967295 134512640 134714540 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21632 20719 1111 63 0 21569 0
vsize: 86528
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 20749 0 0 0 113947 75 0 0 25 0 1 0 775251793 88604672 20719 4294967295 134512640 134714540 3221224592 3221223120 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21632 20719 1111 63 0 21569 0
vsize: 86528
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 20749 0 0 0 114947 75 0 0 25 0 1 0 775251793 88604672 20719 4294967295 134512640 134714540 3221224592 3221223396 134610916 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21632 20719 1111 63 0 21569 0
vsize: 86528
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 20827 0 0 0 115946 75 0 0 25 0 1 0 775251793 89010176 20797 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21731 20797 1111 63 0 21668 0
vsize: 86924
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 20877 0 0 0 116946 76 0 0 25 0 1 0 775251793 89145344 20847 4294967295 134512640 134714540 3221224592 3221223296 134528617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21764 20847 1111 63 0 21701 0
vsize: 87056
[startup+1174.87 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 10009
Raw data (stat): 10009 (bsolo_mis) R 10008 3944 3943 0 -1 0 20877 0 0 0 116946 76 0 0 25 0 1 0 775251793 89145344 20847 4294967295 134512640 134714540 3221224592 3221223296 134528617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21764 20847 1111 63 0 21701 0
vsize: 0

Child status: 0
Real time (s): 1174.86
CPU time (s): 1175.05
CPU user time (s): 1174.25
CPU system time (s): 0.801878
CPU usage (%): 100.016
Max. virtual memory (Kb): 87056
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####