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-fpga11_11_sat_pb.cnf.cr.opb
MD5SUM	c8e6fe6db41022cd334d76fea54bd93c
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	12
Number of bits of the biggest sum of numbers	4
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.047992
Number of variables	182
Total number of constraints	154
Number of constraints which are clauses	132
Number of constraints which are cardinality constraints (but not clauses)	22
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	5
Maximum length of a constraint	11
Trace number 23269

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 00:59:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=228 boxname=wulflinc31 idbench=26 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  c8e6fe6db41022cd334d76fea54bd93c  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga11_11_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-fpga11_11_sat_pb.cnf.cr.opb
IDLAUNCH: 228
/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:        929204 kB
Buffers:         37168 kB
Cached:          46356 kB
SwapCached:        864 kB
Active:          71444 kB
Inactive:        14408 kB
HighTotal:      131008 kB
HighFree:        83720 kB
LowTotal:       903652 kB
LowFree:        845484 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13900 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 01:18:55 (client local time) WITH STATUS 0 IN 1175.12 SECONDS
stats: 228 7 1175.12 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 182 variables and 154 constraints.
c After prepocess the problem consists of 182 variables and 154 constraints.
c preprocess terminated 0.077 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.02 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.95 0.90 2/54 17530
Raw data (stat): 17530 (runsolver) R 17529 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 635982853 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0003 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 17530
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 2692 0 0 0 986 9 0 0 25 0 1 0 635982853 14655488 2667 4294967295 134512640 134714540 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3578 2667 1111 63 0 3515 0
vsize: 14312
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 17530
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 3829 0 0 0 1981 14 0 0 25 0 1 0 635982853 19251200 3804 4294967295 134512640 134714540 3221221776 3221220344 1077377239 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4700 3804 1111 63 0 4637 0
vsize: 18800
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 17530
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 4874 0 0 0 2976 19 0 0 25 0 1 0 635982853 23584768 4849 4294967295 134512640 134714540 3221221776 3221220332 134535891 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5758 4849 1111 63 0 5695 0
vsize: 23032
[startup+40.0021 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 17530
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 5516 0 0 0 3973 23 0 0 25 0 1 0 635982853 26300416 5491 4294967295 134512640 134714540 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6421 5491 1111 63 0 6358 0
vsize: 25684
[startup+50.0033 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 17583
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 6232 0 0 0 4967 27 0 0 25 0 1 0 635982853 29147136 6207 4294967295 134512640 134714540 3221221776 3221219928 134613965 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7116 6207 1111 63 0 7053 0
vsize: 28464
[startup+60.003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 17583
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 6877 0 0 0 5964 30 0 0 25 0 1 0 635982853 31883264 6851 4294967295 134512640 134714540 3221221776 3221220432 134543712 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7784 6851 1111 63 0 7721 0
vsize: 31136
[startup+70.0041 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 17583
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 7396 0 0 0 6961 33 0 0 25 0 1 0 635982853 33910784 7370 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8279 7370 1111 63 0 8216 0
vsize: 33116
[startup+80.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 17583
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 8225 0 0 0 7959 36 0 0 25 0 1 0 635982853 37425152 8198 4294967295 134512640 134714540 3221221776 3221220560 134529174 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9137 8198 1111 63 0 9074 0
vsize: 36548
[startup+90.0049 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 17583
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 8782 0 0 0 8956 39 0 0 25 0 1 0 635982853 39735296 8755 4294967295 134512640 134714540 3221221776 3221220508 134552631 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9701 8755 1111 63 0 9638 0
vsize: 38804
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 17583
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 9369 0 0 0 9953 42 0 0 25 0 1 0 635982853 42070016 9338 4294967295 134512640 134714540 3221221776 3221220560 134528801 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10271 9338 1111 63 0 10208 0
vsize: 41084
[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 17583
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 10165 0 0 0 10950 45 0 0 25 0 1 0 635982853 45449216 10134 4294967295 134512640 134714540 3221221776 3221220560 134529237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11096 10134 1111 63 0 11033 0
vsize: 44384
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17583
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 11039 0 0 0 11947 48 0 0 25 0 1 0 635982853 48975872 11008 4294967295 134512640 134714540 3221221776 3221220504 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11957 11008 1111 63 0 11894 0
vsize: 47828
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17585
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 12071 0 0 0 12943 53 0 0 25 0 1 0 635982853 53313536 12040 4294967295 134512640 134714540 3221221776 3221220404 1077374152 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13016 12040 1111 63 0 12953 0
vsize: 52064
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17585
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 13020 0 0 0 13938 57 0 0 25 0 1 0 635982853 57233408 12987 4294967295 134512640 134714540 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13973 12987 1111 63 0 13910 0
vsize: 55892
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17585
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 13595 0 0 0 14936 60 0 0 25 0 1 0 635982853 59535360 13562 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14535 13562 1111 63 0 14472 0
vsize: 58140
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17585
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 14249 0 0 0 15933 63 0 0 25 0 1 0 635982853 62238720 14214 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15195 14215 1111 63 0 15132 0
vsize: 60780
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17585
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 15051 0 0 0 16930 66 0 0 25 0 1 0 635982853 65482752 15016 4294967295 134512640 134714540 3221221776 3221220536 134552642 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15987 15016 1111 63 0 15924 0
vsize: 63948
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17585
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 15849 0 0 0 17927 69 0 0 25 0 1 0 635982853 68796416 15810 4294967295 134512640 134714540 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16796 15810 1111 63 0 16733 0
vsize: 67184
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17585
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 16383 0 0 0 18925 72 0 0 25 0 1 0 635982853 70959104 16344 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17324 16344 1111 63 0 17261 0
vsize: 69296
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17585
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 16818 0 0 0 19923 74 0 0 25 0 1 0 635982853 72740864 16779 4294967295 134512640 134714540 3221221776 3221220452 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17759 16779 1111 63 0 17696 0
vsize: 71036
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17585
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 17522 0 0 0 20920 77 0 0 25 0 1 0 635982853 75751424 17481 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18494 17481 1111 63 0 18431 0
vsize: 73976
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17585
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 18342 0 0 0 21916 82 0 0 25 0 1 0 635982853 79065088 18297 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19303 18297 1111 63 0 19240 0
vsize: 77212
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17585
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 18822 0 0 0 22914 84 0 0 25 0 1 0 635982853 81092608 18777 4294967295 134512640 134714540 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19798 18777 1111 63 0 19735 0
vsize: 79192
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17585
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 19373 0 0 0 23912 86 0 0 25 0 1 0 635982853 83271680 19327 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20330 19327 1111 63 0 20267 0
vsize: 81320
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17585
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 19937 0 0 0 24909 89 0 0 25 0 1 0 635982853 85569536 19891 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20891 19891 1111 63 0 20828 0
vsize: 83564
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17585
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 20507 0 0 0 25908 91 0 0 25 0 1 0 635982853 88035328 20455 4294967295 134512640 134714540 3221221776 3221220412 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21493 20455 1111 63 0 21430 0
vsize: 85972
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17585
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 20963 0 0 0 26906 93 0 0 25 0 1 0 635982853 89931776 20910 4294967295 134512640 134714540 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21956 20910 1111 63 0 21893 0
vsize: 87824
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17585
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 21465 0 0 0 27904 95 0 0 25 0 1 0 635982853 92127232 21410 4294967295 134512640 134714540 3221221776 3221220396 134549859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22492 21410 1111 63 0 22429 0
vsize: 89968
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17585
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 21855 0 0 0 28902 97 0 0 25 0 1 0 635982853 93646848 21800 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22863 21800 1111 63 0 22800 0
vsize: 91452
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17585
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 22235 0 0 0 29901 98 0 0 25 0 1 0 635982853 95318016 22179 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23271 22179 1111 63 0 23208 0
vsize: 93084
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17585
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 22579 0 0 0 30899 100 0 0 25 0 1 0 635982853 96702464 22523 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23609 22523 1111 63 0 23546 0
vsize: 94436
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17585
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 22938 0 0 0 31897 102 0 0 25 0 1 0 635982853 98258944 22881 4294967295 134512640 134714540 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23989 22881 1111 63 0 23926 0
vsize: 95956
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17585
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 23359 0 0 0 32896 104 0 0 25 0 1 0 635982853 100126720 23289 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24445 23289 1111 63 0 24382 0
vsize: 97780
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17585
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 23688 0 0 0 33894 106 0 0 25 0 1 0 635982853 101478400 23618 4294967295 134512640 134714540 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24775 23618 1111 63 0 24712 0
vsize: 99100
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17585
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 24039 0 0 0 34892 108 0 0 25 0 1 0 635982853 102830080 23969 4294967295 134512640 134714540 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25105 23969 1111 63 0 25042 0
vsize: 100420
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17585
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 24346 0 0 0 35890 110 0 0 25 0 1 0 635982853 104046592 24276 4294967295 134512640 134714540 3221221776 3221220332 134535984 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25402 24276 1111 63 0 25339 0
vsize: 101608
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17585
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 24533 0 0 0 36889 111 0 0 25 0 1 0 635982853 104861696 24463 4294967295 134512640 134714540 3221221776 3221220560 134529259 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25601 24463 1111 63 0 25538 0
vsize: 102404
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17585
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 24939 0 0 0 37888 113 0 0 25 0 1 0 635982853 106483712 24867 4294967295 134512640 134714540 3221221776 3221220528 134588020 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25997 24867 1111 63 0 25934 0
vsize: 103988
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17585
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 25245 0 0 0 38886 114 0 0 25 0 1 0 635982853 107835392 25173 4294967295 134512640 134714540 3221221776 3221220380 134536763 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26327 25173 1111 63 0 26264 0
vsize: 105308
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17585
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 25442 0 0 0 39885 116 0 0 25 0 1 0 635982853 108527616 25370 4294967295 134512640 134714540 3221221776 3221220428 134536773 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26496 25370 1111 63 0 26433 0
vsize: 105984
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17585
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 25749 0 0 0 40883 117 0 0 25 0 1 0 635982853 109899776 25677 4294967295 134512640 134714540 3221221776 3221220400 134696302 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26831 25677 1111 63 0 26768 0
vsize: 107324
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 26032 0 0 0 41883 118 0 0 25 0 1 0 635982853 110981120 25960 4294967295 134512640 134714540 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27095 25960 1111 63 0 27032 0
vsize: 108380
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 26300 0 0 0 42882 120 0 0 25 0 1 0 635982853 112074752 26228 4294967295 134512640 134714540 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27362 26228 1111 63 0 27299 0
vsize: 109448
[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 26625 0 0 0 43880 121 0 0 25 0 1 0 635982853 113459200 26551 4294967295 134512640 134714540 3221221776 3221220360 134549705 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27700 26551 1111 63 0 27637 0
vsize: 110800
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 26924 0 0 0 44879 122 0 0 25 0 1 0 635982853 114675712 26849 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27997 26849 1111 63 0 27934 0
vsize: 111988
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 27285 0 0 0 45879 123 0 0 25 0 1 0 635982853 116252672 27207 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28382 27207 1111 63 0 28319 0
vsize: 113528
[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 27542 0 0 0 46877 125 0 0 25 0 1 0 635982853 117342208 27464 4294967295 134512640 134714540 3221221776 3221220504 134535782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28648 27464 1111 63 0 28585 0
vsize: 114592
[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 27839 0 0 0 47877 126 0 0 25 0 1 0 635982853 118599680 27756 4294967295 134512640 134714540 3221221776 3221220460 134552651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28955 27756 1111 63 0 28892 0
vsize: 115820
[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 28136 0 0 0 48875 127 0 0 25 0 1 0 635982853 119816192 28053 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29252 28053 1111 63 0 29189 0
vsize: 117008
[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 28478 0 0 0 49874 129 0 0 25 0 1 0 635982853 121167872 28395 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29582 28395 1111 63 0 29519 0
vsize: 118328
[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 28830 0 0 0 50873 130 0 0 25 0 1 0 635982853 122544128 28747 4294967295 134512640 134714540 3221221776 3221220500 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29918 28747 1111 63 0 29855 0
vsize: 119672
[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 29115 0 0 0 51871 132 0 0 25 0 1 0 635982853 123760640 29032 4294967295 134512640 134714540 3221221776 3221220352 134549802 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30215 29032 1111 63 0 30152 0
vsize: 120860
[startup+530.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 29335 0 0 0 52870 133 0 0 25 0 1 0 635982853 124588032 29251 4294967295 134512640 134714540 3221221776 3221220496 134523874 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30417 29251 1111 63 0 30354 0
vsize: 121668
[startup+540.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 29638 0 0 0 53869 134 0 0 25 0 1 0 635982853 126083072 29543 4294967295 134512640 134714540 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30782 29543 1111 63 0 30719 0
vsize: 123128
[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 30287 0 0 0 54867 137 0 0 25 0 1 0 635982853 128671744 30190 4294967295 134512640 134714540 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31414 30190 1111 63 0 31351 0
vsize: 125656
[startup+560.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 30812 0 0 0 55864 140 0 0 25 0 1 0 635982853 130834432 30715 4294967295 134512640 134714540 3221221776 3221220368 134549660 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31942 30715 1111 63 0 31879 0
vsize: 127768
[startup+570.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 31193 0 0 0 56863 141 0 0 25 0 1 0 635982853 132460544 31096 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32339 31096 1111 63 0 32276 0
vsize: 129356
[startup+580.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 31702 0 0 0 57860 144 0 0 25 0 1 0 635982853 134488064 31605 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32834 31605 1111 63 0 32771 0
vsize: 131336
[startup+590.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 32143 0 0 0 58859 145 0 0 25 0 1 0 635982853 136462336 32044 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33316 32044 1111 63 0 33253 0
vsize: 133264
[startup+600.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 32577 0 0 0 59857 148 0 0 25 0 1 0 635982853 138244096 32477 4294967295 134512640 134714540 3221221776 3221220360 134549705 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33751 32477 1111 63 0 33688 0
vsize: 135004
[startup+610.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 33047 0 0 0 60855 150 0 0 25 0 1 0 635982853 140136448 32947 4294967295 134512640 134714540 3221221776 3221220500 134613700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34213 32947 1111 63 0 34150 0
vsize: 136852
[startup+620.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 33432 0 0 0 61853 152 0 0 25 0 1 0 635982853 141623296 33332 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34576 33332 1111 63 0 34513 0
vsize: 138304
[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 33643 0 0 0 62853 152 0 0 25 0 1 0 635982853 142569472 33543 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34807 33543 1111 63 0 34744 0
vsize: 139228
[startup+640.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 34025 0 0 0 63851 154 0 0 25 0 1 0 635982853 144056320 33925 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35170 33925 1111 63 0 35107 0
vsize: 140680
[startup+650.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 34356 0 0 0 64850 156 0 0 25 0 1 0 635982853 145408000 34256 4294967295 134512640 134714540 3221221776 3221220272 134535460 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35500 34256 1111 63 0 35437 0
vsize: 142000
[startup+660.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 34736 0 0 0 65848 157 0 0 25 0 1 0 635982853 147030016 34636 4294967295 134512640 134714540 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35896 34636 1111 63 0 35833 0
vsize: 143584
[startup+670.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 34984 0 0 0 66848 158 0 0 25 0 1 0 635982853 147992576 34883 4294967295 134512640 134714540 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36131 34883 1111 63 0 36068 0
vsize: 144524
[startup+680.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 35277 0 0 0 67847 159 0 0 25 0 1 0 635982853 149209088 35176 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36428 35176 1111 63 0 36365 0
vsize: 145712
[startup+690.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 35605 0 0 0 68846 160 0 0 25 0 1 0 635982853 150560768 35504 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36758 35504 1111 63 0 36695 0
vsize: 147032
[startup+700.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 35944 0 0 0 69845 162 0 0 25 0 1 0 635982853 151920640 35843 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37090 35843 1111 63 0 37027 0
vsize: 148360
[startup+710.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 36350 0 0 0 70843 163 0 0 25 0 1 0 635982853 153677824 36249 4294967295 134512640 134714540 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37519 36249 1111 63 0 37456 0
vsize: 150076
[startup+720.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 36648 0 0 0 71842 165 0 0 25 0 1 0 635982853 154894336 36547 4294967295 134512640 134714540 3221221776 3221220368 134549600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37816 36547 1111 63 0 37753 0
vsize: 151264
[startup+730.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 36951 0 0 0 72841 166 0 0 25 0 1 0 635982853 156184576 36850 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38131 36850 1111 63 0 38068 0
vsize: 152524
[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 37270 0 0 0 73840 167 0 0 25 0 1 0 635982853 157401088 37169 4294967295 134512640 134714540 3221221776 3221220092 134613966 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38428 37169 1111 63 0 38365 0
vsize: 153712
[startup+750.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 37517 0 0 0 74839 169 0 0 25 0 1 0 635982853 158535680 37416 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38705 37416 1111 63 0 38642 0
vsize: 154820
[startup+760.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 37719 0 0 0 75838 170 0 0 25 0 1 0 635982853 159375360 37614 4294967295 134512640 134714540 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38910 37614 1111 63 0 38847 0
vsize: 155640
[startup+770.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 37947 0 0 0 76837 171 0 0 25 0 1 0 635982853 160186368 37842 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39108 37842 1111 63 0 39045 0
vsize: 156432
[startup+780.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 38204 0 0 0 77836 172 0 0 25 0 1 0 635982853 161267712 38099 4294967295 134512640 134714540 3221221776 3221220536 134592433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39372 38099 1111 63 0 39309 0
vsize: 157488
[startup+790.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 38582 0 0 0 78834 175 0 0 25 0 1 0 635982853 162754560 38477 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39735 38477 1111 63 0 39672 0
vsize: 158940
[startup+800.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 38947 0 0 0 79832 176 0 0 25 0 1 0 635982853 164241408 38842 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40098 38842 1111 63 0 40035 0
vsize: 160392
[startup+810.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 39354 0 0 0 80831 178 0 0 25 0 1 0 635982853 166010880 39249 4294967295 134512640 134714540 3221221776 3221220340 134535986 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40530 39249 1111 63 0 40467 0
vsize: 162120
[startup+820.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 39745 0 0 0 81829 179 0 0 25 0 1 0 635982853 167530496 39639 4294967295 134512640 134714540 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40901 39639 1111 63 0 40838 0
vsize: 163604
[startup+830.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 40023 0 0 0 82828 181 0 0 25 0 1 0 635982853 168747008 39917 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41198 39917 1111 63 0 41135 0
vsize: 164792
[startup+840.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 40338 0 0 0 83827 183 0 0 25 0 1 0 635982853 170110976 40230 4294967295 134512640 134714540 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41531 40230 1111 63 0 41468 0
vsize: 166124
[startup+850.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 40613 0 0 0 84826 183 0 0 25 0 1 0 635982853 171192320 40504 4294967295 134512640 134714540 3221221776 3221220464 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41795 40504 1111 63 0 41732 0
vsize: 167180
[startup+860.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 40985 0 0 0 85825 185 0 0 25 0 1 0 635982853 172679168 40876 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42158 40876 1111 63 0 42095 0
vsize: 168632
[startup+870.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 41304 0 0 0 86824 186 0 0 25 0 1 0 635982853 174030848 41194 4294967295 134512640 134714540 3221221776 3221220512 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42488 41194 1111 63 0 42425 0
vsize: 169952
[startup+880.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 41458 0 0 0 87823 187 0 0 25 0 1 0 635982853 174735360 41346 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42660 41346 1111 63 0 42597 0
vsize: 170640
[startup+890.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 41595 0 0 0 88823 188 0 0 25 0 1 0 635982853 175276032 41483 4294967295 134512640 134714540 3221221776 3221220428 134536839 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42792 41483 1111 63 0 42729 0
vsize: 171168
[startup+900.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 41716 0 0 0 89822 189 0 0 25 0 1 0 635982853 175681536 41604 4294967295 134512640 134714540 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42891 41604 1111 63 0 42828 0
vsize: 171564
[startup+910.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 41960 0 0 0 90821 190 0 0 25 0 1 0 635982853 176762880 41848 4294967295 134512640 134714540 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43155 41848 1111 63 0 43092 0
vsize: 172620
[startup+920.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 42128 0 0 0 91820 191 0 0 25 0 1 0 635982853 177438720 42016 4294967295 134512640 134714540 3221221776 3221220540 134552548 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43320 42016 1111 63 0 43257 0
vsize: 173280
[startup+930.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 42292 0 0 0 92820 191 0 0 25 0 1 0 635982853 178114560 42180 4294967295 134512640 134714540 3221221776 3221220536 134552642 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43485 42180 1111 63 0 43422 0
vsize: 173940
[startup+940.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 42450 0 0 0 93820 191 0 0 25 0 1 0 635982853 178790400 42338 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43650 42338 1111 63 0 43587 0
vsize: 174600
[startup+950.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 42590 0 0 0 94820 192 0 0 25 0 1 0 635982853 179331072 42478 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43782 42478 1111 63 0 43719 0
vsize: 175128
[startup+960.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 42717 0 0 0 95819 192 0 0 25 0 1 0 635982853 179871744 42605 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43914 42605 1111 63 0 43851 0
vsize: 175656
[startup+970.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 42844 0 0 0 96819 193 0 0 25 0 1 0 635982853 180277248 42732 4294967295 134512640 134714540 3221221776 3221220560 134529410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44013 42732 1111 63 0 43950 0
vsize: 176052
[startup+980.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 43003 0 0 0 97819 194 0 0 25 0 1 0 635982853 180953088 42891 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44178 42891 1111 63 0 44115 0
vsize: 176712
[startup+990.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 43151 0 0 0 98818 194 0 0 25 0 1 0 635982853 181628928 43039 4294967295 134512640 134714540 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44343 43039 1111 63 0 44280 0
vsize: 177372
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 43286 0 0 0 99818 194 0 0 25 0 1 0 635982853 182169600 43174 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44475 43174 1111 63 0 44412 0
vsize: 177900
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 43418 0 0 0 100818 195 0 0 25 0 1 0 635982853 182714368 43306 4294967295 134512640 134714540 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44608 43306 1111 63 0 44545 0
vsize: 178432
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 43532 0 0 0 101818 195 0 0 25 0 1 0 635982853 183119872 43420 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44707 43420 1111 63 0 44644 0
vsize: 178828
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 43634 0 0 0 102817 196 0 0 25 0 1 0 635982853 183525376 43522 4294967295 134512640 134714540 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44806 43522 1111 63 0 44743 0
vsize: 179224
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 43766 0 0 0 103817 196 0 0 25 0 1 0 635982853 184066048 43654 4294967295 134512640 134714540 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44938 43654 1111 63 0 44875 0
vsize: 179752
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 43876 0 0 0 104816 197 0 0 25 0 1 0 635982853 184471552 43764 4294967295 134512640 134714540 3221221776 3221220560 134529237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45037 43764 1111 63 0 44974 0
vsize: 180148
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 43985 0 0 0 105816 198 0 0 25 0 1 0 635982853 185012224 43873 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45169 43873 1111 63 0 45106 0
vsize: 180676
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 44146 0 0 0 106815 199 0 0 25 0 1 0 635982853 185688064 44034 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45334 44034 1111 63 0 45271 0
vsize: 181336
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 44295 0 0 0 107815 199 0 0 25 0 1 0 635982853 186228736 44183 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45466 44183 1111 63 0 45403 0
vsize: 181864
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 44420 0 0 0 108815 199 0 0 25 0 1 0 635982853 186769408 44308 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45598 44308 1111 63 0 45535 0
vsize: 182392
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 44572 0 0 0 109815 200 0 0 25 0 1 0 635982853 187310080 44460 4294967295 134512640 134714540 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45730 44460 1111 63 0 45667 0
vsize: 182920
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 44699 0 0 0 110815 200 0 0 25 0 1 0 635982853 188051456 44584 4294967295 134512640 134714540 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45911 44584 1111 63 0 45848 0
vsize: 183644
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 44827 0 0 0 111814 201 0 0 25 0 1 0 635982853 188592128 44712 4294967295 134512640 134714540 3221221776 3221220560 134529234 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46043 44712 1111 63 0 45980 0
vsize: 184172
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 45031 0 0 0 112814 202 0 0 25 0 1 0 635982853 189403136 44916 4294967295 134512640 134714540 3221221776 3221220500 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46241 44916 1111 63 0 46178 0
vsize: 184964
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 45250 0 0 0 113813 202 0 0 25 0 1 0 635982853 190214144 45135 4294967295 134512640 134714540 3221221776 3221220512 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46439 45135 1111 63 0 46376 0
vsize: 185756
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 45410 0 0 0 114813 203 0 0 25 0 1 0 635982853 190889984 45295 4294967295 134512640 134714540 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46604 45295 1111 63 0 46541 0
vsize: 186416
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 45625 0 0 0 115812 204 0 0 25 0 1 0 635982853 191836160 45510 4294967295 134512640 134714540 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46835 45510 1111 63 0 46772 0
vsize: 187340
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 45826 0 0 0 116812 205 0 0 25 0 1 0 635982853 192647168 45711 4294967295 134512640 134714540 3221221776 3221220340 134535986 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47033 45711 1111 63 0 46970 0
vsize: 188132
[startup+1175.01 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 17587
Raw data (stat): 17530 (bsolo_mis) R 17529 7876 7672 0 -1 0 45826 0 0 0 116812 205 0 0 25 0 1 0 635982853 192647168 45711 4294967295 134512640 134714540 3221221776 3221220340 134535986 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47033 45711 1111 63 0 46970 0
vsize: 0

Child status: 0
Real time (s): 1175.01
CPU time (s): 1175.12
CPU user time (s): 1172.98
CPU system time (s): 2.14067
CPU usage (%): 100.01
Max. virtual memory (Kb): 188132
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####