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/submitted/manquinho/ttp/normalized-circ6_3.opb
MD5SUM	509cfdb6810b13d9963718243e9046cd
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	66
Optimality of the best value was proved	NO
Number of terms in the objective function	180
Biggest coefficient in the objective function	3
Number of bits for the biggest coefficient in the objective function	2
Sum of the numbers in the objective function	324
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	16
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	324
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.98
Number of variables	540
Total number of constraints	4476
Number of constraints which are clauses	2532
Number of constraints which are cardinality constraints (but not clauses)	264
Number of constraints which are nor clauses,nor cardinality constraints	1680
Minimum length of a constraint	2
Maximum length of a constraint	20
Trace number 24429

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-10 08:33:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2316 boxname=wulflinc31 idbench=258 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  509cfdb6810b13d9963718243e9046cd  /oldhome/oroussel/tmp/wulflinc31/normalized-circ6_3.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-circ6_3.opb
IDLAUNCH: 2316
/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:        297500 kB
Buffers:         46292 kB
Cached:         657068 kB
SwapCached:        644 kB
Active:         307024 kB
Inactive:       398692 kB
HighTotal:      131008 kB
HighFree:        33460 kB
LowTotal:       903652 kB
LowFree:        264040 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            25868 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-10 08:53:24 (client local time) WITH STATUS 0 IN 1175.07 SECONDS
stats: 2316 7 1175.07 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 540 variables and 4626 constraints.
c After prepocess the problem consists of 540 variables and 4266 constraints.
c preprocess terminated 5.677 s
c Initial Lower Bound: 12
c Lower Bound Elapsed time: 0
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 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.84 0.94 0.90 2/54 9052
Raw data (stat): 9052 (runsolver) R 9051 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 707838025 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0006 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 2325 0 0 0 990 6 0 0 25 0 1 0 707838025 10543104 1676 4294967295 134512640 134714540 3221221792 3221220432 134539567 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2574 1676 1111 63 0 2511 0
vsize: 10296
[startup+20.0005 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 2642 0 0 0 1988 8 0 0 25 0 1 0 707838025 11894784 1993 4294967295 134512640 134714540 3221221792 3221220496 134528434 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2904 1993 1111 63 0 2841 0
vsize: 11616
[startup+30.0014 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 2981 0 0 0 2985 11 0 0 25 0 1 0 707838025 13246464 2332 4294967295 134512640 134714540 3221221792 3221220432 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3234 2332 1111 63 0 3171 0
vsize: 12936
[startup+40.0013 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 3305 0 0 0 3983 13 0 0 25 0 1 0 707838025 14598144 2656 4294967295 134512640 134714540 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3564 2656 1111 63 0 3501 0
vsize: 14256
[startup+50.0023 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 3650 0 0 0 4982 15 0 0 25 0 1 0 707838025 16084992 3001 4294967295 134512640 134714540 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3927 3001 1111 63 0 3864 0
vsize: 15708
[startup+60.0027 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 3923 0 0 0 5980 17 0 0 25 0 1 0 707838025 17166336 3274 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4191 3274 1111 63 0 4128 0
vsize: 16764
[startup+70.0031 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 4217 0 0 0 6978 19 0 0 25 0 1 0 707838025 18382848 3568 4294967295 134512640 134714540 3221221792 3221220300 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4488 3568 1111 63 0 4425 0
vsize: 17952
[startup+80.0041 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 4537 0 0 0 7977 20 0 0 25 0 1 0 707838025 19599360 3888 4294967295 134512640 134714540 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4785 3888 1111 63 0 4722 0
vsize: 19140
[startup+90.004 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 4829 0 0 0 8975 22 0 0 25 0 1 0 707838025 20815872 4180 4294967295 134512640 134714540 3221221792 3221220376 134543606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5082 4180 1111 63 0 5019 0
vsize: 20328
[startup+100.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 5080 0 0 0 9973 24 0 0 25 0 1 0 707838025 21897216 4431 4294967295 134512640 134714540 3221221792 3221220384 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+110.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 5342 0 0 0 10972 26 0 0 25 0 1 0 707838025 22978560 4693 4294967295 134512640 134714540 3221221792 3221220376 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5610 4693 1111 63 0 5547 0
vsize: 22440
[startup+120.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 5733 0 0 0 11971 27 0 0 25 0 1 0 707838025 24600576 5084 4294967295 134512640 134714540 3221221792 3221220576 134529215 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6006 5084 1111 63 0 5943 0
vsize: 24024
[startup+130.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 6015 0 0 0 12968 30 0 0 25 0 1 0 707838025 25681920 5366 4294967295 134512640 134714540 3221221792 3221220428 134552682 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6270 5366 1111 63 0 6207 0
vsize: 25080
[startup+140.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 6280 0 0 0 13967 32 0 0 25 0 1 0 707838025 26763264 5631 4294967295 134512640 134714540 3221221792 3221220432 134543110 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6534 5631 1111 63 0 6471 0
vsize: 26136
[startup+150.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 6478 0 0 0 14966 33 0 0 25 0 1 0 707838025 27574272 5829 4294967295 134512640 134714540 3221221792 3221220352 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6732 5829 1111 63 0 6669 0
vsize: 26928
[startup+160.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 6751 0 0 0 15964 35 0 0 25 0 1 0 707838025 28790784 6102 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7029 6102 1111 63 0 6966 0
vsize: 28116
[startup+170.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 7040 0 0 0 16963 37 0 0 25 0 1 0 707838025 29872128 6391 4294967295 134512640 134714540 3221221792 3221220432 134696109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7293 6391 1111 63 0 7230 0
vsize: 29172
[startup+180.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 7320 0 0 0 17961 39 0 0 25 0 1 0 707838025 31088640 6671 4294967295 134512640 134714540 3221221792 3221220444 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7590 6671 1111 63 0 7527 0
vsize: 30360
[startup+190.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 7596 0 0 0 18959 40 0 0 25 0 1 0 707838025 32169984 6947 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7854 6947 1111 63 0 7791 0
vsize: 31416
[startup+200.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 7853 0 0 0 19958 42 0 0 25 0 1 0 707838025 33251328 7204 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8118 7204 1111 63 0 8055 0
vsize: 32472
[startup+210.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 8054 0 0 0 20957 43 0 0 25 0 1 0 707838025 34062336 7405 4294967295 134512640 134714540 3221221792 3221220332 134539265 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8316 7405 1111 63 0 8253 0
vsize: 33264
[startup+220.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 8296 0 0 0 21956 44 0 0 25 0 1 0 707838025 35008512 7647 4294967295 134512640 134714540 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8547 7647 1111 63 0 8484 0
vsize: 34188
[startup+230.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 8536 0 0 0 22955 46 0 0 25 0 1 0 707838025 36089856 7887 4294967295 134512640 134714540 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8811 7887 1111 63 0 8748 0
vsize: 35244
[startup+240.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 8784 0 0 0 23953 47 0 0 25 0 1 0 707838025 37036032 8135 4294967295 134512640 134714540 3221221792 3221220396 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9042 8135 1111 63 0 8979 0
vsize: 36168
[startup+250.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 9020 0 0 0 24952 49 0 0 25 0 1 0 707838025 37982208 8371 4294967295 134512640 134714540 3221221792 3221220384 134549533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9273 8371 1111 63 0 9210 0
vsize: 37092
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 9248 0 0 0 25951 50 0 0 25 0 1 0 707838025 38928384 8599 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9504 8599 1111 63 0 9441 0
vsize: 38016
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 9482 0 0 0 26949 52 0 0 25 0 1 0 707838025 39874560 8833 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9735 8833 1111 63 0 9672 0
vsize: 38940
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 9650 0 0 0 27948 53 0 0 25 0 1 0 707838025 40550400 9001 4294967295 134512640 134714540 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9900 9001 1111 63 0 9837 0
vsize: 39600
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 9826 0 0 0 28947 55 0 0 25 0 1 0 707838025 41361408 9177 4294967295 134512640 134714540 3221221792 3221220448 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10098 9177 1111 63 0 10035 0
vsize: 40392
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 10025 0 0 0 29945 56 0 0 25 0 1 0 707838025 42172416 9376 4294967295 134512640 134714540 3221221792 3221220420 134696296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10296 9376 1111 63 0 10233 0
vsize: 41184
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 10246 0 0 0 30943 59 0 0 25 0 1 0 707838025 43118592 9597 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10527 9597 1111 63 0 10464 0
vsize: 42108
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 10454 0 0 0 31942 60 0 0 25 0 1 0 707838025 43925504 9805 4294967295 134512640 134714540 3221221792 3221220432 134543110 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10724 9805 1111 63 0 10661 0
vsize: 42896
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 10651 0 0 0 32940 62 0 0 25 0 1 0 707838025 44740608 10002 4294967295 134512640 134714540 3221221792 3221220432 134539374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10923 10002 1111 63 0 10860 0
vsize: 43692
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 10860 0 0 0 33939 63 0 0 25 0 1 0 707838025 45555712 10211 4294967295 134512640 134714540 3221221792 3221220464 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11122 10211 1111 63 0 11059 0
vsize: 44488
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 11044 0 0 0 34938 65 0 0 25 0 1 0 707838025 46366720 10395 4294967295 134512640 134714540 3221221792 3221220528 134523980 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11320 10395 1111 63 0 11257 0
vsize: 45280
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 11225 0 0 0 35937 66 0 0 25 0 1 0 707838025 47042560 10576 4294967295 134512640 134714540 3221221792 3221220384 134549548 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11485 10576 1111 63 0 11422 0
vsize: 45940
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 11421 0 0 0 36936 67 0 0 25 0 1 0 707838025 47853568 10772 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11683 10772 1111 63 0 11620 0
vsize: 46732
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 11590 0 0 0 37935 68 0 0 25 0 1 0 707838025 48529408 10941 4294967295 134512640 134714540 3221221792 3221220432 134696151 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11848 10941 1111 63 0 11785 0
vsize: 47392
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 11781 0 0 0 38934 70 0 0 25 0 1 0 707838025 49340416 11132 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12046 11132 1111 63 0 11983 0
vsize: 48184
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 12015 0 0 0 39933 71 0 0 25 0 1 0 707838025 50286592 11366 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12277 11366 1111 63 0 12214 0
vsize: 49108
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 12238 0 0 0 40931 73 0 0 25 0 1 0 707838025 51232768 11589 4294967295 134512640 134714540 3221221792 3221220288 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12508 11589 1111 63 0 12445 0
vsize: 50032
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 12432 0 0 0 41930 74 0 0 25 0 1 0 707838025 52043776 11783 4294967295 134512640 134714540 3221221792 3221220384 134542340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12706 11783 1111 63 0 12643 0
vsize: 50824
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 12635 0 0 0 42929 75 0 0 25 0 1 0 707838025 52854784 11986 4294967295 134512640 134714540 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12904 11986 1111 63 0 12841 0
vsize: 51616
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 12812 0 0 0 43927 77 0 0 25 0 1 0 707838025 53530624 12163 4294967295 134512640 134714540 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13069 12163 1111 63 0 13006 0
vsize: 52276
[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 13004 0 0 0 44926 79 0 0 25 0 1 0 707838025 54341632 12355 4294967295 134512640 134714540 3221221792 3221220504 134552570 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13267 12355 1111 63 0 13204 0
vsize: 53068
[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 13166 0 0 0 45925 80 0 0 25 0 1 0 707838025 55017472 12517 4294967295 134512640 134714540 3221221792 3221220480 134528607 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13432 12517 1111 63 0 13369 0
vsize: 53728
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 13366 0 0 0 46924 81 0 0 25 0 1 0 707838025 55828480 12717 4294967295 134512640 134714540 3221221792 3221220376 134543606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13630 12717 1111 63 0 13567 0
vsize: 54520
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 13556 0 0 0 47922 83 0 0 25 0 1 0 707838025 56639488 12907 4294967295 134512640 134714540 3221221792 3221220344 134696493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13828 12907 1111 63 0 13765 0
vsize: 55312
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 13712 0 0 0 48921 84 0 0 25 0 1 0 707838025 57315328 13063 4294967295 134512640 134714540 3221221792 3221220432 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13993 13063 1111 63 0 13930 0
vsize: 55972
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 13889 0 0 0 49919 87 0 0 25 0 1 0 707838025 57991168 13240 4294967295 134512640 134714540 3221221792 3221220352 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14158 13240 1111 63 0 14095 0
vsize: 56632
[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 14094 0 0 0 50918 88 0 0 25 0 1 0 707838025 58802176 13444 4294967295 134512640 134714540 3221221792 3221220528 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14356 13444 1111 63 0 14293 0
vsize: 57424
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 14287 0 0 0 51916 89 0 0 25 0 1 0 707838025 59609088 13637 4294967295 134512640 134714540 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14553 13637 1111 63 0 14490 0
vsize: 58212
[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 14468 0 0 0 52915 91 0 0 25 0 1 0 707838025 60420096 13818 4294967295 134512640 134714540 3221221792 3221220396 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14751 13818 1111 63 0 14688 0
vsize: 59004
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 14599 0 0 0 53914 92 0 0 25 0 1 0 707838025 60960768 13949 4294967295 134512640 134714540 3221221792 3221220320 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14883 13949 1111 63 0 14820 0
vsize: 59532
[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 14759 0 0 0 54913 93 0 0 25 0 1 0 707838025 61501440 14109 4294967295 134512640 134714540 3221221792 3221220352 134542297 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15015 14109 1111 63 0 14952 0
vsize: 60060
[startup+560.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 14930 0 0 0 55912 94 0 0 25 0 1 0 707838025 62312448 14280 4294967295 134512640 134714540 3221221792 3221220396 134536825 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15213 14280 1111 63 0 15150 0
vsize: 60852
[startup+570.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 15079 0 0 0 56911 95 0 0 25 0 1 0 707838025 62853120 14428 4294967295 134512640 134714540 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15345 14428 1111 63 0 15282 0
vsize: 61380
[startup+580.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 15200 0 0 0 57910 97 0 0 25 0 1 0 707838025 63401984 14549 4294967295 134512640 134714540 3221221792 3221220428 134552672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15479 14549 1111 63 0 15416 0
vsize: 61916
[startup+590.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 15324 0 0 0 58910 97 0 0 25 0 1 0 707838025 63938560 14673 4294967295 134512640 134714540 3221221792 3221220348 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15610 14673 1111 63 0 15547 0
vsize: 62440
[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 15440 0 0 0 59909 98 0 0 25 0 1 0 707838025 64344064 14789 4294967295 134512640 134714540 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15709 14789 1111 63 0 15646 0
vsize: 62836
[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 15558 0 0 0 60908 99 0 0 25 0 1 0 707838025 64884736 14907 4294967295 134512640 134714540 3221221792 3221220432 134539460 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15841 14907 1111 63 0 15778 0
vsize: 63364
[startup+620.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 15676 0 0 0 61907 100 0 0 25 0 1 0 707838025 65290240 15025 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15940 15025 1111 63 0 15877 0
vsize: 63760
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 15812 0 0 0 62907 101 0 0 25 0 1 0 707838025 65966080 15161 4294967295 134512640 134714540 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16105 15161 1111 63 0 16042 0
vsize: 64420
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 15979 0 0 0 63905 103 0 0 25 0 1 0 707838025 66641920 15328 4294967295 134512640 134714540 3221221792 3221220512 134535762 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16270 15328 1111 63 0 16207 0
vsize: 65080
[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 16208 0 0 0 64904 104 0 0 25 0 1 0 707838025 67588096 15557 4294967295 134512640 134714540 3221221792 3221220416 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16501 15557 1111 63 0 16438 0
vsize: 66004
[startup+660.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 16385 0 0 0 65903 105 0 0 25 0 1 0 707838025 68263936 15734 4294967295 134512640 134714540 3221221792 3221220460 134543653 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16666 15734 1111 63 0 16603 0
vsize: 66664
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 16571 0 0 0 66902 106 0 0 25 0 1 0 707838025 69074944 15920 4294967295 134512640 134714540 3221221792 3221220384 134549533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16864 15920 1111 63 0 16801 0
vsize: 67456
[startup+680.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 16783 0 0 0 67901 107 0 0 25 0 1 0 707838025 69885952 16132 4294967295 134512640 134714540 3221221792 3221220432 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17062 16132 1111 63 0 16999 0
vsize: 68248
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 17005 0 0 0 68900 109 0 0 25 0 1 0 707838025 70832128 16354 4294967295 134512640 134714540 3221221792 3221220448 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17293 16354 1111 63 0 17230 0
vsize: 69172
[startup+700.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 17164 0 0 0 69898 111 0 0 25 0 1 0 707838025 71507968 16513 4294967295 134512640 134714540 3221221792 3221220300 134535903 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17458 16513 1111 63 0 17395 0
vsize: 69832
[startup+710.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 17328 0 0 0 70897 112 0 0 25 0 1 0 707838025 72183808 16677 4294967295 134512640 134714540 3221221792 3221220564 134529375 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17623 16677 1111 63 0 17560 0
vsize: 70492
[startup+720.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 17506 0 0 0 71896 114 0 0 25 0 1 0 707838025 72859648 16855 4294967295 134512640 134714540 3221221792 3221220432 134543073 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17788 16855 1111 63 0 17725 0
vsize: 71152
[startup+730.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 17680 0 0 0 72894 116 0 0 25 0 1 0 707838025 73535488 17029 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17953 17029 1111 63 0 17890 0
vsize: 71812
[startup+740.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 17875 0 0 0 73893 117 0 0 25 0 1 0 707838025 74346496 17224 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18151 17224 1111 63 0 18088 0
vsize: 72604
[startup+750.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 18040 0 0 0 74892 118 0 0 25 0 1 0 707838025 75022336 17389 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18316 17389 1111 63 0 18253 0
vsize: 73264
[startup+760.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 18197 0 0 0 75890 120 0 0 25 0 1 0 707838025 75698176 17546 4294967295 134512640 134714540 3221221792 3221220432 134696092 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18481 17546 1111 63 0 18418 0
vsize: 73924
[startup+770.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 18340 0 0 0 76888 121 0 0 25 0 1 0 707838025 76238848 17689 4294967295 134512640 134714540 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18613 17689 1111 63 0 18550 0
vsize: 74452
[startup+780.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 18489 0 0 0 77888 122 0 0 25 0 1 0 707838025 76914688 17838 4294967295 134512640 134714540 3221221792 3221220448 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18778 17838 1111 63 0 18715 0
vsize: 75112
[startup+790.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 18605 0 0 0 78887 124 0 0 25 0 1 0 707838025 77320192 17954 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18877 17954 1111 63 0 18814 0
vsize: 75508
[startup+800.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 18744 0 0 0 79886 124 0 0 25 0 1 0 707838025 77996032 18093 4294967295 134512640 134714540 3221221792 3221220348 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19042 18093 1111 63 0 18979 0
vsize: 76168
[startup+810.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 18914 0 0 0 80885 126 0 0 25 0 1 0 707838025 78671872 18263 4294967295 134512640 134714540 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19207 18263 1111 63 0 19144 0
vsize: 76828
[startup+820.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 19082 0 0 0 81884 127 0 0 25 0 1 0 707838025 79347712 18431 4294967295 134512640 134714540 3221221792 3221220416 134543097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19372 18431 1111 63 0 19309 0
vsize: 77488
[startup+830.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 19268 0 0 0 82882 129 0 0 25 0 1 0 707838025 80166912 18617 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19572 18617 1111 63 0 19509 0
vsize: 78288
[startup+840.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 19396 0 0 0 83881 130 0 0 25 0 1 0 707838025 80707584 18745 4294967295 134512640 134714540 3221221792 3221220360 134542370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19704 18745 1111 63 0 19641 0
vsize: 78816
[startup+850.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 19537 0 0 0 84881 131 0 0 25 0 1 0 707838025 81248256 18886 4294967295 134512640 134714540 3221221792 3221220384 134549773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19836 18886 1111 63 0 19773 0
vsize: 79344
[startup+860.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 19701 0 0 0 85880 132 0 0 25 0 1 0 707838025 81928192 19050 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20002 19050 1111 63 0 19939 0
vsize: 80008
[startup+870.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 19847 0 0 0 86879 133 0 0 25 0 1 0 707838025 82468864 19196 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20134 19196 1111 63 0 20071 0
vsize: 80536
[startup+880.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 20033 0 0 0 87877 134 0 0 25 0 1 0 707838025 83288064 19382 4294967295 134512640 134714540 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20334 19382 1111 63 0 20271 0
vsize: 81336
[startup+890.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 20205 0 0 0 88876 136 0 0 25 0 1 0 707838025 83963904 19554 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20499 19554 1111 63 0 20436 0
vsize: 81996
[startup+900.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 20400 0 0 0 89876 136 0 0 25 0 1 0 707838025 84774912 19749 4294967295 134512640 134714540 3221221792 3221220324 134543027 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20697 19749 1111 63 0 20634 0
vsize: 82788
[startup+910.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 20537 0 0 0 90875 137 0 0 25 0 1 0 707838025 85315584 19886 4294967295 134512640 134714540 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20829 19886 1111 63 0 20766 0
vsize: 83316
[startup+920.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 20668 0 0 0 91874 138 0 0 25 0 1 0 707838025 85856256 20017 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20961 20017 1111 63 0 20898 0
vsize: 83844
[startup+930.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 20815 0 0 0 92873 139 0 0 25 0 1 0 707838025 86536192 20164 4294967295 134512640 134714540 3221221792 3221220444 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21127 20164 1111 63 0 21064 0
vsize: 84508
[startup+940.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 20937 0 0 0 93872 140 0 0 25 0 1 0 707838025 86941696 20286 4294967295 134512640 134714540 3221221792 3221220456 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21226 20286 1111 63 0 21163 0
vsize: 84904
[startup+950.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 21033 0 0 0 94871 142 0 0 25 0 1 0 707838025 87347200 20382 4294967295 134512640 134714540 3221221792 3221220416 134543097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21325 20382 1111 63 0 21262 0
vsize: 85300
[startup+960.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 21158 0 0 0 95870 143 0 0 25 0 1 0 707838025 87887872 20507 4294967295 134512640 134714540 3221221792 3221220432 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21457 20507 1111 63 0 21394 0
vsize: 85828
[startup+970.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 21322 0 0 0 96868 145 0 0 25 0 1 0 707838025 88563712 20671 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21622 20671 1111 63 0 21559 0
vsize: 86488
[startup+980.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 21467 0 0 0 97868 146 0 0 25 0 1 0 707838025 89104384 20816 4294967295 134512640 134714540 3221221792 3221220352 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21754 20816 1111 63 0 21691 0
vsize: 87016
[startup+990.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 21649 0 0 0 98867 147 0 0 25 0 1 0 707838025 89915392 20998 4294967295 134512640 134714540 3221221792 3221220384 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21952 20998 1111 63 0 21889 0
vsize: 87808
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 21804 0 0 0 99866 147 0 0 25 0 1 0 707838025 90451968 21153 4294967295 134512640 134714540 3221221792 3221220576 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22083 21153 1111 63 0 22020 0
vsize: 88332
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 21924 0 0 0 100866 148 0 0 25 0 1 0 707838025 91009024 21273 4294967295 134512640 134714540 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22219 21273 1111 63 0 22156 0
vsize: 88876
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 22065 0 0 0 101866 148 0 0 25 0 1 0 707838025 91549696 21414 4294967295 134512640 134714540 3221221792 3221220348 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22351 21414 1111 63 0 22288 0
vsize: 89404
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 22215 0 0 0 102865 149 0 0 25 0 1 0 707838025 92229632 21564 4294967295 134512640 134714540 3221221792 3221220456 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22517 21564 1111 63 0 22454 0
vsize: 90068
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 22366 0 0 0 103865 150 0 0 25 0 1 0 707838025 92770304 21715 4294967295 134512640 134714540 3221221792 3221220332 134539270 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22649 21715 1111 63 0 22586 0
vsize: 90596
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 22557 0 0 0 104864 150 0 0 25 0 1 0 707838025 93581312 21906 4294967295 134512640 134714540 3221221792 3221220432 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22847 21906 1111 63 0 22784 0
vsize: 91388
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 22699 0 0 0 105864 151 0 0 25 0 1 0 707838025 94130176 22048 4294967295 134512640 134714540 3221221792 3221220464 134542914 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22981 22048 1111 63 0 22918 0
vsize: 91924
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 22825 0 0 0 106863 152 0 0 25 0 1 0 707838025 94666752 22174 4294967295 134512640 134714540 3221221792 3221220448 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23112 22174 1111 63 0 23049 0
vsize: 92448
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 22983 0 0 0 107862 153 0 0 25 0 1 0 707838025 95342592 22332 4294967295 134512640 134714540 3221221792 3221220432 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23277 22332 1111 63 0 23214 0
vsize: 93108
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 23094 0 0 0 108862 153 0 0 25 0 1 0 707838025 95748096 22443 4294967295 134512640 134714540 3221221792 3221220520 134552622 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23376 22443 1111 63 0 23313 0
vsize: 93504
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 23229 0 0 0 109862 154 0 0 25 0 1 0 707838025 96428032 22578 4294967295 134512640 134714540 3221221792 3221220444 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23542 22578 1111 63 0 23479 0
vsize: 94168
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 23386 0 0 0 110861 154 0 0 25 0 1 0 707838025 97103872 22734 4294967295 134512640 134714540 3221221792 3221220496 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23707 22734 1111 63 0 23644 0
vsize: 94828
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 23516 0 0 0 111861 155 0 0 25 0 1 0 707838025 97509376 22864 4294967295 134512640 134714540 3221221792 3221220564 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23806 22864 1111 63 0 23743 0
vsize: 95224
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 23617 0 0 0 112860 156 0 0 25 0 1 0 707838025 97914880 22965 4294967295 134512640 134714540 3221221792 3221220516 134535789 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23905 22965 1111 63 0 23842 0
vsize: 95620
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 23742 0 0 0 113860 156 0 0 25 0 1 0 707838025 98455552 23090 4294967295 134512640 134714540 3221221792 3221220444 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24037 23090 1111 63 0 23974 0
vsize: 96148
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 23905 0 0 0 114860 157 0 0 25 0 1 0 707838025 99131392 23253 4294967295 134512640 134714540 3221221792 3221220396 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24202 23253 1111 63 0 24139 0
vsize: 96808
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 24029 0 0 0 115859 157 0 0 25 0 1 0 707838025 99672064 23377 4294967295 134512640 134714540 3221221792 3221220528 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24334 23377 1111 63 0 24271 0
vsize: 97336
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 24155 0 0 0 116859 158 0 0 25 0 1 0 707838025 100212736 23503 4294967295 134512640 134714540 3221221792 3221220496 134528668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24466 23503 1111 63 0 24403 0
vsize: 97864
[startup+1174.94 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 9052
Raw data (stat): 9052 (bsolo_mis) R 9051 7876 7672 0 -1 0 24155 0 0 0 116859 158 0 0 25 0 1 0 707838025 100212736 23503 4294967295 134512640 134714540 3221221792 3221220496 134528668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24466 23503 1111 63 0 24403 0
vsize: 0

Child status: 0
Real time (s): 1174.93
CPU time (s): 1175.07
CPU user time (s): 1173.44
CPU system time (s): 1.63275
CPU usage (%): 100.011
Max. virtual memory (Kb): 97864
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####