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_9_sat_pb.cnf.cr.opb
MD5SUM	489d094bb23422a6c4624d745553a200
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.050991
Number of variables	149
Total number of constraints	128
Number of constraints which are clauses	108
Number of constraints which are cardinality constraints (but not clauses)	20
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 23274

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 01:58:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=237 boxname=wulflinc31 idbench=27 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  489d094bb23422a6c4624d745553a200  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga11_9_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-fpga11_9_sat_pb.cnf.cr.opb
IDLAUNCH: 237
/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:         37244 kB
Cached:          46416 kB
SwapCached:        864 kB
Active:          71480 kB
Inactive:        14484 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:            13856 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 02:18:34 (client local time) WITH STATUS 0 IN 1175.11 SECONDS
stats: 237 7 1175.11 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 149 variables and 128 constraints.
c After prepocess the problem consists of 149 variables and 128 constraints.
c preprocess terminated 0.054 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 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 18065
Raw data (stat): 18065 (runsolver) R 18064 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 636340785 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.0013 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 18065
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 2298 0 0 0 987 10 0 0 25 0 1 0 636340785 13037568 2273 4294967295 134512640 134714540 3221221776 3221220416 134696092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3183 2273 1111 63 0 3120 0
vsize: 12732
[startup+20.0028 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 18065
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 3536 0 0 0 1981 16 0 0 25 0 1 0 636340785 18190336 3510 4294967295 134512640 134714540 3221221776 3221220464 134551897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4441 3510 1111 63 0 4378 0
vsize: 17764
[startup+30.0037 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 18065
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 4240 0 0 0 2979 18 0 0 25 0 1 0 636340785 21037056 4213 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5136 4213 1111 63 0 5073 0
vsize: 20544
[startup+40.0041 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 18065
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 4542 0 0 0 3977 20 0 0 25 0 1 0 636340785 22253568 4515 4294967295 134512640 134714540 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5433 4515 1111 63 0 5370 0
vsize: 21732
[startup+50.0046 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 18065
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 4838 0 0 0 4975 22 0 0 25 0 1 0 636340785 23470080 4811 4294967295 134512640 134714540 3221221776 3221220332 134539254 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5730 4811 1111 63 0 5667 0
vsize: 22920
[startup+60.0045 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 18065
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 5170 0 0 0 5973 25 0 0 25 0 1 0 636340785 24821760 5143 4294967295 134512640 134714540 3221221776 3221220488 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6060 5143 1111 63 0 5997 0
vsize: 24240
[startup+70.0059 s]
Raw data (loadavg): 1.13 0.99 0.92 2/54 18118
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 5623 0 0 0 6969 28 0 0 25 0 1 0 636340785 26742784 5596 4294967295 134512640 134714540 3221221776 3221220336 134696544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6529 5596 1111 63 0 6466 0
vsize: 26116
[startup+80.0129 s]
Raw data (loadavg): 1.11 0.99 0.92 2/54 18118
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 6327 0 0 0 7966 31 0 0 25 0 1 0 636340785 29609984 6300 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7229 6300 1111 63 0 7166 0
vsize: 28916
[startup+90.0128 s]
Raw data (loadavg): 1.09 0.99 0.92 2/54 18118
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 6945 0 0 0 8964 33 0 0 25 0 1 0 636340785 32194560 6916 4294967295 134512640 134714540 3221221776 3221220428 134536825 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7860 6916 1111 63 0 7797 0
vsize: 31440
[startup+100.013 s]
Raw data (loadavg): 1.08 0.99 0.92 2/54 18118
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 7362 0 0 0 9962 35 0 0 25 0 1 0 636340785 33849344 7331 4294967295 134512640 134714540 3221221776 3221220332 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8264 7331 1111 63 0 8201 0
vsize: 33056
[startup+110.014 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 18118
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 7834 0 0 0 10961 37 0 0 25 0 1 0 636340785 35782656 7802 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8736 7802 1111 63 0 8673 0
vsize: 34944
[startup+120.014 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 18118
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 8184 0 0 0 11960 38 0 0 25 0 1 0 636340785 37289984 8151 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9104 8151 1111 63 0 9041 0
vsize: 36416
[startup+130.015 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 18118
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 8563 0 0 0 12958 40 0 0 25 0 1 0 636340785 38932480 8528 4294967295 134512640 134714540 3221221776 3221220480 134528656 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9505 8528 1111 63 0 9442 0
vsize: 38020
[startup+140.015 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 18118
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 9230 0 0 0 13956 43 0 0 25 0 1 0 636340785 41635840 9195 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10165 9195 1111 63 0 10102 0
vsize: 40660
[startup+150.016 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 18120
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 9868 0 0 0 14953 46 0 0 25 0 1 0 636340785 44339200 9833 4294967295 134512640 134714540 3221221776 3221220332 134535891 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10825 9833 1111 63 0 10762 0
vsize: 43300
[startup+160.017 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 18120
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 10448 0 0 0 15950 48 0 0 25 0 1 0 636340785 46673920 10413 4294967295 134512640 134714540 3221221776 3221220332 134535891 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11395 10413 1111 63 0 11332 0
vsize: 45580
[startup+170.017 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 18120
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 11072 0 0 0 16947 52 0 0 25 0 1 0 636340785 49242112 11037 4294967295 134512640 134714540 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12022 11037 1111 63 0 11959 0
vsize: 48088
[startup+180.017 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 18120
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 11696 0 0 0 17944 55 0 0 25 0 1 0 636340785 51965952 11659 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12687 11659 1111 63 0 12624 0
vsize: 50748
[startup+190.018 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 18120
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 12215 0 0 0 18942 57 0 0 25 0 1 0 636340785 53993472 12178 4294967295 134512640 134714540 3221221776 3221220332 134535964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13182 12178 1111 63 0 13119 0
vsize: 52728
[startup+200.019 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 18120
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 12950 0 0 0 19939 60 0 0 25 0 1 0 636340785 57102336 12913 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13941 12913 1111 63 0 13878 0
vsize: 55764
[startup+210.019 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 18120
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 13609 0 0 0 20937 63 0 0 25 0 1 0 636340785 59805696 13572 4294967295 134512640 134714540 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14601 13572 1111 63 0 14538 0
vsize: 58404
[startup+220.02 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 18120
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 14206 0 0 0 21935 65 0 0 25 0 1 0 636340785 62267392 14169 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15202 14169 1111 63 0 15139 0
vsize: 60808
[startup+230.021 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 18120
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 14700 0 0 0 22933 67 0 0 25 0 1 0 636340785 64294912 14663 4294967295 134512640 134714540 3221221776 3221220528 134587954 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15697 14663 1111 63 0 15634 0
vsize: 62788
[startup+240.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18120
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 15402 0 0 0 23931 70 0 0 25 0 1 0 636340785 67198976 15363 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16406 15363 1111 63 0 16343 0
vsize: 65624
[startup+250.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18120
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 16154 0 0 0 24928 73 0 0 25 0 1 0 636340785 70307840 16115 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17165 16115 1111 63 0 17102 0
vsize: 68660
[startup+260.022 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18120
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 16640 0 0 0 25926 75 0 0 25 0 1 0 636340785 72347648 16601 4294967295 134512640 134714540 3221221776 3221220332 134535512 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17663 16601 1111 63 0 17600 0
vsize: 70652
[startup+270.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18120
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 17191 0 0 0 26924 77 0 0 25 0 1 0 636340785 74510336 17152 4294967295 134512640 134714540 3221221776 3221220232 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18191 17152 1111 63 0 18128 0
vsize: 72764
[startup+280.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18120
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 17696 0 0 0 27922 79 0 0 25 0 1 0 636340785 76718080 17656 4294967295 134512640 134714540 3221221776 3221220560 134529401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18730 17656 1111 63 0 18667 0
vsize: 74920
[startup+290.024 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18120
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 18111 0 0 0 28921 81 0 0 25 0 1 0 636340785 78340096 18071 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19126 18071 1111 63 0 19063 0
vsize: 76504
[startup+300.025 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18120
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 18609 0 0 0 29918 83 0 0 25 0 1 0 636340785 80367616 18569 4294967295 134512640 134714540 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19621 18569 1111 63 0 19558 0
vsize: 78484
[startup+310.025 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18120
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 19169 0 0 0 30915 87 0 0 25 0 1 0 636340785 82812928 19126 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20218 19126 1111 63 0 20155 0
vsize: 80872
[startup+320.025 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18120
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 19687 0 0 0 31913 89 0 0 25 0 1 0 636340785 84865024 19643 4294967295 134512640 134714540 3221221776 3221220332 134535631 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20719 19643 1111 63 0 20656 0
vsize: 82876
[startup+330.026 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18120
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 20098 0 0 0 32912 91 0 0 25 0 1 0 636340785 86622208 20054 4294967295 134512640 134714540 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21148 20054 1111 63 0 21085 0
vsize: 84592
[startup+340.026 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18120
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 20613 0 0 0 33910 93 0 0 25 0 1 0 636340785 88711168 20567 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21658 20567 1111 63 0 21595 0
vsize: 86632
[startup+350.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18120
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 21125 0 0 0 34908 95 0 0 25 0 1 0 636340785 90873856 21079 4294967295 134512640 134714540 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22186 21079 1111 63 0 22123 0
vsize: 88744
[startup+360.028 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18120
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 21648 0 0 0 35906 97 0 0 25 0 1 0 636340785 92901376 21602 4294967295 134512640 134714540 3221221776 3221220476 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22681 21602 1111 63 0 22618 0
vsize: 90724
[startup+370.028 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18120
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 22041 0 0 0 36904 99 0 0 25 0 1 0 636340785 94523392 21995 4294967295 134512640 134714540 3221221776 3221220428 134536831 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23077 21995 1111 63 0 23014 0
vsize: 92308
[startup+380.029 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18120
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 22577 0 0 0 37902 101 0 0 25 0 1 0 636340785 96854016 22528 4294967295 134512640 134714540 3221221776 3221220360 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23646 22528 1111 63 0 23583 0
vsize: 94584
[startup+390.029 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18120
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 23031 0 0 0 38900 103 0 0 25 0 1 0 636340785 98611200 22982 4294967295 134512640 134714540 3221221776 3221220408 134552685 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24075 22982 1111 63 0 24012 0
vsize: 96300
[startup+400.029 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18120
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 23458 0 0 0 39899 105 0 0 25 0 1 0 636340785 100372480 23409 4294967295 134512640 134714540 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24505 23409 1111 63 0 24442 0
vsize: 98020
[startup+410.029 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18120
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 23818 0 0 0 40897 106 0 0 25 0 1 0 636340785 101859328 23769 4294967295 134512640 134714540 3221221776 3221220560 134529126 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24868 23769 1111 63 0 24805 0
vsize: 99472
[startup+420.029 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18120
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 24221 0 0 0 41896 108 0 0 25 0 1 0 636340785 103481344 24172 4294967295 134512640 134714540 3221221776 3221220440 134536851 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25264 24172 1111 63 0 25201 0
vsize: 101056
[startup+430.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18120
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 24759 0 0 0 42894 111 0 0 25 0 1 0 636340785 105684992 24706 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25802 24706 1111 63 0 25739 0
vsize: 103208
[startup+440.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 25162 0 0 0 43893 112 0 0 25 0 1 0 636340785 107319296 25109 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26201 25109 1111 63 0 26138 0
vsize: 104804
[startup+450.031 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 25634 0 0 0 44891 114 0 0 25 0 1 0 636340785 109211648 25581 4294967295 134512640 134714540 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26663 25581 1111 63 0 26600 0
vsize: 106652
[startup+460.032 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 26103 0 0 0 45889 116 0 0 25 0 1 0 636340785 111251456 26050 4294967295 134512640 134714540 3221221776 3221220560 134529269 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27161 26050 1111 63 0 27098 0
vsize: 108644
[startup+470.032 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 26528 0 0 0 46887 118 0 0 25 0 1 0 636340785 112873472 26475 4294967295 134512640 134714540 3221221776 3221220368 134543681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27557 26475 1111 63 0 27494 0
vsize: 110228
[startup+480.032 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 26924 0 0 0 47885 120 0 0 25 0 1 0 636340785 114573312 26870 4294967295 134512640 134714540 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27972 26870 1111 63 0 27909 0
vsize: 111888
[startup+490.033 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 27306 0 0 0 48884 121 0 0 25 0 1 0 636340785 116211712 27251 4294967295 134512640 134714540 3221221776 3221220632 134589925 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28372 27251 1111 63 0 28309 0
vsize: 113488
[startup+500.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 27628 0 0 0 49882 124 0 0 25 0 1 0 636340785 117506048 27569 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28688 27569 1111 63 0 28625 0
vsize: 114752
[startup+510.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 27945 0 0 0 50880 126 0 0 25 0 1 0 636340785 118870016 27886 4294967295 134512640 134714540 3221221776 3221220084 134697519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29021 27886 1111 63 0 28958 0
vsize: 116084
[startup+520.035 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 28331 0 0 0 51878 128 0 0 25 0 1 0 636340785 120377344 28268 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29389 28268 1111 63 0 29326 0
vsize: 117556
[startup+530.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 28653 0 0 0 52878 129 0 0 25 0 1 0 636340785 121765888 28590 4294967295 134512640 134714540 3221221776 3221220492 134552682 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29728 28590 1111 63 0 29665 0
vsize: 118912
[startup+540.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 28982 0 0 0 53877 130 0 0 25 0 1 0 636340785 123133952 28919 4294967295 134512640 134714540 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30062 28919 1111 63 0 29999 0
vsize: 120248
[startup+550.037 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 29282 0 0 0 54876 130 0 0 25 0 1 0 636340785 124370944 29218 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30364 29218 1111 63 0 30301 0
vsize: 121456
[startup+560.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 29578 0 0 0 55876 131 0 0 25 0 1 0 636340785 125624320 29513 4294967295 134512640 134714540 3221221776 3221220472 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30670 29513 1111 63 0 30607 0
vsize: 122680
[startup+570.037 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 29864 0 0 0 56875 132 0 0 25 0 1 0 636340785 126742528 29798 4294967295 134512640 134714540 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30943 29798 1111 63 0 30880 0
vsize: 123772
[startup+580.037 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 30179 0 0 0 57874 134 0 0 25 0 1 0 636340785 128094208 30111 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31273 30111 1111 63 0 31210 0
vsize: 125092
[startup+590.037 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 30439 0 0 0 58873 135 0 0 25 0 1 0 636340785 129040384 30369 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31504 30369 1111 63 0 31441 0
vsize: 126016
[startup+600.038 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 30757 0 0 0 59872 136 0 0 25 0 1 0 636340785 130437120 30685 4294967295 134512640 134714540 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31845 30685 1111 63 0 31782 0
vsize: 127380
[startup+610.039 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 31079 0 0 0 60871 137 0 0 25 0 1 0 636340785 131792896 31007 4294967295 134512640 134714540 3221221776 3221220316 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32176 31007 1111 63 0 32113 0
vsize: 128704
[startup+620.039 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 31347 0 0 0 61870 138 0 0 25 0 1 0 636340785 132874240 31275 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32440 31275 1111 63 0 32377 0
vsize: 129760
[startup+630.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 31649 0 0 0 62869 139 0 0 25 0 1 0 636340785 134090752 31577 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32737 31577 1111 63 0 32674 0
vsize: 130948
[startup+640.041 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 31908 0 0 0 63868 141 0 0 25 0 1 0 636340785 135184384 31836 4294967295 134512640 134714540 3221221776 3221220368 134549550 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33004 31836 1111 63 0 32941 0
vsize: 132016
[startup+650.042 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 32141 0 0 0 64867 142 0 0 25 0 1 0 636340785 136130560 32069 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33235 32069 1111 63 0 33172 0
vsize: 132940
[startup+660.042 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 32372 0 0 0 65866 143 0 0 25 0 1 0 636340785 137113600 32298 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33475 32298 1111 63 0 33412 0
vsize: 133900
[startup+670.042 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 32595 0 0 0 66865 144 0 0 25 0 1 0 636340785 137928704 32521 4294967295 134512640 134714540 3221221776 3221220488 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33674 32521 1111 63 0 33611 0
vsize: 134696
[startup+680.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 32863 0 0 0 67864 145 0 0 25 0 1 0 636340785 139186176 32786 4294967295 134512640 134714540 3221221776 3221220288 134535017 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33981 32786 1111 63 0 33918 0
vsize: 135924
[startup+690.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 33094 0 0 0 68863 146 0 0 25 0 1 0 636340785 140034048 33016 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34188 33016 1111 63 0 34125 0
vsize: 136752
[startup+700.043 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 33341 0 0 0 69862 147 0 0 25 0 1 0 636340785 141115392 33263 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34452 33263 1111 63 0 34389 0
vsize: 137808
[startup+710.044 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 33580 0 0 0 70862 148 0 0 25 0 1 0 636340785 142065664 33502 4294967295 134512640 134714540 3221221776 3221220512 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34684 33502 1111 63 0 34621 0
vsize: 138736
[startup+720.044 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 33797 0 0 0 71861 150 0 0 25 0 1 0 636340785 143011840 33719 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34915 33719 1111 63 0 34852 0
vsize: 139660
[startup+730.045 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 34160 0 0 0 72860 151 0 0 25 0 1 0 636340785 144363520 34082 4294967295 134512640 134714540 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35245 34082 1111 63 0 35182 0
vsize: 140980
[startup+740.046 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 34535 0 0 0 73858 153 0 0 25 0 1 0 636340785 145985536 34457 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35641 34457 1111 63 0 35578 0
vsize: 142564
[startup+750.048 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 34929 0 0 0 74855 155 0 0 25 0 1 0 636340785 147615744 34851 4294967295 134512640 134714540 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36039 34851 1111 63 0 35976 0
vsize: 144156
[startup+760.048 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 35284 0 0 0 75855 156 0 0 25 0 1 0 636340785 148967424 35206 4294967295 134512640 134714540 3221221776 3221220544 134529133 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36369 35206 1111 63 0 36306 0
vsize: 145476
[startup+770.048 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 35658 0 0 0 76853 158 0 0 25 0 1 0 636340785 150589440 35580 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36765 35580 1111 63 0 36702 0
vsize: 147060
[startup+780.049 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 35951 0 0 0 77853 159 0 0 25 0 1 0 636340785 151670784 35873 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37029 35873 1111 63 0 36966 0
vsize: 148116
[startup+790.049 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 36249 0 0 0 78851 160 0 0 25 0 1 0 636340785 152891392 36171 4294967295 134512640 134714540 3221221776 3221220452 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37327 36171 1111 63 0 37264 0
vsize: 149308
[startup+800.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 36572 0 0 0 79850 162 0 0 25 0 1 0 636340785 154243072 36494 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37657 36494 1111 63 0 37594 0
vsize: 150628
[startup+810.051 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 37037 0 0 0 80848 164 0 0 25 0 1 0 636340785 156135424 36959 4294967295 134512640 134714540 3221221776 3221220232 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38119 36959 1111 63 0 38056 0
vsize: 152476
[startup+820.051 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 37370 0 0 0 81847 166 0 0 25 0 1 0 636340785 157487104 37292 4294967295 134512640 134714540 3221221776 3221220416 134536650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38449 37292 1111 63 0 38386 0
vsize: 153796
[startup+830.052 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 37722 0 0 0 82845 167 0 0 25 0 1 0 636340785 158973952 37644 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38812 37644 1111 63 0 38749 0
vsize: 155248
[startup+840.053 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 38071 0 0 0 83844 169 0 0 25 0 1 0 636340785 160325632 37993 4294967295 134512640 134714540 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39142 37993 1111 63 0 39079 0
vsize: 156568
[startup+850.053 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 38267 0 0 0 84844 169 0 0 25 0 1 0 636340785 161337344 38183 4294967295 134512640 134714540 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39389 38183 1111 63 0 39326 0
vsize: 157556
[startup+860.053 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 38500 0 0 0 85843 170 0 0 25 0 1 0 636340785 162283520 38416 4294967295 134512640 134714540 3221221776 3221220400 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39620 38416 1111 63 0 39557 0
vsize: 158480
[startup+870.054 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 38751 0 0 0 86843 171 0 0 25 0 1 0 636340785 163299328 38666 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39868 38666 1111 63 0 39805 0
vsize: 159472
[startup+880.054 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 39001 0 0 0 87842 172 0 0 25 0 1 0 636340785 164442112 38912 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40147 38912 1111 63 0 40084 0
vsize: 160588
[startup+890.054 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 39176 0 0 0 88840 173 0 0 25 0 1 0 636340785 165134336 39087 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40316 39087 1111 63 0 40253 0
vsize: 161264
[startup+900.055 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 39361 0 0 0 89840 174 0 0 25 0 1 0 636340785 165810176 39272 4294967295 134512640 134714540 3221221776 3221220512 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40481 39272 1111 63 0 40418 0
vsize: 161924
[startup+910.056 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 39556 0 0 0 90839 175 0 0 25 0 1 0 636340785 166821888 39463 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40728 39463 1111 63 0 40665 0
vsize: 162912
[startup+920.056 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 39716 0 0 0 91839 175 0 0 25 0 1 0 636340785 167510016 39620 4294967295 134512640 134714540 3221221776 3221220264 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40896 39620 1111 63 0 40833 0
vsize: 163584
[startup+930.058 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 39841 0 0 0 92839 176 0 0 25 0 1 0 636340785 167915520 39745 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40995 39745 1111 63 0 40932 0
vsize: 163980
[startup+940.058 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 39985 0 0 0 93838 176 0 0 25 0 1 0 636340785 168628224 39889 4294967295 134512640 134714540 3221221776 3221220380 134549858 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41169 39889 1111 63 0 41106 0
vsize: 164676
[startup+950.059 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 40101 0 0 0 94838 177 0 0 25 0 1 0 636340785 169033728 40005 4294967295 134512640 134714540 3221221776 3221220480 134528623 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41268 40005 1111 63 0 41205 0
vsize: 165072
[startup+960.059 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 40229 0 0 0 95838 178 0 0 25 0 1 0 636340785 169574400 40133 4294967295 134512640 134714540 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41400 40133 1111 63 0 41337 0
vsize: 165600
[startup+970.059 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 40377 0 0 0 96837 178 0 0 25 0 1 0 636340785 170266624 40281 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41569 40281 1111 63 0 41506 0
vsize: 166276
[startup+980.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 40636 0 0 0 97836 180 0 0 25 0 1 0 636340785 171347968 40540 4294967295 134512640 134714540 3221221776 3221220364 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41833 40540 1111 63 0 41770 0
vsize: 167332
[startup+990.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 40857 0 0 0 98835 181 0 0 25 0 1 0 636340785 172208128 40761 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42043 40761 1111 63 0 41980 0
vsize: 168172
[startup+1000.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 41080 0 0 0 99835 181 0 0 25 0 1 0 636340785 173154304 40984 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42274 40984 1111 63 0 42211 0
vsize: 169096
[startup+1010.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 41301 0 0 0 100834 182 0 0 25 0 1 0 636340785 173965312 41205 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42472 41205 1111 63 0 42409 0
vsize: 169888
[startup+1020.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 41496 0 0 0 101833 184 0 0 25 0 1 0 636340785 174776320 41400 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42670 41400 1111 63 0 42607 0
vsize: 170680
[startup+1030.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 41742 0 0 0 102832 185 0 0 25 0 1 0 636340785 175722496 41646 4294967295 134512640 134714540 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42901 41646 1111 63 0 42838 0
vsize: 171604
[startup+1040.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 41944 0 0 0 103831 186 0 0 25 0 1 0 636340785 176533504 41848 4294967295 134512640 134714540 3221221776 3221220480 134528677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43099 41848 1111 63 0 43036 0
vsize: 172396
[startup+1050.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 42121 0 0 0 104830 187 0 0 25 0 1 0 636340785 177393664 42025 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43309 42025 1111 63 0 43246 0
vsize: 173236
[startup+1060.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 42257 0 0 0 105829 188 0 0 25 0 1 0 636340785 177934336 42161 4294967295 134512640 134714540 3221221776 3221220336 134549725 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43441 42161 1111 63 0 43378 0
vsize: 173764
[startup+1070.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 42374 0 0 0 106829 188 0 0 25 0 1 0 636340785 178339840 42278 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43540 42278 1111 63 0 43477 0
vsize: 174160
[startup+1080.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 42485 0 0 0 107829 189 0 0 25 0 1 0 636340785 178905088 42388 4294967295 134512640 134714540 3221221776 3221220544 134529157 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43678 42388 1111 63 0 43615 0
vsize: 174712
[startup+1090.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 42587 0 0 0 108828 190 0 0 25 0 1 0 636340785 179310592 42490 4294967295 134512640 134714540 3221221776 3221220404 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43777 42490 1111 63 0 43714 0
vsize: 175108
[startup+1100.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 42730 0 0 0 109828 190 0 0 25 0 1 0 636340785 179986432 42629 4294967295 134512640 134714540 3221221776 3221220252 134613966 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43942 42629 1111 63 0 43879 0
vsize: 175768
[startup+1110.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 42861 0 0 0 110828 190 0 0 25 0 1 0 636340785 180391936 42760 4294967295 134512640 134714540 3221221776 3221220368 134549670 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44041 42760 1111 63 0 43978 0
vsize: 176164
[startup+1120.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 43006 0 0 0 111828 191 0 0 25 0 1 0 636340785 181100544 42904 4294967295 134512640 134714540 3221221776 3221220416 134536650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44214 42904 1111 63 0 44151 0
vsize: 176856
[startup+1130.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 43183 0 0 0 112828 191 0 0 25 0 1 0 636340785 181780480 43081 4294967295 134512640 134714540 3221221776 3221220416 134536695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44380 43081 1111 63 0 44317 0
vsize: 177520
[startup+1140.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 43353 0 0 0 113826 193 0 0 25 0 1 0 636340785 182456320 43251 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44545 43251 1111 63 0 44482 0
vsize: 178180
[startup+1150.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 43545 0 0 0 114825 194 0 0 25 0 1 0 636340785 183296000 43442 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44750 43442 1111 63 0 44687 0
vsize: 179000
[startup+1160.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 43837 0 0 0 115824 196 0 0 25 0 1 0 636340785 184512512 43734 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45047 43734 1111 63 0 44984 0
vsize: 180188
[startup+1170.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 44105 0 0 0 116823 196 0 0 25 0 1 0 636340785 185610240 44000 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45315 44000 1111 63 0 45252 0
vsize: 181260
[startup+1174.98 s]
Raw data (loadavg): 1.00 0.99 0.92 1/53 18122
Raw data (stat): 18065 (bsolo_mis) R 18064 7876 7672 0 -1 0 44105 0 0 0 116823 196 0 0 25 0 1 0 636340785 185610240 44000 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45315 44000 1111 63 0 45252 0
vsize: 0

Child status: 0
Real time (s): 1174.98
CPU time (s): 1175.11
CPU user time (s): 1173.05
CPU system time (s): 2.06369
CPU usage (%): 100.012
Max. virtual memory (Kb): 181260
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####