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-fpga13_12_sat_pb.cnf.cr.opb
MD5SUM	b895465c3a135658947941250991e4de
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	14
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.100984
Number of variables	234
Total number of constraints	193
Number of constraints which are clauses	168
Number of constraints which are cardinality constraints (but not clauses)	25
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	6
Maximum length of a constraint	13
Trace number 23299

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 06:57:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=282 boxname=wulflinc31 idbench=32 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  b895465c3a135658947941250991e4de  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga13_12_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-fpga13_12_sat_pb.cnf.cr.opb
IDLAUNCH: 282
/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:        928492 kB
Buffers:         37608 kB
Cached:          46528 kB
SwapCached:        864 kB
Active:          71576 kB
Inactive:        14976 kB
HighTotal:      131008 kB
HighFree:        83440 kB
LowTotal:       903652 kB
LowFree:        845052 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13948 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 07:16:52 (client local time) WITH STATUS 0 IN 1175.18 SECONDS
stats: 282 7 1175.18 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 234 variables and 193 constraints.
c After prepocess the problem consists of 234 variables and 193 constraints.
c preprocess terminated 0.109 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.05 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.96 0.95 1/54 20740
Raw data (stat): 20740 (runsolver) R 20739 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 638130845 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 0 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0002 s]
Raw data (loadavg): 0.93 0.96 0.95 2/54 20740
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 3316 0 0 0 982 15 0 0 25 0 1 0 638130845 17223680 3291 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4205 3291 1111 63 0 4142 0
vsize: 16820
[startup+20.0002 s]
Raw data (loadavg): 0.94 0.96 0.95 2/54 20740
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 4902 0 0 0 1976 21 0 0 25 0 1 0 638130845 23724032 4877 4294967295 134512640 134714540 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5792 4877 1111 63 0 5729 0
vsize: 23168
[startup+30.0011 s]
Raw data (loadavg): 0.95 0.96 0.95 2/54 20740
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 5964 0 0 0 2972 25 0 0 25 0 1 0 638130845 28065792 5939 4294967295 134512640 134714540 3221221776 3221220560 134529237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6852 5939 1111 63 0 6789 0
vsize: 27408
[startup+40.0011 s]
Raw data (loadavg): 0.96 0.96 0.95 2/54 20740
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 7177 0 0 0 3967 30 0 0 25 0 1 0 638130845 33087488 7152 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8078 7152 1111 63 0 8015 0
vsize: 32312
[startup+50.0009 s]
Raw data (loadavg): 0.96 0.97 0.95 2/54 20740
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 8138 0 0 0 4963 34 0 0 25 0 1 0 638130845 37040128 8112 4294967295 134512640 134714540 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9043 8112 1111 63 0 8980 0
vsize: 36172
[startup+60.0009 s]
Raw data (loadavg): 0.97 0.97 0.95 2/54 20740
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 9221 0 0 0 5958 39 0 0 25 0 1 0 638130845 41545728 9194 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10143 9194 1111 63 0 10080 0
vsize: 40572
[startup+70.0008 s]
Raw data (loadavg): 0.97 0.97 0.95 2/54 20740
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 10223 0 0 0 6954 44 0 0 25 0 1 0 638130845 45785088 10194 4294967295 134512640 134714540 3221221776 3221220496 134535760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11178 10194 1111 63 0 11115 0
vsize: 44712
[startup+80.0018 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 20740
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 11083 0 0 0 7951 47 0 0 25 0 1 0 638130845 49201152 11052 4294967295 134512640 134714540 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12012 11052 1111 63 0 11949 0
vsize: 48048
[startup+90.0017 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 20740
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 11906 0 0 0 8948 50 0 0 25 0 1 0 638130845 52588544 11875 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12839 11875 1111 63 0 12776 0
vsize: 51356
[startup+100.002 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 20740
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 12707 0 0 0 9943 56 0 0 25 0 1 0 638130845 55853056 12676 4294967295 134512640 134714540 3221221776 3221220512 134535750 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13636 12676 1111 63 0 13573 0
vsize: 54544
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 20740
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 13385 0 0 0 10940 58 0 0 25 0 1 0 638130845 58703872 13354 4294967295 134512640 134714540 3221221776 3221220364 134535649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14332 13354 1111 63 0 14269 0
vsize: 57328
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 20740
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 13937 0 0 0 11938 60 0 0 25 0 1 0 638130845 61018112 13904 4294967295 134512640 134714540 3221221776 3221220416 134542365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14897 13904 1111 63 0 14834 0
vsize: 59588
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 20740
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 14421 0 0 0 12937 62 0 0 25 0 1 0 638130845 63045632 14387 4294967295 134512640 134714540 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15392 14387 1111 63 0 15329 0
vsize: 61568
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 20740
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 14898 0 0 0 13935 64 0 0 25 0 1 0 638130845 64962560 14864 4294967295 134512640 134714540 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15860 14864 1111 63 0 15797 0
vsize: 63440
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 20740
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 15673 0 0 0 14932 67 0 0 25 0 1 0 638130845 68206592 15639 4294967295 134512640 134714540 3221221776 3221220480 134528671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16652 15639 1111 63 0 16589 0
vsize: 66608
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 20740
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 16271 0 0 0 15930 70 0 0 25 0 1 0 638130845 70688768 16236 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17258 16236 1111 63 0 17195 0
vsize: 69032
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/58 20744
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 17020 0 0 0 16927 73 0 0 25 0 1 0 638130845 73867264 16981 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18034 16981 1111 63 0 17971 0
vsize: 72136
[startup+180.004 s]
Raw data (loadavg): 1.15 1.00 0.96 2/58 20792
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 17474 0 0 0 17924 75 0 0 25 0 1 0 638130845 75624448 17435 4294967295 134512640 134714540 3221221776 3221220384 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18463 17435 1111 63 0 18400 0
vsize: 73852
[startup+190.1 s]
Raw data (loadavg): 1.20 1.02 0.97 2/54 20793
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 18211 0 0 0 18931 78 0 0 25 0 1 0 638130845 78733312 18172 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19222 18172 1111 63 0 19159 0
vsize: 76888
[startup+200.099 s]
Raw data (loadavg): 1.17 1.02 0.97 2/54 20793
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 18957 0 0 0 19928 81 0 0 25 0 1 0 638130845 81707008 18918 4294967295 134512640 134714540 3221221776 3221220544 134529138 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19948 18918 1111 63 0 19885 0
vsize: 79792
[startup+210.099 s]
Raw data (loadavg): 1.14 1.02 0.97 2/54 20793
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 19623 0 0 0 20925 84 0 0 25 0 1 0 638130845 84410368 19584 4294967295 134512640 134714540 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20608 19584 1111 63 0 20545 0
vsize: 82432
[startup+220.1 s]
Raw data (loadavg): 1.12 1.02 0.97 2/54 20793
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 20188 0 0 0 21923 86 0 0 25 0 1 0 638130845 86712320 20149 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21170 20149 1111 63 0 21107 0
vsize: 84680
[startup+230.101 s]
Raw data (loadavg): 1.10 1.02 0.97 2/54 20793
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 20550 0 0 0 22922 88 0 0 25 0 1 0 638130845 88358912 20511 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21572 20511 1111 63 0 21509 0
vsize: 86288
[startup+240.101 s]
Raw data (loadavg): 1.08 1.01 0.97 2/54 20793
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 21201 0 0 0 23919 91 0 0 25 0 1 0 638130845 91062272 21162 4294967295 134512640 134714540 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22232 21162 1111 63 0 22169 0
vsize: 88928
[startup+250.101 s]
Raw data (loadavg): 1.07 1.01 0.97 2/54 20795
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 21762 0 0 0 24917 93 0 0 25 0 1 0 638130845 93224960 21723 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22760 21723 1111 63 0 22697 0
vsize: 91040
[startup+260.102 s]
Raw data (loadavg): 1.06 1.01 0.97 2/54 20795
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 22206 0 0 0 25915 95 0 0 25 0 1 0 638130845 95117312 22167 4294967295 134512640 134714540 3221221776 3221220288 134535017 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23222 22167 1111 63 0 23159 0
vsize: 92888
[startup+270.102 s]
Raw data (loadavg): 1.05 1.01 0.97 2/54 20795
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 22524 0 0 0 26914 96 0 0 25 0 1 0 638130845 96530432 22484 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23567 22484 1111 63 0 23504 0
vsize: 94268
[startup+280.103 s]
Raw data (loadavg): 1.04 1.01 0.97 2/54 20795
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 22875 0 0 0 27913 97 0 0 25 0 1 0 638130845 97906688 22833 4294967295 134512640 134714540 3221221776 3221220092 134613966 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23903 22833 1111 63 0 23840 0
vsize: 95612
[startup+290.103 s]
Raw data (loadavg): 1.04 1.01 0.97 2/54 20795
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 23310 0 0 0 28911 99 0 0 25 0 1 0 638130845 99782656 23263 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24361 23263 1111 63 0 24298 0
vsize: 97444
[startup+300.103 s]
Raw data (loadavg): 1.03 1.01 0.97 2/54 20795
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 23731 0 0 0 29911 100 0 0 25 0 1 0 638130845 101662720 23679 4294967295 134512640 134714540 3221221776 3221220512 134529240 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24820 23679 1111 63 0 24757 0
vsize: 99280
[startup+310.104 s]
Raw data (loadavg): 1.02 1.01 0.97 2/54 20795
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 24071 0 0 0 30909 102 0 0 25 0 1 0 638130845 103145472 24014 4294967295 134512640 134714540 3221221776 3221220432 134536635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25182 24014 1111 63 0 25119 0
vsize: 100728
[startup+320.104 s]
Raw data (loadavg): 1.02 1.01 0.97 2/54 20795
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 24362 0 0 0 31908 103 0 0 25 0 1 0 638130845 104361984 24305 4294967295 134512640 134714540 3221221776 3221220412 134552682 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25479 24305 1111 63 0 25416 0
vsize: 101916
[startup+330.105 s]
Raw data (loadavg): 1.02 1.01 0.97 2/54 20795
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 24742 0 0 0 32907 104 0 0 25 0 1 0 638130845 105848832 24685 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25842 24685 1111 63 0 25779 0
vsize: 103368
[startup+340.106 s]
Raw data (loadavg): 1.01 1.00 0.97 2/54 20795
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 25155 0 0 0 33906 106 0 0 25 0 1 0 638130845 107712512 25097 4294967295 134512640 134714540 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26297 25097 1111 63 0 26234 0
vsize: 105188
[startup+350.106 s]
Raw data (loadavg): 1.01 1.00 0.97 2/54 20795
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 25515 0 0 0 34904 108 0 0 25 0 1 0 638130845 109199360 25457 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26660 25457 1111 63 0 26597 0
vsize: 106640
[startup+360.107 s]
Raw data (loadavg): 1.09 1.02 0.97 2/54 20795
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 26004 0 0 0 35903 109 0 0 25 0 1 0 638130845 111263744 25946 4294967295 134512640 134714540 3221221776 3221220488 134551881 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27164 25946 1111 63 0 27101 0
vsize: 108656
[startup+370.107 s]
Raw data (loadavg): 1.07 1.02 0.97 2/54 20795
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 26462 0 0 0 36901 111 0 0 25 0 1 0 638130845 113184768 26404 4294967295 134512640 134714540 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27633 26404 1111 63 0 27570 0
vsize: 110532
[startup+380.108 s]
Raw data (loadavg): 1.06 1.02 0.97 2/54 20795
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 26917 0 0 0 37899 114 0 0 25 0 1 0 638130845 114937856 26859 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28061 26859 1111 63 0 27998 0
vsize: 112244
[startup+390.109 s]
Raw data (loadavg): 1.05 1.02 0.97 2/54 20795
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 27610 0 0 0 38897 116 0 0 25 0 1 0 638130845 117776384 27552 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28754 27552 1111 63 0 28691 0
vsize: 115016
[startup+400.109 s]
Raw data (loadavg): 1.04 1.02 0.97 2/54 20795
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 28094 0 0 0 39895 118 0 0 25 0 1 0 638130845 119803904 28036 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29249 28036 1111 63 0 29186 0
vsize: 116996
[startup+410.11 s]
Raw data (loadavg): 1.04 1.01 0.97 2/54 20795
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 28605 0 0 0 40893 120 0 0 25 0 1 0 638130845 121860096 28546 4294967295 134512640 134714540 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29751 28546 1111 63 0 29688 0
vsize: 119004
[startup+420.11 s]
Raw data (loadavg): 1.03 1.01 0.97 2/54 20795
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 29022 0 0 0 41893 121 0 0 25 0 1 0 638130845 123482112 28963 4294967295 134512640 134714540 3221221776 3221220512 134535750 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30147 28963 1111 63 0 30084 0
vsize: 120588
[startup+430.111 s]
Raw data (loadavg): 1.03 1.01 0.97 2/54 20795
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 29411 0 0 0 42891 122 0 0 25 0 1 0 638130845 125104128 29352 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30543 29352 1111 63 0 30480 0
vsize: 122172
[startup+440.111 s]
Raw data (loadavg): 1.02 1.01 0.97 2/54 20795
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 29891 0 0 0 43890 124 0 0 25 0 1 0 638130845 127021056 29831 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31011 29831 1111 63 0 30948 0
vsize: 124044
[startup+450.112 s]
Raw data (loadavg): 1.02 1.01 0.97 2/54 20795
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 30364 0 0 0 44887 127 0 0 25 0 1 0 638130845 128933888 30304 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31478 30304 1111 63 0 31415 0
vsize: 125912
[startup+460.113 s]
Raw data (loadavg): 1.01 1.01 0.97 2/54 20795
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 30873 0 0 0 45886 129 0 0 25 0 1 0 638130845 131096576 30813 4294967295 134512640 134714540 3221221776 3221220288 134535026 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32006 30813 1111 63 0 31943 0
vsize: 128024
[startup+470.112 s]
Raw data (loadavg): 1.01 1.01 0.97 2/54 20795
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 31227 0 0 0 46884 131 0 0 25 0 1 0 638130845 132489216 31167 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32346 31167 1111 63 0 32283 0
vsize: 129384
[startup+480.113 s]
Raw data (loadavg): 1.01 1.01 0.97 2/54 20795
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 31540 0 0 0 47882 133 0 0 25 0 1 0 638130845 133738496 31478 4294967295 134512640 134714540 3221221776 3221220400 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32651 31478 1111 63 0 32588 0
vsize: 130604
[startup+490.113 s]
Raw data (loadavg): 1.01 1.01 0.97 2/54 20795
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 32012 0 0 0 48881 134 0 0 25 0 1 0 638130845 135811072 31949 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33157 31949 1111 63 0 33094 0
vsize: 132628
[startup+500.114 s]
Raw data (loadavg): 1.01 1.01 0.97 2/54 20795
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 32436 0 0 0 49879 136 0 0 25 0 1 0 638130845 137695232 32370 4294967295 134512640 134714540 3221221776 3221220540 134552651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33617 32370 1111 63 0 33554 0
vsize: 134468
[startup+510.114 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20795
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 32736 0 0 0 50878 137 0 0 25 0 1 0 638130845 138788864 32670 4294967295 134512640 134714540 3221221776 3221220332 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33884 32670 1111 63 0 33821 0
vsize: 135536
[startup+520.114 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20795
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 33049 0 0 0 51877 139 0 0 25 0 1 0 638130845 140140544 32982 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34214 32982 1111 63 0 34151 0
vsize: 136856
[startup+530.115 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20795
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 33358 0 0 0 52876 140 0 0 25 0 1 0 638130845 141357056 33291 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34511 33291 1111 63 0 34448 0
vsize: 138044
[startup+540.115 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 33645 0 0 0 53874 142 0 0 25 0 1 0 638130845 142622720 33578 4294967295 134512640 134714540 3221221776 3221220536 134552570 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34820 33578 1111 63 0 34757 0
vsize: 139280
[startup+550.115 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 33935 0 0 0 54873 143 0 0 25 0 1 0 638130845 143839232 33868 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35117 33868 1111 63 0 35054 0
vsize: 140468
[startup+560.116 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 34250 0 0 0 55872 144 0 0 25 0 1 0 638130845 145235968 34179 4294967295 134512640 134714540 3221221776 3221220544 134529115 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35458 34179 1111 63 0 35395 0
vsize: 141832
[startup+570.116 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 34539 0 0 0 56871 145 0 0 25 0 1 0 638130845 146452480 34468 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35755 34468 1111 63 0 35692 0
vsize: 143020
[startup+580.117 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 34931 0 0 0 57870 147 0 0 25 0 1 0 638130845 147939328 34860 4294967295 134512640 134714540 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36118 34860 1111 63 0 36055 0
vsize: 144472
[startup+590.117 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 35231 0 0 0 58869 148 0 0 25 0 1 0 638130845 149336064 35160 4294967295 134512640 134714540 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36459 35160 1111 63 0 36396 0
vsize: 145836
[startup+600.117 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 35513 0 0 0 59868 149 0 0 25 0 1 0 638130845 150630400 35442 4294967295 134512640 134714540 3221221776 3221220560 134529240 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36775 35442 1111 63 0 36712 0
vsize: 147100
[startup+610.118 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 36034 0 0 0 60866 152 0 0 25 0 1 0 638130845 152657920 35963 4294967295 134512640 134714540 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37270 35963 1111 63 0 37207 0
vsize: 149080
[startup+620.117 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 36386 0 0 0 61865 153 0 0 25 0 1 0 638130845 154144768 36315 4294967295 134512640 134714540 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37633 36315 1111 63 0 37570 0
vsize: 150532
[startup+630.118 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 36653 0 0 0 62864 154 0 0 25 0 1 0 638130845 155295744 36580 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37914 36580 1111 63 0 37851 0
vsize: 151656
[startup+640.119 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 36894 0 0 0 63863 155 0 0 25 0 1 0 638130845 156241920 36821 4294967295 134512640 134714540 3221221776 3221220544 134529133 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38145 36821 1111 63 0 38082 0
vsize: 152580
[startup+650.119 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 37114 0 0 0 64862 156 0 0 25 0 1 0 638130845 157188096 37041 4294967295 134512640 134714540 3221221776 3221220544 134529376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38376 37041 1111 63 0 38313 0
vsize: 153504
[startup+660.119 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 37413 0 0 0 65861 158 0 0 25 0 1 0 638130845 158404608 37340 4294967295 134512640 134714540 3221221776 3221220560 134529234 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38673 37340 1111 63 0 38610 0
vsize: 154692
[startup+670.119 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 38121 0 0 0 66857 161 0 0 25 0 1 0 638130845 161243136 38048 4294967295 134512640 134714540 3221221776 3221220400 134536678 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39366 38048 1111 63 0 39303 0
vsize: 157464
[startup+680.12 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 38915 0 0 0 67854 164 0 0 25 0 1 0 638130845 164487168 38841 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40158 38841 1111 63 0 40095 0
vsize: 160632
[startup+690.12 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 39493 0 0 0 68852 167 0 0 25 0 1 0 638130845 166920192 39419 4294967295 134512640 134714540 3221221776 3221220416 134536655 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40752 39419 1111 63 0 40689 0
vsize: 163008
[startup+700.121 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 39971 0 0 0 69850 169 0 0 25 0 1 0 638130845 168882176 39893 4294967295 134512640 134714540 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41231 39893 1111 63 0 41168 0
vsize: 164924
[startup+710.122 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 40309 0 0 0 70848 171 0 0 25 0 1 0 638130845 170233856 40231 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41561 40231 1111 63 0 41498 0
vsize: 166244
[startup+720.121 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 40605 0 0 0 71847 172 0 0 25 0 1 0 638130845 171450368 40527 4294967295 134512640 134714540 3221221776 3221220560 134529252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41858 40527 1111 63 0 41795 0
vsize: 167432
[startup+730.123 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 40877 0 0 0 72845 174 0 0 25 0 1 0 638130845 172666880 40799 4294967295 134512640 134714540 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42155 40799 1111 63 0 42092 0
vsize: 168620
[startup+740.123 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 41551 0 0 0 73843 177 0 0 25 0 1 0 638130845 175370240 41473 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42815 41473 1111 63 0 42752 0
vsize: 171260
[startup+750.124 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 42160 0 0 0 74842 178 0 0 25 0 1 0 638130845 177803264 42081 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43409 42081 1111 63 0 43346 0
vsize: 173636
[startup+760.125 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 42562 0 0 0 75840 180 0 0 25 0 1 0 638130845 179425280 42483 4294967295 134512640 134714540 3221221776 3221220560 134529328 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43805 42483 1111 63 0 43742 0
vsize: 175220
[startup+770.125 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 42852 0 0 0 76839 182 0 0 25 0 1 0 638130845 180686848 42769 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44113 42769 1111 63 0 44050 0
vsize: 176452
[startup+780.125 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 43202 0 0 0 77838 183 0 0 25 0 1 0 638130845 182038528 43119 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44443 43119 1111 63 0 44380 0
vsize: 177772
[startup+790.125 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 43548 0 0 0 78836 185 0 0 25 0 1 0 638130845 183525376 43465 4294967295 134512640 134714540 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44806 43465 1111 63 0 44743 0
vsize: 179224
[startup+800.125 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 43816 0 0 0 79835 186 0 0 25 0 1 0 638130845 184606720 43733 4294967295 134512640 134714540 3221221776 3221220536 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45070 43733 1111 63 0 45007 0
vsize: 180280
[startup+810.125 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 44091 0 0 0 80834 187 0 0 25 0 1 0 638130845 185700352 44008 4294967295 134512640 134714540 3221221776 3221220368 134549780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45337 44008 1111 63 0 45274 0
vsize: 181348
[startup+820.125 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 44542 0 0 0 81832 189 0 0 25 0 1 0 638130845 187461632 44459 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45767 44459 1111 63 0 45704 0
vsize: 183068
[startup+830.125 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 45126 0 0 0 82831 191 0 0 25 0 1 0 638130845 190119936 45040 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46416 45040 1111 63 0 46353 0
vsize: 185664
[startup+840.126 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 45731 0 0 0 83828 194 0 0 25 0 1 0 638130845 192552960 45645 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47010 45645 1111 63 0 46947 0
vsize: 188040
[startup+850.126 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 46154 0 0 0 84826 196 0 0 25 0 1 0 638130845 194322432 46066 4294967295 134512640 134714540 3221221776 3221220288 134535285 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47442 46067 1111 63 0 47379 0
vsize: 189768
[startup+860.126 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 46529 0 0 0 85824 198 0 0 25 0 1 0 638130845 195842048 46440 4294967295 134512640 134714540 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47813 46440 1111 63 0 47750 0
vsize: 191252
[startup+870.126 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 46832 0 0 0 86823 199 0 0 25 0 1 0 638130845 197058560 46743 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48110 46743 1111 63 0 48047 0
vsize: 192440
[startup+880.125 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 47053 0 0 0 87822 200 0 0 25 0 1 0 638130845 198004736 46964 4294967295 134512640 134714540 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48341 46964 1111 63 0 48278 0
vsize: 193364
[startup+890.125 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 47358 0 0 0 88822 201 0 0 25 0 1 0 638130845 199221248 47269 4294967295 134512640 134714540 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48638 47269 1111 63 0 48575 0
vsize: 194552
[startup+900.125 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 47661 0 0 0 89821 202 0 0 25 0 1 0 638130845 200638464 47567 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48984 47567 1111 63 0 48921 0
vsize: 195936
[startup+910.126 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 47899 0 0 0 90820 203 0 0 25 0 1 0 638130845 201523200 47802 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49200 47802 1111 63 0 49137 0
vsize: 196800
[startup+920.126 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 48137 0 0 0 91819 203 0 0 25 0 1 0 638130845 202678272 48039 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49482 48039 1111 63 0 49419 0
vsize: 197928
[startup+930.126 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 48603 0 0 0 92817 206 0 0 25 0 1 0 638130845 204435456 48505 4294967295 134512640 134714540 3221221776 3221220560 134529328 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49911 48505 1111 63 0 49848 0
vsize: 199644
[startup+940.127 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 48906 0 0 0 93816 207 0 0 25 0 1 0 638130845 205651968 48808 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50208 48808 1111 63 0 50145 0
vsize: 200832
[startup+950.127 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 49180 0 0 0 94816 208 0 0 25 0 1 0 638130845 206934016 49073 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50521 49073 1111 63 0 50458 0
vsize: 202084
[startup+960.127 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 49419 0 0 0 95815 209 0 0 25 0 1 0 638130845 207917056 49310 4294967295 134512640 134714540 3221221776 3221220332 134535620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50761 49310 1111 63 0 50698 0
vsize: 203044
[startup+970.127 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 49665 0 0 0 96814 210 0 0 25 0 1 0 638130845 208928768 49554 4294967295 134512640 134714540 3221221776 3221220404 134696296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51008 49554 1111 63 0 50945 0
vsize: 204032
[startup+980.127 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 50017 0 0 0 97813 211 0 0 25 0 1 0 638130845 210481152 49899 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51387 49899 1111 63 0 51324 0
vsize: 205548
[startup+990.127 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 50320 0 0 0 98812 212 0 0 25 0 1 0 638130845 211775488 50202 4294967295 134512640 134714540 3221221776 3221220288 134535285 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51703 50204 1111 63 0 51640 0
vsize: 206812
[startup+1000.13 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 50557 0 0 0 99811 213 0 0 25 0 1 0 638130845 212721664 50439 4294967295 134512640 134714540 3221221776 3221220468 134528706 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51934 50439 1111 63 0 51871 0
vsize: 207736
[startup+1010.13 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 50823 0 0 0 100811 214 0 0 25 0 1 0 638130845 214028288 50701 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52253 50701 1111 63 0 52190 0
vsize: 209012
[startup+1020.13 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 51107 0 0 0 101810 215 0 0 25 0 1 0 638130845 215117824 50985 4294967295 134512640 134714540 3221221776 3221220368 134549742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52519 50985 1111 63 0 52456 0
vsize: 210076
[startup+1030.13 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 51393 0 0 0 102809 216 0 0 25 0 1 0 638130845 216334336 51271 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52816 51271 1111 63 0 52753 0
vsize: 211264
[startup+1040.13 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 51641 0 0 0 103808 217 0 0 25 0 1 0 638130845 217346048 51510 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53063 51510 1111 63 0 53000 0
vsize: 212252
[startup+1050.13 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 51823 0 0 0 104807 218 0 0 25 0 1 0 638130845 218157056 51692 4294967295 134512640 134714540 3221221776 3221220544 134529376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53261 51692 1111 63 0 53198 0
vsize: 213044
[startup+1060.13 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 51974 0 0 0 105807 219 0 0 25 0 1 0 638130845 218697728 51843 4294967295 134512640 134714540 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53393 51843 1111 63 0 53330 0
vsize: 213572
[startup+1070.13 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 52086 0 0 0 106806 219 0 0 25 0 1 0 638130845 219164672 51955 4294967295 134512640 134714540 3221221776 3221220464 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53507 51955 1111 63 0 53444 0
vsize: 214028
[startup+1080.13 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 52223 0 0 0 107806 220 0 0 25 0 1 0 638130845 219840512 52086 4294967295 134512640 134714540 3221221776 3221220332 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53672 52086 1111 63 0 53609 0
vsize: 214688
[startup+1090.13 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 52425 0 0 0 108806 220 0 0 25 0 1 0 638130845 220852224 52281 4294967295 134512640 134714540 3221221776 3221220332 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53919 52281 1111 63 0 53856 0
vsize: 215676
[startup+1100.13 s]
Raw data (loadavg): 1.00 1.00 0.97 3/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 52572 0 0 0 109806 220 0 0 25 0 1 0 638130845 221392896 52428 4294967295 134512640 134714540 3221221776 3221220332 134535626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54051 52428 1111 63 0 53988 0
vsize: 216204
[startup+1110.13 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 52719 0 0 0 110805 221 0 0 25 0 1 0 638130845 222056448 52573 4294967295 134512640 134714540 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54213 52573 1111 63 0 54150 0
vsize: 216852
[startup+1120.13 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 52835 0 0 0 111805 222 0 0 25 0 1 0 638130845 222461952 52689 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54312 52689 1111 63 0 54249 0
vsize: 217248
[startup+1130.13 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 53059 0 0 0 112804 223 0 0 25 0 1 0 638130845 223473664 52907 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54559 52907 1111 63 0 54496 0
vsize: 218236
[startup+1140.13 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 53280 0 0 0 113803 224 0 0 25 0 1 0 638130845 224448512 53128 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54797 53128 1111 63 0 54734 0
vsize: 219188
[startup+1150.13 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 53442 0 0 0 114802 224 0 0 25 0 1 0 638130845 225042432 53287 4294967295 134512640 134714540 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54942 53287 1111 63 0 54879 0
vsize: 219768
[startup+1160.13 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 53610 0 0 0 115802 225 0 0 25 0 1 0 638130845 225779712 53454 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55122 53454 1111 63 0 55059 0
vsize: 220488
[startup+1170.13 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 53808 0 0 0 116801 226 0 0 25 0 1 0 638130845 226656256 53643 4294967295 134512640 134714540 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55336 53643 1111 63 0 55273 0
vsize: 221344
[startup+1175.03 s]
Raw data (loadavg): 1.00 1.00 0.97 1/53 20797
Raw data (stat): 20740 (bsolo_mis) R 20739 7876 7672 0 -1 0 53808 0 0 0 116801 226 0 0 25 0 1 0 638130845 226656256 53643 4294967295 134512640 134714540 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55336 53643 1111 63 0 55273 0
vsize: 0

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