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/primes-dimacs-cnf/normalized-par32-1-c.opb
MD5SUM	8c1b8634a2f99e9f8e579ef031d10353
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	2630
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	2630
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2630
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	2630
Total number of constraints	6569
Number of constraints which are clauses	6569
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	3
Trace number 24154

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-08 11:22:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1821 boxname=wulflinc31 idbench=203 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  8c1b8634a2f99e9f8e579ef031d10353  /oldhome/oroussel/tmp/wulflinc31/normalized-par32-1-c.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-par32-1-c.opb
IDLAUNCH: 1821
/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:        140328 kB
Buffers:         41736 kB
Cached:         818296 kB
SwapCached:        644 kB
Active:         492612 kB
Inactive:       369752 kB
HighTotal:      131008 kB
HighFree:         3332 kB
LowTotal:       903652 kB
LowFree:        136996 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26488 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-08 11:42:10 (client local time) WITH STATUS 0 IN 1175.08 SECONDS
stats: 1821 7 1175.08 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 2630 variables and 6569 constraints.
c After prepocess the problem consists of 2565 variables and 6437 constraints.
c preprocess terminated 6.768 s
c Initial Lower Bound: 368
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.91 0.95 0.90 2/54 15257
Raw data (stat): 15257 (runsolver) R 15256 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 691568766 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.0011 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 3535 0 0 0 988 8 0 0 25 0 1 0 691568766 18157568 3505 4294967295 134512640 134714540 3221221792 3221220584 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4433 3505 1111 63 0 4370 0
vsize: 17732
[startup+20.0016 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 3535 0 0 0 1987 8 0 0 25 0 1 0 691568766 18157568 3505 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4433 3505 1111 63 0 4370 0
vsize: 17732
[startup+30.0025 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 3591 0 0 0 2987 9 0 0 25 0 1 0 691568766 18427904 3561 4294967295 134512640 134714540 3221221792 3221220584 134542450 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4499 3561 1111 63 0 4436 0
vsize: 17996
[startup+40.0027 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 3880 0 0 0 3986 10 0 0 25 0 1 0 691568766 19509248 3850 4294967295 134512640 134714540 3221221792 3221220460 134542288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4763 3850 1111 63 0 4700 0
vsize: 19052
[startup+50.0024 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 4180 0 0 0 4985 11 0 0 25 0 1 0 691568766 20729856 4150 4294967295 134512640 134714540 3221221792 3221220608 134610900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5061 4150 1111 63 0 4998 0
vsize: 20244
[startup+60.0023 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 4512 0 0 0 5984 13 0 0 25 0 1 0 691568766 22216704 4482 4294967295 134512640 134714540 3221221792 3221220596 134610916 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5424 4482 1111 63 0 5361 0
vsize: 21696
[startup+70.0025 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 4791 0 0 0 6984 13 0 0 25 0 1 0 691568766 23298048 4761 4294967295 134512640 134714540 3221221792 3221220584 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5688 4761 1111 63 0 5625 0
vsize: 22752
[startup+80.0031 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 5087 0 0 0 7983 14 0 0 25 0 1 0 691568766 24514560 5057 4294967295 134512640 134714540 3221221792 3221220464 134543700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5985 5057 1111 63 0 5922 0
vsize: 23940
[startup+90.0031 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 5392 0 0 0 8982 16 0 0 25 0 1 0 691568766 25763840 5362 4294967295 134512640 134714540 3221221792 3221220584 134542448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6290 5362 1111 63 0 6227 0
vsize: 25160
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 5715 0 0 0 9981 16 0 0 25 0 1 0 691568766 27131904 5681 4294967295 134512640 134714540 3221221792 3221220504 134625107 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6624 5681 1111 63 0 6561 0
vsize: 26496
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 5995 0 0 0 10980 17 0 0 25 0 1 0 691568766 28352512 5961 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6922 5961 1111 63 0 6859 0
vsize: 27688
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 6276 0 0 0 11980 18 0 0 25 0 1 0 691568766 29442048 6241 4294967295 134512640 134714540 3221221792 3221220448 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7188 6241 1111 63 0 7125 0
vsize: 28752
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 6536 0 0 0 12979 19 0 0 25 0 1 0 691568766 30523392 6501 4294967295 134512640 134714540 3221221792 3221220352 134696609 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7452 6501 1111 63 0 7389 0
vsize: 29808
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 6815 0 0 0 13978 20 0 0 25 0 1 0 691568766 31604736 6779 4294967295 134512640 134714540 3221221792 3221220496 134556894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7716 6779 1111 63 0 7653 0
vsize: 30864
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 7103 0 0 0 14977 21 0 0 25 0 1 0 691568766 32964608 7067 4294967295 134512640 134714540 3221221792 3221220424 134536665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8048 7067 1111 63 0 7985 0
vsize: 32192
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 7380 0 0 0 15976 22 0 0 25 0 1 0 691568766 34066432 7344 4294967295 134512640 134714540 3221221792 3221220576 134624498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8317 7344 1111 63 0 8254 0
vsize: 33268
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 7651 0 0 0 16975 24 0 0 25 0 1 0 691568766 35287040 7615 4294967295 134512640 134714540 3221221792 3221220500 134625147 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8615 7615 1111 63 0 8552 0
vsize: 34460
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 7919 0 0 0 17973 25 0 0 25 0 1 0 691568766 36368384 7883 4294967295 134512640 134714540 3221221792 3221220552 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8879 7883 1111 63 0 8816 0
vsize: 35516
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 8075 0 0 0 18973 26 0 0 25 0 1 0 691568766 37044224 8039 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9044 8039 1111 63 0 8981 0
vsize: 36176
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 8161 0 0 0 19973 26 0 0 25 0 1 0 691568766 37490688 8123 4294967295 134512640 134714540 3221221792 3221220488 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9153 8123 1111 63 0 9090 0
vsize: 36612
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 8468 0 0 0 20972 27 0 0 25 0 1 0 691568766 38809600 8422 4294967295 134512640 134714540 3221221792 3221220448 134543712 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9475 8422 1111 63 0 9412 0
vsize: 37900
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 8725 0 0 0 21971 28 0 0 25 0 1 0 691568766 40026112 8677 4294967295 134512640 134714540 3221221792 3221220568 134543141 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9772 8677 1111 63 0 9709 0
vsize: 39088
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 8983 0 0 0 22970 30 0 0 25 0 1 0 691568766 40972288 8935 4294967295 134512640 134714540 3221221792 3221220504 134558587 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10003 8935 1111 63 0 9940 0
vsize: 40012
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 9139 0 0 0 23969 30 0 0 25 0 1 0 691568766 41648128 9090 4294967295 134512640 134714540 3221221792 3221220544 134624445 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10168 9090 1111 63 0 10105 0
vsize: 40672
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 9422 0 0 0 24969 31 0 0 25 0 1 0 691568766 42926080 9367 4294967295 134512640 134714540 3221221792 3221220448 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10480 9367 1111 63 0 10417 0
vsize: 41920
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 9681 0 0 0 25968 32 0 0 25 0 1 0 691568766 44011520 9626 4294967295 134512640 134714540 3221221792 3221220568 134543133 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10745 9626 1111 63 0 10682 0
vsize: 42980
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 9940 0 0 0 26968 33 0 0 25 0 1 0 691568766 44957696 9885 4294967295 134512640 134714540 3221221792 3221220468 134542962 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10976 9885 1111 63 0 10913 0
vsize: 43904
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 10196 0 0 0 27967 34 0 0 25 0 1 0 691568766 46039040 10141 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11240 10141 1111 63 0 11177 0
vsize: 44960
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 10495 0 0 0 28966 35 0 0 25 0 1 0 691568766 47255552 10440 4294967295 134512640 134714540 3221221792 3221220512 134625053 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11537 10440 1111 63 0 11474 0
vsize: 46148
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 10695 0 0 0 29965 36 0 0 25 0 1 0 691568766 48066560 10640 4294967295 134512640 134714540 3221221792 3221220480 134528707 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11735 10640 1111 63 0 11672 0
vsize: 46940
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 10909 0 0 0 30964 37 0 0 25 0 1 0 691568766 49012736 10852 4294967295 134512640 134714540 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11966 10852 1111 63 0 11903 0
vsize: 47864
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 11084 0 0 0 31963 38 0 0 25 0 1 0 691568766 49688576 11026 4294967295 134512640 134714540 3221221792 3221220608 134610886 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12131 11026 1111 63 0 12068 0
vsize: 48524
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 11252 0 0 0 32963 39 0 0 25 0 1 0 691568766 50364416 11193 4294967295 134512640 134714540 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12296 11193 1111 63 0 12233 0
vsize: 49184
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 11438 0 0 0 33962 39 0 0 25 0 1 0 691568766 51224576 11377 4294967295 134512640 134714540 3221221792 3221220596 134610916 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12506 11377 1111 63 0 12443 0
vsize: 50024
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 11688 0 0 0 34962 40 0 0 25 0 1 0 691568766 52346880 11625 4294967295 134512640 134714540 3221221792 3221220396 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12780 11625 1111 63 0 12717 0
vsize: 51120
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 11869 0 0 0 35962 41 0 0 25 0 1 0 691568766 53063680 11805 4294967295 134512640 134714540 3221221792 3221220584 134543157 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12955 11805 1111 63 0 12892 0
vsize: 51820
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 12040 0 0 0 36960 42 0 0 25 0 1 0 691568766 53739520 11976 4294967295 134512640 134714540 3221221792 3221220608 134611099 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13120 11976 1111 63 0 13057 0
vsize: 52480
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 12293 0 0 0 37959 43 0 0 25 0 1 0 691568766 54837248 12226 4294967295 134512640 134714540 3221221792 3221220528 134695206 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13388 12226 1111 63 0 13325 0
vsize: 53552
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 12424 0 0 0 38959 44 0 0 25 0 1 0 691568766 55414784 12353 4294967295 134512640 134714540 3221221792 3221220564 134624473 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13529 12353 1111 63 0 13466 0
vsize: 54116
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 12561 0 0 0 39958 45 0 0 25 0 1 0 691568766 55984128 12482 4294967295 134512640 134714540 3221221792 3221220504 134558597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13668 12482 1111 63 0 13605 0
vsize: 54672
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 12804 0 0 0 40957 46 0 0 25 0 1 0 691568766 56930304 12723 4294967295 134512640 134714540 3221221792 3221220396 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13899 12723 1111 63 0 13836 0
vsize: 55596
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 12984 0 0 0 41957 46 0 0 25 0 1 0 691568766 57810944 12900 4294967295 134512640 134714540 3221221792 3221220300 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14114 12900 1111 63 0 14051 0
vsize: 56456
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 13080 0 0 0 42957 47 0 0 25 0 1 0 691568766 58216448 12994 4294967295 134512640 134714540 3221221792 3221220480 134542848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14213 12994 1111 63 0 14150 0
vsize: 56852
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 13138 0 0 0 43957 47 0 0 25 0 1 0 691568766 58351616 13052 4294967295 134512640 134714540 3221221792 3221220536 134543568 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14246 13052 1111 63 0 14183 0
vsize: 56984
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 13348 0 0 0 44956 48 0 0 25 0 1 0 691568766 59203584 13259 4294967295 134512640 134714540 3221221792 3221220584 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14454 13259 1111 63 0 14391 0
vsize: 57816
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 13546 0 0 0 45955 49 0 0 25 0 1 0 691568766 60018688 13457 4294967295 134512640 134714540 3221221792 3221220432 134536655 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14653 13457 1111 63 0 14590 0
vsize: 58612
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 13670 0 0 0 46955 49 0 0 25 0 1 0 691568766 60559360 13581 4294967295 134512640 134714540 3221221792 3221220576 134624467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14785 13581 1111 63 0 14722 0
vsize: 59140
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 13736 0 0 0 47955 49 0 0 25 0 1 0 691568766 60829696 13647 4294967295 134512640 134714540 3221221792 3221220552 134543133 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14851 13647 1111 63 0 14788 0
vsize: 59404
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 13990 0 0 0 48954 50 0 0 25 0 1 0 691568766 61775872 13901 4294967295 134512640 134714540 3221221792 3221220432 134696420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15082 13901 1111 63 0 15019 0
vsize: 60328
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 14137 0 0 0 49954 51 0 0 25 0 1 0 691568766 62468096 14047 4294967295 134512640 134714540 3221221792 3221220576 134622318 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15251 14047 1111 63 0 15188 0
vsize: 61004
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 14214 0 0 0 50954 51 0 0 25 0 1 0 691568766 62738432 14124 4294967295 134512640 134714540 3221221792 3221220584 134542409 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15317 14124 1111 63 0 15254 0
vsize: 61268
[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 14286 0 0 0 51953 52 0 0 25 0 1 0 691568766 63008768 14196 4294967295 134512640 134714540 3221221792 3221220536 134542409 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15383 14196 1111 63 0 15320 0
vsize: 61532
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 14512 0 0 0 52953 52 0 0 25 0 1 0 691568766 63954944 14422 4294967295 134512640 134714540 3221221792 3221220428 134543664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15614 14422 1111 63 0 15551 0
vsize: 62456
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 14682 0 0 0 53953 52 0 0 25 0 1 0 691568766 64647168 14591 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15783 14591 1111 63 0 15720 0
vsize: 63132
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 14780 0 0 0 54952 53 0 0 25 0 1 0 691568766 65052672 14688 4294967295 134512640 134714540 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15882 14688 1111 63 0 15819 0
vsize: 63528
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 14842 0 0 0 55952 53 0 0 25 0 1 0 691568766 65323008 14750 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15948 14750 1111 63 0 15885 0
vsize: 63792
[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 15110 0 0 0 56952 54 0 0 25 0 1 0 691568766 66654208 15009 4294967295 134512640 134714540 3221221792 3221220504 134558490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16273 15009 1111 63 0 16210 0
vsize: 65092
[startup+580.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 15217 0 0 0 57952 54 0 0 25 0 1 0 691568766 67084288 15113 4294967295 134512640 134714540 3221221792 3221220512 134622766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16378 15113 1111 63 0 16315 0
vsize: 65512
[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 15393 0 0 0 58952 54 0 0 25 0 1 0 691568766 67895296 15271 4294967295 134512640 134714540 3221221792 3221220604 134584844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16576 15271 1111 63 0 16513 0
vsize: 66304
[startup+600.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 15662 0 0 0 59951 56 0 0 25 0 1 0 691568766 69079040 15532 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16865 15532 1111 63 0 16802 0
vsize: 67460
[startup+610.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 15812 0 0 0 60950 56 0 0 25 0 1 0 691568766 69763072 15677 4294967295 134512640 134714540 3221221792 3221220332 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17032 15677 1111 63 0 16969 0
vsize: 68128
[startup+620.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 15975 0 0 0 61950 57 0 0 25 0 1 0 691568766 70508544 15835 4294967295 134512640 134714540 3221221792 3221220376 134542291 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17214 15835 1111 63 0 17151 0
vsize: 68856
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 16215 0 0 0 62950 57 0 0 25 0 1 0 691568766 71479296 16071 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17451 16071 1111 63 0 17388 0
vsize: 69804
[startup+640.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 16353 0 0 0 63949 58 0 0 25 0 1 0 691568766 72175616 16208 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17621 16208 1111 63 0 17558 0
vsize: 70484
[startup+650.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 16422 0 0 0 64949 59 0 0 25 0 1 0 691568766 72458240 16277 4294967295 134512640 134714540 3221221792 3221220576 134624467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17690 16277 1111 63 0 17627 0
vsize: 70760
[startup+660.017 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 16647 0 0 0 65948 60 0 0 25 0 1 0 691568766 73474048 16495 4294967295 134512640 134714540 3221221792 3221220608 134611376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17938 16495 1111 63 0 17875 0
vsize: 71752
[startup+670.017 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 16812 0 0 0 66947 61 0 0 25 0 1 0 691568766 74149888 16659 4294967295 134512640 134714540 3221221792 3221220576 134624467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18103 16659 1111 63 0 18040 0
vsize: 72412
[startup+680.018 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 16954 0 0 0 67947 61 0 0 25 0 1 0 691568766 74633216 16796 4294967295 134512640 134714540 3221221792 3221220596 134611046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18221 16796 1111 63 0 18158 0
vsize: 72884
[startup+690.019 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 17217 0 0 0 68947 61 0 0 25 0 1 0 691568766 75907072 17049 4294967295 134512640 134714540 3221221792 3221220588 134542422 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18532 17049 1111 63 0 18469 0
vsize: 74128
[startup+700.018 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 17385 0 0 0 69946 62 0 0 25 0 1 0 691568766 76582912 17217 4294967295 134512640 134714540 3221221792 3221220568 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18697 17217 1111 63 0 18634 0
vsize: 74788
[startup+710.018 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 17484 0 0 0 70946 62 0 0 25 0 1 0 691568766 76996608 17315 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18798 17315 1111 63 0 18735 0
vsize: 75192
[startup+720.018 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 17527 0 0 0 71946 62 0 0 25 0 1 0 691568766 77131776 17358 4294967295 134512640 134714540 3221221792 3221220608 134611108 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18831 17358 1111 63 0 18768 0
vsize: 75324
[startup+730.019 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 17760 0 0 0 72945 64 0 0 25 0 1 0 691568766 78086144 17591 4294967295 134512640 134714540 3221221792 3221220536 134672913 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19064 17591 1111 63 0 19001 0
vsize: 76256
[startup+740.019 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 17913 0 0 0 73944 65 0 0 25 0 1 0 691568766 78655488 17743 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19203 17743 1111 63 0 19140 0
vsize: 76812
[startup+750.019 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 17988 0 0 0 74944 65 0 0 25 0 1 0 691568766 79073280 17818 4294967295 134512640 134714540 3221221792 3221220512 134622889 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19305 17818 1111 63 0 19242 0
vsize: 77220
[startup+760.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 18120 0 0 0 75944 66 0 0 25 0 1 0 691568766 79613952 17947 4294967295 134512640 134714540 3221221792 3221220460 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19437 17947 1111 63 0 19374 0
vsize: 77748
[startup+770.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 18363 0 0 0 76943 67 0 0 25 0 1 0 691568766 80572416 18190 4294967295 134512640 134714540 3221221792 3221220584 134543189 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19671 18190 1111 63 0 19608 0
vsize: 78684
[startup+780.021 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 18478 0 0 0 77942 67 0 0 25 0 1 0 691568766 80977920 18305 4294967295 134512640 134714540 3221221792 3221220460 134543056 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19770 18305 1111 63 0 19707 0
vsize: 79080
[startup+790.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 18587 0 0 0 78942 68 0 0 25 0 1 0 691568766 81399808 18413 4294967295 134512640 134714540 3221221792 3221220448 134536591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19873 18413 1111 63 0 19810 0
vsize: 79492
[startup+800.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 18765 0 0 0 79941 68 0 0 25 0 1 0 691568766 82239488 18587 4294967295 134512640 134714540 3221221792 3221220376 134543652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20078 18587 1111 63 0 20015 0
vsize: 80312
[startup+810.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 18955 0 0 0 80941 69 0 0 25 0 1 0 691568766 82964480 18772 4294967295 134512640 134714540 3221221792 3221220516 134622760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20255 18772 1111 63 0 20192 0
vsize: 81020
[startup+820.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 19085 0 0 0 81941 70 0 0 25 0 1 0 691568766 83546112 18899 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20397 18899 1111 63 0 20334 0
vsize: 81588
[startup+830.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 19154 0 0 0 82940 70 0 0 25 0 1 0 691568766 83816448 18968 4294967295 134512640 134714540 3221221792 3221220420 134696296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20463 18968 1111 63 0 20400 0
vsize: 81852
[startup+840.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 19350 0 0 0 83940 70 0 0 25 0 1 0 691568766 84639744 19164 4294967295 134512640 134714540 3221221792 3221220456 134543589 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20664 19164 1111 63 0 20601 0
vsize: 82656
[startup+850.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 19524 0 0 0 84940 71 0 0 25 0 1 0 691568766 85352448 19337 4294967295 134512640 134714540 3221221792 3221220640 134623453 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20838 19337 1111 63 0 20775 0
vsize: 83352
[startup+860.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 19635 0 0 0 85939 72 0 0 25 0 1 0 691568766 85905408 19447 4294967295 134512640 134714540 3221221792 3221220420 134696296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20973 19447 1111 63 0 20910 0
vsize: 83892
[startup+870.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 19809 0 0 0 86939 72 0 0 25 0 1 0 691568766 86601728 19620 4294967295 134512640 134714540 3221221792 3221220556 134543553 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21143 19620 1111 63 0 21080 0
vsize: 84572
[startup+880.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 20019 0 0 0 87939 73 0 0 25 0 1 0 691568766 87412736 19829 4294967295 134512640 134714540 3221221792 3221220512 134622761 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21341 19829 1111 63 0 21278 0
vsize: 85364
[startup+890.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 20118 0 0 0 88938 73 0 0 25 0 1 0 691568766 87818240 19927 4294967295 134512640 134714540 3221221792 3221220596 134610916 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21440 19927 1111 63 0 21377 0
vsize: 85760
[startup+900.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 20330 0 0 0 89938 74 0 0 25 0 1 0 691568766 88629248 20139 4294967295 134512640 134714540 3221221792 3221220536 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21638 20139 1111 63 0 21575 0
vsize: 86552
[startup+910.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 20507 0 0 0 90937 74 0 0 25 0 1 0 691568766 89440256 20314 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21836 20314 1111 63 0 21773 0
vsize: 87344
[startup+920.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 20641 0 0 0 91938 74 0 0 25 0 1 0 691568766 89980928 20448 4294967295 134512640 134714540 3221221792 3221220576 134624498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21968 20448 1111 63 0 21905 0
vsize: 87872
[startup+930.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 20884 0 0 0 92937 76 0 0 25 0 1 0 691568766 91004928 20687 4294967295 134512640 134714540 3221221792 3221220608 134611099 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22218 20687 1111 63 0 22155 0
vsize: 88872
[startup+940.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 21043 0 0 0 93937 76 0 0 25 0 1 0 691568766 91578368 20842 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22358 20842 1111 63 0 22295 0
vsize: 89432
[startup+950.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 21110 0 0 0 94936 76 0 0 25 0 1 0 691568766 91848704 20909 4294967295 134512640 134714540 3221221792 3221220632 134623277 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22424 20909 1111 63 0 22361 0
vsize: 89696
[startup+960.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 21375 0 0 0 95935 78 0 0 25 0 1 0 691568766 93007872 21169 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22707 21169 1111 63 0 22644 0
vsize: 90828
[startup+970.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 21527 0 0 0 96934 79 0 0 25 0 1 0 691568766 93601792 21316 4294967295 134512640 134714540 3221221792 3221220504 134543165 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22852 21316 1111 63 0 22789 0
vsize: 91408
[startup+980.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 21637 0 0 0 97934 79 0 0 25 0 1 0 691568766 94183424 21422 4294967295 134512640 134714540 3221221792 3221220608 134611091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22994 21422 1111 63 0 22931 0
vsize: 91976
[startup+990.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 21858 0 0 0 98933 80 0 0 25 0 1 0 691568766 95027200 21639 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23200 21639 1111 63 0 23137 0
vsize: 92800
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 21985 0 0 0 99933 80 0 0 25 0 1 0 691568766 95735808 21762 4294967295 134512640 134714540 3221221792 3221220552 134543125 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23373 21762 1111 63 0 23310 0
vsize: 93492
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 22168 0 0 0 100932 81 0 0 25 0 1 0 691568766 96411648 21943 4294967295 134512640 134714540 3221221792 3221220564 134624473 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23538 21943 1111 63 0 23475 0
vsize: 94152
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 22411 0 0 0 101932 82 0 0 25 0 1 0 691568766 97550336 22174 4294967295 134512640 134714540 3221221792 3221220564 134624473 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23816 22174 1111 63 0 23753 0
vsize: 95264
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 22517 0 0 0 102932 82 0 0 25 0 1 0 691568766 97955840 22280 4294967295 134512640 134714540 3221221792 3221220596 134610916 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23915 22280 1111 63 0 23852 0
vsize: 95660
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 22706 0 0 0 103931 83 0 0 25 0 1 0 691568766 98693120 22464 4294967295 134512640 134714540 3221221792 3221220420 134543092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24095 22464 1111 63 0 24032 0
vsize: 96380
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 22906 0 0 0 104931 84 0 0 25 0 1 0 691568766 99549184 22657 4294967295 134512640 134714540 3221221792 3221220396 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24304 22657 1111 63 0 24241 0
vsize: 97216
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 23017 0 0 0 105931 84 0 0 25 0 1 0 691568766 100061184 22762 4294967295 134512640 134714540 3221221792 3221220464 134553177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24429 22762 1111 63 0 24366 0
vsize: 97716
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 23215 0 0 0 106930 85 0 0 25 0 1 0 691568766 100921344 22958 4294967295 134512640 134714540 3221221792 3221220300 134535952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24639 22958 1111 63 0 24576 0
vsize: 98556
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 23463 0 0 0 107929 86 0 0 25 0 1 0 691568766 102027264 23194 4294967295 134512640 134714540 3221221792 3221220576 134624498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24909 23194 1111 63 0 24846 0
vsize: 99636
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 23607 0 0 0 108929 86 0 0 25 0 1 0 691568766 102604800 23335 4294967295 134512640 134714540 3221221792 3221220596 134611046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25050 23335 1111 63 0 24987 0
vsize: 100200
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 23698 0 0 0 109929 87 0 0 25 0 1 0 691568766 103116800 23420 4294967295 134512640 134714540 3221221792 3221220496 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25175 23420 1111 63 0 25112 0
vsize: 100700
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 23772 0 0 0 110928 88 0 0 25 0 1 0 691568766 103370752 23494 4294967295 134512640 134714540 3221221792 3221220536 134542409 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25237 23494 1111 63 0 25174 0
vsize: 100948
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 24068 0 0 0 111927 89 0 0 25 0 1 0 691568766 104701952 23777 4294967295 134512640 134714540 3221221792 3221220564 134624885 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25562 23777 1111 63 0 25499 0
vsize: 102248
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 24258 0 0 0 112927 90 0 0 25 0 1 0 691568766 105377792 23967 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25727 23967 1111 63 0 25664 0
vsize: 102908
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 24360 0 0 0 113926 90 0 0 25 0 1 0 691568766 105783296 24069 4294967295 134512640 134714540 3221221792 3221220576 134624540 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25826 24069 1111 63 0 25763 0
vsize: 103304
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 24446 0 0 0 114926 91 0 0 25 0 1 0 691568766 106188800 24153 4294967295 134512640 134714540 3221221792 3221220552 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25925 24153 1111 63 0 25862 0
vsize: 103700
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 24611 0 0 0 115926 91 0 0 25 0 1 0 691568766 106881024 24315 4294967295 134512640 134714540 3221221792 3221220564 134624885 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26094 24315 1111 63 0 26031 0
vsize: 104376
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 24863 0 0 0 116925 92 0 0 25 0 1 0 691568766 107896832 24561 4294967295 134512640 134714540 3221221792 3221220556 134523848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26342 24561 1111 63 0 26279 0
vsize: 105368
[startup+1174.93 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 15257
Raw data (stat): 15257 (bsolo_mis) R 15256 7876 7672 0 -1 0 24863 0 0 0 116925 92 0 0 25 0 1 0 691568766 107896832 24561 4294967295 134512640 134714540 3221221792 3221220556 134523848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26342 24561 1111 63 0 26279 0
vsize: 0

Child status: 0
Real time (s): 1174.93
CPU time (s): 1175.08
CPU user time (s): 1174.1
CPU system time (s): 0.977851
CPU usage (%): 100.012
Max. virtual memory (Kb): 105368
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####