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/aloul/FPGA_SAT05/normalized-fpga20_19_sat_pb.cnf.cr.opb
MD5SUM	421f138371e66f1365608f6ff657e450
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	21
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.157975
Number of variables	570
Total number of constraints	438
Number of constraints which are clauses	399
Number of constraints which are cardinality constraints (but not clauses)	39
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	10
Maximum length of a constraint	20
Trace number 23344

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 15:54:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=363 boxname=wulflinc31 idbench=41 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  421f138371e66f1365608f6ff657e450  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga20_19_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-fpga20_19_sat_pb.cnf.cr.opb
IDLAUNCH: 363
/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:        927148 kB
Buffers:         38368 kB
Cached:          47116 kB
SwapCached:        944 kB
Active:          72252 kB
Inactive:        15696 kB
HighTotal:      131008 kB
HighFree:        82880 kB
LowTotal:       903652 kB
LowFree:        844268 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            13924 kB
Committed_AS:    63640 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 16:14:19 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 363 7 1175.04 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 570 variables and 438 constraints.
c After prepocess the problem consists of 570 variables and 438 constraints.
c preprocess terminated 0.432 s
c Not 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.92 0.97 0.95 2/54 25558
Raw data (stat): 25558 (runsolver) R 25557 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 641355965 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 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.0005 s]
Raw data (loadavg): 0.93 0.97 0.95 2/54 25558
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 2021 0 0 0 987 8 0 0 25 0 1 0 641355965 11943936 1996 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2916 1996 1111 63 0 2853 0
vsize: 11664
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.97 0.95 2/54 25558
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 2739 0 0 0 1984 12 0 0 25 0 1 0 641355965 14909440 2714 4294967295 134512640 134714540 3221221776 3221220332 134535494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3640 2714 1111 63 0 3577 0
vsize: 14560
[startup+30.0028 s]
Raw data (loadavg): 0.95 0.97 0.95 2/54 25558
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 3467 0 0 0 2981 15 0 0 25 0 1 0 641355965 17883136 3442 4294967295 134512640 134714540 3221221776 3221220432 134536624 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4366 3442 1111 63 0 4303 0
vsize: 17464
[startup+40.0033 s]
Raw data (loadavg): 0.96 0.97 0.95 2/54 25558
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 3690 0 0 0 3979 17 0 0 25 0 1 0 641355965 18690048 3665 4294967295 134512640 134714540 3221221776 3221220544 134592107 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4563 3665 1111 63 0 4500 0
vsize: 18252
[startup+50.0042 s]
Raw data (loadavg): 0.96 0.97 0.95 2/54 25558
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 3765 0 0 0 4978 18 0 0 25 0 1 0 641355965 19030016 3740 4294967295 134512640 134714540 3221221776 3221220336 134696556 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4646 3740 1111 63 0 4583 0
vsize: 18584
[startup+60.0046 s]
Raw data (loadavg): 0.97 0.97 0.95 2/54 25558
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 3804 0 0 0 5977 19 0 0 25 0 1 0 641355965 19206144 3779 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4689 3779 1111 63 0 4626 0
vsize: 18756
[startup+70.0051 s]
Raw data (loadavg): 0.97 0.97 0.95 2/54 25558
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 4343 0 0 0 6975 22 0 0 25 0 1 0 641355965 21368832 4318 4294967295 134512640 134714540 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5217 4318 1111 63 0 5154 0
vsize: 20868
[startup+80.006 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 25558
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 4524 0 0 0 7973 23 0 0 25 0 1 0 641355965 22179840 4499 4294967295 134512640 134714540 3221221776 3221220332 134535964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5415 4499 1111 63 0 5352 0
vsize: 21660
[startup+90.0077 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 25558
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 4955 0 0 0 8972 25 0 0 25 0 1 0 641355965 23928832 4930 4294967295 134512640 134714540 3221221776 3221220184 134697502 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5842 4930 1111 63 0 5779 0
vsize: 23368
[startup+100.008 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 25558
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 5062 0 0 0 9971 26 0 0 25 0 1 0 641355965 24334336 5037 4294967295 134512640 134714540 3221221776 3221220560 134529266 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5941 5037 1111 63 0 5878 0
vsize: 23764
[startup+110.008 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 25558
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 5308 0 0 0 10970 27 0 0 25 0 1 0 641355965 25415680 5283 4294967295 134512640 134714540 3221221776 3221220428 134536779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6205 5283 1111 63 0 6142 0
vsize: 24820
[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25558
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 5391 0 0 0 11969 28 0 0 25 0 1 0 641355965 25686016 5366 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6271 5366 1111 63 0 6208 0
vsize: 25084
[startup+130.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25558
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 5460 0 0 0 12968 29 0 0 25 0 1 0 641355965 25956352 5435 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6337 5435 1111 63 0 6274 0
vsize: 25348
[startup+140.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25558
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 5491 0 0 0 13968 30 0 0 25 0 1 0 641355965 26091520 5466 4294967295 134512640 134714540 3221221776 3221220544 134529281 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6370 5466 1111 63 0 6307 0
vsize: 25480
[startup+150.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25558
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 5557 0 0 0 14967 31 0 0 25 0 1 0 641355965 26361856 5532 4294967295 134512640 134714540 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6436 5532 1111 63 0 6373 0
vsize: 25744
[startup+160.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25558
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 5581 0 0 0 15966 32 0 0 25 0 1 0 641355965 26497024 5556 4294967295 134512640 134714540 3221221776 3221220544 134592128 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6469 5556 1111 63 0 6406 0
vsize: 25876
[startup+170.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25558
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 5631 0 0 0 16966 32 0 0 25 0 1 0 641355965 26632192 5606 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6502 5606 1111 63 0 6439 0
vsize: 26008
[startup+180.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25558
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 5648 0 0 0 17966 33 0 0 25 0 1 0 641355965 26767360 5623 4294967295 134512640 134714540 3221221776 3221220272 134535442 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6535 5623 1111 63 0 6472 0
vsize: 26140
[startup+190.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25558
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 5685 0 0 0 18966 33 0 0 25 0 1 0 641355965 26902528 5660 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6568 5660 1111 63 0 6505 0
vsize: 26272
[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25558
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 5718 0 0 0 19966 33 0 0 25 0 1 0 641355965 27037696 5693 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6601 5693 1111 63 0 6538 0
vsize: 26404
[startup+210.022 s]
Raw data (loadavg): 1.07 0.99 0.95 2/54 25558
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 5737 0 0 0 20966 34 0 0 25 0 1 0 641355965 27172864 5712 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6634 5712 1111 63 0 6571 0
vsize: 26536
[startup+220.023 s]
Raw data (loadavg): 1.06 0.99 0.95 2/54 25558
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 5819 0 0 0 21966 34 0 0 25 0 1 0 641355965 27443200 5794 4294967295 134512640 134714540 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6700 5794 1111 63 0 6637 0
vsize: 26800
[startup+230.023 s]
Raw data (loadavg): 1.05 0.99 0.95 2/54 25558
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 5856 0 0 0 22966 34 0 0 25 0 1 0 641355965 27578368 5831 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6733 5831 1111 63 0 6670 0
vsize: 26932
[startup+240.023 s]
Raw data (loadavg): 1.04 0.99 0.95 2/54 25558
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 5860 0 0 0 23965 35 0 0 25 0 1 0 641355965 27578368 5835 4294967295 134512640 134714540 3221221776 3221220404 1077374110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6733 5835 1111 63 0 6670 0
vsize: 26932
[startup+250.023 s]
Raw data (loadavg): 1.04 0.99 0.95 2/54 25558
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 5894 0 0 0 24965 36 0 0 25 0 1 0 641355965 27713536 5869 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6766 5869 1111 63 0 6703 0
vsize: 27064
[startup+260.023 s]
Raw data (loadavg): 1.03 0.99 0.95 2/54 25558
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 5910 0 0 0 25964 36 0 0 25 0 1 0 641355965 27848704 5885 4294967295 134512640 134714540 3221221776 3221220580 134590318 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6799 5885 1111 63 0 6736 0
vsize: 27196
[startup+270.023 s]
Raw data (loadavg): 1.03 0.99 0.95 2/54 25558
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 5957 0 0 0 26964 37 0 0 25 0 1 0 641355965 27983872 5932 4294967295 134512640 134714540 3221221776 3221220112 134697270 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6832 5932 1111 63 0 6769 0
vsize: 27328
[startup+280.024 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 25558
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 5957 0 0 0 27964 37 0 0 25 0 1 0 641355965 27983872 5932 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6832 5932 1111 63 0 6769 0
vsize: 27328
[startup+290.023 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 25558
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 5974 0 0 0 28964 38 0 0 25 0 1 0 641355965 28119040 5949 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6865 5949 1111 63 0 6802 0
vsize: 27460
[startup+300.024 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 25558
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 5974 0 0 0 29963 38 0 0 25 0 1 0 641355965 28119040 5949 4294967295 134512640 134714540 3221221776 3221220352 134549802 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6865 5949 1111 63 0 6802 0
vsize: 27460
[startup+310.023 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 25558
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 5988 0 0 0 30963 39 0 0 25 0 1 0 641355965 28119040 5963 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6865 5963 1111 63 0 6802 0
vsize: 27460
[startup+320.024 s]
Raw data (loadavg): 1.01 0.99 0.95 2/55 25559
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6005 0 0 0 31962 40 0 0 25 0 1 0 641355965 28254208 5980 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6898 5980 1111 63 0 6835 0
vsize: 27592
[startup+330.025 s]
Raw data (loadavg): 1.09 1.00 0.96 2/54 25611
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6026 0 0 0 32962 40 0 0 25 0 1 0 641355965 28254208 6001 4294967295 134512640 134714540 3221221776 3221220496 134523874 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6898 6001 1111 63 0 6835 0
vsize: 27592
[startup+340.024 s]
Raw data (loadavg): 1.07 1.00 0.96 2/54 25611
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6078 0 0 0 33961 41 0 0 25 0 1 0 641355965 28536832 6053 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6967 6053 1111 63 0 6904 0
vsize: 27868
[startup+350.024 s]
Raw data (loadavg): 1.06 1.00 0.96 2/54 25611
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6083 0 0 0 34961 41 0 0 25 0 1 0 641355965 28536832 6058 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6967 6058 1111 63 0 6904 0
vsize: 27868
[startup+360.024 s]
Raw data (loadavg): 1.13 1.02 0.96 2/54 25611
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6115 0 0 0 35961 42 0 0 25 0 1 0 641355965 28672000 6090 4294967295 134512640 134714540 3221221776 3221220332 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7000 6090 1111 63 0 6937 0
vsize: 28000
[startup+370.025 s]
Raw data (loadavg): 1.18 1.03 0.97 2/54 25611
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6116 0 0 0 36960 43 0 0 25 0 1 0 641355965 28672000 6091 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7000 6091 1111 63 0 6937 0
vsize: 28000
[startup+380.025 s]
Raw data (loadavg): 1.16 1.03 0.97 2/54 25611
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6141 0 0 0 37959 44 0 0 25 0 1 0 641355965 28807168 6116 4294967295 134512640 134714540 3221221776 3221220176 134697379 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7033 6116 1111 63 0 6970 0
vsize: 28132
[startup+390.025 s]
Raw data (loadavg): 1.13 1.03 0.97 2/54 25611
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6184 0 0 0 38958 45 0 0 25 0 1 0 641355965 28942336 6159 4294967295 134512640 134714540 3221221776 3221220480 134591898 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7066 6159 1111 63 0 7003 0
vsize: 28264
[startup+400.026 s]
Raw data (loadavg): 1.11 1.03 0.97 2/54 25613
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6218 0 0 0 39958 45 0 0 25 0 1 0 641355965 29077504 6193 4294967295 134512640 134714540 3221221776 3221220560 134529243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7099 6193 1111 63 0 7036 0
vsize: 28396
[startup+410.026 s]
Raw data (loadavg): 1.09 1.03 0.97 2/54 25613
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6224 0 0 0 40957 46 0 0 25 0 1 0 641355965 29212672 6199 4294967295 134512640 134714540 3221221776 3221220448 1077378560 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7132 6199 1111 63 0 7069 0
vsize: 28528
[startup+420.027 s]
Raw data (loadavg): 1.08 1.03 0.97 2/54 25613
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6248 0 0 0 41957 47 0 0 25 0 1 0 641355965 29212672 6223 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7132 6223 1111 63 0 7069 0
vsize: 28528
[startup+430.027 s]
Raw data (loadavg): 1.07 1.02 0.97 2/54 25613
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6264 0 0 0 42957 47 0 0 25 0 1 0 641355965 29347840 6239 4294967295 134512640 134714540 3221221776 3221220352 134549802 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7165 6239 1111 63 0 7102 0
vsize: 28660
[startup+440.027 s]
Raw data (loadavg): 1.06 1.02 0.97 2/54 25613
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6295 0 0 0 43956 48 0 0 25 0 1 0 641355965 29483008 6270 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7198 6270 1111 63 0 7135 0
vsize: 28792
[startup+450.028 s]
Raw data (loadavg): 1.05 1.02 0.97 2/54 25613
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6296 0 0 0 44956 48 0 0 25 0 1 0 641355965 29483008 6271 4294967295 134512640 134714540 3221221776 3221220516 1077374082 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7198 6271 1111 63 0 7135 0
vsize: 28792
[startup+460.028 s]
Raw data (loadavg): 1.04 1.02 0.97 2/54 25613
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6296 0 0 0 45956 49 0 0 25 0 1 0 641355965 29483008 6271 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7198 6271 1111 63 0 7135 0
vsize: 28792
[startup+470.029 s]
Raw data (loadavg): 1.03 1.02 0.97 2/54 25613
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6312 0 0 0 46956 49 0 0 25 0 1 0 641355965 29483008 6287 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7198 6287 1111 63 0 7135 0
vsize: 28792
[startup+480.029 s]
Raw data (loadavg): 1.03 1.02 0.97 2/54 25613
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6312 0 0 0 47955 49 0 0 25 0 1 0 641355965 29483008 6287 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7198 6287 1111 63 0 7135 0
vsize: 28792
[startup+490.029 s]
Raw data (loadavg): 1.02 1.02 0.97 2/54 25613
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6336 0 0 0 48955 50 0 0 25 0 1 0 641355965 29618176 6311 4294967295 134512640 134714540 3221221776 3221220400 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7231 6311 1111 63 0 7168 0
vsize: 28924
[startup+500.029 s]
Raw data (loadavg): 1.02 1.02 0.97 2/54 25613
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6336 0 0 0 49955 50 0 0 25 0 1 0 641355965 29618176 6311 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7231 6311 1111 63 0 7168 0
vsize: 28924
[startup+510.03 s]
Raw data (loadavg): 1.02 1.02 0.97 2/54 25613
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6357 0 0 0 50955 50 0 0 25 0 1 0 641355965 29753344 6332 4294967295 134512640 134714540 3221221776 3221220416 134536698 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7264 6332 1111 63 0 7201 0
vsize: 29056
[startup+520.03 s]
Raw data (loadavg): 1.01 1.02 0.97 2/54 25613
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6406 0 0 0 51955 51 0 0 25 0 1 0 641355965 29888512 6381 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7297 6381 1111 63 0 7234 0
vsize: 29188
[startup+530.03 s]
Raw data (loadavg): 1.01 1.02 0.97 2/54 25613
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6433 0 0 0 52955 51 0 0 25 0 1 0 641355965 30019584 6408 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7329 6408 1111 63 0 7266 0
vsize: 29316
[startup+540.03 s]
Raw data (loadavg): 1.01 1.01 0.97 2/54 25613
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6451 0 0 0 53954 52 0 0 25 0 1 0 641355965 30019584 6426 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7329 6426 1111 63 0 7266 0
vsize: 29316
[startup+550.031 s]
Raw data (loadavg): 1.01 1.01 0.97 2/54 25613
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6463 0 0 0 54954 53 0 0 25 0 1 0 641355965 30154752 6438 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7362 6438 1111 63 0 7299 0
vsize: 29448
[startup+560.031 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 25613
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6500 0 0 0 55953 53 0 0 25 0 1 0 641355965 30289920 6475 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7395 6475 1111 63 0 7332 0
vsize: 29580
[startup+570.031 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 25613
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6500 0 0 0 56952 54 0 0 25 0 1 0 641355965 30289920 6475 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7395 6475 1111 63 0 7332 0
vsize: 29580
[startup+580.032 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 25613
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6501 0 0 0 57952 55 0 0 25 0 1 0 641355965 30289920 6476 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7395 6476 1111 63 0 7332 0
vsize: 29580
[startup+590.031 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 25613
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6517 0 0 0 58952 55 0 0 25 0 1 0 641355965 30289920 6492 4294967295 134512640 134714540 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7395 6492 1111 63 0 7332 0
vsize: 29580
[startup+600.033 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 25613
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6518 0 0 0 59951 56 0 0 25 0 1 0 641355965 30289920 6493 4294967295 134512640 134714540 3221221776 3221220272 134535416 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7395 6493 1111 63 0 7332 0
vsize: 29580
[startup+610.032 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 25613
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6552 0 0 0 60950 57 0 0 25 0 1 0 641355965 30425088 6527 4294967295 134512640 134714540 3221221776 3221220388 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7428 6527 1111 63 0 7365 0
vsize: 29712
[startup+620.032 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 25613
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6552 0 0 0 61950 57 0 0 25 0 1 0 641355965 30425088 6527 4294967295 134512640 134714540 3221221776 3221220520 134551632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7428 6527 1111 63 0 7365 0
vsize: 29712
[startup+630.033 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 25613
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6552 0 0 0 62950 57 0 0 25 0 1 0 641355965 30425088 6527 4294967295 134512640 134714540 3221221776 3221220480 134528662 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7428 6527 1111 63 0 7365 0
vsize: 29712
[startup+640.032 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25613
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6559 0 0 0 63949 58 0 0 25 0 1 0 641355965 30560256 6534 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7461 6534 1111 63 0 7398 0
vsize: 29844
[startup+650.032 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25613
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6559 0 0 0 64949 59 0 0 25 0 1 0 641355965 30560256 6534 4294967295 134512640 134714540 3221221776 3221220088 1077377331 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7461 6534 1111 63 0 7398 0
vsize: 29844
[startup+660.032 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25613
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6571 0 0 0 65949 59 0 0 25 0 1 0 641355965 30560256 6546 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7461 6546 1111 63 0 7398 0
vsize: 29844
[startup+670.033 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25613
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6579 0 0 0 66948 60 0 0 25 0 1 0 641355965 30560256 6554 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7461 6554 1111 63 0 7398 0
vsize: 29844
[startup+680.033 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6611 0 0 0 67948 61 0 0 25 0 1 0 641355965 30695424 6586 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7494 6586 1111 63 0 7431 0
vsize: 29976
[startup+690.033 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6624 0 0 0 68947 61 0 0 25 0 1 0 641355965 30830592 6599 4294967295 134512640 134714540 3221221776 3221220416 134696145 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7527 6599 1111 63 0 7464 0
vsize: 30108
[startup+700.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6641 0 0 0 69947 62 0 0 25 0 1 0 641355965 30830592 6616 4294967295 134512640 134714540 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7527 6616 1111 63 0 7464 0
vsize: 30108
[startup+710.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6683 0 0 0 70947 62 0 0 25 0 1 0 641355965 30965760 6658 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7560 6658 1111 63 0 7497 0
vsize: 30240
[startup+720.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6690 0 0 0 71946 63 0 0 25 0 1 0 641355965 31100928 6665 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7593 6665 1111 63 0 7530 0
vsize: 30372
[startup+730.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6690 0 0 0 72946 63 0 0 25 0 1 0 641355965 31100928 6665 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7593 6665 1111 63 0 7530 0
vsize: 30372
[startup+740.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6711 0 0 0 73946 64 0 0 25 0 1 0 641355965 31100928 6686 4294967295 134512640 134714540 3221221776 3221220336 134696479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7593 6686 1111 63 0 7530 0
vsize: 30372
[startup+750.035 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6711 0 0 0 74946 64 0 0 25 0 1 0 641355965 31100928 6686 4294967295 134512640 134714540 3221221776 3221220404 134696296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7593 6686 1111 63 0 7530 0
vsize: 30372
[startup+760.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6750 0 0 0 75945 65 0 0 25 0 1 0 641355965 31236096 6725 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7626 6725 1111 63 0 7563 0
vsize: 30504
[startup+770.035 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6752 0 0 0 76944 66 0 0 25 0 1 0 641355965 31371264 6727 4294967295 134512640 134714540 3221221776 3221220508 134554938 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7659 6727 1111 63 0 7596 0
vsize: 30636
[startup+780.035 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6752 0 0 0 77944 66 0 0 25 0 1 0 641355965 31371264 6727 4294967295 134512640 134714540 3221221776 3221220560 134529288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7659 6727 1111 63 0 7596 0
vsize: 30636
[startup+790.035 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6761 0 0 0 78944 66 0 0 25 0 1 0 641355965 31371264 6736 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7659 6736 1111 63 0 7596 0
vsize: 30636
[startup+800.035 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6794 0 0 0 79943 67 0 0 25 0 1 0 641355965 31506432 6769 4294967295 134512640 134714540 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7692 6769 1111 63 0 7629 0
vsize: 30768
[startup+810.035 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6802 0 0 0 80943 68 0 0 25 0 1 0 641355965 31506432 6777 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7692 6777 1111 63 0 7629 0
vsize: 30768
[startup+820.036 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6802 0 0 0 81943 68 0 0 25 0 1 0 641355965 31506432 6777 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7692 6777 1111 63 0 7629 0
vsize: 30768
[startup+830.036 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6806 0 0 0 82942 69 0 0 25 0 1 0 641355965 31506432 6781 4294967295 134512640 134714540 3221221776 3221220360 134549708 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7692 6781 1111 63 0 7629 0
vsize: 30768
[startup+840.036 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6806 0 0 0 83942 69 0 0 25 0 1 0 641355965 31506432 6781 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7692 6781 1111 63 0 7629 0
vsize: 30768
[startup+850.037 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6824 0 0 0 84942 70 0 0 25 0 1 0 641355965 31641600 6799 4294967295 134512640 134714540 3221221776 3221220464 134528712 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7725 6799 1111 63 0 7662 0
vsize: 30900
[startup+860.037 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6831 0 0 0 85941 70 0 0 25 0 1 0 641355965 31641600 6806 4294967295 134512640 134714540 3221221776 3221220416 134696109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7725 6806 1111 63 0 7662 0
vsize: 30900
[startup+870.037 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6841 0 0 0 86941 71 0 0 25 0 1 0 641355965 31641600 6816 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7725 6816 1111 63 0 7662 0
vsize: 30900
[startup+880.038 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6864 0 0 0 87941 71 0 0 25 0 1 0 641355965 31776768 6839 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7758 6839 1111 63 0 7695 0
vsize: 31032
[startup+890.037 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6864 0 0 0 88940 72 0 0 25 0 1 0 641355965 31776768 6839 4294967295 134512640 134714540 3221221776 3221220368 134549809 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7758 6839 1111 63 0 7695 0
vsize: 31032
[startup+900.038 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6875 0 0 0 89940 72 0 0 25 0 1 0 641355965 31776768 6850 4294967295 134512640 134714540 3221221776 3221220412 134552682 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7758 6850 1111 63 0 7695 0
vsize: 31032
[startup+910.038 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6881 0 0 0 90939 73 0 0 25 0 1 0 641355965 31776768 6856 4294967295 134512640 134714540 3221221776 3221220464 134542836 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7758 6856 1111 63 0 7695 0
vsize: 31032
[startup+920.038 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6897 0 0 0 91939 74 0 0 25 0 1 0 641355965 31911936 6872 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7791 6872 1111 63 0 7728 0
vsize: 31164
[startup+930.038 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6911 0 0 0 92938 74 0 0 25 0 1 0 641355965 31911936 6886 4294967295 134512640 134714540 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7791 6886 1111 63 0 7728 0
vsize: 31164
[startup+940.038 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6912 0 0 0 93938 75 0 0 25 0 1 0 641355965 31911936 6887 4294967295 134512640 134714540 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7791 6887 1111 63 0 7728 0
vsize: 31164
[startup+950.039 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6935 0 0 0 94937 76 0 0 25 0 1 0 641355965 32047104 6910 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7824 6910 1111 63 0 7761 0
vsize: 31296
[startup+960.039 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6976 0 0 0 95936 77 0 0 25 0 1 0 641355965 32182272 6951 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7857 6951 1111 63 0 7794 0
vsize: 31428
[startup+970.039 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6982 0 0 0 96936 78 0 0 25 0 1 0 641355965 32317440 6957 4294967295 134512640 134714540 3221221776 3221220480 134524402 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7890 6957 1111 63 0 7827 0
vsize: 31560
[startup+980.044 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6982 0 0 0 97936 78 0 0 25 0 1 0 641355965 32317440 6957 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7890 6957 1111 63 0 7827 0
vsize: 31560
[startup+990.044 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 6982 0 0 0 98935 80 0 0 25 0 1 0 641355965 32317440 6957 4294967295 134512640 134714540 3221221776 3221220476 134552682 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7890 6957 1111 63 0 7827 0
vsize: 31560
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 7005 0 0 0 99934 80 0 0 25 0 1 0 641355965 32317440 6980 4294967295 134512640 134714540 3221221776 3221220540 134552579 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7890 6980 1111 63 0 7827 0
vsize: 31560
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 7017 0 0 0 100933 81 0 0 25 0 1 0 641355965 32452608 6992 4294967295 134512640 134714540 3221221776 3221220416 134613457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7923 6992 1111 63 0 7860 0
vsize: 31692
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 7033 0 0 0 101933 82 0 0 25 0 1 0 641355965 32452608 7008 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7923 7008 1111 63 0 7860 0
vsize: 31692
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 7033 0 0 0 102933 82 0 0 25 0 1 0 641355965 32452608 7008 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7923 7008 1111 63 0 7860 0
vsize: 31692
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 7033 0 0 0 103932 83 0 0 25 0 1 0 641355965 32452608 7008 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7923 7008 1111 63 0 7860 0
vsize: 31692
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 7033 0 0 0 104932 83 0 0 25 0 1 0 641355965 32452608 7008 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7923 7008 1111 63 0 7860 0
vsize: 31692
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 7033 0 0 0 105932 84 0 0 25 0 1 0 641355965 32452608 7008 4294967295 134512640 134714540 3221221776 3221220568 134558582 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7923 7008 1111 63 0 7860 0
vsize: 31692
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 7033 0 0 0 106931 85 0 0 25 0 1 0 641355965 32452608 7008 4294967295 134512640 134714540 3221221776 3221220404 134535320 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7923 7008 1111 63 0 7860 0
vsize: 31692
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 7060 0 0 0 107930 85 0 0 25 0 1 0 641355965 32587776 7035 4294967295 134512640 134714540 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7956 7035 1111 63 0 7893 0
vsize: 31824
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 7101 0 0 0 108930 86 0 0 25 0 1 0 641355965 32722944 7076 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7989 7076 1111 63 0 7926 0
vsize: 31956
[startup+1100.05 s]
Raw data (loadavg): 1.07 1.02 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 7147 0 0 0 109930 86 0 0 25 0 1 0 641355965 32993280 7122 4294967295 134512640 134714540 3221221776 3221220544 134529138 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8055 7122 1111 63 0 7992 0
vsize: 32220
[startup+1110.05 s]
Raw data (loadavg): 1.06 1.01 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 7147 0 0 0 110929 87 0 0 25 0 1 0 641355965 32993280 7122 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8055 7122 1111 63 0 7992 0
vsize: 32220
[startup+1120.05 s]
Raw data (loadavg): 1.05 1.01 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 7172 0 0 0 111929 88 0 0 25 0 1 0 641355965 32993280 7147 4294967295 134512640 134714540 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8055 7147 1111 63 0 7992 0
vsize: 32220
[startup+1130.05 s]
Raw data (loadavg): 1.04 1.01 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 7172 0 0 0 112929 88 0 0 25 0 1 0 641355965 32993280 7147 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8055 7147 1111 63 0 7992 0
vsize: 32220
[startup+1140.05 s]
Raw data (loadavg): 1.03 1.01 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 7199 0 0 0 113928 89 0 0 25 0 1 0 641355965 33128448 7174 4294967295 134512640 134714540 3221221776 3221220560 134529174 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8088 7174 1111 63 0 8025 0
vsize: 32352
[startup+1150.05 s]
Raw data (loadavg): 1.03 1.01 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 7207 0 0 0 114928 89 0 0 25 0 1 0 641355965 33128448 7182 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8088 7182 1111 63 0 8025 0
vsize: 32352
[startup+1160.05 s]
Raw data (loadavg): 1.02 1.01 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 7236 0 0 0 115927 90 0 0 25 0 1 0 641355965 33263616 7211 4294967295 134512640 134714540 3221221776 3221220520 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8121 7211 1111 63 0 8058 0
vsize: 32484
[startup+1170.05 s]
Raw data (loadavg): 1.02 1.01 0.97 2/54 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 7236 0 0 0 116927 90 0 0 25 0 1 0 641355965 33263616 7211 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8121 7211 1111 63 0 8058 0
vsize: 32484
[startup+1174.91 s]
Raw data (loadavg): 1.02 1.01 0.97 1/53 25615
Raw data (stat): 25558 (bsolo_mis) R 25557 7876 7672 0 -1 0 7236 0 0 0 116927 90 0 0 25 0 1 0 641355965 33263616 7211 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8121 7211 1111 63 0 8058 0
vsize: 0

Child status: 0
Real time (s): 1174.91
CPU time (s): 1175.04
CPU user time (s): 1174.12
CPU system time (s): 0.923859
CPU usage (%): 100.011
Max. virtual memory (Kb): 32484
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####