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-fpga14_13_sat_pb.cnf.cr.opb
MD5SUM	6c5be32f385b6b14a9d33e85ff7013ea
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	15
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.099984
Number of variables	273
Total number of constraints	222
Number of constraints which are clauses	195
Number of constraints which are cardinality constraints (but not clauses)	27
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	7
Maximum length of a constraint	14
Trace number 23314

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 09:56:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=309 boxname=wulflinc31 idbench=35 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  6c5be32f385b6b14a9d33e85ff7013ea  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga14_13_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-fpga14_13_sat_pb.cnf.cr.opb
IDLAUNCH: 309
/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:        928100 kB
Buffers:         37844 kB
Cached:          46768 kB
SwapCached:        864 kB
Active:          71744 kB
Inactive:        15196 kB
HighTotal:      131008 kB
HighFree:        83272 kB
LowTotal:       903652 kB
LowFree:        844828 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13940 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 10:15:51 (client local time) WITH STATUS 0 IN 1175.18 SECONDS
stats: 309 7 1175.18 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 273 variables and 222 constraints.
c After prepocess the problem consists of 273 variables and 222 constraints.
c preprocess terminated 0.137 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.07 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.93 0.98 0.99 2/54 22345
Raw data (stat): 22345 (runsolver) R 22344 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 639204837 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.0015 s]
Raw data (loadavg): 0.94 0.98 0.99 2/54 22345
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 2903 0 0 0 984 13 0 0 25 0 1 0 639204837 15466496 2878 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3776 2878 1111 63 0 3713 0
vsize: 15104
[startup+20.002 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 22345
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 4250 0 0 0 1978 18 0 0 25 0 1 0 639204837 21016576 4225 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5131 4225 1111 63 0 5068 0
vsize: 20524
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 22345
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 5213 0 0 0 2974 23 0 0 25 0 1 0 639204837 24948736 5188 4294967295 134512640 134714540 3221221776 3221220408 134552673 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6091 5188 1111 63 0 6028 0
vsize: 24364
[startup+40.0033 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 22345
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 6350 0 0 0 3969 29 0 0 25 0 1 0 639204837 29687808 6325 4294967295 134512640 134714540 3221221776 3221220464 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7248 6325 1111 63 0 7185 0
vsize: 28992
[startup+50.0038 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 22345
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 7714 0 0 0 4964 33 0 0 25 0 1 0 639204837 35225600 7689 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8600 7689 1111 63 0 8537 0
vsize: 34400
[startup+60.0048 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 22345
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 8669 0 0 0 5961 36 0 0 25 0 1 0 639204837 39149568 8644 4294967295 134512640 134714540 3221221776 3221220536 134552633 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9558 8644 1111 63 0 9495 0
vsize: 38232
[startup+70.0059 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 22345
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 9379 0 0 0 6958 40 0 0 25 0 1 0 639204837 42143744 9354 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10289 9354 1111 63 0 10226 0
vsize: 41156
[startup+80.0065 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 22345
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 9908 0 0 0 7957 41 0 0 25 0 1 0 639204837 44326912 9883 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10822 9883 1111 63 0 10759 0
vsize: 43288
[startup+90.0064 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 22345
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 10337 0 0 0 8955 43 0 0 25 0 1 0 639204837 46104576 10311 4294967295 134512640 134714540 3221221776 3221220424 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11256 10311 1111 63 0 11193 0
vsize: 45024
[startup+100.007 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 22345
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 10799 0 0 0 9954 45 0 0 25 0 1 0 639204837 48013312 10773 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11722 10773 1111 63 0 11659 0
vsize: 46888
[startup+110.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22345
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 11337 0 0 0 10951 48 0 0 25 0 1 0 639204837 50393088 11308 4294967295 134512640 134714540 3221221776 3221220516 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12303 11308 1111 63 0 12240 0
vsize: 49212
[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22345
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 11693 0 0 0 11949 50 0 0 25 0 1 0 639204837 51879936 11664 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12666 11664 1111 63 0 12603 0
vsize: 50664
[startup+130.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22345
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 12016 0 0 0 12948 51 0 0 25 0 1 0 639204837 53248000 11986 4294967295 134512640 134714540 3221221776 3221220332 134535962 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13000 11986 1111 63 0 12937 0
vsize: 52000
[startup+140.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22345
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 12605 0 0 0 13946 53 0 0 25 0 1 0 639204837 55607296 12575 4294967295 134512640 134714540 3221221776 3221220544 134592140 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13576 12575 1111 63 0 13513 0
vsize: 54304
[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22345
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 13201 0 0 0 14943 56 0 0 25 0 1 0 639204837 58200064 13169 4294967295 134512640 134714540 3221221776 3221220332 134535626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14209 13169 1111 63 0 14146 0
vsize: 56836
[startup+160.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22345
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 14022 0 0 0 15941 59 0 0 25 0 1 0 639204837 61616128 13990 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15043 13990 1111 63 0 14980 0
vsize: 60172
[startup+170.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22345
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 14980 0 0 0 16937 62 0 0 25 0 1 0 639204837 65536000 14948 4294967295 134512640 134714540 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16000 14948 1111 63 0 15937 0
vsize: 64000
[startup+180.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22345
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 15707 0 0 0 17934 65 0 0 25 0 1 0 639204837 68538368 15675 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16733 15675 1111 63 0 16670 0
vsize: 66932
[startup+190.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22345
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 16417 0 0 0 18931 69 0 0 25 0 1 0 639204837 71376896 16385 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17426 16385 1111 63 0 17363 0
vsize: 69704
[startup+200.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22345
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 17139 0 0 0 19929 72 0 0 25 0 1 0 639204837 74350592 17107 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18152 17107 1111 63 0 18089 0
vsize: 72608
[startup+210.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22345
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 17787 0 0 0 20927 74 0 0 25 0 1 0 639204837 77053952 17755 4294967295 134512640 134714540 3221221776 3221220248 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18812 17755 1111 63 0 18749 0
vsize: 75248
[startup+220.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22345
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 18312 0 0 0 21925 76 0 0 25 0 1 0 639204837 79081472 18280 4294967295 134512640 134714540 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19307 18280 1111 63 0 19244 0
vsize: 77228
[startup+230.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22345
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 18750 0 0 0 22922 79 0 0 25 0 1 0 639204837 81002496 18718 4294967295 134512640 134714540 3221221776 3221220492 134551979 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19776 18718 1111 63 0 19713 0
vsize: 79104
[startup+240.028 s]
Raw data (loadavg): 1.15 1.02 1.00 3/56 22392
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 19144 0 0 0 23921 81 0 0 25 0 1 0 639204837 82624512 19112 4294967295 134512640 134714540 3221221776 3221220504 134535782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20172 19112 1111 63 0 20109 0
vsize: 80688
[startup+250.043 s]
Raw data (loadavg): 1.12 1.02 1.00 2/54 22398
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 19517 0 0 0 24922 82 0 0 25 0 1 0 639204837 84119552 19485 4294967295 134512640 134714540 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20537 19485 1111 63 0 20474 0
vsize: 82148
[startup+260.045 s]
Raw data (loadavg): 1.10 1.01 1.00 2/54 22398
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 19938 0 0 0 25920 84 0 0 25 0 1 0 639204837 85876736 19906 4294967295 134512640 134714540 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20966 19906 1111 63 0 20903 0
vsize: 83864
[startup+270.218 s]
Raw data (loadavg): 1.09 1.01 1.00 2/54 22398
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 20241 0 0 0 26936 86 0 0 25 0 1 0 639204837 87130112 20208 4294967295 134512640 134714540 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21272 20208 1111 63 0 21209 0
vsize: 85088
[startup+280.218 s]
Raw data (loadavg): 1.07 1.01 1.00 2/54 22398
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 20577 0 0 0 27934 88 0 0 25 0 1 0 639204837 88481792 20544 4294967295 134512640 134714540 3221221776 3221220448 134551978 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21602 20544 1111 63 0 21539 0
vsize: 86408
[startup+290.219 s]
Raw data (loadavg): 1.06 1.01 1.00 2/54 22398
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 20939 0 0 0 28933 89 0 0 25 0 1 0 639204837 89993216 20906 4294967295 134512640 134714540 3221221776 3221220404 134536674 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21971 20906 1111 63 0 21908 0
vsize: 87884
[startup+300.219 s]
Raw data (loadavg): 1.05 1.01 1.00 2/54 22398
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 21227 0 0 0 29932 91 0 0 25 0 1 0 639204837 91209728 21194 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22268 21194 1111 63 0 22205 0
vsize: 89072
[startup+310.22 s]
Raw data (loadavg): 1.04 1.01 1.00 2/54 22400
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 21473 0 0 0 30931 92 0 0 25 0 1 0 639204837 92155904 21440 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22499 21440 1111 63 0 22436 0
vsize: 89996
[startup+320.221 s]
Raw data (loadavg): 1.04 1.01 1.00 2/54 22400
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 21769 0 0 0 31930 93 0 0 25 0 1 0 639204837 93372416 21736 4294967295 134512640 134714540 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22796 21736 1111 63 0 22733 0
vsize: 91184
[startup+330.221 s]
Raw data (loadavg): 1.11 1.02 1.01 2/54 22400
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 22167 0 0 0 32928 95 0 0 25 0 1 0 639204837 94994432 22134 4294967295 134512640 134714540 3221221776 3221220252 1077378561 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23192 22134 1111 63 0 23129 0
vsize: 92768
[startup+340.222 s]
Raw data (loadavg): 1.09 1.02 1.00 2/54 22400
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 23391 0 0 0 33924 99 0 0 25 0 1 0 639204837 100016128 23357 4294967295 134512640 134714540 3221221776 3221220352 134549852 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24418 23357 1111 63 0 24355 0
vsize: 97672
[startup+350.222 s]
Raw data (loadavg): 1.08 1.02 1.00 2/54 22400
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 24402 0 0 0 34920 103 0 0 25 0 1 0 639204837 104251392 24367 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25452 24367 1111 63 0 25389 0
vsize: 101808
[startup+360.223 s]
Raw data (loadavg): 1.07 1.02 1.00 2/54 22400
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 25190 0 0 0 35919 105 0 0 25 0 1 0 639204837 107503616 25151 4294967295 134512640 134714540 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26246 25151 1111 63 0 26183 0
vsize: 104984
[startup+370.223 s]
Raw data (loadavg): 1.06 1.02 1.00 2/54 22400
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 25763 0 0 0 36917 107 0 0 25 0 1 0 639204837 109981696 25720 4294967295 134512640 134714540 3221221776 3221220308 1077374082 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26851 25720 1111 63 0 26788 0
vsize: 107404
[startup+380.222 s]
Raw data (loadavg): 1.05 1.02 1.00 2/54 22400
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 26227 0 0 0 37914 110 0 0 25 0 1 0 639204837 111906816 26180 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27321 26180 1111 63 0 27258 0
vsize: 109284
[startup+390.223 s]
Raw data (loadavg): 1.04 1.02 1.00 2/54 22400
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 26575 0 0 0 38913 111 0 0 25 0 1 0 639204837 113487872 26524 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27707 26524 1111 63 0 27644 0
vsize: 110828
[startup+400.224 s]
Raw data (loadavg): 1.03 1.02 1.00 2/54 22400
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 26896 0 0 0 39912 112 0 0 25 0 1 0 639204837 114839552 26845 4294967295 134512640 134714540 3221221776 3221220428 134536848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28037 26845 1111 63 0 27974 0
vsize: 112148
[startup+410.223 s]
Raw data (loadavg): 1.03 1.02 1.00 2/54 22400
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 27659 0 0 0 40910 115 0 0 25 0 1 0 639204837 118009856 27604 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28811 27604 1111 63 0 28748 0
vsize: 115244
[startup+420.223 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 22400
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 28432 0 0 0 41906 118 0 0 25 0 1 0 639204837 121118720 28377 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29570 28377 1111 63 0 29507 0
vsize: 118280
[startup+430.223 s]
Raw data (loadavg): 1.02 1.01 1.00 2/54 22400
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 29089 0 0 0 42904 121 0 0 25 0 1 0 639204837 123826176 29032 4294967295 134512640 134714540 3221221776 3221220352 134549713 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30231 29032 1111 63 0 30168 0
vsize: 120924
[startup+440.224 s]
Raw data (loadavg): 1.02 1.01 1.00 2/54 22400
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 29468 0 0 0 43902 123 0 0 25 0 1 0 639204837 125362176 29410 4294967295 134512640 134714540 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30606 29410 1111 63 0 30543 0
vsize: 122424
[startup+450.224 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 22400
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 30083 0 0 0 44900 125 0 0 25 0 1 0 639204837 127893504 30017 4294967295 134512640 134714540 3221221776 3221220340 134535986 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31224 30017 1111 63 0 31161 0
vsize: 124896
[startup+460.224 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 22400
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 30641 0 0 0 45897 128 0 0 25 0 1 0 639204837 130191360 30575 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31785 30575 1111 63 0 31722 0
vsize: 127140
[startup+470.225 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 22400
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 31092 0 0 0 46897 129 0 0 25 0 1 0 639204837 131948544 31026 4294967295 134512640 134714540 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32214 31026 1111 63 0 32151 0
vsize: 128856
[startup+480.225 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 22400
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 31495 0 0 0 47894 131 0 0 25 0 1 0 639204837 133603328 31428 4294967295 134512640 134714540 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32618 31428 1111 63 0 32555 0
vsize: 130472
[startup+490.225 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 22400
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 31765 0 0 0 48893 132 0 0 25 0 1 0 639204837 134721536 31694 4294967295 134512640 134714540 3221221776 3221220360 134549708 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32891 31694 1111 63 0 32828 0
vsize: 131564
[startup+500.226 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 22400
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 32053 0 0 0 49893 134 0 0 25 0 1 0 639204837 135938048 31981 4294967295 134512640 134714540 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33188 31981 1111 63 0 33125 0
vsize: 132752
[startup+510.226 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 22400
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 32341 0 0 0 50892 135 0 0 25 0 1 0 639204837 137195520 32268 4294967295 134512640 134714540 3221221776 3221220384 134523350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33495 32268 1111 63 0 33432 0
vsize: 133980
[startup+520.226 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 22400
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 32592 0 0 0 51890 136 0 0 25 0 1 0 639204837 138141696 32519 4294967295 134512640 134714540 3221221776 3221220432 134536724 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33726 32519 1111 63 0 33663 0
vsize: 134904
[startup+530.225 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22400
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 32826 0 0 0 52889 137 0 0 25 0 1 0 639204837 139153408 32751 4294967295 134512640 134714540 3221221776 3221220336 134552032 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33973 32751 1111 63 0 33910 0
vsize: 135892
[startup+540.226 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22400
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 33030 0 0 0 53889 138 0 0 25 0 1 0 639204837 140038144 32952 4294967295 134512640 134714540 3221221776 3221220504 134552622 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34189 32952 1111 63 0 34126 0
vsize: 136756
[startup+550.227 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22400
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 33260 0 0 0 54888 139 0 0 25 0 1 0 639204837 140918784 33179 4294967295 134512640 134714540 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34404 33179 1111 63 0 34341 0
vsize: 137616
[startup+560.226 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22400
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 33543 0 0 0 55887 140 0 0 25 0 1 0 639204837 142028800 33458 4294967295 134512640 134714540 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34675 33458 1111 63 0 34612 0
vsize: 138700
[startup+570.227 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22400
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 33850 0 0 0 56885 142 0 0 25 0 1 0 639204837 143310848 33763 4294967295 134512640 134714540 3221221776 3221220332 134535552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34988 33763 1111 63 0 34925 0
vsize: 139952
[startup+580.227 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22400
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 34012 0 0 0 57885 143 0 0 25 0 1 0 639204837 144064512 33925 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35172 33925 1111 63 0 35109 0
vsize: 140688
[startup+590.228 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22400
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 34396 0 0 0 58884 144 0 0 25 0 1 0 639204837 145616896 34306 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35551 34306 1111 63 0 35488 0
vsize: 142204
[startup+600.228 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 34866 0 0 0 59882 146 0 0 25 0 1 0 639204837 147509248 34776 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36013 34776 1111 63 0 35950 0
vsize: 144052
[startup+610.228 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 35195 0 0 0 60882 146 0 0 25 0 1 0 639204837 148860928 35105 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36343 35105 1111 63 0 36280 0
vsize: 145372
[startup+620.229 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 35469 0 0 0 61881 148 0 0 25 0 1 0 639204837 149962752 35377 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36612 35377 1111 63 0 36549 0
vsize: 146448
[startup+630.229 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 35790 0 0 0 62880 149 0 0 25 0 1 0 639204837 151400448 35696 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36963 35696 1111 63 0 36900 0
vsize: 147852
[startup+640.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 36128 0 0 0 63879 150 0 0 25 0 1 0 639204837 152817664 36032 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37309 36032 1111 63 0 37246 0
vsize: 149236
[startup+650.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 36468 0 0 0 64878 151 0 0 25 0 1 0 639204837 154218496 36372 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37651 36372 1111 63 0 37588 0
vsize: 150604
[startup+660.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 36753 0 0 0 65877 152 0 0 25 0 1 0 639204837 155353088 36656 4294967295 134512640 134714540 3221221776 3221220344 134696912 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37928 36656 1111 63 0 37865 0
vsize: 151712
[startup+670.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 37018 0 0 0 66876 153 0 0 25 0 1 0 639204837 156508160 36921 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38210 36921 1111 63 0 38147 0
vsize: 152840
[startup+680.231 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 37305 0 0 0 67874 155 0 0 25 0 1 0 639204837 157761536 37208 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38516 37208 1111 63 0 38453 0
vsize: 154064
[startup+690.231 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 37547 0 0 0 68873 156 0 0 25 0 1 0 639204837 158707712 37450 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38747 37450 1111 63 0 38684 0
vsize: 154988
[startup+700.231 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 37836 0 0 0 69872 158 0 0 25 0 1 0 639204837 159924224 37739 4294967295 134512640 134714540 3221221776 3221220368 134549548 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39044 37739 1111 63 0 38981 0
vsize: 156176
[startup+710.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 38081 0 0 0 70871 159 0 0 25 0 1 0 639204837 160845824 37979 4294967295 134512640 134714540 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39269 37979 1111 63 0 39206 0
vsize: 157076
[startup+720.23 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 38346 0 0 0 71870 160 0 0 25 0 1 0 639204837 161947648 38243 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39538 38243 1111 63 0 39475 0
vsize: 158152
[startup+730.231 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 38610 0 0 0 72869 161 0 0 25 0 1 0 639204837 163057664 38503 4294967295 134512640 134714540 3221221776 3221220232 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39809 38503 1111 63 0 39746 0
vsize: 159236
[startup+740.231 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 38830 0 0 0 73868 162 0 0 25 0 1 0 639204837 164003840 38723 4294967295 134512640 134714540 3221221776 3221220388 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40040 38723 1111 63 0 39977 0
vsize: 160160
[startup+750.231 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 39137 0 0 0 74868 163 0 0 25 0 1 0 639204837 165265408 39028 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40348 39028 1111 63 0 40285 0
vsize: 161392
[startup+760.231 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 39439 0 0 0 75867 164 0 0 25 0 1 0 639204837 166572032 39329 4294967295 134512640 134714540 3221221776 3221220408 134552673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40667 39329 1111 63 0 40604 0
vsize: 162668
[startup+770.232 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 39713 0 0 0 76866 165 0 0 25 0 1 0 639204837 167657472 39603 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40932 39603 1111 63 0 40869 0
vsize: 163728
[startup+780.232 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 39973 0 0 0 77866 165 0 0 25 0 1 0 639204837 168665088 39863 4294967295 134512640 134714540 3221221776 3221220560 134529237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41178 39863 1111 63 0 41115 0
vsize: 164712
[startup+790.232 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 40250 0 0 0 78865 166 0 0 25 0 1 0 639204837 169824256 40138 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41461 40138 1111 63 0 41398 0
vsize: 165844
[startup+800.232 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 40477 0 0 0 79864 167 0 0 25 0 1 0 639204837 170786816 40364 4294967295 134512640 134714540 3221221776 3221220336 134549725 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41696 40364 1111 63 0 41633 0
vsize: 166784
[startup+810.232 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 40672 0 0 0 80863 168 0 0 25 0 1 0 639204837 171659264 40557 4294967295 134512640 134714540 3221221776 3221220332 134535631 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41909 40557 1111 63 0 41846 0
vsize: 167636
[startup+820.233 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 41022 0 0 0 81862 170 0 0 25 0 1 0 639204837 173010944 40907 4294967295 134512640 134714540 3221221776 3221220480 134528653 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42239 40907 1111 63 0 42176 0
vsize: 168956
[startup+830.232 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 41405 0 0 0 82860 172 0 0 25 0 1 0 639204837 174632960 41290 4294967295 134512640 134714540 3221221776 3221220396 134549508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42635 41290 1111 63 0 42572 0
vsize: 170540
[startup+840.234 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 41665 0 0 0 83859 173 0 0 25 0 1 0 639204837 175775744 41546 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42914 41546 1111 63 0 42851 0
vsize: 171656
[startup+850.234 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 42018 0 0 0 84858 174 0 0 25 0 1 0 639204837 177266688 41899 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43278 41899 1111 63 0 43215 0
vsize: 173112
[startup+860.233 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 42324 0 0 0 85856 176 0 0 25 0 1 0 639204837 178483200 42205 4294967295 134512640 134714540 3221221776 3221220268 134552651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43575 42205 1111 63 0 43512 0
vsize: 174300
[startup+870.235 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 42548 0 0 0 86856 177 0 0 25 0 1 0 639204837 179478528 42427 4294967295 134512640 134714540 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43818 42427 1111 63 0 43755 0
vsize: 175272
[startup+880.235 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 42740 0 0 0 87854 179 0 0 25 0 1 0 639204837 180154368 42619 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43983 42619 1111 63 0 43920 0
vsize: 175932
[startup+890.235 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 42917 0 0 0 88853 181 0 0 25 0 1 0 639204837 180899840 42793 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44165 42793 1111 63 0 44102 0
vsize: 176660
[startup+900.235 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 43089 0 0 0 89852 181 0 0 25 0 1 0 639204837 181575680 42965 4294967295 134512640 134714540 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44330 42965 1111 63 0 44267 0
vsize: 177320
[startup+910.235 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 43246 0 0 0 90852 182 0 0 25 0 1 0 639204837 182251520 43122 4294967295 134512640 134714540 3221221776 3221220264 134697469 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44495 43122 1111 63 0 44432 0
vsize: 177980
[startup+920.236 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 43419 0 0 0 91851 183 0 0 25 0 1 0 639204837 182792192 43295 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44627 43295 1111 63 0 44564 0
vsize: 178508
[startup+930.236 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 43595 0 0 0 92851 183 0 0 25 0 1 0 639204837 183623680 43471 4294967295 134512640 134714540 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44830 43471 1111 63 0 44767 0
vsize: 179320
[startup+940.237 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 43808 0 0 0 93850 184 0 0 25 0 1 0 639204837 184434688 43684 4294967295 134512640 134714540 3221221776 3221220560 134529393 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45028 43684 1111 63 0 44965 0
vsize: 180112
[startup+950.237 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 44020 0 0 0 94849 185 0 0 25 0 1 0 639204837 185245696 43896 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45226 43896 1111 63 0 45163 0
vsize: 180904
[startup+960.237 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 44239 0 0 0 95848 186 0 0 25 0 1 0 639204837 186105856 44111 4294967295 134512640 134714540 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45436 44111 1111 63 0 45373 0
vsize: 181744
[startup+970.238 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 44403 0 0 0 96848 186 0 0 25 0 1 0 639204837 186834944 44275 4294967295 134512640 134714540 3221221776 3221220432 134536624 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45614 44275 1111 63 0 45551 0
vsize: 182456
[startup+980.238 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 44534 0 0 0 97848 187 0 0 25 0 1 0 639204837 187432960 44406 4294967295 134512640 134714540 3221221776 3221220300 134535483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45760 44406 1111 63 0 45697 0
vsize: 183040
[startup+990.238 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 44689 0 0 0 98847 188 0 0 25 0 1 0 639204837 187973632 44561 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45892 44561 1111 63 0 45829 0
vsize: 183568
[startup+1000.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 44987 0 0 0 99847 189 0 0 25 0 1 0 639204837 189390848 44859 4294967295 134512640 134714540 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46238 44859 1111 63 0 46175 0
vsize: 184952
[startup+1010.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 45288 0 0 0 100846 190 0 0 25 0 1 0 639204837 190607360 45159 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46535 45159 1111 63 0 46472 0
vsize: 186140
[startup+1020.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 45520 0 0 0 101845 191 0 0 25 0 1 0 639204837 191553536 45391 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46766 45391 1111 63 0 46703 0
vsize: 187064
[startup+1030.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 45728 0 0 0 102844 192 0 0 25 0 1 0 639204837 192630784 45595 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47029 45595 1111 63 0 46966 0
vsize: 188116
[startup+1040.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 45979 0 0 0 103843 193 0 0 25 0 1 0 639204837 193912832 45845 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47342 45845 1111 63 0 47279 0
vsize: 189368
[startup+1050.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 46238 0 0 0 104842 194 0 0 25 0 1 0 639204837 194859008 46102 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47573 46102 1111 63 0 47510 0
vsize: 190292
[startup+1060.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 46430 0 0 0 105842 195 0 0 25 0 1 0 639204837 195670016 46294 4294967295 134512640 134714540 3221221776 3221220348 134535988 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47771 46294 1111 63 0 47708 0
vsize: 191084
[startup+1070.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 46685 0 0 0 106841 196 0 0 25 0 1 0 639204837 196816896 46547 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48051 46547 1111 63 0 47988 0
vsize: 192204
[startup+1080.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 46877 0 0 0 107840 197 0 0 25 0 1 0 639204837 197828608 46738 4294967295 134512640 134714540 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48298 46738 1111 63 0 48235 0
vsize: 193192
[startup+1090.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 47003 0 0 0 108839 197 0 0 25 0 1 0 639204837 198234112 46864 4294967295 134512640 134714540 3221221776 3221220460 134523848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48397 46864 1111 63 0 48334 0
vsize: 193588
[startup+1100.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 47165 0 0 0 109839 198 0 0 25 0 1 0 639204837 199155712 47018 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48622 47018 1111 63 0 48559 0
vsize: 194488
[startup+1110.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 47393 0 0 0 110838 199 0 0 25 0 1 0 639204837 200433664 47234 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48934 47234 1111 63 0 48871 0
vsize: 195736
[startup+1120.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 47556 0 0 0 111838 199 0 0 25 0 1 0 639204837 201175040 47396 4294967295 134512640 134714540 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49115 47396 1111 63 0 49052 0
vsize: 196460
[startup+1130.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 47778 0 0 0 112837 200 0 0 25 0 1 0 639204837 202186752 47614 4294967295 134512640 134714540 3221221776 3221220560 134529341 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49362 47614 1111 63 0 49299 0
vsize: 197448
[startup+1140.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 47922 0 0 0 113837 201 0 0 25 0 1 0 639204837 202731520 47758 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49495 47758 1111 63 0 49432 0
vsize: 197980
[startup+1150.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 48039 0 0 0 114836 202 0 0 25 0 1 0 639204837 203137024 47875 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49594 47875 1111 63 0 49531 0
vsize: 198376
[startup+1160.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 48157 0 0 0 115836 202 0 0 25 0 1 0 639204837 203612160 47991 4294967295 134512640 134714540 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49710 47991 1111 63 0 49647 0
vsize: 198840
[startup+1170.24 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 48279 0 0 0 116836 203 0 0 25 0 1 0 639204837 204152832 48113 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49842 48113 1111 63 0 49779 0
vsize: 199368
[startup+1175.04 s]
Raw data (loadavg): 1.00 1.00 1.00 1/53 22402
Raw data (stat): 22345 (bsolo_mis) R 22344 7876 7672 0 -1 0 48279 0 0 0 116836 203 0 0 25 0 1 0 639204837 204152832 48113 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49842 48113 1111 63 0 49779 0
vsize: 0

Child status: 0
Real time (s): 1175.04
CPU time (s): 1175.18
CPU user time (s): 1173.06
CPU system time (s): 2.12168
CPU usage (%): 100.013
Max. virtual memory (Kb): 199368
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####