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-2-c.opb
MD5SUM	40e47c460002545cc2670ca84fd53082
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	2606
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	2606
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	2606
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	2606
Total number of constraints	6509
Number of constraints which are clauses	6509
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 24164

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-08 15:07:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1839 boxname=wulflinc31 idbench=205 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  40e47c460002545cc2670ca84fd53082  /oldhome/oroussel/tmp/wulflinc31/normalized-par32-2-c.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-par32-2-c.opb
IDLAUNCH: 1839
/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:        139052 kB
Buffers:         41980 kB
Cached:         819276 kB
SwapCached:        644 kB
Active:         493348 kB
Inactive:       370260 kB
HighTotal:      131008 kB
HighFree:         2296 kB
LowTotal:       903652 kB
LowFree:        136756 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26472 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-08 15:26:54 (client local time) WITH STATUS 0 IN 1177.02 SECONDS
stats: 1839 7 1177.02 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 2606 variables and 6509 constraints.
c After prepocess the problem consists of 2541 variables and 6377 constraints.
c preprocess terminated 6.873 s
c Initial Lower Bound: 366
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1176.95 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.97 0.91 2/54 16206
Raw data (stat): 16206 (runsolver) R 16205 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 692917150 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 3506 0 0 0 986 11 0 0 25 0 1 0 692917150 18042880 3476 4294967295 134512640 134714540 3221221792 3221220432 134696114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4405 3476 1111 63 0 4342 0
vsize: 17620
[startup+20.0013 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 3506 0 0 0 1985 11 0 0 25 0 1 0 692917150 18042880 3476 4294967295 134512640 134714540 3221221792 3221220556 134543553 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4405 3476 1111 63 0 4342 0
vsize: 17620
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 3506 0 0 0 2985 11 0 0 25 0 1 0 692917150 18042880 3476 4294967295 134512640 134714540 3221221792 3221220564 134624473 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4405 3476 1111 63 0 4342 0
vsize: 17620
[startup+40.0018 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 3786 0 0 0 3983 13 0 0 25 0 1 0 692917150 19124224 3756 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4669 3756 1111 63 0 4606 0
vsize: 18676
[startup+50.0031 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 4047 0 0 0 4982 15 0 0 25 0 1 0 692917150 20209664 4017 4294967295 134512640 134714540 3221221792 3221220420 134536674 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4934 4017 1111 63 0 4871 0
vsize: 19736
[startup+60.0037 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 4314 0 0 0 5981 16 0 0 25 0 1 0 692917150 21426176 4284 4294967295 134512640 134714540 3221221792 3221220332 134535891 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5231 4284 1111 63 0 5168 0
vsize: 20924
[startup+70.0046 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 4591 0 0 0 6980 17 0 0 25 0 1 0 692917150 22507520 4561 4294967295 134512640 134714540 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5495 4561 1111 63 0 5432 0
vsize: 21980
[startup+80.0059 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 4861 0 0 0 7979 19 0 0 25 0 1 0 692917150 23588864 4831 4294967295 134512640 134714540 3221221792 3221220564 134624527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5759 4831 1111 63 0 5696 0
vsize: 23036
[startup+90.0055 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 5137 0 0 0 8977 20 0 0 25 0 1 0 692917150 24817664 5107 4294967295 134512640 134714540 3221221792 3221220608 134611091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6059 5107 1111 63 0 5996 0
vsize: 24236
[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 5390 0 0 0 9976 22 0 0 25 0 1 0 692917150 25763840 5360 4294967295 134512640 134714540 3221221792 3221220556 134543540 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6290 5360 1111 63 0 6227 0
vsize: 25160
[startup+110.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 5652 0 0 0 10975 23 0 0 25 0 1 0 692917150 26992640 5620 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6590 5620 1111 63 0 6527 0
vsize: 26360
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 5918 0 0 0 11974 25 0 0 25 0 1 0 692917150 28073984 5884 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6854 5884 1111 63 0 6791 0
vsize: 27416
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 6166 0 0 0 12973 26 0 0 25 0 1 0 692917150 29159424 6131 4294967295 134512640 134714540 3221221792 3221220432 134696151 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7119 6131 1111 63 0 7056 0
vsize: 28476
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 6485 0 0 0 13972 27 0 0 25 0 1 0 692917150 30511104 6448 4294967295 134512640 134714540 3221221792 3221220348 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7449 6448 1111 63 0 7386 0
vsize: 29796
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 6776 0 0 0 14970 28 0 0 25 0 1 0 692917150 31592448 6739 4294967295 134512640 134714540 3221221792 3221220596 134611006 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7713 6739 1111 63 0 7650 0
vsize: 30852
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 6921 0 0 0 15969 30 0 0 25 0 1 0 692917150 32268288 6881 4294967295 134512640 134714540 3221221792 3221220640 134623456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7878 6881 1111 63 0 7815 0
vsize: 31512
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 7258 0 0 0 16968 31 0 0 25 0 1 0 692917150 33628160 7217 4294967295 134512640 134714540 3221221792 3221220576 134558501 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8210 7217 1111 63 0 8147 0
vsize: 32840
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 7538 0 0 0 17967 32 0 0 25 0 1 0 692917150 34861056 7496 4294967295 134512640 134714540 3221221792 3221220332 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8511 7496 1111 63 0 8448 0
vsize: 34044
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 7827 0 0 0 18966 34 0 0 25 0 1 0 692917150 36077568 7785 4294967295 134512640 134714540 3221221792 3221220576 134529097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8808 7785 1111 63 0 8745 0
vsize: 35232
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 8136 0 0 0 19964 35 0 0 25 0 1 0 692917150 37302272 8094 4294967295 134512640 134714540 3221221792 3221220360 1077377730 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9107 8094 1111 63 0 9044 0
vsize: 36428
[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 8388 0 0 0 20963 37 0 0 25 0 1 0 692917150 38383616 8346 4294967295 134512640 134714540 3221221792 3221220608 134610886 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9371 8346 1111 63 0 9308 0
vsize: 37484
[startup+220.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 8680 0 0 0 21962 38 0 0 25 0 1 0 692917150 39616512 8638 4294967295 134512640 134714540 3221221792 3221220492 134558630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9672 8638 1111 63 0 9609 0
vsize: 38688
[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 8959 0 0 0 22961 39 0 0 25 0 1 0 692917150 40861696 8911 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9976 8911 1111 63 0 9913 0
vsize: 39904
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 9212 0 0 0 23960 40 0 0 25 0 1 0 692917150 41877504 9155 4294967295 134512640 134714540 3221221792 3221220608 134611251 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10224 9155 1111 63 0 10161 0
vsize: 40896
[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 9424 0 0 0 24959 41 0 0 25 0 1 0 692917150 42827776 9364 4294967295 134512640 134714540 3221221792 3221220300 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10456 9364 1111 63 0 10393 0
vsize: 41824
[startup+260.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 9550 0 0 0 25958 42 0 0 25 0 1 0 692917150 43384832 9488 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10592 9488 1111 63 0 10529 0
vsize: 42368
[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 9698 0 0 0 26958 43 0 0 25 0 1 0 692917150 43925504 9635 4294967295 134512640 134714540 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10724 9635 1111 63 0 10661 0
vsize: 42896
[startup+280.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 9862 0 0 0 27957 43 0 0 25 0 1 0 692917150 44617728 9798 4294967295 134512640 134714540 3221221792 3221220584 134536921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10893 9798 1111 63 0 10830 0
vsize: 43572
[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 9964 0 0 0 28957 44 0 0 25 0 1 0 692917150 45023232 9898 4294967295 134512640 134714540 3221221792 3221220512 134622764 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10992 9898 1111 63 0 10929 0
vsize: 43968
[startup+300.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 10129 0 0 0 29957 44 0 0 25 0 1 0 692917150 45862912 10056 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11197 10056 1111 63 0 11134 0
vsize: 44788
[startup+310.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 10219 0 0 0 30957 44 0 0 25 0 1 0 692917150 46292992 10142 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11302 10142 1111 63 0 11239 0
vsize: 45208
[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 10319 0 0 0 31957 45 0 0 25 0 1 0 692917150 46698496 10242 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11401 10242 1111 63 0 11338 0
vsize: 45604
[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 10424 0 0 0 32956 46 0 0 25 0 1 0 692917150 47067136 10347 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11491 10347 1111 63 0 11428 0
vsize: 45964
[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 10475 0 0 0 33956 46 0 0 25 0 1 0 692917150 47337472 10398 4294967295 134512640 134714540 3221221792 3221220516 134622883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11557 10398 1111 63 0 11494 0
vsize: 46228
[startup+350.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 10617 0 0 0 34955 47 0 0 25 0 1 0 692917150 47878144 10540 4294967295 134512640 134714540 3221221792 3221220432 134542365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11689 10540 1111 63 0 11626 0
vsize: 46756
[startup+360.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 10902 0 0 0 35955 47 0 0 25 0 1 0 692917150 49094656 10825 4294967295 134512640 134714540 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11986 10825 1111 63 0 11923 0
vsize: 47944
[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 11133 0 0 0 36954 48 0 0 25 0 1 0 692917150 50040832 11055 4294967295 134512640 134714540 3221221792 3221220504 134558485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12217 11055 1111 63 0 12154 0
vsize: 48868
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 11367 0 0 0 37953 49 0 0 25 0 1 0 692917150 50995200 11289 4294967295 134512640 134714540 3221221792 3221220560 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12450 11289 1111 63 0 12387 0
vsize: 49800
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 11612 0 0 0 38953 50 0 0 25 0 1 0 692917150 51982336 11533 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12691 11533 1111 63 0 12628 0
vsize: 50764
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 11753 0 0 0 39952 51 0 0 25 0 1 0 692917150 52523008 11673 4294967295 134512640 134714540 3221221792 3221220308 134535880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12823 11673 1111 63 0 12760 0
vsize: 51292
[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 11942 0 0 0 40952 51 0 0 25 0 1 0 692917150 53366784 11857 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13029 11857 1111 63 0 12966 0
vsize: 52116
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 12061 0 0 0 41951 52 0 0 25 0 1 0 692917150 53907456 11973 4294967295 134512640 134714540 3221221792 3221220552 134536921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13161 11973 1111 63 0 13098 0
vsize: 52644
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 12185 0 0 0 42951 52 0 0 25 0 1 0 692917150 54509568 12094 4294967295 134512640 134714540 3221221792 3221220608 134610997 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13308 12094 1111 63 0 13245 0
vsize: 53232
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 12343 0 0 0 43950 53 0 0 25 0 1 0 692917150 55185408 12252 4294967295 134512640 134714540 3221221792 3221220516 134622905 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13473 12252 1111 63 0 13410 0
vsize: 53892
[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 12477 0 0 0 44949 54 0 0 25 0 1 0 692917150 55894016 12377 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13646 12377 1111 63 0 13583 0
vsize: 54584
[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 12591 0 0 0 45949 55 0 0 25 0 1 0 692917150 56311808 12489 4294967295 134512640 134714540 3221221792 3221220576 134624467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13748 12489 1111 63 0 13685 0
vsize: 54992
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 12692 0 0 0 46949 56 0 0 25 0 1 0 692917150 56885248 12586 4294967295 134512640 134714540 3221221792 3221220352 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13888 12586 1111 63 0 13825 0
vsize: 55552
[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 12771 0 0 0 47948 56 0 0 25 0 1 0 692917150 57188352 12662 4294967295 134512640 134714540 3221221792 3221220536 134543568 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13962 12662 1111 63 0 13899 0
vsize: 55848
[startup+490.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 12849 0 0 0 48948 56 0 0 25 0 1 0 692917150 57458688 12739 4294967295 134512640 134714540 3221221792 3221220300 134535891 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14028 12739 1111 63 0 13965 0
vsize: 56112
[startup+500.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 12891 0 0 0 49949 56 0 0 25 0 1 0 692917150 57593856 12781 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14061 12781 1111 63 0 13998 0
vsize: 56244
[startup+510.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 12952 0 0 0 50948 57 0 0 25 0 1 0 692917150 57864192 12842 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14127 12842 1111 63 0 14064 0
vsize: 56508
[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 13140 0 0 0 51948 57 0 0 25 0 1 0 692917150 58675200 13030 4294967295 134512640 134714540 3221221792 3221220432 134696109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14325 13030 1111 63 0 14262 0
vsize: 57300
[startup+530.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 13425 0 0 0 52947 59 0 0 25 0 1 0 692917150 59756544 13313 4294967295 134512640 134714540 3221221792 3221220564 134624527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14589 13313 1111 63 0 14526 0
vsize: 58356
[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 13703 0 0 0 53946 59 0 0 25 0 1 0 692917150 60878848 13588 4294967295 134512640 134714540 3221221792 3221220340 134696757 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14863 13588 1111 63 0 14800 0
vsize: 59452
[startup+550.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 13901 0 0 0 54946 60 0 0 25 0 1 0 692917150 61689856 13785 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15061 13785 1111 63 0 14998 0
vsize: 60244
[startup+560.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 14114 0 0 0 55946 60 0 0 25 0 1 0 692917150 62504960 13998 4294967295 134512640 134714540 3221221792 3221220608 134611108 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15260 13998 1111 63 0 15197 0
vsize: 61040
[startup+570.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 14288 0 0 0 56945 61 0 0 25 0 1 0 692917150 63180800 14170 4294967295 134512640 134714540 3221221792 3221220180 134697519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15425 14170 1111 63 0 15362 0
vsize: 61700
[startup+580.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 14433 0 0 0 57944 62 0 0 25 0 1 0 692917150 63873024 14312 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15594 14312 1111 63 0 15531 0
vsize: 62376
[startup+590.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 14563 0 0 0 58944 62 0 0 25 0 1 0 692917150 64413696 14442 4294967295 134512640 134714540 3221221792 3221220424 134696348 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15726 14442 1111 63 0 15663 0
vsize: 62904
[startup+600.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 14674 0 0 0 59944 62 0 0 25 0 1 0 692917150 64823296 14551 4294967295 134512640 134714540 3221221792 3221220416 134542300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15826 14551 1111 63 0 15763 0
vsize: 63304
[startup+610.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 14778 0 0 0 60944 63 0 0 25 0 1 0 692917150 65228800 14654 4294967295 134512640 134714540 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15925 14654 1111 63 0 15862 0
vsize: 63700
[startup+620.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 14882 0 0 0 61943 63 0 0 25 0 1 0 692917150 65634304 14758 4294967295 134512640 134714540 3221221792 3221220592 134622271 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16024 14758 1111 63 0 15961 0
vsize: 64096
[startup+630.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 14975 0 0 0 62943 64 0 0 25 0 1 0 692917150 66072576 14850 4294967295 134512640 134714540 3221221792 3221220584 134542460 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16131 14850 1111 63 0 16068 0
vsize: 64524
[startup+640.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 15065 0 0 0 63943 64 0 0 25 0 1 0 692917150 66375680 14939 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16205 14939 1111 63 0 16142 0
vsize: 64820
[startup+650.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 15129 0 0 0 64944 64 0 0 25 0 1 0 692917150 66646016 15003 4294967295 134512640 134714540 3221221792 3221220520 134622783 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16271 15003 1111 63 0 16208 0
vsize: 65084
[startup+660.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 15179 0 0 0 65943 64 0 0 25 0 1 0 692917150 66916352 15053 4294967295 134512640 134714540 3221221792 3221220416 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16337 15053 1111 63 0 16274 0
vsize: 65348
[startup+670.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 15252 0 0 0 66943 64 0 0 25 0 1 0 692917150 67186688 15126 4294967295 134512640 134714540 3221221792 3221220512 134622732 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16403 15126 1111 63 0 16340 0
vsize: 65612
[startup+680.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 15516 0 0 0 67943 65 0 0 25 0 1 0 692917150 68268032 15390 4294967295 134512640 134714540 3221221792 3221220564 134695703 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16667 15390 1111 63 0 16604 0
vsize: 66668
[startup+690.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 15776 0 0 0 68942 66 0 0 25 0 1 0 692917150 69242880 15648 4294967295 134512640 134714540 3221221792 3221220552 134536904 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16905 15648 1111 63 0 16842 0
vsize: 67620
[startup+700.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 15988 0 0 0 69941 67 0 0 25 0 1 0 692917150 70193152 15859 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17137 15859 1111 63 0 17074 0
vsize: 68548
[startup+710.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 16170 0 0 0 70940 68 0 0 25 0 1 0 692917150 70868992 16041 4294967295 134512640 134714540 3221221792 3221220352 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17302 16041 1111 63 0 17239 0
vsize: 69208
[startup+720.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 16402 0 0 0 71940 69 0 0 25 0 1 0 692917150 71995392 16250 4294967295 134512640 134714540 3221221792 3221220536 134543568 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17577 16250 1111 63 0 17514 0
vsize: 70308
[startup+730.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 16578 0 0 0 72939 70 0 0 25 0 1 0 692917150 72839168 16416 4294967295 134512640 134714540 3221221792 3221220352 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17783 16416 1111 63 0 17720 0
vsize: 71132
[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 16722 0 0 0 73938 70 0 0 25 0 1 0 692917150 73605120 16550 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17970 16550 1111 63 0 17907 0
vsize: 71880
[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 16875 0 0 0 74938 71 0 0 25 0 1 0 692917150 74145792 16703 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18102 16703 1111 63 0 18039 0
vsize: 72408
[startup+760.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 16941 0 0 0 75938 71 0 0 25 0 1 0 692917150 74416128 16769 4294967295 134512640 134714540 3221221792 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18168 16769 1111 63 0 18105 0
vsize: 72672
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 17060 0 0 0 76938 72 0 0 25 0 1 0 692917150 74903552 16883 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18287 16883 1111 63 0 18224 0
vsize: 73148
[startup+780.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 17175 0 0 0 77938 72 0 0 25 0 1 0 692917150 75444224 16995 4294967295 134512640 134714540 3221221792 3221220120 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18419 16995 1111 63 0 18356 0
vsize: 73676
[startup+790.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 17223 0 0 0 78938 72 0 0 25 0 1 0 692917150 75579392 17043 4294967295 134512640 134714540 3221221792 3221220580 134558543 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18452 17043 1111 63 0 18389 0
vsize: 73808
[startup+800.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 17358 0 0 0 79937 72 0 0 25 0 1 0 692917150 76345344 17169 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18639 17169 1111 63 0 18576 0
vsize: 74556
[startup+810.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 17471 0 0 0 80937 73 0 0 25 0 1 0 692917150 76836864 17274 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18759 17274 1111 63 0 18696 0
vsize: 75036
[startup+820.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 17544 0 0 0 81937 73 0 0 25 0 1 0 692917150 77107200 17339 4294967295 134512640 134714540 3221221792 3221220360 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18825 17339 1111 63 0 18762 0
vsize: 75300
[startup+830.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 17647 0 0 0 82937 73 0 0 25 0 1 0 692917150 77639680 17429 4294967295 134512640 134714540 3221221792 3221220592 134622268 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18955 17429 1111 63 0 18892 0
vsize: 75820
[startup+840.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 17704 0 0 0 83937 73 0 0 25 0 1 0 692917150 77910016 17484 4294967295 134512640 134714540 3221221792 3221220608 134611302 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19021 17484 1111 63 0 18958 0
vsize: 76084
[startup+850.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 17784 0 0 0 84937 74 0 0 25 0 1 0 692917150 78393344 17556 4294967295 134512640 134714540 3221221792 3221220504 134558490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19139 17556 1111 63 0 19076 0
vsize: 76556
[startup+860.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 18023 0 0 0 85936 75 0 0 25 0 1 0 692917150 79536128 17780 4294967295 134512640 134714540 3221221792 3221220608 134610910 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19418 17780 1111 63 0 19355 0
vsize: 77672
[startup+870.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 18384 0 0 0 86935 76 0 0 25 0 1 0 692917150 81170432 18130 4294967295 134512640 134714540 3221221792 3221220480 134523345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19817 18130 1111 63 0 19754 0
vsize: 79268
[startup+880.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 18649 0 0 0 87934 77 0 0 25 0 1 0 692917150 82292736 18388 4294967295 134512640 134714540 3221221792 3221220640 134623453 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20091 18388 1111 63 0 20028 0
vsize: 80364
[startup+890.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 18889 0 0 0 88933 78 0 0 25 0 1 0 692917150 83259392 18621 4294967295 134512640 134714540 3221221792 3221220352 134696537 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20327 18621 1111 63 0 20264 0
vsize: 81308
[startup+900.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 19109 0 0 0 89933 79 0 0 25 0 1 0 692917150 84209664 18837 4294967295 134512640 134714540 3221221792 3221220536 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20559 18837 1111 63 0 20496 0
vsize: 82236
[startup+910.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 19315 0 0 0 90932 80 0 0 25 0 1 0 692917150 85049344 19038 4294967295 134512640 134714540 3221221792 3221220608 134611091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20764 19038 1111 63 0 20701 0
vsize: 83056
[startup+920.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 19462 0 0 0 91931 81 0 0 25 0 1 0 692917150 85729280 19184 4294967295 134512640 134714540 3221221792 3221220584 134542458 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20930 19184 1111 63 0 20867 0
vsize: 83720
[startup+930.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 19576 0 0 0 92931 81 0 0 25 0 1 0 692917150 86134784 19298 4294967295 134512640 134714540 3221221792 3221220352 134696590 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21029 19298 1111 63 0 20966 0
vsize: 84116
[startup+940.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 19667 0 0 0 93931 81 0 0 25 0 1 0 692917150 86540288 19389 4294967295 134512640 134714540 3221221792 3221220596 134610916 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21128 19389 1111 63 0 21065 0
vsize: 84512
[startup+950.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 19764 0 0 0 94930 82 0 0 25 0 1 0 692917150 86810624 19486 4294967295 134512640 134714540 3221221792 3221220536 134558582 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21194 19486 1111 63 0 21131 0
vsize: 84776
[startup+960.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 19897 0 0 0 95930 82 0 0 25 0 1 0 692917150 87351296 19617 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21326 19617 1111 63 0 21263 0
vsize: 85304
[startup+970.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 19988 0 0 0 96930 82 0 0 25 0 1 0 692917150 87756800 19708 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21425 19708 1111 63 0 21362 0
vsize: 85700
[startup+980.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 20072 0 0 0 97930 83 0 0 25 0 1 0 692917150 88162304 19792 4294967295 134512640 134714540 3221221792 3221220528 134695297 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21524 19792 1111 63 0 21461 0
vsize: 86096
[startup+990.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 20131 0 0 0 98930 83 0 0 25 0 1 0 692917150 88297472 19851 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21557 19851 1111 63 0 21494 0
vsize: 86228
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 20193 0 0 0 99930 83 0 0 25 0 1 0 692917150 88567808 19913 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21623 19913 1111 63 0 21560 0
vsize: 86492
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 20297 0 0 0 100930 83 0 0 25 0 1 0 692917150 88973312 20017 4294967295 134512640 134714540 3221221792 3221220432 134543110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21722 20017 1111 63 0 21659 0
vsize: 86888
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 20344 0 0 0 101930 83 0 0 25 0 1 0 692917150 89243648 20064 4294967295 134512640 134714540 3221221792 3221220608 134610997 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21788 20064 1111 63 0 21725 0
vsize: 87152
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 20544 0 0 0 102930 84 0 0 25 0 1 0 692917150 89919488 20264 4294967295 134512640 134714540 3221221792 3221220608 134610489 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21953 20264 1111 63 0 21890 0
vsize: 87812
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 20841 0 0 0 103929 85 0 0 25 0 1 0 692917150 91136000 20561 4294967295 134512640 134714540 3221221792 3221220608 134611091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22250 20561 1111 63 0 22187 0
vsize: 89000
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 21098 0 0 0 104928 86 0 0 25 0 1 0 692917150 92217344 20818 4294967295 134512640 134714540 3221221792 3221220576 134624467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22514 20818 1111 63 0 22451 0
vsize: 90056
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 21331 0 0 0 105928 87 0 0 25 0 1 0 692917150 93028352 21051 4294967295 134512640 134714540 3221221792 3221220584 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22712 21051 1111 63 0 22649 0
vsize: 90848
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 21544 0 0 0 106927 87 0 0 25 0 1 0 692917150 93839360 21264 4294967295 134512640 134714540 3221221792 3221220536 134523854 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22910 21264 1111 63 0 22847 0
vsize: 91640
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 21729 0 0 0 107926 88 0 0 25 0 1 0 692917150 94650368 21448 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23108 21448 1111 63 0 23045 0
vsize: 92432
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 21836 0 0 0 108926 88 0 0 25 0 1 0 692917150 95055872 21555 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23207 21555 1111 63 0 23144 0
vsize: 92828
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 22019 0 0 0 109926 89 0 0 25 0 1 0 692917150 95875072 21734 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23407 21734 1111 63 0 23344 0
vsize: 93628
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 22140 0 0 0 110925 90 0 0 25 0 1 0 692917150 96362496 21847 4294967295 134512640 134714540 3221221792 3221220528 134622896 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23526 21847 1111 63 0 23463 0
vsize: 94104
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 22224 0 0 0 111925 90 0 0 25 0 1 0 692917150 96833536 21927 4294967295 134512640 134714540 3221221792 3221220528 134622749 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23641 21927 1111 63 0 23578 0
vsize: 94564
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 22269 0 0 0 112925 90 0 0 25 0 1 0 692917150 96968704 21972 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23674 21972 1111 63 0 23611 0
vsize: 94696
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 22487 0 0 0 113925 91 0 0 25 0 1 0 692917150 97898496 22180 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23901 22180 1111 63 0 23838 0
vsize: 95604
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 22556 0 0 0 114925 91 0 0 25 0 1 0 692917150 98177024 22249 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23969 22249 1111 63 0 23906 0
vsize: 95876
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 22655 0 0 0 115925 91 0 0 25 0 1 0 692917150 98750464 22343 4294967295 134512640 134714540 3221221792 3221220508 134543192 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24109 22343 1111 63 0 24046 0
vsize: 96436
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 22748 0 0 0 116924 92 0 0 25 0 1 0 692917150 99078144 22432 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24189 22432 1111 63 0 24126 0
vsize: 96756
[startup+1176.88 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 16206
Raw data (stat): 16206 (bsolo_mis) R 16205 7876 7672 0 -1 0 22748 0 0 0 116924 92 0 0 25 0 1 0 692917150 99078144 22432 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24189 22432 1111 63 0 24126 0
vsize: 0

Child status: 0
Real time (s): 1176.88
CPU time (s): 1177.02
CPU user time (s): 1176.05
CPU system time (s): 0.964853
CPU usage (%): 100.012
Max. virtual memory (Kb): 96756
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####