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-4-c.opb
MD5SUM	3d2c3109962e8068c6ff1a393a02942b
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	2666
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	2666
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	2666
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	2666
Total number of constraints	6659
Number of constraints which are clauses	6659
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 24184

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-08 22:46:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1875 boxname=wulflinc31 idbench=209 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  3d2c3109962e8068c6ff1a393a02942b  /oldhome/oroussel/tmp/wulflinc31/normalized-par32-4-c.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-par32-4-c.opb
IDLAUNCH: 1875
/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:        137024 kB
Buffers:         42476 kB
Cached:         820820 kB
SwapCached:        644 kB
Active:         494756 kB
Inactive:       370932 kB
HighTotal:      131008 kB
HighFree:          756 kB
LowTotal:       903652 kB
LowFree:        136268 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26524 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-08 23:05:47 (client local time) WITH STATUS 0 IN 1175.23 SECONDS
stats: 1875 7 1175.23 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 2666 variables and 6659 constraints.
c After prepocess the problem consists of 2601 variables and 6527 constraints.
c preprocess terminated 6.649 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.15 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.97 2/54 18104
Raw data (stat): 18104 (runsolver) R 18103 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 695670889 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 0 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0008 s]
Raw data (loadavg): 0.87 0.94 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 3619 0 0 0 988 8 0 0 25 0 1 0 695670889 18341888 3548 4294967295 134512640 134714540 3221221792 3221220556 134523848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4478 3548 1111 63 0 4415 0
vsize: 17912
[startup+20.0013 s]
Raw data (loadavg): 0.89 0.94 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 3619 0 0 0 1987 8 0 0 25 0 1 0 695670889 18341888 3548 4294967295 134512640 134714540 3221221792 3221220552 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4478 3548 1111 63 0 4415 0
vsize: 17912
[startup+30.0012 s]
Raw data (loadavg): 0.90 0.94 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 3619 0 0 0 2987 9 0 0 25 0 1 0 695670889 18341888 3548 4294967295 134512640 134714540 3221221792 3221220420 134696296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4478 3548 1111 63 0 4415 0
vsize: 17912
[startup+40.0014 s]
Raw data (loadavg): 0.92 0.94 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 3917 0 0 0 3986 10 0 0 25 0 1 0 695670889 19558400 3846 4294967295 134512640 134714540 3221221792 3221220300 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4775 3846 1111 63 0 4712 0
vsize: 19100
[startup+50.002 s]
Raw data (loadavg): 0.93 0.94 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 4202 0 0 0 4985 11 0 0 25 0 1 0 695670889 20779008 4131 4294967295 134512640 134714540 3221221792 3221220564 134624473 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5073 4131 1111 63 0 5010 0
vsize: 20292
[startup+60.002 s]
Raw data (loadavg): 0.94 0.95 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 4519 0 0 0 5984 12 0 0 25 0 1 0 695670889 22011904 4448 4294967295 134512640 134714540 3221221792 3221220460 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5374 4448 1111 63 0 5311 0
vsize: 21496
[startup+70.0029 s]
Raw data (loadavg): 0.95 0.95 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 4815 0 0 0 6983 14 0 0 25 0 1 0 695670889 23228416 4744 4294967295 134512640 134714540 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5671 4744 1111 63 0 5608 0
vsize: 22684
[startup+80.0032 s]
Raw data (loadavg): 0.96 0.95 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 5099 0 0 0 7981 15 0 0 25 0 1 0 695670889 24444928 5028 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5968 5028 1111 63 0 5905 0
vsize: 23872
[startup+90.0041 s]
Raw data (loadavg): 0.96 0.95 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 5382 0 0 0 8980 17 0 0 25 0 1 0 695670889 25526272 5311 4294967295 134512640 134714540 3221221792 3221220432 134539511 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6232 5311 1111 63 0 6169 0
vsize: 24928
[startup+100.004 s]
Raw data (loadavg): 0.97 0.95 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 5661 0 0 0 9979 18 0 0 25 0 1 0 695670889 26742784 5590 4294967295 134512640 134714540 3221221792 3221220576 134624467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6529 5590 1111 63 0 6466 0
vsize: 26116
[startup+110.004 s]
Raw data (loadavg): 0.97 0.95 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 5953 0 0 0 10979 19 0 0 25 0 1 0 695670889 28143616 5880 4294967295 134512640 134714540 3221221792 3221220432 134696083 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6871 5880 1111 63 0 6808 0
vsize: 27484
[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 6210 0 0 0 11977 20 0 0 25 0 1 0 695670889 29237248 6136 4294967295 134512640 134714540 3221221792 3221220352 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7138 6136 1111 63 0 7075 0
vsize: 28552
[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 6554 0 0 0 12976 22 0 0 25 0 1 0 695670889 30601216 6480 4294967295 134512640 134714540 3221221792 3221220420 134696259 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7471 6480 1111 63 0 7408 0
vsize: 29884
[startup+140.005 s]
Raw data (loadavg): 0.98 0.95 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 6878 0 0 0 13975 23 0 0 25 0 1 0 695670889 31817728 6804 4294967295 134512640 134714540 3221221792 3221220480 134523171 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7768 6804 1111 63 0 7705 0
vsize: 31072
[startup+150.006 s]
Raw data (loadavg): 0.98 0.95 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 7207 0 0 0 14973 25 0 0 25 0 1 0 695670889 33169408 7132 4294967295 134512640 134714540 3221221792 3221220576 134529177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8098 7132 1111 63 0 8035 0
vsize: 32392
[startup+160.005 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 7536 0 0 0 15972 26 0 0 25 0 1 0 695670889 34668544 7461 4294967295 134512640 134714540 3221221792 3221220576 134529168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8464 7461 1111 63 0 8401 0
vsize: 33856
[startup+170.006 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 7834 0 0 0 16971 28 0 0 25 0 1 0 695670889 35885056 7758 4294967295 134512640 134714540 3221221792 3221220552 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8761 7758 1111 63 0 8698 0
vsize: 35044
[startup+180.005 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 8127 0 0 0 17970 28 0 0 25 0 1 0 695670889 37122048 8050 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9063 8050 1111 63 0 9000 0
vsize: 36252
[startup+190.006 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 8424 0 0 0 18969 30 0 0 25 0 1 0 695670889 38346752 8346 4294967295 134512640 134714540 3221221792 3221220512 134622915 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9362 8346 1111 63 0 9299 0
vsize: 37448
[startup+200.006 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 8637 0 0 0 19968 31 0 0 25 0 1 0 695670889 39161856 8559 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9561 8559 1111 63 0 9498 0
vsize: 38244
[startup+210.006 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 8804 0 0 0 20967 32 0 0 25 0 1 0 695670889 39837696 8726 4294967295 134512640 134714540 3221221792 3221220456 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9726 8726 1111 63 0 9663 0
vsize: 38904
[startup+220.007 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 9135 0 0 0 21966 33 0 0 25 0 1 0 695670889 41197568 9057 4294967295 134512640 134714540 3221221792 3221220352 134542297 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10058 9057 1111 63 0 9995 0
vsize: 40232
[startup+230.007 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 9463 0 0 0 22965 34 0 0 25 0 1 0 695670889 42790912 9370 4294967295 134512640 134714540 3221221792 3221220384 134542784 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10447 9370 1111 63 0 10384 0
vsize: 41788
[startup+240.008 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 9659 0 0 0 23965 35 0 0 25 0 1 0 695670889 43683840 9558 4294967295 134512640 134714540 3221221792 3221220552 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10665 9558 1111 63 0 10602 0
vsize: 42660
[startup+250.008 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 9976 0 0 0 24964 36 0 0 25 0 1 0 695670889 45043712 9872 4294967295 134512640 134714540 3221221792 3221220584 134542448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10997 9872 1111 63 0 10934 0
vsize: 43988
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 10236 0 0 0 25963 37 0 0 25 0 1 0 695670889 46133248 10129 4294967295 134512640 134714540 3221221792 3221220332 134539296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11263 10129 1111 63 0 11200 0
vsize: 45052
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 10417 0 0 0 26962 38 0 0 25 0 1 0 695670889 46813184 10310 4294967295 134512640 134714540 3221221792 3221220512 134622915 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11429 10310 1111 63 0 11366 0
vsize: 45716
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 10603 0 0 0 27961 39 0 0 25 0 1 0 695670889 47624192 10496 4294967295 134512640 134714540 3221221792 3221220552 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11627 10496 1111 63 0 11564 0
vsize: 46508
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 10925 0 0 0 28960 40 0 0 25 0 1 0 695670889 48918528 10817 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11943 10817 1111 63 0 11880 0
vsize: 47772
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 11179 0 0 0 29959 41 0 0 25 0 1 0 695670889 50032640 11070 4294967295 134512640 134714540 3221221792 3221220520 134532457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12215 11070 1111 63 0 12152 0
vsize: 48860
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 11365 0 0 0 30957 43 0 0 25 0 1 0 695670889 50741248 11253 4294967295 134512640 134714540 3221221792 3221220516 134622760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12388 11253 1111 63 0 12325 0
vsize: 49552
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 11579 0 0 0 31957 43 0 0 25 0 1 0 695670889 51687424 11466 4294967295 134512640 134714540 3221221792 3221220448 134543707 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12619 11466 1111 63 0 12556 0
vsize: 50476
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 11899 0 0 0 32955 45 0 0 25 0 1 0 695670889 53104640 11778 4294967295 134512640 134714540 3221221792 3221220348 134539326 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12965 11778 1111 63 0 12902 0
vsize: 51860
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 12205 0 0 0 33954 46 0 0 25 0 1 0 695670889 54333440 12081 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13265 12081 1111 63 0 13202 0
vsize: 53060
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 12422 0 0 0 34953 47 0 0 25 0 1 0 695670889 55300096 12293 4294967295 134512640 134714540 3221221792 3221220496 134528410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13501 12293 1111 63 0 13438 0
vsize: 54004
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 12748 0 0 0 35952 49 0 0 25 0 1 0 695670889 56676352 12614 4294967295 134512640 134714540 3221221792 3221220512 134556758 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13837 12614 1111 63 0 13774 0
vsize: 55348
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 12992 0 0 0 36951 50 0 0 25 0 1 0 695670889 57769984 12854 4294967295 134512640 134714540 3221221792 3221220608 134611099 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14104 12854 1111 63 0 14041 0
vsize: 56416
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 13189 0 0 0 37949 51 0 0 25 0 1 0 695670889 58580992 13051 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14302 13051 1111 63 0 14239 0
vsize: 57208
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 13502 0 0 0 38948 53 0 0 25 0 1 0 695670889 59932672 13361 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14632 13361 1111 63 0 14569 0
vsize: 58528
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 13760 0 0 0 39947 54 0 0 25 0 1 0 695670889 60878848 13619 4294967295 134512640 134714540 3221221792 3221220608 134611099 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14863 13619 1111 63 0 14800 0
vsize: 59452
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 13951 0 0 0 40947 55 0 0 25 0 1 0 695670889 61714432 13808 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15067 13808 1111 63 0 15004 0
vsize: 60268
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 14168 0 0 0 41946 56 0 0 25 0 1 0 695670889 62660608 14021 4294967295 134512640 134714540 3221221792 3221220420 134543092 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15298 14021 1111 63 0 15235 0
vsize: 61192
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 14464 0 0 0 42944 57 0 0 25 0 1 0 695670889 63877120 14316 4294967295 134512640 134714540 3221221792 3221220340 134696760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15595 14316 1111 63 0 15532 0
vsize: 62380
[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 14716 0 0 0 43943 59 0 0 25 0 1 0 695670889 64823296 14568 4294967295 134512640 134714540 3221221792 3221220536 134542409 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15826 14568 1111 63 0 15763 0
vsize: 63304
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 14915 0 0 0 44943 59 0 0 25 0 1 0 695670889 65634304 14767 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16024 14767 1111 63 0 15961 0
vsize: 64096
[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 15206 0 0 0 45941 61 0 0 25 0 1 0 695670889 66768896 15055 4294967295 134512640 134714540 3221221792 3221220560 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16301 15055 1111 63 0 16238 0
vsize: 65204
[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 15479 0 0 0 46941 62 0 0 25 0 1 0 695670889 67850240 15328 4294967295 134512640 134714540 3221221792 3221220576 134624467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16565 15328 1111 63 0 16502 0
vsize: 66260
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 15676 0 0 0 47940 62 0 0 25 0 1 0 695670889 68661248 15525 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16763 15525 1111 63 0 16700 0
vsize: 67052
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 15846 0 0 0 48940 63 0 0 25 0 1 0 695670889 69337088 15695 4294967295 134512640 134714540 3221221792 3221220432 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16928 15695 1111 63 0 16865 0
vsize: 67712
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 16137 0 0 0 49939 64 0 0 25 0 1 0 695670889 70553600 15986 4294967295 134512640 134714540 3221221792 3221220588 134558496 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17225 15986 1111 63 0 17162 0
vsize: 68900
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 16387 0 0 0 50938 65 0 0 25 0 1 0 695670889 71528448 16234 4294967295 134512640 134714540 3221221792 3221220548 134558543 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17463 16234 1111 63 0 17400 0
vsize: 69852
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 16601 0 0 0 51938 65 0 0 25 0 1 0 695670889 72548352 16437 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17712 16437 1111 63 0 17649 0
vsize: 70848
[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 17001 0 0 0 52938 66 0 0 25 0 1 0 695670889 74694656 16790 4294967295 134512640 134714540 3221221792 3221220488 134536879 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18236 16790 1111 63 0 18173 0
vsize: 72944
[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 17307 0 0 0 53937 66 0 0 25 0 1 0 695670889 75964416 17077 4294967295 134512640 134714540 3221221792 3221220432 134539460 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18546 17077 1111 63 0 18483 0
vsize: 74184
[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 17559 0 0 0 54936 68 0 0 25 0 1 0 695670889 77185024 17320 4294967295 134512640 134714540 3221221792 3221220584 134542448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18844 17320 1111 63 0 18781 0
vsize: 75376
[startup+560.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 17722 0 0 0 55936 68 0 0 25 0 1 0 695670889 77901824 17477 4294967295 134512640 134714540 3221221792 3221220688 134621515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19019 17477 1111 63 0 18956 0
vsize: 76076
[startup+570.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 17955 0 0 0 56935 69 0 0 25 0 1 0 695670889 78848000 17708 4294967295 134512640 134714540 3221221792 3221220584 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19250 17708 1111 63 0 19187 0
vsize: 77000
[startup+580.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 18278 0 0 0 57934 70 0 0 25 0 1 0 695670889 80142336 18020 4294967295 134512640 134714540 3221221792 3221220608 134610997 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19566 18020 1111 63 0 19503 0
vsize: 78264
[startup+590.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 18525 0 0 0 58934 71 0 0 25 0 1 0 695670889 81264640 18263 4294967295 134512640 134714540 3221221792 3221220360 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19840 18263 1111 63 0 19777 0
vsize: 79360
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 18713 0 0 0 59933 71 0 0 25 0 1 0 695670889 82137088 18441 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20053 18441 1111 63 0 19990 0
vsize: 80212
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 19002 0 0 0 60932 72 0 0 25 0 1 0 695670889 83386368 18726 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20358 18726 1111 63 0 20295 0
vsize: 81432
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 19313 0 0 0 61931 73 0 0 25 0 1 0 695670889 84688896 19024 4294967295 134512640 134714540 3221221792 3221220396 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20676 19024 1111 63 0 20613 0
vsize: 82704
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 19514 0 0 0 62931 74 0 0 25 0 1 0 695670889 85504000 19222 4294967295 134512640 134714540 3221221792 3221220688 134621515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20875 19222 1111 63 0 20812 0
vsize: 83500
[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 19723 0 0 0 63930 75 0 0 25 0 1 0 695670889 86482944 19426 4294967295 134512640 134714540 3221221792 3221220640 134623464 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21114 19426 1111 63 0 21051 0
vsize: 84456
[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 20030 0 0 0 64929 76 0 0 25 0 1 0 695670889 87699456 19730 4294967295 134512640 134714540 3221221792 3221220448 134536743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21411 19730 1111 63 0 21348 0
vsize: 85644
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 20257 0 0 0 65929 77 0 0 25 0 1 0 695670889 88645632 19956 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21642 19956 1111 63 0 21579 0
vsize: 86568
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 20409 0 0 0 66928 78 0 0 25 0 1 0 695670889 89186304 20108 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21774 20108 1111 63 0 21711 0
vsize: 87096
[startup+680.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 20670 0 0 0 67927 78 0 0 25 0 1 0 695670889 90267648 20369 4294967295 134512640 134714540 3221221792 3221220608 134611110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22038 20369 1111 63 0 21975 0
vsize: 88152
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 20939 0 0 0 68926 80 0 0 25 0 1 0 695670889 91435008 20632 4294967295 134512640 134714540 3221221792 3221220552 134543157 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22323 20632 1111 63 0 22260 0
vsize: 89292
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 21175 0 0 0 69926 81 0 0 25 0 1 0 695670889 92516352 20856 4294967295 134512640 134714540 3221221792 3221220528 134622896 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22587 20856 1111 63 0 22524 0
vsize: 90348
[startup+710.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 21330 0 0 0 70925 81 0 0 25 0 1 0 695670889 93122560 21007 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22735 21007 1111 63 0 22672 0
vsize: 90940
[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 21544 0 0 0 71924 82 0 0 25 0 1 0 695670889 93933568 21220 4294967295 134512640 134714540 3221221792 3221220584 134543181 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22933 21220 1111 63 0 22870 0
vsize: 91732
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 21879 0 0 0 72923 83 0 0 25 0 1 0 695670889 95481856 21544 4294967295 134512640 134714540 3221221792 3221220608 134610900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23311 21544 1111 63 0 23248 0
vsize: 93244
[startup+740.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 22088 0 0 0 73922 84 0 0 25 0 1 0 695670889 96292864 21753 4294967295 134512640 134714540 3221221792 3221220596 134622416 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23509 21753 1111 63 0 23446 0
vsize: 94036
[startup+750.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 22295 0 0 0 74922 85 0 0 25 0 1 0 695670889 97333248 21952 4294967295 134512640 134714540 3221221792 3221220584 134536901 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23763 21952 1111 63 0 23700 0
vsize: 95052
[startup+760.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 22631 0 0 0 75921 86 0 0 25 0 1 0 695670889 98684928 22281 4294967295 134512640 134714540 3221221792 3221220488 134536872 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24093 22281 1111 63 0 24030 0
vsize: 96372
[startup+770.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 22892 0 0 0 76920 87 0 0 25 0 1 0 695670889 99631104 22542 4294967295 134512640 134714540 3221221792 3221220432 134543070 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24324 22542 1111 63 0 24261 0
vsize: 97296
[startup+780.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 23078 0 0 0 77920 88 0 0 25 0 1 0 695670889 100474880 22726 4294967295 134512640 134714540 3221221792 3221220600 134558582 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24530 22726 1111 63 0 24467 0
vsize: 98120
[startup+790.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 23299 0 0 0 78919 89 0 0 25 0 1 0 695670889 101285888 22947 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24728 22947 1111 63 0 24665 0
vsize: 98912
[startup+800.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 23589 0 0 0 79918 90 0 0 25 0 1 0 695670889 102502400 23237 4294967295 134512640 134714540 3221221792 3221220576 134624508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25025 23237 1111 63 0 24962 0
vsize: 100100
[startup+810.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 23804 0 0 0 80917 91 0 0 25 0 1 0 695670889 103313408 23452 4294967295 134512640 134714540 3221221792 3221220320 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25223 23452 1111 63 0 25160 0
vsize: 100892
[startup+820.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 24014 0 0 0 81917 92 0 0 25 0 1 0 695670889 104194048 23657 4294967295 134512640 134714540 3221221792 3221220348 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25438 23657 1111 63 0 25375 0
vsize: 101752
[startup+830.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 24328 0 0 0 82916 92 0 0 25 0 1 0 695670889 105537536 23963 4294967295 134512640 134714540 3221221792 3221220380 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25766 23963 1111 63 0 25703 0
vsize: 103064
[startup+840.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 24557 0 0 0 83915 93 0 0 25 0 1 0 695670889 106360832 24191 4294967295 134512640 134714540 3221221792 3221220352 134696576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25967 24191 1111 63 0 25904 0
vsize: 103868
[startup+850.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 24743 0 0 0 84915 94 0 0 25 0 1 0 695670889 107171840 24377 4294967295 134512640 134714540 3221221792 3221220488 134536866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26165 24377 1111 63 0 26102 0
vsize: 104660
[startup+860.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 24882 0 0 0 85914 95 0 0 25 0 1 0 695670889 107712512 24516 4294967295 134512640 134714540 3221221792 3221220576 134529306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26297 24516 1111 63 0 26234 0
vsize: 105188
[startup+870.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 25208 0 0 0 86914 95 0 0 25 0 1 0 695670889 109117440 24835 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26640 24835 1111 63 0 26577 0
vsize: 106560
[startup+880.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 25450 0 0 0 87913 96 0 0 25 0 1 0 695670889 110063616 25077 4294967295 134512640 134714540 3221221792 3221220432 134696151 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26871 25077 1111 63 0 26808 0
vsize: 107484
[startup+890.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 25633 0 0 0 88913 97 0 0 25 0 1 0 695670889 110751744 25258 4294967295 134512640 134714540 3221221792 3221220408 134613965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27039 25258 1111 63 0 26976 0
vsize: 108156
[startup+900.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 25963 0 0 0 89912 98 0 0 25 0 1 0 695670889 112164864 25581 4294967295 134512640 134714540 3221221792 3221220384 134542668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27384 25581 1111 63 0 27321 0
vsize: 109536
[startup+910.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 26227 0 0 0 90910 99 0 0 25 0 1 0 695670889 113184768 25841 4294967295 134512640 134714540 3221221792 3221220584 134543174 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27633 25841 1111 63 0 27570 0
vsize: 110532
[startup+920.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 26436 0 0 0 91910 100 0 0 25 0 1 0 695670889 114065408 26046 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27848 26046 1111 63 0 27785 0
vsize: 111392
[startup+930.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 26619 0 0 0 92909 101 0 0 25 0 1 0 695670889 114741248 26229 4294967295 134512640 134714540 3221221792 3221220380 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28013 26229 1111 63 0 27950 0
vsize: 112052
[startup+940.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 26931 0 0 0 93908 102 0 0 25 0 1 0 695670889 115965952 26541 4294967295 134512640 134714540 3221221792 3221220608 134610900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28312 26541 1111 63 0 28249 0
vsize: 113248
[startup+950.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 27189 0 0 0 94907 103 0 0 25 0 1 0 695670889 117047296 26794 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28576 26794 1111 63 0 28513 0
vsize: 114304
[startup+960.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 27353 0 0 0 95907 104 0 0 25 0 1 0 695670889 117788672 26958 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28757 26958 1111 63 0 28694 0
vsize: 115028
[startup+970.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 27520 0 0 0 96906 105 0 0 25 0 1 0 695670889 118464512 27125 4294967295 134512640 134714540 3221221792 3221220568 134543133 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28922 27125 1111 63 0 28859 0
vsize: 115688
[startup+980.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 27807 0 0 0 97906 106 0 0 25 0 1 0 695670889 119545856 27412 4294967295 134512640 134714540 3221221792 3221220568 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29186 27412 1111 63 0 29123 0
vsize: 116744
[startup+990.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 28073 0 0 0 98905 106 0 0 25 0 1 0 695670889 120737792 27662 4294967295 134512640 134714540 3221221792 3221220528 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29477 27662 1111 63 0 29414 0
vsize: 117908
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 28234 0 0 0 99905 107 0 0 25 0 1 0 695670889 121413632 27823 4294967295 134512640 134714540 3221221792 3221220588 134542400 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29642 27823 1111 63 0 29579 0
vsize: 118568
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 28534 0 0 0 100904 108 0 0 25 0 1 0 695670889 122630144 28115 4294967295 134512640 134714540 3221221792 3221220536 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29939 28115 1111 63 0 29876 0
vsize: 119756
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 28812 0 0 0 101903 109 0 0 25 0 1 0 695670889 123748352 28392 4294967295 134512640 134714540 3221221792 3221220608 134610997 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30212 28392 1111 63 0 30149 0
vsize: 120848
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 29016 0 0 0 102903 109 0 0 25 0 1 0 695670889 124641280 28588 4294967295 134512640 134714540 3221221792 3221220536 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30430 28588 1111 63 0 30367 0
vsize: 121720
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 29266 0 0 0 103902 111 0 0 25 0 1 0 695670889 125763584 28834 4294967295 134512640 134714540 3221221792 3221220476 134558620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30704 28834 1111 63 0 30641 0
vsize: 122816
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 29565 0 0 0 104901 112 0 0 25 0 1 0 695670889 126971904 29125 4294967295 134512640 134714540 3221221792 3221220576 134624467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30999 29125 1111 63 0 30936 0
vsize: 123996
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 29798 0 0 0 105900 113 0 0 25 0 1 0 695670889 128020480 29346 4294967295 134512640 134714540 3221221792 3221220568 134543133 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31255 29346 1111 63 0 31192 0
vsize: 125020
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 30055 0 0 0 106900 113 0 0 25 0 1 0 695670889 129003520 29603 4294967295 134512640 134714540 3221221792 3221220188 134613956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31495 29603 1111 63 0 31432 0
vsize: 125980
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 30369 0 0 0 107899 114 0 0 25 0 1 0 695670889 130482176 29905 4294967295 134512640 134714540 3221221792 3221220348 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31856 29905 1111 63 0 31793 0
vsize: 127424
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 30618 0 0 0 108898 115 0 0 25 0 1 0 695670889 131551232 30142 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32117 30142 1111 63 0 32054 0
vsize: 128468
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 30828 0 0 0 109898 116 0 0 25 0 1 0 695670889 132440064 30348 4294967295 134512640 134714540 3221221792 3221220576 134624869 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32334 30348 1111 63 0 32271 0
vsize: 129336
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 31159 0 0 0 110897 117 0 0 25 0 1 0 695670889 133820416 30662 4294967295 134512640 134714540 3221221792 3221220688 134621530 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32671 30662 1111 63 0 32608 0
vsize: 130684
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 31480 0 0 0 111896 118 0 0 25 0 1 0 695670889 135553024 30949 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33094 30949 1111 63 0 33031 0
vsize: 132376
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 31824 0 0 0 112895 119 0 0 25 0 1 0 695670889 137351168 31230 4294967295 134512640 134714540 3221221792 3221220536 134536879 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33533 31230 1111 63 0 33470 0
vsize: 134132
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 32242 0 0 0 113895 119 0 0 25 0 1 0 695670889 139653120 31595 4294967295 134512640 134714540 3221221792 3221220348 134539254 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34095 31595 1111 63 0 34032 0
vsize: 136380
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 32545 0 0 0 114894 120 0 0 25 0 1 0 695670889 140992512 31873 4294967295 134512640 134714540 3221221792 3221220416 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34422 31873 1111 63 0 34359 0
vsize: 137688
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 32703 0 0 0 115893 121 0 0 25 0 1 0 695670889 141668352 32031 4294967295 134512640 134714540 3221221792 3221220508 134543156 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34587 32031 1111 63 0 34524 0
vsize: 138348
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 33120 0 0 0 116892 123 0 0 25 0 1 0 695670889 143429632 32435 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35017 32435 1111 63 0 34954 0
vsize: 140068
[startup+1175.11 s]
Raw data (loadavg): 0.99 0.97 0.97 1/53 18104
Raw data (stat): 18104 (bsolo_mis) R 18103 7876 7672 0 -1 0 33120 0 0 0 116892 123 0 0 25 0 1 0 695670889 143429632 32435 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35017 32435 1111 63 0 34954 0
vsize: 0

Child status: 0
Real time (s): 1175.11
CPU time (s): 1175.23
CPU user time (s): 1173.93
CPU system time (s): 1.2998
CPU usage (%): 100.01
Max. virtual memory (Kb): 140068
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####